q = -112 + z. Let m = q - 61. Is m a composite number?
True
Suppose -4*p + 6*d - 4*d = -106196, -185869 = -7*p - 3*d. Is p a prime number?
False
Suppose 0 = -4*n + 14 - 42. Let r(a) = a**3 - 35*a**2 + 36*a - 42. Let k be r(34). Let z = n + k. Is z a composite number?
False
Suppose -13382 = -7*i - 2581. Is i composite?
False
Let y = -5 + 7. Suppose -y*f + z + 1618 = -404, z = -4. Is f a composite number?
False
Suppose -3*f - 2*q = -46, 2*f + 2*q - 74 = -3*f. Is f/(-35) - 2744/(-10) prime?
False
Suppose -3*g = -4*g + 3705. Suppose 2*k = 463 - g. Let p = -734 - k. Is p a composite number?
False
Let l(v) = v**2 + 2*v - 2. Let s be (-4)/(-26) - 108/26. Let n be l(s). Suppose m + n = 271. Is m prime?
False
Suppose c = 5*a + 1150 + 999, -4*c + 8596 = 5*a. Is c a composite number?
True
Let d = 182 - -1256. Is d a composite number?
True
Let g(u) = 5*u**2 + 0*u - 3*u - 4 + u**3 + 0*u. Is g(7) composite?
False
Let b = -34955 + 60694. Suppose -5*m = -0*r - r - b, r = -4*m + 20584. Is m a composite number?
False
Is 2*(2 + 59825/10) a composite number?
False
Let t(i) be the third derivative of 3*i**5/10 - i**4/4 + i**3/3 + 4*i**2. Let v be t(2). Suppose -4*b = -v - 446. Is b composite?
False
Suppose x = 3*y + 67504, -2*x + 134999 = 5*y - 2*y. Is x prime?
False
Let d(i) = 7*i**2 + i - 5. Suppose 2*o + 24 = 6*o. Let z be d(o). Suppose z + 559 = 4*b. Is b a prime number?
False
Let l be (-2)/(-8) + (-922)/8. Let j = -167 - l. Let y = 7 - j. Is y prime?
True
Is ((-40)/(-12) - 3)*3273 composite?
False
Let w(a) be the second derivative of -a**5/20 - 17*a**4/12 + 3*a**3/2 - 5*a**2/2 + 4*a. Let i be w(-8). Is -3 - (i - (1 - 2)) prime?
False
Suppose 19779 - 6650 = 19*r. Is r a prime number?
True
Let a = -10299 + 17536. Is a a prime number?
True
Is 1261655/136 - 6/(-48) composite?
False
Suppose -1837 = -9*o + 3743. Let k = o + -441. Is k composite?
False
Is -2 + (-304)/(-160) - 1193862/(-20) prime?
True
Let o be ((-2)/(-8)*4 - -1)/1. Suppose 0 = -3*l - l + 2*k + 834, -o*l = 4*k - 442. Is l composite?
False
Let g = -17 + 17. Suppose g = -13*o - o + 36106. Is o composite?
False
Let t = 105 - 61. Let w be (33/t)/((-2)/3792). Is w/27*42/(-4) composite?
True
Suppose 14*l - 31620 = 10*l. Let b = l + -3598. Is b a prime number?
False
Let g(l) = -3*l + 4. Let b = 18 - 13. Let z be g(b). Let u(n) = n**2 - 8*n + 10. Is u(z) a composite number?
True
Let v be 47775/52 + (-2 - 9/(-4)). Suppose v = -5*m + 2504. Is m composite?
False
Suppose s - 4*n = 5*s + 4, -s + 3*n + 19 = 0. Suppose -203 = -s*g + 849. Is g prime?
True
Is -1 + 2 + 38902 + (-123 - -121) composite?
True
Let f be (-2)/14 + 2 + (-180)/(-35). Suppose 0 = t - 20 + f. Is t a composite number?
False
Let b = -36 - 54. Let p be (60/9)/((-3)/b). Suppose -4*o + 3*t + p = 0, -5*o = -5*t + 2*t - 253. Is o a composite number?
False
Let x(z) = -z + 1. Let k be (9/(-3))/1 + 2. Let v be x(k). Suppose a = -v*a + 759. Is a prime?
False
Suppose 5*s - 32990 = 26*n - 27*n, -s + 6609 = -2*n. Is s prime?
True
Let s = 12 + -10. Let p(i) = 0 - 3 + 28*i + 5. Is p(s) a prime number?
False
Let u be 2/7 - (-6600)/77. Let h = u + -39. Is h a prime number?
True
Is ((-1)/2)/((-2)/2044) a prime number?
False
Let p(c) = -190*c + 287. Is p(-26) a prime number?
True
Suppose -280 = -14*z + 546. Let o = 0 + 0. Is 0 + o + -1 + z prime?
False
Let n = -24126 + 34133. Is n composite?
False
Suppose 3*q = c - 6905, -2*q + 6*q - 34487 = -5*c. Is c composite?
False
Suppose -29*i = -12*i - 44047. Is i composite?
False
Let a(m) = 4*m + 15. Let q be a(-6). Let h(c) = 8*c**2 - 6*c + 17. Is h(q) composite?
False
Let u = 72 + -31. Let i(n) = -9*n + 191*n + u*n. Is i(3) a composite number?
True
Let q be (-2)/((-7)/(-2)*1 + -4). Suppose -4289 = -q*a - c, 3*c - 4*c = -a + 1076. Is a prime?
False
Let l(m) = 11*m**2 - 4*m - 13. Is l(-6) composite?
True
Let j = 9 - 5. Suppose -5*n - 2*m = 4782, -m = -2*m + j. Is (n/4)/((-8)/16) composite?
False
Suppose -2660 + 344 = -4*s. Let d = 1048 - s. Is d a composite number?
True
Let k = 197 + 428. Suppose 4*b - 899 = -2*u + k, 5*b = u - 734. Suppose -3*a + a + u = 0. Is a a prime number?
False
Let x be (26 + -17)*6/9. Let s(c) = 1 - 5 + 12*c**2 - 1 + 4*c. Is s(x) a prime number?
False
Let h be (-2 - 1) + -8 + 92. Suppose h + 798 = 3*o. Is o composite?
False
Suppose -z + 2426 = -2232. Is 2 + (-15)/10 - z/(-4) prime?
False
Let n = -71 + 54. Let o(h) = -h**3 - 14*h**2 - 28*h + 18. Is o(n) composite?
False
Let d = -2870 - -14419. Is d a composite number?
False
Let p be (-19212)/(-8) - (-3)/6. Suppose 2*v - p = -3*m, -7*v + 3*v + 4804 = -2*m. Is v prime?
True
Let k = 2793 - 640. Is k a composite number?
False
Suppose 32 = 2*u + y, -u - u + y + 28 = 0. Suppose 4*o - o = u. Is 3/o - (-2702)/5 prime?
True
Suppose 19*j - 19322 - 19191 = 0. Is j composite?
False
Suppose -4*w - 4 = 0, 2*d + 4*w - 16 = 12. Suppose 3*r = 2*f - d, -3*f + 10 = 3*r - 4*r. Suppose 4*o = m + 216, 0*o - 3*o - f*m = -151. Is o composite?
False
Let o(z) = -2*z**3 + 2*z**2 - 2*z. Let g be o(2). Let i = -2 + 11. Is (-3237)/g - i/12 prime?
True
Suppose -2*z + 3*j - 23 = 0, 5*z - 2*z = j - 24. Is (1043/z)/((-1)/5 + 0) a composite number?
True
Is 5 - (-1 + 7 + -164) a prime number?
True
Suppose -2*b - 7*m = -3*m + 14, 0 = -3*b - m - 11. Let u be -6*(b + -1 + 0). Suppose 26*j - 154 = u*j. Is j prime?
False
Let q(h) = -2410*h - 227. Is q(-3) a prime number?
False
Let m(p) = 28*p**3 - 6*p**2 - 2*p + 5. Let d be m(6). Suppose -6*c + d = -c. Is c prime?
False
Let u(p) = -523*p**3 - 3*p**2 + p + 7. Is u(-2) a composite number?
False
Let t(m) = 393*m + 1. Let a(b) = b**2 - 5*b - 5. Let w be a(6). Suppose 2*i - w - 9 = -p, 20 = 5*i. Is t(p) a composite number?
False
Let o(t) = -19*t + 5. Suppose -3 = 3*s - 9. Let b be 1 + 4 - s - 11. Is o(b) a composite number?
False
Suppose 0 = -2*l - 14 + 18. Suppose -2*o + 2150 = l*u, -3*o + 1434 + 718 = 2*u. Is u a prime number?
False
Suppose -26 = -2*g - 0*w - 5*w, -2*w = -5*g + 7. Suppose g*r - 36 = 363. Is r prime?
False
Let o be (13 - 2/(-1)) + 0. Let x = o + -13. Suppose x*a = 2*s - 2*a - 206, -557 = -5*s - 4*a. Is s prime?
True
Is (1 - 2) + 2230/(-5)*-3 a composite number?
True
Let h(l) = 77*l - 12. Let j be h(3). Let z = j - 142. Is z composite?
True
Let h(t) = -2*t - 6. Let a be h(-5). Let p(l) = -a*l**2 - 7 + 5*l**2 + 2*l**2 - 7*l**3 + l**3 - 3*l. Is p(-3) a prime number?
True
Let h = -470 + 1053. Suppose 9*l + 1584 = 5*l. Let b = h + l. Is b prime?
False
Let l = -69094 - -117767. Is l composite?
False
Let x be 1*(-2 - (2 - 6)). Suppose 2*a = 3*c + 3 + 2, -x*c + 2 = 0. Is -1*(a/(-4) + -144) a prime number?
False
Let f = 27 + -25. Let x(t) = 469*t**3 + t + 0*t**2 - 2 - 7*t**2 + 8*t**f. Is x(1) prime?
False
Let i = 47 + -43. Suppose -1685 = 4*s + 4*o - 4833, 0 = -2*o + i. Is s a prime number?
False
Let a(s) be the first derivative of s**4/4 - 2*s**3/3 + s**2/2 + 26*s + 10. Is a(5) prime?
False
Suppose l = 3*k - 6*k - 14, 3*l + 86 = 2*k. Is (42 + 4)/(48/l - -2) a prime number?
False
Let l = -1413 + 4532. Is l composite?
False
Let j(q) = 2*q - 9. Let o be j(5). Let y be 9/((3 - o)/76). Suppose 0 = 3*n - 5*v - 558, -228 = -3*n + v + y. Is n composite?
False
Is (2*2/(-10))/((-180)/2284650) prime?
True
Suppose 2*u + 4*c + c - 2779 = 0, -u - 5*c + 1402 = 0. Suppose 9*a + u = 12240. Is a composite?
True
Let c be (-393)/(-18) - (17/6 + -3). Suppose -5*u - 3*q + 6 = -7, 2*u = -2*q + 6. Suppose 3*k - 4*h - 1 = c, -k - u*h + 11 = 0. Is k prime?
False
Let c = -72 + 46. Let w be (-1*3)/(39/c). Is (-1266)/(-4) + w/4 a composite number?
False
Let v(i) = 166*i - 3. Let k be (4/6)/(32/48). Is v(k) prime?
True
Let t(v) = 3*v + 1. Let a be t(6). Suppose 0 = a*g - 23*g + 4036. Is g prime?
True
Let w be (582/(-8))/((-24)/128). Let x be ((-27)/6)/(1/58). Let u = x + w. Is u a composite number?
False
Let u(i) = i**3 - 8*i**2 + 5*i. Let r be u(7). Is (-9)/(-21) - 2276/r composite?
False
Let y(v) = 36*v**2 + 3*v - 1. Let u = -27 + 29. Is y(u) a prime number?
True
Suppose -2*h - 16467 = -0*t - 5*t, -1 = h. Is t composite?
True
Let x(t) = -t**3 - 6*t**2 + 5*t - 14. Let n be x(-7). Suppose n = -2*p - 5*k + 985, -3*p = -4*p + 5*k + 530. Is p composite?
True
Suppose -3513 = -2*j + 5*j. Let y = 2322 + j. Is y composite?
False
Is ((-15223)/4 + -2)/((-30)/120) prim