pose -4*m + 3*o + 47962 = 0, 4*o + 47964 = -9*m + 13*m. Is m composite?
True
Suppose -2*w + 4*w = p - 3737, 5*w = p - 3734. Is p prime?
True
Let j(z) = 18*z**2 - 17*z - 14. Is j(-9) a composite number?
False
Let u(f) = f**3 + 32*f**2 + 29*f - 136. Is u(-26) composite?
True
Let t(n) = -n**3 + 8*n**2 + 9*n + 1. Let z be t(9). Is (z - 2) + 3*(-1576)/(-6) a prime number?
True
Let o = -13 - -18. Suppose 4*j + 6772 = o*u, 1918 = 2*u - 4*j - 786. Let i = -769 + u. Is i a prime number?
True
Suppose b - 83 = 177. Suppose 2*l + 4*a - 902 = b, -4*l = 4*a - 2328. Is l prime?
False
Let u(b) = 4130*b + 79. Is u(14) prime?
True
Let f = -10 + 137. Is f a prime number?
True
Let v(l) = -52*l + 3. Let t be v(-3). Let k = 38 + 2. Let i = t - k. Is i a prime number?
False
Let s = 3838 + -1904. Is s composite?
True
Let l(s) = 413*s**2 + 3*s + 1. Let v be l(-3). Suppose -2*b - 5*z - v = -4*b, -5*b - 4*z = -9223. Is b a prime number?
True
Suppose 5*w + 6078 = 8*w. Is 5/((-75)/(-6)) - w/(-10) a composite number?
True
Let c be 1/7 + (-26)/(-14). Suppose -2*k + c*f = 3*f - 123, 5 = f. Is k a composite number?
False
Is ((-2)/4)/(4*3/(-49272)) a prime number?
True
Suppose -4*r = -s - 10, 2*r = 3*s - 0*s + 10. Is r a composite number?
False
Suppose -4*u = -3*u + 2. Is 3/u*(-380)/15 a composite number?
True
Suppose 0 = 2*z + m - 1, 0 = 4*z + 4*m - 3*m - 5. Suppose 0*r = -z*r + 22. Let c(y) = 2*y + 12. Is c(r) composite?
True
Suppose -29349 = -3*n - 4431. Suppose 4*p - 7*c + 2*c = n, 3*p - 6230 = 4*c. Suppose 5*t = -179 + p. Is t a prime number?
True
Let f be (3 - 2)*-4*20/(-8). Suppose -f*l + l = -3411. Is l prime?
True
Let o = 7022 - 3569. Is o a composite number?
True
Suppose m + 2*m - 6 = -3*t, 3*m + 19 = 2*t. Let r = t + 10. Suppose -r*d = -14*d - 166. Is d prime?
False
Let d(u) = 2*u**2 - 2*u - 11. Is d(32) a prime number?
True
Suppose 4*v - 2*j - 16 + 6 = 0, -3*j = v + 1. Suppose 0 = 7*w + v*w - 4203. Is w a prime number?
True
Let y = -226 - -402. Let g = y - -611. Is g a prime number?
True
Suppose 0 = 4*x - 5*m - 6898 - 2953, x + 3*m = 2484. Is x prime?
False
Suppose v = 5*l - 3399, -1178 - 847 = -3*l - 3*v. Is l a composite number?
True
Let r be 20 - (4/2)/(-2). Let h be ((1 - -2) + r)/(-1). Let o = 55 + h. Is o prime?
True
Let p be (-2)/8 - (-16875)/(-36). Let c be p/(-3) - 4/(-6). Let v = 150 + c. Is v prime?
True
Suppose -2*f + 34 = 30. Let w be f/(-3) + (-1)/3. Is (w - (-4 - -164))/(-1) a composite number?
True
Let o be 1 - 0 - 0 - 91. Let s(b) = b**3 - 45*b**2 + 44*b + 193. Let z be s(44). Let p = o + z. Is p prime?
True
Suppose -9*m + 27*m = 169038. Is m prime?
True
Let b = 19737 - -8756. Is b composite?
False
Is (0 - -2)/((-26)/(-287911)) a composite number?
False
Suppose a - 4241 = -4*m, 12*a = 15*a - m - 12762. Is a a composite number?
False
Let p(a) = a**3 + a**2 - 1. Let x(u) = -1063*u**3 + 5*u**2 + 3*u - 2. Let r(o) = -4*p(o) + x(o). Is r(-1) composite?
True
Let o(p) be the first derivative of -22*p - 3 - p**2 + 1/3*p**3. Is o(-19) a prime number?
False
Let s = 12 + -6. Is s/(-4)*(-268)/2 a composite number?
True
Suppose -6 = 3*o, 2*w = -o + 4 + 22. Suppose -9*z + w*z = -370. Is z/4*(7 - 17) composite?
True
Let o be ((-2 - -3) + 0)*0. Let m(i) = 1 + o - 17*i**3 + 17*i**3 + 2*i**2 + 2*i - 52*i**3. Is m(-1) a prime number?
True
Let i(j) be the second derivative of 19*j**4/12 - 3*j**3/2 - j**2/2 - 29*j. Is i(-13) a composite number?
True
Suppose 0 = t + 14 - 11. Is (-40)/((8/11)/(-4)) - t prime?
True
Let s(q) = 657*q - 66. Is s(9) composite?
True
Let o(d) = 3*d**2 + 23*d - 3. Let p be o(-8). Suppose p*n + 851 = 6*n. Is n composite?
True
Let j(w) = w**2 + 9*w + 10. Let y be j(-7). Is (1294/y)/(19/(-38)) prime?
True
Let y = 246 - 687. Let l(q) = -13*q**3 + 5*q. Let u be l(-4). Let k = u + y. Is k a composite number?
True
Let j be 36/15 - 2/5. Suppose -8 = -2*o, -s + 3*s + j*o = 8. Let z(r) = r**2 + r + 53. Is z(s) a prime number?
True
Let c = 879 - 1280. Let l = c + 792. Is l prime?
False
Suppose -s = -4*z - 4*s + 36, -4*z + 4 = -5*s. Let a(n) = 3*n**2 - 5 + 168*n - 81*n - 83*n. Is a(z) a prime number?
True
Let d(h) = h**3 + 10*h**2 + 2*h + 13. Let i be d(-10). Let s be (0 - i) + -1 + -1. Suppose -65 = -2*g + s*a + 169, 0 = -4*g + a + 504. Is g a prime number?
True
Suppose 2*p = -0*p - 60. Let r = p - -33. Suppose -r*t + 572 = -181. Is t prime?
True
Is (41/10 - 2/20) + 567 a prime number?
True
Let y = -55 - -5994. Is y a composite number?
False
Let o(n) = 20*n + 6. Let p(s) = s**2 - 5. Let q be p(4). Let c be o(q). Let y = c - 147. Is y a prime number?
True
Let w = -40 + 42. Suppose 2*q + w = 0, -5*k = -2*q - 3*q - 5980. Is k a prime number?
False
Suppose -5854 = -f + 3*k, -3*f + 10*k + 17542 = 5*k. Is f composite?
False
Suppose -13*f = -4*g - 11*f + 42542, 0 = g + 4*f - 10649. Is g prime?
False
Let b be ((-3)/2)/((-9)/(-228)). Let x = -35 - b. Suppose x*q - 1849 = 5*p, 2*q - 8*p - 1226 = -3*p. Is q prime?
False
Let d(h) = -14*h - 5. Let b be d(3). Let c = b + 226. Suppose z = -2*f + 69, 4*z + c = 2*f + 3*f. Is f composite?
True
Suppose 3254 - 228 = 2*v. Is v a composite number?
True
Suppose 25184 = -12*k + 64772. Is k a prime number?
True
Suppose -2*q - 3*q - 345 = 0. Let x = 210 - q. Suppose 2*f = -5*r + 6*f + x, 2*r = -2*f + 108. Is r a prime number?
False
Is (((-15334)/(-2))/(-11))/(-1) a prime number?
False
Let b be (3 - -2) + 0 + (6 - -7). Suppose 1 + 20 = 2*m + 3*q, 21 = 5*m - 3*q. Is (-12)/b - (-1270)/m prime?
True
Let k(h) = 308*h**2 + 8*h - 93. Is k(-11) composite?
False
Let w(q) = -q + 11. Let m be w(8). Suppose -z + 171 = 5. Is ((-3)/m)/((-2)/z) prime?
True
Let n(l) = -l**2 - l + 3. Suppose s - 3 = h - 4*s, -3*s = 0. Let p be n(h). Is p/(-27)*33*21 a composite number?
True
Let m = 11 - 0. Let h = 14 - m. Suppose 0 = h*w - f - 34 - 18, -14 = -w + f. Is w composite?
False
Let v(b) = b**3 + 6*b**2 - 2*b - 10. Let f be v(-6). Suppose 0*x + f*x - 52 = 0. Is x composite?
True
Is 9/(-9) + 6 + 3588 prime?
True
Suppose -1176 = -4*u - 0*u + w, -w + 875 = 3*u. Is u a composite number?
False
Let z(c) = 3*c**2 + 10*c + 5. Let y be ((-2)/(-6))/(3/(-81)). Is z(y) composite?
True
Let s(i) = 28*i**2 - 5*i - 5. Let r be s(6). Let b = 1952 - r. Is b composite?
True
Suppose 3*a - 87362 = -2*a - 2*c, -a = -c - 17478. Is a a composite number?
True
Suppose w + 14 = h - 3, -5*w = -4*h + 66. Suppose h + 21 = -4*y. Is 110*(3 + y/4) composite?
True
Let a = 54627 - 38206. Is a a composite number?
False
Let i(a) = a**2 + 9*a + 5. Let t be i(-9). Suppose 0 = -j - 2*j - t*x + 1517, 2*j + 5*x - 1018 = 0. Is j a prime number?
True
Let t = -127732 - -227367. Is t a prime number?
False
Is 4/(-14) + (1348056/42)/9 prime?
False
Suppose 0 = 2*v - p + 391, 6*v + 2*p = 2*v - 802. Let k = -26 + v. Let q = -135 - k. Is q prime?
True
Suppose -c = k - 83, -3*k = -4*c - 6*k + 331. Let i(h) = h + 4. Let a be i(-4). Suppose 2*g - 5*f - 13 = a, -5*g + 2*g = 5*f - c. Is g a prime number?
True
Is (3/(-1))/(27/(-33606)) a prime number?
False
Suppose 4*q - 4*n - 30716 = 0, q = -2*q - 5*n + 23037. Is q/7 + (-1 - 2) composite?
True
Let m(r) = r**3 + 15*r**2 - 17*r - 19. Let c be m(-13). Suppose c = -2*b + 164. Let p = 543 + b. Is p composite?
True
Let b = 1745 + -798. Is b prime?
True
Let a(w) = 5 + 5*w**2 - 3 + w - 7*w**2 + 3*w**2. Let n be a(0). Suppose -n*v = v - 711. Is v a prime number?
False
Let x be (-5 - -12) + 1/1. Let q(a) = a**3 - 2*a**2 + 7*a + 9. Is q(x) a composite number?
False
Let w(g) = g**2 - g + 2. Let d be w(1). Suppose -d*m - 7 = -2*x + m, -x - 3*m - 1 = 0. Suppose x*u - 1181 = 5*o, 14 = -5*o - 1. Is u a composite number?
True
Let g = -83 + 89. Suppose g*x - 1934 = 4*x. Is x composite?
False
Let i be (-5 - -1) + 4 - 366/(-2). Is (i/12 + 0)*12 composite?
True
Let i(q) = 20*q + 5. Let o be i(4). Suppose 0*t + 6*t - 12 = 0. Suppose o = -g + t*g. Is g prime?
False
Let h be (596/10)/((-1)/(-5)). Suppose -2*o = -0 - h. Is o prime?
True
Suppose -h - 1222 = -j + 1575, 3*j - 4*h = 8386. Suppose -j - 588 = -6*t. Is t prime?
False
Suppose -29*w = -33*w + 2648. Is w a prime number?
False
Let w(i) = i**2 - 10*i + 8. Let u be w(8). Let l(h) = -h**3 - h**2 + 17*h - 5. Is l(u) prime?
True
Let b = 3728 - 1927. Is b a composite number?
False
Let w(h) = h**3 - 38*h**2 - 27*h + 53. Is w(39) a c