 -8 + (-20)/(-5) a prime number?
False
Let k = -110706 - -160135. Is k composite?
False
Let z(q) = 5254*q**2 - 2*q - 9. Let f be z(-2). Suppose 2*v - v = d - 5254, f = 4*d - 3*v. Is d a prime number?
False
Suppose -1145739 - 471232 - 10022534 = -249*c. Is c composite?
True
Suppose 0*s = 12*s - 36. Let t be s - -2 - (0 + 2). Suppose -r + t*v - 296 = -5*r, -4*v - 16 = 0. Is r prime?
False
Suppose -5*m - 124428 = -3*s + 234254, -4*s + 478189 = m. Is s composite?
False
Let i be ((-50)/125)/(8/3295)*8. Let q = i + 2975. Is q composite?
False
Suppose 526*i = 545*i - 357941. Is i a prime number?
True
Suppose -a = 2*q - 18, 2*a - 4*q = q + 18. Suppose 4*x + a*x = 20862. Is x composite?
True
Let y be 12238/9 - 32/(-144). Let k = y - 669. Is k a composite number?
False
Suppose 4*d + 6*w - w + 47 = 0, -2*d + 2*w - 46 = 0. Let a be (-34)/(-153) + (-14)/d. Is 10856/8 - (a - 5) composite?
False
Suppose -14*r + 16*r - 4 = 0. Suppose 5*b - 56 = -d, -3*d + b + r*b = -258. Let w = d + -22. Is w prime?
True
Let i be (-4)/6 + (-14)/(-3). Suppose i*l = -5*w + 5*l - 95, 2*w + 3*l = -55. Is w/15 - 102830/(-6) composite?
False
Let c = -276 + 279. Suppose -7*r + 4*x = -c*r - 5024, -4*x - 1265 = -r. Is r a prime number?
False
Suppose 129*f - 376321 = 118*f. Is f prime?
True
Suppose 5*k - 20 = 0, -7 - 3 = n - 5*k. Suppose n*y + 6400 = -6*y. Let s = y + 2331. Is s a composite number?
False
Let z(y) = 1282*y + 19. Let j be z(-5). Let v = j + 13170. Is v a prime number?
True
Let s = -67347 - -122540. Is s composite?
True
Let m = -19627 - -12935. Let s be (m/56)/(6/(-4) + 1). Suppose 0 = -4*h - 4*r + 172, 0*h = 5*h - 3*r - s. Is h composite?
True
Let v(p) = 258453*p - 1798. Is v(3) a prime number?
True
Let y(q) = 124*q**2 + 10*q - 37. Let w be y(4). Suppose -5*t + 5*r + 1995 = 0, -3*r = -5*t - 2*r + w. Is t a prime number?
True
Let n = 65466 + -33395. Let b = -3134 + n. Is b a composite number?
True
Let r(c) = 964*c**2 - 22*c - 11. Is r(-5) prime?
False
Let d(a) = -1503*a**3 - 7*a**2 - 58*a + 347. Is d(-14) a prime number?
False
Suppose -2379918 - 9667722 = -40*f - 80*f. Is f a composite number?
True
Suppose p + 52 - 68 = 0. Is ((-6068972)/p)/(-7) - (-12)/(-48) a composite number?
True
Let p(a) = -18*a - 12. Let z be p(-4). Let s be (204312/z)/(2/20). Is s/52 + 8/52 prime?
False
Suppose -2*c - 2*o = -12060, 8*c + 4*o + 24112 = 12*c. Is c composite?
False
Let z = 3553 - 284. Suppose 16289 = 5*q - 4*j, -4*q + 5*q + 2*j - z = 0. Is q a prime number?
False
Suppose r - 12 = -2*r. Let l(x) = -66*x + 11. Let o(d) = d + 1. Let u(b) = -l(b) - 4*o(b). Is u(r) prime?
True
Let h = 149 - 145. Suppose -11*v + h*v + 12131 = 0. Is v prime?
True
Let t(o) = -80*o**2 - 15*o + 5. Let f(v) = 158*v**2 + 29*v - 10. Let g(j) = -2*f(j) - 5*t(j). Is g(8) composite?
False
Let i = 262 + -253. Is (-24069)/(-9) + -6 + 6/i composite?
True
Let m(g) = 1643*g**2 + 19*g + 51. Is m(5) a prime number?
True
Suppose 5*t - 109446 - 39114 = 24725. Is t prime?
False
Suppose 16 = 19*g - 11*g. Suppose 2*j - w = 2*w + 961, -g*j - 3*w = -955. Is j a composite number?
False
Suppose 21*f + 13769 = 14*f. Let r = 9636 + f. Is r composite?
False
Suppose 20 = 5*d + 3*j, 6*d = 4*d + 5*j + 8. Is (1/d)/(5 - 150459/30092) a prime number?
True
Is ((-2705878)/(-21))/((-38)/(-57)) a prime number?
False
Let x(k) = k**2 - k - 5. Let h be x(0). Let v(u) = 4*u + 21. Let q be v(h). Is 3415/3 - q/3*-2 composite?
True
Suppose 0 = 4*f - 2*l + 13396, 5*f = 3*l - 18104 + 1358. Let j = 5394 + f. Suppose 2*q - j = -4*x, 2*q - 2054 = 4*x - 6*x. Is q a prime number?
True
Let z(d) = 23*d**3 - 29*d**2 + d + 382. Is z(19) a prime number?
True
Suppose -5*d - 6*z + 2*z = -57717, 5*d - 57690 = 5*z. Is d a composite number?
True
Let n = -740 - -1912. Suppose -s = -392 + n. Let t = -373 - s. Is t prime?
False
Suppose 4*p + 5579 = x, 0 = -45*p + 44*p - 3*x - 1385. Let l = -181 - p. Is l a composite number?
False
Suppose -157797 = -58*f + 51*f + 642086. Is f composite?
False
Let g(s) = -s**2 - 6*s. Let f be g(-7). Let m = 11 + f. Suppose -5*y - m*c = -5759, -y + 0*c = -c - 1150. Is y a prime number?
True
Let a = 101 - -8. Let w = a - 107. Suppose -762 = -w*f + 2*g, 2*f + 2*g - 477 - 293 = 0. Is f a composite number?
False
Let q = -59 + 64. Suppose 2*t = w - 1, -20 + q = 5*t - 5*w. Let j(i) = 708*i - 13. Is j(t) prime?
False
Let k(j) = 189609*j + 959. Is k(12) a prime number?
False
Let z be (2*(-4)/(-16))/((-1)/(-6)). Suppose -18332 = -i - 3*c, -z*i + 3*c + 77319 = 22335. Is i composite?
False
Let g = -49 - -66. Suppose -17 = -2*v + g. Suppose -15*j - 1678 = -v*j. Is j composite?
False
Let g(b) = 2*b**3 + 10*b**2 - b. Let m be g(-5). Suppose -m*c + 1083 = -1632. Suppose 0 = 2*j - c - 13. Is j composite?
True
Let m(b) = 22794*b**2 - 63*b + 529. Is m(8) a composite number?
False
Let m(j) = 29*j**2 + 8*j. Let h be m(9). Let g = -170 + h. Is g composite?
False
Suppose -3*r + 532235 = 3*q - 1034119, 0 = 4*q + 2*r - 2088462. Is q a prime number?
True
Suppose 7026 = 3*i - 2*r, 3*r = -i - 3*i + 9351. Let l(p) = 134*p**2 + 2*p + 18. Let t be l(-5). Let o = t - i. Is o a composite number?
True
Is -1880826*((-1274)/84 - -15) composite?
False
Let y(k) = 37*k**2 + 199*k + 23. Is y(30) prime?
True
Suppose 0 = -k - 3*k + 12. Suppose 0 = -k*l - 12, h + 2*h - 5*l = 38. Suppose -h*w + 3195 = -969. Is w a composite number?
True
Let l(y) = y**3 - 14*y**2 - 8*y - 5. Let p be l(12). Let w = -322 - p. Is w a prime number?
True
Let g be (30/9 - 1) + 2/3. Suppose 5*f + 15 = 5*l, 0*l - 9 = 2*f - g*l. Is (f - -422)/(-1 - -3) a composite number?
False
Let t(u) be the third derivative of u**6/60 - 11*u**5/60 + 7*u**4/24 - 3*u**3/2 - 40*u**2. Is t(11) composite?
False
Is ((44/(-8))/(-11))/((-8)/(-846704)) a composite number?
False
Suppose 14*p - 24568 = -g + 9*p, -3 = 3*p. Is g composite?
True
Let s = -14343 + 14819. Suppose 0 = 5*p - 155 - 2255. Suppose t - p = -5*m, 5*m + 4*t - t - s = 0. Is m composite?
False
Suppose 5*c - b - 4 + 0 = 0, -4*c = 4*b + 16. Suppose -29*s + 28*s = c. Suppose p + 3*k - 773 = 0, 3*p = -s*k + k + 2359. Is p prime?
False
Let j(p) = -p**2 + 4*p. Let k be j(3). Let r be (-1)/5*k*-5. Is (r/3)/(7/413) prime?
True
Suppose 17*w - 4086 = -703. Suppose -186*n + w*n = 18707. Is n prime?
True
Suppose 6*l + 135 = -141. Let o = 53 - l. Let j = 530 - o. Is j a prime number?
True
Suppose -12*w = -11*w - 6092. Let f = w + -3655. Is f a prime number?
True
Is (85/(-425))/((-2)/96610) prime?
True
Let q = 290 - 287. Let n(c) = 9*c**3 + 3*c**2 - 6*c + 22. Is n(q) prime?
False
Let h be 6 + ((-3)/(-3)*4)/1. Is 8/h*6565/26 a prime number?
False
Suppose 4*n = -31*a + 30*a + 113085, 339207 = 3*a - 4*n. Is a prime?
False
Suppose 15*h + 57 = 102. Suppose 2*r - h*y = 17003, -2*y - 22083 + 64562 = 5*r. Is r a composite number?
True
Is 1638/238 + -8 + 1 - (-203475)/17 a prime number?
True
Let y be (3/12)/((-18)/(-142488)). Let k = 9488 - y. Is k composite?
True
Let p be 25/2*2976/(-5) - 0. Let q = -2371 - p. Is q composite?
True
Suppose 0 = -2*g - 3*b - 0 - 6, b = 3*g - 2. Let y = g + 391. Is y a composite number?
True
Let k(t) = -9*t**3 + 7*t**2 - 5*t - 25. Let i(p) = 25*p**3 - 20*p**2 + 17*p + 75. Let u(y) = -6*i(y) - 17*k(y). Is u(8) prime?
True
Let o = 82714 - 42353. Is o a composite number?
False
Suppose 4*d + 799 = 4*x + 96063, d + x - 23810 = 0. Is d composite?
False
Suppose -4*c = -4*y - 41154 + 1570794, -4*y = -c - 1529643. Is y a composite number?
True
Suppose -4*z - f + 142 = -4*f, -195 = -5*z - 5*f. Let r be (15/(-45))/(0 - 1/606). Suppose -5*d = z - r. Is d a composite number?
True
Let t = -117 + 81. Is (-2614)/(-7) + t/84 prime?
True
Suppose 4*w + 10065 = 15*w. Suppose 5*c = 5*f + w, 3*c - 530 - 15 = 4*f. Is c composite?
True
Suppose 9*z - 235 = -199. Suppose -5*n - 2*g = -5*g - 560, -z*n - 3*g + 475 = 0. Is n prime?
False
Is -3 + (-1 - -128471)/(12 + (-11 - 0)) a composite number?
False
Let l be -2 - (17/(-3) + 3/(-9)). Suppose 0 = w + x - 4, 9*x = -w + l*x. Suppose w*p + 1776 - 4681 = 0. Is p composite?
True
Let l(c) be the first derivative of 127*c**3/3 - 3*c**2/2 - 5*c + 5. Let i be 3 - -1*(-2 + -3). Is l(i) prime?
True
Let g be -1348*(8/(-20) + (-3)/(-20)). Let w(m) = 2*m**3 + m**2 + m - 2. Let t be w(1). Suppose 3*l - g = t*l. Is l a composite number?
False
Supp