 27148 + 4699. Is o a composite number?
False
Is (15/(-10))/3*-14 + 36940 a composite number?
False
Suppose -9*k + 14*k = 1700. Suppose -k = 2*g - 6*g. Is g a composite number?
True
Suppose y + 1056 = 4*w, 5*w + 0*w + y - 1320 = 0. Suppose z = w + 232. Suppose z - 3780 = -4*b. Is b prime?
True
Let l = 396 - 96. Let k = l + -89. Is k prime?
True
Let k(v) = 51892*v**2 - 19*v + 20. Is k(1) a prime number?
True
Suppose -448*s - 694475 = -473*s. Is s prime?
True
Suppose -83*i - 110328 = -95*i. Is i a composite number?
True
Suppose 5*s - 12 = s. Suppose -3*n = -3*t + 8157, 5*n - s*n + t + 5444 = 0. Is 1*(-4)/(12/n) a prime number?
True
Suppose 0 = g + 3*t + 7, 5*g = -0*t - 5*t - 15. Is 1862/2 + 0 + (g - 1) a composite number?
False
Let v be (2 + -6 - 16)*-2. Is (2 + (-111)/6)*v/(-12) composite?
True
Suppose 9*t - 8*t = -173. Let r = t + 714. Is r a prime number?
True
Let i(h) be the third derivative of -h**4/12 + h**3/3 - h**2. Let k be i(-3). Suppose 0 = 3*w - k*w + 925. Is w composite?
True
Let m be -3 - (-1 + 1 - -3). Is 20*(-267)/m - 1 a prime number?
False
Let l = 23713 - 3794. Is l prime?
True
Suppose 2*g = g + 8. Let l = g + -6. Is (l - 1)/((-2)/(-282)) composite?
True
Let c be (4 - (-15)/(-5)) + 10. Suppose c*k - 38277 = 2*k. Is k a composite number?
False
Suppose 3*l - 7 = 5*f + 18, 5*l = -3*f - 15. Suppose l*k = -8*k + 5848. Is k composite?
True
Let k = 697 + 7624. Is k a composite number?
True
Let j = -48 + 26. Let x = j - -25. Suppose 2*a + x*a = 5*r - 1860, -a - 1840 = -5*r. Is r a composite number?
False
Suppose 13*u - 6*u = 14903. Let a be 2996/3*(-6)/(-4). Let d = u - a. Is d prime?
True
Suppose -42*q = -70721 - 385. Is q composite?
False
Suppose 6 = -8*i + 30. Suppose 3*h - 3512 = -4*g + h, i*h = 6. Is g composite?
False
Let g be 6/(-1*(-4)/(-6)). Let d = -17 - g. Is (502/d)/((-4)/16) prime?
True
Suppose 0 = -27*n + 10*n + 180013. Is n a prime number?
True
Let z be (-1)/(618/154 + -4). Let i = 8 - z. Is i a prime number?
False
Let w be 10*-1*(-64)/(-20). Let p = w - -237. Let j = -118 + p. Is j a composite number?
True
Let k = 55 - 51. Suppose -k*f = -f - 8121. Is f composite?
False
Let x(y) = y**3 + 15*y**2 + 14*y - 11. Is x(-11) a prime number?
False
Is 16795/5*(-3 + 4) composite?
False
Let f be (7 - 3) + (-2 + 1)*2. Is 5528/(-8)*(f - 3) composite?
False
Suppose -3*u + 2*u + 221 = 0. Suppose 4*t - 163 = u. Let s = t + 163. Is s a prime number?
False
Suppose x - 2*j - 6 = -1, 0 = -2*x - 2*j + 40. Suppose -13*y = -x*y. Suppose y*n + 386 = 2*n - 4*g, 379 = 2*n + 3*g. Is n composite?
False
Suppose -3*f - 2*i - 74 = 0, 92 = -f - 3*f + 4*i. Let t = f - 51. Let k = 252 + t. Is k composite?
True
Suppose -4*k = -2*s + 8546, -3*k - 1537 = -s + 2739. Is s composite?
True
Suppose 0 = s - 9. Suppose 3*z = -0 + s. Suppose z + 71 = 2*i. Is i a composite number?
False
Let b(l) = 14*l**2 - 32*l - 31. Is b(-8) a prime number?
False
Suppose -2*i + 4896 + 4666 = -4*f, -4*i - 4*f + 19100 = 0. Is i prime?
False
Let w(t) be the first derivative of -t**4/4 - t**3/3 + t**2 - 4. Let g(i) be the second derivative of w(i). Is g(-14) composite?
True
Let g = 0 - -4. Suppose g*v + 697 = t, 3*t + 2*v - 869 = 1166. Is t a prime number?
False
Let t be (-209)/(-11) + 1 + -4. Let w = -12 + t. Suppose -w*a + 76 + 108 = 0. Is a a prime number?
False
Let c(s) = 476*s - 81. Is c(7) prime?
True
Let v(u) = u**3 + 15*u**2 - 5. Let o be v(-15). Let i be ((-6)/o)/(24/(-80)). Let n = 6 + i. Is n composite?
False
Let r(l) = -73*l**3 + 12*l**2 + 5*l - 21. Is r(-9) a prime number?
False
Suppose -8*d = -13450 - 25998. Is d composite?
False
Suppose 2*d + 4 = 2*x, -4 - 8 = -2*d - 2*x. Suppose -2*f + 4*v = -380 - 0, f = -d*v + 194. Let m = -107 + f. Is m composite?
True
Suppose 11*r - 10*r = 1177. Is r prime?
False
Suppose -s = -28 - 14. Suppose -31 - s = w. Let b = w + 452. Is b prime?
True
Let t be -4 - -3 - -7 - 1. Suppose -t*p + q = 5*q - 4380, 3525 = 4*p - q. Suppose -5*g - 175 + p = 0. Is g prime?
False
Let f = 24 + -21. Suppose 9*o = f*o. Suppose o = 4*a - 2*a - 2*i - 420, a + 5*i = 216. Is a prime?
True
Let q(a) = 3*a + 325. Let u(g) = -5*g - 651. Let w(j) = -7*q(j) - 4*u(j). Is w(0) composite?
True
Let g(k) = -22*k**3 - 17*k**2 - 10*k + 50. Is g(-13) prime?
True
Let y(j) = 3*j + 1. Let n be y(1). Suppose -1139 = -2*k + 5*w, -n*k - 8*w = -3*w - 2203. Is k a prime number?
True
Let r = 78 - -171. Suppose 0 = 3*m + r - 2916. Is m a composite number?
True
Let j be (1*-2)/((-8)/12). Suppose 0 = -w + j. Is (-2394)/(-27)*w/2 prime?
False
Let w = 15 - 11. Suppose -2*o - 5*l = -w, 0 = 3*o - 6*o + 5*l + 6. Suppose -3*k = -o*k - 211. Is k prime?
True
Let b(g) = -3*g**3 + 9*g**2 + 8*g + 11. Let o(y) = 2*y**3 - 8*y**2 - 8*y - 10. Let x(a) = -3*b(a) - 4*o(a). Is x(9) a prime number?
True
Let c(b) = 2*b**3 - 2*b**2 - 6*b - 8. Let h(d) = -2*d**3 + 2*d**2 + 5*d + 7. Let s(z) = -2*c(z) - 3*h(z). Let q = -12 - -18. Is s(q) composite?
False
Is ((-81804)/(-45) - 1) + 4/30 prime?
False
Let g be (-4186)/154 - 4/(-22). Let k = g - -36. Let w(l) = 19*l + 6. Is w(k) a composite number?
True
Suppose -5*o = -526 - 439. Suppose 1079 = 2*b + o. Let s = -144 + b. Is s a prime number?
False
Suppose -150 - 18 = -12*k. Suppose -2*h + 3*z + 3165 = 0, -h - 5*z + 7875 = 4*h. Is (-12)/(-42) + h/k a prime number?
True
Let a(x) be the first derivative of 1457*x**3 - x**2/2 + x + 24. Is a(-1) a prime number?
True
Suppose 2*o - 5*h = 76786 + 36446, 5*o - 3*h = 283061. Is o a prime number?
True
Let u(g) = g + 10. Let v be u(-5). Suppose v*q - x = -4*x + 4770, -3*x - 3789 = -4*q. Suppose -2*w + 476 = 3*h - h, 4*h - q = -5*w. Is h a composite number?
False
Let t = 13 - 7. Suppose t + 9 = -5*l + 3*v, -4*l - 12 = -2*v. Let s = 124 - l. Is s prime?
True
Let x be ((-21536)/(-48))/((-2)/(-9)). Is (2 - -1 - 2)*x/3 a prime number?
True
Suppose 0 = -4*a - n, -3*n = 4*a - n. Let t(g) = -g + 182. Let d be t(a). Suppose 4*m + d = 2*y - 256, 0 = -m - 4. Is y a composite number?
False
Let d be (3 - 8/3)*54. Is (-2*8439/d)/((-2)/6) a composite number?
True
Suppose 3*z = -z - 112. Is ((-199)/4)/(7/z) a composite number?
False
Let t(u) = 84*u**2 - 2*u + 1. Suppose r + 4*r = 0. Suppose r = -3*p - 5*m + 23, 0 = -p - p - m + 6. Is t(p) a composite number?
False
Suppose 0 = -4*d + 9*d - 13810. Suppose -4*y + 6864 = -2*k - d, -k = -1. Suppose 3*h - g + 698 = 2131, -y = -5*h - 3*g. Is h a prime number?
True
Is (-52)/(4 - 2)*737/(-22) a prime number?
False
Let c = 17 + 12. Let a = c + -27. Suppose 0 = -v - s + 184, v - 5*s + a*s - 188 = 0. Is v a composite number?
True
Let t(s) = 5*s**3 - s**2 - 4*s - 4. Let b(v) = -v**3 + v + 1. Let g(j) = -4*b(j) - t(j). Let c be g(0). Is -127*(-3 + c/(-2)) a prime number?
False
Is (24/(-90)*-6411)/(2/5) a prime number?
False
Let h(z) = -z**2 + 7*z + 1. Let m be h(7). Let o be 74/(-2) - (2 + m). Let l = o - -77. Is l composite?
False
Is (1 + -70778)*1*3/(-21) a prime number?
True
Suppose 150 = 5*f - 25. Let m = 18 + f. Is m composite?
False
Suppose 0 = 2*l, -w - 7*l = -3*l - 28. Let z = w - 13. Is (-220)/(-8)*18/z prime?
False
Suppose -3*g = -5*v - 166864, 4*g - v - 16061 = 206396. Is g a composite number?
True
Let n(w) = -w + 1633. Let g = -91 + 91. Is n(g) composite?
True
Let s = -24 - -24. Suppose s = -4*i - 12, -3*g - g - 4*i + 464 = 0. Is g a prime number?
False
Suppose -q + 2*r - 1168 = -3623, -r - 1 = 0. Let s = q + -1682. Is s prime?
False
Let w(j) be the first derivative of -2/3*j**3 - 1 - 3/2*j**2 + 5*j - 1/2*j**4. Is w(-4) a prime number?
True
Suppose 117 = 3*z - 144. Let g = 358 + z. Is g a prime number?
False
Suppose 2*q = 4*q - 2. Is (-1)/(-3)*1839/q prime?
True
Let j = 62 - 55. Is 1262 - j - 1*2 composite?
True
Let w(u) = -u**2 - u + 4. Suppose 0 = -n - 2*n. Let s be w(n). Suppose -s*g - 118 = j - 3*j, -3 = -g. Is j a prime number?
False
Let d(z) = 13*z**2 - 5*z - 7. Is d(8) prime?
False
Let q = -95 + 876. Suppose -2*b = -y + q, -3*b + 2388 = y + 2*y. Is y a prime number?
False
Suppose 116016 = 9*u - 181947. Is u composite?
False
Suppose -14*w - 202 = 8. Suppose 0*a - 3*a - 15 = 3*k, k + 3*a + 9 = 0. Is ((-1655)/w)/((-1)/k) prime?
True
Let o = 132 - 13. Let i = o - 84. Is i a prime number?
False
Let u(d) = -2*d**3 + 6*d**2 + 12*d + 5. Let c be u(-10). Suppose 4*j - c = -3*j. Is j a comp