a composite number?
True
Let m be 98/(-21) + 2/(-6). Is m/2*(-234)/9 prime?
False
Suppose 2220 = 7*w - 8371. Suppose 78 - w = -5*y. Is y composite?
True
Suppose -l - n + 7 = 0, -7*n = -3*n - 8. Suppose l*a - 4562 - 3003 = 0. Is a prime?
False
Is 8/20 + 240597/45 prime?
True
Let v be ((-22)/11)/((6/(-16))/3). Suppose v*f + 93 = 4781. Is f a prime number?
True
Let o(u) = 108*u - 2. Let w be o(2). Suppose 44 + w = 2*a. Let x = 224 - a. Is x a composite number?
True
Let r = -1070 - -1821. Is r prime?
True
Suppose 663 = 3*n - 3*z, -4*z - 6 = 14. Let m be 40/(-6)*n/(-20). Suppose -3*y - 2*t + m = -851, 5 = 5*t. Is y prime?
True
Suppose 5*i - i = 2*b - 1388, 0 = -4*i + 5*b - 1394. Suppose 2*h - 6*h + 2228 = 0. Let r = i + h. Is r a prime number?
True
Suppose -3*x = 3*x - 228. Suppose -x - 61 = -3*j. Is j a prime number?
False
Let w(j) = 2*j - 5169. Let z be w(0). Let t = -2926 - z. Is t prime?
True
Let o be 3*((-3)/9 + 1). Let t be 5/(o/(4/2)). Suppose -6*f + 55 = -t*f. Is f prime?
False
Let j(f) = -f**2 + 1. Let s(a) = 5*a**2 - 5*a + 3. Let t = 7 + -6. Let v(d) = t*s(d) - 3*j(d). Is v(-3) a prime number?
False
Let s(y) be the third derivative of 93*y**4/8 - 5*y**3/6 + 11*y**2. Is s(2) composite?
True
Suppose 0 = -2*k - 4*d + 10290, -2*d - 20591 = -4*k + d. Is k a prime number?
True
Suppose -63599 = -4*q + 5*g, -23*q + 47707 = -20*q + 4*g. Is q composite?
False
Let f(u) = u**3 - u**2 - 6*u - 3. Let h be f(-2). Is (4/18*h)/(8/(-8916)) prime?
True
Let j(l) be the first derivative of -2*l**4 - l**3/3 - 2*l**2 - 3*l + 11. Is j(-2) composite?
True
Let u(s) = -2*s**2 - 24*s + 48. Let r be u(-21). Let o = 1865 + r. Is o composite?
True
Let g = -5 + 10. Suppose 864 = g*o - o - 2*n, 5*o = 2*n + 1079. Let f = o + 84. Is f a composite number?
True
Suppose 0 = -v - 0 + 3. Let h be 3*((-8)/v)/2. Is (-5070)/(-40) - 1/h a prime number?
True
Suppose 40 = 5*w - 25. Is (-472)/(-4)*w/2 composite?
True
Let m(o) = 4*o**2 - 10*o - 2. Suppose 19 = 3*q + f, 7*q - f = 3*q + 30. Let a be m(q). Let t = a - 75. Is t prime?
False
Let r(o) = 30*o + 57. Let z be r(18). Suppose -38*k - z = -41*k. Is k composite?
False
Let d be (-1 - 0)*1 + 3. Let y be (30472/(-39))/((-4)/6). Suppose -d*r = 2*r - y. Is r composite?
False
Let j = 30 + -28. Suppose j*o - 533 = 1577. Is o a prime number?
False
Suppose -1280 = -2*k + 4938. Is k a composite number?
False
Let q(z) = -146*z - 1. Suppose 2*t + 5*w = -24, -2 = -2*t - 2*w - 14. Let i be q(t). Suppose 13*j - 10*j - i = 0. Is j a composite number?
False
Let h = 3404 + 987. Is h a composite number?
False
Suppose o = -o. Suppose 5*w - 5*z - 150 = o, 0*w - 5*w - 2*z = -150. Suppose 3*c = d + w, 4*c + 0*d = 2*d + 38. Is c prime?
True
Suppose -6*y + 17 = 161. Let w(t) = t**2 - 14*t - 25. Is w(y) a prime number?
True
Let z(q) = 3*q**2 + 15*q + 35. Let j(h) = 3*h**2 + 15*h + 34. Let v(o) = 4*j(o) - 3*z(o). Is v(-24) a prime number?
True
Suppose 2*c - 37488 = -4*p, 11*c = -5*p + 14*c + 46849. Is p prime?
True
Let y(h) = -3*h**2 - 28*h - 30. Is y(-7) a prime number?
True
Let t(h) = -1507*h + 9. Let o(d) = 754*d - 5. Let v(z) = -5*o(z) - 3*t(z). Is v(1) composite?
True
Suppose -6 = c + 3. Let i(g) = -g**2 - 10*g - 7. Let z be i(c). Is 178/z - 0/10 a composite number?
False
Suppose 108 = -j + 4*j. Let k = j + 1325. Is k composite?
False
Let t be (-6)/(-27) + 9/((-243)/(-210)). Is ((-2295)/81)/(1 + t/(-6)) a prime number?
False
Let s(h) = 957*h**2 + 8*h - 11. Is s(2) prime?
True
Suppose -4*c + 745 = -j, 5*c + 2*j - 756 = 172. Let z(n) = n**2 - 19*n - 11. Let o be z(16). Let r = c + o. Is r composite?
False
Let f = 2500 + 1159. Is f a composite number?
False
Let f(y) = -y**3 - 21*y**2 + 0*y**2 + 9 + 0 + 14 + 8*y. Is f(-22) a composite number?
False
Suppose 9 + 11 = 4*c. Suppose -2*b + k + 7 = 3*b, c*k + 10 = 0. Is (0 + b)/(5/2605) a prime number?
True
Let u(w) = -w**2 - 2. Let b(q) = 36*q**2 - 2*q + 14. Let k(h) = b(h) + 8*u(h). Let f(l) = l**2 - 6*l + 7. Let p be f(5). Is k(p) prime?
False
Let q be (-6)/(-3) - -9*5. Let k = q + -25. Suppose -k - 110 = -4*c. Is c prime?
False
Let b(k) = 66*k - 46. Let s be b(12). Suppose 0 = 3*h - 205 - s. Is h a prime number?
True
Let m be (60/(-45))/((-2)/(-9)). Let w(z) be the second derivative of z**4/4 - 2*z**3/3 + z**2/2 - z. Is w(m) prime?
False
Let p(t) = 37*t**2 - 12. Let v(d) = d**3 + 9*d**2 + 3*d + 20. Let w be v(-9). Is p(w) a prime number?
True
Let w = 9134 - 2665. Is w prime?
True
Is ((-21)/6)/(-7)*(12059 + -1) composite?
False
Let o(r) = -5*r**3 - r**2 + 1. Let y be o(-1). Let v = y + -1. Suppose -4*h - 5*g = -57, 3*g = -v*h + 2*g + 53. Is h a composite number?
False
Suppose -5443 = -5*w - 2*h, -2*w - h + 5439 = 3*w. Is w a composite number?
False
Suppose 24 = -q + 2*q. Suppose -4*h - 4*p = -12 - 16, 4*p = -3*h + q. Suppose 2*s + h = 22. Is s prime?
False
Let y(i) = 35*i**2 + 8*i + 52. Let u be y(12). Let g = u + -2222. Is g composite?
True
Let k = 6 + 1. Let x(p) = 8 + 3 + 3 - 15*p - k. Is x(-8) a composite number?
False
Let c(w) = w - 1. Let g be c(5). Suppose 0 = 5*u + 5*i - 15, 0 = -5*u + 2*i - 10 + g. Is 1*39 + u/(-7) prime?
False
Let v(k) = -7*k + 10. Let c be v(14). Let m = c - -353. Is m a composite number?
True
Suppose 0*x - 3*t - 25479 = -3*x, -x - 3*t + 8509 = 0. Is x a composite number?
True
Let n = 9 - -15. Let a = -26 + n. Is ((-78)/3)/a - 3 prime?
False
Let t(g) = 24*g**2 - 2*g - 17. Let l(x) = x**2 - 13*x - 21. Let r be l(15). Is t(r) composite?
True
Let g(i) = 72*i - 13. Let l(d) = -2*d**2 + 25*d + 21. Let t be l(13). Is g(t) a composite number?
False
Let j(r) = 7606*r**3 - r**2 - 10*r + 9. Is j(2) prime?
False
Suppose 2*w - 97 = 275. Suppose -6 + 2 = -2*g. Suppose w = s + g*s. Is s a prime number?
False
Let c(h) = -8*h - 2. Let r(q) = 3*q + 1. Let l(b) = -6*c(b) - 17*r(b). Let s be l(-5). Is (-2)/s + (-116)/(-5) prime?
True
Is 37697 - 15*(-10)/(-25) prime?
True
Let a be (15/10 + 0)*-8. Is (-7042)/a + 13/78 a prime number?
True
Suppose -i + 9 - 3 = 0. Is i*(-28)/(-12) + -1 + -2 prime?
True
Let m(g) = -1305*g - 34. Is m(-1) prime?
False
Let m(g) = 29*g - 2. Let v be m(3). Let i(k) = -2*k**3 + 18*k**2 - 17*k + 10. Let f be i(8). Let z = v + f. Is z prime?
False
Let h be (379/3)/(6/(-36)). Let y = -377 - h. Is y composite?
True
Suppose -4*z = -5*b + 23821 - 146, 3*z - 4754 = -b. Is b composite?
True
Suppose -3*k = -15*p + 12*p - 49479, 4*p = 0. Is k a composite number?
False
Let z be -4 - ((-5)/(25/60))/(-2). Is 5/z*8 + 1155 + 0 composite?
False
Let i(z) = -z**3 + 13*z**2 - 8. Let r be i(13). Let d be (-100)/(-8)*r/(-5). Is -5*(-1 + (-192)/d) a composite number?
False
Let j(k) = 4100*k + 69. Let l be j(15). Suppose 19*f - 28*f = -l. Is f a composite number?
False
Let r = -1303 + 4314. Is r a composite number?
False
Suppose 0 = -f + 9*f - 24. Suppose -f*x - 120 = -411. Is x composite?
False
Suppose -a + 2408 = -12275. Is a a composite number?
False
Suppose 87 = 12*y - 9*y. Let h = y + -37. Is 2/h - (-49569)/52 a composite number?
False
Let q be (125/(-15))/(-5)*3. Suppose 2*i = -4*b + 98, -q*i + 2*i = -3*b + 60. Is b a prime number?
True
Let c(z) = -8*z**3 - 90*z**2 + 5*z + 25. Is c(-14) a prime number?
False
Let b(n) = n + 18*n + 1 + 12*n - 9*n. Is b(6) a prime number?
False
Suppose -9433 = -3*o + 6716. Is o composite?
True
Let k be (-12)/(-18) - (-81908)/6. Suppose k = -7*i + 11*i. Is i composite?
False
Suppose -5*s = 5*o - 5, 1 = 3*s - o - 6. Suppose -t + 333 = s*t. Is t composite?
True
Is (285903/(-54))/((-1)/2) composite?
False
Let b(d) = -233*d**3 + 14*d**2 + 14*d + 3. Let z(x) = -155*x**3 + 9*x**2 + 9*x + 2. Let s(f) = 5*b(f) - 8*z(f). Is s(2) composite?
False
Let o(k) = 2471*k**2. Is o(-1) a composite number?
True
Is (-1136280)/(-24) + 12/(2/(-1)) composite?
False
Suppose 0 = 6*x - 35155 + 112357. Let i = x - -23080. Is i prime?
False
Let i(r) = 13*r**2 - 14*r + 34. Is i(14) a composite number?
True
Suppose 2*o + 7685 = 4*x - 1477, 2*x + o = 4591. Is x a composite number?
False
Suppose -w + 51*w - 1700150 = 0. Is w a prime number?
False
Suppose 3*q - 2*v - 9082 = -0*q, 3026 = q - v. Is 22/88 - q/(-8) composite?
False
Let g = 45 - 45. Suppose -2*p + 6*p - 580 = g. Is p composite?
True
Let l = -15 + 11. Let i(n) = -2*n**3 - 4*n**2 + 2*n - 9. Is i(l) a composite number?
False
Let g be (