q + 508. Is q composite?
False
Let r be (-378)/(-5) + (-8)/(-20). Suppose 0 = 3*b + f - 3*f - r, -54 = -2*b + 2*f. Suppose -2*z + 8 = -b. Is z prime?
False
Is 0 + -7*1/(-7) - -14692 composite?
True
Let j = 202 + -98. Let h = 423 + j. Let g = -238 + h. Is g composite?
True
Let y(g) = 513*g**3 - 2*g**2 + g. Let w be y(1). Let s be (-5)/45 + 3688/(-18). Let t = w + s. Is t a prime number?
True
Suppose h - 53 = t, h - 3*h - 3*t + 96 = 0. Let j = h + 28. Is j a composite number?
False
Suppose 4*m - 3*u - 34661 = 0, 3*m - 25980 = -u - 2*u. Is m prime?
True
Is (-134590)/(-14) - (-108)/(-189) composite?
False
Suppose -9*u = -0*u - 15651. Is u a prime number?
False
Let l(z) = -26*z**3 - 12*z**2 - 28*z - 65. Is l(-7) prime?
True
Is 2*86/(-12)*-36 - 1 prime?
False
Let u(w) = w - 7. Let v be u(8). Is 146 + v/(-2)*(6 + 0) a composite number?
True
Let x(k) = k**2 - 7*k - 11. Let q be x(8). Let f be 5*3*q/15. Is 37/4*(-12)/f a prime number?
True
Let d = -12960 + 27931. Is d a composite number?
True
Let u(p) = 67*p**3 + 2*p**2 + p. Let l be u(-1). Let z(f) = -4*f**2 + 32*f - 11. Let t be z(8). Let y = t - l. Is y prime?
False
Let j(k) = -12*k**3 + k**2 - k - 2. Let o be j(-1). Suppose -o = -4*y + 8. Suppose y*p - 159 = -m, p = -m - 2*p + 151. Is m composite?
False
Let n = 89 + -62. Suppose 2*m - 409 = -n. Is m a composite number?
False
Suppose -v - v + 51986 = 0. Suppose v = 17*w - 31620. Is w composite?
False
Let x(l) = -56*l - 9. Let z be x(-17). Let a = z + -494. Is a prime?
True
Let a = -3261 + 5084. Is a composite?
False
Let j(r) = -r - 12. Let w be j(-15). Suppose -3*b + 116 = g, 1 - w = 2*b. Is g a composite number?
True
Let x = 7 - -11. Let j(a) = -a**2 - a - 7. Let n be j(0). Is x/(-63) - 1339/n a composite number?
False
Is -2*(-43867)/8 - 10/(-40) a composite number?
True
Let g be (-2)/4*-6*150/45. Suppose g*c = 14*c - 4388. Is c a prime number?
True
Let f(n) = -n**3 + n**2 + 5. Let k be f(0). Let c = k - 5. Suppose 0*t - o = 4*t - 311, c = 3*o - 9. Is t prime?
False
Let l be 3/6 - (-9)/6. Is 270/l - 12/3 a composite number?
False
Suppose -15*t + 130714 = -13*t + 3*x, 0 = -t + 5*x + 65357. Is t a composite number?
False
Suppose 6*c - 5*c = 3. Suppose 0*o + 5*o + m = 740, 0 = c*o + 3*m - 432. Is o a prime number?
True
Let x(u) = u**3 - 11*u**2 - 13*u + 13. Let i be x(12). Let k(f) = -f**3 + 1. Let a(j) = -j**3 + 8*j**2 - 5*j + 15. Let m(l) = i*a(l) - 2*k(l). Is m(-7) prime?
True
Suppose -3*k = 5 + 7, 0 = 4*o - 2*k. Is (-1274 + (3 - -1))/o prime?
False
Is 89884/6 + 535/(-321) composite?
True
Let u(o) = o**3 - 7*o**2 + 6*o + 1. Let b be u(6). Let h be (-11 - -12) + 2/b. Is (-94)/h*(-30)/4 a composite number?
True
Let k(p) = p**3 + p**2 + p + 103. Let b be 10/(-45) - (-4)/18. Is k(b) a prime number?
True
Let k = 14957 + 8930. Is k prime?
True
Suppose -5*i + i = 3*g - 12304, -4*g = -16. Is i a composite number?
True
Suppose s + s = 0. Let y be (7/21)/(3/27). Suppose 7*d - 573 = 2*d + 2*p, s = -y*d + 4*p + 341. Is d a prime number?
False
Let u be -1*2 + 3 - (-11)/11. Suppose 2*k = l - 2*k - 687, 1407 = u*l + 3*k. Is l composite?
True
Suppose 0 = k + r - 13, 0*k - 4*r = 2*k - 26. Suppose 14*v - 145 = k*v. Is v composite?
True
Let k(y) = -228*y**2 - 7*y + 1. Let n(s) = -227*s**2 - 6*s + 1. Let c(o) = 4*k(o) - 5*n(o). Let f be c(1). Let i = 427 - f. Is i a composite number?
True
Let r(k) = -3*k**3 - 10*k**2 - 8*k + 11. Let c be r(-9). Suppose -4*d + c = -0*a - 5*a, -5*d + 1825 = a. Is d a composite number?
True
Let l(t) = 661*t**2 + 20*t - 78. Is l(5) composite?
False
Suppose 0 = 63*d - 85*d + 1207954. Is d prime?
True
Let f(v) = 116*v**2 + 177*v - 28. Is f(-17) composite?
True
Suppose -599*z = -589*z - 425230. Is z prime?
False
Is ((-22)/(-4))/11 + 34530/4 a composite number?
True
Let m(d) = d**2 + 7*d + 12. Let l be m(-5). Suppose -l*i - 78 = -5*i. Suppose -i = -3*z + 31. Is z composite?
False
Suppose -4*n - 2034 = -5*b - 7*n, 2*b - 812 = -2*n. Suppose 5*u - 9457 - b = 0. Is u a composite number?
False
Suppose 0*q - 4*q = -24. Suppose 3*f = q*f - 327. Is f a composite number?
False
Let j(f) be the third derivative of f**6/120 + f**5/5 + 3*f**3/2 - 3*f**2. Let u be j(-12). Let g(n) = 8*n**2 + 2*n + 1. Is g(u) composite?
True
Let i = -21 - -26. Suppose c = -4*c - i. Is (3*-426)/c - 1 composite?
False
Let p = 75 + -71. Let d(w) = 91*w**2 + 7*w - 7. Is d(p) composite?
True
Let y be -14*((-213)/2 - -4). Let g = -444 + y. Is g composite?
False
Is ((10 + 1)/(-11))/((-1)/26861) a prime number?
True
Let h = 2464 - 1134. Let d = h + -657. Is d a composite number?
False
Let k(h) = 117 - 123 - 187 - 182 - h**2. Let t be k(0). Let c = 766 + t. Is c prime?
False
Let p be 1 + 6 + -2 + -1. Let s(c) = 108*c + 14. Is s(p) prime?
False
Let n(v) = 1079*v - 11. Let i be n(6). Suppose c + i = 3*r, -3*r + 5*c - c = -6475. Is r a prime number?
True
Let m(u) = -u. Let g(x) = -48*x - 7. Let t(v) = -g(v) + 5*m(v). Let f be t(3). Let b = -77 + f. Is b composite?
False
Let i(s) = -5*s + 37*s**2 + 5 - 9*s + 16*s. Is i(-2) prime?
True
Let b = -1143 + 7064. Is b a prime number?
False
Let u be (-1 + 10)*(-9)/(-27). Suppose -k - 3*k = -5*d - 1671, u*d - 3 = 0. Is k composite?
False
Suppose -o + 942 = -2*k, -o + 0*o - 2*k = -934. Suppose -s + 138 = -4*d - o, -d - 4*s - 269 = 0. Let l = d + 522. Is l a composite number?
True
Let t = 10 + -5. Suppose -2*n = -t*m - 178, 4*n = -0*n + 3*m + 356. Is n a prime number?
True
Let y be -7 - 0*1/(-3). Let o = y + 11. Suppose 0 = -o*s - s + 935. Is s prime?
False
Suppose j = 3*d, -30 = -4*j - 3*d - 0*d. Is 1/3 - (-16)/j*445 composite?
False
Let t(k) = -11*k**3 - 11*k**2 - 8*k + 5. Let p be t(-7). Let q = p - 942. Is q a composite number?
True
Let v = 15083 - 8101. Is v composite?
True
Suppose -2*c + 6*c - 24 = 0. Suppose 0 = 2*u + 10*y - 6*y - 310, -5*u + y = -797. Suppose -u = c*b - 7*b. Is b a composite number?
True
Suppose -13*f - 54 = -16*f. Suppose f*h = 14*h + 60. Let u(l) = 16*l - 3. Is u(h) prime?
False
Suppose 8*k - 4*k - 2*o + 12 = 0, 3*k - o + 7 = 0. Suppose 6028 = 11*q - 25234. Is q/8 - k/(-4) prime?
False
Suppose -x = x - 16. Suppose -x*y = -4*y - 1676. Is y a prime number?
True
Let m = 729 + 257. Let i = 1389 - m. Is i composite?
True
Let n(x) = 2*x**3 + x**2 + x + 49. Is n(5) a prime number?
False
Let w(i) = -5*i**3 + 4*i**2 + 10*i - 8. Is w(-5) prime?
False
Let d = 4335 + -2018. Is d a prime number?
False
Let b = 21555 + -13224. Is b prime?
False
Suppose 0 = 101*v - 87*v - 12278. Is v composite?
False
Suppose -a - 3520 = -6*a. Let m = a - 323. Is m a prime number?
False
Let z = -100419 - -171350. Is z a composite number?
True
Let q(t) be the second derivative of -13*t**3/3 + 23*t**2/2 - 26*t. Is q(-4) prime?
True
Let p(j) = j**3 + 8*j**2 + 14*j - 1. Let b = -38 + 46. Is p(b) a prime number?
False
Let m(p) = p + 15. Let x be m(-9). Let h be 640 - x*(-8)/12. Let l = -251 + h. Is l composite?
True
Let j be 2/(-5) + 79890/(-25). Let u = -1756 - j. Suppose 245 = 5*o - u. Is o a prime number?
True
Suppose -136*w + 138*w = 31642. Is w a composite number?
True
Let t = -15 + 9. Let r = t + 5. Is 44/(-2)*-8 - r a composite number?
True
Let s(y) = -2924*y + 363. Is s(-2) prime?
True
Is (-7)/(-14) + 68019/6 a composite number?
True
Suppose -i - 5522 = -5*n + n, 5*n + 2*i - 6896 = 0. Let r = n + -213. Is r composite?
True
Suppose t = -t + 3*n - 3, -4*n + 20 = 0. Suppose -6 = -3*y, t*b = 3*b + 2*y + 3449. Is b prime?
True
Suppose -5*l - 3*f + 4114 = 0, -5*l = -8*l + 2*f + 2457. Is l composite?
False
Let w(k) = -16*k + 10. Let z(n) = 15*n - 9. Let v(a) = -2*w(a) - 3*z(a). Is v(-4) a composite number?
False
Suppose p = i + 6*p - 113, -282 = -2*i + 4*p. Is i a composite number?
True
Let a(w) be the second derivative of 5*w**4/12 + 5*w**3/6 - 7*w**2/2 + 33*w. Is a(-3) a prime number?
True
Suppose -22 = -3*h - 49. Is (h/(-27))/((-1)/(-633)) a composite number?
False
Let f = -2 + 5. Let q be (((-120285)/(-36))/(-15))/(2/(-8)). Suppose 0 = -f*p + 102 + q. Is p prime?
True
Let a = 12 - 9. Suppose -w + 3*z + z = a, 5*z = 5*w - 45. Suppose -8*i = -w*i + 815. Is i a composite number?
False
Let b be ((-7)/14)/(3/138). Let d = b + 27. Let s(c) = c**3 + 5*c**2 + 2*c - 9. Is s(d) composite?
True
Suppose 0 = -5*n + 3*j + 12804, 0*n - 4*j = 2*n - 5106. Is n*5/30*