Is (-2 + 0)/(y/(-89)) prime?
True
Suppose 5 = s + 6, -4*z - 19 = -s. Let n = z - -8. Suppose n*m + 2*m = 75. Is m a composite number?
True
Let r = -472 - -1257. Suppose -5*w - 2*m = -0*w - 1307, -m + r = 3*w. Is w prime?
True
Suppose -z + 2 + 12 = -2*w, 0 = 2*z - w - 19. Suppose -z = -i - i. Suppose i*c - 18 = c. Is c composite?
True
Let t be 97/3 + 10/15. Is t + 2 + 4/2 a prime number?
True
Let z(p) = -p**3 + 8*p**2 - 6*p - 3. Let g = 18 + -11. Let l be z(g). Suppose 0*i = 2*c - i - 96, -2*i = -l. Is c a composite number?
True
Let c be (4/6)/((-6)/(-54)). Suppose -5*j = 5*a + 25, 2*a - 10 - 34 = 4*j. Is (-5*3)/(j/c) composite?
True
Let q be ((0 - -33) + 2)*1. Let w = q + -10. Suppose -2*t - u + w + 9 = 0, 0 = 3*u + 12. Is t prime?
True
Let t be -2 + (1 - 1) + 52. Suppose 5*q + r - t = 6*r, -3*r = q - 18. Suppose 0 = -4*h + 2*h + q. Is h a prime number?
False
Let x be ((-48)/10)/((-1)/(-5)). Suppose -71 = g - 2*g. Let z = x + g. Is z composite?
False
Suppose -7 + 3 = -2*r. Is 420/(-18)*(-3)/r a composite number?
True
Let i be 2/(0 + 2/6). Suppose -v = -i*v + 430. Is v composite?
True
Suppose -5*n + 3266 = -3629. Is n composite?
True
Let l = -6 - -8. Is ((-124)/(-8))/(1/l) a composite number?
False
Let r(y) = 62*y - 1. Let a be r(1). Let p = 70 + -108. Let c = a + p. Is c composite?
False
Suppose -4*l = 8, -x + 3*l + 834 + 25 = 0. Is x a composite number?
False
Suppose 7*u - 6*u = 1481. Is u composite?
False
Let z = -1247 + 884. Let b = -206 - z. Is b a prime number?
True
Suppose -5*u - 4*y = y - 40, y = 4. Suppose -367 = -u*w - 35. Is w - -4 - 2*-1 a prime number?
True
Let d(v) = 101*v - 12. Is d(7) composite?
True
Is (-358 + -9)*(-9 + 2) a composite number?
True
Suppose -j + 89 = -2*k, -5*j + 4*k + 119 = -326. Is j a prime number?
True
Let g be (-79)/3 - 2/(-6). Let c be 1*(1 - (-39 + -1)). Let w = c + g. Is w a composite number?
True
Let z(j) = 2*j**2 + 2*j - 7. Let p be z(-5). Let a = 178 + p. Is a a prime number?
True
Let u(s) = 22*s + 11. Let i be u(-9). Let o = i - -300. Is o a prime number?
True
Let f(g) = g**3 - 3*g**2 - 4. Let x be f(3). Let s(b) = -6*b - 3. Is s(x) composite?
True
Is (0 + -762)*7/(-14) prime?
False
Let a(q) = -q**3 - 5*q**2 + 2*q + 5. Let u be ((-2)/(-3))/(4/(-42)). Is a(u) a composite number?
False
Let f(s) = -41*s - 14. Is f(-5) a prime number?
True
Let x be ((-18)/(-12))/((-1)/(-624)). Let w = x - 643. Is w a prime number?
True
Let u(i) = -i**3 - 10*i**2 - 6*i + 1. Let m be u(-9). Let t be 632/52 + 4/m. Is (t/(-18))/(2/(-63)) a prime number?
False
Let n be 0*(-3)/(-6) + 32. Let c be ((-9)/(-4))/((-12)/n). Is ((-22)/c)/(5/45) composite?
True
Suppose -i + 2*i = -25. Let y = -3 - i. Is y a composite number?
True
Let v(l) = -4*l**3 + 4*l**2 - 9*l + 2. Let c(y) = 3*y**3 - 3*y**2 + 8*y - 2. Let w(x) = 6*c(x) + 5*v(x). Let a be w(2). Is 34/(a*(-2)/28) composite?
True
Let n be 14/4 + 18/(-12). Suppose 0 = -n*f - 0*f + 22. Suppose i = -3*p - 3*i + 73, f = p - 2*i. Is p a composite number?
False
Let c(o) = 4*o**2 + o - 3. Suppose 2*u + 44 = 4*r, -5 = 3*r + 2*u - 31. Let p = 6 - r. Is c(p) prime?
False
Let b be (42/(-35))/(3/50). Is b/(-3) + (-6)/9 a composite number?
True
Let u(x) = 7*x**3 + 0*x - 1 + 4*x**3 - 2*x. Is u(2) composite?
False
Let z = 1069 - 414. Suppose 7*w - z = 2*w. Is w a prime number?
True
Let a = -1655 - -2497. Is a a composite number?
True
Suppose 0 = 5*n - 3*n + 298. Let l be (0 - 1)*(1 + n). Suppose 4*c + l = 8*c. Is c a composite number?
False
Suppose -3 = -z - 0*z. Suppose -102 - 231 = -z*r. Is r composite?
True
Suppose 0 = 3*h + 20 + 7. Is (12/h)/2*-87 composite?
True
Suppose 0 = -10*p - 5*p + 1005. Is p a prime number?
True
Let i(c) = -10*c + 1. Let a be i(-5). Let g(v) = -136*v. Let n(t) = -17*t. Let l(h) = a*n(h) - 6*g(h). Is l(-1) a prime number?
False
Let z be (-4)/2 - (0 + -1). Let t = z + 4. Suppose t*h = -5 + 488. Is h a prime number?
False
Is 15247/5 + 168/30 + -6 a composite number?
False
Suppose 5*d = -2*f - 18, 13 = -4*f - 3. Suppose 0 = 3*l + 4*k + 23, -3*l - 3*k = -l + 15. Is 80 + l/(-6)*d a composite number?
True
Suppose -5*s - 2*f + 1639 = 0, -4*f - 622 = -5*s + 1035. Is s a composite number?
True
Suppose 0*z = 2*y - 5*z - 411, -2*y + 405 = z. Is y a prime number?
False
Suppose 5*p + 633 = 8*p. Is p a composite number?
False
Let n(c) = -4281*c + 8. Is n(-1) a prime number?
True
Suppose 3*s + s - 4 = 0. Let m = 126 + s. Is m prime?
True
Let n = 322 + -177. Is n prime?
False
Let d = -11 - -9. Is ((-4)/(-2))/(d/(-205)) prime?
False
Let q = -139 - -1682. Is q composite?
False
Let k = 48 + -29. Is k a prime number?
True
Suppose -22 = -5*r + 433. Suppose 5*s - r = 39. Is s prime?
False
Suppose -4*k + 5*a - 5 = 0, -4*k + 2*k - 5 = -5*a. Suppose k*w = -3*w. Let x(h) = h**2 + 35. Is x(w) a prime number?
False
Let y(d) = -d**3 - d + 5. Let z be y(0). Let k(n) = n**2 - 2*n - 3. Let m be k(-3). Is z/4*(0 + m) composite?
True
Let u(b) = 87*b**2 + 3*b + 19. Is u(-4) prime?
True
Let m(g) = 13*g**2 - 4*g - 3. Let w(t) be the first derivative of 3*t**4/4 + 2*t**3/3 - t + 1. Let j be w(-1). Is m(j) a composite number?
True
Let r = 352 - 246. Is r a composite number?
True
Let s be (2*1)/(8 + -7). Suppose -b + 224 = s*b - 5*t, 2*b + 3*t = 181. Is b a prime number?
True
Let z(s) = 2*s**2 + 4*s - 23. Is z(-29) prime?
True
Suppose 2*l - 8 = 0, 0 = 2*y + 3*l - 5*l + 4. Is y - ((-1)/1 + -296) a composite number?
True
Let y = -295 + 1008. Suppose 0 = -5*c + 4*i - 4648, 0 = -c + 5*i - 204 - y. Is c/(-20) - 2/(-5) composite?
False
Suppose -490 = -4*f + 354. Is f composite?
False
Suppose 14*k + 580 = 18*k. Is k a composite number?
True
Let g(j) be the third derivative of -j**6/60 - j**5/12 - j**4/8 - 5*j**3/6 + j**2. Is g(-4) a composite number?
True
Suppose -2*r - 2 - 1 = q, 2*r + 21 = 5*q. Suppose -5*k = 4*m - 164, -2*m - 41 = -3*m - 4*k. Suppose -q*x = -m - 64. Is x a prime number?
False
Suppose 3*p = 2*w + 2*w - 23, -w - 3*p - 13 = 0. Suppose -w*l = 8 - 2. Is (1090/15)/((-2)/l) composite?
False
Suppose -5*g - 3 = -2*g, 0 = -2*z - 5*g - 911. Let u = -82 - z. Is u prime?
False
Let r = 7671 - 2318. Is r a composite number?
True
Let v(d) = 48*d**2 - 2*d + 5. Is v(-3) a composite number?
False
Let g = 2006 + -713. Is g prime?
False
Let a(z) = 2*z**2 - 2*z + 3. Let b(w) = -w - 2. Let j be b(-2). Let p be (4 - 2) + j + 0. Is a(p) a prime number?
True
Is 6154/(-3 + 7 + -2) a composite number?
True
Let b(k) = -16*k**3 + 6*k**2 - 5*k - 6. Let d(p) = -16*p**3 + 5*p**2 - 4*p - 5. Let w(j) = 5*b(j) - 6*d(j). Is w(1) composite?
True
Let k = -595 + 1506. Is k composite?
False
Is (2/(-6))/((1 - 0)/(-3219)) composite?
True
Is 5 + 3 + -5 + 136 composite?
False
Let o be 1/(-2)*6 - -1151. Suppose 0 = -3*h + 7*h - o. Is h prime?
False
Let v = -7 - -10. Is (-4 - -2) + v - -20 a composite number?
True
Let k = 124 - 62. Is k a composite number?
True
Suppose 9 = -r - 11. Is (-856)/r + 2/10 composite?
False
Is 596/6*(-21)/(-14) a prime number?
True
Let j be (-5)/25 - 16/(-5). Let q(v) = 17*v + 2. Is q(j) a prime number?
True
Suppose o - d - 11602 = 0, -o - 6*d + 5*d + 11592 = 0. Is o prime?
True
Let z = -639 + 1270. Is z composite?
False
Let j(a) = a**3 + 7*a**2 - 7*a + 11. Let z be j(-8). Let v = z + -2. Is (-1)/((-1)/149)*v prime?
True
Let l be (-3705)/(-6) + (-6)/(-4). Suppose 0 = -5*q - 5*g + 1465, -33 = 2*q - 5*g - l. Is q a composite number?
False
Suppose -4*s = -5*j + 2120, -1679 - 441 = -5*j - s. Let a = j + -275. Is a composite?
False
Let t(m) = 3*m**3 - m**2 + m. Let v be t(1). Suppose s - 88 = -v*s. Is s prime?
False
Let z(o) be the second derivative of -o**5/20 - 5*o**4/6 + 13*o**3/6 + 17*o**2/2 - 2*o. Is z(-12) a composite number?
False
Let s(x) = 2*x - 1. Let q be s(2). Suppose 5*z + f = 2 + 9, -q*z = -f - 5. Is -1*((-2)/z + -2) a prime number?
True
Let i = -197 + 374. Is i a prime number?
False
Suppose 2*l + 2*l = 1752. Suppose -3*x + l - 81 = 0. Is x composite?
True
Suppose 2*v + 255 = p, 0 = 3*p + p - 5*v - 1032. Is p a prime number?
True
Let q(l) = -5*l - 9. Suppose 0 = -3*r - 3*d - 57, 4*r - 5*r + 2*d = 13. Let b be (-3)/(-6) + r/2. Is q(b) a composite number?
False
Let c = -3 + 7. Suppose -5*x - 66 = 2*d - 225, c*d = -5*x + 163. Is x a prime number?
True
Let r(z) = z**2 - 143. Let u be r(0). Let q = -77 + u. 