*i, 3*x + 0*i - 51 = a*i. Is x composite?
False
Is 5/(-25)*-5 - -130 composite?
False
Suppose -451 = -2*g + 179. Let o = 464 - g. Is o prime?
True
Let k = 235 + -168. Is k a composite number?
False
Let y = -332 + 551. Is y composite?
True
Let x(z) = 332*z**2 + z - 5. Is x(-4) a composite number?
False
Suppose 2*z - 3 = -1. Let c = 3 + z. Let m(g) = g**3 - 2*g**2 - 2*g - 5. Is m(c) a composite number?
False
Let o be (-2 - -5 - 0)/1. Suppose 4*t = o*t - 28. Is t/2*1/(-2) a prime number?
True
Suppose 5*u - 3*w = -29 + 2575, w - 3 = 0. Is u composite?
True
Suppose -q + 136 = 3*q. Let t = -19 + q. Is t a composite number?
True
Let b(i) = 4*i**2 - 22*i - 19. Let p(a) = a**2 - 7*a - 6. Let w(d) = 3*b(d) - 8*p(d). Let h(q) = 8*q**3 - q**2 + q. Let y be h(1). Is w(y) prime?
True
Let t(z) = -7*z**3 + 2*z**2 + 1. Is t(-2) a composite number?
True
Suppose y - 2 = -y. Is (1/(-3))/(y/(-213)) a prime number?
True
Let f = 1 - -4. Suppose 0*b = -2*b + f*n - 180, -184 = 2*b - 4*n. Is b/(-3) - (-1)/(-3) composite?
True
Is 1*4*1563/12 a composite number?
False
Let h be 4/(-8)*10/(-1). Suppose -75 + 480 = h*c. Suppose 4*z = -c + 389. Is z a prime number?
False
Let g = -83 + 504. Suppose -5*z + 849 + g = 3*r, -1305 = -5*z + 4*r. Is z composite?
False
Suppose -2*w = -0*w - 36. Suppose -5*j + m = -19, -2*m - w = -4*j + 2. Is 0 - j/(9/(-69)) a prime number?
True
Suppose -4*n = -5*n - 5*x + 20, n + 3*x - 12 = 0. Let p(f) = f + 57. Is p(n) a composite number?
True
Suppose 4*t - t = 4*v - 1, -t - 2*v = -13. Suppose t*p - 1 = -36. Is ((-6)/(-3) - 4)*p a prime number?
False
Suppose -b = 2*d, -4*d + 2 = 3*b - 2. Suppose -v = -2*g + 3 + 1, b*g = 4. Is v/(-3 - (-74)/26) composite?
False
Let y(f) = -f**2 - f + 307. Let q be y(0). Suppose 0 = 5*j - q - 63. Suppose h = 3*h - j. Is h a prime number?
True
Let t = 468 - 319. Is t a prime number?
True
Suppose -c + 98 = -488. Is c composite?
True
Let t be 4*-4*(-3)/(-6). Is 5/(-20) + (-1050)/t prime?
True
Is 8/(-2) - (7 - 1176) a composite number?
True
Suppose 11*t = 10*t + 286. Let h = t - 175. Is h a composite number?
True
Suppose -4*p = -73 - 51. Is p a prime number?
True
Let n(x) = -11*x**3 - x**2 + 3*x + 1. Let w(r) be the third derivative of -r**6/120 - 3*r**5/20 - 3*r**4/8 - 5*r**3/3 + 2*r**2. Let j be w(-8). Is n(j) prime?
True
Let m(p) = -3*p**2 + 12*p - 21. Let f(t) = -2*t**2 + 6*t - 11. Let v(s) = -5*f(s) + 3*m(s). Is v(-11) a composite number?
False
Suppose -2*a + 3*f + 15 = -0*a, 2*f + 10 = 3*a. Suppose a = x - 13. Is x composite?
False
Let j = 223 - -84. Is j a composite number?
False
Suppose f + 5*o - 27 = 0, 5*f - 10 = -2*o + 10. Let s be (2 - (f + -2)) + 48. Let l = -13 + s. Is l prime?
True
Suppose 1 = 4*t + 13. Let j(o) = -15*o**3 + o**2 - 2*o. Let y be j(t). Is 2/6 - y/(-9) a composite number?
False
Let z(i) = 3*i**2 + 2*i - 3. Is z(-4) prime?
True
Let p(b) = -b**3 - 4*b**2 + b + 4. Let w be p(-4). Let x(l) = -l**3 + l + 39. Let y be x(w). Let j = 76 - y. Is j composite?
False
Let n(o) = o**3 + 8*o**2 - 10*o - 4. Let g be n(-9). Let w(z) = -z**3 - 3*z**2 + g*z + 3 + 2*z**3 - 8 + 3. Is w(4) prime?
False
Let p be (-4)/14 - (-550)/(-35). Let v = p + -161. Let m = -86 - v. Is m prime?
False
Suppose -10*m = -3*m - 1855. Is m composite?
True
Let s = -61 + -143. Is s/(-8)*(-28)/(-6) a prime number?
False
Let n = 8 + -10. Let o(q) = -q**2 - 3*q + 1. Let a be o(n). Suppose -a*t + 93 = -54. Is t composite?
True
Let t(z) = -z - 3. Let u be t(-6). Suppose -6*a + 3*j + 9 = -4*a, 12 = a - u*j. Is 116 - (a - (0 - 0)) a composite number?
True
Let z = -105 + 220. Is z a prime number?
False
Suppose -1148 = -7*f - 7*f. Is f a prime number?
False
Let f = -8779 + 22734. Is f composite?
True
Let s = 247 + -12. Suppose -r + 0*r + 3*m + 55 = 0, -s = -4*r - 3*m. Is r a prime number?
False
Let a(z) = 2*z**3 + 4*z**2 - 1. Suppose 9*w - 4*w - 20 = 0. Is a(w) a composite number?
False
Suppose 5*s + 31 = 2*h, 7 = -2*h - 2*s + 3. Suppose 4*k - h*a + 45 = 8*k, 5*a + 25 = 0. Let q = 76 + k. Is q a prime number?
False
Let p(v) = 2*v**3 - 4*v**2 + 3*v + 3. Let j be (-4)/(-14) + 130/35. Let q(n) = -n + 8. Let w be q(j). Is p(w) a composite number?
False
Suppose -5*i + 0*i + 10 = 0. Suppose h + d = 112, -h + i*d = -2*h + 113. Suppose -h = -3*j + 180. Is j a composite number?
False
Is (51/(-6))/(13/(-4082)) a prime number?
False
Suppose f - 4 = 4*j + 3*f, 2*j + 5*f = -10. Let y be j - -1 - (0 - 2). Suppose 0 = -y*p + 5*p - 98. Is p composite?
True
Is 39/(-26) + (-1637)/(-2) prime?
False
Let o(n) = -8*n - 33. Is o(-7) a prime number?
True
Suppose 3*t + 43 = 133. Is 3/(-5) - (-8808)/t prime?
True
Let c be (6/2)/((-1)/2). Let x be (-40)/c + (-6)/9. Suppose 0 = -3*f - s - x + 96, -s = 3. Is f a prime number?
True
Let j = 52 - 19. Is j a composite number?
True
Let y(l) = l**2 + 2*l - 3. Let f be y(3). Suppose 5*t - f = a, 3*t + 4*a = 5*t + 6. Suppose 50 = t*w - 55. Is w a prime number?
False
Suppose 3*b = 2*q + 10, -q + 3 = -3*b + 14. Suppose 83 = t + b*r, -3*t + 4*r = 2*r - 193. Is t a prime number?
True
Let v = 262 + 157. Is v a prime number?
True
Let z(v) = -4*v**2 + 11*v - 5. Let s be z(7). Is ((-70)/40)/(1/s) a prime number?
False
Suppose -541 + 2047 = 6*x. Is x composite?
False
Let g = -7 - -9. Suppose -3*b - p = -4657, 0*b - g*p = -4*b + 6226. Is ((-1)/3)/((-7)/b) prime?
False
Let y = 4444 + -2475. Is y a prime number?
False
Let i(p) = -p**2 + 4*p**3 + 3 - p**2 + 13*p**3 - 2*p. Is i(2) a composite number?
False
Let b be (-5 - -4)*(2 - 2). Suppose 0 = -b*u - 5*u + 805. Is u a prime number?
False
Is 5*157 + (10 - 8) a composite number?
False
Let l = -6 + 4. Let u be l/(-10) + 10077/15. Is (-1)/5 - u/(-10) composite?
False
Suppose -23 = -3*i + 13. Suppose 3*g - 27 = i. Is g a composite number?
False
Suppose -3*l + l + 4 = 0. Suppose l*g - 177 = 85. Is g composite?
False
Suppose -d - 6 = -2. Is (178/(-6))/(d/12) a prime number?
True
Let r be (-18)/4*8/(-6). Let k = 79 + r. Is k a prime number?
False
Suppose 5*v - 4*c - 6071 = 0, -3*c - 12 = -0*c. Is v a prime number?
False
Let y(q) = -24*q**3 - 2*q**2 - q - 1. Let b be y(-3). Suppose 0 = -2*x + 3*x + b. Is x/32*(-5 - -1) a prime number?
True
Let v = 2 - -121. Is v composite?
True
Let y(q) = -2*q**2 + 6*q - 2*q + q**2 - 1. Let v be y(2). Suppose u = -v*c + 67, -3*u + 9 + 152 = -c. Is u composite?
True
Let b(v) = -9*v - 4. Let g be b(6). Let r = g + 107. Is r a composite number?
True
Let q(n) = -2*n**3 + n**2 + n + 1. Let a be q(-1). Suppose 2*i - a - 5 = 0. Suppose 9 = i*l - 3*o - 10, 2*o + 2 = 0. Is l composite?
True
Let b(f) = f**2 + 2*f - 3. Let z be b(-4). Suppose 0*a + 1 = -2*i + 5*a, 3*i - z = a. Suppose -2*h + 5*c = -56, i*h + 0*h - 2*c = 50. Is h a prime number?
True
Suppose 3*c - 5121 = -5*i - 629, 0 = -5*i + 2*c + 4472. Suppose 5*x = 3*x + i. Is x/20 + 4/(-10) a prime number?
False
Suppose -1660 - 3755 = -3*t - 3*h, 4*h = 5*t - 8989. Is t prime?
True
Let n = -85 - -120. Suppose 5*b + 3 = 28, 2*o = 5*b - n. Is o/((-45)/(-6))*-33 composite?
True
Let m be 4 - 1/4*4. Suppose -x + 4196 = m*x. Is x a prime number?
True
Let l(v) = 6*v**2 - 4*v - 8. Let q be l(-6). Let b = 469 - q. Is b a prime number?
False
Suppose 5304 + 5461 = 5*a. Is a composite?
False
Let s(y) be the second derivative of 63*y**5/10 + y**4/12 - y**3/6 + y**2/2 + 4*y. Is s(1) prime?
True
Let p(u) = 2*u**3 - 2*u**2 - 3*u + 2. Let x be p(2). Is (x - 1/(-1))*11 prime?
False
Is 35 + (-1)/(-1) + -1 a prime number?
False
Let l(n) = -n**3 + 2*n**2 - n + 1. Let g be l(1). Let h = 8 - g. Is h a prime number?
True
Let d(u) = u**3 - 7*u**2 + 7*u + 4. Let i be d(6). Let j(b) = -b + 4. Let p be j(4). Let l = p + i. Is l a composite number?
True
Let o = 33 - 8. Suppose q - o = m - 3*m, -5*q = -3*m + 18. Let h = 18 - m. Is h prime?
True
Suppose 6*f = f - 4*o - 5, 2*o + 1 = -3*f. Suppose -k = -x + 442, 7 = -f*k + 16. Is x prime?
False
Suppose 0 = 4*r - 3*z - 392, -r = z + 30 - 128. Let d(t) = -t**3 + t**2 - t + 390. Let p be d(0). Suppose -3*m + p = 2*m + 5*i, -m = -3*i - r. Is m composite?
False
Suppose 0 = -k + 5*y + 75 + 8, 2*y - 523 = -5*k. Is k composite?
False
Suppose 4*b - 12 = b. Suppose -s + 281 = r - 191, -r = -b*s + 1863. Is s prime?
True
Suppose -2*z - 20 = -4*i, -4*i + 5*z = -i - 29. Suppose 2*w + f + i = 0, 0*w + 4*f + 8 = -4*w. 