Let n = -22 + 27. Suppose b + n*w - 112 = 0, -h*w - 15 = -8*w. Is b a prime number?
True
Let o = 30701 + -17313. Let a = o + 27111. Is a a prime number?
True
Let a(v) = 937*v + 424. Is a(45) a composite number?
False
Let i = 2555057 + -1737174. Is i a composite number?
True
Suppose -19*r = -101*r + r + 1956231. Is r prime?
True
Suppose 0 = -2*y + 5*y + 2*j - 68, 15 = -3*j. Suppose 4*u + y - 22 = 0. Is 677 + ((-2)/(-2) - u) a composite number?
True
Let s = 242128 + -109733. Is s prime?
False
Let n(o) = 30*o - 99*o - 39 - 60*o + 13*o. Let b be n(-9). Suppose -4*u = -b - 1799. Is u a prime number?
True
Suppose -4*p = 2*c - 17622, 4*p - c - 4407 = 3*p. Is p composite?
True
Let z(g) = -93*g + 53. Let h(l) = -2*l**3 + 2*l**2 - 8*l + 16. Let s be h(2). Is z(s) composite?
False
Let k be 100/(-5 - 0)*-1. Let t be 88/k + -6*2/(-20). Suppose 3*r + t*r = 10712. Is r a prime number?
False
Suppose 0 = -4*b + 3*y + 789836, -3473*b - 2*y + 197459 = -3472*b. Is b a composite number?
True
Suppose 0 = 24*l - 1017806 + 730831 - 4718201. Is l prime?
False
Let b = -712 - -714. Suppose -b*f = -453 - 1253. Is f a composite number?
False
Suppose -1557611 = -3*j + 5*i - i, 0 = -4*j + i + 2076832. Is j a composite number?
True
Let j(o) = 259*o - 442. Let i(d) = -388*d + 663. Let q(f) = -5*i(f) - 8*j(f). Is q(-9) a prime number?
True
Let m be (-17124)/5*25/(-10). Suppose -a - z + 3854 + 433 = 0, -2*a + 4*z = -m. Is a prime?
False
Is (597348/48)/(117/156) composite?
True
Suppose 0 = 170*q - 200*q + 32 + 28. Let k(r) be the first derivative of 25*r**4/2 - 2*r**2 + 5*r - 1. Is k(q) a prime number?
True
Suppose 5*b = -2*z + 31002, -b - 103576 = -4*z - 41594. Suppose 0 = 3*p + 6, 2*p + z = 12*k - 8*k. Is k prime?
False
Suppose 2*j + 4*t - 1102594 = 0, -35*j - 551276 = -36*j + t. Is j prime?
False
Let q be (-4)/(-38) + 9743076/2622. Suppose -3*o = -2*v - 16913, -2*o + 6064 = 4*v - 5206. Let b = o - q. Is b prime?
False
Let z(k) = -656*k - 2067. Is z(-31) a composite number?
False
Is 15/(-3)*(-2015592)/120 composite?
False
Let v(o) = 247*o**3 - o**2 - 2*o - 5. Let g be v(4). Suppose g = 3*d - f, -d - 2*f + 6166 - 897 = 0. Is d a composite number?
False
Suppose -2*h = -34*p + 28*p - 1940042, 2910087 = 3*h - 3*p. Is h prime?
False
Let k(o) = -o**2 + 26*o + 3377. Let c = 613 - 613. Is k(c) a prime number?
False
Let v(g) = -g**2 + 12*g - 9. Let u be v(11). Let j be -5 - -8*u/4. Let s(z) = 22*z**2 + z. Is s(j) composite?
True
Suppose 0 = 72*p - 67*p + 75. Let q be (p - -17) + (-2 - -6 - -1). Let g(k) = 10*k**2 - 5*k + 24. Is g(q) a composite number?
False
Suppose -b - 3*j + 97342 = 0, -b - 12*j + 97362 = -13*j. Is b composite?
True
Let p be -27*(-609 - 2) + -1. Suppose 238*l - 179*l = 885. Suppose -l*j + p = j. Is j a prime number?
True
Is (-195019)/22*(-8)/6*12/8 a composite number?
False
Let w(z) = z**3 + z**2 + 3. Let u be w(0). Suppose 2*f - 5*y = 14566, -2*f - y = u*f - 36442. Suppose -1067 - f = -5*d. Is d a prime number?
False
Let l(j) = -3*j + 309*j**2 - 63*j**2 - 7 + 3. Let a be l(-4). Suppose 0 = -x + 9*x - a. Is x a prime number?
False
Let a be 4 + -2 - -2 - -41. Suppose 8*y - a = -y. Suppose s + 4*i - 523 = 0, y*i + 460 = 3*s - 1126. Is s composite?
True
Let p(f) = 290*f**2 + 40*f - 19. Is p(12) a composite number?
False
Let l(a) = 3989*a - 4808*a + 16 + 60. Is l(-5) prime?
False
Let j(m) be the second derivative of -m**7/840 - m**6/40 + m**5/24 + m**4/8 + 5*m**3/6 + 10*m. Let d(p) be the second derivative of j(p). Is d(-10) composite?
False
Suppose -12*l + 1710212 + 7692374 - 1541350 = 0. Is l a composite number?
False
Suppose 5*s - 130 = -120. Suppose u = k + 13283, s*u - 11369 = -2*k + 15197. Is u composite?
True
Suppose -3*k + 2 = y, -79*y = -81*y - 4*k + 6. Suppose 171 + 394 = y*f. Is f a composite number?
False
Let m(p) = 9*p**3 + 11*p**2 + 112*p - 149. Is m(33) prime?
True
Let i(r) = -404*r - 11. Let q be i(-2). Let t = -1 - 3. Is (q/t)/((-6)/(-48)*-2) a composite number?
False
Let s(w) = -152*w**3 + 8*w**2 - 27*w + 2. Is s(-5) composite?
True
Let b(m) = -4*m**2 + 12*m + 14. Let n be b(5). Let w(x) = -3*x**2 + 5*x - 5. Let h be w(4). Let o = n - h. Is o prime?
True
Let y be 4 + -8 - (1 + -16). Suppose -2*g + 4*g - w - y = 0, 0 = 3*g + w - 4. Suppose -f = f, -5*x = g*f - 2465. Is x a prime number?
False
Suppose 0 = -13*i + 111794 + 41307. Is i composite?
False
Suppose -2*t + 301*y = 302*y - 706963, -5*y = -2*t + 706933. Is t composite?
True
Suppose 24*p + 159*p = -30*p + 19443279. Is p a prime number?
True
Suppose -m + 2*o = -8707, -5*m = -2*o - 3*o - 43530. Suppose k = 1, -i + 4*k - 2*k = -m. Suppose -5*u + i = y, 0 = 2*y - 4. Is u prime?
True
Suppose -24 = 4*v, c - 2831 - 165936 = 3*v. Is c composite?
True
Let a be (2/4 - 9/2)/2. Let l be 374 - (-5 - (a + -1)). Suppose -3*o + 5*n + 306 = 0, 4*n = -o - 3*o + l. Is o a prime number?
True
Let d(c) = 5*c**3 + 21*c**2 + 2*c + 9. Let h(q) = q**3 - q**2 + q + 1. Let m(w) = -d(w) + 4*h(w). Is m(-27) a prime number?
True
Let s(q) = -5 - 8*q - 10*q**2 - 6*q**2 - 2 + 15*q**2. Let h be s(-7). Suppose -7*b + 3*b + 852 = h. Is b a prime number?
False
Suppose 51*v + 20 = 56*v. Suppose 0 = -3*u + w - 6, v*w = -0*w. Is (-4)/(-2)*(1358/4 - u) composite?
False
Suppose 2*v + 3*o = 3295, 2*v - 2369 - 931 = -4*o. Suppose 0 = -5*d + 15, 0 = -2*u + d - 14 + 13. Is (-2 - (u - v)) + 2 composite?
True
Let c be (-1 + 2 + -1)*-1. Suppose 0 = 2*p - 3*o + 7, c*o + 10 = 2*o. Suppose -889 = -7*r + p*r - 5*s, 3*r - 5*s - 869 = 0. Is r a composite number?
False
Let f(n) = 294*n - 119. Let k be f(23). Let c = k + 1560. Is c a prime number?
False
Suppose 31*q - 25*q = 60. Suppose 13*l = q*l + 1923. Is l composite?
False
Let d be 2/(3 + (-161)/54). Suppose -4*g = g + r - d, 3*r - 9 = 0. Is g/14 + 587/2 a prime number?
False
Let t be (-14)/84 + 1057/6. Suppose -12*n + 5948 - t = 0. Is n a prime number?
False
Let g(f) = -2123*f**2 + 7*f - 9. Let h be g(2). Let i = 12130 + h. Is i a prime number?
True
Let b = -44624 + 13449. Let z = -16416 - b. Is z a prime number?
True
Suppose 3*u = 5*c + 15 + 35, -2*c = -5*u + 58. Suppose -u*v = -721 - 6289. Is v composite?
False
Let c(l) = 636*l + 65. Let o = 574 + -557. Is c(o) composite?
True
Suppose y + 3 + 1 = 0. Let b be -1 + (0 - (0 + y)). Suppose 60 = -b*l + 333. Is l a composite number?
True
Let c be 10*(-6)/(-12) - 1419. Let t = c + 2925. Is t composite?
False
Suppose -5*u - 5*i = -986890 - 1687120, 2*u = i + 1069595. Is u composite?
False
Suppose -287 + 17 = 5*o. Let c be (-8)/20 + o/(-10). Is ((-1)/c)/((-5)/7325) composite?
False
Let p(n) be the second derivative of -67*n**3/6 - 12*n**2 + 2*n - 284. Let h be -10 - (-1 + -1 + 3). Is p(h) prime?
False
Suppose 36*d - 595920 + 146856 = 0. Suppose 0 = 10*y + d - 69164. Is y a prime number?
True
Let l(x) = 885*x + 20. Let o(i) = i**2 + 16*i + 69. Let n be o(-6). Is l(n) prime?
False
Let k(c) = 6*c**3 - 10*c**2 + 25*c - 10. Suppose 0 = 64*b - 61*b - 21. Is k(b) a prime number?
True
Let o(z) = 283*z**2 - 14*z - 63. Let v be o(-5). Let y = 16849 - v. Is y a composite number?
False
Let b(p) = -5956*p**2 - 6*p - 51. Let o be b(-4). Let r = 166886 + o. Is r composite?
False
Let b(w) be the first derivative of w**2/2 + 20*w + 14. Let h be b(-18). Let m(g) = 36*g**3 + g**2 - g + 3. Is m(h) composite?
False
Suppose 2*n - 77 = s, 0*s + 5*s = -n - 440. Let c = 2546 + s. Is c composite?
False
Suppose -16 - 12 = -7*u. Suppose -4 = 4*k, -5147 = -2*m - u*k + 1579. Suppose -5*j - m = -4*s, 3*s - 3*j - 2530 = 2*j. Is s a composite number?
True
Suppose -555*t + 553*t = -5*g - 1330710, 0 = -5*g - 20. Is t composite?
True
Let d(x) be the second derivative of -x**4/12 - 11*x**3/6 + 28637*x**2/2 + 3*x + 8. Is d(0) a composite number?
True
Is (-43200)/(-14) + (-730)/1022 composite?
True
Suppose -2*w = -5*s + 327331, s + 34*w - 65475 = 30*w. Is s a composite number?
True
Suppose -5*q + 4*g = -1460770, 584308 = -34*q + 36*q - 5*g. Is q a composite number?
True
Suppose w + 214*z = 217*z + 3263, 4*z - 16239 = -5*w. Is w a prime number?
True
Suppose -303*g + 317*g - 322 = 0. Let n(z) = 22*z**2 - 15*z + 256. Is n(g) composite?
False
Let v(b) = -173*b - 69. Let o be v(-8). Suppose o = -8*d + 14451. Is d a composite number?
True
Let m be (-224)/(-22) + (-1 - (-9)/11). Suppose -47255 = m*