 2. Let f be n(-13). Let d = -631 + f. Is d a prime number?
True
Suppose -2*i - a = 0, -2*i + 12 + 12 = -5*a. Suppose -i*l = 4*l + 1191402. Is (-2)/(-15) - l/135 a prime number?
True
Let t(r) = 162*r - 1. Let z(v) = -487*v + 2. Let d(b) = 14*t(b) + 4*z(b). Let s(w) = -160*w + 3. Let u(o) = 3*d(o) + 5*s(o). Is u(2) prime?
True
Suppose -d + 3*d - 8 = 0. Suppose 25 = 9*r - d*r. Suppose 0*t - 4*t - 1377 = -r*q, -1116 = -4*q - 4*t. Is q a prime number?
True
Let c(z) = -8*z**3 - 11*z**2 + 2*z - 60. Is c(-11) prime?
False
Let k = 87 + -87. Is k/(-1) + -3 - (2 - 640) a composite number?
True
Let y(z) = -124*z + 135. Is y(-26) a composite number?
False
Suppose 0 = 3*r - 7 - 2, 2*i - 4*r = 34. Suppose 3*k - 935 = -i. Suppose -2*p + 6 + k = 0. Is p a prime number?
False
Suppose -4*g + 75798 = -2*v, -g - v + 37889 = g. Is g a composite number?
False
Let n be (2/(-4))/(2/(-56)). Let q = 31 + -26. Let f = n + q. Is f a prime number?
True
Let w = -4 + 21. Let i = -13 + w. Suppose 0 = i*m - 7*m + 1137. Is m a prime number?
True
Let m(i) = -37*i + 5. Is m(-14) composite?
False
Suppose 0 = -v - 2*h + 1827, v - h - 1819 = -5*h. Suppose -v + 70 = -5*g. Is g a composite number?
False
Let q be 1/3 - 66/9. Let x(n) = 13*n**2 + 4*n + 4. Is x(q) a composite number?
False
Suppose -740 = -3*r - r. Suppose 0*u - 3*v - 10 = 5*u, 0 = -2*v. Is r - 0/(u/1) composite?
True
Let p(c) = c**2 - 2*c + 663. Let w be p(0). Suppose 0 = 6*o - 3333 + w. Is o a composite number?
True
Let d = 1272 - 19. Is d a composite number?
True
Is (1034514/2340)/(2/20) composite?
False
Suppose 54 + 31 = 5*f. Let s(u) = 2*u**3 - u + 1. Let j be s(1). Let l = j + f. Is l a composite number?
False
Suppose -h = -3*v + 5 - 22, 4*h = 3*v + 32. Let b(s) = 9*s**2 + 7*s - 3. Is b(v) a composite number?
False
Let p(v) = -v**3 - v**2 - 2. Let t be p(-2). Suppose 0 = -3*r - i + 3290, 4*r - 5483 = -r - t*i. Is r a prime number?
True
Is (-3)/(6 + 8750907/(-1458479)) a composite number?
False
Suppose -2*i - 334 = -u - 2*u, -u + 4*i + 98 = 0. Suppose -2*j + 8 = -n, 3*j - 4*n = n + 5. Suppose -u = -j*h + 56. Is h a composite number?
True
Suppose -3*j = -3*u - 119373, 4*j - u = -3*u + 159140. Is j a composite number?
True
Let q(z) = -z**2 + 6*z - 4. Let t be q(2). Suppose -t*g - 5 = -21. Suppose -109 = -5*d + g*o, -3*o - 1 = d - 19. Is d a composite number?
True
Let t be (0 + 373)/(1 - 2). Let q = t + 842. Is q a prime number?
False
Is 8355 + -9 + 4 + (-6)/(-2) prime?
True
Let c = -17 + 27. Let y = -252 + 254. Is 9248/85 + y/c prime?
True
Suppose 0 = -6*c + 18*c - 2148. Is c composite?
False
Let d be (-1 + 3)/(-1) - 38. Let x be (d/15)/((-4)/6). Is (-2526)/(-12) - (-2)/x a prime number?
True
Let n(f) = 3187*f**2 - 33*f + 103. Is n(3) a prime number?
True
Let v = 67 - -11522. Is v a prime number?
False
Let v = 44 - 40. Suppose 453 = v*r - 7. Is r composite?
True
Let w(f) be the third derivative of 7*f**4/12 + f**3/2 - 13*f**2. Is w(2) composite?
False
Let d(y) = -3*y - 5*y + 19*y + 22*y + 3 - 1. Suppose 0 = -2*s + 5*s, -3*s - 4 = -4*p. Is d(p) a prime number?
False
Let k = 573 - -118. Is k composite?
False
Let t be (-26)/(-10) - 2/(-5). Suppose 2*d - 10 = 0, -t*d = 5*q + 9646 - 47861. Is q/60*3/2 a prime number?
True
Suppose 0 = 3*a - 13034 - 2899. Is a prime?
False
Let b(t) = 83*t**2 + 4*t + 1. Let s(c) = 82*c**2 + 5*c + 1. Let v(z) = 5*b(z) - 4*s(z). Let l be v(-2). Suppose 2*o = 537 + l. Is o composite?
False
Let f = -3301 + 5789. Suppose 28*x - 20*x = f. Is x a prime number?
True
Let z(q) = -q**2 + q + 7. Let c be z(-3). Let i be c - -3 - 423/(-3). Suppose 0 = 5*t - i - 126. Is t a prime number?
True
Suppose -k = -14 + 2. Let r be 3/(-2 + (-140)/(-64)). Let x = r - k. Is x composite?
True
Suppose l - 26 = -5*m + 2*l, -2*m = l - 9. Suppose -4*y + 609 = -m*x, -3*y + 94 = -4*x - 364. Suppose -4*i + y = -1778. Is i composite?
True
Let l be (0/(-3 - -2))/(-3 - -2). Suppose 7*g - 2769 - 388 = l. Is g a composite number?
True
Let y be (-20)/8*(-292)/(-2). Let a = 789 + y. Is ((-2)/(-4))/(4/a) composite?
False
Let j be (-17)/(-4) - (-2)/(-8). Suppose -2*y - j*q + 3*q + 1776 = 0, q = -3*y + 2665. Is y a prime number?
False
Let l(s) = s + 7. Let o be l(-9). Is 4029/27 - o/(-9) a prime number?
True
Is 3/(-1)*1924/(-12) prime?
False
Let k(w) = -65*w + 13. Let q(v) = -v**3 + 7*v**2 + 6*v + 8. Let s be q(8). Is k(s) a composite number?
True
Let l = 874 + 1411. Suppose -l = 3*w + 2*w. Let m = 680 + w. Is m a prime number?
True
Is (7 + -1101)*(-4)/4 a prime number?
False
Let c(f) = 15*f**3 + 5*f**2 + 12*f - 11. Is c(6) prime?
False
Let g(z) = -z**3 + 10*z**2 - z + 13. Let y be g(10). Suppose y*m = -0*m + 20337. Is m a composite number?
False
Is 4/((-6)/6) - -693 a prime number?
False
Let h(z) = -z**2 + z. Let v = 10 - 13. Let d(p) = p**3 + 14*p**2 + 9*p + 5. Let n(r) = v*h(r) - d(r). Is n(-11) prime?
True
Suppose 4*m = 2*z - 22, -2*m + 15 = 4*z - 9. Is (z + -8)/(2/5158)*-1 composite?
False
Let q = 3927 + -980. Suppose y = 5*y - 8, 4*y + q = 5*f. Is f prime?
False
Suppose 4 = f - 0*f. Suppose 4*q - 8 = 5*k - 2, 12 = -f*q - 4*k. Let u(s) = 379*s**2. Is u(q) prime?
True
Let n be (-18)/((8/(-30))/((-6)/15)). Let q(i) = 2*i**2 + 9*i - 64. Is q(n) a composite number?
False
Suppose -4*x = 3*w - 30 + 8, 2*w - 24 = -4*x. Let h(s) = 37*s + 46. Is h(x) a prime number?
False
Suppose 8*y - 2*y = 1875174. Is y a prime number?
False
Let y(d) = d**2 - 5*d - 42. Let b be y(9). Let c be 74/(4/6 + 0). Is (c/b)/((-5)/10) a composite number?
False
Let f(b) = -b**3 + b**2 - 2*b + 1. Let s be f(1). Let o(j) = 3*j - 31. Let q be o(8). Is s + 1 + (26 - q) composite?
True
Suppose -3*l + 2383 = 82. Is l prime?
False
Is 38716 - 28/(-8)*2 a prime number?
True
Suppose 56772 - 9308 = 5*s - 3*h, 3*s - 28458 = -5*h. Is s a prime number?
True
Suppose 4*x - 55 = 5*w, -w - 44 = -0*x - 3*x. Is 4392/x - 9/(-45) composite?
False
Suppose 230*c = 237*c - 195587. Is c a composite number?
False
Is 10/(-2) + 2403 - -1 a composite number?
False
Let k(n) = 191*n - 11. Let b be k(8). Suppose 6*w = 4*w + 3*c + b, w + 4*c = 764. Suppose w = 3*p - 263. Is p prime?
False
Suppose 3*o - 4 = 8. Let h be (-1 - 1)/((-2)/o). Suppose 4*y - 2*z = 630, -2*y - h*z = -0*y - 310. Is y composite?
False
Let o(l) = 104*l - 10. Let d be o(-6). Let c = 453 - d. Is c prime?
True
Let d(n) = -n**2 + 4*n + 3. Let s be d(4). Suppose -s*j = j. Suppose -2*g + 8 + 62 = j. Is g a composite number?
True
Let x = 3970 - -4915. Is x a prime number?
False
Suppose -44 = 4*c - 5*m, c + c + 32 = 5*m. Let q(h) = -38*h - 5. Is q(c) composite?
False
Is ((-4)/(-12))/((-6)/(-133218)) a composite number?
True
Suppose -135385 = 38*a - 386147. Is a prime?
True
Let f(q) = 648*q**3. Let r be f(1). Suppose 0 = -5*x - 3*u - 0*u - 1084, 0 = -3*x - u - r. Is -1 + (-3 - (x + 2)) a composite number?
True
Suppose h - 4 = -5*z, 3*z = -h + 6 - 4. Let v be (-2 + (-1)/h)*-5. Suppose -u + v*b = -17 - 48, -u + 69 = -4*b. Is u a composite number?
True
Suppose 4*a + 4*t - 40 = 0, 20 = -0*a + 3*a + t. Suppose a*p = -39 + 1754. Suppose 0*h + 6 = -3*h, 5*l - p = 4*h. Is l composite?
False
Let b(n) = n**2 + n - 38. Let k be b(-7). Suppose k*j = 2241 + 2803. Is j composite?
True
Let n be (0 - 1)*1 - -4. Suppose 15*a - 42 = 33. Suppose n*b - 4*t - 162 = -t, 4*t - 306 = -a*b. Is b a composite number?
True
Let o = 6188 + 64. Suppose -o = -4*g - 4*l, g + 0*l - 2*l - 1557 = 0. Is g a prime number?
False
Suppose -75 = 7*z - 2574. Let l = -100 + z. Is l prime?
True
Suppose 2*u = 12*u - 3820. Is u composite?
True
Let w = -18 - -15. Is -2 - (477/w - 0) a composite number?
False
Let u be (1 + 2)*(-8)/(-6)*-1. Let z(m) = -101*m - 13. Is z(u) a composite number?
True
Suppose 6*j + 4*r = 4*j + 14814, 5*r - 25 = 0. Is j a composite number?
True
Suppose 3*m - 16 = 2*m - 3*y, -3*y = 4*m - 19. Let l = 30 - 21. Let j = m + l. Is j prime?
False
Suppose 30 = 9*i - 4*i. Let l be (-108)/24*(-4)/i. Suppose -g - 1318 = -l*g. Is g composite?
False
Suppose -10 = 26*x - 27*x. Suppose 2838 - 22328 = -x*b. Is b composite?
False
Suppose 3*u - 2*z - 38975 = 0, 3*u + z = 2*z + 38980. Suppose 43*w = 48*w - u. Is w a prime number?
False
Let n = 124 - -437. Suppose 4*t - l + n = 5*t, -16 = -4*l. Is t prime?
True
Let h(x) be the third derivative of -7*x**4/2 + 2*x**3 + 8*x