 35 = 0. Let l(y) = -200*y - 9. Is l(k) a composite number?
True
Let m(s) = -533*s - 79. Is m(-4) prime?
True
Let u(t) be the first derivative of -t**2 + 5*t - 1. Let w be u(0). Suppose 4*h + 5*c = 2*h + 127, w*h = -4*c + 275. Is h a composite number?
True
Suppose 3*c - 3*z = 627, -c + 418 = c + z. Suppose 6*b - u = 11*b + 559, -4*b + 5*u - 453 = 0. Let i = c + b. Is i a prime number?
True
Suppose -13063 = -3*f + 3*c + 34004, -c = 0. Is f a composite number?
True
Suppose -170*l + 201*l = 272149. Is l composite?
False
Let s = 67719 - 41551. Suppose -5*b + 4331 = -3*m - s, -4*b = -5*m - 24394. Is b composite?
False
Let h = 4347 - 560. Is h prime?
False
Let v(m) = -29*m**2 - 11*m - 4. Let n be v(-5). Is n*(1 - -4)/(-10) a composite number?
False
Let v = -1473 - 1551. Let c = v + 4735. Is c composite?
True
Let l(j) = -j**3 - 7*j**2 - 3*j - 17. Let r be l(-7). Suppose r*t = -t + 20, 3*t - 9 = -3*m. Let c(x) = -79*x**3 - 2*x**2 - 2*x. Is c(m) a composite number?
False
Let v = 26 + -21. Let b(x) = 2*x**3 - 3*x**2 + x - 56. Let g(l) = 3*l**3 - 5*l**2 + 2*l - 113. Let a(p) = v*b(p) - 3*g(p). Is a(0) composite?
False
Let o(w) = -10*w**3 + 13*w**2 + 13*w + 11. Is o(-12) a prime number?
False
Let t(m) = 476*m**3 - 3*m**2 - 13*m + 10. Is t(4) composite?
True
Suppose -2*r - 94*u = -93*u - 15658, -4*r + 31304 = 5*u. Is r a prime number?
False
Let q(k) = k**2 - 13*k + 15. Let t(y) = -y**2 + 9*y + 4. Let x be t(8). Let h be q(x). Suppose 4*i - 1165 = -h*o, -5*o - 2*i + 1950 = 3*i. Is o composite?
True
Let x(v) = 103*v**2 - 5*v + 5. Is x(2) a prime number?
False
Let p(j) = -j**3 - 5*j**2 + 3*j + 7. Let m be p(-5). Let v be 1*3 + (-2344)/m. Is (1/2)/(4/v) a prime number?
True
Suppose -5*o + 376 = d, o - 5*d - 70 = -0*d. Let k = 149 - o. Is k a composite number?
True
Let j be 2*(2 - 0)*889. Suppose -128 = -2*x + j. Is (x/9)/(10/15) a prime number?
True
Let p(r) = 5*r - 6. Let s be p(-4). Let q = s - -28. Suppose 5*u + q*j = 275, -6*u + 240 = -u - 5*j. Is u prime?
True
Suppose -3*i = -d - 16, -i - 11 = -3*i + d. Suppose -t + 51 = 3*z - 15, -i*z + 218 = 3*t. Let n = t + 74. Is n a composite number?
True
Let g = 24 - 26. Is (-1 - g/4)/((-5)/38030) a prime number?
True
Let i(k) = -k**3 + 12*k**2 + 12*k - 13. Suppose 0 = -a - 4*a + 60. Let j be i(a). Suppose 4*q = -d + j, 0 = 5*d + 4 + 21. Is q a prime number?
False
Is (116/10 - 12)*71510/(-4) prime?
True
Let h = 1706 + -413. Is h prime?
False
Suppose 0 = -9*k - 8 + 17. Is 3909 + (k + -5)*8/16 a prime number?
True
Suppose 14*z - 98243 = -3*z. Is z a prime number?
True
Let r = 6805 - 4754. Is r composite?
True
Suppose -3*a + 4*w - 8 = 0, -2*a = 2*a - 5*w + 10. Suppose 5*j + 7 = -3, a = 3*c - 5*j - 13. Is c + -2*(-4 - -3) a prime number?
True
Suppose 31*p = -22*p + 279151. Is p a composite number?
True
Is -2*(-5 + 163368/(-16)) prime?
True
Let n be 5 + 1 + (-9)/3. Let o(z) = 7*z**2 - 3*z**2 + 2 + z**3 + z**2 - z**2 - 4*z. Is o(n) prime?
True
Let y = -4549 + 8865. Let o = y + -205. Is o a prime number?
True
Let t be 5 + 1 + 11 + -25 + 8. Suppose 3*k - 27 = -0*k. Suppose t = k*s - s - 2008. Is s prime?
True
Let s(w) = 590*w**2 + 9*w - 16. Let n(c) = 295*c**2 + 5*c - 8. Let u(k) = -7*n(k) + 4*s(k). Is u(2) a composite number?
True
Let i(p) be the first derivative of 7*p**3/2 - p**2/2 - 2*p + 5. Let v(z) be the first derivative of i(z). Is v(4) a prime number?
True
Suppose -j + 5*g + 1379 = -2650, -4*j - 2*g = -16160. Is j a prime number?
False
Let r(u) = -u + 6. Let a be r(6). Suppose -q + a = 3. Is (-49)/(q + -3 + 5) prime?
False
Let r = 48903 - 29164. Is r a prime number?
True
Let c = 674 - -11645. Is c a prime number?
False
Suppose -3*j = -4*j - n, 4*n = 2*j - 24. Let d(t) = -t**3 + 4*t**2 + 2*t - 3. Let x be d(j). Suppose -x*s + 232 = 5*y - 43, 0 = 4*y. Is s a prime number?
False
Suppose 4*t - 6172 = -c, 3*c = 2*c. Is t a composite number?
False
Suppose 5*m = -3*z + 44, z - m - 20 = -4*m. Suppose 4*q + 668 = 4*j + z*q, 3*q + 477 = 3*j. Is j prime?
True
Let x = -5709 - -9402. Suppose 0 = -3*h - x + 660. Is (h*(-3)/9)/1 composite?
False
Let v(o) = -17*o**3 + o**2 - 2*o + 3. Let x be (-485)/45 + (-2)/9. Let n(t) = 51*t**3 - 2*t**2 + 6*t - 8. Let s(a) = x*v(a) - 4*n(a). Is s(-2) composite?
False
Suppose 13 = 4*r - 3, 5*k + r = 24. Suppose 0 = 2*z - z - 273. Suppose 0 = -k*s + z + 323. Is s composite?
False
Let w = -2296 + 1037. Is (1 + 0)/((-1)/w) a prime number?
True
Suppose 0 = -3*h + 6, 2*k - 11 = 5*h + 27. Let g = 65 - k. Let b = g + 122. Is b prime?
True
Let k(h) = 99*h - 23. Let i = -121 + 125. Is k(i) composite?
False
Let p(o) = o**2 - o + 55. Let g be p(0). Suppose 0 = -7*n + g + 204. Is n prime?
True
Let k = 1020 + -5264. Let l = 6115 + k. Let v = -1314 + l. Is v a composite number?
False
Let x be ((-94)/(-6))/(3/306). Let p = x - 477. Is p a composite number?
True
Suppose -g + 74 - 7 = -3*a, 58 = -2*a + 4*g. Let d = a - -65. Let t = 23 + d. Is t a composite number?
False
Let r(h) = 2*h**2 + 10*h - 9. Let o = 22 - 29. Is r(o) a prime number?
True
Let a(t) = 2*t**2 - 13*t. Let y be a(6). Let p = y + 7. Is -3 + 0 - -54*p a prime number?
False
Let k be (-1 - (-1 - -1))*-2. Suppose 0 = 157*z - 144*z - 1118. Suppose -z = -k*d + 156. Is d composite?
True
Suppose -14*f - 629 + 4927 = 0. Is f a prime number?
True
Let k = 831 - 218. Suppose 3023 = 2*h - 5*w, h - 3*w - k - 901 = 0. Is h prime?
True
Let z be 104/28 - (-2)/7. Let r = 136 + 61. Suppose o = 3*j + 40 + 4, z*o - r = 5*j. Is o composite?
False
Suppose -2*f = -25 - 197. Suppose -4*a = -443 + f. Is a a prime number?
True
Let c = -10 - -25. Let j = 25 - c. Suppose 0 = -5*x + 225 + j. Is x composite?
False
Let b(n) = -10*n**3 + n. Let x be b(-1). Suppose 12*f = x*f + 3303. Is f a prime number?
False
Is ((-10)/15)/(3/((-1312065)/6)) a composite number?
True
Suppose 3*n - 914 = 1507. Suppose -9*a + 6*a = n. Let o = a + 474. Is o a composite number?
True
Let o(z) = -19*z + 1. Let c be ((-2)/4)/(5/100). Let r be (12/c)/((-12)/(-40)). Is o(r) prime?
False
Let l(x) = 15*x**2 - 77. Let g(y) = -7*y**2 + 38. Let z(i) = -7*g(i) - 3*l(i). Is z(15) prime?
False
Suppose -3*l + 5*h + 37 = 6, -5*l - h + 5 = 0. Is 0/l*-1 - 76/(-2) prime?
False
Let v(c) be the third derivative of c**6/20 - 7*c**5/60 + c**4/8 + 13*c**3/6 + 18*c**2. Is v(9) a prime number?
True
Suppose -2*f = -4*m - 6380 - 19826, -5*f = -2*m - 65539. Is f prime?
True
Let r be (2 + 3)*2*4/10. Suppose -15 = 4*k - k, -k = -r*q + 2625. Is q composite?
True
Suppose 748254 = -44*r + 122*r. Is r a composite number?
True
Let q be -2*(-1 - 0) + 0. Suppose q*l = -5*z + 5*l + 8740, 3*z + 2*l = 5225. Is z prime?
False
Suppose -4*w - 3*n + 84 = 0, -5*w + 111 = 2*n + 6. Let o be 36/21 - (-6)/w. Suppose -o*b + 294 = 4. Is b a composite number?
True
Suppose -2286 - 2726 = -4*r. Suppose -14*v + r = -105. Is v composite?
False
Suppose 3*t + t + 72 = 0. Let n = t + 77. Is n a composite number?
False
Let j(n) = 983*n - 18. Is j(3) composite?
True
Let z be (-639)/(-2) + 4/(-8). Is -4 + z + 8/(-2) prime?
True
Is 3 + (-5 - (-1280)/8) a prime number?
False
Let x = -121 + 142. Let o = x - -10. Is o composite?
False
Let f(k) = k**3 - 2*k**2 + 3*k - 3. Let l be f(2). Suppose -l*m + 3 = -3. Suppose -m*d = 8, -2*o - 2*d + 145 = o. Is o prime?
False
Let u(w) = 18*w**3 + 9*w**2 + 21*w - 19. Is u(8) a composite number?
False
Suppose -g + 18 = 17. Is (-1 + 54)/(1 + g/(-2)) a composite number?
True
Suppose 2*z + 4*q - 16 = -0*z, -4*z - q + 4 = 0. Suppose -4*g + 3692 = 4*y - z*y, -2*y = 5*g - 1846. Is y prime?
False
Suppose 516 = 4*a + 4*m, 3*a - m - 382 = -3*m. Suppose 30 = -2*h + a. Is h prime?
True
Let x(r) be the first derivative of -94*r**2 + 15*r + 24. Is x(-4) composite?
True
Suppose -4*u + 3*j + 3772 = 0, 0 = -3*u + 7*u + 4*j - 3744. Suppose 4*v = x + 5*v - 960, 3*v = x - u. Is x a prime number?
False
Let w(l) = l**3 + 16*l**2 - l - 4. Let u be w(-16). Suppose 13*a = u*a + 226. Is a composite?
True
Let h(r) = -34*r + 7. Suppose k + 5 = -1. Is h(k) composite?
False
Suppose l = 4*n - 1, 5*l + 2*n + 3*n = -30. Let a(g) = -133*g + 20. Is a(l) prime?
False
Suppose -f + k = -3, 0*f - f = 5*k + 27. Let y be f/(-7) + 20/(-70). Suppose 79 = d - y*d. Is d a prime number?
True
Let t be ((-265 + -1)*-1)/1. Suppose -i - t = -4*p + 3*p, 4*p = 2*i + 1062. 