prime number?
False
Suppose 2*l = -2*x + x - 17, 0 = -2*l - 3*x - 27. Let q = l - 0. Is 1*87/(-9)*q a composite number?
True
Suppose 3*o = 2*u + 2101, -2*o + u = -6*o + 2805. Is o composite?
False
Suppose 2*k - 4*g = g + 408, 0 = -k + g + 207. Let o = k - 76. Is o a prime number?
False
Let h be (-1)/((-1)/193 - 0). Suppose -h = -3*w - 28. Is w a composite number?
True
Suppose -y - 9 = -j, -4*j + 27 = 3*y + 2*y. Suppose 10 = 4*i - k, -5*i + k = -2*i - j. Is (i - 3)/(-1) + 84 prime?
False
Is 139 + 15 + (-1 - -2) a composite number?
True
Let w(k) = -k**2 - 8*k + 4. Let p be w(-8). Suppose 80 = p*r - 124. Is r a prime number?
False
Let q(g) = g**3 - 8*g**2 - 9*g + 4. Let a be q(9). Let m(o) = -o**3 + 5*o**2 + 4*o - 1. Is m(a) composite?
False
Suppose 0*j - 2*c - 7380 = -4*j, 4*c + 1859 = j. Is j prime?
False
Is 121 + 0 + (4 - 3) a composite number?
True
Let q = -27 - -18. Let f(p) = p**3 + 9*p**2 - 9*p + 8. Is f(q) prime?
True
Let m = -3136 - -5975. Is m a composite number?
True
Let j(s) = -s**3 + s**2 + 201. Is j(0) a prime number?
False
Suppose 4*j - 4 - 2 = 2*l, 2*l = 6. Let h(s) = 22*s + 1. Let v be h(1). Is -6*(0 - v/j) a prime number?
False
Suppose k - 57 = 36. Is k a prime number?
False
Let s(o) = o**3 - 3*o**2 - 4*o + 4. Let w be s(4). Is (w/(-6))/(8/(-708)) a prime number?
True
Is 7/(4 - (-1302)/(-326)) a prime number?
False
Suppose 0*h - 2*h = 0. Let l = -22 + 27. Suppose h*b - l*b = -30. Is b composite?
True
Suppose 3 = -l, 5*u + 0*u - l = 13. Suppose 2*c - c - 215 = -u*m, -3*m = -5*c + 1127. Is c a prime number?
True
Let x(y) = y + 8. Let r be x(-4). Suppose 0 = -r*a + 32 + 8. Is a a prime number?
False
Let r = -108 + 223. Suppose -4*c = -3*p + 16 + r, -174 = -4*p + 5*c. Suppose 58 + p = 3*s. Is s a prime number?
False
Let a = 54 + -91. Let c = a - -89. Suppose -p = p - c. Is p a composite number?
True
Let k(d) = d**2 - 7*d + 12. Let q be 8 - (1 + (-2)/2). Let f be k(q). Suppose 4*v - f = 4. Is v composite?
True
Suppose -591 = -3*f + 3*n, -3*n - 582 = -4*f + 203. Let o = -109 + f. Is o a composite number?
True
Let t be -1 + 4 + -5 + 0. Let w = 3 - t. Suppose i + 270 = 3*i + w*v, 0 = 3*i + v - 431. Is i prime?
False
Let d(o) = -o**2 - 7*o + 4. Let r be d(-7). Let x be (-51)/(-2) - 2/r. Suppose -4*a - 5*t + 84 = 0, 5*a + 4*t = 89 + x. Is a composite?
True
Let b = -1 - -6. Suppose 0 = -i - b*p + p + 87, -5 = -5*p. Is i prime?
True
Suppose 4*v - 5348 = 5*z, 4*v + 0*v = 2*z + 5348. Is v composite?
True
Let h(c) = -c + 12. Let f be h(9). Let j(r) = r**2 + 0 - 3 - f*r + 6. Is j(6) a prime number?
False
Suppose -3*w - w = -172. Is w a composite number?
False
Let h = 12 + -8. Suppose -h*z + 52 = -52. Let t = z - 15. Is t a composite number?
False
Let d(h) = -92*h + 6. Let p be d(4). Let i = 715 + p. Is i a prime number?
True
Let k = 9 + -5. Suppose 0 = k*l + 5*f - 604, -3*f - 12 = -0*f. Suppose -4*a = 2*y - 210, 0*y = 3*a + y - l. Is a prime?
False
Suppose -3*s + 608 = -187. Is s a composite number?
True
Let x(n) = n**3 - 6*n**2 + 10. Let f = 5 + -5. Suppose 2*b - 3*b + 7 = f. Is x(b) composite?
False
Let f(i) = -i - 12. Let a be f(-11). Suppose t = -0*t - 24. Is (-1)/(t/22 - a) prime?
True
Let s be 3 - (-2 + 2 - 0). Let g = s + 1. Suppose b = g*y + 205, 0 = -2*b + 6*b + 2*y - 730. Is b composite?
True
Suppose -2*w - 4*q - 283 - 5 = 0, -3*q - 15 = 0. Let y = w - -196. Is y composite?
True
Let r(z) = z**2 + z - 17. Is r(-5) prime?
True
Let u(m) = 19*m + 3. Let l(d) = 19*d + 2. Let a(i) = -5*l(i) + 4*u(i). Let z be (-4)/(-8)*-2 - 4. Is a(z) a prime number?
True
Let c = 5 + -3. Suppose 6*l = 2*a + 3*l - 10, -5*l - 6 = c*a. Suppose 0 = 2*y + 2, -101 = -2*b - 3*y - a*y. Is b a composite number?
False
Suppose 5*t = 3*t + 284. Is t a prime number?
False
Suppose 2*u - u = 33. Suppose u = z - 32. Is z a composite number?
True
Let u = 208 + -117. Is u prime?
False
Let r(x) = -x**3 + 6*x**2 - 4*x + 7. Let q be r(5). Suppose f - 62 = q. Is f prime?
False
Let u(p) = 7*p**2 - 16*p - 5. Is u(10) a composite number?
True
Let j be (-2)/(-2)*15/(-3). Let h = 12 + j. Is h a prime number?
True
Suppose 9*i - 4*i + 639 = 3*r, 0 = 2*r + 2*i - 426. Is r composite?
True
Let j(o) = -o**3 + 6*o**2 + 7*o + 3. Let l be j(7). Suppose l = 3*x - 12. Is (x/(-4))/(2/(-88)) a prime number?
False
Let r(u) = u**2 - 7*u - 2. Suppose -3*b - 13 = -5*j + 36, 0 = -5*b - 15. Let o be r(j). Suppose -4*l = -o*s + s + 163, 2*l = s - 35. Is s composite?
False
Suppose -4*d - 3165 = -1233. Is 4/6*d/(-7) a composite number?
True
Let b(h) = -h**3 - 7*h**2 - 3*h + 5. Let o = -13 - -6. Is b(o) prime?
False
Suppose 0 = -6*w + 12770 - 2156. Is w a composite number?
True
Suppose -c + 2*q = -131, -6*c + 629 = -c + 3*q. Is c composite?
False
Suppose 8*s = 3*s - 10. Let x be 0 + -1 - (-1 - s). Let f(n) = 5*n**2 + 3*n. Is f(x) a composite number?
True
Is (31938/(-18))/((-5)/15) a prime number?
True
Let w = 10 - 7. Suppose -171 = -w*l - 2*l + a, -3*a + 12 = 0. Is l composite?
True
Suppose -3*r = -r - 5*b - 2859, r - 1428 = 3*b. Is r a composite number?
True
Let u = -15 + 17. Is u a composite number?
False
Let z = -50 - -4. Let v be 4/10 + z/(-10). Suppose -2*j = -v*j + 69. Is j a composite number?
False
Suppose -2*b = -4*i + 170 + 112, 5*b + 665 = 2*i. Let q = b - -226. Is q a composite number?
True
Let i(n) = -n**2 + 7*n + 8. Let q be i(8). Let d(t) = -4*t**2 + 4*t + 2. Let p be d(4). Let f = q - p. Is f a composite number?
True
Let h = 2763 - 868. Is h prime?
False
Let z be (-2)/8 - 17/(-4). Suppose 4*j + z = 52. Is -4*((-237)/j + -1) prime?
True
Suppose -3*a + 2*m = -6215, -4144 = -2*a - 5*m + 6*m. Is a composite?
True
Let p(g) = 288*g**3 - 2*g**2 + 2*g - 1. Is p(1) a composite number?
True
Let z = -19 + 31. Let o = z - 8. Suppose -5*x + 71 = -o*x. Is x prime?
True
Let a = 0 + 4. Suppose -5*b + 11 + a = 0. Suppose -b*c = -c - 86. Is c a composite number?
False
Suppose -z + l = 2*z - 2, -4*l = -4. Let i be (-1 - z)/(1/4). Is (-2922)/i - 2/8 a prime number?
False
Suppose 0 = 5*o, u + 2*o = -3*o + 5. Suppose -7*y = -i - 3*y + 287, -u*y - 583 = -2*i. Is i a prime number?
False
Suppose 0 = 3*u - 4 - 8. Is 5/(u*(-3)/(-276)) a composite number?
True
Suppose 3*k - 8 = -k. Suppose -122 = -5*d - k*q - 2*q, 2*q - 50 = -2*d. Is d composite?
True
Suppose 0*l + 2*l = 6. Suppose 4*j - 23 = l*j. Is j a prime number?
True
Suppose 418 = 2*w - 172. Is w prime?
False
Suppose i - 5*m + 9 = 0, 2*m - 15 = -2*i + m. Suppose -3*r + i = -w, 0 = 3*r - w + 2*w - 12. Suppose 0 = -2*u + 3*n + 18, 0*u - 9 = -u + r*n. Is u composite?
True
Suppose 9*m - j - 2195 = 4*m, -5*j + 851 = 2*m. Let f = -277 + m. Is f a prime number?
False
Let d = 33 - -260. Is d prime?
True
Let j = 167 + -118. Suppose j = p - 8. Is p a prime number?
False
Is ((-564)/(-9) - 2)*3/2 a prime number?
False
Is -3*(2379/(-9) - -2) a prime number?
True
Let i be 24/(-8)*(-127)/(-3). Let l = 261 + i. Is l composite?
True
Suppose -2*q + z = -2*z - 448, -4 = 2*z. Suppose -3*j + q = 4*v, 5*j + 2*v = -0*v + 387. Is j a prime number?
True
Let h(i) = 60*i**3 + 2*i**2 - 1. Let s = 7 - 5. Is h(s) a composite number?
False
Let h(a) = 11*a + 39. Is h(18) a prime number?
False
Suppose 3*p + 785 = 4*p. Is p prime?
False
Let x = -22 + 59. Is x prime?
True
Suppose 79 = 3*a + b - 189, -5*b = 5*a - 450. Is a prime?
True
Let j be ((-4)/(-10))/((-1)/85). Let a = 53 + j. Is a a composite number?
False
Suppose 3*m + 177 = 4*m + 2*f, -f = 3. Is m composite?
True
Let i = -6535 + 10398. Is i composite?
False
Let w(p) = 212*p**2 + 12*p + 21. Is w(-4) prime?
False
Suppose 4 = h + h. Let m be 7*h + 8/(-4). Suppose m = b - 2. Is b prime?
False
Let v(o) = 4*o**2 + o. Let g be v(-2). Suppose -2*m = -106 + g. Suppose 2*p = -2*s + m, -2*s + p + 15 + 19 = 0. Is s a prime number?
True
Let c(m) = 3*m**2 + 9. Let o be (3 + 2 - 1) + -12. Is c(o) a composite number?
True
Let d(x) = 6*x**3 - x**2 + 3*x + 4. Let j be d(3). Is ((-2)/1)/((-2)/j) a prime number?
False
Is 8587/7 + 4/14 a composite number?
True
Let k = -1459 - -2094. Is k a prime number?
False
Let g(q) = q. Let w be g(2). Suppose -w*z + 4*r = -170, -4*z + r + 167 = -2*z. Is z a composite number?
False
Let k = 2 - -7. Let v(a) = -k*a - 5 + 2 + 2*a**2 + 0. Is v(8) composite?
False
Let m(s) be the third derivative of -s**4/24 + 4*s**3/3 + 3*s