s = 176 - 82. Is s composite?
True
Let o(x) = 101*x**2 + 6*x + 31. Is o(-4) composite?
True
Suppose -202 = f - 2*j, 4*f - 2*f - j = -413. Let i = -195 + 72. Let r = i - f. Is r prime?
False
Let q(i) = -i + 1. Let g(m) = -148*m + 111. Let b(k) = g(k) - 111*q(k). Is b(-7) a prime number?
False
Let y = -716 + 1107. Is y prime?
False
Suppose -2*y - 117 = y. Let j = y + 60. Is j composite?
True
Suppose -4*x - 2*x + 18 = 0. Suppose 0 = 2*d + x*d - 335. Is d a composite number?
False
Suppose -r = x + 9, 5*r + 5 + 5 = 2*x. Let y(z) = -z + 5. Is y(r) composite?
True
Suppose -2*u = 3*u - 25. Let s be 445*3/3 + 0. Suppose u*j - s = 30. Is j prime?
False
Let b(y) = -4 - y**2 + 5 + 0*y**2. Let i be b(-1). Is -4 - (-2 + i) - -87 prime?
False
Suppose 7*o - 19131 + 1078 = 0. Is o prime?
True
Let a(q) = -2 - 3*q + q - 3. Let f be a(-5). Suppose -4*m + 0*n + 37 = 3*n, m = -5*n + f. Is m a composite number?
True
Let w(a) = -a**3 + 4*a**2 - 2*a. Let b be 19/7 + 2/7. Let k be w(b). Suppose -k*g + 1 + 20 = 0. Is g composite?
False
Suppose -5*v = -5*h + 17 + 8, -v + 4*h - 20 = 0. Suppose v = 4*y - 6*y + 266. Is y a prime number?
False
Suppose -3*h + c + 1 + 3 = 0, -2*h = -c - 1. Suppose h*l - 239 = -65. Is l prime?
False
Suppose 3 + 12 = 3*d, 2*d - 30 = 4*v. Let p = 70 + v. Is p composite?
True
Let v = -5 + 6. Is -42*(-3)/(9/v) prime?
False
Let t = 1104 + 145. Is t composite?
False
Let x(g) = 195*g + 2. Is x(3) a prime number?
True
Let k(c) = c**2 - 5*c - 4. Let z be k(6). Suppose p - 72 = -2*u - 4*p, -5*u = z*p - 159. Is u prime?
True
Let n = 18 - 8. Let q = n - 29. Is (-6)/(-9) - q/3 composite?
False
Let f be (1 - 1) + 2/(-1). Let v be f + -2 + 0/2. Let c(d) = -d**3 - d**2 - 4*d + 3. Is c(v) composite?
False
Let n = 1 - 1. Suppose n = o - 62 - 29. Is o prime?
False
Is (-4)/5 + (-121912)/(-40) a prime number?
False
Is (-3)/2*(-20620)/30 a prime number?
True
Suppose p - 4*k = 20, 0 = p - 6*p - 5*k. Suppose g + 10 = p*x, 1 = -5*x - 2*g + 7. Suppose w - m - 68 = 2*m, 4*w - x*m = 262. Is w prime?
False
Let v(t) = 113*t**2 + t - 3. Let j(i) = -225*i**2 - 2*i + 7. Let d(r) = 3*j(r) + 7*v(r). Is d(-1) a prime number?
False
Let j = 11 - 11. Let s(a) = a**3 - a**2 - a + 43. Let q be s(j). Suppose 0 = c + 2*x + x - 8, -4*x = -c + q. Is c composite?
False
Let r = 3 - 5. Let p(i) = 3*i**2 - 2*i - 1. Is p(r) a prime number?
False
Suppose -3*w + 206 = -w. Suppose 3*c - 51 = -2*i + 62, 2*i + c = w. Is i prime?
False
Is 3 - ((-15072)/(-3))/(-4) composite?
False
Let k be 2/3*45/10. Let t be ((-402)/15)/(3/(-30)). Suppose k*g - t = -g. Is g a composite number?
False
Is (-2)/(8/(-12)) - -236 a prime number?
True
Suppose -2*g = -5*g + 78. Let m = g - -27. Is m a prime number?
True
Let h(a) = -a**3 - 17*a**2 - 19*a - 45. Is h(-20) prime?
False
Let i = 13 + 0. Suppose u - 13 = -h + i, -h + 110 = 4*u. Let z = u - 17. Is z prime?
True
Let p be ((-4)/(-6))/((-18)/(-135)). Suppose 4*g = -p*q + 29 + 336, 12 = -4*q. Is g a prime number?
False
Let u be (-2 + 6)*(-106)/(-4). Suppose 5*b = 49 + u. Is b composite?
False
Suppose 8*r = 9*r - 985. Is r a composite number?
True
Suppose 2*w = w + 81. Let y be w/2 + 4/8. Suppose 0 = 2*g + 2*f - 24 - 4, 3*g + 4*f = y. Is g a prime number?
False
Let u be (-4)/3*(0 + 6). Let g be (-4)/16 - 2/u. Suppose -z + 3*z - 110 = g. Is z a composite number?
True
Suppose 0 = 3*x - 260 - 7. Is x a prime number?
True
Let x = 193 + -278. Is (12/10)/((-2)/x) prime?
False
Suppose 11*q - 7*q = 508. Is q a composite number?
False
Suppose -i - 4*f = -16, 4*f - 14 - 2 = -2*i. Let r = 2 + i. Is r prime?
True
Suppose -1 = 2*v + u - 2, -v + 3*u + 11 = 0. Suppose -5*c - 18 = 2*i, -v*c - 4*i + 5*i = 0. Let d = 37 - c. Is d a composite number?
True
Let x = 16 - -6. Is x composite?
True
Let q(w) = 163*w + 9. Is q(2) prime?
False
Suppose -3*d + 4038 = -w, -2*d - 2*w + 1726 + 958 = 0. Is d a composite number?
True
Suppose 5*z - 871 - 384 = 0. Is z composite?
False
Suppose 5 - 1 = -4*m. Let t be 1 + -2 - (m + 2). Is t/3 + (-65)/(-3) prime?
False
Is (-4189)/(-3) + 10/15 a prime number?
False
Suppose -c = 2*c. Suppose -o + 33 = -5*b, c*o = 2*o - b - 39. Suppose h - o = 3. Is h prime?
False
Suppose 0 = -2*f - 0*f - 112. Let q = -33 - f. Is q a composite number?
False
Suppose 9*l = 4*l + 25. Suppose l*k = 9 + 1. Suppose -2*u - m + 151 = k*m, u = -5*m + 58. Is u prime?
True
Is -1 - 560/(-8 - -4) a prime number?
True
Let f be (-38)/(-14) - 8/(-28). Let b = -4 + 0. Is f/b + (-430)/(-8) a composite number?
False
Let b = -142 + 459. Is b a composite number?
False
Let p(a) = a**3 + 7*a**2 + 5*a - 4. Let h be p(-6). Suppose 2*w - 122 = -h*z, -5*z = -w + 55 - 18. Is w a composite number?
True
Suppose -3*d + 2*l = -889, -d + 156 = -l - 139. Is d a prime number?
False
Suppose 12*o = 13*o - 1201. Is o a prime number?
True
Let j(y) = -58*y - 7. Let h be j(-5). Suppose 0 = 5*r + 4*p - h, p = 4*r - 4*p - 251. Is r a composite number?
False
Suppose 0 = 3*h - 2*b + 7, 7*b - 4*b - 11 = 4*h. Is (h - 0) + 2 + 212 composite?
True
Suppose 0 = -14*p + 22*p - 120. Is p composite?
True
Suppose 0*o - 2*o + 4 = 0. Suppose -540 = -o*p + 4*h, 4*h - 265 = -p - 1. Suppose -r - 3*r = -p. Is r a composite number?
False
Let r be ((0/3)/(-1))/1. Is (r - -3)*508/12 composite?
False
Let k(b) be the third derivative of -11*b**4/8 - 7*b**3/6 + 3*b**2. Is k(-6) prime?
True
Suppose -8*u = -5*u - 12. Suppose 0 = u*d - q - 0*q - 56, 0 = -3*d - 5*q + 19. Is d prime?
True
Suppose 2*f - a - 1300 = 0, -6*a + a = 5*f - 3235. Is f a composite number?
True
Let n(f) = 8*f - 17. Let y(d) = d**3 + 7*d**2 + 5*d + 6. Let i be y(-6). Is n(i) a composite number?
False
Suppose -4*p = -3*d + 43 - 8, 2*d - 25 = 3*p. Let a = 50 + d. Is a composite?
True
Is 405/2 + (-4)/(-8) prime?
False
Suppose 2*y = -z - 1, -5*z + 0*z + 19 = 2*y. Let b(u) = -83*u + 4. Is b(y) composite?
True
Let c(x) = 5*x**2 + 2*x - 2. Is c(-2) composite?
True
Suppose -2*l + 28 = -5*k - 91, 0 = -3*l + 2*k + 173. Let z(j) = 3*j**2 + 26*j - 6. Let b be z(-9). Suppose -3*v + l = 5*p - 32, -v + 11 = -b*p. Is v composite?
False
Suppose -1806 = -2*v - 0*v. Suppose v = 4*l - l. Is l a prime number?
False
Let f = -6 + 10. Let s = 222 - 100. Suppose 5*c + 272 = 5*z + 4*c, -2*z - f*c + s = 0. Is z prime?
False
Is (-3)/(9/(-6))*(-493)/(-2) composite?
True
Is (-17916)/(-45) + 4/(-30) prime?
False
Suppose 2 = g - 4. Suppose -1655 = g*z - 11*z. Is z composite?
False
Let l be (-3)/(-6) - 55/(-2). Let q = 43 - l. Is q a composite number?
True
Let l(u) = 12*u + 1. Let q(c) = c**2 - 4*c + 2. Let w be q(4). Let p be w/1*(1 - 0). Is l(p) composite?
True
Let z = 7 + -1. Let q = z + -1. Suppose 9*d = q*x + 4*d - 255, -d = 4. Is x a composite number?
False
Let y = -182 + 283. Suppose r - 4*w = 6*r - y, -2*r = -w - 43. Is r prime?
False
Suppose 0 = -2*v - i - 4*i + 27, 0 = -3*v + 5*i - 22. Suppose v = p - 3. Suppose -36 = -4*b - 4*u, -u - 2*u = -p*b + 36. Is b a prime number?
False
Suppose 5*u - 1710 = 185. Is u composite?
False
Suppose 18*m + 2757 = 21*m. Is m prime?
True
Suppose 0 = -0*u - 5*u - 3*h + 2759, 0 = -u - h + 551. Is u prime?
False
Let z(t) be the second derivative of t**4/12 + t**3/6 + 77*t**2/2 - 3*t. Let k(f) = -f**3 - 10*f**2 + 12*f + 11. Let h be k(-11). Is z(h) composite?
True
Suppose -4*p = p - 15. Suppose -p*o + 58 = -47. Is o prime?
False
Let z = 6426 + -3127. Is z composite?
False
Is -2 + (0 - 25)*-9 a prime number?
True
Let h be -211*1/1*-2. Suppose -h = -3*q + q. Is q a prime number?
True
Suppose -4*u = -9 + 1. Suppose -u*x - q = -969, 4*q - 2*q = x - 497. Is x composite?
False
Let m be (1 - 0)/((-2)/(-4)). Let c = m - -12. Is c prime?
False
Suppose -2 = -4*r - r + f, 0 = -f - 2. Let b(u) = 131*u**2 - 2*u + u - 1 + r*u. Is b(-1) prime?
True
Let o be (7 + -1)*(-37)/(-3). Let v be (-18)/(-6) + (-8 - -1). Is 6/(-3)*o/v a prime number?
True
Let o(t) be the second derivative of -17*t**5/10 - t**4/12 + t. Is o(-1) composite?
True
Let l = -35 - -552. Is l prime?
False
Suppose 4 - 136 = -4*c. Is c composite?
True
Suppose -5*i + 40 = -20. Let p = -7 + i. Suppose -9 = -b - 3*o, -p*b + 2*b = -2*o - 71. Is b composite?
True
Let n(v) = -14*v - 8*v - 21*v + 5. Is n(-4) composite?
True
Is 5 + 904 + -1 - 1 prime?
True
Suppose 2*y = 5*y - 12. Suppose -3*k - 3*c = 6, 2*k + 3 - 5 = y*c. Let n