6 + 128. Let d = -520 - v. Let s = d + 1356. Is s a prime number?
False
Let c(t) be the second derivative of 30*t**3 + 2*t**2 - 7*t. Let f be c(-2). Let w = f - -1191. Is w prime?
False
Let t(l) = l - 9. Let g be t(0). Let f be (12/10)/((g/10)/3). Is (((-10380)/8)/(-5))/((-3)/f) composite?
True
Let l = 789 + -1656. Let g = l - -1286. Is g a composite number?
False
Let t(x) = -19 + 28*x + 17*x + 8*x**3 - 35*x. Let i be t(10). Suppose -16*v = -14303 - i. Is v prime?
True
Let c be (-2)/4 - (-19)/38. Suppose 5*j + 4847 = 2*v, -5*v + 2*j - 3381 + 15446 = c. Is v a composite number?
False
Let d(v) = 83872*v - 3013. Is d(11) composite?
True
Let v be -3 + 1/((45/74200)/9). Suppose v = 13*x - 27374. Is x a composite number?
True
Is 333015/(-30)*(-3)/(45/10 - 3) composite?
True
Suppose -6 = -3*i + 3*j - 78, -3*j - 96 = 3*i. Let h = i + 34. Let x(y) = 13*y**2 + 7*y + 1. Is x(h) a composite number?
True
Suppose -4*a + 142009 + 107125 = 2*n, 0 = a - 2*n - 62271. Is a a prime number?
False
Is 1 - 18 - (-5166528)/213 a prime number?
True
Let u = 14197 - 8912. Let g = u + 5804. Is g a composite number?
True
Let z(w) = 34*w**2 + 1269*w - 122. Is z(-73) composite?
False
Let t(d) = -14*d**3 - 3*d**2 - 13*d - 1. Let r be t(-4). Suppose -29*q + r = -220719. Is q composite?
True
Let t = 1026 - 307. Is t prime?
True
Let y be 2730/50 + (-12)/20. Suppose y*t = 49*t + 29090. Is t a composite number?
True
Suppose 0 = 19*u - 5*u - 82362. Let t = u - 30744. Is 2/(-5) - 9/(135/t) a prime number?
True
Let t(g) = -3*g**2 - 112*g - 37. Let o be t(-37). Suppose -13*n - 7251 + 29884 = o. Is n a prime number?
True
Let g(s) = -549*s + 13. Let w be g(-6). Let j = -1617 + w. Let l = j + -1139. Is l composite?
True
Let w(v) = -v**2 - 60*v - 72. Let u(t) = 2*t**2 + 122*t + 145. Let f(m) = -2*u(m) - 5*w(m). Is f(31) a composite number?
False
Suppose 0*k = 4*k - 4*d + 16, 0 = 3*k - d + 4. Suppose 5*t = -5*p + 28220, k*p - 11293 = -2*p - 3*t. Is p composite?
False
Is 566758/2 + (0 - (-80)/(-8)) a composite number?
False
Let y = -30 + 32. Suppose 3*u + 9*t - 4996 = 4*t, -3332 = -y*u - 2*t. Suppose 4*p + 15 = -p, f - 4*p - u = 0. Is f composite?
True
Let n(r) = 25576*r**3 + 12*r**2 - 2*r + 3. Is n(1) prime?
True
Let x(z) = -7*z - 5. Let g be x(-7). Let c = g - 42. Is c/1*8905/10 a composite number?
True
Let z = 168 - 165. Suppose w = -5, z*a + 5*w = -a + 4131. Is a composite?
False
Let t = 510542 + -302755. Is t a prime number?
False
Suppose -145*m - 26 = -158*m. Suppose -34970 = -m*s - 2308. Is s prime?
False
Suppose -3*w = 2*k - 10, 2*w - 20 = -3*w - 5*k. Let i be ((-1)/w)/(3/(-426)). Suppose i + 2908 = 9*h. Is h prime?
True
Suppose 4*z = 9*z - 10. Suppose 0 = z*l - l + 3*b - 9236, 2*l - 3*b = 18445. Is l a composite number?
False
Let o be -8*((-33)/(-6) + -6). Suppose 8 = -o*j, -j - 3*j + 979 = 3*t. Is t prime?
False
Suppose -3*n = 4*n - 421288. Suppose -7*u = -2*u - k + n, 4*u - k + 48148 = 0. Is u/(-180) - (-2)/15 prime?
True
Let i(f) = -f**3 - 14*f**2 - 39*f + 10. Let p be i(-10). Suppose p = 19*r - 30*r + 6457. Is r prime?
True
Let a(s) = 1845*s**2 + 2. Is a(-1) a composite number?
False
Let o be -607*(-10 - 0) - -7. Suppose 5600 = j - o. Is j prime?
True
Let d(q) = 3*q - 21. Let a be d(9). Suppose -a*w - 8 + 2 = 0. Let c(b) = -130*b - 3. Is c(w) a prime number?
True
Suppose -17*n = -14871529 + 823578 - 3243582. Is n a prime number?
False
Let z(i) = -52*i**3 + i**2 + 2*i - 2. Let f be z(1). Let c = 54 + f. Let t(p) = 153*p - 13. Is t(c) composite?
True
Suppose -19 = n - 5*q, 4*q - 26 = 5*n + 2*q. Is (3 + 1442 - 4)/(n/(-4)) a composite number?
True
Let g(d) = 11870*d + 1961. Is g(18) a prime number?
False
Let u(q) = -q**3 - 14*q**2 - 7*q + 18. Let w be u(-13). Let a = -58 - w. Is (-1897)/(-9) + (a - 32/18) a prime number?
True
Is -587987*(3/6)/(12/(-8) - -1) a composite number?
False
Suppose 0 = 2*a - 5 - 1. Let x be (26/(-4))/(16/(-544)). Suppose a*y = 532 + x. Is y a prime number?
True
Let o = 45275 - 27072. Suppose -22*x + o = -12641. Is x prime?
False
Let o(d) = -344*d**3 + 64*d**2 + 6*d + 29. Let y(x) = -229*x**3 + 41*x**2 + 4*x + 19. Let r(v) = -5*o(v) + 8*y(v). Is r(-5) prime?
True
Let v = -2825 - -1627. Let r = 5889 - v. Is r composite?
True
Suppose 3*b - 4*b = -5*r - 496762, -r = -9. Is b a composite number?
True
Let q(y) = 22*y**2 - 4*y + 41*y**2 + 0*y - 7 + 22*y**2. Let s(w) = 255*w**2 - 11*w - 20. Let o(r) = -11*q(r) + 4*s(r). Is o(2) a composite number?
False
Is (150/(-30)*(-2)/25)/((-6)/(-426945)) a composite number?
False
Suppose -2924643 = 56*s - 12763115. Is s a composite number?
False
Let q be (-2 - -5)/(2/(-4)). Let r be (-5)/(-2)*(q - -184). Let l = -300 + r. Is l composite?
True
Let q(s) = 2418*s**2 + 34*s - 287. Is q(-15) composite?
False
Let h be (8/(-30)*3)/((-24)/(-60)). Is (-6367)/((0 - h)/(-4)) a composite number?
True
Let i(g) = 27*g**3 + 3*g**2 + 3*g + 4. Let j be i(4). Let s be 743*(-4)/8*-2. Let h = j - s. Is h a composite number?
False
Let l(w) = -18*w**2 + 2. Let q(x) = 37*x**2 - 3. Let z(o) = 5*l(o) + 3*q(o). Let r be ((-6)/(-15))/((-81)/(-405)). Is z(r) composite?
True
Suppose 14633933 = -2105*d + 1065*d + 1059*d. Is d a composite number?
False
Suppose 12 = 2*q + b + 3, 4*b = q + 18. Suppose 5*x - 3155 = -5*n, q*x + 2*n = -2*x + 2524. Is x prime?
True
Suppose -5*t - 3*a = -21524, 4*t + 4*a - 7601 = 9615. Suppose k - t = -k. Suppose -63*l + 62*l = -k. Is l composite?
False
Let s(t) = -t**2 + 10*t + 26. Let x(j) = 2*j**2 + 2*j. Let b be x(3). Let f be s(b). Let k = 608 + f. Is k composite?
True
Let b = 1803 + -337. Suppose -5*k + 1309 = -b. Suppose -6*p + 2061 = k. Is p prime?
True
Suppose -f + 641527 = 2*f + 4*z, -5*z + 20 = 0. Suppose -19*d = 20*d - f. Is d a prime number?
True
Let u(a) = -a**3 - 5*a**2 - 73*a + 590. Is u(-27) a composite number?
True
Suppose 212*y = 216*y - 133636. Suppose y = 10*i - 3701. Is i composite?
True
Suppose -b - 40437 = -3*y, -4*y - 4*b + 48230 = -5670. Let g = -8401 + y. Is g a composite number?
False
Let k = 2235307 - 1314402. Is k a prime number?
False
Let y(z) = -28 + 48*z + 33*z + 3 + 216*z. Let g be y(15). Is g/6 + (-6)/(-9) a prime number?
True
Let n = -656 + 668. Is 20/n + (-61616)/(-24) prime?
False
Let q = -13 + 10. Let t be (-50)/(-15) + q/9. Suppose -2*v = t*a - 599, 2*a = 2*v + 333 + 83. Is a prime?
False
Is (-596052)/(-2 - 10) - -10 a composite number?
False
Suppose 58*n = 31516253 + 1073296 + 24513713. Is n prime?
True
Is -3*(259502/(-18) - -1)*51/34 prime?
True
Let i(t) = 6 + 160*t - 414*t - 874*t - 23. Is i(-1) a composite number?
True
Let q = -1 - -25. Let z(c) be the first derivative of -c**4/4 + 26*c**3/3 - 20*c**2 - 31*c + 2. Is z(q) composite?
True
Suppose d = -4*v + 94, -4*v - 4*d = v - 112. Suppose 0 = -5*i - 5*m - 10, 0*i + i + 3*m = -2. Is 9/v*i*-92 a composite number?
True
Let i(d) = 2*d**2 - 10*d + 21. Let x(p) = p**2 - 9*p + 21. Let f(v) = 5*i(v) - 6*x(v). Suppose -60*t = -69*t + 117. Is f(t) a prime number?
False
Let k(v) be the first derivative of -2433*v**4/2 + 5*v**3/3 + 3*v**2 - 3*v - 192. Is k(-2) prime?
True
Let l be 284/16 - 2/(-8). Let b be 0 - -2*(-2 - l/(-4)). Suppose -p = -b*w - 1151, p = -3*w + w + 1137. Is p a composite number?
True
Let q be (-218295)/(-20) + -1 + 3/(-4). Suppose 2*a = 3*o - 10239, 4*o - q = 4*a + 2739. Is o prime?
True
Suppose -145144 = 15*z - 579814. Is z a composite number?
True
Let v(h) = -1268*h + 899. Is v(-3) a prime number?
True
Suppose 810*c + 131325165 = 945*c. Is c prime?
False
Let j = 9381 - -55270. Is j prime?
False
Let y be (-3)/(-6)*0/(-2). Suppose y = -29*c + 126754 + 50175. Is c a prime number?
True
Let q(z) = -3*z**3 - 5*z**2 - 13*z - 14. Let x be q(-4). Is (60/x - (-69)/(-10))*-1418 prime?
False
Suppose 3*i - 5*r - 11 = 7, -i + r = -6. Let j be (-12 + 0)*(-2)/i. Suppose 0*n = -j*n + 3*m + 2953, 2*n = -3*m + 1481. Is n prime?
True
Let o(u) be the third derivative of 553*u**5/12 + u**4/3 + 33*u**2. Let r(n) = 922*n**2 + 3*n. Let k(w) = 6*o(w) - 17*r(w). Is k(1) a composite number?
True
Let l(w) = -w**3 - 15*w**2 - 9*w - 15. Let h be l(-20). Let f = h + -1188. Is f composite?
False
Let l = -4 + 9. Suppose 5*b - 41713 = -3*u, 28*u + 13891 = 29*u - l*b. Is u prime?
True
Suppose w + 21550 = 5*u, -4*w = -u - 3*w + 4314. Suppose u = 5*i + 4*a, -