p = k + -40. Is p a prime number?
False
Let n = 359 - 28. Is n prime?
True
Let b be (1/3)/(8/144). Let d(p) = b*p + 0 - p**3 + 3*p - 8*p**2 + 11. Is d(-9) a prime number?
True
Let x(u) be the third derivative of u**5/30 + 5*u**4/24 - u**3/2 - 2*u**2. Is x(4) composite?
True
Suppose -5*u - 2*b = 7, 3*u = -u + 5*b - 32. Let w be ((-456)/10)/(u/10). Suppose -5*k + w + 33 = 0. Is k a prime number?
True
Let p(z) = z**2 - 2*z + 12. Let g be p(-9). Suppose -h + 0*h = -g. Is h a prime number?
False
Let c(h) = h**3 + 4*h**2 - 4. Let o be c(-3). Suppose 135 = -o*l - 0*l. Is (-6)/l - 4658/(-18) a prime number?
False
Let w = 10 - 10. Let h be (-4)/3*(-2 + -1). Suppose h*f + 5*g - 122 = w, 4*g + 248 = 5*f + 75. Is f prime?
False
Let b be 105*((-33)/(-9) + -3). Suppose 0*m + 3*p + b = m, -4*m = -2*p - 310. Is m prime?
True
Let y = 14 - -291. Is y a composite number?
True
Suppose 5*v + 5*u = 22565, -3*v - 4*u = -2*v - 4513. Is v a prime number?
True
Let y = -4 - -2. Let v = -1 - y. Let p = v + 13. Is p a composite number?
True
Suppose -5344 = -4*d + 76. Is d composite?
True
Let u be -2*1*(-6)/4. Suppose 0 = y - u*y + 154. Is y composite?
True
Let w(k) = 313*k + 2. Is w(5) prime?
True
Suppose -2*p = -5 - 3. Suppose 2*r = 162 - 32. Suppose 2*y - y + 2*n = r, -4*y + 272 = -p*n. Is y composite?
False
Is ((-2)/(-6)*3)/(1/187) a prime number?
False
Let v(a) = 18*a + 3. Is v(7) composite?
True
Let z(r) = -295*r**2 + 7*r. Let k(m) = 294*m**2 - 8*m. Let c(p) = -6*k(p) - 7*z(p). Let x be c(1). Suppose 186 = 3*a - 5*y, 4*y + 20 = -4*a + x. Is a prime?
True
Suppose -f - 82 = -3*y - 372, -3 = -3*y. Is f composite?
False
Suppose 0 = -2*k + 2207 + 31. Suppose 976 = 5*n - k. Is n a composite number?
False
Suppose -5*o + 3*o + 72 = 0. Let k = 43 + o. Is k prime?
True
Let g be 1*(-1 - (-30)/2). Let d = -278 - -496. Suppose -4*n + 4*c = -256, -3*n + d = c + g. Is n prime?
True
Suppose 3*r - r = 76. Is r composite?
True
Suppose 0 + 2 = s. Is 2 + 1 + s + 254 a composite number?
True
Let j = 9 - 6. Is 4*j/1 + -1 a prime number?
True
Suppose -3*o - 15 = 5*r, -2*r = r + o + 5. Suppose r = 5*f - c + 4*c - 1298, f - 254 = 5*c. Is f a composite number?
True
Suppose -g + z - 15 = 4*g, 2*g + 29 = 5*z. Is 142/(-4)*(g - 0) a composite number?
False
Suppose -3*q + 5*q - 314 = 0. Suppose -q = 6*u - 7*u. Is u a prime number?
True
Let r(p) = 6*p**2 + p**3 - 1 + 5 + 8*p**2 + 11 - 17*p. Is r(-14) a composite number?
True
Let u(s) = -s**3 - 11*s**2 - 9*s + 6. Let g be u(-8). Is g/(-2)*4/12 prime?
True
Let h(u) = 11*u**2 + 7*u - 3. Is h(5) composite?
False
Is (-1)/(-4) - 9300/(-48) composite?
True
Suppose 4*n = -509 + 93. Let v = n + 147. Is v a prime number?
True
Suppose 1889 = 5*f - 1476. Is f prime?
True
Suppose -3*g = -5*f + 9*f - 9, 12 = 4*g - 2*f. Suppose -4*i + 3*k = -86 + 9, -3*i = -g*k - 54. Is i a prime number?
True
Let o(n) = -7 + 3*n**2 - 8*n - 4*n**2 - 9*n. Let t be -1 - (1 + -5 + 15). Is o(t) prime?
True
Suppose 2*i + 6 = 4*y - 2*y, 0 = 3*y + 4*i + 26. Is 5/2*(y + 76) a composite number?
True
Suppose -4*o + 0 + 16 = 0. Suppose o*c - 240 = -4*h, 3*c - 4 - 176 = 5*h. Let s = c + -17. Is s a prime number?
True
Let n(s) = 80*s**2 + s - 1. Let h be n(1). Let u = h - 33. Is u prime?
True
Let x(u) be the first derivative of 19*u**4/24 - u**3/6 + u**2 - 1. Let c(f) be the second derivative of x(f). Is c(2) a prime number?
True
Let x(f) = -2*f**3 + 6*f**2 + 8*f + 14. Is x(-6) composite?
True
Suppose -4*v = -0*u - 4*u - 5332, -u = -3*v + 4007. Is v prime?
False
Suppose 6 = -4*h + 22. Let y(l) = 2*l - 6. Let u be y(h). Suppose -4*n = 4*o - u*o - 122, -143 = -3*o + 2*n. Is o composite?
True
Let w be 2/(-5) - 48/(-20). Suppose 3*t - 95 - 9 = -5*x, 3*x - w*t = 51. Is x prime?
True
Is 446 + (-5)/(20/12) a composite number?
False
Let g(f) = 2*f**2 + 1. Let l be g(-1). Let v(s) = s**3 + 4*s**2 + 2*s - 2. Is v(l) composite?
False
Let h = -513 - -767. Is h a prime number?
False
Suppose 19 - 481 = -6*y. Is y prime?
False
Is (1 - -2)*(-7)/((-84)/3628) a composite number?
False
Let d = -4 + 4. Let l be d - (2 - -23)/1. Is 887/5 - (-10)/l prime?
False
Let r(f) be the third derivative of -f**4/8 - 11*f**3/6 + 3*f**2. Is r(-8) prime?
True
Let x(q) = 14*q - 7. Let w be x(6). Let v = w - -84. Is v composite?
True
Let v = 64 - 17. Suppose -2 = 5*p - v. Suppose 2*z = 23 - p. Is z composite?
False
Suppose 0 = 5*i - 3270 + 175. Is i a composite number?
False
Let x = -621 + 874. Is x prime?
False
Let u be (-1 + -1)/((-4)/(-6)). Is u + 3 - -1 - -94 prime?
False
Suppose -3*t + 27 = 3*d, -t + 16 = 3*t. Suppose 5*p + 22 - 6 = 3*s, -p - d = 0. Let f = s + 98. Is f composite?
True
Let x = 1518 - -581. Is x a prime number?
True
Let j = 85 + -48. Is j prime?
True
Let j = -5 + 20. Suppose -2*u + 10 = -0*u. Suppose -u*t = -0*t - j. Is t composite?
False
Suppose -3*c - 2*x + 6*x = -22, 0 = c + 3*x + 10. Let l(m) = 19*m**2 + 2*m - 3. Is l(c) composite?
True
Let q(l) = -l**2 + 12*l - 2. Suppose 7*x = 10*x - 18. Is q(x) a composite number?
True
Let r(b) = 56*b + 17. Is r(13) prime?
False
Suppose 6 = 4*t - 2*t. Suppose -n = -t*k + 1249, 3*k + 11 = -2*n + 1248. Is k a composite number?
True
Is (0 - -2411)*(1 + 0) composite?
False
Let q = 110 + -57. Is q prime?
True
Is 2410 + (-3 + 0)/(-1 + 0) a composite number?
True
Let j(p) = 58*p**2 + 8*p + 11. Is j(-4) prime?
True
Let t(b) = 24*b**2 + 15*b + 44. Is t(-7) a composite number?
True
Let g(d) = 51*d - 2. Is g(5) a composite number?
True
Let b = -19 + 27. Suppose -4*m + b = -8. Suppose -m*s = -6*s + 20. Is s a prime number?
False
Suppose -7 + 2 = -5*n. Let w be -5 + 7 - -2*n. Suppose -38 + 802 = w*x. Is x composite?
False
Let q(m) = 30*m**3 + 2*m + 1. Let d be q(-1). Let y = d - -77. Is y a prime number?
False
Suppose -3*y = -19 + 109. Let m = y + 48. Is -6*(m/(-4) + 3) prime?
False
Let z(d) = -302*d + 61. Is z(-9) a prime number?
False
Suppose 326 = i - s, -2*i + 4*s = -343 - 319. Is i prime?
False
Suppose 0 = 2*x - 4*x - a + 6, 0 = -3*x + 2*a + 16. Suppose -x*v = w - 15, -3*w + 3 - 38 = -4*v. Is (-277)/(-5) - 2/v a composite number?
True
Let y = 14 + -10. Suppose -4*w + 228 = 2*h - 4*h, -w = -y*h - 71. Is w composite?
True
Let n = 12 - 12. Is -3 - n - (-169)/1 prime?
False
Suppose 2*t = -13 - 21. Let x = 38 + t. Is x a prime number?
False
Let n = 8 - 6. Suppose 0 = n*a + 2*a + 8. Is (-2 + 12 - 1) + a a composite number?
False
Suppose -c + 2 = -0*c. Suppose -159 = -5*w - 6*k + c*k, 3*w + 5*k - 98 = 0. Is w composite?
False
Let n(j) = j + 2. Let w be n(-3). Let v = w + 1. Suppose -5*h + 33 + 362 = v. Is h prime?
True
Suppose -s - 1 = -4. Suppose 5*h + 3*f - 40 = 0, h + 5*f = 4*h + 10. Suppose -o = h*x - 10, o = 7*x - s*x + 19. Is o a prime number?
False
Let m be (-1)/(-2) + (-21)/(-6). Suppose 2*k + m = 0, 0 = -5*f - 2*k - 0*k + 71. Is f composite?
True
Let b(r) = -58*r + 67. Is b(-15) prime?
True
Suppose 7*z - 6 = -3*y + 4*z, -3*y + 2*z = -6. Suppose 2*g + 2*g = 4*k - 76, -g - 42 = -y*k. Is k a composite number?
False
Suppose -1864 = -2*h - 2*s - 464, -4*s = h - 709. Is h a composite number?
True
Let o = 3999 + -2368. Is o composite?
True
Is 21/(-14)*634/(-3) composite?
False
Suppose -l + 3*m = -10, -9 = -3*l - 3*m + 5*m. Let z be 1 + (-2 - 111)/l. Let j = z + 191. Is j a composite number?
False
Let n be (-10)/(-6)*(-27 - 0). Let m(a) = 2*a**2 - 5*a - 7. Let r be m(-5). Let j = r + n. Is j prime?
True
Suppose 2*w + 2*w - s + 999 = 0, -w = 4*s + 271. Is -11 + 11 + (0 - w) a composite number?
False
Suppose -4*x + 18 = -5*i, 0*i = 3*x + i - 4. Let r = x + 15. Let c = 6 + r. Is c prime?
True
Suppose 912 = 4*x - 2*c, 1427 = 5*x - 3*c + 287. Suppose x = 3*y - 3*s, -3*s + 7*s = 12. Is y composite?
False
Let b(m) = 4*m**2 - 5*m + 4. Let c = -3 - -6. Suppose -3*z = -z - 2, -2*z = c*w - 11. Is b(w) a prime number?
False
Suppose -352 = -4*z + 300. Is z a composite number?
False
Let z = -10 - -6. Let v(s) = -s**3 - 4*s**2 - 2*s + 4. Let h be v(z). Is h/6 + 34/2 prime?
True
Let t = -58 + 249. Is t composite?
False
Let c(l) = -8*l - 2. Let w be c(6). Let f = 1 - w. Suppose g = 2*g - f. Is g a prime number?
False
Let n be 4/(-10) + (-171)/(-15). Suppose 2*z - 5 = n. Let g(t) = 10*t - 3. Is g(z) a prime number?
False
Suppose 4*r - 4*f - 60 = 0, -r + 3*f = -12 - 3. Let b be (-4)/(-3) - (-64)/