rime?
True
Suppose -g + 0*g = -4. Suppose g*w = 277 + 331. Is ((-15)/(-20))/(2/w) composite?
True
Suppose -9*p + 5*p = -12. Suppose -6*n = -5*n + p. Is -3 + 253*7 + n a composite number?
True
Let p(y) = y**3 - y**2 + y + 2. Let u be p(0). Suppose -3*z = -4*r + u*z + 1226, 3*r + 5*z = 937. Is -2 + 4 + -2 + r a composite number?
True
Let u(a) be the second derivative of a**5/20 + a**4/12 + a**3/6 + 3*a**2/2 - 3*a. Let c be u(-2). Is c/(-6)*-4 + 433 composite?
False
Let z be 5/(-25) + (-26872)/(-10). Suppose 3*t + 4*q - z = 0, 0*t - 2*t + 4*q = -1758. Is t a composite number?
True
Let f = -8 + 118. Suppose -l + f = -447. Is l composite?
False
Let s = 16656 - 7129. Is s composite?
True
Let t be (-4)/(-16) - (0 - (-17)/4). Is (25/(-20))/(t/592) composite?
True
Suppose -3*n + 0*n + 4787 = w, 0 = 2*n - w - 3188. Let o = -1069 + n. Is o a prime number?
False
Suppose -3*v + 12 = -6. Suppose g + 2*g = v, -5*n + 1323 = -g. Is n composite?
True
Let u = -15 + 3. Is u/((-3)/1) - -2575 prime?
True
Suppose 0 = -2*q + 28*y - 30*y + 3320, -4*y = 5*q - 8297. Is q prime?
True
Let n = 11576 + -6391. Suppose -4*g + 867 = -n. Is g prime?
False
Suppose 5*g - 5*l = 0, 5*l = 2*l + 6. Suppose -g*i + 2 = -44. Suppose v - i = -0*v + 4*t, 39 = v + 4*t. Is v prime?
True
Is (0 - -5 - 33)*(-1613)/4 composite?
True
Let p = 1661 + -942. Is p a prime number?
True
Suppose 18 = -4*n - 126. Is 12/n*(1 + -12910) a prime number?
False
Let u(b) = -b**3 + 4*b**2 - b - 2. Let c be u(-3). Let z = c - 5. Is z a prime number?
True
Suppose r = -3, 14592 = 2*y - 3*r - 6391. Is y a prime number?
True
Let k(g) = 7*g - 44. Let o be k(6). Is (3 + o)*(129 + -2) composite?
False
Suppose -5*b - 4*x = -253851, -5*b + 64333 + 189521 = x. Is b a composite number?
True
Let y(w) = 187*w - 5. Let k be y(4). Is k*1 - 0/(4 - 0) a prime number?
True
Let j be 27/6*(16/3)/(-4). Let z(p) = 57*p**2 + 3*p + 19. Is z(j) composite?
False
Let j(o) = -73*o - 86. Is j(-15) a prime number?
True
Let p = 19226 - 9715. Is p a composite number?
False
Let b = -12 - -14. Suppose -4*w + 5*v = -9*w + 1960, 0 = 5*w + b*v - 1954. Suppose -4*u + w = -446. Is u a prime number?
False
Is 2987/58*1*38 a prime number?
False
Let i(z) = 19*z + 10. Let c(a) = -19*a - 11. Let l(h) = 4*c(h) + 5*i(h). Let k be l(9). Let d = k - -36. Is d a composite number?
True
Suppose 0 = 2*a - 4*g - 16635 - 10577, -2*g = -3*a + 40826. Suppose a = 5*p + 5*p. Is p prime?
True
Suppose -2*n = p - 5569, -3*p + 24676 = 4*n + 7971. Is p a prime number?
False
Let d be (-1)/(-5) - (-158)/10. Suppose -q - 3*q = -d. Suppose 0 = -v + q*a + 7, 0*v = 5*v + 2*a - 35. Is v composite?
False
Let l = 86 + -4. Is (1 - l/(-6)) + 2/6 a composite number?
True
Suppose 0 = -56*q + 123206 - 37246. Is q composite?
True
Let s(y) = y + 9. Let w be s(-5). Suppose -11*z + 3351 = -6*z + w*g, 5*g - 20 = 0. Is z prime?
False
Suppose 0 = -5*x - 23 + 103. Let u = -13 + x. Suppose -u*r = -2*r - 47. Is r prime?
True
Let l(w) = 3*w**2 - 2*w + 14. Let k be l(-11). Suppose 2*f + f = k. Is f a composite number?
True
Let y = 21778 - 12269. Is y a composite number?
True
Suppose 3*w = 4*u - 622 - 3585, -4*w = 4*u - 4200. Suppose -8*m + u = -61. Is m a prime number?
True
Suppose 48*t = 14413 + 151139. Is t composite?
False
Let c = -359 - -534. Let z = -18 + c. Is z a composite number?
False
Suppose 42 = 4*g - g. Suppose 4*c - 22 = u + 2*u, 5*u + g = c. Is (-39)/u - (-3)/(-6) prime?
True
Suppose -4*s + 4*c + 28 = 0, -7 = -s - 3*c - 4. Let m = s + -3. Is (m + -3)*-1 - -339 prime?
False
Suppose 2*v + 5*n - 17 = 0, 0 + 1 = -2*v + n. Is (-14)/(1/5*(-2)/v) a prime number?
False
Let n = 3229 + -2276. Is n composite?
False
Suppose -7*n + 49131 + 10138 = 0. Is n composite?
False
Suppose -2*d - 16524 = -2*n, -n - 14*d + 17*d = -8260. Is n a prime number?
True
Let v(f) = 63*f - 30*f - 27*f + 4 + f**2. Is v(13) a composite number?
False
Suppose -l + 4 = l. Is 1/l - (-1224)/16 a prime number?
False
Suppose 3443 + 58 = -3*n. Let b be 3/(-12) + n/(-12). Suppose -b - 19 = -2*r. Is r a prime number?
False
Let k(c) = -8*c**3 - 4*c**2 - c + 12. Suppose 0 = -3*q - q + 20. Let a(g) = -g**3 - g**2 - g + 1. Let n(o) = q*a(o) - k(o). Is n(6) prime?
False
Let m = -5559 - -8479. Suppose 2*j - 1159 = -s, -j - 5*s - m = -6*j. Is j prime?
False
Let p(b) = -b**3 + 40*b**2 - 180*b - 77. Is p(34) prime?
True
Suppose 180735 = 13*y + 2*y. Is y prime?
True
Let b(n) = 17*n**2 + 10*n - 4. Let a be b(-6). Suppose -2 = -q, -4*o - 4*q - a = -8*o. Is o prime?
True
Suppose 5*r - 4*j = 2136, -2*r = -4*j - 180 - 684. Suppose 187 = a - r. Is a composite?
True
Is (-4 + (-37939)/(-44))*(4 - -48) prime?
False
Suppose -4*d + 4*h = -5068, 4*d = -0*h + 5*h + 5071. Suppose -3*m + d = 205. Is m a composite number?
False
Let p(m) = 4 - 5*m - m + 2*m**3 + 6*m - 13*m**2. Let z(a) = a**3 - a - 1. Let q(v) = -p(v) + 3*z(v). Is q(-6) composite?
False
Let i = 8137 - 4244. Is i a composite number?
True
Suppose 2*z = z + 21. Let b = z + -9. Suppose b = 4*j, j + 0*j = 4*q - 49. Is q a composite number?
False
Suppose 5*d - 4*j = 42, -9 = 2*j - 3. Let u = 5 - d. Is u/(2*(-2)/508) composite?
False
Let q(o) be the first derivative of o**3/3 - 9*o**2/2 + 10*o + 4. Let s be q(7). Let t(g) = -7*g**3 - 4*g**2 + 4*g + 3. Is t(s) a composite number?
True
Let l(m) be the third derivative of -299*m**4/24 + 17*m**3/6 + 4*m**2 + m. Is l(-4) a composite number?
False
Suppose 3*y - 10*y = -28. Suppose -4*c = g - 2664, -y*c + 687 = -3*c - 5*g. Is c prime?
False
Suppose -5*o + 2626 = -879. Is o a prime number?
True
Let z = -16355 + 7130. Is 2 + 2/((-10)/z) prime?
True
Suppose -402*s = -397*s - 3365. Is s a prime number?
True
Is (125483/(-58))/((-3)/6) composite?
False
Let k = -44 + 35. Is (-485 + -4)*3/k composite?
False
Let p(q) = 6*q**2 - 10*q + 48. Let s be p(-15). Let c = 3295 - s. Is c prime?
True
Let b(p) = 23*p + 6. Suppose j - 9 = -3*j - 3*n, 17 = 5*j - 2*n. Let m(d) = -24*d - 5. Let i(u) = j*m(u) + 4*b(u). Is i(7) a composite number?
False
Let c(l) = -4*l**3 + 2*l - 1. Let a be c(-2). Suppose 2*o = 6*o + 16, -3*o = -3*w + a. Suppose w*p - 448 = 247. Is p a prime number?
True
Let w(a) = 24*a**2 - 2*a + 5. Let i = 37 + -32. Suppose -i*h = 1 + 19. Is w(h) composite?
False
Let s = 991 - 233. Let y = -439 + s. Is y a prime number?
False
Let f(i) = -i**3 - 8*i**2 + 13*i - 4. Let p be f(-10). Let z = p - 33. Is z composite?
True
Let u(f) be the first derivative of 2*f**2 + 21*f + 12. Let z be u(-5). Let h(j) = 496*j + 1. Is h(z) composite?
True
Let a(r) = -2*r + 12. Let s(u) = -u**3 + 11*u**2 - 12*u + 6. Let c be s(10). Let h = 3 + c. Is a(h) prime?
False
Let j = 16 + -15. Let p(z) = z + 2. Let a be p(j). Suppose -2*x = -a*q - 388 - 46, x - 3*q - 211 = 0. Is x a composite number?
False
Let v = 28 + -17. Suppose -1 - v = -4*i. Is (-1)/i*(-76 - -7) a composite number?
False
Let y be 28/(-21) + (-1294)/(-3). Let c = -287 + y. Is c a composite number?
True
Suppose -2*f + 0*f - 2*l + 194 = 0, -f = 5*l - 77. Is (-2 - 161)*1/((-6)/f) composite?
True
Let w(v) = v**2 - 5*v. Let u be w(4). Let i be 0 + (5 - (-1 - u)). Suppose 117 = i*r + r. Is r a prime number?
False
Suppose 0 = -3*c + 2*c + 243. Let d = c - 142. Suppose w - d + 24 = 0. Is w a prime number?
False
Let v(x) = 51*x**2 - 6*x - 28. Is v(9) a prime number?
True
Let i = 312 - 245. Is i a composite number?
False
Suppose -a = 2*f - 560, -5*f + 2*a + 358 = -1024. Suppose 2*u + 7*r - 3*r - f = 0, 5*u = -4*r + 707. Suppose -u - 69 = -4*x. Is x a prime number?
True
Suppose -4*o + 4*b + 340 = 0, -3*o - b = 4*b - 247. Suppose 2*r + 2*h = -o + 960, 3*h + 1745 = 4*r. Is r a prime number?
False
Let j = 3551 + -6179. Let w = 4807 + j. Is w a prime number?
True
Suppose 105 = 50*h - 53*h. Is (-169868)/(-28) - 10/h a prime number?
True
Let q(o) = 2*o**3 + 4*o**2 + 11*o - 16. Let r be q(-11). Let c = 4182 + r. Is c composite?
False
Is (-11 + (-200)/(-16))*(-915236)/(-6) composite?
True
Let p = 3630 + -1973. Is p composite?
False
Let c(s) = -s**3 + 4*s**2 + 3*s - 2. Let k be c(5). Let v be (3/9)/((-2)/k). Let y(g) = 25*g**2 - 2*g - 2. Is y(v) prime?
False
Let t be 75112/12 + -2 + 24/9. Suppose -w + 6262 = 6*s - 3*s, -t = -w - s. Is w a prime number?
False
Let s = -164 + 174. Let o(k) = 167*k - 48. Is o(s) a composite number?
True
Suppose