 -c - 14 = -3*r. Is 237*(1 - 4/r) composite?
False
Let p = -135 - -268. Is p prime?
False
Let p(l) = -4*l. Let g be p(-1). Suppose -3*i = -g*i + 10. Is i prime?
False
Let o be (-26)/(-3) + 1/3. Suppose 3 = 4*f - o. Suppose -5*d = -5*n + 2*n - 458, -3*n + 270 = f*d. Is d a composite number?
True
Suppose -99*o + 101*o - 2918 = 0. Is o a prime number?
True
Suppose 0 = -2*n + 858 + 140. Is n composite?
False
Let a(h) be the third derivative of -h**2 - 1/8*h**4 + 0*h + 0 - 5/6*h**3. Is a(-9) a composite number?
True
Let j = 660 - 461. Is j a composite number?
False
Let u(p) = -p**3 + 2*p + 2. Let m be u(5). Let q = m + 196. Is q prime?
True
Let x(r) = -r - 5. Let o be x(-7). Let m = -434 + 636. Suppose 5*k + m = 2*c, 16 = 5*c - o*k - 447. Is c a composite number?
True
Let u = 60 - 23. Let w = -24 + u. Is w a prime number?
True
Let t = -53 + 142. Is t composite?
False
Let y(p) = -28*p**3 + 22*p**3 - 2*p + 2 - 4*p**2 - 3 + 3*p**2. Suppose d = -2*t, 0 = 5*d - 4*t + 5 + 9. Is y(d) composite?
False
Let u(o) = -o**3 - 3*o**2 - 3*o - 6. Let m be u(-6). Suppose 0 = -5*w + 515 - m. Is w composite?
False
Let x(g) be the first derivative of 14*g**3/3 - g**2/2 + 9*g + 2. Is x(-4) prime?
False
Suppose -56 = 3*t + t. Let s = t + 34. Let x = s + 13. Is x prime?
False
Suppose 231 = -4*r + 1267. Is r prime?
False
Suppose -3*d + 10 = 5*w - 3, 2*d - 10 = -2*w. Let x be (d/15)/(1/110). Is x + 4 + (-2)/(-2) a composite number?
True
Suppose -5*o = 716 - 26. Let w = 347 - o. Is w composite?
True
Let m(n) = 3*n - 4 - n + 3*n - 4*n. Let z be m(6). Is 19 + -1 + 2/z a composite number?
False
Let w(m) = 102*m**2 + 3*m + 1. Is w(-4) prime?
True
Let i be (-3)/(-2)*(-60)/(-18). Suppose 5*l = 2*w + 273 - 784, -3*w + 774 = -i*l. Is w a composite number?
False
Let f = -154 + 353. Is f a composite number?
False
Let m = 3 + -1. Suppose m*k + a - 428 = -2*a, -a = -2. Is k a composite number?
False
Let c(s) = -65*s + 2. Is c(-9) composite?
False
Let r be 20/(-12)*2*-69. Let o = r + -161. Is o prime?
False
Let d be 100 - (0/(-1) - -2). Let s = -87 - -36. Let p = s + d. Is p a composite number?
False
Let n = 7 + -17. Let d be 78/(-30) + 4/n. Let m(c) = -20*c - 1. Is m(d) a prime number?
True
Suppose -10*a + 2973 = -7*a. Is a a prime number?
True
Let s(x) = 52*x + 2. Let t be s(2). Let q = t - 29. Is q composite?
True
Let r(a) = -a + 58. Is r(0) a composite number?
True
Let w = 3 - -5. Suppose 0 = -r + 29 + w. Is r a composite number?
False
Suppose 2*b + g - 1445 = -b, -2*b - 4*g + 970 = 0. Let l = 1112 - b. Is l a prime number?
True
Let j = 91 - 24. Is j composite?
False
Let j(l) be the second derivative of -31*l**5/20 + l. Is j(-1) composite?
False
Is (97/(-4))/(4/(-16)) composite?
False
Let o = 340 + -231. Let m = -63 + o. Suppose f = -f + m. Is f a prime number?
True
Let g be 334/((-2)/(-1)) + 3. Suppose -3*z = 2*z - g. Is z composite?
True
Let l be 195/10*(-10)/(-3). Let h = l - -12. Is h a composite number?
True
Let x(h) = -51*h - 13. Is x(-4) a composite number?
False
Let h = -129 + 340. Is h composite?
False
Let a = 6 - 9. Let d(o) = -65*o - 4. Is d(a) composite?
False
Let h be (0 + 2 - 2) + 0. Suppose -2*z + 16 - 4 = h. Is z a composite number?
True
Suppose -5*k - 4048 - 2972 = 0. Let r = -665 - k. Is r a composite number?
False
Let y(f) = f**3 - 8*f**2 + f - 8. Let c be y(8). Suppose c*x - 9240 = 5*x. Is x/(-10) + 2/10 prime?
False
Suppose -5*s + 8166 + 2239 = 0. Is s prime?
True
Let u(s) = -791*s + 1. Let h be u(2). Is (4 - 2) + 0 - h prime?
True
Is (-14)/21 + (-971)/(-3) a prime number?
False
Let l = 6 + -7. Is 87 - (0 + 1) - l a prime number?
False
Let w(y) = -2*y**2 - 4*y - 2. Let x be w(-4). Let g = x + 71. Is g a composite number?
False
Suppose -44 = 3*z - 7*z. Is z prime?
True
Let p(t) be the second derivative of t**4/12 + t**3/3 - t**2/2 - t. Let x be p(1). Suppose 109 = 5*u + d, -x*u + 2*d - 50 = -4*u. Is u prime?
False
Let l(i) = -7*i - 11. Let d(v) = 15*v + 22. Let a(k) = -6*d(k) - 13*l(k). Let c be a(0). Suppose 0 = -0*t - t + c. Is t a prime number?
True
Suppose -3*c + 9 = -0. Let t be (c/4)/(3/8). Suppose -k - 31 = -t*k. Is k a composite number?
False
Let u(o) = 12*o**2 - 5*o - 4. Is u(3) a prime number?
True
Is (-30)/(-26) + 32/(-208) - -36 a composite number?
False
Let c(j) be the second derivative of -j**4/4 + j**3/6 - j**2 - 3*j. Let k(h) be the first derivative of c(h). Is k(-7) prime?
True
Let c = 6 + -237. Let j = c - -418. Is j prime?
False
Suppose -v + 74 = -549. Is v a prime number?
False
Let w be ((-6)/15)/((-2)/430). Let m(u) = -u**3 + u**2 + 1. Let n be m(2). Let c = n + w. Is c a prime number?
True
Let j = 1528 + -961. Suppose u - j = -0*u. Suppose 0 = i + 4*i - 2*z - 563, -5*i - 2*z = -u. Is i prime?
True
Let t = 6 + -5. Suppose 8 = -v + 4*w + t, -4 = -w. Is v prime?
False
Is 1481*5/(-15)*-3 a prime number?
True
Suppose 106 = r + 15. Is r a composite number?
True
Let q be ((-1)/(-3))/((-2)/(-18)). Suppose -q*m - 20 = -7*m. Suppose -m*p = -5*x + 580, 0 = -5*x - p - 111 + 709. Is x a composite number?
True
Suppose -3*t - i = -164, 2*i + 2*i = -t + 51. Let f = 78 - t. Is f composite?
False
Suppose 0 = -4*l + 12, 3*l = 5*p + 579. Let j = p + 51. Let z = j + 120. Is z prime?
False
Let k = 2 + -2. Suppose k = -0*n + 2*n - 54. Let c = -8 + n. Is c a composite number?
False
Let a = 18 - 13. Let o = 0 - 0. Suppose o = 4*i - a*i + 91. Is i a composite number?
True
Let m(s) = s**2 + s - 2. Let z be m(3). Suppose -b - b = -z. Suppose -5*k + b*g = -40, 0 = k - 3*g - 1 - 3. Is k prime?
False
Let p = -38 + 84. Is p a prime number?
False
Let x(p) be the third derivative of -5*p**4/12 - p**3/6 + 2*p**2. Is x(-9) prime?
True
Let w = 180 + 77. Is w a composite number?
False
Let k = -7 - -8. Let l = 2 - k. Is l + (-2 - -3) - -87 a prime number?
True
Let u = -565 + 938. Is u composite?
False
Suppose 7*v - 4476 = 3*v. Suppose v = -2*a + 5*a. Is a a prime number?
True
Suppose 3*z - 207 = 5*d, -5*d + 0*z - 4*z - 214 = 0. Let i(g) = g + 3. Let q be i(-6). Let s = q - d. Is s prime?
False
Suppose 0 = -n - 4*j - 0*j - 14, 0 = -n + 2*j + 10. Suppose 4*t = n*t + 766. Suppose -i = -3*h + i + 243, 5*h = -4*i + t. Is h a composite number?
False
Suppose r + 5 = -3*b - 1, 4*b = -r - 9. Suppose 13 = -r*n + 34. Suppose -2*g - 161 = -n*g - a, -3*a = -g + 45. Is g composite?
True
Let u = -226 - -148. Let z = u - -143. Suppose -y + z = -0*y. Is y a composite number?
True
Let c(r) = -r + 3. Let x be c(5). Is (36 - 0) + 0 - x a prime number?
False
Let q(j) = -j**3 - 6*j**2 - 4*j + 5. Let w be q(-5). Suppose w = h - b - 4, -5*b - 1 + 2 = 2*h. Suppose h*r - m - 30 = 0, -3*r + 4*m - 6 + 27 = 0. Is r prime?
True
Let d = 9 - 15. Let v(y) = 2*y**2 - 7*y + 1. Is v(d) composite?
True
Suppose 3*y = t + 1894, 3*y + 5*t + 302 = 2190. Is y a prime number?
True
Suppose 15 = 2*c + 9. Suppose c*z - a - 534 = 0, -z + 0*z = 4*a - 191. Is z a composite number?
False
Let m = -83 - -403. Is (-1 + -1 - -3) + m composite?
True
Let s be 1/((-3)/36*-4). Let d(y) = -y + 5. Let a be d(3). Suppose -s*g + a*g = -10. Is g a composite number?
True
Suppose 0 = -0*g + g - 58. Let f = g + 81. Let x = f - 90. Is x composite?
True
Let c be 2/5 + (-203)/(-5). Suppose 5*f + c = 11. Is (-33)/(-5) - f/15 composite?
False
Let c be (-7 + 2)*(-64)/(-40). Is (358/c)/((-3)/24) composite?
True
Suppose 5*a - 8 - 12 = 0. Suppose -2*d + 68 = -3*x, -x - 138 = -a*d + 4*x. Is d a prime number?
True
Let o be (-12)/(-10)*(-20)/(-6). Suppose 3*c = 3*s + 2*s, o*c - 29 = -3*s. Suppose d = 5*m + 83, 2*d - 415 = -3*d + c*m. Is d a composite number?
False
Suppose 3*o = -5*b - 328, -o + 55 = b + 167. Let s = 187 + o. Is s prime?
True
Suppose -u - 4 - 4 = 2*c, 4*u = 0. Is (-616)/4*2/c a prime number?
False
Let w(d) = d + 4. Let u = 5 + -7. Let l be w(u). Suppose 4*z - l*p = -4*p + 80, p - 61 = -3*z. Is z a composite number?
True
Suppose -g = -2*y + 10, 3*y + 3*g = -g + 4. Suppose 3*r + 39 = y*r. Is r prime?
False
Suppose 0 = -3*m + 3*x - 330, -5*m = -m + 2*x + 452. Let q = -1 - m. Is q prime?
False
Let n(z) = z**2 + 7*z + 12. Let k be n(-8). Let o = k - 64. Is (o/(-6))/((-2)/(-3)) a composite number?
False
Let b be 0 + 2 + (-6)/3. Suppose b*f - 74 = -f. Is f a prime number?
False
Let k(p) = -13*p - 1. Suppose -2*d + d - 6 = 0. Is k(d) prime?
Fal