 prime number?
False
Let l be 2 + -3 - (-1 - -1). Is (-29)/(l*((-9)/51)/(-3)) a prime number?
False
Let g(q) = q**3 - 13*q**2 + 17*q - 22. Suppose 3*w - 41 = -5*m + 31, -m - 2*w + 13 = 0. Is g(m) a prime number?
True
Suppose 0 = 13*d - 11*d - 1710. Is -4 + 1 + d - 1 a composite number?
True
Is 203 - ((6 - -2) + -3 + -5) composite?
True
Suppose -3*y + 342 = -0*y. Suppose -g + 3*j - 236 = y, -2*g + 5*j = 695. Let p = 478 + g. Is p prime?
False
Let o be 602/4 + 4/(-8). Let w = 171 + -256. Let v = w + o. Is v a prime number?
False
Let r be ((3/(-2))/((-15)/54220))/(-2). Let g = r + 4182. Is g a prime number?
True
Suppose 2*s + 5*i = 16507, -6*i + 9*i + 41252 = 5*s. Is s composite?
True
Suppose -14956 = 8*a - 88868. Is a composite?
False
Let p(t) = -198*t + 3. Suppose -5*z - 21 - 20 = -4*j, -j + 24 = -4*z. Let a be p(z). Suppose 4*u - u = a. Is u a prime number?
True
Let t(i) = 170*i**3 - i + 3. Suppose 3*b - 2 = 4*q - 7, -6 = -2*q - 2*b. Is t(q) prime?
True
Let s(u) be the first derivative of 231*u**2/2 - 13*u - 26. Is s(4) prime?
True
Let f(g) be the second derivative of -g**6/120 + 7*g**5/60 - g**4/24 + g**3 + 3*g**2/2 + g. Let t(d) be the first derivative of f(d). Is t(5) a prime number?
False
Let x = 9 - 6. Suppose 3*l = 2*p - 7*p + 7210, x*l = 15. Is p a composite number?
False
Let z = 41 - 37. Suppose 9*u - z*u = 6985. Is u composite?
True
Let b(w) = -w**2. Let g(d) = -836*d**2 + 5. Let m(z) = -5*b(z) - g(z). Is m(-2) a composite number?
False
Let i(c) = 378*c**2 + 9*c - 11. Is i(3) prime?
False
Let q be 1/(((-2)/(-4))/(5/(-10))). Let n be -2 - 0/1 - -3. Is (-144)/(3/q) + n composite?
True
Suppose -10*c + 80028 = -303802. Is c a prime number?
False
Let t(g) = -6*g + 60. Let f be t(11). Is f/33 + 1047/11 prime?
False
Let y = 9829 + -4986. Is y prime?
False
Suppose z - 103073 = -2*i, -23*z + 4*i = -20*z - 309169. Is z a composite number?
True
Suppose -u = 3*u + 8. Let j be u*(-2)/(-4) - -4. Suppose j*c - 111 = -4*f, -f - 163 = -3*c - 52. Is c a composite number?
False
Suppose -z - z = -5*c - 678, 4*c = -16. Let j = -408 + 182. Let b = z + j. Is b composite?
False
Let f(b) = -4*b + 106. Let d(k) = -3*k + 71. Let r(j) = -8*d(j) + 5*f(j). Is r(18) a prime number?
False
Let k(c) = 34*c**2 - 3*c - 22. Is k(-3) a composite number?
False
Suppose 0 = 3*f - 6, -5*g - 1031 + 4618 = f. Let c = -418 + g. Is c composite?
True
Suppose -w + 3*c + 200 = 512, 8 = 2*c. Let f = w + 679. Is f prime?
True
Let u(k) = 26*k**3 + 4*k**2 - k + 7. Let l be 76/20 + 0 + (-1)/(-5). Is u(l) a prime number?
False
Let y be (-4)/(-1)*(-17 - -21). Let l be (-4)/y*(1 - 9). Suppose -1580 = -l*u - 2*u. Is u composite?
True
Let d(y) = -29*y + 43*y - 12 + 59*y - 9. Is d(10) prime?
True
Let y = 2655 + -1096. Is y a prime number?
True
Let o = 242 - 137. Let m be (1 + o/2)*6. Suppose 2*b = 5*g + 318 + m, 0 = -4*b + g + 1233. Is b prime?
True
Let x(d) = 4*d**2 - 2 + 4*d**3 + 0 - 2*d**3 - 3*d**3. Is x(-5) composite?
False
Let s be ((-2)/3)/(6/54). Let d(g) = -3*g - 18. Let c be d(s). Suppose -16*p + 13*p + 111 = c. Is p a composite number?
False
Let a(l) = 3*l**3 + 3*l**2 - l - 1. Let r be a(2). Is (r/12)/(1/8) prime?
False
Let i = -307 - -434. Is i prime?
True
Suppose y = -5*g + 9112 + 9233, -3*g - y = -11009. Suppose 0 = 2*c - 6*c + g. Is c a composite number?
True
Let l = -109 + 194. Suppose -l = d + 119. Is (-1 + d)/(6 + -7) prime?
False
Is (-6 - 1) + 4179 + -27 a composite number?
True
Let s be 35/11 + 16/(-88). Suppose -k - 3*k + 4877 = -s*m, 3*m = -3*k + 3642. Is k prime?
True
Suppose 137*w - 132*w + 4*k = 111163, 0 = -4*w + 5*k + 88955. Is w prime?
False
Let r be -2*(-1)/((-8)/(-28)). Suppose 5*f - 2*b - 23 = 0, 4*b + r = f + 6*b. Suppose -675 - 184 = -3*o + f*k, -1473 = -5*o - 2*k. Is o a prime number?
True
Suppose 0 = 3*z - 4*d - 12 + 53, 5*d = 25. Let l = 9 + z. Suppose l*u = -u + 885. Is u composite?
True
Suppose 2*q - 12 = -q. Let t be 1192/(-4)*(-3)/6. Is 2*(q - t/(-2)) composite?
False
Is 1195 - 115 - (-1 + 2 + -2) prime?
False
Let d(g) = -g**2 - 4*g. Let t be d(-4). Suppose 205 = 3*w - v - 410, -4*w - 5*v + 801 = t. Let a = 1201 - w. Is a composite?
False
Suppose t - 70093 = -92*d + 91*d, 3*d + 4*t = 210279. Is d a prime number?
False
Let l(i) = -i**3 - 10*i**2 - 2*i - 16. Let s be l(-10). Suppose s*g - 858 = -94. Is g a prime number?
True
Is 277197/12 + -7 + 2/8 a composite number?
True
Let f(z) = -z**3 - 5*z**2 - 2*z + 4. Let s be f(-5). Suppose -472 = 10*x - s*x. Is x prime?
False
Let g be -2 - 6*(3 + -8). Let a be (0 + 1)*-3 + g. Is 1915/a + 4/10 a prime number?
False
Suppose 15115 + 940 = -5*l. Let v = l + 4650. Is v a prime number?
True
Let q(o) = o**2 + 6*o + 2. Let g be q(-6). Suppose 0 = -3*j + 5*j + 4*n - 16, 6 = g*n. Suppose 2*c = 4*p - j*p + 360, -4*c = 3*p - 699. Is c composite?
True
Let i(l) = 34*l**2 - 41*l + 37. Let t(o) = -17*o**2 + 21*o - 19. Let n(f) = 6*i(f) + 11*t(f). Let b(m) be the first derivative of n(m). Is b(7) a prime number?
True
Suppose 23*i - 7450 - 23853 = 0. Is i composite?
False
Suppose -34*b = -32*b - 2412. Let s = -613 + b. Is s a composite number?
False
Let h(r) be the second derivative of 2*r**4/3 - r**3/6 + 2*r**2 - 26*r. Suppose -10 = 3*y - 1. Is h(y) prime?
True
Let a = 10 + -19. Let h be (-12 - a)/((-1)/3). Is (-6)/h - 611/(-3) composite?
True
Suppose -2*j + 3*j + 4*b = 137, 4*j = 4*b + 488. Suppose d + g = -0*d + 116, 0 = -d + 2*g + j. Is d a prime number?
False
Suppose 4*g + i = -11885, -3*i + 2*i - 5945 = 2*g. Let u = g + 4371. Is u a composite number?
True
Let s(j) = 4229*j**2 + 50*j + 50. Is s(-1) composite?
False
Is (-222027)/(-7) - 102/714 a composite number?
True
Let l = -154 - -157. Suppose 12*c - 30087 = l*c. Is c composite?
False
Let o = -133 + 141. Is 3742/o + (-3)/4 a prime number?
True
Let x = 32798 - 23053. Is x a prime number?
False
Let d(o) = -o**2 - 2*o - 6. Let h be d(6). Suppose -690 + 2234 = 8*s. Let t = s + h. Is t composite?
False
Suppose -4*n + 5*h = -102, -n - 2*h - 80 = -4*n. Is (-2)/8 - (-1295)/n composite?
True
Let z(r) = r**2 + r + 5. Let g be z(0). Let i = 1940 - 984. Suppose g*d = d + i. Is d a composite number?
False
Suppose 3 + 4 = 4*t - 5*j, -2*t = -3*j - 5. Is t*-13*74/4 composite?
True
Let b(j) = -4*j**2 - 6*j + 2. Let x be b(-5). Let w = x + 107. Is 76/(-2)*w/(-26) a composite number?
True
Suppose 3*h - 1315 = 2042. Is h composite?
True
Let r(i) = 12*i**2 + 7*i - 14. Let c = -6 + -3. Is r(c) prime?
False
Suppose 0*g - 3*i = -3*g + 789, -263 = -g - 2*i. Let v = -97 + g. Is v a composite number?
True
Let l be (-30)/105 + (-32)/(-14). Suppose -m + 750 = 5*n + 3*m, l*n = -m + 303. Let r = n - -160. Is r a prime number?
False
Let n(g) = 377*g + 320. Is n(9) prime?
False
Suppose 10*q = -10692 + 41132. Suppose 1176 - q = -4*i - 5*z, 3*i - 2*z = 1401. Is i composite?
False
Suppose 9*r - 7 = 2. Is r/(-7) - (-31050)/35 a composite number?
False
Let h = 49 - 46. Is (-2645 - (h + -1))/(5/(-10)) prime?
False
Let a be (-18212)/(-7) - -4*1/14. Suppose -4*b = -8190 + a. Is b composite?
True
Suppose 3*q = r + 13, -r + 33 = 3*q + 2*r. Suppose 0 = 3*c + c. Suppose q*y - 4*y - 12 = c. Is y a prime number?
False
Let m(k) be the third derivative of k**5/60 + k**4/6 - 3*k**3/2 - 12*k**2. Let i be m(-9). Suppose 2*u - 33 = -5*b, 0 = 4*u - 3*b - i - 43. Is u composite?
False
Suppose -5*x - n = n - 430, -4*n - 172 = -2*x. Suppose 7*j - 621 = 4*j. Let t = j - x. Is t composite?
True
Let q = 1438 + -761. Is q composite?
False
Let f(w) = -30*w + 5. Let n(m) = -m. Let v(t) = -f(t) - 2*n(t). Suppose -24 = -2*p + 3*c, 9 = 5*p + 3*c - 9. Is v(p) a composite number?
True
Suppose 2*y - 4*g = -0*g - 8, -3*g = -9. Suppose -y*h + 741 = -937. Is h a composite number?
False
Suppose -4*x = 2*u + x - 386, -u = -x - 193. Let k be (-14)/77 - 5865/(-11). Suppose 4*b + u = k. Is b a composite number?
True
Suppose 4*p + f - 36 = -p, 5*f - 4 = -3*p. Let v = 13 - p. Suppose -v*d + 367 = -163. Is d prime?
False
Let i(n) = 259*n - 42. Is i(5) a prime number?
False
Let z(r) = -r**2 - 2*r. Let d be z(-2). Suppose d = -4*n + n - 5*u + 416, 4*u + 608 = 4*n. Suppose -n - 128 = -5*i. Is i prime?
False
Suppose 28*g - 26*g = 4742. Is g a prime number?
True
Let i(h) = 22*h**2 - 14*h - 3. Let a(o) = -o**2 + o - 1. Let z(s) = 6*a(s) + i(s). Let w be 