 + 6*s + 6. Let m(n) = -6*o(n) - 17*r(n). Is m(g) prime?
True
Let g be (-130)/(-35) + 4/14. Suppose -g*t = 58 - 210. Is t a prime number?
False
Let m = -7 - -9. Let h = -2 + m. Suppose h = 4*n - 0*n - 328. Is n prime?
False
Suppose 0 = -w - w - 2. Let m(p) = 0*p - p - 37*p**3 - 41*p**3. Is m(w) a composite number?
False
Let z(j) = -10*j + 8. Let w be z(-6). Let r = w - 17. Is r composite?
True
Suppose 13 - 412 = -3*c. Let d = 228 - c. Is d prime?
False
Let d = 959 - 88. Is d prime?
False
Suppose -i + 37 = -0*i. Is i composite?
False
Let x = 5 - 2. Suppose x*i + 33 = 4*i. Is i prime?
False
Is (-22 + 19)/((-6)/6038) a composite number?
False
Let x be ((-1)/(-3))/(3/18). Suppose 4*y - x*y = 5*g + 60, -2*g + 4*y = 8. Let a = 5 - g. Is a composite?
False
Is -4 - (-4149)/(6/2) composite?
True
Suppose -5*t + 2*g = -81, 2*t + g = 6 + 21. Is t prime?
False
Let y(c) = c**2 + 10*c + 5. Let p be y(-9). Let t = p + 47. Is t prime?
True
Suppose o = 3*u - 380, -4*o + 3*o + 628 = 5*u. Suppose m - u = -r, -2*r = -4*r - 4*m + 260. Is r a prime number?
False
Suppose -30 = 6*y - y. Let a be (-2)/6 - (-166)/y. Let p = a - -39. Is p a prime number?
True
Suppose -3*b + n + 12 = -4*n, 4*n = -2*b + 30. Let u = b + -5. Suppose -4*a + 219 = -u*h + 5*h, 50 = a + 5*h. Is a a composite number?
True
Let g be (-1720)/45 + (-4)/(-18). Let c be g/((2/1)/1). Let y = 41 + c. Is y prime?
False
Let v(s) = s**3 + 15*s**2 - 11. Is v(-14) composite?
True
Let c = 134 + 47. Is c a composite number?
False
Let r(v) = 13*v - 1. Let c be r(1). Let z(t) = 2*t**2 + 6*t + 5. Is z(c) prime?
False
Let j = 9 - 3. Suppose y = j*y - 1115. Is y a prime number?
True
Let y = 1303 + -58. Is ((-4)/(-6))/(10/y) prime?
True
Suppose 2*k - k - 718 = -4*h, 2*k - 1381 = 3*h. Suppose 4*t - k = -274. Is t composite?
True
Let s = -8 - -11. Is 127/(9/s - 2) a composite number?
False
Let t = 76 - -255. Is t a prime number?
True
Let v = -1 + 9. Let k be (28*-6)/((-12)/v). Suppose -3*s = -4*y + 35 + k, 0 = 2*y + 3*s - 51. Is y a prime number?
False
Suppose 5*u + 3*k - 55 = 0, 2*u - u - 19 = k. Let q(x) = -4*x**3 - 2*x**2 + 2*x - 3. Let h be q(-3). Let c = h - u. Is c composite?
False
Is 3 + -5*(-8)/100*210 composite?
True
Let z = 1667 + -1026. Is z prime?
True
Is -3 + 2 + (95 - -1) composite?
True
Let c = 2 + 2. Suppose -c*y + 148 = 44. Is y composite?
True
Let a = 2396 - -578. Is a a composite number?
True
Let h(d) = d**3 - 4*d**2 - 6*d + 7. Let z be h(5). Suppose 0*y = y - 1, z*m - 54 = 2*y. Let o = m - 19. Is o a prime number?
False
Suppose 4*m = 5*v + 6612, -2314 - 5946 = -5*m + 5*v. Suppose 0 = -4*r + m + 208. Suppose b + 5 = -0*b, 4*c + 4*b - r = 0. Is c composite?
True
Let u(p) = 60*p**2 + 3*p + 5. Is u(6) composite?
True
Let i(o) = -o**2 - o - 3. Let r(s) = -s**3 + 2*s**2 + s + 2. Let p be r(3). Let l be i(p). Is (-10)/l*27/2 a prime number?
False
Let h(z) = -3*z**3 - 4*z**2 + z + 2. Let r be h(3). Let t = 15 - r. Is t a prime number?
True
Suppose -3*g = -2*p + 2417, 4843 = -0*p + 4*p - 3*g. Is p composite?
False
Suppose -w = i - 4*i + 2, 4*w - 6 = -2*i. Let h = 8 + w. Let v = h + 10. Is v composite?
False
Suppose 0 = -0*q + 5*q - 135. Let k = 80 - q. Is k prime?
True
Let i = 3 - 2. Is i/4 + 1266/24 prime?
True
Suppose 3*a - 1 = v, 3*a - 3*v + 19 = 5*a. Suppose -10 = -a*p + 8. Is p prime?
False
Suppose 5*p - 14 = 6. Suppose 0 = -8*g + p*g + 16. Suppose -g*h + 2*i + 634 = 0, 0*i + i = -2*h + 311. Is h prime?
True
Suppose -a + 39 = 3*d - 7*d, -3 = -3*d. Let q be 4 + (-3)/3 + 73. Let z = q - a. Is z prime?
False
Let y(q) = 107*q - 19. Is y(4) a prime number?
True
Let g(q) = 2*q**3 + 4*q - 11. Is g(5) composite?
True
Let y be 828/16 + 2/8. Let i = -34 + y. Is i/12*26/3 composite?
False
Let x = 120 + -305. Is x/(-2) - (-3)/2 a composite number?
True
Let k = 269 + -88. Is k a composite number?
False
Let f = 402 - 199. Is f a composite number?
True
Let s(d) = 69*d**2 - 2*d + 7. Is s(-6) prime?
True
Suppose -3*f + 2*f = 3*n - 9, 2*f - 12 = -3*n. Suppose l - 10 = -n. Suppose -11 = -q + l. Is q a prime number?
True
Let u = 56 - -39. Is u a prime number?
False
Suppose 4*a - 497 = 3*a. Suppose 0*b = b - a. Is b a prime number?
False
Is -4 - -1 - 7640/(-10) a composite number?
False
Suppose -g + 3*g - x - 663 = 0, 0 = -3*g + 4*x + 997. Is g a prime number?
True
Let u be 2/(-9) - 60/(-27). Is (-4)/u + 268 + -3 a composite number?
False
Let p = 373 - 122. Is p a prime number?
True
Suppose -2*y + 4 = -6. Suppose 0 = -y*x + x + 444. Is x composite?
True
Let c = 730 - 85. Suppose n - 142 = -0*n + 3*j, 0 = -5*n + 2*j + c. Is n composite?
False
Let j be (-21)/4 + (-1)/(-4). Let n = -1 + j. Let o = 19 - n. Is o prime?
False
Let d = 6 - 4. Suppose 0*o + 5*v = o - 33, 2*o - d*v = 26. Suppose 26 = 3*y + o. Is y a composite number?
True
Let g(l) = 60*l - 11. Is g(20) prime?
False
Let y be 162/39 + (-10)/65. Suppose 0 = y*u + v - 28 - 50, -u = 3*v - 25. Is u composite?
False
Suppose -28 = -3*m - 4*d, m - 2*d = -2*m + 4. Let w be m/14 - 20/(-28). Is w/(-1 + (-69)/(-66)) composite?
True
Is ((-5896)/(-16))/(1/2) a composite number?
True
Let z(j) = j**2 + 4*j - 1. Suppose 2*a = 5*w + 10, 5*w + 8 + 12 = 0. Let y be z(a). Is ((-7)/(-2))/(y/8) a prime number?
True
Suppose 0 = -t - 2*f + 5, -4*t + 3 + 6 = -3*f. Suppose -2*i - 8 = v - t*v, 2*v - 4*i = 18. Is 94 + v + -2 + 0 composite?
True
Let n = 207 - 558. Let i = 249 + n. Is (-30)/(-9)*i/(-4) prime?
False
Let g(z) = 10*z**2 - z. Is g(3) composite?
True
Let i(s) = 19*s + 7 - 13*s + 46*s. Let l be 21/((-12)/(-4)) + 0. Is i(l) prime?
False
Suppose 2*x - 5*x = l - 10, -4*l = 4*x - 16. Is (l + 657)*(-4)/(-8) a composite number?
True
Let b = 123 + 1420. Is b composite?
False
Let h(d) = -122*d - 4. Is h(-3) a prime number?
False
Let y = -11 - -21. Suppose -3*i + 8*i = y. Suppose -7 = i*h - 3*h. Is h a prime number?
True
Let p be (-3*7/(-1))/1. Suppose 0 = -0*f + 3*f + p. Let l(k) = -13*k - 4. Is l(f) prime?
False
Is (1/5)/(-1) - (-45568)/40 prime?
False
Suppose 0 = -2*s + 2 + 8. Suppose 0 = -s*c - o - 3*o - 15, -3*c - 9 = -5*o. Is 21 - ((c - -1) + 1) a prime number?
False
Let m = 6 - -47. Is m prime?
True
Let o = 2 - -1. Let t = o - -3. Suppose 3*q = 2*w - q - 20, -5*w - q = -t. Is w prime?
True
Let i = -4 - -8. Let r = i + -2. Is -2 + 3 - (-28)/r composite?
True
Let j(n) = -n**2 - 5*n + 4. Let t be j(-5). Suppose k = -k + p + 54, t*p = k - 20. Suppose v = y + 9, -2*v + 5*y = y - k. Is v prime?
False
Let i(h) = 3*h**2 - 18*h - 14. Suppose f - 12 = 1. Is i(f) a prime number?
False
Is (1/3)/(3/2907) a composite number?
True
Let t(k) = -k**2 - k + 4. Let w be t(0). Let r(h) = 5*h - 1 - h + 4*h + w*h. Is r(4) prime?
True
Let k = 223 + -433. Let f = -143 - k. Is f a composite number?
False
Suppose 3*g - 767 - 760 = 0. Is g prime?
True
Let s(h) = -2*h + 6. Let u be s(4). Let b be (10 + 0)*u/(-5). Suppose -b*o + o + 435 = 0. Is o a prime number?
False
Suppose -5*a = -0*a - 2*s - 2471, -2450 = -5*a - 5*s. Is a a prime number?
False
Let q(w) = -w + 8. Suppose 2*o = 4*m + 18, 6 = -4*o - 6. Let k be q(m). Suppose -5*s + k = f, 5*s = 5*f - 144 + 44. Is f composite?
False
Let z(c) = -c**2 - 5*c + 127. Is z(0) composite?
False
Let d = 1574 - 290. Suppose -4*f + 4*q = -d, -5 = 4*q - 13. Is f composite?
True
Let x be -3*-2*(-3)/(-6). Suppose -4*t + 115 = -2*t + x*g, 0 = -t - g + 60. Is t a composite number?
True
Let r be (-42)/(-6) - (-2)/(-2). Let p(i) = 3*i**2 - 3*i + 1. Is p(r) prime?
False
Let i = 22 - 19. Suppose 0 = -2*j - 5*m - 3 + 201, -275 = -i*j - 2*m. Is j prime?
True
Let s(x) = 15*x + 43*x - 3 + 18*x. Let i = 0 - -2. Is s(i) prime?
True
Let i be (1 + 0 - 1) + 0. Suppose -w - 2*w - 114 = i. Let o = 57 + w. Is o a composite number?
False
Suppose -j = 3*g + 13, 0*g - 5*j = 5*g + 15. Let q = g + 5. Suppose 195 = 5*v - q*v. Is v a prime number?
False
Is 3 - (-9565)/20 - 3/12 prime?
False
Let o(f) = f**2 + 5*f - 4. Let l be 3/(-1) + (0 - 3). Let k be o(l). Is (2 + -1)/(k/298) a composite number?
False
Let l(i) = 2*i**3 - 3*i**2 - 5*i**2 - i**3 - 7 + 8*i. Let c be l(7). Suppose -3*w + 679 = 5*r, -w + 5*r + 71 + 142 = c. Is w a prime number?
True
Suppose -3*h - 2*f + 0*f = -1679, 5*f - 1134 = -2*h. Is h a composite number?
False
Let q be 30/4*4/5. Suppose -5 = -i + c, 3*c - q = 6*c. Suppose -3*f + 5*f 