s l a prime number?
True
Suppose 0 = 5*j - 5*i - 5, -i = -2*j - 6*i + 9. Suppose 0 = -j*f - v - 2*v + 385, 3*f - 580 = -5*v. Is f a prime number?
False
Suppose 0 = -3*c + 67 + 62. Is c composite?
False
Is 4 + -1 + 102 - -1 composite?
True
Suppose w = 4*p - 1213, 3*p + w - 896 = -w. Is p prime?
False
Let o be (-8)/(-4) + (-202 - 1). Let q = o + 320. Is q a prime number?
False
Suppose 0 = -2*w + 2*h - 4, 0 = 2*w - 0*h - 5*h + 7. Let p be (w/(-1))/(-2)*2. Is (48 - 0) + p + 2 composite?
True
Is -24*(-376)/6 - 5 a prime number?
True
Let w(a) = -15*a**3 - 2*a**2 - 2*a - 1. Let m(r) = -r + 10. Let z be m(11). Is w(z) a composite number?
True
Suppose 15*r = 10*r + 17455. Is r a prime number?
True
Let t be ((-1024)/10)/(2/(-10)). Let j = 1135 - t. Is j a composite number?
True
Let v(o) = -o**3 + 15*o**2 - 13*o - 11. Let c be v(14). Suppose -4*w = c*f - 1117, 3*f = 3*w + 484 + 626. Is f prime?
False
Let p be 7/(2 - (-23)/(-12)). Suppose 0 = -4*d + 20 + p. Suppose 4*u = 2*u + d. Is u prime?
True
Suppose 2*j - 4*m + 2*m = 10, 7 = 3*j + 5*m. Let p = -21 + 27. Suppose 3*s + 4*z - 6 = 28, j*z = -s + p. Is s a composite number?
True
Let o be -2 - 0/(1 + 2). Is 2*((-35)/o - -1) prime?
True
Suppose -4*l = 1195 - 6259. Let w = -819 + l. Is w composite?
True
Let h be ((-8)/2)/((-10)/(-15)). Is ((-502)/h)/(2/6) a prime number?
True
Suppose 13362 = 6*u - 10080. Is u a prime number?
True
Let j(n) = 9*n**3 - 6*n**2 - 13*n - 1. Is j(6) prime?
False
Suppose 20 = -s - 15. Let b = -28 - -15. Let r = b - s. Is r a prime number?
False
Let i be (-2)/(-6) + (-76)/(-6). Let a be (0 + 0 - -1)*0. Suppose -z - i + 90 = a. Is z composite?
True
Suppose 5*h - 15 = -0*h. Suppose h = -9*b + 10*b. Is b a composite number?
False
Let m = 903 - 588. Let w = -363 - -551. Let g = m - w. Is g prime?
True
Let c(v) = 45*v**2 + v. Let o be c(-1). Suppose 5*g = m + 1152, -o - 175 = -g + 4*m. Suppose g = 5*q - 24. Is q composite?
True
Let u be (-326)/(-8) + (-8)/(-32). Suppose m + 2*d - 42 - u = 0, -5*m + 4*d + 373 = 0. Is m a composite number?
True
Let j(z) = 3*z**3 + z - 1. Let x be j(1). Suppose -2*d - 16 - x = 5*a, 0 = 5*d + a + 59. Is (-4)/d - 196/(-6) composite?
True
Let r(n) = 3*n**2 + 8. Let x(m) = -m**2 - m - 1. Let f be x(2). Is r(f) prime?
False
Let b = 2 + 17. Is b a composite number?
False
Let r = -15 - -18. Is 714/9 + r/(-9) prime?
True
Let t(q) = -3*q**3 + q**2 - q. Let z be t(1). Let u be 1 - 3/(1*z). Suppose u = -x + 6. Is x a prime number?
False
Let x be (-5)/(((-10)/32)/(-5)). Let g = x - -207. Is g a prime number?
True
Let x(v) = 3*v - 4. Let k(r) = -r**3 - 6*r**2 - r + 3. Let b be k(-6). Let m(o) = -o**2 + 11*o - 12. Let l be m(b). Is x(l) composite?
True
Let d(i) = -i + 2. Let a be d(6). Suppose 4*n = -4*g + 148, n + 0*n - 37 = -3*g. Is 1*n - (-4 - a) composite?
False
Let c(j) be the third derivative of -j**8/20160 - j**7/1008 + 7*j**6/720 - j**5/60 + j**2. Let q(y) be the third derivative of c(y). Is q(-5) a prime number?
True
Let d(t) = 2*t - 2. Let u be d(3). Let x be (2/u)/((-1)/(-16)). Suppose -3*o + 3*g + 90 = 0, 5*g + x + 107 = 4*o. Is o composite?
True
Let l = 22 + -11. Suppose -24 = -5*u + l. Suppose u*x - 76 = 3*x. Is x prime?
True
Let s(u) = 6 + 2*u + 0*u + 7. Let b = -1 + 10. Is s(b) prime?
True
Let k(z) = z**3 - 7*z**2 - 7*z - 5. Let b be k(8). Suppose b*d = -d + 260. Is d a composite number?
True
Suppose -182 = x - 3*x. Is x a prime number?
False
Let v = -460 + -408. Let b = -347 - v. Is b a prime number?
True
Is ((-206)/4)/(30/(-4) + 7) a composite number?
False
Suppose -2*i + 1094 = 3*d, 3*i + 5*d = 863 + 780. Is i composite?
False
Let y(o) = -o**3 - 4*o**2 - 4*o - 1. Let a(l) = -2*l**3 - 7*l**2 - 7*l - 1. Let b(x) = -3*a(x) + 5*y(x). Is b(3) composite?
False
Let c(x) = 24*x**2 + 2*x - 3. Let b(v) = v**3 - 3*v**2 - 2*v. Let z be b(4). Let g = 4 - z. Is c(g) a composite number?
False
Let t(d) = 2*d**2 + 11*d - 4. Let b(h) = h**2 + 1. Let x(f) = -3*b(f) + t(f). Is x(6) composite?
False
Let q be (-2 + 4 - -3)/(-1). Let r(s) = s**2 - s + 5. Is r(q) composite?
True
Suppose 3*m - m = 12. Let a be 97 - 1/(3/m). Suppose 5*f - a = -0*f. Is f a prime number?
True
Suppose -5*k + 2*d - 9 = 0, 3*d + 9 + 9 = -3*k. Is 203/3 + (-4)/k a composite number?
True
Let f = 557 - 290. Is f composite?
True
Let q(h) = -155*h - 3. Is q(-2) a prime number?
True
Is 2*2*2238/24 a composite number?
False
Let f = 267 + -44. Is f composite?
False
Let q(f) = -68*f - 1. Let t be q(-1). Suppose 5*w = 148 + t. Is w composite?
False
Let p = 882 - 555. Is p a composite number?
True
Suppose -k + 813 = 2*k + 3*d, -k - 3*d = -275. Is k a prime number?
True
Suppose -4*h = -8*h. Suppose h*c = -5*c + 1855. Is c prime?
False
Suppose 7 = 3*d - 2. Suppose 120 = 3*a - 0*a - 3*t, -d*t + 20 = a. Is a a composite number?
True
Let p = -14 - -16. Suppose 0*h - h - t = -267, 0 = t - p. Is h a composite number?
True
Let i = 2502 + -767. Is i prime?
False
Is (-3)/6 + 503/2 a composite number?
False
Let i(w) = w + 4. Let h be i(-4). Let r = -27 + 32. Suppose r*z - z - 76 = h. Is z a prime number?
True
Let u be 4/(-12) + 35/(-3). Is (-3)/u + 1302/8 a composite number?
False
Suppose 5 + 7 = 2*u - 2*s, -4*u - 5*s = -6. Suppose 4*f + u*k = -f + 3, 3 = 3*f + 3*k. Is (-1 + f)/(2/(-57)) prime?
False
Let n = -800 + 1387. Is n prime?
True
Let u(q) = 2*q**3 + q**2 - 4*q - 1. Suppose 5*x - 12 = 2*x. Is u(x) a composite number?
False
Let n be 6*((-21)/(-9) + -2). Let q = n + -6. Is (19/(-2))/(2/q) a composite number?
False
Let f = 4 + 0. Suppose f*b - 4*j = b - 39, 3*b - j + 39 = 0. Let t = b + 39. Is t composite?
True
Let g = 206 - -281. Is g a prime number?
True
Suppose -291 - 927 = -6*l. Is l a composite number?
True
Let g = 22 - -135. Suppose -q - g = -5*t, -6*t = -3*t - 2*q - 97. Is t a composite number?
False
Let h be (-743)/(-3) + 2/6. Let u = h + -161. Is u a prime number?
False
Let f = -23 + 116. Let j = -22 + f. Is j prime?
True
Let a = 67 + -34. Is a prime?
False
Let c(p) be the first derivative of 9*p**2 - 2*p - 1. Let v be c(-2). Let z = v - -115. Is z a prime number?
False
Let d(i) = -i**3 + 7*i**2 + 4*i - 5. Let b be 0/1*(-2)/4. Suppose f + 2 - 8 = b. Is d(f) composite?
True
Suppose 209 - 84 = 5*d. Suppose 99 = 4*r - 41. Suppose -3*c - v = v - r, d = 2*c + v. Is c a composite number?
True
Suppose 0 = -0*d + 4*d - 800. Let o be 24/132 - (-2930)/(-22). Let j = o + d. Is j a prime number?
True
Suppose -4*z - 80 = -540. Is z a composite number?
True
Let z = 2558 - 1023. Is z a prime number?
False
Let s = -42 + 71. Let o = -41 + s. Let h(n) = -3*n + 17. Is h(o) a prime number?
True
Let r(u) = 4*u**2 + 15*u + 18. Is r(13) a composite number?
True
Suppose -k = -4*k + 6. Suppose -i = x - 30, 6 = k*x - 2. Is i a prime number?
False
Let p be 6/(-4) + 1/2. Is 253 - (0/4)/p a prime number?
False
Let l be 134/6 + (-2)/6. Suppose 0 = 2*b + 3*b + 5*w - 125, 0 = 2*b - 5*w - l. Is b a prime number?
False
Let u(o) be the third derivative of 11*o**5/30 + o**4/6 + o**3/6 - 3*o**2. Is u(3) a composite number?
False
Let r(c) be the second derivative of 11*c**3/3 - c**2/2 + 9*c. Is r(5) a composite number?
False
Suppose 4*l - u = -394 + 1920, l - 372 = 5*u. Is (l/3)/((-12)/(-18)) prime?
True
Is 37 + 0 + 0/(-5) composite?
False
Let d(x) = -367*x**3 - x**2 + x. Let v be d(1). Let r = v + 195. Let m = r - -257. Is m prime?
False
Let d(o) = 1 + 3*o + o + o - 2*o. Let s(m) = 2*m**2 + 2*m - 1. Let a be s(1). Is d(a) a prime number?
False
Suppose 37*n - 7815 = 34*n. Is n prime?
False
Let n = 2 + 2. Suppose x = n*x - 66. Is x a composite number?
True
Let s be 7/4 - 2/(-8). Let n be ((-4)/(-5))/(s/5). Let p(o) = o**2 - 1. Is p(n) prime?
True
Is (-1235)/(-5) - (-1 + -3) a prime number?
True
Let o = 227 - 24. Is o a prime number?
False
Suppose 5*l - 905 = 1320. Is l prime?
False
Let n(w) = 3*w**2 + w + 3. Is n(7) prime?
True
Let r(t) = t + 14. Let l be r(-11). Suppose -1119 = -0*v - l*v. Is v composite?
False
Let u be 3740/28 - (-20)/(-35). Let a(m) = 9*m**3 - m**2 - 5*m + 3. Let d be a(3). Let q = d - u. Is q a composite number?
False
Let j(z) = -z + z**2 - 6*z - 7 + 1. Let a be j(8). Suppose 0*t = a*t - 38. Is t a composite number?
False
Let q be 1/(1 + 4/(-6)). Let h(f) = 3*f**2 - 3*f + 1. Let r(i) = -4*i**2 + 3*i. Let w(y) = 3*h(y) + 2*