er?
False
Let k be ((-72)/5)/4*-5. Let l = k + 1. Is l a composite number?
False
Let z = 15 - 7. Suppose 3*v = 7 + z. Suppose 2*a + v*t = a + 1, -4*a = 2*t - 40. Is a a composite number?
False
Let p be 21/2*2/3. Let z = -3 + p. Suppose y = z*y - 39. Is y prime?
True
Let z be (10 - 14)*38/(-4). Let s = -1 + z. Is s a prime number?
True
Suppose -3*k = -2*t - 23, -14 = 4*k - t - 48. Let n be (-1 - 0)*5*k. Let z = -11 - n. Is z a composite number?
True
Let n(a) be the first derivative of a**4/4 + 10*a**3/3 + 3*a**2 + 3*a - 3. Is n(-8) composite?
False
Suppose 0 = -0*h + 5*h + 11900. Let a = -1593 - h. Is a prime?
True
Let r(w) = -w + 2. Let k be r(0). Suppose -1 = -k*m + 2*u + 105, 4*m + 5*u - 212 = 0. Is m prime?
True
Suppose -9 = -4*u + 2*u - q, 4*u + 4*q - 24 = 0. Suppose -2*g = x - 47, -221 = -3*x - x + u*g. Is x a prime number?
True
Suppose 2*r - 645 = -5*t, -2*t = -3*r - 177 - 62. Is t a prime number?
True
Let k(i) = 2*i + 1. Suppose -3*d = -6 - 0. Let w be k(d). Suppose 0 = w*g - 29 - 6. Is g composite?
False
Let g be (-2)/(-10) - (-77032)/40. Suppose 4*i - g = 5*f, -3*i - 3*f + 4*f + 1439 = 0. Is i composite?
False
Suppose -5*k - 17565 = 5*m - 10*m, -k + 14042 = 4*m. Is m prime?
True
Is (5190/(-50))/(1/(-5)) a composite number?
True
Suppose -2*z + 1440 = -154. Is z composite?
False
Let l = 178 + -59. Is l a composite number?
True
Suppose -12 = -0*h - 4*h. Suppose -w = -h*w. Suppose -j + 21 = -w*j. Is j a prime number?
False
Suppose 5*p = 48 - 8. Suppose -3*b - 20 = -p*b. Is b/((-12)/(-5) + -2) composite?
True
Let m = 5 + -12. Let u = 2 - m. Let k(v) = 4*v + 11. Is k(u) prime?
True
Suppose -5*o + 6 = -14. Suppose -m - 2*m + 4*i - 29 = 0, -2*i = -o*m - 22. Let g(r) = 11*r**2 + 3*r - 1. Is g(m) composite?
False
Let z(p) = -2*p**3 - 30*p**2 - 11*p - 16. Is z(-17) a composite number?
False
Let q be ((-4)/(-3))/((-4)/(-6)). Suppose q = 2*i, h = 4*h - 3*i - 42. Let o = 26 - h. Is o a prime number?
True
Let h(y) be the second derivative of y**4/6 - y**3 + 5*y**2/2 + 3*y. Let l be h(6). Let g = l + -27. Is g prime?
False
Let x(o) = 47*o - 3. Let z(m) = 95*m - 7. Let u(c) = 13*x(c) - 6*z(c). Suppose 3*s = s + 20. Is u(s) a composite number?
True
Let c be -1 + 1 + 1 + 2. Suppose -22 = -4*i - 2*u, c*u - 4 + 1 = 4*i. Suppose -8*j + 175 = -i*j. Is j composite?
True
Suppose -5*k + 12 = 4*y + 3, 4*k - 2*y = 2. Let h be (2 - -4) + k/(-1). Let d(a) = a**3 - 4*a**2 + 5*a + 5. Is d(h) a prime number?
False
Let r(c) be the second derivative of c**4/6 - c**3/3 - c**2 + c. Is r(4) composite?
True
Let j(u) = -u**2 - 10*u - 2 + 3*u + 3. Let h = 17 - 20. Is j(h) a composite number?
False
Let a = 4 - 1. Suppose -u - 46 = 2*p, -122 = 5*p + 2*u - a*u. Let k = 71 + p. Is k composite?
False
Let k(z) = z**3 + z**2 + 214. Let m be k(0). Suppose -4*p - 26 = -m. Let j = p + -34. Is j a composite number?
False
Suppose 0 = -2*a + 6, 5*m - 25 = 5*a - 10*a. Suppose 2 = m*z - 2. Suppose -2*h - 34 = -z*t, 0 = t + h - 3*h - 15. Is t a composite number?
False
Let u = -31 - -124. Is u a composite number?
True
Let a = 1 + 3. Let w(u) be the second derivative of 11*u**3/6 + u**2 - u. Is w(a) a composite number?
True
Suppose 0*k - 2*k + 1174 = 0. Is k prime?
True
Suppose -2*v + 3705 - 139 = 0. Is v a prime number?
True
Suppose -390 = 5*u + 395. Let d = u + 243. Is d/12 - 2/12 a composite number?
False
Let k(i) = 6*i**2 - i - 8. Is k(-15) a prime number?
False
Suppose -a - 128 = -2*a. Let w = a + -54. Is 2/4*(0 + w) composite?
False
Let j = 1023 + 1106. Is j prime?
True
Let y(a) = a**3 + 7*a**2 + 5*a. Is y(-5) a composite number?
True
Suppose 0 = -n + 3*o + 25, -3*n + 3*o + 3 + 72 = 0. Is n composite?
True
Let v(c) = c**3 + 26*c**2 - 4*c + 59. Is v(-26) prime?
True
Let z(v) = 69*v**2 - 4*v + 13. Is z(-6) prime?
True
Suppose 4*i = 4*p + 824, -2*p - 7 = -1. Is i prime?
False
Suppose -k = 3*k - 4*m, 2*m - 18 = -4*k. Suppose -3*n + 318 = k*z, 0 = -3*n - 2*n - z + 518. Is n composite?
False
Let m(z) = z**2 + z + 3. Let s be 40/12 + (-1)/3. Let d(i) = -i - 3. Let k be d(s). Is m(k) prime?
False
Let x(g) = 2*g**2 + 1. Let s be x(-1). Suppose -4 = -s*q + 17. Is q composite?
False
Let v be 55/2 + (-4)/8. Suppose -2*i = -7 + 13. Is (77/i)/((-9)/v) a composite number?
True
Let v be (3 - -3) + -2 + 1. Suppose -2*k = 2*w - 37 - 11, 0 = -v*k + 2*w + 85. Is k prime?
True
Suppose -5*d - 15 = -4*b + 7, -b - 5*d = 7. Suppose 36 - 417 = -b*w. Is w a composite number?
False
Suppose -3*w + 4*n - 1683 = 0, 2*w - 4*n - n + 1122 = 0. Let g = w + 934. Is g a composite number?
False
Let h = 18311 - 10830. Is h a composite number?
False
Let o(f) = -f + 1. Let p be o(-5). Let y be (-16)/p*87/(-4). Suppose r = b - 54, -4*r = -b + r + y. Is b a prime number?
True
Is (89 + -2)/1 + 0/(-8) composite?
True
Suppose 0 = -0*a + 4*a - 1028. Is a a composite number?
False
Let m = -58 - -211. Let d = m + -220. Is 2/(132/d + 2) a composite number?
False
Suppose 0 = l + 2*u - 12, -5*l - 3*u + 20 = -u. Suppose 0 = -l*z - 0*z + 6. Suppose -6 - 3 = -z*w. Is w a composite number?
False
Let o(i) = -i**3 - 10*i**2 - 12*i + 7. Is o(-10) prime?
True
Suppose 4*g + i - 65 = -12, 4*g - 5*i = 47. Suppose 0 = t - 76 - g. Is t a composite number?
False
Suppose 3*d + 5*u = 9, 0*d + 6 = 2*d - u. Suppose d*g + 97 = 454. Suppose 2*z - 207 = g. Is z a prime number?
True
Suppose -3*a = 4*q - 303, -3*a + 4*q - 2*q = -285. Is a a prime number?
True
Let h be (6/3 - 2) + 4. Let m be (h/6)/((-2)/(-15)). Suppose 0 = 3*k + 9, -5*p - m*k + 169 + 111 = 0. Is p composite?
False
Let a = 219 + -155. Suppose -4*m - 4*x + 124 = 0, 0*m + 2*m + x - a = 0. Is m a prime number?
False
Let c be -1*-2*(1 - 0). Suppose 0 = g + c*i - 60, -3*g + 4*i - 140 + 370 = 0. Suppose 2*k = -5*t + g, 7*t + 34 = 2*k + 3*t. Is k a prime number?
False
Suppose 0 = 5*a - 3*r - 81213, 5*a + 0*r + r - 81209 = 0. Suppose j - 3*j - a = 0. Is 4/18 - j/27 composite?
True
Let q(t) = 2*t**2 + 24*t - 25. Is q(-17) a composite number?
True
Suppose 0 = r - 6*r + 8275. Is r a composite number?
True
Let y be 6*3*135/(-10). Let g = -152 - y. Is g a composite number?
True
Let o = 255 + -1509. Let t = -893 - o. Suppose v - t = -3*v - 5*k, -3*k + 3 = 0. Is v composite?
False
Let v = -680 + 1079. Suppose v = b + 2*b. Is b composite?
True
Let q(m) = 5*m**3 + 2*m**2 + 9*m - 5. Let k(o) = -o**3 + o - 1. Let t(j) = 6*k(j) - q(j). Let w be (-12)/(-9)*6/(-4). Is t(w) composite?
True
Let r(j) = 58*j + 17. Is r(18) composite?
False
Let w = 10 + -6. Suppose -20 = -w*l + 4*b, 0*l - 2*b = -l + 7. Suppose 84 = 4*p + 4*y, 2*y = -l*y - 20. Is p a prime number?
False
Let h = 198 - 31. Is h prime?
True
Suppose 4*c = 2*c + 6. Suppose -c*u + 15 = -6*u. Let o = 9 + u. Is o a prime number?
False
Suppose -3*l - 8 = x + 7, -20 = x + 4*l. Suppose -5*p = 4*f, -f + p = -x*f - 9. Let u(a) = -a**3 + 8*a**2 - 5*a - 1. Is u(f) prime?
False
Let l = 363 - -316. Is l composite?
True
Let v(q) = 50*q**2 - 5*q - 1. Is v(-6) a composite number?
True
Let x = -2 + -1. Is (2/x)/((-12)/954) composite?
False
Suppose 0 = 3*h - 2*h + 4*b - 19, -22 = -3*h - 5*b. Is 1 - -86 - (h - -2) a composite number?
True
Is (5/(-20))/(-2*(-1)/(-1592)) prime?
True
Let p(i) = -111*i**3 + 2*i**2 + i - 2. Let r be p(-2). Suppose -r = -n - 3*n. Is n composite?
False
Let o(h) = h + 8. Let i be o(0). Suppose -7*k + i*k = 115. Is k composite?
True
Let a(x) = x**3 - 5*x**2 - 7*x - 1. Let f be a(6). Let w(c) = 2*c**2 + 8*c - 8. Is w(f) composite?
True
Let g = -125 - -31. Let j = 7 - 12. Let l = j - g. Is l composite?
False
Is 12*-3*(-46)/24 a composite number?
True
Let q(y) = -4*y. Let r be q(-1). Suppose -2*t = k + 7, 3*k + r*t + 7 = -6. Suppose n = -m + 9 + k, -n = 5*m - 70. Is m a prime number?
False
Let p be 1/(-2)*2 + 1. Suppose -4*g + 1026 + 202 = p. Is g prime?
True
Let s(b) = -312*b. Let q be s(-1). Suppose -5*a - 4*c + q = -a, -c = -3*a + 238. Is a prime?
True
Let l(f) = -f**2 - 2*f + 5. Let d be l(-5). Let p = d - -35. Is p composite?
True
Suppose -p - 17 = -3*y, 2*y - 2*p = -6*p + 2. Suppose 0 = -y*a - 0*a - 5. Is (a - 0)/(4/(-84)) a prime number?
False
Let n(y) be the third derivative of 3*y**5/20 - 5*y**4/24 - y**3/6 - 3*y**2. Is n(-4) a composite number?
False
Let i = 4 - 2. Suppose 0 = i*n + 6, -z - 4*z = 3*n - 66. Is z composite?
True
Suppose 446 + 