?
True
Suppose -10*c + 32*c = 95194. Is c prime?
True
Let m(a) = 2*a - 12. Let u be 3/(27/8 + -3). Let k be m(u). Suppose 0 = -k*g - 5*v + 586, 5*v = -2*g + 157 + 131. Is g prime?
True
Is 26/10 + 75/(-125) - -7899 composite?
False
Suppose -3*c + 0*n = 4*n - 6467, -4*n = -8. Is c composite?
False
Suppose 14*y - 77237 = 85149. Is y composite?
True
Let o(c) = -4 + 2*c + 0 + 0*c. Let q be o(3). Is (1 - q)/((-9)/1341) a prime number?
True
Let r(w) = -w**3 + 7*w**2 - w + 11. Suppose 13*i = 16*i - 21. Let z be r(i). Suppose -4*g = -16, -4*x - 2*g = -z*g - 140. Is x a composite number?
False
Let w = -1014 - -704. Let v = 441 + w. Is v a prime number?
True
Let h(z) = -12*z + 5. Let v be ((-204)/(-60))/(1/5). Suppose 3*d = 2*g - 7, 0*d - 3*g = d + v. Is h(d) prime?
False
Suppose 0 = -3*a + 7*a. Suppose w = -5*n + 715 + 405, a = 3*w - 15. Is n a prime number?
True
Suppose -2 = -f, -3*q - 5*f + 26041 + 10116 = 0. Is q composite?
False
Let x(n) = -7*n**2 + 4*n - 12. Let m(v) = v + 1. Let j(u) = -4*m(u) - x(u). Is j(7) a composite number?
True
Let j(y) = 2*y**2. Let v be j(-1). Suppose -v*p - 39 = 45. Let a = 79 + p. Is a a prime number?
True
Suppose -5*a - 2*f - 32 = 0, 2*a - 3*f + 7 = -21. Let t(x) = -x - x - x**3 - 3*x**2 + 3 + 0*x. Is t(a) a prime number?
False
Let j(i) = -9*i**3 + 10*i**2 + 6*i. Let v(s) = s**3 + 1. Let r(k) = -j(k) - 5*v(k). Is r(5) a prime number?
False
Let g(x) = -640*x - 73. Is g(-15) a composite number?
True
Suppose 3 = 8*v - 7*v. Suppose -v*x + 8*x - t = 256, -t - 1 = 0. Is x a composite number?
True
Let l(y) = -596*y + 1. Suppose 5*i - 6 = 8*i. Is l(i) prime?
True
Let r = 589 + 663. Suppose -1865 = -3*q - x + 3*x, 2*q = -3*x + r. Is q composite?
True
Suppose -13898 = -2*h + 4*f, -5524 = -2*h - f + 8369. Is h a composite number?
False
Let y = 29316 - 12523. Is y a prime number?
False
Let l be 4*1 - (0 + 1). Let i(n) = 21*n**2 + 2*n + 11. Let h(z) = 22*z**2 + z + 14. Let p(q) = -3*h(q) + 4*i(q). Is p(l) prime?
True
Suppose -3*x + 10 = -5*t - 2*x, 0 = -4*x - 20. Let o be 35 - (t + -1 - -2). Suppose 3*r - 4*r + o = 0. Is r composite?
False
Suppose -141 = -n - 2*n. Suppose -n = -5*t + 78. Let k = t + 6. Is k a prime number?
True
Let s = -1399 - -5453. Is s prime?
False
Suppose 2*n + 418 = 34. Let u = -35 - n. Is u a composite number?
False
Let k(b) = -14*b**3 + 6*b**2 + 5*b - 10. Let u(x) = -x**3 - 12*x**2 + 14*x + 8. Let q be u(-13). Is k(q) a prime number?
False
Let g = -55532 - -85861. Is g a prime number?
False
Let j(n) = 16*n**2 - 4. Let x be j(5). Suppose -x = -r - a, -5*r + a = -856 - 1094. Is r prime?
False
Let p = -9 + 14. Suppose -13 = p*z - 43. Is 124/z - 4/(-12) composite?
True
Suppose 2*w = -3*w + 2*u - 9, 0 = w - 5*u - 12. Let q be -1 + 5 + (w - 112). Is (q/12)/(4/(-16)) composite?
False
Is (-446045)/(-20) + 27/36 a prime number?
True
Let y be 15/(-2)*(2632/20 + -2). Let z = 1619 + y. Is z a composite number?
False
Suppose 3*k - 4*p = 1480 + 525, -1350 = -2*k - 4*p. Let t = k + -406. Is t prime?
False
Let w = 1622 + -567. Suppose 11*b - 16*b + w = 0. Is b prime?
True
Let r be (1 - 171)/((-4)/6). Suppose 434 = l - r. Is l prime?
False
Let d be 14/(-3) - (-6)/9. Let l = 9 + d. Suppose -l = 2*t - 303. Is t composite?
False
Suppose -5199 - 3627 = -6*s. Is s a prime number?
True
Let z(i) be the second derivative of 110*i**3/3 + i**2/2 - 12*i. Is z(1) composite?
True
Suppose -4*s - 60 = -j - 2*j, -44 = 3*s - 2*j. Is 2372/16 - s/16 a prime number?
True
Let l = -2433 + 3473. Suppose 4*h - l = -4*c, c - 4*c = -2*h + 545. Is h composite?
True
Let x = 9 - 15. Let d = 34 + -31. Is 0 + x/d + 213 composite?
False
Let n(t) = 11536*t**2 - 4*t + 5. Let h be n(1). Let w = h - 8184. Is w prime?
False
Suppose 6*i = i + 2*g + 1540, -i = 5*g - 281. Suppose 3*f - 5*f + i = 0. Suppose f = -4*d + 3613. Is d a composite number?
True
Suppose 4*n = -128 + 32. Let g be (-3)/5 - n/15. Suppose -3 = -p - g. Is p composite?
False
Is (-234)/(-273)*2338/6 a prime number?
False
Suppose 0 = -8*w + 4*w - 3*x + 11, 10 = 2*x. Suppose 5*u - 19185 = y, -5*y = 2*u - 6*u + 15369. Is u/8*(1 - w) a composite number?
True
Let h be -67*(0 + -2 + 0). Suppose 4*t = -5*m - 16, 4*t + 0 + 16 = 4*m. Suppose m = -5*i + 131 + h. Is i composite?
False
Let v(x) be the third derivative of x**5/15 - 7*x**4/12 + x**3/6 - 10*x**2. Is v(12) prime?
True
Suppose -27*i - 106 = -2023. Is i a composite number?
False
Let r be 10 + -10 + (3 - 1). Suppose 2*b + 318 = r*n, -2*n + 5*b + 181 = -131. Is n composite?
True
Let x be 54/24*(-4)/(-3). Suppose 0 = -5*m - 4*l + 1869, -5*m + x*l + 671 = -1191. Is m a prime number?
True
Let c(f) = 6 + f - 3*f**3 + f**2 + 11*f**3 + 76 - 7*f**3. Is c(0) prime?
False
Suppose -6432 = -14*y + 12*y + 5*t, 2*y = -t + 6444. Is y a composite number?
False
Let u be ((-3)/(-2))/(8/48). Is 18/(-12)*(-636)/u a prime number?
False
Let p(u) = -2*u**2 - 27 + 7 - 9*u + 7*u**2 - 16*u**2. Let k(d) = -7*d**2 - 6*d - 13. Let s(y) = -8*k(y) + 5*p(y). Is s(6) composite?
True
Suppose -5*m = -9 - 6, 3*v - 4068 = -3*m. Let y = -2784 + v. Let n = y + 2020. Is n a prime number?
False
Suppose 2*o = -3*o. Suppose o = -3*s + s + 878. Is s a prime number?
True
Let m(y) = 5*y**2 - 11*y - 9. Let h(x) = -5*x + 36. Let u be h(8). Is m(u) composite?
True
Let g = 41868 - 28477. Is g composite?
True
Suppose -2*g - 3*g = -3820. Suppose -s + 195 = -g. Is s composite?
True
Let r(a) be the first derivative of -3*a**2/2 - 4*a + 2. Let m be r(-3). Suppose -m*t = -268 - 167. Is t a prime number?
False
Let n(x) = x**3 + 10*x**2 - 4. Let f be n(-10). Let k be (2/3)/(f/192). Let q = 47 + k. Is q prime?
False
Let s(l) = -40*l + 17. Suppose -4*g + 60 = 3*q + q, q = 4*g + 5. Let k = q - 21. Is s(k) composite?
False
Suppose 5*x = -0*x - 100. Let i = x - -147. Is i a prime number?
True
Suppose -2*t = 5*z + 1, -t + 4*z - 8 = -1. Let f be -1 - (-2 - (t + -2)). Is 39 + (8/2)/f a prime number?
False
Let g be 2096/4 + -1 + -2. Suppose -g = -7*x + 2874. Is x a composite number?
True
Suppose -311176 = -61*o + 99415. Is o composite?
True
Let w(h) = -h**2 - h + 2. Let r be w(0). Let x be (-413)/(-1) + -1 - -2. Suppose -2*d + 0*f = r*f - x, f = 5*d - 1047. Is d a prime number?
False
Suppose 2*o - 24*z + 29*z - 18239 = 0, 2*z = -3*o + 27375. Is o composite?
False
Is 0 + (-8166)/(-5) - 1/5 composite?
True
Let a(p) = -4*p + 8. Let t(x) = x**2 - 1. Let w(q) = a(q) + 3*t(q). Suppose -2*k = -2 - 6. Is w(k) a prime number?
True
Let w = 11082 + -3265. Is w prime?
True
Suppose 2 = 2*w, -3*j + 524 - 94 = -5*w. Let r = j - 94. Is r composite?
True
Suppose -6*s + 7252 = -3314. Is s composite?
True
Suppose -4*k + 4*d = -3936, -4*k + 3941 = -3*d - 0*d. Suppose 0 = -2*n + c + k, -n - n = 2*c - 980. Is n a composite number?
True
Suppose 0 = 4*f - x + 9, 0*f + 5 = 5*f + 2*x. Is f*((-1)/5 + (-7344)/5) a prime number?
False
Is 1/((21/30793)/3) a prime number?
False
Suppose -5*t = -87411 + 4316. Is t composite?
False
Is 4/(-22) - -394*(-212)/(-88) a composite number?
True
Suppose -2*l - 1 = -27. Let g(p) = -p**3 + 13*p**2 - p + 18. Let i be g(l). Suppose 2*w = i*w - 1401. Is w prime?
True
Is 12692 + 6*(-4)/8 a prime number?
True
Let k = 11 - 4. Suppose d = k*d - 1758. Suppose 4*a - 2727 = d. Is a prime?
False
Is (((-61452)/90)/(-2))/(3/10) prime?
False
Let v = 2617 + -5860. Let s = -1940 - v. Is s a prime number?
True
Suppose 4*o = -o - 130. Let i = o - -47. Suppose i = 2*v - 237. Is v a prime number?
False
Suppose 2*v + 1 = 7. Suppose 0 = -2*q - 4*r - 8, v*q - 2*q = -r - 2. Suppose -f + 193 = 3*j + j, q = 3*j + 9. Is f composite?
True
Let k be 397/3*(-1 - -6 - -1). Suppose 0 = 2*o + 2*n + 5 - 3, -2*n = 5*o - 7. Suppose 0 = -o*l + l + k. Is l prime?
True
Let x = 1156 - 625. Let f = -328 + x. Is f composite?
True
Let o = -13 - -15. Is (-5265)/(-18) - o/((-4)/1) a prime number?
True
Let o(h) = 22*h**2 + 16*h - 27. Is o(10) a composite number?
False
Is 3274/(-6)*(-18 + 42/14) composite?
True
Suppose 0 = -2*n - 0*j - 3*j + 2131, -n - 2*j = -1064. Suppose 0*i - 3*t = -2*i + 2143, 0 = i - t - n. Is i prime?
False
Let m(k) = -11*k - 4. Let q be 2/13 - 50/(-13). Suppose -3*a - 5*g - 45 = a, 5*a + 5 = q*g. Is m(a) a prime number?
False
Suppose 74*o - 71*o - 18627 = 0. Is o a composite number?
True
Let c = 693 + 822. Suppose r + c = -3*q, 