*a = 20 - 14. Suppose -124 + 12937 = a*m. Is m prime?
True
Suppose 1086311 = -699*w + 728*w. Is w a composite number?
True
Let h(y) = -6 - y + 5 + 1 - 12. Let g be h(-14). Suppose g*b + 3*f = 422 + 216, 4*f - 319 = -b. Is b prime?
False
Let n(u) = -u**2 - 4*u - 14. Let d be n(-7). Let i be (301/d + (-2)/5)*19. Let m = 442 + i. Is m a prime number?
True
Suppose -111*v = -141682326 + 22897785. Is v composite?
False
Suppose -3*s - 3727 = -2*g + 12678, -3*s - 32813 = -4*g. Let l be 1 + 740 - ((-150)/(-10) - 11). Let u = l + g. Is u a composite number?
False
Suppose -9*w - w = 55090. Is (w/(-21))/(1/15) a prime number?
False
Let r(p) = 700*p + 74. Let x be r(3). Suppose 5*k + 60 = 5*q, -q - 16 = -2*q + 3*k. Suppose -q*s = -x + 64. Is s a prime number?
True
Let c(b) = 17*b**3 - 20*b**2 + 269*b - 23. Is c(14) composite?
False
Suppose -262*x = 6320690 - 46226172. Is x a prime number?
True
Let j(n) = -n - 8. Let f be j(-8). Let p be -5 + f + 8 + 24/2. Is 53568/p + ((-3)/15 - 0) composite?
False
Let a(i) = -i**3 + 6*i**2 + 10*i - 8. Let f(g) = g**3 + 6*g**2 + 7. Let o be f(-6). Let u be a(o). Suppose 0 = 15*j - u*j - 794. Is j prime?
True
Let y be (-1 + -5)*3/(-9). Let q(k) = -11*k**2 + 102*k + 2. Let p be q(4). Suppose -5*s + s + p = y*l, -4*s + 361 = 3*l. Is l a prime number?
True
Suppose l - 4*j + 0*j - 1 = 0, 4*l - 21 = -j. Suppose 0 = 10*s - l*s + 5*x - 19795, -5*s + 4*x + 19813 = 0. Is s a prime number?
False
Suppose 2*y = 10*y - 288. Let p be ((-8520)/y)/((-4)/6). Let n = p + 24. Is n a prime number?
True
Let i(n) = 125374*n**2 - 74*n + 145. Is i(2) composite?
False
Suppose 4*c + 3*k - 13 = 0, -c - k = 3*c - 15. Suppose -c*v + 5*v = -3*v. Suppose -6*m + 3*m + 633 = v. Is m prime?
True
Let l(v) = -v**2 - 3*v + 7. Let o be l(-4). Suppose o*s = -12, -k = 2*s - s - 1. Suppose k*x = -6 + 1, 2*r + 2*x - 2760 = 0. Is r a composite number?
False
Suppose 1551253 = 3448*g - 3437*g. Is g a composite number?
False
Suppose -4*g + 72 = -2*b, 24*b - 29*b = -10. Let w be (0 + 1)/1 + 653. Suppose -5*f = g - w. Is f a prime number?
True
Suppose 4*y + 3*i - 9 = 0, -4 = -4*y + i + 9. Suppose -3*z + 21 = -0*n + y*n, -4*z = -n - 13. Suppose -n*u - 136 = -4*a + 627, -5*u = 2*a - 349. Is a prime?
False
Suppose -55*r + 908 - 2008 = 0. Let h(m) = m + 1. Let z be h(2). Is 3*(-2)/z*8950/r composite?
True
Suppose -4*f = 5*k - 8053, 3462 - 242 = 2*k + 2*f. Let b be -1 + (k - (3 + 0)). Let l = b + -915. Is l a prime number?
False
Suppose 0 = 5*y + u - 96, -2*y + 4*u + 88 = 32. Suppose 2108 = 3*i + i - d, y = -5*d. Is i a prime number?
False
Suppose 0 = -8*w - 26 - 14. Is (-5)/(15 + w)*-838 a prime number?
True
Let r(f) be the first derivative of -f**4/4 - 5*f**3/3 + 9*f**2 - 26*f + 188. Is r(-11) prime?
False
Let c = 164220 + 286397. Is c a prime number?
True
Let z(k) be the second derivative of k**4/6 - 4*k**3/3 + 8*k**2 - 23*k. Let m be z(-6). Suppose 0 = -4*h - m + 1152. Is h composite?
True
Let p = -52 + 62. Suppose p*o = 6*o + 36. Suppose 0 = -7*k + o*k - 38. Is k a composite number?
False
Suppose 82*c + 140*c = 29*c + 106157527. Is c a composite number?
True
Let t(z) = 286*z + 4. Let h be t(3). Let b = 469 - 115. Suppose -h = -4*m - b. Is m composite?
False
Let n be (40/8 + -10)/(-3 - -2). Suppose v = n*z + 3969, -5*v + 9933 = -5*z - 9992. Is v composite?
False
Let i(j) = 88*j + 6 - 10*j + 29*j - 65. Suppose -t + 0*t = -14. Is i(t) prime?
True
Suppose -109*z + 291799 - 21152 = 0. Is z a composite number?
True
Let b = 178247 + -106108. Is b prime?
True
Suppose 0 = 88*y - 207*y + 4605181. Is y prime?
True
Suppose c - 2*c + 20 = 0. Suppose -2*b + c = -4*d - 4, 4*b = 3*d + 28. Suppose b*h - 1758 = -2*h. Is h composite?
False
Suppose 4*r = -4*v - 140, 0 = 4*v - 2*v + 5*r + 64. Let q = -36 - v. Is 6/(2 + q - (-109)/(-37)) composite?
True
Let s(x) = -92*x**3 + 16*x**2 + 23*x + 533. Is s(-16) composite?
True
Let v(r) = 48*r - 14. Suppose 42 = -11*u - 13. Let o be v(u). Let f = 439 + o. Is f composite?
True
Let l = 2009238 + -272231. Is l composite?
False
Suppose -2*y + 22 = y - 5*f, f = 5*y - 22. Suppose 0 = 4*b + 8, 11 = 4*s + 2*b - 1. Suppose s*m + p = -y*p + 2442, -2454 = -4*m + p. Is m a composite number?
False
Suppose 11045076 = -241*s + 325*s. Is s prime?
True
Let b(l) = 97*l + 149. Let i be b(-28). Let c = i - -12762. Is c prime?
False
Suppose -8*l + 174638 = 11*l - 59271. Is l a composite number?
True
Let y(n) be the first derivative of 19*n**3/3 + 31*n**2/2 - 13*n - 2. Is y(-8) a composite number?
True
Suppose 87*a = -4*x + 83*a + 1755976, -x - 2*a = -438985. Is x a composite number?
True
Suppose 4*m - i - 12176 - 250764 = 0, 2*m - 131470 = 3*i. Suppose 21*q = 16*q + m. Is q prime?
True
Let s = 10663 - -14064. Is s composite?
True
Let n = 21047 + -5281. Suppose 2*y + n = 4*o - 0*y, 2*y = 5*o - 19707. Suppose -i + f - 285 = -1601, 3*i = -4*f + o. Is i composite?
True
Suppose 2 = -c, -3*c = 3*f - 5*f + 26. Suppose -5*i + f*i = 10. Suppose -4*d - 680 = -4*o, 3*o + i*o - 838 = d. Is o a composite number?
False
Let k(r) = r**2 + r - 4. Let q be k(-2). Is q*(-14987)/7 + -1 prime?
False
Let z(k) = 239*k**2 - 4*k - 62. Let d be z(-7). Is (0 - d)*(-5)/5 prime?
True
Let i(y) = 2*y**2 - 6*y + 8. Let m be i(3). Let c(x) = 7*x - 48. Let n be c(m). Suppose -n*z - 2178 = -5810. Is z composite?
True
Is -7 + (6 - -7)/(-13) + (622935 - 0) a composite number?
False
Let j(i) = 2*i**2 + 308*i + 92779. Is j(0) composite?
False
Let g = 20 - 26. Let y(r) = 34*r**2 - 15*r + 13. Is y(g) prime?
True
Suppose 45969399 = -115*w + 253*w - 75*w. Is w a composite number?
True
Let o = 1985 + 760. Let f = o - 5222. Is f/(-6) - (-10)/60 a prime number?
False
Suppose -27*v = -7 + 7. Suppose v = 4*u - 2*s - 14646, 4*u - 18*s - 14621 = -21*s. Is u a prime number?
True
Let d = 103 - 193. Let l be 17012/9 - (-20)/d. Let b = l - 935. Is b composite?
True
Let i(b) = b**3 + 90*b**2 - 92*b + 28. Is i(41) a composite number?
True
Suppose 4*r = 9*r + 54*r - 74753531. Is r composite?
False
Suppose -3*l = 4*f - 249, f + 2*f + 4*l = 185. Suppose -7*p = -42 + f. Let d(x) = -19*x**3 - x**2 - 2*x + 7. Is d(p) composite?
True
Let l = 1338 - 645. Suppose -3*t + 1308 = -5*c, 4*c - 157 = -2*t + l. Is t composite?
False
Is (-2 - -118)/(168/15078) a prime number?
False
Suppose 0 = 3*r - 4*m - 202813, 4*r = -2*m + 74522 + 195888. Is r a composite number?
True
Let p = 5438 - 5039. Let d = 815 - 533. Suppose -m = -d - p. Is m composite?
True
Let r(l) = 67*l**2 + 87*l + 19. Let c be r(33). Suppose c = 23*n + 4714. Is n a composite number?
True
Suppose -5*l = -t - 5303, -5*t + 3259 = 4*l - 995. Is l a composite number?
False
Is ((-16)/(64/2))/(1 + (-533390)/533388) a composite number?
True
Let v(w) = w**2 + 8*w + 6. Let y be v(-8). Suppose -738 = -n + y. Let m = n + -451. Is m prime?
True
Suppose 0 = 6*k - 3*k - 11664. Suppose -3*p + 5857 = -5*b, -3*b - 2*b + k = 2*p. Is p a composite number?
False
Suppose -38327 = -4*y + 3*l, 27*y - 152013 = -3*l + 106857. Is y composite?
False
Suppose 4*u + 23 = 5*i, 0 + 10 = 4*i + u. Suppose -56*k + 53*k + 3*w + 1080 = 0, -i*k - 2*w = -1090. Is k composite?
True
Let k(h) = h**3 - 5*h**2 - 7*h + 8. Let v be k(6). Suppose -3*p + 26660 = z, -6*z - 17769 = -v*p - 11*z. Is p composite?
False
Is (-8)/36 - (579334/(-18) - -16) composite?
True
Suppose 34 = 2*s - 5*s + 2*r, 4*s - r + 52 = 0. Let l = s - -20. Suppose l*o - 7*o = -263. Is o prime?
True
Let j = -19176 - -2901. Let r be (j/10 + -1)*2. Let s = -1419 - r. Is s a prime number?
False
Let s be 1/(-1) - (-6 + -3). Suppose w = 3*u + 15436 + 12559, 0 = 4*u - s. Is w composite?
False
Suppose 4*n - h = -42643, -4*h - h - 25 = 0. Is 3*(-7)/(42/n) a composite number?
True
Suppose 1794 = 3*f + 5*g, 0 = -2*f - 2*g + 1966 - 770. Suppose h - 393 - f = 0. Is h composite?
False
Let r = 9 + -9. Suppose r = k + 18 + 132. Let w = k + 851. Is w a prime number?
True
Suppose -5*c + 2948 + 5984 = 3*l, 3*c - 5348 = l. Let v = -1082 + c. Let n = v - 385. Is n prime?
True
Let a(g) = 287*g**2 + 2*g + 2. Suppose 2 + 5 = -7*h. Let x be a(h). Is (-3 - 1) + 4 + x a prime number?
False
Let h(w) = 3*w**3 - 3*w**2 + 12*w + 51. Let c be h(-6). Let l = c - -1108. Is l a composite number?
False
Let z(r) = -21896*r - 21219. Is z(-10) composite?
False
Let l = -1911 - -7619. Let