*-1 a prime number?
True
Suppose 15 = 6*n + 3. Suppose -w = -2*d + 7*d - 261, -n*w + 486 = -2*d. Let j = -83 + w. Is j a composite number?
False
Is ((-109042)/5)/((-214)/535) composite?
False
Suppose -66*b = -53*b - 122083. Is b a prime number?
True
Let a = -1718 - -4277. Is a a composite number?
True
Suppose -2*b + 19930 = -4*i, 0 = -4*i + 4 - 12. Is b a composite number?
True
Let w(p) be the first derivative of p**2/2 + p - 5. Let m be w(-8). Let v = m + 29. Is v composite?
True
Suppose -3942 - 8931 = -21*w. Is w composite?
False
Let q(n) = 37*n - 8. Let u(f) be the second derivative of f**3/6 - 4*f**2 - 9*f. Let b be u(15). Is q(b) prime?
True
Let g = 3223 - -2656. Is g a composite number?
False
Let n(k) = k**3 - 31*k**2 + 28*k - 119. Is n(37) prime?
False
Let z be ((-16)/(-8))/(2/5). Suppose 5*o - b - 832 = 0, -z*o - b = 4*b - 850. Let a = o - 46. Is a composite?
True
Let t(v) = -38*v + 28. Let j be t(13). Let q = 839 + j. Is q a composite number?
False
Let p = 17639 + -11500. Is p composite?
True
Let b be ((-4)/10)/((-2)/(-40)). Let d = b - -10. Suppose 0*s - 5*n + 143 = d*s, 2*s = -4*n + 138. Is s a prime number?
True
Let n(u) = -21*u + 22. Let k be n(-6). Let t = k - -1231. Is t prime?
False
Let y(c) = -18*c**2 + 47*c - 44. Let d be y(19). Let v = -3316 - d. Is v a prime number?
True
Suppose -4*a + 25 = 3*b + 5, -3*b = -4*a - 4. Suppose -4*d = -11 - 5. Suppose 4*h - 84 = -a*m, 7*m = 3*h + d*m - 72. Is h a prime number?
False
Let x(h) = h**3 + 6*h**2 + 8*h + 6. Let i be x(-5). Is 1940/3 + (-3)/i a composite number?
False
Let r(c) = -11*c - 70. Let h be r(-37). Suppose 54 + 116 = 5*v. Suppose o = h + v. Is o prime?
False
Suppose 0*n = k + 3*n - 2288, 3*n = k - 2282. Is k a composite number?
True
Let k(z) = 23*z**2 - 13*z + 163. Is k(10) prime?
True
Suppose t + 3*x + 453 = 2*x, 5*x + 25 = 0. Let g = -17 - t. Is g a composite number?
False
Let c be -3 - 2*(-20)/8. Let w be (6*c)/((-10)/(-150)). Let r = w + 383. Is r composite?
False
Let l(x) = 350*x + 2. Let u be l(6). Let w be 3/9 - u/(-3). Suppose -2*y - w = -3*q, q - 1167 = -4*q + 4*y. Is q a prime number?
False
Let k = 30 + -14. Let z = -13 + k. Is -6 + (6 - z) + 422 a prime number?
True
Let g be 25731/18*(-12)/(-9). Let l = g + -1005. Is l a composite number?
True
Let h(w) = 3*w**3 - 5*w**2 + w + 2. Let c(j) = j**2 + 5*j + 7. Let n be c(-4). Let l be h(n). Suppose q + l = 3*b - 3*q, -2*b + 39 = -5*q. Is b prime?
True
Suppose i = -5*m + 24186, 2*m + 868 - 10545 = -3*i. Is m composite?
True
Suppose 2*z = -z + 21. Let v = -3 + z. Is 500/16 + (-1)/v a composite number?
False
Let s be (-1 + 2)/((-2)/(-16)). Let b be 22/12 - s/(-48). Suppose -5*i + b*i = -537. Is i prime?
True
Let a(f) = -f**2 + f. Let m(x) = -2*x**2 + 14*x + 8. Let g(j) = 3*a(j) - m(j). Let n be g(-11). Is ((-4)/n)/(1/1790) composite?
True
Suppose -5*a + 7 = 4*q - 22, 3*q - 5*a - 13 = 0. Suppose f - q*f - 3355 = 0. Let w = 978 + f. Is w composite?
False
Suppose 3*b = b. Suppose 3*c - 7 - 8 = b. Is 3830/50 + 2/c composite?
True
Suppose 0 = 2*m - 2695 + 185. Is m composite?
True
Let q(r) = 58*r + 41. Suppose -4*t - 3*n + 69 = -2*n, -50 = -3*t + n. Is q(t) a prime number?
False
Suppose -13*g + 135274 = 41219. Is g composite?
True
Let k = 222 - 37. Is k prime?
False
Let f(x) = -x**3 - 5*x**2 + 1. Let q be (-74)/14 + (-12)/(-42). Let o be f(q). Is (2 - (-141 + 3)) + o a composite number?
True
Let i(o) = -6*o**3 + o**2 + 4*o - 1. Let b = 48 - 51. Is i(b) a prime number?
False
Let a(t) = 13*t - 4. Let h be a(1). Suppose 1984 = 4*c - 436. Is 10/(-45) + c/h prime?
True
Is 36/(-162) + 16211/9 a composite number?
False
Suppose 0 = 6*a + a - 13104. Let w = 3233 - a. Is w a composite number?
False
Let b(x) be the second derivative of x**5/20 - x**4/4 + x**3/6 - x**2/2 + 3*x. Let r be b(3). Is r/4*440/4 composite?
True
Let l(m) = 2*m**2 + 6*m + 13. Is l(-7) a prime number?
False
Suppose -2*t + 1775 = z, -1789 = -z + t - 8. Is z a prime number?
False
Let x = 48 - 51. Let f(y) = -18*y**3 + 4*y**2 - y - 4. Is f(x) a composite number?
False
Suppose 0 = 5*x - 23*q + 25*q - 2031, -q + 812 = 2*x. Is x a prime number?
False
Suppose -3*s + 6*q + 20735 = 8*q, 4*q - 4 = 0. Is s a prime number?
True
Let t(d) = -d + 135. Is t(-14) prime?
True
Suppose -5*d - 4*h = -2*h - 10763, h = 3*d - 6460. Is d a composite number?
False
Let w be 924 - (-2 - (-4)/((-3)/(-3))). Let x = 167 + 462. Let s = w - x. Is s a composite number?
False
Let k(o) = -o**3 - 8*o**2 - 9*o - 41. Is k(-14) composite?
True
Let j(d) = 5*d - 25. Let u be j(5). Suppose -8*c + 15*c - 4102 = u. Is c composite?
True
Let f = 29 - 24. Suppose -104 = -f*l + 1551. Is l composite?
False
Suppose 0 = 4*l + 7 + 5, 3*l + 34782 = 3*u. Is u composite?
True
Suppose -2*q + 3*q - 5 = 0. Let n(o) = -8*o + o**3 - q*o - 6*o**2 + 19 - 6*o**2 - 14*o. Is n(18) a prime number?
False
Suppose 67*x - 1734355 = 32*x. Is x composite?
True
Let f be (-1)/9 - (-478)/9. Let h = 36 + f. Is h a composite number?
False
Let f be (-6)/27 + (-7172)/(-36). Suppose -5*q - f = 511. Let r = -39 - q. Is r prime?
True
Is (-558520)/220*44/(-8) prime?
True
Suppose 5*u - 4*x - 16127 = 0, 4*u - 4*x - 7416 = 5488. Is u composite?
True
Suppose 2*v = -3*t - 3*v + 274, -3*v - 468 = -5*t. Let u(m) = m**2 - 14*m + 4. Let d be u(14). Suppose d*w - 91 = t. Is w a composite number?
True
Is (106/(-8))/(40/(-18080)) composite?
True
Let a(i) = -i. Let d be a(0). Suppose d = 4*s - 3*u - 1916 - 3612, 3*s + 4*u = 4171. Is s a prime number?
False
Let r be (5 - 5 - (-6)/(-2)) + 15. Is (-2 + (-20367)/r)*1*-4 a prime number?
False
Suppose -3*a + g = 4*g - 24, 0 = 4*a + 2*g - 22. Suppose a*r = 2*n + n + 81, -2*n = 4*r - 78. Is r a prime number?
False
Let m = -22 + 26. Suppose 0 = -j - m, -2*j = 2*t + 3*j - 2778. Is t a prime number?
True
Let b be (-3)/15*-4*90. Suppose 2*u + 3*i - b - 110 = 0, 5*u + i - 455 = 0. Is u a composite number?
True
Let x be -3 + 3 + 0 + 2. Suppose j - x = -2*g + 9, 0 = -2*j + g + 12. Suppose 3*u - j*u = -1324. Is u a prime number?
True
Let l be 3 + 57/3 - -3. Suppose 3*a + l + 14 = 0. Is -388*(3 - a/(-4)) prime?
True
Let p(h) = 627*h**2 - 59*h - 17. Is p(-14) a composite number?
False
Let i = 1278 + 667. Is i composite?
True
Suppose -10*l + 23104 = -73446. Is l prime?
False
Let x = -44 + 43. Is 234 + 13 + x + 3 composite?
True
Suppose 3*a + a + 448 = 0. Let t be a/(-63) + (-4)/(-18). Suppose -1523 = -t*o - 261. Is o a composite number?
False
Let d(l) = -l. Let h be d(10). Let x = h - -10. Suppose -4*i + 2*c = -3*c - 1762, -4*i - c + 1774 = x. Is i composite?
False
Suppose 0 = -5*w - 20, 0 = n - 3*w - 16. Suppose r - n*k = -4*r + 13, -r = -4*k + 7. Suppose 112 + 73 = r*j. Is j prime?
True
Let n(g) = -2*g**3 + 8*g**2 + 5*g - 7. Let s be n(-5). Suppose 119 = -b + 2*f + s, 1451 = 5*b + f. Is b composite?
True
Suppose -5*q = 2*n - 21 + 6, 4*n = -2*q + 6. Suppose -2*y - 10 = n, 2*b + 2*y - y - 263 = 0. Is (0 - (-1)/2)*b prime?
True
Let y(m) = -m**2 - 6*m - 1. Let z be y(-5). Let v be 1/(z*4/64). Is ((-109)/v)/((-2)/8) a composite number?
False
Suppose 44*k - 4*k - 99920 = 0. Is k composite?
True
Suppose -7 = i + 4*v, -3*i - i + 5*v = -56. Let c be 1*(8 + 3/(-1)). Let g = c + i. Is g a prime number?
False
Suppose 0 = 6*n - n, 5*q + 4*n = 1085. Is q composite?
True
Let n = -14240 + 22463. Is n a composite number?
True
Let x(d) = d**3 - 2*d**2 - 2*d - 1. Suppose -4*z + 0*z = -12. Let k be x(z). Suppose -k*s = 2, o + 5*s = 501 - 135. Is o composite?
True
Let d(u) = 28*u - 6. Let w(m) = 29*m - 7. Let r(l) = -4*d(l) + 3*w(l). Let p be r(-3). Let x = p - 41. Is x composite?
False
Suppose 0*y - y = -3*w + 26986, 5*w - 2*y - 44977 = 0. Suppose -8*j + 3*j = -w. Is j prime?
False
Let c(p) = p**3 - 2*p**2 + 2*p - 2. Let r be c(3). Let h = 239 + -231. Suppose h*x - r*x = -325. Is x prime?
False
Is (1/3)/(-1)*(-56 - 60781) composite?
True
Let q(v) = -136*v - 1. Let w be q(-7). Suppose 0 = 12*k - 15*k + w. Is k a prime number?
True
Let g be (-2)/((-12)/39) + 1/(-2). Suppose 0 = g*b - 1764 - 3570. Is b composite?
True
Suppose 3*k + 533 = 2*l - 3113, 0 = -3*l + 3*k + 5463. Let j = 72 + l. Is j a composite number?
False
Let i be (-2)/8 + 111/12. Suppose -r + 7 - 4 = 2*u, 4*u + 3*r = i. Suppose 3*g - f - 155 = u, 4*f = -0*g - g + 69. Is g prime?
Tr