e -i*y + 135 = -2*y. Let j = 176 - y. Is j prime?
True
Suppose 1284 = g + 3*g + 2*h, -2*h = -4*g + 1268. Is g composite?
True
Let y = 3897 + -2096. Is y composite?
False
Suppose 8 = 2*i - 3*x, -4*i - 4*x - 20 = -9*i. Is (23/2)/(2/i) a composite number?
False
Suppose -3*f + 0*f + 4606 = l, -f = 2*l - 1537. Is f prime?
False
Let z be 0/(2 + (-2)/2). Suppose -3*b + 105 = 3*x, -4*x - b - 4 + 159 = z. Suppose 1 = -3*m + x. Is m a prime number?
True
Let b = -3 + 3. Suppose b*i + 238 = 2*i. Is i a prime number?
False
Let s(v) = v**3 - v**2 - v - 1. Let r(w) = -w**3 + 2*w**2 + 3*w + 36. Let k(p) = r(p) + 2*s(p). Is k(0) composite?
True
Let i be (-8)/(-6)*(-513)/(-18). Let y = i + 0. Is y a prime number?
False
Let c = 52 - 35. Let x = -12 + c. Suppose -x*q + 170 = -15. Is q a composite number?
False
Let o = -23 + 49. Suppose 2*l - 6 = 4*c - o, -3*l + 14 = 5*c. Is (l - -2*1) + 115 prime?
False
Suppose 600 = c - 4*c. Let w = c + 328. Suppose 23 = -5*d + w. Is d a prime number?
False
Let o = 43 - 18. Suppose -5*c - o = -0*c. Let v = 72 - c. Is v composite?
True
Let w be (-1 + 2 - -1)/1. Let x(s) be the first derivative of s**3/3 + s**2/2 + s - 4. Is x(w) a composite number?
False
Let m = 887 + -210. Is m a prime number?
True
Suppose -9*n + 2246 = 293. Is n a prime number?
False
Suppose 0 = -a + 2*a - 2. Suppose -l - 6 = -3*l. Is -3 + -18*(a - l) a prime number?
False
Let x = 2 + 19. Let o = x - -18. Is o a prime number?
False
Let g = -10 + 15. Suppose 18 = 2*n + 4*j, g*n = -4*j - 0*j + 75. Is n composite?
False
Is 483 + (8 + -4)/(-2) composite?
True
Is (-1)/3 - (-112)/3 a composite number?
False
Let j be 6/2 + 0 + 0. Suppose 0 = -0*t + j*t - b - 41, -5*t + 59 = -4*b. Is (20/t)/(2/21) composite?
True
Let p(w) = 98*w - 12. Is p(7) composite?
True
Suppose 2*g + 0*g - 9 = -5*f, -3*f - 5*g = 6. Suppose -j - 4*j + 5 = -t, f*j + 4*t - 26 = 0. Suppose j*u = 7*u - 115. Is u composite?
False
Let b be 2/((-5)/3 - -2). Suppose 0*r = -2*r + 16. Let c = b + r. Is c a prime number?
False
Is 5*2/(-4)*-254 composite?
True
Let a(q) = -q**3 + 15*q**2 - q + 2. Is a(12) a composite number?
True
Is (2 - 3) + 5 + 1113 a composite number?
False
Let q be 0/(3 + -6 + 2). Suppose q = -4*n + 1 + 39. Let k = n + 5. Is k a prime number?
False
Let a(r) = 2*r**3 + 6*r**2 + 3*r + 7. Is a(8) a composite number?
False
Suppose 5492 = -t + 5*t. Is t composite?
False
Let s = 7 - 5. Suppose -2*u + 786 = 4*v, -3*u = s*v + 190 - 1369. Is u a prime number?
False
Let u be (0 - (-4 + 1)) + -1. Suppose 3*f + u*y = 109, -4*f - y = 2*y - 145. Is f a composite number?
False
Suppose 0 = -3*z + 5*z - 16. Let j(h) = -5*h + 8. Let v(i) = 19*i - 31. Let x(l) = -9*j(l) - 2*v(l). Is x(z) a prime number?
False
Let u(a) = 7*a**3 - 8*a**2 - 7*a + 7. Is u(5) a composite number?
False
Let i be 22/(-33) - (-34)/6. Suppose -i*n + 294 + 176 = 0. Is n composite?
True
Let q(l) = -l**3 - 10*l**2 + 4*l - 8. Is q(-13) composite?
True
Let t(j) = -j**3 + j**2 + j. Let a = -5 - -10. Suppose -w + 0*w = -b - 6, 18 = -a*b + 2*w. Is t(b) a prime number?
False
Let g = -14 - -16. Suppose -1765 = -3*w - g*w. Is w a composite number?
False
Suppose 4*d = a + 1509, -d + 0*d - 3*a + 374 = 0. Is d a composite number?
True
Let a(q) = q**3 - 7*q**2 - 7*q + 11. Suppose 3*g - 49 = -0*g + 5*k, -3*g - 2*k = -14. Is a(g) a prime number?
True
Let v = -107 + 158. Is v prime?
False
Let i(u) be the third derivative of u**7/1260 - u**5/40 - u**4/12 + u**2. Let o(a) be the second derivative of i(a). Is o(3) prime?
False
Let j(m) = 6*m**2 - 7. Suppose 3*f - 4 = -19. Is j(f) prime?
False
Suppose -6*i = -i - 15. Suppose -i*s + 0 = -h - 6, s - 5*h = 2. Suppose s*w = -2*w + 296. Is w prime?
False
Suppose -2*x = 5*f - 186, 3*x - 3*f - 7 = 230. Is x a prime number?
True
Let k(r) be the third derivative of -7*r**4/24 - r**3/3 + 2*r**2. Let s be k(5). Is -3*2/3 - s composite?
True
Suppose 0 = j - 0*j - 56. Suppose j + 40 = -4*t. Let o = t + 55. Is o a composite number?
False
Let k(p) = p + 7. Let x be k(-10). Is (-6)/(2/249*x) a prime number?
False
Let u = -90 + 89. Let v(l) = -23*l**2 + 1 + 150*l**2 - 17*l**2. Is v(u) composite?
True
Let z = 18 + -16. Let k be ((-9)/6)/(2/(-4)). Suppose 6 = -0*t + z*t, 0 = -k*s - 4*t + 69. Is s composite?
False
Let t be (-8)/(-36) - 122/(-18). Let u(h) = -5*h**2 + h**3 + 0*h + t + 0*h. Is u(5) composite?
False
Let s be 3/(3/2) + 3. Suppose 0 = -s*k - 8 + 443. Is k prime?
False
Suppose -5*j + 132 = 4*g - 19, -g = -j + 32. Is j a composite number?
False
Let b be ((-14)/5)/(7/(-315)). Suppose b = 4*u + j, 0*u - 3*j - 56 = -2*u. Is u composite?
False
Let b be ((-22)/5)/(2/10). Let d be (-4)/b + 62/22. Suppose 0 = 3*m - 15, 149 = 4*r + d*m - 14. Is r a composite number?
False
Suppose -w + 178 = w. Is w prime?
True
Suppose x - 20 = 6*x, -2*z + 5*x = -21364. Let o be 1/5 - z/(-40). Let u = o + -182. Is u composite?
True
Suppose -2*s + 16 = 2*s. Is -2*2/s - -116 prime?
False
Suppose 4*r = -2*x + 8, -2*r = 2*r + 3*x - 4. Is r/(8/78) - 1 a prime number?
False
Let p = -2 + 55. Suppose -g + 158 + p = 0. Is g composite?
False
Let h = 335 - 220. Is h a prime number?
False
Suppose -4*a + 16 = -3*j, j = -4*j - 2*a + 8. Suppose 0 = 3*f + 3 + 3, 3*v - 537 = -3*f. Suppose 5*m = 5*d - 3*d + v, -4*m + 2*d + 146 = j. Is m a prime number?
False
Let k be 1 - -1 - (0 - 2). Suppose -5*t + 3*h + 65 = 0, -3*t + 2*t + 13 = k*h. Is t a composite number?
False
Let v be -1*0*(-2)/(-6). Suppose v*w - 1115 = -5*w. Is w composite?
False
Suppose 0 = -9*v + 7*v + 8. Suppose -4*h = -8, v*a - 452 = 5*h - 26. Is a a composite number?
False
Let a(s) = -17*s**2 - 2*s - 3. Let r(g) = g**2. Let j(c) = -a(c) - 5*r(c). Let d be 1/(2/4 - 1). Is j(d) composite?
False
Suppose 3*c - 1709 + 398 = 0. Is c composite?
True
Suppose -3*z + 4*k = -k - 368, 3*k - 670 = -5*z. Is z a composite number?
False
Let w = 4 - 4. Suppose w = g - 98 - 58. Let y = g - 94. Is y prime?
False
Suppose 0*r = 7*r - 2317. Is r prime?
True
Suppose -6*i = -4048 - 428. Is i a prime number?
False
Suppose -16 = -r - 3*r. Suppose 0 = -u + r*u - 9. Suppose -252 = -3*w + u*l, -4*w - 5*l + 166 = -197. Is w a prime number?
False
Suppose 3*z = 3*f - f - 1769, 4*z = -20. Is f a composite number?
False
Let j be 583 + (-3)/6*0. Suppose -4*u - 5*w + 1753 - j = 0, 0 = -5*w - 10. Is u prime?
False
Suppose 0 = -b + 1 - 4, 4*b = 3*w - 3135. Is w a prime number?
False
Suppose -2*i + 9 = -n, 5*i + 2*n - 3 = -2*n. Let z = 5 - i. Is 93/z + 3/6 composite?
False
Suppose -4*z = -5*a + 61, 2*a - 20 = -2*a. Let b be (z - 0)*(-22)/3. Suppose -b = -0*c - 3*c. Is c a composite number?
True
Suppose 0 = -2*n - 315 + 33. Suppose 0*m = -6*m + 54. Is n*3/m*-1 composite?
False
Let f(m) = 15*m**2 + 3 + 2*m**3 - m - m**3 - 9*m**2. Is f(-5) composite?
True
Let a = 1178 - 169. Is a composite?
False
Suppose -x + 0 = -6. Is (147/x)/7*134 a composite number?
True
Let x(p) = p**3 + 6*p**2 - p - 3. Let j be x(-6). Let f = j - 1. Suppose -3*s = s + f*n - 316, 288 = 4*s - 5*n. Is s composite?
True
Suppose -5*v = 4*h - 0*h + 45, 0 = 3*h + 4*v + 34. Let y = 63 - 38. Let n = h + y. Is n composite?
True
Let d(r) = -r + 2. Let i be d(2). Suppose -3*x - 4 + 19 = -3*l, i = 4*l + 8. Suppose -4*s + 0*s + 17 = x*j, -j - s + 6 = 0. Is j a composite number?
False
Suppose -18*i + 17*i = -355. Is i a composite number?
True
Suppose -3*o + 13 = -2. Suppose 2*d - 345 = -5*r, -3*d + 2*r - 360 = -o*d. Is d a composite number?
True
Is -1 - 4 - (-2765 - 1) a prime number?
False
Let x = 587 + -374. Is x a prime number?
False
Suppose 0 = -2*p + s + 12, 3*p - 20 = 2*p + 4*s. Suppose 3*q - p*q = -155. Is q composite?
True
Let y be 11431/(-28) - (-1)/4. Let d = y - -709. Is d a prime number?
False
Suppose -p + 4*p - 3 = 0. Let z be (p + 0)*6/3. Is (z + 72)/(4/2) composite?
False
Suppose -v + 0*v = 2. Let c be v/(-4)*(1 - 1). Suppose h + c*h - 7 = 0. Is h a composite number?
False
Let j(b) = -b**2 + b + 40. Let n be j(0). Let p = 15 + n. Suppose p = -0*z + z. Is z a prime number?
False
Is 31 + (-12)/(-10)*50/15 a composite number?
True
Suppose -3*r = -3*m - 3 + 6, -3*r - 3 = -5*m. Let o(t) be the second derivative of t**4/12 + 23*t**2 - 34*t. Is o(m) a prime number?
False
Let w(b) = b. Let p be w(4). Suppose -p*d = d - 195. Is d prime?
False
Suppose -b = 3*b - 4. Let 