
False
Let i(r) be the first derivative of -r**4/4 + 3*r**3 + 9*r**2/2 + 2*r + 3. Let a be i(7). Let v = 312 - a. Is v a prime number?
True
Suppose -5*c = -5*f - 50, -2*c + 3*f = -f - 18. Let h = 13 - c. Suppose -59 = -m - h. Is m a composite number?
True
Let y(a) = -2*a**3 - 5*a**2 + 22*a + 25. Is y(-8) a prime number?
False
Let q = -31 - -35. Suppose q*s - 2*g - 1044 = 0, -2*s + 3*g + 0*g + 530 = 0. Is s composite?
True
Let u(i) = 169*i + 5. Let g be u(5). Suppose 3*c + 5*j + 59 - g = 0, -3*c = -4*j - 755. Let l = 388 - c. Is l a prime number?
True
Suppose -2 = x - 6. Suppose l + 10 = -4*r, -x*r = 4*l - r - 12. Is l composite?
True
Let o be 17 + (-1 - 2/1). Let v = o + -1. Let x = 114 + v. Is x prime?
True
Let m = -1709 + 1963. Is m composite?
True
Let x = -947 + 7846. Is x composite?
False
Let s = -10 - -5. Let a(z) be the first derivative of -13*z**2 - z - 26. Is a(s) a prime number?
False
Let s(j) = -j**3 - 2*j**2 - 2*j + 4. Let h be s(-3). Let l = h + -19. Suppose 9 = 3*v - l, 2*v - 105 = -3*b. Is b a composite number?
True
Let o be 2/7 + 76/28. Is (5/(-10))/(o/(-1074)) prime?
True
Suppose 2*b - 5*o + 12 + 8 = 0, -10 = b - o. Is ((-1867)/5)/(2/b) composite?
False
Let o = -10 + 26. Let i(q) = -37*q**2 + 39*q**2 - 3 - o + q + 0*q. Is i(6) prime?
True
Suppose 713 = -2*y - 289. Let v = -202 - y. Is v composite?
True
Is (-583902)/(-242) - (-6)/33 prime?
False
Suppose 7 = -z + 12. Suppose -4*x + 3*x + 3*p + 442 = 0, -z*p = 2*x - 939. Is x prime?
True
Suppose 0*c = c + 5, 2*c - 10 = -5*b. Let t(n) = 1071*n - 87. Let f be t(1). Suppose -3*p + 840 - 77 = 2*s, -b*p + f = -4*s. Is p prime?
True
Suppose -k - 5*i = 3, 7*k + 76 = 3*k - 4*i. Suppose 3*f - 226 = -q, 2*q - 177 - 275 = 4*f. Let b = k + q. Is b prime?
False
Let m(x) = 56*x - 5. Let s(t) = t**2 - 10*t - 5. Suppose 2*k - 9 - 13 = 0. Let o be s(k). Is m(o) prime?
True
Let h = 36 + -31. Let d be h*1*(-18)/(-45). Suppose -5*z + 534 = 2*x, -2*x + 779 = x + d*z. Is x a composite number?
False
Is ((-4395)/6)/5*(-8)/2 a prime number?
False
Let p = 43001 + 38052. Is p a prime number?
False
Suppose 0 = t - 7. Suppose 3*u - t*u = -568. Suppose -4*d + 3*s = -u, -d + 22 + 9 = -3*s. Is d prime?
True
Let g(c) = 10641*c**2 + c + 3. Is g(1) prime?
False
Suppose u = 5*n - 6, -10 = -5*u - 2*n + 14. Suppose -1802 = -u*x + 2*x. Is x composite?
True
Let i be (1*82)/(2 + 0). Suppose i = -5*n + 181. Suppose n = 10*v - 6*v. Is v a prime number?
True
Let z(y) = y**3 + 4*y**2 + 22*y - 14. Is z(19) composite?
False
Suppose -5*d + 0*f = f - 1908, -3*d + 5*f + 1128 = 0. Is d a prime number?
False
Suppose 16*f - 12*f + 1544 = 0. Let v = f + 645. Is v a composite number?
True
Suppose 35761 = 4*t - 3*a, 3*t - a - 33433 = -6611. Is t a prime number?
True
Let m(k) = -5*k**3 - k**2 + 4*k + 6. Let n be m(-3). Suppose n*z = 117*z + 7419. Is z composite?
False
Let a = -931 + 2509. Suppose -2*t = -8*t + a. Is t prime?
True
Suppose 30 = 5*h - 2*b, 0*b - 2*b + 2 = 3*h. Suppose -h*c = -1 - 3. Is 3 + c + -6 + 115 composite?
False
Suppose -2*x = 5*c + 3*x - 15, 0 = -3*c + 2*x + 19. Let l = 7 - c. Suppose l*j + 102 - 428 = 0. Is j a composite number?
False
Suppose -4*u - 120 = -y + 261, 3*y + 3*u = 1143. Suppose 4*l - y = l. Is l prime?
True
Suppose m = -i - 61, 5*i + 299 = -2*m - 0*m. Let c be (i*(-9 + -2))/1. Let v = c + 502. Is v a prime number?
True
Let s(n) = n - 9. Let a be s(5). Is (-1)/(-3 - a) + 320 a composite number?
True
Let r be ((-6)/2)/(1 - 2). Suppose -7*s - 4 = r. Is (s - 2) + (8 - -189) composite?
True
Let t(r) = -2*r**2 + r. Let f be t(1). Let n be 1/(4*f/(-8)). Suppose -n*m + 447 = m. Is m composite?
False
Suppose 6084 = 5*s - 911. Is s composite?
False
Suppose -7*q = 4*a - 5*q - 18278, -a - 3*q = -4582. Is a prime?
True
Let h = -419 - -1425. Suppose h = 3*s - 461. Is s composite?
True
Let t(m) = -2*m**3 + 4*m**2 - m - 7. Let r be t(5). Let k = r - -341. Is k a prime number?
True
Suppose -d = -0*d - 27. Suppose -23*v = -d*v + 892. Is v composite?
False
Let o(l) = l**3 + 10*l**2 + 3*l - 5. Suppose 12 = 9*g - 5*g. Suppose -g*x - 28 = x. Is o(x) a prime number?
False
Let d(q) = q**2 - 10*q - 9. Let f be d(11). Suppose 4 + f = -y. Is (2 + y)/(-4)*87 a composite number?
True
Let d be (-3)/(-9) + 8/3. Suppose 4*c + r - 16 = 3*r, d*c - r = 11. Suppose 2*v - 187 = -5*h, 0*h = -c*h + v + 121. Is h prime?
False
Let n(k) = -52*k**2 + 4*k - 2. Let i be n(2). Let p = i + 75. Is (-1 - -2)/((-1)/p) a prime number?
True
Let a be (6 - 45/10)*-2. Let p(u) be the second derivative of 17*u**4/12 + 5*u**3/6 + 7*u**2/2 - u. Is p(a) a composite number?
True
Suppose 20 = -4*b - 28. Let k be (-26)/b - 3/18. Is k + (1 - -2)*119 prime?
True
Suppose 6*y - 1057 = 18185. Is y a composite number?
True
Suppose 0 = -5*l - 0*l + 15, 0 = -3*g + 2*l + 50478. Suppose -3*t + g = t. Is t a composite number?
True
Let c be (-1 - (4 - 2))/(27/6570). Let n = 1179 + c. Is n a composite number?
False
Suppose 3*n = -n. Is (2933/(-7))/(n + -1) composite?
False
Suppose -c - 15 = -61. Is c a composite number?
True
Let d(y) = 1362*y**2 + 5*y + 4. Is d(-1) composite?
False
Suppose -d = -2*d - s + 6, 0 = d + 2*s - 10. Let q be d/(-9) + (-40)/(-18). Is q*149*1/2 composite?
False
Suppose a + 992 = 2*j, -j + 3*a = -6*j + 2491. Let b = j - -2090. Is b composite?
True
Let o(p) = -2*p - 12. Let m be o(-8). Suppose m*a + 3375 = 5*k - a, 0 = -3*k + 5*a + 2033. Is k a composite number?
True
Let a be (3 - (-33)/(-9)) + 12/(-9). Let u(w) = -11*w**3 - 5*w**2 - 7*w + 4. Let j(g) = g**2 + g - 1. Let z(i) = 5*j(i) + u(i). Is z(a) a composite number?
True
Suppose 28*r - 716191 = 41293. Is r prime?
False
Suppose -4*u = 3*m - 5, 0*u - 3*u - 5*m - 10 = 0. Is (u - 2)*3493/21 a prime number?
True
Let x(m) be the third derivative of m**4/12 + 9*m**3/2 - 10*m**2. Is x(16) a composite number?
False
Suppose -9*o - 42 = -6. Is 89078/33*(-6)/o prime?
True
Let y = -14 + 20. Let d(q) = q - 3. Let f be d(y). Suppose 0 = -a + 4*u - 12 + 51, -2*u = -f*a + 97. Is a composite?
False
Suppose -2*q + 3*y + 34 = 0, 3*q = -0*q - 5*y + 32. Let x be -2 - q/(4/(-2)). Suppose x*b + 0*b - 725 = 0. Is b prime?
False
Let y be 26 + (-4)/(4/1). Suppose -4*o + y = -11. Suppose -o*u + 5*u = -44. Is u a prime number?
True
Suppose -6*d + d = -30. Is 27/(-18)*(-1940)/d composite?
True
Suppose 5*n - 3*w + 45 = 0, -5*w - 16 = 9. Is ((-1814)/8)/(3/n*1) composite?
False
Let v(b) = -b - 5. Let l be v(-3). Let u be 7695/38 + l/4. Let t = -117 + u. Is t prime?
False
Let c(d) = -d - 2. Let h be c(-5). Suppose -5*x = -h*f - 21, -2*x = 3*x + 4*f - 7. Suppose -x*t - 2*t - 4*i = -307, -2*i + 242 = 4*t. Is t a composite number?
False
Let r = 26 + -24. Suppose 0 = -r*n - 2*n + 1432. Is n a composite number?
True
Let l(t) = 8*t - 5. Let u be l(8). Suppose -313 - u = -3*a. Suppose -3*f + a = -2*f + 3*x, 2*f = 4*x + 258. Is f a composite number?
False
Suppose -20 + 2 = -6*w. Suppose w*d - 1240 = d. Suppose 5*j - d = 5*l, 0*j - j - 3*l + 136 = 0. Is j a composite number?
False
Suppose 4*u - x = 224492 - 85542, 0 = -5*u + 3*x + 173691. Is u a composite number?
True
Let f = 242 + 1331. Is -1 + 6/4 - f/(-2) a composite number?
False
Let j be (0 + -4)*(1 + 4845/(-6)). Let x = -1748 + j. Is x prime?
False
Let u = -32 - -36. Suppose u*v + 3*g - 75 = 49, 0 = -g. Is v a prime number?
True
Suppose -2*y + 3 = -y. Let c be y - (-52 + -3) - -3. Let f = -30 + c. Is f a prime number?
True
Is (-26)/39*(-16671)/2 composite?
False
Let q be -3 - (-6)/((-12)/(-1414)). Suppose 73 = 3*d - q. Is d a composite number?
True
Suppose 229475 = -3*w + 28*w. Is w a prime number?
False
Suppose -3*y + 2*b + 6703 = 0, 0 = -5*b + 17 + 3. Let d = y - 1318. Is d prime?
True
Let f(m) = -m**3 - 2*m**2 + 6*m + 1. Let a = -22 + 16. Is f(a) a prime number?
True
Suppose 2*t + 229768 = 13*t. Suppose t = -3*n + 11*n. Is n a prime number?
False
Let x = 1215 - -2476. Is x a composite number?
False
Let v(h) = h + 12. Let c be v(-9). Is 888 + c/9*-3 composite?
False
Suppose -r - 4195 = -m + 4451, 0 = 5*m + r - 43200. Is m a prime number?
True
Suppose 14*p = 15*p - 9. Suppose p*s - 1137 - 1896 = 0. Is s prime?
True
Let h be (-18)/(-27) + (-1)/(-3). Let d(u) = 2*u**3 - 279*u**2 - 1 + 281*u**2 + 54*u**3. Is d(h) a prime number?
False
Suppose 0 = 2*j - 2*c - 150016, -j + 18*c - 19*