number?
False
Suppose 0 = 4*o - 91279 - 46381. Is o a prime number?
False
Let n be 34/(-187) - (-222)/11. Suppose -2*q + 7*q = -3*x + n, -5*q = -2*x - 45. Is q a prime number?
True
Is 1/7 + (-986800)/(-175) composite?
False
Let a(t) be the second derivative of 85*t**4/12 - 2*t**3/3 + t**2 + 30*t. Is a(1) a composite number?
False
Suppose 0 = 3*y - 13429 - 11432. Suppose -y - 17621 = -12*u. Is u a prime number?
False
Suppose 3*p - 3 = 2*p. Let u be (-15)/(-5) + -3 + 5. Suppose -4*c - 117 = -0*f - p*f, 172 = u*f + c. Is f a composite number?
True
Let s = -803 + 188. Let a = -350 - s. Is a prime?
False
Let j = 1 + -1. Suppose -2*k = -3*t + 25, -3*t - 4*k + k = j. Suppose -t*s + 0 = -485. Is s a composite number?
False
Suppose 0 = 6*c + c - 21. Suppose r + 2*k - 4*k = 8, -19 = -c*r + k. Suppose -r*m = 2*m - 536. Is m prime?
True
Let b = 2282 - 63. Is b a prime number?
False
Suppose -d = 5*h - 15, -5 - 7 = -2*d - h. Let f be 20/6*48/40. Suppose i = -f, -3*v + v - d*i = -86. Is v composite?
False
Suppose 2*m = -10*m + 108. Suppose -m*c = -12*c + 8859. Is c a prime number?
True
Let j = -18 - -17. Is 532/4 + 0/j a composite number?
True
Let m = -18840 - -43829. Is m composite?
False
Suppose -7*t + 19005 = -44632. Is t prime?
True
Let n = -11 + 6. Is (318/n)/((-6)/15) prime?
False
Let b(f) = -27*f - 4. Let g(a) be the third derivative of -a**6/120 + a**5/12 - a**4/12 + 7*a**3/6 - 4*a**2. Let p be g(5). Is b(p) prime?
False
Let l = 23916 + 6853. Is l composite?
True
Let a be 2 - 1 - (-4 + -595). Let h = a + -151. Is h a prime number?
True
Let c = 6533 - 1756. Is c a composite number?
True
Let v(j) = j**3 - j**2 - j + 21. Let l be v(0). Let m be 3*-1 + 4 + l. Is -2*m/(-4)*1 a composite number?
False
Let m(r) = 22*r + 3. Let f be m(1). Suppose -30*y + f*y = -925. Is y a composite number?
True
Suppose -2*h + 15 = 5*a - h, -2*a + 5*h - 21 = 0. Suppose a*p - 642 = 4*f, 4*f - f = p - 318. Suppose -829 - p = -4*x. Is x a prime number?
False
Let x(v) = 370*v - 29. Let i be x(26). Let j = i - 3550. Is j prime?
False
Let i(o) = o**2 - 2*o - 12. Let b be i(-2). Is 22/(-11)*18578/b a composite number?
True
Let f be 9/6*(-3898)/(-3). Suppose 0 = 11*n - 4178 - f. Is n a prime number?
True
Let m(f) = -3603*f + 23. Is m(-2) a composite number?
False
Suppose 10*t - 25*t + 226365 = 0. Is t a composite number?
False
Suppose -5*y = -15, -5 + 25 = 4*s + 4*y. Let f(i) = 2*i + 1. Let m be f(s). Suppose m*h - p - 133 = 963, -h = -3*p - 222. Is h prime?
False
Let t(g) be the second derivative of -31*g**6/120 + g**5/120 + 2*g**4/3 - 4*g. Let r(c) be the third derivative of t(c). Is r(-2) a composite number?
False
Let n be -564 + 6*-2*(-1)/(-4). Let j = n - -1240. Is j prime?
True
Let x = -1122 - -1769. Is x prime?
True
Let y(t) = 186*t - 8. Let i(s) be the first derivative of -93*s**2 + 7*s + 5. Let w(n) = -7*i(n) - 6*y(n). Is w(1) a prime number?
False
Let l = 58 - 54. Is (-8973)/(-18)*3/6*l a prime number?
True
Let s = 7006 + 14001. Suppose -7968 + s = 17*r. Is r prime?
False
Suppose 5 = -3*m + 5. Is (2 + (-6)/2)*m - -667 composite?
True
Let g(l) = 25*l**2 + 8*l - 68. Is g(7) a composite number?
False
Let q = 4507 - 2018. Is q a prime number?
False
Suppose x + 5 = 8. Suppose 1065 = x*q + 2*g, q + 710 = 3*q + 5*g. Is q a composite number?
True
Suppose -j + 16*j - 21885 = 0. Suppose -513 = -4*d + j. Is d prime?
False
Suppose -8*r = -9*r - 1. Let d(q) = -675*q**3 - q**2 - 2*q - 5. Let x(l) = -l**3 + l + 1. Let s(o) = r*d(o) - 4*x(o). Is s(1) a prime number?
False
Suppose -23*q + 39*q - 2721520 = 0. Is q composite?
True
Suppose 4*w - 9348 = -2584. Suppose -4*b - 5953 = -5*l, -w = -2*l - 4*b + 707. Is l a prime number?
True
Suppose -4*u + 807 = -1969. Suppose -4 = -4*j + 2*j. Suppose 3*s + 3*p = 1035, -2*p - p = j*s - u. Is s prime?
False
Let n(b) = b**2 + b - 2. Let r be n(0). Suppose 5*s - 3*o = -0*s - 8181, -4*s + o = 6542. Is (r + 3)/((-3)/s) composite?
True
Suppose -24788 = 176*u - 180*u. Is u composite?
False
Let s(z) = z**3 - 6*z**2 - 6*z - 10. Let d be s(7). Let r be -50*(d + 0)/6. Is r - -6*3/(-6) prime?
False
Suppose -f + 4 = 0, -6989 = g - 2*g + 3*f. Is g composite?
False
Let i(b) = b + 5. Let z be i(-5). Suppose z*c + 2*x = c + 259, -2*x = -5*c - 1263. Is c/((-3 - 0) + 2) a composite number?
False
Suppose l + 5 = -8. Let x(f) = 3*f**2 - 3*f - 9. Is x(l) prime?
False
Suppose -2*i - 4*q = 6, 2*i = -5*q + 2 - 11. Suppose 3*y = -i*p - 0*p + 654, -4*y + 426 = 2*p. Is p prime?
True
Let y = -15 + 19. Suppose -y*n = r - 3*r - 730, -n + 190 = r. Is n a composite number?
True
Let m = 211 - 80. Suppose f = m + 190. Let t = f - 172. Is t composite?
False
Let d(r) = 2*r**3 - 4*r**2 + 6*r - 5. Suppose -3*c = 4*l - 0 + 4, 3*c - l - 1 = 0. Suppose 6*w - 3*w = -2*i + 11, -5*i + w + 19 = c. Is d(i) a prime number?
True
Let g be (5 - 0) + ((-3)/(-1) - 4). Suppose g*d + 3*a + 457 = 2117, 4*d = -4*a + 1660. Is d a prime number?
False
Let u be ((-3)/(-6))/(0 + 3/7452). Let a = 2063 - u. Is a prime?
True
Let y(s) = -s**3 - 8*s**2 - 7*s + 9. Let b be y(-7). Let q = -4 + b. Suppose -2*r - 8*l + 191 = -3*l, 3*l + 400 = q*r. Is r composite?
False
Suppose 108 = 5*y - 4*h, 5*h = -2*y + 2*h + 34. Suppose -3*n - 4 = -4*n + i, 4*n - 3*i = 11. Let s = n + y. Is s composite?
False
Suppose -1 = -2*m + 9. Suppose -195 = -10*o + m*o. Is o prime?
False
Is 40/(-360) - 3/(54/(-7544)) a prime number?
True
Is (5 + 1341)*((3 - 6) + 4) a composite number?
True
Let n(r) = -6*r**3 + 21*r**2 + 2*r - 14. Let c(q) = -4*q**3 + 14*q**2 + q - 9. Let h(l) = -8*c(l) + 5*n(l). Is h(9) a composite number?
False
Suppose -3*v + 15 - 21 = 0. Is (-2)/(v/(-2269))*-1 a composite number?
False
Suppose -4*j - 30 = j. Let l be (0 - j/(-2)) + 5. Suppose l*y - 6 = 64. Is y prime?
False
Let h = 489 + 226. Suppose 5*k = -0*k + h. Is k composite?
True
Let h(v) = -v**3 - 8*v**2 - 7*v - 9. Let j be h(-7). Let z = j + 11. Suppose 3*u + 132 = 2*a + u, -z*a - u = -129. Is a a composite number?
True
Let u(q) = -q**3 + 4*q**2 - 2*q + 3. Let t be u(3). Suppose 1207 - 253 = t*n. Is n composite?
True
Let r(m) = -m. Let k(n) = -2*n**2 + 15*n + 35. Let v(q) = -k(q) + r(q). Is v(16) composite?
True
Is 6/45 + 1348382/210 prime?
True
Let m(q) = q**2 + 13*q + 17. Let i be m(-12). Suppose f = -6*u + 2*u + 86, i*f - 5*u - 480 = 0. Let b = f + 21. Is b composite?
True
Suppose 1736 = -2*t + 6*t. Let u = -184 + t. Let h = u + -117. Is h composite?
True
Let t be -1*(2 + 1)*-1. Suppose 3*n + 5*w + 2388 = t*w, -w - 3973 = 5*n. Is 4/((-8)/n) + -2 a prime number?
False
Let s(g) be the first derivative of 7*g**4/12 - 2*g**3/3 + g**2 + 12*g + 1. Let w(o) be the first derivative of s(o). Is w(5) a prime number?
True
Let l(b) = -223*b + b**2 + 109*b + 9 + 109*b. Suppose 5*c + 31 = 2*t, 4*c + 2*t + 1 = -13. Is l(c) prime?
True
Suppose 2*f = -5*w + 43194, 0 = -f - 3*w + 23082 - 1483. Is f prime?
True
Suppose -3*h - 2*i = -16, h + 3*i + 11 - 28 = 0. Let d be 253 + (0/3)/h. Suppose -d = -r - 0*r. Is r a prime number?
False
Suppose -7*i + 6*i = 0. Let g(w) = w**2 - w + 191. Is g(i) prime?
True
Suppose 3*j = 3*s - 21891, 7299 = -0*s + s - 2*j. Is s prime?
False
Let o = 6 + -3. Suppose 0*s + b + 8 = 2*s, -o*s + 4*b + 12 = 0. Suppose 15 = s*d - 3*d. Is d prime?
False
Let g(r) = r + 8. Let x be g(-4). Suppose -p - 5*t - 2 = -x*t, 4*p - 2 = t. Is (-17 + p)/(3/(-15)) a prime number?
False
Suppose -5*z + 4*b = 8, -5*z + 2*b - 4 = -2*z. Suppose 3*u - 12 = -z*u. Let s(w) = 14*w**2 - 4*w + 3. Is s(u) composite?
False
Suppose -2*t + 16 - 6 = 0. Suppose -4*w = t*j - 1245, 1 = j - 4. Is w a composite number?
True
Let g = -6 + 9. Suppose -g*m + 1134 + 1233 = 0. Is m composite?
True
Suppose 0 = 34*c - 36*c - 1010. Let w = 544 - c. Is w a prime number?
True
Suppose -4*z = -5*z. Suppose z = l - 1423 + 234. Is l composite?
True
Let p(r) = 1257*r - 29. Let t be p(-5). Let w = -3705 - t. Is w prime?
True
Suppose -b + 0*m + 6619 = -5*m, -2*b = -4*m - 13232. Let g = b - 4575. Is g a prime number?
True
Let u(f) = f**3 + 2*f + 209. Let r be u(0). Suppose -4*k + 0*k - 376 = 4*m, 2*k = 5*m - r. Let w = k - -186. Is w prime?
True
Suppose 0 = -5*b + f + 6963, -2*b + 3*f - 2*f = -2787. Suppose 5*c + b = 13*c. Let y = c - -223. Is y a composite number?
False
Let z(f) = -f**2 - 19*f**3 + 3 + f - 7 