 t composite?
True
Let t = 10 - 5. Suppose 2*q = 4*w + 198, 154 + 177 = 4*q + t*w. Is q a prime number?
True
Let h = 0 - -15. Is h composite?
True
Is (-105756)/(-108) - (-2)/(-9) prime?
False
Let g = 228 + 59. Is g a composite number?
True
Let a(h) = -12*h + 5. Is a(-7) a prime number?
True
Let z(h) = -2 - 199*h + 5 + 0 - 2. Is z(-4) a composite number?
False
Let p(n) = -74*n**3 - n**2 - n. Let m(t) = t**2 - 5*t - 7. Let d be m(6). Is p(d) prime?
False
Suppose 5*k - 11320 = -2615. Is k a composite number?
False
Let k(q) = -65*q - 5. Let w be k(-10). Let t = -346 + w. Is t composite?
True
Let w be (-3*2)/3 + 24. Let t = 65 - w. Is t a prime number?
True
Let j(x) be the third derivative of x**6/360 + x**5/20 + x**4/6 - x**3/3 - 2*x**2. Let w(y) be the first derivative of j(y). Is w(-6) prime?
False
Let u = -21 + 26. Suppose w - h - 74 = -4*w, -u*w - 3*h + 78 = 0. Is w prime?
False
Suppose 2*o - j + 6 = 4*j, 0 = -o + 5*j - 8. Suppose -762 = -v - x, -814 = o*v - 2*x - 2342. Is v prime?
False
Let s(r) = r + 83. Let c be s(0). Let y = c - 18. Is y a prime number?
False
Let n be (-4)/(-26) - (-17400)/130. Suppose 4*u + 204 = -0*u. Let r = u + n. Is r composite?
False
Suppose 0 = -6*t + 10*t - 580. Is t composite?
True
Suppose -3*z = g - 14, z - 4*z + 20 = 4*g. Let s be 2*(-2 - (-18)/g). Suppose 2*d - 8 = s. Is d prime?
True
Let i(k) be the second derivative of k**3/6 - k**2/2 - 2*k. Let j be i(4). Suppose -42 = c - j*c. Is c a prime number?
False
Let i = 6919 + -2198. Is i a composite number?
False
Let x(p) = 458*p - 19. Is x(6) a composite number?
False
Let k be ((-4)/(-6))/(2/9). Suppose -k*h + 1295 = 2*h + n, -2*n = 5*h - 1295. Is h a prime number?
False
Let j(w) = 20*w**2 + 4*w + 3. Let c be j(-4). Let g = c - 150. Is g composite?
False
Let r(f) = -2 - 8 + 2*f**3 - 3*f**3 + 6*f - 7*f**2. Let p = 2 - 10. Is r(p) prime?
False
Let n(c) = c**3 + 3*c**2 - 5*c - 1. Let h be n(-4). Suppose 7 = h*r - 2. Suppose r*l + z - 195 = 0, 5*l = 2*l + 5*z + 195. Is l composite?
True
Let g(c) = -17*c. Let t = -3 + 1. Let h be g(t). Suppose 3*i = y - 44, y + 4*i = h + 45. Is y prime?
True
Let d be (-28)/(-1)*(-21)/(-6). Suppose -d = -0*t - 2*t. Is t composite?
True
Let q(k) be the first derivative of 16*k**2 - k - 5. Is q(3) a prime number?
False
Suppose -5*m = -6*m + 1199. Suppose 0 = 2*i + 325 - m. Is i prime?
False
Suppose -4*z - 8 = 0, -5*z - 18 + 158 = 3*k. Suppose u + 3 = k. Is u prime?
True
Suppose 2*u = -i + 1109, -3*u + 2221 = 3*i - i. Is i composite?
True
Let p(a) = 2*a - 3*a + a - a**3 - 2. Is p(-3) a prime number?
False
Let s = 9 + -5. Suppose 4 = -s*i - 0. Is (0 + i)/((-2)/194) composite?
False
Let w(p) = p**3 + 10*p**2 - 10*p + 13. Let n be w(-11). Let f(t) = 23*t**3 + t**2 - t + 1. Let h be f(2). Suppose 0 = -n*l + h - 5. Is l prime?
False
Suppose -4*n = 55 - 771. Is n a composite number?
False
Suppose 0 = -6*l + l - k + 559, 5*k = 5*l - 535. Is l a prime number?
False
Let f be (-14)/(-3) + (-8)/12. Suppose g + 18 = 5*p, 4*g + p = 4*p - f. Suppose -g*r = -r - 7. Is r prime?
True
Suppose 10*m - 8097 = 11213. Is m prime?
True
Let x = 11 + -11. Let b be 12/3 + 2*-1. Suppose -b*w + 7*w - 75 = x. Is w a composite number?
True
Suppose 548 = -5*h + 4*f - 306, h - 2*f = -172. Let s = h - -267. Is s a prime number?
True
Let v be (-332)/(-6) + 1/(-3). Let y = v + -8. Is y a prime number?
True
Suppose -2*s - 2*s = -5*n - 18, -5*n - 20 = -5*s. Suppose -3*p + p + t - 13 = 0, s*p + 5*t - 17 = 0. Let d = -1 - p. Is d a composite number?
False
Let q = 11 + -7. Suppose 2*r - 70 = q*k, -k + 33 = r - 5. Is r prime?
True
Let w = -706 - -198. Is (-2)/(-6) - w/6 composite?
True
Let k(p) = p**3 + 5*p**2 + 3*p - 4. Let u be k(-3). Let c = 7 - u. Suppose c*v + 27 - 125 = 0. Is v prime?
False
Is (2 + -1)/(2/1146) prime?
False
Suppose -3*j = -4*r + 3, -15 = r - 6*r. Suppose -j*i = -277 - 104. Is i prime?
True
Let q(n) = n**2 + 2*n - 3. Let i be q(2). Suppose 0 = -3*d - m - 64 - 33, -2*d - 93 = -i*m. Let v = d + 57. Is v composite?
False
Suppose 0 = -3*b - 2 + 8. Let m(o) = 55*o**2 + 2*o - 3. Is m(b) composite?
True
Suppose 0 = 2*t - 2*h - 37 - 331, 0 = 5*t + 2*h - 885. Is t composite?
False
Let t = -71 - -126. Suppose -2*i = -5*g - t, -2*g - 2*i + 6 = 28. Is -2 - (g - 0 - 0) prime?
False
Let u = 545 + 188. Is u composite?
False
Let a = 909 - 338. Is a composite?
False
Suppose -2*j = -0*j - 434. Is j a composite number?
True
Suppose 3*m - 2*n - 17 = 3*n, 2*n - 22 = -2*m. Is 1*(m - (-2 - 0)) composite?
False
Is (-21084)/(-24) - (-3)/6 prime?
False
Suppose 0 = 4*f + 2*t - 1612, -t - 354 - 55 = -f. Suppose x + 1066 - 52 = 5*h, x = 2*h - f. Is h a prime number?
False
Let b(i) = i**2 - 1. Let a(j) = 3*j**2 - j - 1. Let g(w) = a(w) - 2*b(w). Is g(5) a composite number?
True
Suppose -12*s + 21*s - 12681 = 0. Is s composite?
False
Let x be (-4)/6 + 2/3. Suppose -2*f = -x - 8. Suppose b = f*r - 307, b + 76 = 2*r - r. Is r a prime number?
False
Let w be 1 + 4*(0 - -1). Suppose -5*o - 3*d = -27, 3*o - w*d + 11 = -0*d. Suppose -b + 4*s = 3*b - 160, s + o = 0. Is b composite?
False
Is 7522*((-27)/(-6) + -4) a prime number?
True
Let f be (-2)/(3/21*-2). Suppose s - 2 = f. Is s composite?
True
Let t(g) = g. Let p be t(-8). Let d = -2 - p. Is d composite?
True
Suppose 2*d + d = -d. Let n = 778 - 552. Suppose d*j - n = -2*j. Is j composite?
False
Suppose -6*z + z + 15 = 0. Suppose b - 3*c = 25, -29 = -b + 8*c - z*c. Is b a composite number?
False
Suppose -11*s = -22*s + 2717. Is s a composite number?
True
Suppose -2*q + 5*q - 15 = 0. Suppose y + 4*y = a - 188, -4*y - 133 = q*a. Let j = -2 - y. Is j a prime number?
False
Suppose 3*s = 7*s - 8. Suppose -85 - 25 = -s*m. Is m composite?
True
Let n be (218/(-4) + 0)*-10. Suppose -h = 4*p - 185, n + 380 = 5*h - 3*p. Is h a composite number?
True
Let a = 2 - 0. Suppose f = -a + 471. Is f prime?
False
Suppose -5*n - 2*n = -6083. Is n prime?
False
Suppose 5*m - 2944 = 3*w, -m + 6*m - 4*w - 2947 = 0. Is m composite?
False
Let v be -2*(-2)/2 - 26. Let c be 4*2/(v/15). Let z(y) = -5*y - 3. Is z(c) a composite number?
True
Is (-149)/(-3 + 2 - 0) prime?
True
Let m be 5/15 - 1420/(-6). Let i = m + -110. Is i composite?
False
Let u(b) = -2*b - 3. Let q(v) = 2*v + 3. Let o(n) = 5*q(n) + 6*u(n). Let l be o(-4). Suppose 110 = 5*m - l*w, 51 = 3*m - 3*w + 5*w. Is m prime?
True
Suppose -3*w + 339 = -b, -3*b = 5*w - 57 - 508. Is w composite?
False
Let w(u) = u**2 + 9*u + 14. Let d be w(-6). Is d/(-14) - (-3155)/7 a composite number?
True
Suppose -2*y = -0*y. Suppose 0 = -y*o + 2*o - 322. Is o a prime number?
False
Suppose 0 = 5*l - 3783 + 1258. Suppose 3*f = -4*d + 1252 - 237, -f = -2*d + l. Is d composite?
True
Suppose -4*n + 0*u + 23 = -3*u, 0 = u + 5. Let o be n/(-9) - (-47)/9. Suppose -45 - o = -2*d. Is d a prime number?
False
Let n be ((-6)/9)/((-10)/75). Suppose n*m = 2*m + 69. Is m composite?
False
Suppose -3*y = 3*y - 1932. Suppose -10*t + 12*t = y. Is t composite?
True
Suppose -3*d = -2*b - 8164, -3*b - 5441 = -2*d - 0*b. Is d prime?
False
Suppose z = 4*h - 100, -h + 4*z + 50 = h. Is h a composite number?
True
Let c(q) = -2*q**3 + 2*q + 1. Let j be c(-1). Suppose -4*r = 2*u, 0 = -5*r - 3*u + 5*u + 18. Is r/1 - (j + -34) a composite number?
True
Let y(o) = -o**3 + 7*o**2 + 5*o + 5. Let n be y(8). Let q = -64 - -35. Let h = n - q. Is h a prime number?
False
Let f(t) = t**2 - 2*t + 1. Let y be f(1). Suppose -5*w + 10 + 15 = y. Suppose -5*q + w = -45. Is q composite?
True
Let q(a) = -13*a - 4. Let m(k) = 26*k + 9. Let r(x) = -3*m(x) - 5*q(x). Is r(-8) prime?
True
Let c(z) = -16*z - 1. Let y(b) = 15*b + 1. Let r(p) = 3*c(p) + 2*y(p). Let g be r(-1). Let w = g + -8. Is w a composite number?
True
Suppose 5*h + 200 = h. Let a = h - -115. Is a a composite number?
True
Suppose v + v = 4. Is 298/v*(3 + -2) a composite number?
False
Suppose 212 = -3*y - 4*s + 59, 3*y - 4*s + 177 = 0. Is 0 - (y + 2)*1 prime?
True
Suppose 2*f - 51 = -f. Let v be 2/(-3) - f/(-3). Suppose v = 5*c - 50. Is c a prime number?
True
Suppose -4*i = -2*j + 4*j - 772, 3*i + j - 577 = 0. Is i prime?
True
Let m = 11 - 11. Suppose -3*n + 0*n + 297 = m. Suppose -n = -l + 4*d, 5*l + d = 323 + 130. Is l a prime number?
False
Suppose 0 = -2*c + 4*c + 3892. Let b = -897 - c. Is b prime?
True
Suppose 2*