*t = -2*t + 12. Is 0 + -1 - (t + -23) prime?
False
Suppose -5088 = 2*g - 6*g. Suppose -4*w - g - 21 = -5*u, 522 = 2*u - 4*w. Is u composite?
False
Is (2 + 2)*26543/76 prime?
False
Let c(z) = 63*z - 1. Let v(j) = -j. Let g(q) = -c(q) - 4*v(q). Is g(-2) a composite number?
True
Let h(j) = -13*j + 20. Is h(-11) a prime number?
True
Let c = -2 + -1. Let i(h) = -2*h**3 - h**2 - h - 1. Is i(c) a composite number?
False
Let g(a) = 2*a**2 + 7*a - 6. Let d(k) = -k**2 - 2. Let t be d(-3). Is g(t) composite?
True
Suppose -3*q + 319 = 4*l - 1211, 0 = 4*l + q - 1526. Is l composite?
True
Suppose b - 7 + 4 = 0. Suppose 3*u + 4*j - 1021 = 0, -u + 114 = -b*j - 222. Is u composite?
True
Suppose i + 3*a - 2855 = 0, -5*a + 3950 - 12473 = -3*i. Is i composite?
True
Let u(b) = b**2 + 5*b - 3. Let p be (6/(-5))/(9/30). Let s be (-2)/p*(7 + -1). Is u(s) prime?
False
Suppose -6*v - 4*o = -3*v - 109, v = -5*o + 51. Is v composite?
False
Let g be 4*(5/4 + -2). Is (-3)/2*(g + 1) a composite number?
False
Suppose 5*b - 278 = 4*m, -3*b + 0*b = -5*m - 159. Is b composite?
True
Let o(x) = x**2 - x - 13. Is o(8) composite?
False
Let l(i) = -9*i**3 + i**2 - i + 1. Let j = 2 + -4. Is l(j) prime?
True
Let k(p) = -4*p**3 - 2*p**2 - 2*p - 1. Let a be k(-1). Suppose 2*b - 5*b + 15 = 0. Suppose -b*y + 5*j + 610 = 0, -a*y - 5*j = y - 533. Is y composite?
False
Suppose -3*d + 86 + 343 = 0. Is d a prime number?
False
Let o(v) = 2 + 2 - 7*v - v**2 + 6 + 0. Is o(-7) prime?
False
Let c be (-3)/(-9) + 1/(-3). Suppose 7*u - 3*u - 10632 = c. Is (-4)/(-22) - u/(-22) a composite number?
True
Let j = 1179 - 548. Is j a prime number?
True
Let p = 8 - 6. Is 3 + (19 - -3 - p) composite?
False
Let r = -13 - -19. Suppose -308 + 2 = -r*w. Is w composite?
True
Let o(a) = 8*a**3 + 2*a**2 - 1. Let u be o(1). Suppose -3*z + 108 = 4*i, -3*z - 27 = -2*i + u. Suppose 0*n - 21 = -4*l - 3*n, -3*n - i = -l. Is l prime?
False
Let o be 0 - (3*-99)/3. Suppose 5*n = 346 + o. Is n a composite number?
False
Suppose 4 = -3*t + 16. Suppose 3*u = t*r - 217, 3*r - 4*u - 161 = -0*r. Is r composite?
True
Let d = -204 + 4685. Is d a prime number?
True
Let t = 106 + 325. Is t prime?
True
Let y(n) be the second derivative of -17*n**3/2 + n**2 + 2*n. Let a(o) = 52*o - 1. Let c(z) = -3*a(z) - 2*y(z). Is c(-1) a prime number?
True
Let c be 429/(-3 + 4 - 0). Suppose 0*r + c = 3*r. Is r prime?
False
Let i be 114/15 + 4/10. Suppose -x + 3*x = i. Suppose 0 = -f + x*f - 489. Is f prime?
True
Let o(s) = 271*s**2 - 7*s - 11. Is o(4) a prime number?
True
Let d(q) be the third derivative of q**5/30 + q**4/6 + 5*q**3/6 + 3*q**2. Is d(4) composite?
False
Suppose 3*o - 2 = -5*n, 5*n - 4*o = o - 30. Let l(i) = 58*i**2 + 4*i + 2. Is l(n) composite?
True
Let l = -308 + 469. Is l prime?
False
Let s = 2242 + -189. Is s a composite number?
False
Let a(n) = -3*n**2 + 5*n + 9. Let b(s) = -4*s**2 + 5*s + 10. Let g(r) = 5*a(r) - 4*b(r). Is g(5) a prime number?
False
Let z = -145 + 70. Is 1 + -3 - (2 + z) a prime number?
True
Let z be ((-54)/(-8))/((-3)/(-108)). Let k = z - 172. Is k composite?
False
Let h(x) = -2*x. Let k be h(3). Let r be (k + (2 - 0))/(-1). Suppose r*q = 2*q + 178. Is q composite?
False
Suppose -3*b + 0*b + 2039 = 4*f, -3*b - f = -2033. Is b a prime number?
True
Let l(p) = 7 + 17*p + 3*p**2 + 4*p**2 - 8*p**2. Is l(13) a prime number?
True
Let i(f) be the first derivative of -f**4/4 + 7*f**3/3 - f**2/2 + 4*f - 2. Is i(5) a composite number?
True
Suppose 9 + 3 = -2*k. Let t(v) = v**2 + 5*v - 3. Let r be t(k). Suppose -3*c + 4*m + 269 = 0, r*c - m = 185 + 96. Is c composite?
True
Suppose 0 = -a + 3, 0 = 5*k - a - 748 + 136. Suppose 0 = -5*c - 3*t - t + k, 0 = -2*t + 4. Is c a prime number?
True
Let k be -6 - -4 - (-9 + -2). Suppose -11*f = -k*f + 106. Let c = 142 + f. Is c composite?
False
Let o be (-804)/(-27) + 4/18. Suppose 0 = 5*b - 3*u + 5, 4*u = -3*b - 2*b + o. Suppose -x - 2*x - 173 = -2*q, 3*x = -b*q + 191. Is q a composite number?
True
Let q(a) = -4*a + 5. Let u be q(-4). Suppose f = u + 46. Is f prime?
True
Let q be 2 - 0 - (0 - -1). Suppose q = u + 2. Is ((-2)/u)/((-3)/(-51)) a composite number?
True
Is ((-15)/10)/(9/(-1578)) a composite number?
False
Suppose 2*f + 3*c - 1328 = 0, -4*f + 1523 = -5*c - 1155. Is f prime?
False
Suppose 5*l - 2785 = -2*o, -l - 3*l + 5*o + 2228 = 0. Is l a composite number?
False
Suppose -4*w - w + 4795 = 0. Is w composite?
True
Let m be 132/(-6) - (0 - 0). Suppose -i - 3*i = 5*q - 237, -4*q + 186 = 2*i. Let o = m + q. Is o composite?
False
Let z(f) be the third derivative of f**5/60 + 7*f**4/24 - 5*f**3/6 + f**2. Suppose 2 = -4*j + 22. Is z(j) composite?
True
Let f(l) = l**2 - 4*l + 1. Let k be f(4). Let q = -8 - k. Is 33 + (-6)/q*3 composite?
True
Suppose -3*d - 147 = 174. Let o = -24 - d. Is o prime?
True
Suppose -2*a - 40 = -7*a. Let k = a + -2. Is (1 + 57)*15/k prime?
False
Suppose 1069 = 7*m - 6*m. Is m composite?
False
Suppose -8*g + 4*g + 52 = 3*f, -f = 2*g - 18. Is f/24*(-834)/(-4) composite?
False
Suppose -20 = 5*n, -3*n = -3*b - 2*b + 24957. Is b composite?
True
Let o = 154 + -13. Is o a prime number?
False
Suppose -2*z = -8*z + 8994. Is z prime?
True
Let a(m) = 17 + 5*m**2 + 14 - 4*m**2. Is a(0) prime?
True
Let r(i) = -4*i**2 + i + 1. Let g be r(-1). Let a(z) = z**3 + 5*z**2 + 2*z - 2. Let m be a(g). Suppose m*s = s + 110. Is s prime?
False
Let l(t) = -t**3 - 13*t**2 + 12*t - 20. Let j be l(-14). Suppose j*a = 3*a + 1685. Is a prime?
True
Let c = 548 - 213. Is c prime?
False
Let h be 2 - 5 - (0 + -6). Suppose 76 = q + h*q. Is q a prime number?
True
Let t = -103 - -377. Is t composite?
True
Suppose -1028 - 177 = -5*a + 5*v, -3*v = -4*a + 961. Is 1 + a - 8/4 a composite number?
True
Suppose 3*q + w = 108, 5*w = -7*q + 2*q + 170. Is q prime?
True
Let o(u) = u**3 + 6*u**2 + 3*u. Let b(r) = r**2 + 10*r + 11. Let f be b(-8). Is o(f) prime?
False
Suppose 3*p + 4*t - 4725 = 0, -5*p + p + 6307 = 3*t. Is p a composite number?
False
Let z(t) = -t**2 + 11*t - 8. Let c be z(10). Suppose -u + 6 = c*u. Suppose 0 = u*w - 63 + 11. Is w composite?
True
Let h(d) = 2*d**2 + 6*d + 1. Is h(6) a composite number?
False
Let x = -49 - -27. Let f be (-10)/55 + (-92)/x. Suppose -f*n - 70 = -9*n. Is n a composite number?
True
Let y(l) = -10*l - 11*l**2 + 21*l**2 - 13 - l**2 + l**3. Let t(n) = -9*n. Let q be t(1). Is y(q) composite?
True
Suppose -7 - 2 = -3*x. Suppose 162 = 3*a + x*n, 0*a + 285 = 5*a + 2*n. Is a a prime number?
True
Is 401375/143 - ((-2)/11)/1 a prime number?
False
Let i = 24 + -21. Suppose 0*m - 633 = -i*m. Is m a prime number?
True
Suppose 2 = 3*z - 67. Suppose 3*b - z = -5. Let g(l) = -l**3 + 8*l**2 - 3*l + 3. Is g(b) prime?
False
Suppose -6*w + 3*w = -4*q - 703, -4*q - 3*w - 697 = 0. Let l = q + 341. Is l prime?
False
Let l = 174 - 25. Is l prime?
True
Suppose 5*k - 8 = 3*k. Suppose -343 = -k*d + 669. Is d composite?
True
Suppose 2333 + 4077 = 5*c. Is c a composite number?
True
Let v(u) = u**3 + 7*u**2 + 7*u - 5. Let z be v(-6). Let o = -9 - z. Suppose -o*p - 3*b + 390 = b, 5*b - 10 = 0. Is p prime?
True
Let v(b) = 963*b**2 + b - 7. Is v(3) prime?
True
Let x(f) = -f**3 - 8*f**2 - 9*f - 1. Let p = 5 - 12. Is x(p) prime?
True
Let t(g) = 7*g**3 - 2*g**2 - g - 1. Let u be t(2). Suppose -3*r = 4*a + 1, -4*r + 5 - 13 = 4*a. Let h = r + u. Is h prime?
False
Let d = 0 - -1. Suppose -5*n + d = 4*l + 7, 0 = -5*n - 5*l - 10. Suppose -3*z + 259 = -n*g, 4*z + z + g - 449 = 0. Is z prime?
True
Let i(d) = -7*d**3 + 2*d**2 - 4*d - 3. Is i(-4) a composite number?
True
Suppose 0 = 9*g - 13*g. Suppose g = -f + 182 + 111. Is f a prime number?
True
Let q be 296 - 2/(-1)*1. Suppose -n + q = n. Is n prime?
True
Let d(t) = 39*t**3 - 2*t**2 + 3*t - 3. Let y be d(2). Suppose -4*g = -3*s + y, 3*s + 73 - 390 = -g. Suppose -3*l + s = -0*l. Is l prime?
False
Suppose -8 = -4*u, 5*m + u = 271 + 201. Let y = m - 39. Is y composite?
True
Suppose -2*g + 3*d + 742 = 0, -2*d = 5*g - 910 - 945. Is g prime?
False
Suppose 0 = 3*z - 6, -z + 90 = 4*k - 6*z. Suppose -18 = -y + k. Is y prime?
True
Suppose 23745 = u - 0*u - j, 0 = -4*j - 16. Is u composite?
False
Let l = -1439 - -2026. Is l prime?
True
Let r = 0 - -5. Let u = -2 + r. Is 6/u - 1*-89 a prime number?
False
Let m = 2 + 1. Let x(l) = 7 + 3*l**3 + 6 - 2*l**m - l - l**