-a*s = 5 + 1. Is l prime?
False
Suppose -4 = -2*a - 3*a + 2*d, -2*a = -4*d + 8. Suppose y = k + 51, -114 = -4*y - a*k + 102. Is y a composite number?
False
Is 66094/30 + 10/(-75) a composite number?
False
Suppose 2*p + p - 2*h - 5541 = 0, -2*h = 5*p - 9235. Is p a composite number?
False
Let t be (-41)/5 - 3/(-15). Let y = -3 - t. Suppose -y*b - 16 = -281. Is b prime?
True
Let n = 320 + -178. Is n composite?
True
Let g(o) = -60*o - 7. Let u be g(-5). Let p = u - 102. Is p prime?
True
Suppose -2*v + 159 = -3*a, 2*a + 2*a - 196 = -3*v. Suppose s + 19 - v = 0. Is s a prime number?
True
Suppose 0 = -2*i, 5*k - 3175 = -3*i - i. Is k composite?
True
Let i = -14 - -1131. Is i prime?
True
Is (14/(-28))/((-2)/444) a composite number?
True
Is ((-3)/6)/((-1)/1754) a prime number?
True
Suppose 21 = -2*t + 139. Is t a prime number?
True
Suppose -6*r = 4*r - 3650. Is r a prime number?
False
Let o(q) = 9*q**2 - 28*q - 1. Is o(-6) prime?
True
Suppose -143 = 4*h - 5*h. Is h prime?
False
Is ((-951)/(-6))/((-1)/(-2)) composite?
False
Let w(t) = -t**3 - 6*t**2 + 4*t - 6. Suppose -2*j + 11 = 5*i, 2*i - 3 + 0 = -j. Is w(j) a composite number?
True
Let g be 4/10 + 96/(-15). Let d be g/((6/(-52))/1). Is (-15)/10*d/(-3) a composite number?
True
Let h = -2823 + 4294. Is h a composite number?
False
Suppose 15 = 3*u + 2*u. Suppose u*v - 27 = -2*s - 3*s, -s = -5*v + 17. Suppose 190 = -v*i - 2*d + 1378, -4*d = -5*i + 1459. Is i a prime number?
False
Let i(n) = 58*n + 3. Is i(2) composite?
True
Let s(j) = 130*j**2 + j. Is s(-1) a prime number?
False
Let w be (3/2)/((-1)/(-2)). Suppose 0 = w*c + q - 3*q - 239, -2*q = -4*c + 318. Is c a composite number?
False
Suppose 0 = -5*r + 14 + 11, 2*w = 2*r + 2154. Is w a composite number?
True
Suppose -a = 4*l - 1077 + 214, 3*a = 5*l - 1066. Is l composite?
True
Suppose 1631 = u + 4*l, 1323 = -2*u + 5*l + 4650. Is u a prime number?
False
Is (-14)/(-3*2/381) composite?
True
Is 3/((-15)/(-5753)) - (-14)/35 a composite number?
False
Let l(t) = 2*t - 1. Is l(11) prime?
False
Let n(j) = -j**3 - 4*j**2 + 5*j - 3. Let c be -1*(5 - 2/1). Let h be (-9 - (c + 1)) + 1. Is n(h) a prime number?
False
Suppose -4*x - 159 = -7*x. Is x composite?
False
Let b be (80/12)/(1/30). Let g = b - 141. Is g a prime number?
True
Let h(r) = r**3 + 7*r**2 + 7*r + 6. Suppose z - 27 = 5*c, -c + 2*c + 4*z + 18 = 0. Let t be h(c). Suppose 15 = x - t. Is x prime?
False
Suppose 42 = 3*h - 0*h. Suppose -4*g = -2*u + h + 72, 227 = 4*u + 3*g. Is u composite?
False
Suppose 573 = -0*o + 3*o + 2*w, 0 = -3*w. Is o composite?
False
Let a(r) = 19*r + 9. Is a(8) a prime number?
False
Suppose 3*g = -0*g - 3. Is 5 + -2 + g - -83 a prime number?
False
Let s = 6 - 2. Suppose 2*t = -2*z + 152, -s*z + 9*z + 5 = 0. Let k = 128 - t. Is k a composite number?
True
Let r = -514 - -1305. Is r prime?
False
Suppose -129 = -j + 2*l, l = -0*l + 1. Is j composite?
False
Let g(u) = -15*u - 10. Let o(f) = -f**3 - 8*f**2 + 10*f - 5. Let a be o(-9). Let b = 7 + a. Is g(b) a composite number?
True
Is 1/2*1540/10 prime?
False
Let h = 34 + -23. Is 4778/22 - 2/h a composite number?
True
Suppose -5*z + 11 = -4. Is (564/9 - -1)*z a composite number?
False
Suppose -p - 12793 = -3*g - 6*p, 0 = -3*g + 5*p + 12833. Is g a prime number?
True
Let a(t) = t**2 + 2*t - 1. Let s be (-12)/18*(1 + -7). Is a(s) a composite number?
False
Suppose 3*j + 257 = -205. Let p be 231*(-1 + -1 - -3). Let d = p + j. Is d composite?
True
Let r = 74 - 436. Let n = 547 + r. Is n composite?
True
Let h be (-73 + 1)*(-57)/6. Let l = 971 - h. Is l a composite number?
True
Let c = 1 + -1. Suppose c = 5*v + 15, -5*h - v + 6 = 2*v. Suppose -h*s = x - 66, 3*x = 4*s - x - 88. Is s a prime number?
False
Suppose -717 = -3*u + z + 2*z, -2*u = z - 466. Is u a prime number?
False
Let k(w) = -3*w - 3. Let i be k(-2). Let g(o) = 3*o**2 + 2*o + i - o - 5*o. Is g(4) a composite number?
True
Suppose 9*v - 6*v - 261 = 0. Is v prime?
False
Is (1376/(-48))/((-4)/6) prime?
True
Let t(w) = -63*w - 1. Is t(-8) prime?
True
Let s(x) = -x + 4. Let i be s(3). Let n(r) = 4*r**2 - r + 1. Let w be n(i). Suppose 359 = w*b + g, b = 3*b + 2*g - 184. Is b a composite number?
False
Let i be (-3)/18*-10*-3. Is (-437)/i - 2/5 a prime number?
False
Let i = -592 + 397. Let q = 290 + i. Suppose 363 - q = 4*x. Is x prime?
True
Let w(j) be the third derivative of -209*j**4/24 - j**3/3 - 4*j**2. Is w(-5) a prime number?
False
Suppose 5*p = -q + 278, -2*p - 2*q = -7*p + 269. Is p a composite number?
True
Let t be (1 + -1 + 0)/1. Suppose t = -3*i - o + 94, -3*o = i - 6*o - 28. Let j = i + 20. Is j prime?
False
Suppose 8*z - 2847 = 1001. Is z a composite number?
True
Let a(x) = -x**3 - x**2 - 13*x - 5. Is a(-6) prime?
False
Let t = 43 + -9. Let m(o) = 37*o + 1. Let w be m(5). Suppose t = 4*f - w. Is f prime?
False
Suppose -r + 0*r = -1. Is (r + 34*-2)*-1 prime?
True
Let h = -336 + 549. Is h composite?
True
Let v be (-8)/(0 + (-3)/6). Let h = v - 1. Is h a prime number?
False
Let n(c) be the first derivative of -c**4/4 - 4*c**3/3 - 7*c**2/2 - 2*c + 3. Is n(-5) a composite number?
True
Suppose 2*f = -3*z + 943 + 1804, -5*z + 4549 = -4*f. Is z composite?
True
Let s(z) = -z**2 + 7*z - 4. Let o be s(6). Suppose 15 = 5*t, p - 4*t - 5 = -7*t. Is o/p*(-1 - 37) composite?
False
Suppose 3986 = 5*f - 4479. Is f prime?
True
Let h be (15/9)/(1/18). Suppose z - 4*p - h = -8, -5 = p. Suppose 0*y - 161 = -z*b + y, 2*y + 156 = 2*b. Is b a composite number?
False
Let n be (24/(-20))/((-4)/10). Suppose -544 = -n*k - k. Let t = k - 57. Is t a prime number?
True
Let h = 518 - 99. Is h prime?
True
Let o(d) = -13 + 11*d + 13. Is o(5) prime?
False
Let h(z) = z**3 - 8*z**2 + 9*z - 11. Is h(12) prime?
True
Suppose 2*o = -2*o + 28. Let m(a) be the third derivative of -a**5/60 + 11*a**4/24 - 7*a**3/6 + 6*a**2. Is m(o) a prime number?
False
Suppose 4 = 3*v - 5. Let d(r) = 7*r - 6. Is d(v) a composite number?
True
Is 25/5*237/15 a prime number?
True
Let m(k) = -4*k**3 - k**2. Let y be m(-1). Suppose -8*x + 461 = 2*p - y*x, -3*p = 2*x - 675. Is p composite?
False
Let g = 321 + -202. Is g composite?
True
Let u = 5 + -4. Let x = u - 1. Suppose -k + 22 + 25 = x. Is k a prime number?
True
Let r(n) = -76*n**3 + 1. Suppose -7 + 2 = 5*b. Is r(b) composite?
True
Let t = 690 + -373. Is t prime?
True
Is (-3 + 147/(-9))*99/(-6) a prime number?
False
Let d be ((-1)/2)/(1/(-10)). Suppose -z + 915 = d*u - 5*z, u - z = 182. Is u a composite number?
True
Let v = 80 - 44. Let w = 51 - v. Is w a prime number?
False
Let l(y) = 2*y - 2. Let n be l(5). Let m(s) = 4*s**2 - 7*s - 6. Let u be m(n). Suppose u = 2*h - 60. Is h a composite number?
False
Is 8/20 - 3886/(-10) a composite number?
False
Suppose -4*l = 2*p + l - 762, 381 = p + l. Is p composite?
True
Let z = 2 - -2. Is (-545)/(-15) + z/6 composite?
False
Suppose 2 = -3*m + 8. Is (-4)/((-12)/663) + m a prime number?
True
Let s(t) = 4*t**2 - 2*t. Suppose -5*h + 0 = -4*w - 2, 5*h = 10. Let y be s(w). Let l = y + 2. Is l a composite number?
True
Let u(h) = h**3 + 2*h**2 + 2*h + 597. Is u(0) a composite number?
True
Suppose -3*z - 3203 = -5*f - 5*z, -5*z = f - 636. Is f a prime number?
True
Suppose 42 = -p + 4*p. Is (-4)/(-14) - (-738)/p a prime number?
True
Is (67/(-5) - -2)*-5 a composite number?
True
Let i(g) = -2*g**2 + 7*g + 4*g**2 - 2*g + 3 - g**2. Let q be i(-5). Is 1/(q/(-258)*-2) prime?
True
Let q be (-2 - 120)*3/(-6). Let u = q - 26. Is u prime?
False
Suppose -3*z + 8*z = 20. Suppose 0 = 3*k + 3*w, 0*w + 2*w + z = 0. Suppose l + 3*b + 65 = 2*l, 0 = -k*l + 2*b + 130. Is l a prime number?
False
Suppose 0*p = -4*n + 5*p - 779, 2*n + 391 = p. Let g = n - -137. Is (g/4)/((-5)/20) prime?
True
Is 185 - 6/(-3) - 0 prime?
False
Suppose -16 = -5*n + 5*i - 3*i, 4*n - 4*i = 20. Is -2 + 247/1 + n a composite number?
True
Let k(j) = -2*j + 4. Let p be k(2). Suppose -2*s - 3*s + 1895 = p. Is s a composite number?
False
Let w be (1/3)/(2/30). Suppose u + 168 = w*d, -2*d - u = -102 + 32. Let k = 71 - d. Is k prime?
True
Let s be -1 + 0 + 2 + -6. Let y(k) = -9*k. Let a be y(-6). Let i = s + a. Is i composite?
True
Is (63/(-3))/3*-11 a prime number?
False
Suppose b + 5*h = 524 + 97, 0 = -5*b + 5*h + 3165. Is b a composite number?
False
Let g(t) = 17*t - 13. Is g(12) prime?
True
Let 