19 = 2*l. Suppose -x + 10 = t, 2*x + l = -t + 4*t. Suppose -u + 427 = t*y, 2*u = 4*y + u - 338. Is y a composite number?
True
Let k(b) = -114*b + 2. Let s be k(-2). Suppose 4*r = -0*y - 2*y + s, -3*y - 61 = -r. Suppose -6*q = -5*q - r. Is q a prime number?
False
Suppose 2*y - 28 = 10. Let v = 2800 + y. Is v prime?
True
Let i(y) be the third derivative of y**6/120 - y**5/15 + 5*y**4/24 - 5*y**3/6 + 8*y**2. Let w be i(3). Is w - (-1 + -81) - -2 composite?
True
Let z(u) = u**3 - 9*u**2 + 9*u - 7. Let l be z(8). Let h(j) = -2*j**2 + j**2 + 61*j**3 + 82*j**3 + 1. Is h(l) composite?
True
Let a(f) = 0 - 6 + 1 - 2*f + 77*f**2 + 7. Is a(1) prime?
False
Let t(n) = 6*n + 2. Let x be t(-3). Let u be (1 + 2)/((-12)/x). Suppose 0*d = u*d - 1876. Is d a prime number?
False
Suppose 29655 = 3*g + j, 0 = -3*g - 0*j + 2*j + 29664. Is g a composite number?
True
Let r(t) = 78*t**3 + t. Let z = -33 - -34. Is r(z) a composite number?
False
Let a = 18578 + -5163. Suppose -5*p + a - 900 = 0. Is p composite?
False
Suppose -12*w - 1215 = -15*w. Suppose 0 = -3*b + w + 264. Is b prime?
True
Let i(d) = -98*d - 177 + 33*d + 148 - 52*d. Is i(-8) a prime number?
True
Let h = -2009 - -5028. Suppose 16*y - 17*y + h = 0. Is y prime?
True
Let f = 124 + 105. Let h(x) = x**2 - x - 8. Let i be h(0). Let g = i + f. Is g prime?
False
Let p be 15934/18 + (5 - 329/63). Suppose 5*m - 4*u + p = 2934, 2*m - 3*u = 821. Is m prime?
True
Suppose 3*b + 38 = -79. Let o = b + 242. Is o a prime number?
False
Let a = -317 - -1018. Is a prime?
True
Suppose -2 = -d + o, -d + 17 = -0*d + 2*o. Suppose -2*s + d + 247 = 0. Is s a composite number?
False
Let i(k) = -k**3 + 6*k**2 - 6*k + 4. Let v be i(5). Let o(t) be the first derivative of -9*t**2 + t - 16. Is o(v) a composite number?
False
Let f = -29 + 29. Suppose 3*q = -4*p + 619, 4*q - 5*p - 1041 + 257 = f. Is q prime?
False
Let x be (0 - 499)/(2/(2 + 0)). Is (0/(-2))/(-3) - x a composite number?
False
Let s(g) = 67*g**2 - g - 37. Is s(-9) a prime number?
True
Let p(y) = -y**2 - 20*y + 16. Suppose -4*q + 9 = -7. Let s(o) = -2*o - 3. Let h be s(q). Is p(h) a prime number?
False
Suppose 3*c - 2 - 7 = 0. Suppose -1645 = -c*q - 4*q. Is q a prime number?
False
Let x be ((-2)/(-3))/(6/9). Let o be x/((6/4)/3). Is 69/o - 2/(-4) composite?
True
Suppose 2*q = -q + 2*b + 6239, 0 = -3*q - b + 6245. Is q a prime number?
True
Suppose 94332 = 4*m - r, m - r - 23373 - 207 = 0. Suppose -9*c - 5773 = -m. Is c a composite number?
False
Is (-78631)/(-5) - 20/(-25) a prime number?
True
Let t = -693 - -1124. Is t a prime number?
True
Let m(k) = 12*k - 31. Suppose -4*d + l + 75 = 0, 125 = 5*d - 7*l + 12*l. Is m(d) prime?
False
Let u(k) = -1104*k**3 - 3*k**2 + 5*k + 23. Is u(-3) a prime number?
True
Let r(c) = 3*c + 155. Let i(m) = -13*m - 620. Suppose -3*v + 45 = 2*v. Let f(d) = v*r(d) + 2*i(d). Is f(0) a composite number?
True
Let f = 131 + 284. Is f a prime number?
False
Let j(a) = -a**2 + a - 4. Let o be j(0). Let g be 6/(o/2 + 3). Is (4/g)/(4/1614) a prime number?
True
Suppose 0 = 830*h - 858*h + 1497244. Is h a prime number?
False
Let v(u) = -u**3 + 3*u**2 - u + 6. Let f be v(3). Let x(j) = -3*j**2 - j**f + 4*j**2 + 6*j**2 - 7 + 5*j. Is x(6) a prime number?
True
Suppose -9*j = -11357 + 3860. Let f = j + -452. Is f composite?
True
Suppose 30 = 5*a + 10. Suppose -a*l + 29 = -5*l. Let v = l - -292. Is v a prime number?
True
Let h(z) be the third derivative of -z**5/60 - 11*z**4/12 - 17*z**3/6 + 6*z**2. Is h(-16) composite?
False
Is ((-540)/(-100) - (-6)/10) + 6001 a prime number?
True
Let d(a) = 2272*a**3 - 3*a + 2. Let u be d(1). Suppose 5*k + 5*g - 2255 = 0, 0 = k + 4*k - 3*g - u. Let l = k + -320. Is l composite?
True
Suppose -y = 6*b - b - 1769, -4*y = -16. Let k = b - 102. Is k composite?
False
Is (1/(-2))/((-16)/239968) a prime number?
True
Let d be (102/(-9))/((-6)/(-9)). Let x be (-49 - 1)*(-16 - d). Let q = 161 - x. Is q a composite number?
False
Let o(v) = -35*v - 254. Is o(-8) composite?
True
Let t = -19 + 16. Let c be t - 28/(-4 + 3). Suppose -4*b - 143 = -3*o, 5*o + b + c - 294 = 0. Is o composite?
False
Let f(v) = 44*v + 1. Let y(p) = -22*p. Let i be (-11)/(-3) - 4/6. Let b(w) = i*f(w) + 5*y(w). Is b(8) prime?
True
Let n(u) = -u**3 + 10*u**2 - 12*u - 19. Let z be n(11). Let d = 447 - z. Is d a composite number?
False
Suppose 12*j - 8*j = 3*f + 7358, 1832 = j + 3*f. Is j prime?
False
Let h = -1798 - -12911. Is h prime?
True
Let r = -69 + 31. Is (-337100)/(-380) + 4/r prime?
True
Let c be 6/(-18) + (-1)/(-3). Suppose 0 = 3*o - c*o - q - 16, 8 = 4*o + 2*q. Is ((-106)/o)/(6/(-36)) composite?
True
Let y = -106 + 2493. Let b = -1132 + y. Is b composite?
True
Let h = -748 + 1052. Let d = 515 - h. Is d composite?
False
Suppose -l = 3*h - 8*h - 13, -l + h + 17 = 0. Is (1468/(-12))/(-1 - (-16)/l) a prime number?
False
Let p(n) = n**2 + 5*n - 3. Let m be p(-8). Let b = m + 32. Is b prime?
True
Suppose -4*i = -4*t + 40, -i - t - 35 = 3*t. Let p be (-17)/(-5) + i/(-25). Suppose 0 = 3*v - p - 41. Is v composite?
True
Let i(d) = d**3 - 9*d**2 - 8*d - 17. Let q be i(10). Is 0 - (-3 + q) - -129 composite?
True
Let v(m) = -7*m**3 + 3*m**2 + 2*m - 14. Let w(b) = 13*b**3 - 5*b**2 - 3*b + 28. Let c(y) = 5*v(y) + 3*w(y). Is c(5) prime?
False
Let o be ((-2478)/24)/(1*2/16). Let u = -447 - o. Is u composite?
False
Suppose 38*v - 679653 = 536005. Is v a prime number?
True
Is 1 + (2 - -3385) + 28/28 composite?
False
Let q(h) = h**3 + 47*h**2 + 58*h + 121. Is q(-39) composite?
True
Let a = -1 + 17. Let w = 23 - a. Is w a prime number?
True
Is 882840/224 - 1*2/8 a composite number?
True
Let l(b) = -b**2 - 15*b + 17. Let y(d) = -4*d + 25. Let g be y(10). Let w be l(g). Suppose -20*a = -w*a - 138. Is a a prime number?
False
Let b(t) = 28*t**2 - 26*t + 47. Is b(-18) composite?
False
Suppose -2509 - 8312 = -3*s. Is s composite?
False
Let y = 523 + -188. Is y prime?
False
Let x be (-8)/(-1)*2517/12. Suppose 3*w - x = w. Is w a prime number?
True
Suppose -13*k + 283648 + 28495 = 0. Is k a prime number?
False
Let r = -46 - -897. Is r composite?
True
Is ((-1)/3 - (-35976)/144)*94 composite?
True
Let b = -3621 - -7312. Is b prime?
True
Let v(g) = -g**3 + 7*g**2 - 4*g. Let t be v(6). Let q = -10 + t. Is q*((-510)/4)/(-3) a prime number?
False
Let b = 1382 - 747. Suppose -5*a + b = x, 3*x - 1184 = a + 721. Is x prime?
False
Is 232820/49 + 7/((-98)/6) a composite number?
False
Suppose -t = 4*d - 15, d - 5*d - 3 = -5*t. Let l(k) be the second derivative of 4*k**3 + 7*k**2/2 + 2*k + 78. Is l(d) composite?
False
Let d(n) = n**3 + 31*n**2 + 35*n + 48. Is d(-25) a composite number?
True
Let v(c) = 71*c**3 - 6*c**2 - 12*c + 58. Is v(9) prime?
False
Suppose k = -3*k + 3720. Suppose 5*s = k + 4975. Suppose s - 121 = 4*m. Is m a composite number?
True
Let l(u) = 6*u**2 - 4*u + 7. Is l(-31) prime?
True
Let d be 7/42 - 46/(-12). Suppose 246 = 3*t - d*b, -5*t + 559 - 149 = 2*b. Is t prime?
False
Suppose -6606 + 1097 = -7*c. Is c composite?
False
Suppose z = 0, 0 = -0*c + c - z + 9. Let u = c + 11. Suppose 1985 = 3*h + 2*h - 2*j, -4*h - u*j + 1570 = 0. Is h a composite number?
True
Let c(o) = -735*o - 92. Is c(-11) a prime number?
True
Let t = 24229 - 11075. Is t composite?
True
Let r = 27 + -30. Let n = 37 + r. Is n a prime number?
False
Let t(w) = -9*w + 48. Let y be t(5). Suppose g - y*a = 2920, 0*g + 3*g - a - 8800 = 0. Is g a composite number?
True
Let d(c) be the second derivative of -c**3/6 - 3*c**2 - c. Let s be d(0). Is 4005/6*s/(-9) a composite number?
True
Let q = -1794 + 51. Let b = -806 - q. Is b a prime number?
True
Let d be 42/(-12)*(-4)/7. Suppose 6 = -d*k - 2*q + 14, 0 = -q. Suppose -1231 = -k*l - o, 5*l - l - 4*o - 1216 = 0. Is l prime?
True
Let o(w) = 2383*w - 25. Is o(2) prime?
False
Let d be ((-193)/2)/1*-24. Suppose -903 - d = -3*r. Is r a composite number?
True
Is 4 + 1 + (-393316)/(-11) a composite number?
True
Suppose -4*t = 5*w - 1669, 5*t + 49 = -3*w + 2145. Suppose -3*c = -5*d - t, 0*d + 143 = c + d. Is c a composite number?
True
Let l be -3 - (-2 + -1) - -15. Suppose -15 = -4*w - 3*j, 4*j - j = 4*w - 9. Suppose 3*v - v - f - 22 = 0, -l = -w*v - 3*f. Is v prime?
False
Suppose 0 = -0*n + 3*n - 4965. Let s(w) = 4*w - 36. Let a be s(10). Suppose n = p + a*p. Is p a prime number