7*k**2. Is l(-11) a composite number?
False
Let a = 554 + -276. Suppose g - a + 67 = 0. Is g prime?
True
Suppose -2*c + 839 = -695. Let t = 1216 - c. Is t a prime number?
True
Let s(f) = -31*f - 9. Let z be s(-3). Suppose 0 = w + 1 + z. Let d = 612 - w. Is d composite?
True
Let j(h) = 22*h**2 + 161*h + 29. Is j(-40) prime?
True
Suppose -m = 26 - 30. Suppose -958 = -m*c + 1006. Is c composite?
False
Suppose -1464764 = -23*d - 5*d. Is d prime?
True
Let h = 109 + -1055. Let x be (-3)/((25/(-2395))/5). Let q = x + h. Is q prime?
True
Let m = -7726 - -4911. Is m/(-3)*(-9)/(-3) composite?
True
Let r = -4222 + 8879. Suppose -2*j = -j + 5, -2*t + j + r = 0. Is t a prime number?
False
Let q(p) = 2*p**3 + p**2 - 12*p + 11. Let v be q(6). Suppose 3*i + v = 4*i. Is i a prime number?
False
Suppose 0 = -s + 4*s - 5*g - 218952, 0 = 4*s - g - 291953. Is s prime?
False
Let r = 5113 - 3578. Is r a composite number?
True
Let p(y) = 101*y**2 - y + 1. Let a be p(-2). Suppose -5*v - 5 = -4*h, -5*h + h + v = -17. Suppose -5*u = h*k - u - 411, -3*u = 5*k - a. Is k prime?
True
Suppose -w + 6113 = 5*h, 3*h - 24679 = -3*w - 6340. Is w prime?
True
Suppose 3*h - 750 = -w, 3*h - 3*w + 301 = 1051. Suppose -z - s + 134 = 0, -5*s + 27 = 2*z - h. Is z a composite number?
False
Let w(o) = -373*o + 175. Is w(-18) prime?
False
Let b(f) = f**2 - 4*f + 4. Let y be b(4). Suppose a + 5*j = 527, 2*a = -y*j + 8*j + 1054. Is a composite?
True
Let s(l) = -l**3 + 42*l**2 + 38*l - 105. Is s(37) a composite number?
True
Suppose 6*p - 2*p = 4. Suppose -f = -p - 61. Is f a prime number?
False
Let c = 15805 + -11184. Is c composite?
False
Let q(h) = 9*h**2. Let l be q(1). Suppose 0 = -13*a + l*a + 24. Suppose -3*j - 287 = y - a*y, 5*y - 255 = -5*j. Is y prime?
False
Is -5 + 3307 + (0 - 3) a composite number?
False
Let r be 2186/(-4)*(-8)/4. Suppose 12499 = 6*v + r. Is v composite?
False
Suppose 1264 = 5*m - 15231. Is m prime?
True
Is -1 - -8 - -2*(0 - -317) composite?
False
Let q = 133 + -196. Let v = 262 + q. Is v composite?
False
Let p(o) = 3*o**2 - 19*o + 13. Let n be (-4)/(-5) + (-1343)/85. Is p(n) prime?
False
Let k(s) = 211*s**2 + 53*s - 473. Is k(28) composite?
True
Let s(p) be the third derivative of 79*p**5/15 + p**4/24 - 8*p**2. Is s(1) composite?
False
Is 335/10 + ((-3)/(-2) - 0) a prime number?
False
Suppose 5*u - 9 = 2*u + n, 3*n + 3 = u. Suppose -2*p + 4 = 2*p, u*a + 45 = 3*p. Let g(v) = -12*v - 7. Is g(a) composite?
True
Let h(j) = -j**2 - 19*j - 14. Let n be h(-18). Suppose -2*t = -l + 4*l - 743, 5*l - n*t = 1275. Suppose -2*y + l = -y. Is y a composite number?
False
Suppose 0 = -8*h + 235958 + 88514. Is h composite?
False
Suppose 2*o - 8*o + 24 = 0. Suppose -4*m + 160 = o*h, -5*m + 2*m = 5*h - 190. Is h a prime number?
False
Let r = -40 - -40. Suppose -4*f + 622 = 2*q - r*q, -2*q + 622 = 5*f. Is q composite?
False
Suppose 2*g = 4*p + 3*g + 5, 5*p + 4*g + 20 = 0. Suppose 5*w + 22 + 13 = p. Is (125 - w) + 3 + -1 prime?
False
Suppose 6*w - 9638 = 37804. Is w prime?
True
Let r(l) = -l**3 + 23*l**2 - 23*l + 28. Let a be r(22). Is 34530/3*(-1 - (-9)/a) prime?
False
Is 3/2 + 150609/6 a composite number?
True
Suppose -3*m = 10 - 46. Suppose -t - 3*t = -m. Suppose n - 418 = -2*u, 0 = t*u - 3*n - n - 649. Is u prime?
True
Suppose 12*y + 2*c + 86845 = 17*y, c = y - 17369. Is y a composite number?
True
Let v be 92/(-16) + 2/(-8). Let g be (-244)/v*9/6. Let c = g + -14. Is c composite?
False
Suppose -2*u - a + 47 = -20, -2*a = 2*u - 72. Let f = -15 + u. Is f - (2/(-1))/(-1) composite?
True
Suppose 4*n - 12 = 0, 52*w + n = 54*w - 331067. Is w prime?
False
Suppose 49 + 11 = 5*u. Is (-13 + u)*(-1034)/2 a composite number?
True
Is 2345/14*(-12694)/(-55) composite?
True
Suppose -8 = -6*k + 4*k. Let u(t) = t**3 + 3*t**2 + 5*t + 9. Is u(k) prime?
False
Let v(m) = m**2 + 7*m - 8. Let o be v(-8). Let r = o - 0. Suppose 5*h - x - 39 - 221 = 0, -h - 5*x + 78 = r. Is h prime?
True
Suppose 0 = 2*i - 5*i + 15. Suppose 939 = i*q + 44. Is q composite?
False
Let a = -4743 + 9380. Is a composite?
False
Suppose 3*f - 1866 = g, -g = 2*g - 2*f + 5591. Let w = g - -2648. Is w prime?
False
Suppose -120074 - 134099 = -7*j - 2*d, 2*d = -4. Is j a composite number?
True
Let t(z) = 386*z - 3. Suppose 2*y - 12 = -8. Is t(y) prime?
True
Let v be (40/6)/((-6)/23319). Let p be v/(-25) - (-4)/(-10). Suppose 0 = 3*x - 3*l - 777, l = -4*x - 0*l + p. Is x prime?
False
Suppose -4*f + 628 = -640. Suppose l - 5*t = -f, 0 = -l - 5*t + 2*t - 357. Let g = l + 785. Is g prime?
True
Let m(u) = -u**3 + 10*u + 7. Let b be m(8). Let j = -251 - b. Suppose -o = 3*p - 4*p + j, -3*p = 3*o - 540. Is p composite?
True
Suppose f - 74*d + 76*d = 9647, 3*f + 4*d - 28949 = 0. Is f composite?
True
Let x = -2505 - -4942. Is x prime?
True
Let g = -251 + 137. Let y = -35 - g. Is y composite?
False
Suppose -j + 4297 = 3*x - 6*x, -2*j = -x - 8584. Is j composite?
True
Let x(c) = -c - 5. Suppose r - 28 = 5*r. Let p be x(r). Suppose -119 = -p*o + o. Is o prime?
False
Let k = 1912 - 1035. Is k a prime number?
True
Let b be (-76 + 4)/(-3) - -4. Let c = b + -9. Let o = c - -112. Is o composite?
False
Suppose 160*a - 166*a = -154542. Is a prime?
False
Let v(b) = 10*b**3 + 13*b**2 + 15*b + 69. Is v(13) a prime number?
False
Suppose -2*f = 5 - 15. Suppose -4*o = -5*z - o + 4256, f*z - o - 4262 = 0. Is z a prime number?
True
Let q(k) = 7*k**2 + 9*k + 5 - 3*k**3 + 4*k**3 - 4*k**3. Is q(-6) composite?
True
Let l = 15620 + -1335. Is l a composite number?
True
Let u be ((-69)/2)/((-6)/136). Let a(x) = x**3 + 3*x**2 - 2*x - 2. Let l be a(-3). Suppose -u = -l*d + 2*d. Is d a prime number?
False
Let l(u) = -21*u**3 - u**2 - 7. Let z(c) = c**3 - c**2. Let t(w) = l(w) - 6*z(w). Is t(-4) a composite number?
False
Suppose -4*m + 17 = -3*u, -2*m - 4*u - u - 11 = 0. Let p(i) = -2*i**3 - 46*i**2 + 47*i - 9. Let x be p(-24). Is x/(m - 7) + 146 a prime number?
False
Suppose -5*d = 3*u - 76217, -2*d = 84*u - 85*u + 25413. Is u composite?
False
Is 9*1530/9 - -5 prime?
False
Suppose -7 + 1 = -2*g. Suppose 2*h + 28 = v - 3*h, 0 = -4*v - 3*h - g. Suppose 2*z + 0*q = -2*q + 1900, -952 = -z - v*q. Is z a composite number?
True
Let a = -8 + 9. Suppose 2*n - 5 - a = 0. Suppose 0 = n*t - t - 298. Is t prime?
True
Let q = -2716 + 4895. Is q a prime number?
True
Let x(n) be the first derivative of 21*n**2 - 73*n + 6. Is x(12) prime?
True
Suppose -6 = -3*l + 18. Suppose l*x - 10*x = -2122. Is x prime?
True
Let x be (3 + 11/(-3))*-18. Suppose -x + 0 = 2*p. Is ((-79)/p)/(2/12) a prime number?
True
Let m(i) = i + 4. Let d be m(-2). Suppose -d*p = -2*t - 542 - 416, -3*t + 943 = 2*p. Suppose 2*k - 270 = p. Is k a prime number?
True
Let t(a) = -51*a + 24. Let o be t(-14). Suppose -3*w + 916 = 3*i + 148, -3*i + o = -3*w. Is i a prime number?
True
Let g be (-6)/(-10)*((-3)/3 + 6). Suppose a - 490 = 3*k, k = -g*a + 4*k + 1488. Is a a composite number?
False
Suppose -4*x + 19533 + 29987 = 2*q, -q + 61903 = 5*x. Is x a composite number?
True
Let n = 17 - 5. Let t be (-4)/16 - 1953/n. Let c = 252 + t. Is c a prime number?
True
Let d be (2 + (-3)/(-1))*1. Is (-2)/5 + (-1)/(d/(-3897)) prime?
False
Let d be (-2 - 1)/(7/(-2) + 2). Suppose d*u + 252 - 634 = 0. Is u a prime number?
True
Suppose -x + 26*x - 236575 = 0. Is x prime?
True
Suppose -16*m = -6*m + 13470. Let o = m - -2890. Is o composite?
False
Suppose 3*v + 787 = -3*m + 5821, -25 = -5*m. Is v composite?
True
Is (80/8 + 6751)*3/3 a composite number?
False
Suppose -3*j + f = 0, -2*f = 4*j + 2*f. Suppose j = -4*d + 289 + 283. Is d a prime number?
False
Suppose 5*f = -5*y + 40, 2*f - 4*f = 5*y - 34. Let p(g) = 391*g - 11. Is p(y) a composite number?
True
Let z = -51 - -31. Let r = -31 - z. Let v = 30 + r. Is v composite?
False
Let r(y) = 2*y - 3. Let u be r(7). Let h(w) = w**2 - 5*w - 11. Is h(u) a composite number?
True
Is ((-3)/9)/((-63)/271593) a composite number?
True
Suppose 2*z - 15 = -z, -3*y + z + 31 = 0. Let j(w) = 5*w**2 + 6*w + 10. Is j(y) composite?
True
Suppose 4*o = v - 5624 + 34160, 21401 = 3*o - v. Is o composite?
True
Suppose 17*a - 8483 - 8330 = 0. Is a a prime number?
False
Let i(u) = -29*u**2 - 4*u. Let j be i(6). Let n = -617 - j. Is n prime?
False
Let a(q) be the third derivative of q**6/24 + q**5/20 + q**4/8 - 3*q**3/2 -