 -v - g*v. Is v a composite number?
True
Is (1651/(-26))/(2/(-4)) a composite number?
False
Suppose -3*y - 3*t + 149 = -427, 5*y - 952 = 3*t. Is y a composite number?
False
Suppose 0 = 4*f - 478 - 482. Let h = f - -49. Is h a prime number?
False
Let c(a) = a**3 - 6*a**2 - 4*a - 6. Let k be c(5). Let q = k + 15. Let x = 74 + q. Is x composite?
True
Suppose -5855 = 6*g - 11*g. Is g a composite number?
False
Let n = -228 - -467. Suppose j + k = 4*j - 342, -2*j = 3*k - n. Is j composite?
True
Is 27/(-18) + 4194/4 a composite number?
True
Suppose -8144 = -15*v + 3391. Is v a prime number?
True
Let p = 128 + -15. Is p prime?
True
Let b(u) = 3*u**3 - 2*u**2 + u + 1. Suppose 0 = 3*k - 0*k - 3. Let h(p) = 2*p. Let y be h(k). Is b(y) composite?
False
Is (-4698)/(-8) + (-13)/52 a prime number?
True
Let h(o) = o**3 - 3*o**2 - o + 2. Let l be h(3). Is (-1 + l - 1) + 40 prime?
True
Suppose 2727 = h - 1036. Is h prime?
False
Suppose 4 = -r - 2*z + 7*z, 6 = 3*r + 3*z. Is (-2 + 129)/(0 + r) composite?
False
Let j = -953 - -1452. Is j a composite number?
False
Let g = -8 - -16. Let y be (-1494)/g - (-5)/(-20). Is (-9)/(-15) - y/5 composite?
True
Let x = 48 + 38. Let c = 213 - x. Is c a composite number?
False
Suppose 4*p = -2*s + 20, -5*p - 2*s - s = -26. Let c = 19 - -10. Suppose -c - 119 = -p*d. Is d a prime number?
True
Is (3 - 2) + 4100/2 a prime number?
False
Let v(g) = -11*g**3 + g + 1. Let x be v(-1). Suppose -5*h + x + 40 = 2*d, -2*h + 2 = 0. Is d prime?
True
Suppose -710 - 1300 = 2*v. Let i = -674 - v. Is i a composite number?
False
Let x = -413 - -1455. Is x a prime number?
False
Suppose -k + 3*a + 118 = -175, -4*a - 294 = -k. Let z = -135 + k. Is z composite?
True
Let k = -182 - -345. Is k prime?
True
Suppose -4*o = 1 - 17. Suppose o*j + 593 = -563. Let m = -168 - j. Is m prime?
False
Suppose 2 + 8 = 5*f. Let t = 254 - 88. Is t/3 + f/(-6) a composite number?
True
Suppose 0 = -4*c + 2*s - 8, 0 = 2*c + s + 2*s - 12. Let v = -50 + 88. Suppose -4*f + 2*f + v = c. Is f composite?
False
Let w = -58 - -345. Is w prime?
False
Let b(y) = -y**3 + 8*y**2 + y + 5. Is b(6) prime?
True
Suppose 0 = 4*r - v - 2353, 0*v + 10 = -2*v. Is r prime?
True
Let q(t) = 2*t**2 - 4*t**3 + 8*t**2 + 9*t - t - 4 + 3*t**3. Is q(7) prime?
True
Let q(l) = -30*l**3 + l**2. Let g be q(-1). Suppose p - g = 2. Is p prime?
False
Suppose 10 = 5*u, -5*n + 2*u + u = -29. Let l(o) = o**2 - 8*o + 7. Let d be l(n). Suppose y - 17 - 132 = d. Is y composite?
False
Let b(f) = 408*f**2 - 3*f - 2. Is b(-1) a composite number?
False
Suppose 3*f + 2*f = -15. Is (8/f)/(-4)*33 a prime number?
False
Let o(u) = u**2 + 9*u + 9. Let n be o(-7). Is 854/10 - (-2)/n a composite number?
True
Suppose 0 = 3*y - 4*x - 21, 3*x + 8 = -1. Is ((-2)/y)/(2/(-543)) a composite number?
False
Let l(h) = h**3 + 3*h**2 - 4*h - 7. Let b be l(-3). Suppose -b*j = 17 - 112. Is j prime?
True
Let n(i) = 2*i**3 - 5*i**2 + 8. Is n(9) a composite number?
False
Let q(z) = 5 + z**2 + 10*z + 0*z - 3*z. Let n(k) = k - 3. Let j be n(-8). Is q(j) a composite number?
True
Let u(s) = s**3 - 5*s**2 + 4*s - 4. Let t be u(3). Let f(n) = n**2 - 4*n - 13. Is f(t) prime?
True
Let t(u) = 10*u - 1. Let b be t(4). Suppose d - b = -13. Is d prime?
False
Let g(y) = 9*y**2 + 1 - 9*y**2 + y**2 - 2*y + 69*y**3. Is g(1) prime?
False
Let k = 0 + 3. Suppose 0 = 2*i + 4*c - 114, 3 - 9 = -k*c. Is i prime?
True
Suppose -2*p = -4*p + 4. Suppose -p*o = s + 12, 0 = 2*s - o - 0 + 4. Is (2 + 0)/(s/(-130)) a prime number?
False
Let l = 66 + -24. Suppose 2*t = -4*a + 64, -4*t + 41 + l = 5*a. Is a composite?
True
Suppose -u = -4*u + 36. Suppose -r - u = -43. Is r composite?
False
Is 1069/(-3 - -1 - 0 - -3) a prime number?
True
Let k(q) = -q**3 + 7*q**2 - q + 17. Is k(6) composite?
False
Suppose 5*y - 11 = j, y = -3*j + 3*y - 7. Suppose 7*c + 32 - 4 = 0. Is (c - j)/(6/(-28)) a composite number?
True
Is (-1 - 446)/(3 + (-16)/4) a prime number?
False
Let z = 4 - 4. Let r(d) = d**3 - 2*d**2 - 2*d - 2. Let l be r(4). Suppose z = -w - 9 + l. Is w composite?
False
Let b(w) = 74*w - 65. Is b(17) a composite number?
False
Let q = 1 + 1. Is (0 - q) + (-21)/(-1) prime?
True
Let w(a) = a**3 + 9*a**2 - 5*a + 2. Let z be w(-5). Let m = z + -88. Let n = m - -32. Is n prime?
True
Suppose 4*y - 5676 = -2*q, 0 = y + 2*q - 1486 + 61. Is y prime?
False
Suppose -a = 4*a + 2*j - 38, -5*j + 3 = a. Let h = a - 11. Let b = 10 + h. Is b a composite number?
False
Suppose -2*w = -1 - 7. Is (-4)/w - -2 - -294 prime?
False
Suppose 567 = 3*d + 5*i, 5*d + 0*d - 2*i - 976 = 0. Is (-6)/15 + d/10 composite?
False
Let n = 6 + -3. Suppose -n*v = -0*v - 72. Suppose 0 = 2*k - 4*o - 33 + 11, 4*k + 2*o = v. Is k a composite number?
False
Let j(k) = -4*k**3 - k**2 + 2*k + 2. Is j(-3) prime?
False
Suppose y - 6 = -3*i, -2*i + 3*y - y = -4. Suppose -t - 3 = -i*t. Suppose 0 = o + t*o - 24. Is o a composite number?
True
Suppose 0 = -5*o + 13 + 2. Is 1/o + 38/3 composite?
False
Let r = 7 - 3. Suppose -53 = -r*d + 47. Suppose 0 = 2*z - 37 - d. Is z prime?
True
Suppose 7*j - 81 = 1004. Is j a composite number?
True
Let r(c) be the second derivative of 17*c**6/360 - c**4/6 + c**3/3 + 3*c. Let s(x) be the second derivative of r(x). Is s(-3) a prime number?
True
Let i(o) = -o**3 - 5*o**2 + o + 1. Let p be i(-3). Let q = 55 + p. Is q prime?
False
Is (-4 + 5)*(-260 + 1)*-1 a prime number?
False
Let a = -9590 + 14301. Is a composite?
True
Let r = 425 + 584. Is r a prime number?
True
Let j(u) = -u**2 + 9*u + 2. Suppose 3*a - 7 = -3*c + 8, -2*a + 22 = -c. Let b be j(a). Suppose -84 = -2*p - b*p. Is p composite?
True
Let p(x) = x**2 - 4*x - 1. Is p(10) a composite number?
False
Suppose -2*t = -841 - 277. Suppose 2*n - 463 = t. Is n a prime number?
False
Let i = -5 + 4. Is (i + 1484/(-8))*-2 a composite number?
False
Let g = 46 + 37. Let y = g - 35. Suppose 2*w + 2*v - y = 0, 0*w + v - 47 = -2*w. Is w a composite number?
False
Let x = 300 - 161. Is x prime?
True
Suppose 2*j = -5*x + 157, 0*x + 124 = 4*x + 2*j. Is x a composite number?
True
Let o(l) = -11*l**3 + l**2 + l. Let b be o(-1). Let n = b - 31. Let r = 35 + n. Is r a prime number?
False
Suppose 5*w + 102 = c - 66, -5*c - 5*w + 750 = 0. Let h = 272 - c. Is h prime?
False
Let h be ((-582)/15)/((-1)/5). Let s = 411 - h. Is s composite?
True
Let k = -316 - -475. Let w = -134 - -42. Let b = w + k. Is b composite?
False
Let h = 21 - 35. Let s = h + 25. Is s a prime number?
True
Let a = -50 + 213. Is a composite?
False
Suppose -3*f + 2*f + 2 = 0. Suppose f*j + 4*g = 378, 2*j - 380 = -5*g + 3*g. Is j prime?
True
Suppose 0 = -3*q - 2*n - 10106, -3*q - 3*n - 4237 - 5873 = 0. Is q/(-10) + (-34)/(-85) composite?
False
Let l be (6 + -2)*(-6)/(-12). Suppose -3*a + l*c = 4*c - 109, 25 = 5*c. Is a a composite number?
True
Suppose 0 = -3*h + h + 2. Suppose 0 = 2*l + 5*j - 203, 0*l - 3*j = -3*l + 273. Is (2 + -1)*l - h prime?
False
Let i(v) = -v**2 - 3*v + 4. Let l be i(-4). Let q(h) = -3*h - 5 - 2 + l. Is q(-10) a prime number?
True
Suppose -3*i - 14 = -o - 6*i, -6 = -3*i. Suppose 0 = a - 5*a + o. Is a/4 - (-1350)/12 a prime number?
True
Suppose 5*q + 2 = -2*j + 4, -4*q = -5*j - 28. Let c(b) = -5*b - 8 - 2*b**2 + b**q - 2 + 3*b**2. Is c(7) a prime number?
True
Let s = 128 + -37. Suppose 21 + s = 2*u. Suppose 3*y - 43 = -4*m, -4*m - 3*y = m - u. Is m composite?
False
Suppose -p + 15 = 4*p. Let t = p - 0. Suppose 4*w + 33 = t*j, -2*w + 30 = 5*j + 1. Is j prime?
True
Let m be 148/6 + (-2)/3. Let v = 247 - m. Is v a prime number?
True
Is 3/2*8394/9 composite?
False
Let q(d) = 2*d - 7. Let l be q(5). Is 669*(3 - 8/l) composite?
False
Let f(d) = -d**2 + 22*d + 1. Is f(9) prime?
False
Suppose 2*x + 581 = -w - 4*w, -1442 = 5*x + 2*w. Is x/(-5) - (-2)/5 prime?
False
Let u be -8 + 9 - 601*-1. Suppose 5*y - u = -2*g + 3*y, -6 = -2*y. Is g prime?
False
Let o be (-5)/2*6/(-5). Let u(j) = j**2. Let l be u(o). Let x = 16 - l. Is x a prime number?
True
Let c(i) = i**2 - i - 4. Let s be c(3). Suppose -5*o = -3*o. Suppose s*d - 3*d + 19 = o. Is d a prime number?
True
Let y = -19 - -11. Let v = 6 + y. Let b(f) = 6*f**2 + 2*f - 1. Is b(v) a composite number?
False
Let t(y) = -18*y - 23. Is t(-7) a prime number?
True
Let l = -664 + 2859. Is l composite?
True
Let c(j) = j**2 + 3*j + 35. Is c(0) prime?
