-3 = -o - 2*g, -2*o + 6*g + s = 3*g. Is o prime?
True
Suppose 2*i - 5*i + 921 = 0. Let b = i - -396. Is b composite?
True
Suppose -5*u = 5*u - 350. Suppose u + 15 = 2*y - 2*v, -5*y + 125 = 5*v. Is y a prime number?
False
Suppose -1954 = -9*f + 3653. Is f prime?
False
Suppose 0*x + 4*j = 4*x - 218888, -6*j + 54715 = x. Is x composite?
False
Is ((-84)/35)/(-6)*(3 - -39502) composite?
True
Let h(u) = -u**3 + 42*u**2 - 50*u - 7. Is h(26) a composite number?
True
Suppose -4*t = -2*t - 110. Let n be (-48)/(-22) + (-10)/t. Is 252/n - (-1 + 0) composite?
False
Let s = -919 - -8022. Is s composite?
False
Let a(s) = 6*s**2 - 2*s - 7. Let d(r) = -2*r + 2. Let f be d(-6). Let q = f - 9. Is a(q) composite?
True
Let s(z) be the second derivative of 1/12*z**4 + 13/2*z**2 - 1/3*z**3 + 8*z + 0. Is s(6) prime?
True
Suppose -39251 = 5*g - 156336. Is g composite?
False
Suppose 7*u = u + 48. Let r be -2 + 2 - u/(-4). Suppose -r*x + 354 = 40. Is x composite?
False
Let b = -116590 + 206829. Is b prime?
True
Let t(h) = 215*h - 24. Is t(13) composite?
True
Let v be 2/(-1 - 1 - -3)*1774. Suppose 18*j + v = 22*j. Is j prime?
True
Let d(i) = -5 + 5*i**2 + 6*i**2 + 3*i - 14*i**2 + 58*i**3. Is d(3) composite?
False
Suppose 4566 = 2*w - 10256. Is w composite?
False
Suppose -11*z + 18040 = -48312. Suppose 16*g = 36064 + z. Is g a composite number?
True
Suppose -4*d - 314117 = -5*m, 2*m + 7*d - 125636 = 5*d. Is m a composite number?
True
Let i = -37989 - -66440. Is i a composite number?
True
Let d(x) = 10*x + 2722. Is d(0) composite?
True
Is (-2077)/(-3) - 25/(-60)*4 a composite number?
True
Let m = 12 - 10. Suppose -m*x + 3*x - 39 = 0. Is x composite?
True
Suppose -135*r + 93*r + 118986 = 0. Is r a prime number?
True
Suppose -15*h + 80116 - 10981 = 0. Is h prime?
False
Suppose -27*w + 124662 = -371031. Is w a composite number?
True
Suppose -p + 13 = -4*h, -2*h + 8 = 5*p + 31. Is (-5036)/4*(h - -3) a prime number?
True
Suppose 2*k + 24607 = 3*r, 17*r - 16*r = 5*k + 8211. Is r prime?
False
Is -223*(-23 + 6) + 6 prime?
True
Let u be 0/((-7)/((-14)/(-4))). Suppose 0*f - 2*f = 3*j - 1381, 5*f + 5 = u. Suppose 0 = -4*q - 121 + j. Is q composite?
True
Suppose 3213 = -6*j + 9*j. Suppose -10*c + j = -959. Is c prime?
False
Let d(h) = 4*h**2 + 4*h - 41. Let y be d(-7). Let o = y - 42. Is o composite?
True
Suppose -53970 + 6906 = -24*j. Is j a composite number?
True
Let j = -88 + 93. Suppose 5*c + 9892 = j*b + 102, 3*b = 2*c + 5877. Is b composite?
True
Let f be (-6)/(1027/257 - 4). Is ((-10)/(-3))/(4/f) a composite number?
True
Let y(n) = -2011*n**2 - 4*n + 4. Let m(o) = 1005*o**2 + 2*o - 2. Let v(w) = -11*m(w) - 6*y(w). Is v(1) a composite number?
True
Let c(h) = -58*h + 12. Let f(g) = -116*g + 25. Let d(l) = -5*c(l) + 2*f(l). Let j be d(6). Suppose 4*n + 2*z = j, 4*n + 0*z = -4*z + 336. Is n prime?
False
Suppose -60 = -6*s + 11*s. Is 2019/(-4)*s/9 composite?
False
Suppose 0*r - 150 = -2*r. Suppose 4*q = -p + r, 3*q + 32 = -p + 87. Suppose -w + q + 114 = 0. Is w prime?
False
Let p(z) = 74*z**2 + 3*z + 4. Let n(g) = -g**3 + 3*g**2 + 2*g - 3. Let j be n(3). Is p(j) prime?
False
Let d(g) = g**3 - 12*g**2 - g + 17. Let w be d(12). Suppose 0*x + 5270 = 4*p - x, w*x = -10. Is p prime?
False
Let y(w) be the first derivative of 89*w**3/3 + 2*w**2 + 5*w + 16. Is y(-2) composite?
False
Let q(i) = 4*i**2 - 4*i - 1. Let l be 29 + 0 - (-6 + 4). Let p be (-1)/(-4) - l/(-4). Is q(p) a prime number?
True
Let m = 4046 - -4983. Is m a composite number?
False
Let r(k) = -8*k**2 - 3*k - 1. Let u be r(-1). Let t(b) = -b - 1. Let p(j) = j**3 + 7*j**2 - 13*j - 12. Let h(q) = p(q) - 3*t(q). Is h(u) a composite number?
True
Suppose 2*b + 370 = -3*b. Is b/3*((0 - 1) + -2) a prime number?
False
Suppose -4*l - 16 = -80. Suppose z - l = -5. Is z composite?
False
Let b(r) = 3384*r + 7. Is b(3) prime?
True
Let a be 3*4/(2 + -6) - -13. Suppose -a*x = -21*x + 14707. Is x composite?
True
Let w = -680 - -319. Let d = -252 - w. Suppose 0 = 5*c + 2*z - 271, z - d = -c - c. Is c composite?
False
Let k(a) = 4*a - 3*a - 46*a**2 + 4*a - 4*a. Let d be k(1). Let b = -6 - d. Is b composite?
True
Suppose 10*g - 4 = 6*g. Let r(d) = 131*d**2 - d + 1. Is r(g) a composite number?
False
Let u be 4 - 0*((-16)/(-4))/8. Suppose 1185 = -n + u*n. Is n composite?
True
Let w(b) = -3*b**3 + b + 1. Let l be w(-1). Suppose -l*i = -2*i + 5. Let g(r) = -43*r - 10. Is g(i) a prime number?
False
Suppose 3*q - t - 270 = 0, 2*q = -2*q - 3*t + 360. Suppose -5*m + 0 = -35. Suppose 3 - m = -f, -f = u - q. Is u a composite number?
True
Let l = -14 - -12. Let u(n) = -n**2 - 3*n - 1. Let x be u(l). Suppose 0 = 2*i + 7 + x, -3*t + 4*i = -2251. Is t composite?
True
Suppose 2*v - 4 + 0 = 0. Let n be (v + 5 + 2)/(-1). Let o(b) = -b**3 - 9*b**2 - 3*b - 8. Is o(n) a prime number?
True
Suppose -2*b + 151 = -87. Is b a prime number?
False
Suppose -2*n - 9*j = -4*j - 13, -n + 2 = -2*j. Suppose -5*k - 2535 = -5*o - 0*o, 2060 = 4*o + n*k. Is o a composite number?
True
Let q(b) = -b**2 - 15*b - 6. Let l be ((-6)/(-15))/(2/(-30)). Let o be q(l). Suppose -2*y + 58 = -o. Is y prime?
True
Let k(v) = v**2 + v + 3. Let q be k(-2). Suppose -q*f - 2836 + 115 = -2*y, 0 = y - f - 1362. Is y a prime number?
False
Is 17037/5 + (-17)/(425/10) a prime number?
True
Let x be (-1)/((-4)/18)*-2. Let f = 15 + x. Suppose 0 = 3*v - 7*v + 2*n + 232, 0 = -3*n - f. Is v a prime number?
False
Let x = -60680 + 142747. Is x prime?
True
Let h(s) = -s**2 - 11*s - 20. Let i be h(-8). Suppose 3*t = i*y - 2660, -2*y - 3*y = 2*t - 3302. Is y prime?
False
Let t(z) = 18*z - 13. Suppose -h + 29 = x - 4*h, -4*x + 2*h + 156 = 0. Suppose 2*q - 18 = n, -x = 2*q - 5*q + 5*n. Is t(q) prime?
True
Is 5 + -11 + 64998 - (1 + -6) prime?
True
Let s be (-20)/6*84/(-20). Let c = s - 9. Suppose 1028 = c*h - h. Is h composite?
False
Let m(o) = 4*o + 4. Let c be m(3). Let z(q) = -2 + 0 + 9 + c*q. Is z(7) a prime number?
False
Let d = -9756 - -23293. Is d a prime number?
True
Suppose -2*i + 14 = -4*y, -4*i + 0*y + 3*y + 23 = 0. Let p = i + 116. Let q = p - 64. Is q prime?
False
Suppose -4*a - 670 = 2*b, -2*a - 1358 = 3*b + b. Let v = 898 + b. Is v composite?
False
Let w be (10 + -13)/(6/(-16)). Let t be (4/6)/(w/(-1008)). Is (t/(-24))/(2/44) prime?
False
Let l(d) = -d - 1. Let t be l(-4). Let h be 7/21 + (-1)/t. Suppose -2*a + h = -14. Is a composite?
False
Let d = 3445 - 1772. Is d a composite number?
True
Suppose 0*i - 6 = -2*i. Suppose 3*d + 0*d = -i. Is (-2)/(212/220 + d) a composite number?
True
Suppose 5*o - 7 - 3 = 0. Suppose -f - o = -7, -f = p - 5. Suppose -4*r + q + 1028 = 0, p = -5*r - 3*q + 1118 + 167. Is r a composite number?
False
Suppose 3*h = 2*h + 4*m, -3*m + 3 = 0. Suppose 2*d - 1117 = -3*d + 3*a, 1089 = 5*d + h*a. Is d prime?
False
Let d be (9 - 7) + (290 - 0). Suppose 2*u - 6*u = d. Let v = 110 + u. Is v composite?
False
Let x = 1480 + 4571. Is x prime?
False
Let p = 3 - 16. Let l = -10 - p. Suppose -l*k - 533 = -5*f, 3*f - 3*k - 172 = 143. Is f a composite number?
False
Let r = 121 + 956. Is r prime?
False
Let j = 434 + 217. Suppose p = -2*p - j. Is -4 - (8/(-2) + p) composite?
True
Let z(r) = r**2 + 1. Let n(w) = -51*w**2 - 6*w - 5. Let i(p) = -n(p) - 4*z(p). Is i(-6) a prime number?
True
Is (25526/5)/((-2)/(-5)) a composite number?
False
Let t(f) = -2*f**3 + 7*f**2 + 30*f - 10. Is t(-17) composite?
False
Suppose 0 = -7*y - 3*y + 10. Let r(v) = 198*v**2 + 5*v - 4. Is r(y) composite?
False
Suppose -q - 4*p + 7631 = 4*q, 0 = -5*q - 2*p + 7623. Is q prime?
True
Let o = -9 - -9. Suppose 6 = -2*j - o, -3*j = -5*y + 1474. Is y a composite number?
False
Let n(t) = t**3 + 10*t**2 + 10. Let q be n(-10). Let c = 16 - q. Suppose c*g - 2*g = 556. Is g a composite number?
False
Let b(w) = -w**3 + w**2 - w - 160. Suppose -3*p = -7*p. Let j be b(p). Let x = 243 + j. Is x prime?
True
Let s(w) = 11826*w + 259. Is s(9) prime?
True
Let s = 95398 + -56877. Is s a prime number?
False
Is 38270 + (-12 + 13 - (2 - -2)) a composite number?
True
Is (60 - 64) + (0 - -26145) a composite number?
False
Let r = 29 - 17. Is ((-8198)/4 + -1)*(-8)/r composite?
False
Let c(s) = -2*s**3 - 4*s**2 + 17*s - 16. Is c(-9) a prime number?
False
Suppose -2*b + 55 = 4*z + 7, 16 = 4*z. Let n = 9 + b. Suppose 256 = 3*a + n. Is a composit