5*d = -5*p + 15. Suppose -u = -2*y - 8, -2*u + d = -3*y - 15. Is (-159)/((u/(-4))/3) a composite number?
True
Is (-4)/(-2) - 2/(2/(-143)) a prime number?
False
Suppose 4*b = b + 9. Suppose 0 = -5*f - 404 + 2044. Suppose 0*m - w - 75 = -m, f = 4*m + b*w. Is m composite?
False
Let z(t) = t**3 - 9*t**2 - 12*t + 13. Let p be z(10). Let b = p + 12. Suppose 0*v + 275 = b*v. Is v a prime number?
False
Suppose 3*u - j = 1 + 1, -4*j = -4*u - 8. Let d be (-1 - -3) + (-4)/u. Suppose d = -2*p - 0*p + 70. Is p a prime number?
False
Let z be ((-10)/(-4))/((-3)/(-6)). Let j = z - 2. Let q(k) = 38*k + 1. Is q(j) a prime number?
False
Suppose 77 = 3*m - m + 5*w, 2*w = -m + 37. Is m composite?
False
Let l(i) = i**2 + 2*i - 3. Let g be l(2). Suppose -g*y - 4*d + 567 = 0, -4*d - 55 + 400 = 3*y. Is y a composite number?
True
Let t(c) = 2*c**2 + 9*c + 1. Let k be t(9). Let p(l) = 18*l + 7. Let v be p(-5). Let s = v + k. Is s prime?
False
Is (40/(-5) - -7)*-1*253 a composite number?
True
Suppose 0*m - m = -3. Let f be (-15)/(10/(-3) + m). Let o = 14 + f. Is o a prime number?
True
Suppose -4*x + 0 = 16. Let n = x + 17. Is n a composite number?
False
Let o = 3 + 0. Is 70 - (9 - 0)/o composite?
False
Is 8/44 - 1470/(-22) a prime number?
True
Let p(n) = -n**2 - 4*n. Let y = -8 - -5. Let c be p(y). Suppose -g + c*i + 489 = 2*g, i + 807 = 5*g. Is g composite?
True
Suppose 3*b = b + 2, -4*b + 76 = 3*d. Suppose 5*k - v - d - 52 = 0, 4*k - 2*v - 62 = 0. Is k prime?
False
Suppose 3*x - z = 2469, -2*x - 3*z + 1858 = 223. Let t = -421 + x. Is t a composite number?
False
Let n = -326 + 475. Is n prime?
True
Suppose 0 = 4*p - 2*o - 1790, 2*o + 2235 = 5*p - 0*o. Is p prime?
False
Let k(a) be the second derivative of -a**5/20 - 7*a**4/12 - 11*a**3/6 - 7*a**2/2 + 5*a. Is k(-8) prime?
False
Let c = 170 + -155. Is c prime?
False
Let o be 4*-1 + 2 - -6. Is o/(-6) + (-956)/(-12) composite?
False
Let v(d) = 2*d + 17. Is v(16) a prime number?
False
Suppose d + 0*d = 5. Let x(c) = c**3 + 6*c**2 - 6*c + 10. Let m be x(-7). Suppose -m*o - 106 = -d*o. Is o a composite number?
False
Suppose -5*u + 1866 = -d - 0*d, -1496 = -4*u + 4*d. Is u composite?
False
Suppose 6 = 3*v, 3*g - 13 - 3 = -5*v. Suppose -5*h - g*b = -99, 5*b - 6 = -3*h + 2*h. Is h a composite number?
True
Suppose 5*z + 3*w = 5*w + 1015, -4*z + 4*w + 800 = 0. Is z composite?
True
Suppose 4*f = 2*c - 144 - 150, -4*f = -4*c + 604. Suppose 4*d - c = -d. Is d a prime number?
True
Suppose 15 = -q + 2*q. Is q composite?
True
Suppose -x = -3*v + 159, v - 40 = 2*x + 13. Is v a composite number?
False
Let i be (46 - -2)*17/3. Let x = -193 + i. Is x a prime number?
True
Let z(f) = f**3 - 5*f**2 - 1. Let r be z(5). Let t(p) = 308*p**2 + 2*p + 1. Is t(r) prime?
True
Let v(d) = 32*d**2 + 3*d + 5. Is v(-2) prime?
True
Let k(c) = -c**3 + 11*c**2 - 9*c - 8. Let f be k(10). Suppose 5*w + 21 = 531. Suppose f*q + q = w. Is q a prime number?
False
Let b(i) = 2*i**3 - 2*i**2 + 11*i - 29. Is b(12) prime?
True
Let j be 4*1*15/12. Suppose -k = -d + 10, j*d - 3*k - 66 = -16. Is d a prime number?
False
Suppose -10*r - 2780 + 23270 = 0. Is r prime?
False
Let u(d) = 4*d**3 + d**2 - 2*d + 1. Let b be u(1). Let a(h) = h**2 + 6*h + 5. Let j be a(-5). Suppose j*k - b*k + 148 = 0. Is k composite?
False
Suppose -3*l + 3 = 0, -4*l + 1896 + 508 = 5*s. Suppose -s = -2*c - c. Let x = 255 - c. Is x a prime number?
False
Let l be 2/6*27/1. Let t = -17 - -4. Let a = l - t. Is a prime?
False
Let v(q) = q**3 - 8*q**2 + 11*q - 5. Let x be v(7). Let c = -2 + x. Is c composite?
True
Let f(h) = 2*h**2 + 4*h + 1. Is f(3) a composite number?
False
Suppose 0 = -3*z + 4*x, -7*z + 2*z + 5 = -5*x. Suppose 0 = m + 4, -m - 228 = -z*l - 3*m. Is l prime?
True
Let q be (32/(-12))/((-4)/66). Let k = -29 + q. Is k prime?
False
Suppose -3*a - 2*a + 2*m = -30045, -4*m - 20 = 0. Is a a prime number?
True
Is (3356/(-16))/(4/(-16)) a composite number?
False
Let q(l) be the second derivative of 2*l**3/3 - 9*l**2/2 + 2*l. Is q(10) a composite number?
False
Suppose 3*d + 4*z + 5 + 8 = 0, 2*d + 1 = 5*z. Let i(t) = -14*t**3 - 3*t**2 + t - 1. Is i(d) prime?
True
Suppose 4*b + 2 = -10. Is 32 - (-2 + (-9)/b) composite?
False
Let v(r) = -r**3 - 6*r**2 + 12*r + 11. Let k be v(-8). Suppose -k = -u + 22. Is u a prime number?
False
Suppose 0 = -y + 2*y + 5*k - 128, -5*y = 5*k - 560. Suppose r - y - 157 = 0. Is r a prime number?
False
Is -391*(0 - 4/4) a composite number?
True
Let n(p) = 45*p**2 - p - 1. Is n(-3) a composite number?
True
Let u(y) = 5 + 11*y**2 + y**2 - 3*y**3 + 7*y + 4*y**3. Is u(-5) prime?
False
Suppose v + 3*c = 0, 4*v - 17 = 5*c - 0*c. Let k(a) = -4*a**v - 4*a + 3*a**3 - 4*a + 7 - 9*a**2. Is k(-9) a prime number?
True
Suppose -4*p + 147 = 15. Let h = 56 + p. Is h a prime number?
True
Suppose -2*u - 2*z = 2, -3*u - 4*z + 3*z + 3 = 0. Suppose -u*a + 1532 - 50 = 0. Is a/4 + 4/(-16) prime?
False
Let j(p) = p**2 - 3*p - 4. Let f be j(4). Suppose 2*a = 5*s + 30, -2*a - s + f*s = -54. Is a a composite number?
True
Suppose -3*y + y + 8 = t, -3*t - y = -4. Suppose c + u - 2 = t, 2*c + 4*u = -0*c + 4. Suppose 0 = 5*p - 10, -4*p = c*b - 124 - 2. Is b a composite number?
False
Suppose -11 = -5*v + 14. Suppose 4*n - v*n + 407 = 0. Is n composite?
True
Let s = -209 + 328. Is s prime?
False
Suppose h + a + 4 = 3*h, h - 2 = -2*a. Suppose h*w - 4 = 2. Is w a composite number?
False
Suppose -7*o = -4*o - 5679. Is o prime?
False
Let y(z) = 2*z**3 - 17*z**2 + 6*z - 9. Suppose s = -0*s - 3. Let l(n) = n**3 - 9*n**2 + 3*n - 5. Let k(r) = s*y(r) + 5*l(r). Is k(4) composite?
True
Suppose 3*a = -2*y + 514, 4*y - 2*a = -5*a + 1016. Is y a composite number?
False
Is 1 + 114216/84 + (-4)/(-14) a prime number?
True
Suppose -4*o + 251 = 39. Is o a prime number?
True
Suppose 1850 = 5*c - h, 4*h - h + 1469 = 4*c. Is c composite?
True
Suppose v + 6*b - 3*b + 5 = 0, -4*b - 10 = 3*v. Let r be v*1 - -1 - 0. Is r*(-78)/2 - 2 a composite number?
False
Let o(q) = 2*q**2 + 2*q + 2. Let a be o(-2). Suppose 0 = -r + a*w - w + 124, -4*w = 4*r - 616. Is r composite?
False
Suppose -4*i = i - 180. Is (1 + 2)*8124/i composite?
False
Let m = 57 + -89. Is -1*(m - (-3 + 2)) prime?
True
Let n(f) = f**2 + f - 19. Is n(-8) composite?
False
Let h = -8 - -8. Suppose -3*f - 81 = -5*c, -2*f = -h*f - 4*c + 52. Let z = f - -117. Is z a composite number?
True
Let s(u) = -193*u + 1. Is s(-1) a composite number?
True
Let p(b) be the first derivative of b**3/3 + b**2/2 + b - 5. Let o be -2*1*(-14)/4. Is p(o) prime?
False
Let s(w) = -190*w**2 + 3*w + 7. Let t(y) = -95*y**2 + y + 3. Let u(r) = 2*s(r) - 5*t(r). Is u(1) prime?
False
Let x be (-1)/(-3)*(0 + 6). Suppose b - 6 = -x. Suppose 31 = b*i - 3*i. Is i a composite number?
False
Let d(g) be the second derivative of -1/2*g**2 - 1/20*g**5 + 2/3*g**3 + 3*g + 0 - 5/12*g**4. Is d(-6) a prime number?
True
Suppose 42*y + 1124 = 44*y. Is y a composite number?
True
Suppose -3*i + 10 = 3*f - 14, 4*f = 4*i. Let o(b) = 7 + b**2 - b + 3*b + f*b. Is o(-6) composite?
False
Let i(h) = -3*h + 4. Let w be i(-4). Suppose 0*f - 3*f + s = -w, 2*s = -4*f + 8. Suppose -4*d + 149 = -3*b, f*b = -4*d - 50 + 178. Is d composite?
True
Let i(p) = -p**2 - 12*p + 8. Let z be i(-12). Let b be ((-4)/z)/(3/(-12)). Suppose -b*f = -3*f + 55. Is f prime?
False
Suppose 4*x + 5 + 7 = 0. Let c = 7 + x. Suppose -42 = -2*v + c. Is v a prime number?
True
Let b = -3 + 12. Suppose 5*g = -i - 3 - 10, -3*i = -g - b. Is 2 + -2 + i + 9 a composite number?
False
Suppose 3*s - 1686 + 54 = 0. Suppose -3*x + s = -215. Is x prime?
False
Suppose 0 = -3*p + 307 + 74. Is p a composite number?
False
Let i = -5 - 30. Is i/7*14/(-10) a composite number?
False
Let y = 10 + -6. Suppose -y*t = -3*t - 43. Is t composite?
False
Let t = -3 + 23. Suppose -5*a = -t + 5. Suppose 0 = 3*m + 3*o - 60, -4*o = a*m - 45 - 13. Is m a prime number?
False
Let w = -1511 + 2195. Suppose -4*i + 4*j + 1680 = 0, w = 5*i - 3*j - 1414. Is i composite?
False
Let u = 5 - 2. Let i(j) = -j - u*j + 5*j + 12*j**2 - 2*j. Is i(-1) a prime number?
True
Let o(d) = 3 - 3 - 6*d + d. Is o(-7) composite?
True
Let i = -82 - -554. Suppose 0 = -2*z + i + 20. Suppose z = 3*u - 0*u. Is u a prime number?
False
Let h = 193 - 60. Is h composite?
True
Let j be (56/12)/(4/6). Suppose -3*x = -2*x - j. 