ite?
True
Let o be 2 - (-3 - (-2 - -68)). Let y = 154 - o. Is y a prime number?
True
Let m = -2 + 4. Suppose -4*t - 10 = -0*t + m*q, -t + 4*q - 25 = 0. Is 422/(-4)*(-7 - t) a composite number?
False
Let z(l) = l**3 - 2*l**2 - 3*l + 1. Let i be z(3). Suppose 4*t + 77 - i = 0. Is 3 - (t + 0) - -1 a composite number?
False
Let b(g) = 5*g**2 + 4*g + 1. Is b(3) composite?
True
Let l be -1*(-10)/2 + -3. Suppose -2*z = 3*v - z - 121, 8 = l*z. Is 28/6*v/2 composite?
True
Let n = -3 - -10. Let c(h) = h - 11. Let g be c(n). Is ((-14)/g)/(2/8) a composite number?
True
Let f(j) be the second derivative of -j**3/2 + j**2/2 - 3*j. Let v be f(-1). Is (v/(-5))/((-12)/570) prime?
False
Let l = -25 - -58. Is l a prime number?
False
Let x(c) = -3*c**2 - 3*c**2 + c + 4 + 9*c**2 + 5*c**2. Is x(-2) composite?
True
Suppose 0*t = 2*t. Suppose -5*u = -1 - 14. Is 37*(u + -2 - t) a prime number?
True
Let j = 3 - -3. Suppose 103 = j*b - 11. Is b prime?
True
Let l = 216 - -571. Is l composite?
False
Let j be (11 + -12)/(1/(-3)). Suppose -2*m - 2*o = 2*m - 868, 0 = -4*m - j*o + 868. Is m prime?
False
Let a = 9 + -7. Suppose 5*z - 30 = a*z. Is z prime?
False
Let g(p) = 2*p - 1. Let o be g(2). Let d be (0 + 12/o)/2. Is 19 - -3 - (d - 2) a prime number?
False
Let m(h) = -3*h - 1 + 2*h - 1 + 164*h**2 + 2*h. Let g be m(2). Suppose -348 - g = -4*t. Is t a composite number?
False
Suppose -2*c = -267 - 407. Is c a composite number?
False
Let n = 488 + -169. Is n prime?
False
Suppose -o + 2*o - 2 = 0. Suppose 2*z = 5*d + 737, -2*z = -z + o*d - 373. Is z prime?
False
Let x be (-9)/6*(-8)/6. Suppose d + 0*i - 157 = 5*i, -x*i + 314 = 2*d. Is d composite?
False
Let p be (3/(-2))/((-1)/2). Suppose 0 = 4*r - 6*r + t + 7, r - 7 = -p*t. Suppose -3*j + 0*j + 49 = -u, 0 = 4*j + r*u - 44. Is j a prime number?
False
Let x be (-130)/(-35) - 2/(-7). Suppose -v + 233 = 5*f - x*v, f = v + 47. Suppose -j - j = -f. Is j prime?
True
Suppose 4 = -3*g + 16. Is (-2)/(-8)*g - -45 a composite number?
True
Suppose y - 5*y = 28. Let h(o) = o**3 + 12*o**2 + 2*o + 4. Is h(y) a composite number?
True
Let b(m) = 11*m**2 - 4*m. Is b(3) a prime number?
False
Suppose -3*g - 5 = -4*g. Let w = -7 + g. Is 1 - 90/(w + -1) prime?
True
Suppose -2*p - 4*d = 3*p - 3516, -2*p + d = -1409. Suppose -3*u + p = 2*z, 0 = -u - 6*z + z + 213. Suppose -3*c - u = -5*c. Is c prime?
False
Let t be 0 - 2/3*6. Let k = 17 + t. Is k a prime number?
True
Is (-5 - 461)*2/(-4) prime?
True
Let b(r) = 839*r**2 - 4*r + 4. Is b(1) a prime number?
True
Is 4/16*4*395 prime?
False
Let z(h) = h**2 + 6*h + 4. Let p be z(-4). Let y be (p/8)/((-1)/350). Suppose 4*u + 0*u = -2*w + 70, 5*u = -5*w + y. Is w prime?
False
Let u = 7 - 4. Suppose 0 = -u*h - b + 576, 0 = -h - b + 2*b + 188. Is h prime?
True
Let u(h) be the third derivative of -h**5/60 - h**4/24 + 59*h**3/6 + 8*h**2. Is u(0) prime?
True
Let j = 2 - 2. Let d be 1/(-1 - j)*5. Let w = -3 - d. Is w a composite number?
False
Suppose 2*n - 266 = -0*n. Suppose -n = -4*j + 7. Is j a prime number?
False
Is (((-6474)/(-18))/(-13))/(2/(-6)) prime?
True
Suppose -w = -0*w. Is 0 + 33 - 0 - w composite?
True
Suppose -3*o + 4*y = -66 - 793, -2*y - 1455 = -5*o. Is o a prime number?
True
Let a(k) = 7 + k**3 + 0*k**3 + 2*k**3 - 2 - 3*k**2 + 8*k. Let o be a(6). Suppose -2*z + c = -3*z + 118, -2*c = 5*z - o. Is z composite?
True
Suppose 3*d - 1082 = d. Is d a composite number?
False
Let d = 2067 + -1418. Is d a composite number?
True
Let h be (-42)/15 - (-1)/(-5). Is -7*(-4 - h/3) prime?
False
Let t = -3154 - -6635. Is t composite?
True
Suppose -20 = -2*x - 0*x. Let f = 14 - x. Let v(m) = 3*m**2 + m + 1. Is v(f) prime?
True
Let q = -174 - 92. Is 1/(-5) + q/(-5) a prime number?
True
Let g(z) = z**2 - 5*z + 1. Let s be g(5). Let h be s/((-789)/(-393) + -2). Suppose -3*n = -3*y + 99, 4*n - 70 = -5*y + h. Is y a prime number?
True
Let z(c) = -1 + 6*c - 4*c + 2. Let q be (-264)/(-40) - 4/(-10). Is z(q) a composite number?
True
Let y = 8 - 4. Suppose -3*z = -4*x - 138, -3*x = -y*x. Let o = -32 + z. Is o prime?
False
Let x(z) = -4*z**3 - 3*z**2 - 2*z - 2. Let m be 24/15*-5*1. Let p = 6 + m. Is x(p) composite?
True
Let c(d) = -d**2 - 6*d - 1. Let p be c(-6). Is 1 + 160 + (p - -1) composite?
True
Suppose -w = 4*w - 20. Suppose p - 44 = -5*u, -w*u = 2*p - 6*u - 76. Is p a composite number?
True
Suppose 4*s + 4*f + 942 = 6*s, 0 = 2*f - 8. Is s composite?
False
Let c = 1392 - 913. Is c a prime number?
True
Let z = -308 + 559. Is z prime?
True
Let m(x) = 99*x**2 + 2*x + 13. Is m(-8) a prime number?
False
Suppose 3*g - 13 = -16. Is (g*217)/(0 + -1) a composite number?
True
Let s = 4 + 58. Is s composite?
True
Let y(v) = 134*v**3 - 2*v**2 + 4*v - 3. Is y(1) a composite number?
True
Suppose -371 - 909 = -a + 3*c, 0 = -5*a + 3*c + 6364. Is a a prime number?
False
Suppose 0*w = w - 11. Suppose 3*d = -0*d + 12. Is (3 + w)*14/d a composite number?
True
Suppose -5*o + 8 = -o. Is 1/(o/(-4)) + 889 prime?
True
Let g be (2 + -1)/(1/27). Let k = g - -4. Suppose k + 38 = w. Is w a composite number?
True
Let u(k) = -30*k + 4. Suppose 3*t - 8 - 4 = 0. Let h be u(t). Is -2 + -1 + h/(-2) a composite number?
True
Suppose 3*l = 2*k - 113, 331 = 4*k - 5*l + 108. Is (-5490)/(-26) + (-8)/k prime?
True
Suppose -60 = -5*l + 4*l. Suppose -2*m = 2*a - l, 4*a - 2*m - m = 148. Is a prime?
False
Suppose -7*q + 4608 = -859. Is q a composite number?
True
Let o(n) = -n + 3. Let m be o(3). Suppose 4*l - 429 - 103 = m. Is l prime?
False
Let k(h) be the first derivative of 1/4*h**4 + 3/2*h**2 - 2 + 2*h + 1/3*h**3. Is k(3) a prime number?
True
Let r = -429 - -838. Is r a prime number?
True
Let h(p) = p - 5. Let g be h(7). Suppose 5*a = -5*j + 430, 2*a = j + g*j + 157. Is a a prime number?
True
Suppose 98 + 27 = -5*o. Let k = o - -48. Is k prime?
True
Let j be (-5)/(-1)*(1 + -3). Let w(k) = -4*k - 9. Is w(j) a prime number?
True
Let k = 8 + -6. Suppose 0 = -k*h + 112 + 46. Is h prime?
True
Is 36/9*(-1)/((-8)/1786) a prime number?
False
Let z(g) = -g**3 - 3*g**2 + 11*g + 3. Is z(-8) composite?
True
Let n = 3 - 15. Let b(d) = 4*d + 3. Let z be b(-6). Let h = n - z. Is h a prime number?
False
Let z(p) = -p**3 + p**2 - p + 2. Let d be z(0). Let r(i) = -i**3 + 3 - d*i**2 - 3 - 4*i. Is r(-3) composite?
True
Let u(y) = -2*y**3 - 7*y**2 + 4*y + 5. Let i be u(-6). Suppose -5*l + 34 + i = 0. Is l a prime number?
False
Suppose -5*y - 5*s = 0, -y + 2*y = 3*s - 16. Let p = 3 + y. Is 1 + 4 + -1 + p a composite number?
False
Let r(t) = -3*t**3 - 18*t**2 + 14*t - 23. Let y(d) = d**3 + 6*d**2 - 5*d + 8. Let q(v) = 6*r(v) + 17*y(v). Let x be q(-4). Is -3 + (x/(-2) - -3) a prime number?
False
Suppose -2*v + 2*z + 580 = 0, 5*z = -8*v + 4*v + 1187. Is v prime?
True
Let s be 14/6 + (-2)/6. Let g be 3 + 1 + -2 + 28. Suppose -s*q = q - g. Is q composite?
True
Suppose -2*s - 989 = -3*s. Is s a composite number?
True
Let h = 5 + -2. Suppose -h*o + 10 = i - 0*i, -2*i + 3*o = -20. Suppose -i = -j + 16. Is j a prime number?
False
Let z be 6*(3 + (-22)/6). Is z/16*-1*236 composite?
False
Let q = -17 - -5. Let f be 11/4 + (-3)/q. Suppose f*s + s = 148. Is s a composite number?
False
Let s = 43 + 102. Is s a prime number?
False
Let n(i) = i + 7*i**2 - 8*i**2 + 6*i**2 - i**3 - 2. Let f be n(5). Suppose -a - f*a = -196. Is a a prime number?
False
Suppose -5*y - 2*u = 53, u + 29 = -y - 4*u. Let s(z) = -12 - 12*z - 2*z - 2*z**2 - 8*z**2 - z**3. Is s(y) composite?
True
Let k = -22 - -14. Let c(s) = s + 6. Let q be c(k). Is (1 - 72)*2/q a prime number?
True
Suppose 25 = 5*w + 5, -b + 5*w + 37 = 0. Suppose 6*u = 2*u + 20, 2*u = 3*r + 4. Suppose -r*s + b = s. Is s prime?
True
Suppose 4*i = 2*d - 10, -d - 14 = -2*d + 5*i. Let t(h) = -2*h**2 + 5*h + 5. Let u(s) = s. Let z(y) = d*t(y) - 3*u(y). Is z(10) a prime number?
False
Let k(f) = -252*f - 91. Is k(-10) a prime number?
False
Let h(l) = 3*l**2 + 8*l - 25. Is h(-12) composite?
False
Let j(k) = k**3 - 7*k**2 - 13*k + 8. Is j(9) a composite number?
False
Let g be (-3)/9 - (-176)/(-3). Let q = g + 228. Suppose -2*r - r + 4*u = -q, 2*r = 3*u + 114. Is r a composite number?
True
Let o(q) = q**3 + 7*q**2 + 4*q. Let v be o(-6). Suppose -3*j + 9 = 5*c, -4*j + v = -3*c - c. Suppose 165 = j*s + 27. Is s prime?
False
Let m = 3 + 0. Let o(i) = -4 + 4*i**2 + 3 