28 + -22. Let c be w/(-39) - 32508/(-52). Let v = c - 358. Is v a composite number?
True
Suppose -4*y - 22 = -5*d, -5*y = -d - 0*y - 4. Let p(t) = 4*t**3 + 7*t**2 + t - 11. Is p(d) prime?
False
Let s be 1/(-4) + 3042/(-24). Let k = 420 + s. Is k prime?
True
Let a(l) = l**3 + 5*l**2 + 5*l + 1. Let i be a(-4). Let h be i/(-2)*(-2)/(-3). Is -254*h/4*-2 composite?
False
Suppose -4*u + 16 = 4*w, 6*u - 2*u = -5*w + 13. Let o(k) = -k + 3. Let i be o(u). Let x(l) = -8*l**3 - 4*l**2 - 5. Is x(i) a prime number?
True
Let u be (-7)/(-3) + (-2)/6. Let b(j) = j + j**3 - 4*j**2 - 6 + 7*j + 19*j**2 - 5*j**u. Is b(-8) a composite number?
True
Let x(w) = -w**2 - w. Let n(c) = -c**3 + 17*c**2 + c - 14. Let i(d) = n(d) + 3*x(d). Is i(6) a prime number?
False
Suppose z - 136 - 271 = 0. Is z prime?
False
Suppose 94*y - 1676187 - 817351 = 0. Is y a prime number?
False
Suppose r - 1906 = v, 5*v = -135*r + 130*r + 9480. Is r composite?
False
Let a = 954 + -491. Let v = 1214 - a. Is v composite?
False
Let c = -416 + 6127. Is c a prime number?
True
Let k(n) = n**3 + 3*n**2 - 8*n - 5. Let x be k(-5). Is 21*(1 - 250/x) a composite number?
True
Let f be (-3)/(-12) - (-196)/(-16). Let a = f - -14. Suppose -5*z + 137 = s, -6*z + 8 = -a*z. Is s composite?
False
Let s(f) = -10*f - 19. Let j be s(-9). Suppose -5*n - j + 706 = 0. Is n prime?
True
Suppose -n - 2*t + 13223 = 0, -3*n - 2*t + 7277 = -32380. Is n prime?
True
Let p(v) = v**3 + 16*v**2 + 29. Is p(-10) a composite number?
True
Let q(y) = y**3 + 6*y**2 + 5*y + 11. Let u be q(-7). Let r = u + 212. Is r a composite number?
False
Suppose -27*x = -25*x - 466. Is x prime?
True
Let y(r) = -128*r - 31. Let i be y(-10). Let k = -576 + i. Is k a composite number?
False
Let a = -17 + 21. Suppose 0 = -3*g - a*g + 2527. Is g composite?
True
Let a(g) = 21*g - 38*g + 1 + 18*g. Let u be a(1). Is 1069 + (u/(-1) - -2) prime?
True
Is (155295/(-18) + (-4)/4)*-10 prime?
False
Let x(u) = 6*u**2 - 5*u - 117. Is x(26) prime?
False
Suppose 0*z + 2*z = 5*s + 20, 0 = -5*z + 5*s + 35. Suppose -2*m + z*m - 18 = 0. Let o(g) = g**3 - 2*g**2 - 11*g + 5. Is o(m) composite?
False
Let a(v) = 4*v**2 + 4*v - 27. Is a(4) a composite number?
False
Let y be (-1)/2 - (-4)/8. Suppose y = 5*q - 231 - 564. Is q a composite number?
True
Let g = 11 + -13. Let o be 1/((g/(-289))/(-2)). Let x = -140 - o. Is x prime?
True
Suppose 3*z + 26*i - 21*i = 5019, 3*z + 3*i - 5019 = 0. Is z a composite number?
True
Let a be (-8)/4 + -1749 + -1. Let v = -1420 + 585. Let n = v - a. Is n a composite number?
True
Suppose d - 196 - 397 = 0. Is d a composite number?
False
Let l = -5980 + 11494. Suppose -5*o + l = o. Is o a prime number?
True
Is ((-5623)/(224/(-77) + 3))/(-1) prime?
False
Is 4 + -7220*(270/24)/(-9) a prime number?
True
Let t be (4938/5)/2 + (-80)/100. Let k = 90 + t. Is k composite?
True
Suppose -5*c + h + 155 = 0, 2*c + 19 = 2*h + 89. Let f = 212 + -33. Suppose r = f - c. Is r prime?
True
Let a = 50 + 579. Is a a prime number?
False
Let g(c) be the third derivative of c**5/60 - 3*c**4/8 + 4*c**3/3 - 2*c**2. Let p be g(8). Suppose -5*n + 151 = -2*n - 5*k, p = -n - 4*k + 39. Is n prime?
True
Suppose 0 = 4*m, -47108 = -4*i - 14*m + 11*m. Is i a prime number?
True
Let w be (-4 - (-101 + 0))*(21 + -1). Suppose 2*q = 3*z + 829, 5*q - w = 4*z + 143. Is q a composite number?
False
Let d = 2829 - 1706. Is d composite?
False
Let c be (-4)/((-8)/(-6))*-1. Suppose c*d + 1 = -y, 4*y - 28 = -2*d - 2. Let i = 199 - y. Is i prime?
True
Let j = -35 + 35. Suppose 2*t - 3 = 7. Suppose 3*a + a - o - 649 = 0, t*o - 15 = j. Is a prime?
True
Let y(r) = 127*r**3 - 9*r**2 + 25*r - 5. Is y(4) composite?
True
Suppose 5*q + 370 = -0*q. Let l = 84 - q. Is l a composite number?
True
Let j = -50 - -191. Let o = j - -50. Is o a prime number?
True
Let k = -176 + 1935. Is k a prime number?
True
Let k(j) = 2*j**2 - 9. Suppose -r - 5*q = -5*r + 87, -3*r + 69 = -5*q. Suppose 0 = n - r + 14. Is k(n) prime?
True
Let b(s) = s**3 + 9*s**2 - 2*s - 5. Let t be b(-9). Suppose 3*a - 15 = -2*l, -4*a - 9 - t = -2*l. Suppose -l*d + 4 = -7*d. Is d a composite number?
False
Suppose 0 = -4*x + x - 9. Let c be 789/2*(-4)/x. Let d = c + -289. Is d composite?
True
Let s = 3 - 12. Let f(k) = 4*k**2 + k - 9. Let m be f(s). Let i = 413 + m. Is i a composite number?
False
Let x(q) = 6*q + 7. Let b(g) be the second derivative of 7*g**3/6 + 3*g**2 - 3*g. Let t(y) = 4*b(y) - 3*x(y). Is t(3) a prime number?
False
Let g(m) = -m**2 - 7*m + 7. Let v be (-7)/((-21)/(-24)) + 3. Let a be g(v). Suppose 0 = -5*h + a + 38. Is h a composite number?
False
Let q(a) = 6*a**3 - 7*a**2 - 9*a + 11. Let g be ((-2 - -1)*-1)/((-8)/(-40)). Is q(g) prime?
True
Let f = -18 + 24. Suppose -f*c + 1926 = -0*c. Is c a prime number?
False
Let m(z) = -2*z**2 + z + 2923. Is m(0) composite?
True
Let w be (18/(-15))/((-4)/10). Suppose w*u + u = 12. Suppose -u*t + 0*t + 465 = 0. Is t a composite number?
True
Let b(t) = t**3 + 18*t**2 - 3*t + 9. Is b(19) a composite number?
False
Let w(z) = 2*z**3 - 4*z**2 + 2. Let t be w(1). Suppose -4*l + l + 1101 = t. Is l a prime number?
True
Let t = 3345 - 2341. Suppose -3*o = -5*y + t, -4*y - 5*o + 980 = y. Is y a composite number?
False
Let s(k) = -33*k + 56. Let b be s(16). Let a = 1191 + b. Is a a prime number?
True
Suppose s + 2*s = 12. Is 649*-3*s/(-12) a prime number?
False
Let u(j) = j**2 + 24*j - 2. Let d(s) = s**2 + 23*s - 9. Let b(p) = -1. Let v(f) = -6*b(f) + d(f). Let z(o) = 2*u(o) - 3*v(o). Is z(-13) a composite number?
False
Suppose -25 = -3*a - 10. Suppose v - 165 = -4*i, a*v - i = -61 + 802. Let t = 276 - v. Is t prime?
True
Suppose 169*u - 132*u - 1979389 = 0. Is u composite?
True
Let p = 17 + -18. Is 2 - 4 - (p - 204) a prime number?
False
Let c = -5418 - -1787. Let f = c - -6236. Is f prime?
False
Let y be 4/22 - 624/44. Let g be y/(-4) - (-3)/6. Suppose 0 = -g*l - 3*f + 379 + 107, -l + 113 = 5*f. Is l composite?
True
Let p(t) = 15*t + 10. Let n be p(4). Let w = n - 50. Is 6/(-15) - (-1548)/w prime?
False
Suppose -3*d = -d - 44. Let j = d - 57. Let y = 282 + j. Is y a prime number?
False
Let p be 10076/16*(-1 + 5). Suppose 2*j + 3*h = 1684, 2*j = -j - h + p. Is j prime?
True
Let k(m) = -m**3 - 7*m**2 - 5*m + 8. Let u be k(-6). Suppose 2*x = -5*g + 1675, -x = -u*g + 923 - 244. Is g a composite number?
False
Let p be (45/12)/((-5)/(-560)). Suppose 0 = 3*w - 2*w - 2. Suppose -2*o = 2, w*r - p + 65 = o. Is r prime?
False
Suppose -2*q = -3*g - 2 - 13, -g - 5 = -5*q. Suppose 2*y - 41 - 67 = q. Suppose 3*i + 63 = 4*u - y, -4*u + 112 = -4*i. Is u a prime number?
False
Let t(c) = 2*c + 20*c + 6*c - 5. Let o be t(4). Let n = -42 + o. Is n a composite number?
True
Let q = 12151 + 5855. Suppose -10*n + q = -13984. Is n a composite number?
True
Is 0 + 5 + (-2)/1 + 89134 composite?
False
Let g = -25 + 27. Suppose -g*n + 4*n + 429 = 5*t, n + 2 = 0. Is t a prime number?
False
Let o be 7 - 3 - (0 - 0). Suppose 5*q - 7 = -o*g + 23, -3*g = 4*q - 23. Suppose -g*b + 10*b - 36 = -y, b - 16 = -y. Is y prime?
True
Let g(j) = j**2 - j - 47. Let z be g(8). Suppose -z*b + 2824 = -9425. Is b composite?
False
Let w(q) = 191*q - 14. Is w(3) prime?
False
Let u be 245 - 2*(-4)/8. Suppose 0 = 2*b - 234 - 504. Let l = b - u. Is l composite?
True
Let c = 14 - 19. Let j = -12 + c. Is (-772)/(-6) + j/(-51) composite?
True
Let s(h) = -2*h**3 + 47*h**2 - 6*h - 32. Is s(23) prime?
True
Let q be (-2)/(-4) - 3/(-2). Suppose 2*r + q = -0. Let y(z) = -165*z**3 + z**2. Is y(r) a composite number?
True
Let t(r) = 6*r**3 - r**2 + 3*r - 2. Let b be t(2). Suppose -4*k - 3*q - b = 0, 5*k + 7*q = 2*q - 55. Is (-2860)/k - 1/(-3) a composite number?
False
Let l(t) = 9*t**2 + 5*t + 24. Let c be l(-8). Let m = 979 - c. Is m a prime number?
True
Suppose 9 + 1 = 5*v. Suppose -3*f - v*y + 5039 = 0, y - 1 = -0. Is f a prime number?
False
Let i = -46 + 46. Suppose 5*p - 10673 - 592 = i. Is p prime?
False
Suppose -d = -3*n - 2836, 58*n - 54*n + 4 = 0. Is d a composite number?
False
Let a(q) = -q**2 + 6*q - 3. Let m be a(4). Suppose 331 = m*x - 334. Let j = -38 + x. Is j a composite number?
True
Let t = -7549 + 12176. Is t prime?
False
Let d = 635 - 384. Is d a composite number?
False
Suppose v = -o + 10076, -2*o = -v + 3104 + 6975. Is v composite?
True
Let