Suppose 25 = v*j - 187. Is j a composite number?
False
Suppose 4*b = -v + 181, -b + 3*b = -3*v + 93. Let c = b + -88. Let s = c - -80. Is s prime?
True
Let x be (2 - 5) + (-5 - -2). Let j = x - -229. Is j prime?
True
Suppose -2*r + 2 = -o - 4*o, 0 = 5*o + 3*r + 22. Is (2 + 267/(-6))*o prime?
False
Is 46209/11 - 2/(-11) a prime number?
True
Let l(q) = 7*q**2 + 4*q + 1. Suppose 0 = 4*y - 0*y + 16. Let n be l(y). Is (3 - n)/(-2 + 0) composite?
False
Suppose -6 = -x - 2*x. Let g be 9/(-1) - (0 + x). Let l = 26 + g. Is l composite?
True
Let o(n) = 10*n**2 - 4*n + 5. Is o(2) a composite number?
False
Let p = 177 - 119. Is p a prime number?
False
Let g(v) = -212*v - 3. Let h be g(-4). Suppose 2*c + 3*c = -h. Let r = -72 - c. Is r a composite number?
False
Suppose -2*v + 56 + 60 = 0. Is v a prime number?
False
Let z = 5 + -2. Suppose z*t = -t + 12. Suppose 0*n - 21 = -t*n. Is n a prime number?
True
Let s(p) = p**3 - 11*p**2 - p - 5. Let a be s(11). Let x = a - -22. Let d = 41 - x. Is d composite?
True
Let l = 23 + -90. Let a(s) = s + 188. Let p be a(0). Let b = l + p. Is b a prime number?
False
Suppose -x = -3, 0*r + 67 = r + 2*x. Let i = -2 + r. Is i prime?
True
Let y be 2 - (-6)/(-2 + -1). Suppose g - 2*g - 4*u + 38 = y, 2*u - 8 = 0. Is g a prime number?
False
Let l = -7 + -3. Let n(r) = r**3 + 9*r**2 - 15*r - 7. Is n(l) prime?
True
Let f(a) = 71*a - 6. Is f(9) a prime number?
False
Suppose -3*a - 2*a = -300. Let g = 125 - a. Is g composite?
True
Let a = 527 - 118. Is a composite?
False
Suppose 18 = 4*v - 5*k, -4*v + 3*k = -1 - 13. Suppose -3*c - v*c = -635. Is c a prime number?
True
Suppose 2*h - 20 = -2*h. Suppose 3*t + h*v - 2*v - 81 = 0, -3*t + 57 = -3*v. Is t composite?
False
Let k be (-1)/((6/(-2))/(-12)). Is (-54)/k - (-2)/(-4) composite?
False
Let t(r) = -6*r**3 - 5*r**2 - 6*r + 17. Is t(-6) a composite number?
True
Suppose -4*h - q = -5694, 0 = -4*h + q + 3354 + 2344. Suppose 0 = 5*d - d - h. Suppose -4*l + d = 48. Is l prime?
False
Let z = 926 - 655. Let v = z + -188. Is v prime?
True
Let v(f) = -4*f**2 + 19. Let l(x) = 5*x**2 - 18. Let h(c) = 3*l(c) + 4*v(c). Is h(0) composite?
True
Let a = 1799 + -572. Is a a composite number?
True
Suppose 5 = 2*l + 3. Suppose 0 = 2*m - l - 3. Suppose m*h - 67 = h. Is h composite?
False
Is 8564/3 - (2 + (-7)/3) a prime number?
False
Suppose -8*t + 3*t = -480. Let w = t + -39. Is w prime?
False
Let m(k) = -k**2 + 2*k + 8. Let t be 2/(-4)*(-12 + -2). Let x be m(t). Let o = 58 + x. Is o a prime number?
True
Let v(x) = 62*x**2 - 21*x - 1. Is v(-6) prime?
True
Let t(z) = -z**2 + 6*z + 8. Let h be t(8). Let n = 245 + h. Suppose 2*b - 3*s - n = -b, 2*b = 5*s + 146. Is b composite?
False
Let c = 61 + -41. Let a be c*3*10/24. Suppose -17 - a = -2*k. Is k composite?
True
Let z(j) = -j**3 - 5*j**2 + 6*j + 2. Let n be z(-6). Let c be n/1*6/4. Suppose -c*b = -5*b + 74. Is b composite?
False
Let d(r) be the third derivative of r**7/840 + r**6/45 - 7*r**5/120 - 3*r**4/8 - r**3/3 - 2*r**2. Let k(u) be the first derivative of d(u). Is k(-7) composite?
False
Let d(f) = -7*f + 13. Is d(-8) a prime number?
False
Let j(u) = 10*u + 5. Let i be (-18)/(-4)*4/3. Is j(i) prime?
False
Let n(z) = -z**2 - z. Let p(r) = 4*r + 9. Let u(b) = -3*n(b) + p(b). Let f(a) = -3*a**2 - 6*a - 8. Let s(m) = -5*f(m) - 4*u(m). Is s(3) composite?
False
Suppose 0 = -2*a + 4*a + 3*x - 4, a - 2*x - 2 = 0. Suppose a*s - 2*m = -3*m + 976, -3*m = -4*s + 1942. Is s composite?
False
Suppose c - 8 = -c. Suppose -c*i - 177 = -7*i. Is i prime?
True
Suppose 2*l + 1 = -3. Let h = 2 + l. Suppose -55 = -h*f - f. Is f a composite number?
True
Let b(d) = d**3 - 13*d**2 + 18. Is b(14) a prime number?
False
Let r = 64 + 66. Let a = r + -17. Is a prime?
True
Let l be -1 + -3*(0 - 1). Suppose 18 - l = 4*w. Is 14/1 + -3 + w a composite number?
True
Is 3/((-36)/(-388))*3 a prime number?
True
Suppose -2*z - m = -434 - 563, m + 1997 = 4*z. Is z prime?
True
Suppose -13 - 3 = 4*m. Let d(t) = 3*t**2 - 2*t - 1. Is d(m) prime?
False
Suppose 3*w - 9 = 0, 2*k = -k - 5*w - 318. Let m = 158 + k. Is m a prime number?
True
Let w = 572 - 349. Is w prime?
True
Let a(l) = l**2 + 2*l - 3. Let d be a(2). Suppose d*i + 5*q = -20, 2*i - 5*i - 4*q - 13 = 0. Is (-111)/i*2/2 composite?
False
Let f(l) = -60*l - 1. Let x be f(1). Let j(h) = -32*h - 4. Let n be j(-5). Let b = x + n. Is b composite?
True
Let n be 51/(-6)*1*8. Suppose 15 = -2*j - 5*l + 1, j + 4*l = -10. Is (-1)/1 - (n - j) prime?
False
Suppose -15 = 5*k + 5*o, 2*o - 3*o = -4*k + 13. Suppose w + 2*a = 3, -2*w - k*w + 2*a + 12 = 0. Suppose -8*i + w*i = -175. Is i prime?
False
Is 0 - -1 - (5 - 421) composite?
True
Let i(h) = -h**3 - 3*h**2 - 9*h - 5. Let z(v) = -3*v + 6. Let n be z(4). Is i(n) a prime number?
True
Suppose -5*c - 20 = 0, -h - 3*c = 3*h - 248. Let z = 288 - h. Is z a prime number?
True
Is ((-125)/(-1) + -4)/1 composite?
True
Let h(z) = z**3 + 16*z**2 + 15*z - 19. Is h(-13) a prime number?
True
Let t(g) = g + 0*g - 4 + 0 - 4. Let q be t(11). Suppose -q*c = -c - 154. Is c a composite number?
True
Suppose 5*j = x + 29, -5*j = 3*x + 5 + 2. Let i = -4 - x. Suppose -4*v = -i*v + 15. Is v a composite number?
True
Suppose 405 = 3*j - 2*f + 3*f, 5*f - 149 = -j. Is j prime?
False
Suppose 4*d - 3*o = -2*o - 6, 2*d - 3*o - 2 = 0. Let t(s) = -3*s - 1. Let l be t(d). Suppose -3*q + 48 = q + l*z, 3*q - 17 = z. Is q composite?
False
Let t(v) = -v**3 + 7*v**2 - 7*v - 1. Let g be t(6). Let i = -7 - g. Suppose i = n - 2*n + 141. Is n a composite number?
True
Let n be (-378)/(-1*6/8). Suppose 5*f = n + 91. Suppose -b = -2*b + f. Is b composite?
True
Let j(v) = v**2 - 6*v + 10. Let r be j(4). Suppose -a - 149 = -r*a. Is a a prime number?
True
Suppose 2*c = 4 + 6. Let m(h) = -2*h**3 - 3*h**2 + 1. Let v be m(-2). Let y = v + c. Is y prime?
False
Let v be 1/((-1)/(-2) + 0). Suppose -3*z - z - 4*w = -12, 0 = v*z + 5*w. Let d(c) = -c**3 + 5*c**2 + 8*c - 3. Is d(z) a composite number?
False
Let o = -35 - -50. Is 1240/o + (-2)/(-6) composite?
False
Let m be (-9)/2*(-4)/(-6). Let c be (-1)/m + 42/9. Suppose -c*f - 108 = -2*t, 0*t + t - 45 = -2*f. Is t prime?
False
Suppose -2*f + 9 = 1. Suppose -3*c - g + 349 = -436, 0 = 4*c + f*g - 1036. Is c prime?
True
Let j be 88/20 + (-2)/5. Suppose -j*r + 268 = -40. Is r a prime number?
False
Suppose 640 = 4*g - 5*x, 0 = -2*g - 5*x + 280 + 10. Let l = -52 + g. Is l prime?
True
Suppose 3*r - r - 1152 = 0. Suppose 3*w = 741 + r. Is w a prime number?
True
Suppose -2*t + 4*t = 0. Suppose t*f = g + 3*f + 10, -8 = 4*f. Is ((-4)/g)/(2/14) a prime number?
True
Suppose 0*s - 2*s - 4*f = 10, -3*f - 3 = -3*s. Is (-54 + s/(-1))/(-1) a composite number?
False
Suppose -13*d + 2373 = -10*d. Is d a composite number?
True
Let n = -5 + 9. Suppose -3*r = -n*s + s + 363, 5*s - 601 = 3*r. Is s composite?
True
Suppose -5*h = -3*z - 4 - 6, 0 = 3*h + 5*z - 40. Is (70/4)/(h/10) a composite number?
True
Let j(p) = -p + 6. Let g be j(4). Suppose g*d = -d - 1884. Is (-4)/10 + d/(-20) a composite number?
False
Let s(x) = -x**3 - 6*x**2 + 13*x + 10. Suppose -2 = -w + 5. Let u = w - 15. Is s(u) a prime number?
False
Let c(m) = -16*m**3 - m**2 - 3*m - 3. Is c(-2) prime?
True
Suppose -16*r + 13*r + 345 = 0. Is r a composite number?
True
Let t(w) = 5*w**2 + 0*w**2 + 8*w - 2*w**2 - 10. Is t(9) a composite number?
True
Is (-318 - 0)/(-1) + 1 prime?
False
Suppose -o = 2*w - 11, 6 + 1 = w + 2*o. Suppose 0 = w*k + 17 - 142. Is k composite?
True
Suppose 4*q + 10 - 4 = 3*r, -2*q = -4*r + 8. Suppose -r*n = -7*n. Is 22 - (1 + n + 0) a prime number?
False
Is (6/3)/((-2)/(-449)) a composite number?
False
Suppose -18*f + 13*f = -4895. Is f prime?
False
Suppose -3*d - 7 = 2*z, 3*z - z = -5*d - 5. Let q = -3 - z. Is (q/(-6))/((-8)/264) a prime number?
True
Let z(r) = 7*r**2 + 7*r + 6. Let w(s) = 3*s**2 + 3*s + 3. Let b(f) = 5*w(f) - 2*z(f). Let j be (-42)/(-9) - (-4)/(-6). Is b(j) a composite number?
False
Let b = -3700 - -7745. Is b a prime number?
False
Suppose 3*w - 5 - 1 = 0. Suppose 0*b = -w*b + 12. Is (1 - 1) + 114/b a composite number?
False
Let b(x) = x**2 + x - 7. Suppose -3*d + 3*h + 82 = 2*d, -d = -3*h - 26. Suppose d = 4*l - 6. Is b(l) a prime number?
True
Let p = 2875 + -1493. Is p prime?
False
Suppose n - 2034 = -3*n + 5*y, 505 = n - 3*y.