*d + d = -4*t + 1014. Is t a prime number?
True
Let v(a) = 5057*a + 196. Is v(5) prime?
False
Suppose -2*n = -8, -124*d + 122*d + 2714 = -3*n. Is d prime?
False
Let y = 236 + -47. Let z = 266 - y. Is z a prime number?
False
Suppose -4*n - 2 = -2*n. Suppose 2*m - 10*m - 48 = 0. Is 3*((-232)/m + n) composite?
False
Suppose 11*w = -3752 - 2078. Is 2 - w - (4 - 1) a composite number?
True
Let m(r) = r**2 - 20*r + 62. Is m(-25) composite?
False
Suppose -237 + 5667 = 6*d. Is d prime?
False
Suppose 3*a - 2*f = 14, a + 10 = -2*a - 4*f. Let h(d) = -4*d**2 + d**3 + 2*d**2 - 1 - a*d + 2 + d**2. Is h(5) a composite number?
True
Let s(h) = h**3 + 8*h**2 + 9*h + 17. Let r be s(-7). Let u = 1 - -3. Suppose -2*p = -5*c + 661, u*c = 7*c + r*p - 384. Is c prime?
True
Is 3/(-27) + (-138)/(-27) - -8632 a prime number?
False
Suppose 5*s - 8*s = 4*u - 50351, -3*s = 2*u - 50359. Is s prime?
False
Let x = -2317 + 5506. Is x prime?
False
Let l(x) be the second derivative of -5*x**4/12 + 13*x**3/6 + 3*x**2/2 + 9*x. Let o be l(9). Is (16/(-20))/(6/o) prime?
False
Let b = 5601 - 2438. Is b a composite number?
False
Let g(b) = b**2 - b + 2. Let v be g(1). Suppose -7511 = -9*w + v*w. Is w a composite number?
True
Suppose -g + 4 + 1 = 0. Let m be 2984/20 - 1/g. Suppose -m = 5*i - 1464. Is i composite?
False
Let o = -68 - -71. Is (5 - o) + (1 - 0) + 818 a prime number?
True
Is 226*121/10 + (-33)/55 a prime number?
False
Suppose 48303 = 2*y + 5*u, 48 = 5*u + 23. Is y composite?
True
Let y = -1708 + 429. Let n = -578 - y. Is n prime?
True
Let c = 1410 - -101. Is c a prime number?
True
Suppose -49*s + 6906 = -43*s. Is s a prime number?
True
Let r(q) = q - 1. Let d(j) = 194*j - 4. Let s(x) = d(x) - 5*r(x). Let u be s(7). Suppose 0 = a - 5*a + u. Is a composite?
False
Suppose -2 = -2*s + 2. Let r(j) = -5*j - 20. Let b be r(-5). Is 547/b + s/(-5) composite?
False
Suppose 2 = o + 6, -2*o = 5*n - 2. Let d(m) = -9*m + 5 - 12*m + 3*m**2 + n*m. Is d(13) a composite number?
True
Let y = 9488 - 5361. Is y prime?
True
Let x be 1/2 + (-30555)/(-6). Suppose 5*l = -1488 + x. Is l a composite number?
True
Let r(w) = 24*w**2 + 2*w - 58. Is r(10) a composite number?
True
Suppose 0 = -2*u - 4*r + 414 + 162, -5*u - 2*r + 1400 = 0. Suppose 0 = 4*b - u - 534. Is b a composite number?
True
Let x be (2 + -2 - 2)*8. Let f be 16/3 - x/24. Suppose -f*c = -2*c - 172. Is c prime?
True
Let o(k) = 2*k - 3*k + 2 - 7. Let x be o(-5). Is 193 - 9 - (x + 1) prime?
False
Let c(h) = -55*h**2 + 8*h - 3. Let d be (-20)/8*(2 - 4). Let l be c(d). Is (-1)/((-2)/l*-3) a composite number?
False
Let b be -3654 + (1 + -3)*2. Let y be (2/2)/((-2)/b). Suppose -4566 = -7*h - y. Is h a prime number?
False
Let j(i) = -41*i - 34. Is j(-27) composite?
True
Let o(p) = p**3 + p + 10. Let v be o(0). Suppose 0 = 2*f + 4*z - v - 6, 0 = 5*z - 10. Suppose -f*x + 2*x = -3*b + 358, -2*b = -2*x - 240. Is b prime?
False
Suppose 40*l - 3480 = 37*l. Suppose -2*a + 2 = -l. Is a a prime number?
False
Let r(d) = 116*d - 4. Let z be r(6). Is 2/(-3) - z/(-12) a composite number?
True
Let f(q) = 110*q**3 - q**2 + 5*q + 5. Let k be f(-2). Let r = 380 + k. Let d = 730 + r. Is d a prime number?
False
Suppose -2*t + 5*t = 0. Let z(q) be the first derivative of q**4/4 - q**3/3 + q**2/2 + 37*q + 7. Is z(t) composite?
False
Let d = 33 + -29. Suppose 5*p + 19 = 2*r, -5*r - d*p = -6*r + 14. Suppose r*x + 5*n - 103 - 46 = 0, x = -2*n + 73. Is x a composite number?
False
Let i = -29 + 41. Is (-357)/(-5) - i/30 prime?
True
Suppose -4*d = d - b - 9113, -d + 1815 = -4*b. Is d a composite number?
False
Let d = -31253 - -147820. Is d prime?
False
Suppose -5*g = s + 925, -3*g + 4*s = s + 537. Let i = g + 258. Is i prime?
False
Suppose 5*h - 3*j = 228 + 29, 3*j - 135 = -3*h. Let u(k) = -h*k**2 + 281*k**2 - 1 + k + 287*k**2. Is u(1) composite?
True
Let m = 28 + -36. Is (-42)/56 - 5998/m a composite number?
True
Let m(o) = 16*o**2 - 3*o - 9. Let q = -24 - -27. Suppose 2*d - 6*d + 17 = -f, -4*d + q*f = -19. Is m(d) composite?
True
Let g = -268 + 2307. Is g a composite number?
False
Suppose 0*q = -q + 11. Let t be q/(-11) - (-18 + -1). Is (1 - (-2 - 0)) + t prime?
False
Suppose 4*c + 92 = -236. Let h = -20 - c. Is h composite?
True
Let i(t) = t**2 + 23*t**3 + 2*t + 19 - 34*t**3 - 26*t**3 - 18. Let c(o) = o**3 - 9*o**2 + 7*o + 7. Let q be c(8). Is i(q) prime?
True
Suppose 2*f + 3*f - 10913 = -3*v, -2*f = 4. Is v prime?
False
Is 635*2/15*(-3)/(-2) a prime number?
True
Let k(n) = 8*n**2 - 34. Let p be k(9). Let r = p + -423. Is r composite?
False
Let p = 2 - 6. Let x be 1/(p/12 - 0). Is x/3*1*-83 prime?
True
Let z = 64583 + -17232. Is z composite?
False
Let i be 0/3*(-4)/8. Suppose -z + 0*z + 11 = 2*b, i = -3*z + 2*b + 1. Suppose -5*j - 115 = -3*a - 15, -107 = -z*a - 2*j. Is a a composite number?
True
Let h = 6826 + -2699. Is h a composite number?
False
Let d be (-3)/(-3 + 0)*-6. Let h be d/7*(-28)/6. Suppose h*b - 127 = 505. Is b prime?
False
Let n = -122 - -118. Is 74/2*(100 + (-3 - n)) a prime number?
False
Let c(k) be the first derivative of -17*k**2/2 - 26*k - 21. Is c(-9) a prime number?
True
Let s(l) = -l**3 - 18*l**2 + 10*l - 13. Let o(j) = -2*j**2 + 7*j - 5. Let v be o(5). Is s(v) composite?
False
Let b(u) = u**2 + 5*u - 8. Let k be b(12). Suppose -2 = 6*g - 2*g - 2*t, -t = 2*g - 9. Suppose -4*x + 665 + 173 = g*q, x + 5*q = k. Is x prime?
True
Suppose 0 = b - 0*b - 995. Let z be 4*(-6)/(-7 - 5). Suppose 5*d + 5*t = b, -157 - 253 = -z*d + 4*t. Is d composite?
True
Let w(s) = 5*s**2 - 10 - 8*s - 2*s**3 + 2*s**2 + 0. Let g be w(-6). Suppose 0 = -4*k + 3*u + g, -2*k - 2*u = 2*k - 712. Is k a composite number?
False
Let p = 31000 - 17351. Is p prime?
True
Suppose -3*y + 5*w + 90 = 0, w + 0*w = 2*y - 60. Let u be (18 - 10)*(-1)/2. Is ((-2)/u)/(5/y) composite?
False
Let w(c) be the third derivative of 2*c**5/15 - c**4/4 - 3*c**3/2 + 5*c**2. Is w(-5) a prime number?
False
Suppose -8*w = -2*w + 3*w. Let h(c) = c**3 + 3*c**2 + 149. Is h(w) a prime number?
True
Suppose 5*z - 5*y - 10 = -35, 4*z - 3*y + 15 = 0. Is (-17025)/(-5) - (3 + -5 + z) composite?
False
Let v(g) = -g - 7. Let k be v(-3). Let b be -5*(k/(-2))/(-2). Suppose -b*c + 488 = n, -4*c + 394 = -0*n + 2*n. Is c prime?
True
Suppose 9*f = 5*f - 24. Is 65416/32 + f/(-8) a prime number?
False
Suppose -4*y = -6*x + 5*x + 13293, -x = y + 3317. Let z = -1391 - y. Is z a prime number?
True
Let g(n) = n - 5. Let r be g(9). Suppose 2*m + 5*p + 208 = -54, 0 = p - r. Let q = m + 298. Is q a composite number?
False
Suppose 329 + 305 = -f. Let d = 1485 + f. Is d prime?
False
Suppose s = y + 805, -5*y + 3*s = s + 4031. Let u = y + 1742. Let v = u + -542. Is v a prime number?
False
Let g = 24595 + -15084. Is g prime?
True
Let t = -2156 + 4423. Is t prime?
True
Let w be (-6)/4*4/(-3). Let k be (-3)/6*0 - (-2 - 1). Suppose -k*z = w*z - 165. Is z composite?
True
Suppose 34*f + 1759 = 35*f. Is f composite?
False
Suppose -2*m = -m - 6. Let c be (-9)/4*72/m. Is (-3423)/(-27) - 6/c prime?
True
Suppose -21 = 5*w + 9. Let u be w + (-3)/6*-4. Is 2755/35 - u/14 composite?
False
Suppose 104*x - 118*x + 201082 = 0. Is x composite?
True
Suppose 2*v - d - 2273 = 0, 5*d + 4059 = 5*v - 1631. Is v prime?
False
Suppose 2*j + 2 = -2*q + 10, 0 = -5*q - 5. Suppose 0 = 5*c - l + 2*l, -3*c - 2*l = 0. Suppose 0 = -5*h - j*v + 1720 + 2190, c = 5*h + v - 3930. Is h prime?
True
Suppose 4*f = -u + 50443, 3*f - 5*u - 20125 - 17713 = 0. Is f a composite number?
False
Let t = 3 + 51. Suppose -x + 1079 = -t. Is x a composite number?
True
Let m(u) be the third derivative of -u**6/120 + 29*u**5/60 - 23*u**4/24 + 15*u**3/2 + 8*u**2. Is m(22) a prime number?
True
Let x(o) = -o**2 - 12*o. Let n be x(-12). Let c be 84 - (n - 8/(-4)). Suppose z - c = 165. Is z composite?
True
Suppose 4*u - 1543 = 85. Is u/2 + 18/(-12) prime?
False
Suppose 8699 + 2422 = 33*m. Is m a prime number?
True
Suppose 3*z + 211783 = 16*z. Is z a prime number?
False
Suppose -4*g = -148 + 56. Let z = g - 19. Suppose -781 = -3*r + 4*t, 4*r - 369 - 663 = -z*t. Is r a prime number?
False
Suppose 11*m = -3*m + 20524. Suppose -5*g - m = -4811. Is g composite?
True
Suppose b - 2108 = s, 0*s + 2108 = -s - b. Let y = s - -4499. Is y prime?
False
Let f(z) = z**2 + 7*z + 6. Let b be f(-6). Let r(h) = -