*2 - 7*h. Let r be c(-7). Suppose k + 2 - 5 = r. Let j = k + 7. Is j a composite number?
True
Let y = 654 - 175. Is y a prime number?
True
Suppose 4*l + 33 - 13 = 0. Let n = l - -5. Suppose 0 = -n*t + 2*t - 4. Is t a prime number?
True
Suppose 0*c = -3*c + 3*q + 14265, -4*c + 19020 = 3*q. Suppose 0 = f, -4*h + h - 4*f + c = 0. Is h a composite number?
True
Let c = 205 - -39. Let q = c - 155. Is q a prime number?
True
Suppose 0 = -4*y - 0*y + 1140. Suppose -b = 5*o + b - y, -b + 57 = o. Suppose 3*n - 4*c - o = -0*n, 5*c = 0. Is n a prime number?
True
Let r(k) = 8*k + 2. Let f(y) = -15*y - 3. Let j(g) = -3*f(g) - 5*r(g). Is j(3) a prime number?
False
Let u be (3 - -1) + (-4)/4. Suppose -2*a - a - 351 = -u*t, 4*a + 8 = 0. Is t prime?
False
Suppose n = 3*m - 10, 6*n - 2*n - 35 = -3*m. Suppose -2*b - 174 = -t, -5*b - 423 = -n*t + 462. Suppose -5*c + 8*h - 3*h = -t, -140 = -5*c - 3*h. Is c composite?
False
Suppose -3*i + 959 = u, 0 = 3*i - i + 8. Suppose -5*y + 104 = -u. Is y composite?
True
Let o be (-1 + 4)*26/6. Let f = -74 + 139. Suppose 2*b = f + o. Is b prime?
False
Let m = 193 - -6. Is m a prime number?
True
Is 34 + 5 + -2*1 prime?
True
Let q(w) be the first derivative of 18*w**3 + w**2 + 3*w + 1. Let a(j) = j + 4. Let n be a(-6). Is q(n) prime?
False
Suppose -5*m - 6*w = -3*w - 7279, w + 4373 = 3*m. Is m a composite number?
True
Let h be 1/2 - (-81)/2. Let g be -6*(-2)/(6/(-19)). Let i = h - g. Is i a composite number?
False
Suppose -20 = -3*o + 10. Let l(s) = -9*s + o + 0*s**2 - 2*s**2 + 3*s**2. Is l(9) composite?
True
Let v = -7 - 33. Let o be ((-219)/(-9))/(1/3). Let w = o + v. Is w composite?
True
Suppose -r + 38 = -3*i, r = -3 + 5. Let k = i + 31. Is (k - -2*1)/1 composite?
True
Let l(u) be the second derivative of 2/3*u**3 + u + 0 + 1/20*u**5 - 1/2*u**4 + 7/2*u**2. Is l(6) a prime number?
True
Let w be (-8)/2*(-27)/(-6). Is (-4)/w + (-2343)/(-27) a prime number?
False
Suppose -3*i + 2*i + 2 = 0. Let a be i*(-71 - 2)*-1. Suppose -4*r - a = -5*s, 5*r + 30 = 10. Is s prime?
False
Suppose -3*r + 511 = 2*g, 3*g - 5*r = g + 487. Is g composite?
False
Suppose 4*h - 508 = -0*h. Is h a prime number?
True
Suppose -2*j + y + 0*y = -111, -4*y = 5*j - 310. Suppose 3*z + j = 223. Is z composite?
True
Let m = 125 - 79. Suppose -2*f = 5*o - 60 - m, -120 = -2*f + 2*o. Is f a prime number?
False
Suppose 11*s - 7*s = 1052. Is s a prime number?
True
Let r(f) be the second derivative of f**6/120 + f**5/40 - f**4/6 + f. Let d(v) be the third derivative of r(v). Is d(5) a prime number?
False
Let v(n) = -4*n**3 + n**2 - 2*n + 1. Let f be v(-2). Suppose 0 = 2*q - 2*i - 0*i - 8, -2*q + 4 = 2*i. Suppose q*o = 1 + f. Is o a prime number?
False
Suppose 2*p - 371 = -27. Suppose 4*h - 236 = z + 1, 3*h + 5*z = p. Is h composite?
False
Let h(u) = -27*u - 1. Let g(a) = a**3 + 3*a**2 - a - 1. Let n be g(-3). Let x = n - 4. Is h(x) a composite number?
False
Let r = 5 + -7. Let a = 4 - r. Is 86/a + 2/3 prime?
False
Suppose 0*f - 2 = -2*f. Let y(u) be the second derivative of 67*u**3/6 + 2*u. Is y(f) prime?
True
Let f(s) = 97*s + 14. Is f(9) prime?
True
Let i(a) be the first derivative of a**2 + 3*a + 1. Is i(8) composite?
False
Is (-6)/33 + 158/22 a prime number?
True
Suppose 4*s = -2*i + 4*i - 42, 4*s - 3*i = -39. Let k(j) = -j**2 - 12*j + 12. Let c be k(-11). Let o = s + c. Is o a prime number?
True
Let k(m) = m + 4. Let s be k(4). Let f be 2440/s*(-8)/(-5). Let h = -339 + f. Is h prime?
True
Let n(k) = 7*k + 12. Let b(j) = 15*j + 25. Let y(l) = -6*b(l) + 13*n(l). Let r be y(-4). Suppose r*s = 118 - 8. Is s a prime number?
False
Suppose 0 = -9*b + 713 - 74. Is b prime?
True
Let h(t) = t**3 + 2*t**2 - 3*t. Let o be (2 - 1) + -3 + -1. Let k be h(o). Is (k - -2) + 45/1 a prime number?
True
Suppose 0 = 4*w, -3*w = -3*h - 8*w + 2130. Suppose 0*o = 5*o - h. Is o prime?
False
Suppose -1 + 7 = 3*p. Let m(c) = c + p*c + 3 - 4 + 2*c**2. Is m(-6) prime?
True
Let d(r) = 1046*r + 3. Is d(1) a prime number?
True
Let n(h) = h**2 - 4*h - 1. Let c be n(6). Suppose 0 = -4*l + 1 + c. Suppose -j + 4*u = l*j - 652, -6 = 3*u. Is j a composite number?
True
Suppose 1557 = 3*k + 7*u - 3*u, -5*k + u + 2572 = 0. Is k a prime number?
False
Let k = -5 - -7. Suppose 4*f + h - 135 = 0, 2*f - 63 = k*h - h. Is f composite?
True
Suppose 4*c - 189 = 335. Is c a prime number?
True
Let q(b) = 8*b**3 - 2*b**2 - 8*b + 11. Is q(6) composite?
False
Let w(c) = -28*c**2 + 4*c + 3. Let o be w(-2). Is 7/(7/2) - o composite?
True
Suppose -2046 = -4*f - 5*h, -593 = -f + 2*h - 88. Is f prime?
True
Suppose 110 = -f - f - 3*q, -2*f + 4*q - 124 = 0. Let m = f + 89. Is m prime?
True
Suppose -3625 + 499 = -6*j. Is j a prime number?
True
Let m(u) = -u**3 - 7*u**2 + u + 9. Let o(y) = -y**2 - 4*y + 5. Let x be o(-6). Let z be m(x). Suppose z*b + 3*b + 4*a = 275, 5*b - 275 = a. Is b composite?
True
Suppose -961 = -2*b - 3*w, -4*b + 4*w = -w - 1955. Is b a prime number?
False
Suppose -b + 0*b + 4 = 0. Let g be -2 + b - 188/2. Is (g/(-6))/(8/12) composite?
False
Let j = -20 - -13. Let i(b) = -b**2 - 7*b - 10. Let o(s) = 1. Let q(c) = -i(c) - o(c). Is q(j) prime?
False
Let q = 8 + -4. Is 73/q - 3/(-4) a composite number?
False
Let o(q) = q**2 + 3*q + 7. Is o(12) prime?
False
Let y(f) = -12*f - 11. Let x(c) = -c - 2. Let o be x(-5). Suppose 4*d = o*d - 9. Is y(d) composite?
False
Is (-162719)/(-145) - (-8)/10 a composite number?
False
Let w = 175 - 62. Is w a composite number?
False
Let b(p) = 319*p**2 - p. Let o be b(1). Suppose -o = -4*q + 158. Is q a composite number?
True
Let b(r) = 26*r**3 + 2*r + 1. Let d be b(-1). Let c be 18/d*174/(-4). Is c/(-3 + 30/9) prime?
False
Let n(s) = -s**2 - 5*s. Let y be n(-5). Suppose y = -3*q + 5*j - 3*j, -5*j + 17 = q. Suppose 0 = 2*o - w - q*w - 40, 0 = o - 2*w - 19. Is o composite?
False
Let n(s) be the third derivative of 1/6*s**3 + 1/30*s**5 - 2*s**2 + 0*s + 0*s**4 + 0. Is n(-1) composite?
False
Let b be (0 + 7)*66/7. Suppose 2*u + b = 5*u. Is u prime?
False
Let q(s) = -56*s. Let z be q(1). Suppose 5*a - v + 0*v = 180, -5*a - 4*v + 155 = 0. Let d = a - z. Is d composite?
True
Let m(a) = 2*a**3 + 5*a**2 + 4*a - 15. Is m(8) a composite number?
False
Let r(p) be the second derivative of p**7/1260 + p**6/80 + p**5/120 + p**4/4 + 2*p. Let b(l) be the third derivative of r(l). Is b(-8) a composite number?
True
Suppose -5*l + b + 3*b + 813 = 0, l + 3*b = 155. Is l a prime number?
False
Let d(g) = g**2 - 2*g + 23. Let a(j) = -3*j**2 + 5*j - 46. Let r(c) = 2*a(c) + 5*d(c). Let i be r(0). Let m = 24 + i. Is m prime?
True
Suppose 2 = y - 0*y. Let h be -2 + (y - 4) - -2. Is (77 + 0)*(-1 - h) a prime number?
False
Suppose 0*l - 130 = 2*l. Let w = l - -91. Is w composite?
True
Suppose -5*w = -0*w + 185. Let c = w - -232. Suppose 0 = -2*v - 3*v + c. Is v prime?
False
Is 1996/6*(-3)/(-2) composite?
False
Let u be (6/12)/(1/2). Is 2 + (-2)/u + 22 a prime number?
False
Let r(j) = 10*j**2 + 2*j - 4. Let m be r(-3). Suppose -5*u - 25 = 5*c - m, -2*c + u = -10. Is c prime?
True
Let k(h) = -119*h - 2. Let r(x) = -179*x - 3. Let y(d) = -8*k(d) + 5*r(d). Is y(2) a prime number?
False
Let a = 856 - 519. Is a a composite number?
False
Let h(a) = -4*a**3 - 10*a**2 - 4*a - 262. Let n(g) = -g**3 - 3*g**2 - g - 87. Let m(l) = 2*h(l) - 7*n(l). Let i be m(0). Is 4/8 - i/(-2) a prime number?
True
Let x = -49 - -100. Is x a prime number?
False
Suppose 0 = -8*v - 0*v + 1048. Is v prime?
True
Let x(v) = 3*v**2 + 8*v. Let o(f) = f**2 + 3*f. Let n(t) = -11*o(t) + 4*x(t). Let z be n(2). Suppose 175 = 3*i + z*i. Is i composite?
True
Let f = 3 + 0. Suppose 2*w - f*w + r + 11 = 0, -52 = -4*w - 4*r. Let a = 23 - w. Is a a prime number?
True
Let w be 0/(-6) - -2*1. Suppose 6*u - 52 = w*u + 4*l, 5*l - 39 = -3*u. Is u a composite number?
False
Suppose 3*b - 635 = -2*b. Is b prime?
True
Let g(n) = 5*n**3 + n**2 + 3*n + 3. Suppose -4*f - 28 = -0*f. Let c(m) = 10*m**3 + 2*m**2 + 6*m + 5. Let y(r) = f*g(r) + 4*c(r). Is y(2) prime?
False
Suppose -2*x + l + 661 = -0*l, 3*x + 5*l - 998 = 0. Is x a composite number?
False
Let q = -19 + 25. Suppose 4*v + 818 = q*v. Is v composite?
False
Suppose s = -s + 326. Is s prime?
True
Let i = 34 - -44. Suppose -3*g + i = -267. Is g a composite number?
True
Let s be 0/3*(-3 + 2). Suppose s*o = 3*o