umber?
True
Let a = -15 + 19. Suppose 3 - 27 = -a*c. Is c prime?
False
Let a(m) = -m**2 - 4*m + 5. Let k be a(-5). Is (k + 2)*(-286)/(-4) composite?
True
Suppose -2*b + 2356 = -5*l - 4508, -4*b + 5*l = -13738. Is b a prime number?
False
Let a(d) = d**3 + 9*d**2 + 4*d + 7. Let y = 10 + -17. Is a(y) prime?
False
Let y(t) be the second derivative of t**4/12 - t**3/6 + 653*t**2/2 + t. Is y(0) a composite number?
False
Suppose 4*x - 259 = 4*p + 157, 0 = -3*x + 15. Let q = -28 - p. Is q a composite number?
False
Let d = -53 + 79. Suppose -l = -0*l - d. Is l a prime number?
False
Let r(s) be the third derivative of s**4/4 - 2*s**3/3 + 2*s**2. Let t be r(6). Let q = t + 53. Is q composite?
True
Let u = 5 + -9. Let o = u - -4. Suppose o = -z - 4*s + 27, 3*z - 5*z - 5*s + 63 = 0. Is z a prime number?
False
Suppose n = 755 - 180. Suppose 0 = -o + 6*o - n. Is o prime?
False
Is 2/5 + 2556/10 + -5 composite?
False
Let h(i) = -i**3 + 3*i**2 + 4*i + 3. Let g be h(4). Suppose 0 = 2*l + 6, -g*l - 7 = -b + 3. Let c = b - -18. Is c prime?
True
Is (-4)/14 - 11740/(-28) a composite number?
False
Let u(l) = 50*l**2 + 6*l - 7. Is u(2) a prime number?
False
Let u(o) be the first derivative of -o**4/4 - 5*o**3/3 - o**2 - 6*o - 3. Let l be u(-5). Is (1/(-1))/(l/(-76)) a composite number?
False
Suppose -12 = 4*q - 6*q. Suppose -q*f + 3*f + 147 = 0. Is f composite?
True
Let f(v) = 16*v**2 + v + 6. Is f(7) a prime number?
True
Let w(z) = -2*z**2 - 4*z - 3. Let o be w(-3). Let n be -14*6/(-16)*-4. Is (-42)/o*n/(-2) composite?
True
Suppose 4*t - 21 = -2*q - 3*q, -2*t = 4*q - 12. Suppose -3*v + 16 = -t*v. Is (0 - v) + (-3 - -1) prime?
False
Let j(p) = 6*p + 1. Let c be j(-1). Let f = c - -58. Is f a prime number?
True
Let a = 5 + -5. Suppose q = -a*q. Suppose p - 3*p + 8 = q. Is p a prime number?
False
Suppose -c - 5*h = -1616, 0*h - 5 = -h. Is c composite?
True
Suppose 4456 = -13*t + 17*t. Is t a prime number?
False
Let z(c) = 46*c - 7. Is z(9) a composite number?
True
Let u(n) = -22*n + 19. Is u(-10) prime?
True
Suppose 16*n + 3*d = 14*n + 417, 849 = 4*n + d. Is n composite?
True
Let p be (-6 + 2)/(0 - 2). Is (260/8)/(p/4) composite?
True
Let f(m) = m**3 - 6*m**2 + 5*m + 1. Let g be f(5). Let l be (-10)/(-4) + g/2. Suppose l*i + 4*p - 50 = 0, -5*p - 18 = -i - i. Is i composite?
True
Let j be -10*((-3)/(-2))/3. Let c be (-43)/j - 2/(-5). Is -62*(c/6 - 3) a prime number?
False
Let i = 78 - 51. Suppose -w - i = -3*a - 0, 6 = -2*w. Suppose 4*o - a = 28. Is o a prime number?
False
Suppose l - 5*t = -11, -3*l - 4*t = t - 67. Is l*((-4)/(-2) - 1) prime?
False
Let d(b) = b**2 + 6*b - 4. Let g be d(-7). Let p be -4 - (6 + g/(-1)). Let r(v) = -v**3 - 5*v**2 + 7*v + 10. Is r(p) a composite number?
False
Suppose -3*w + 143 = -238. Is w a prime number?
True
Is 280446/66 + 2/(-22)*2 a prime number?
False
Is (2 - 3)/((-2)/758) a prime number?
True
Let h(f) = f**2 + 1. Let s be h(-2). Suppose -3*g = -3*m + 6, -s*m - g + 0 = 2. Suppose m = 3*o - 7 - 14. Is o composite?
False
Suppose 3*p = -6 + 297. Let i = 67 - p. Let r = i - -53. Is r composite?
False
Suppose -1520 - 1627 = -3*r. Is r a prime number?
True
Let b = -1018 + 1477. Suppose 158 = g - 0*g - 3*m, 0 = -3*g + 4*m + b. Is g a prime number?
True
Suppose 3*m + m + 5*d = 1192, -3*m = -2*d - 871. Is m prime?
True
Suppose 4*k = 34 + 102. Is k composite?
True
Let a(g) = -5 + 4 + 9*g + 2*g**3 - 9 - 10*g**2. Let l be a(7). Let x = l - 172. Is x prime?
False
Let j(h) = h**2 - 12*h + 15. Let f be j(11). Suppose -5*a - 2*r = 3*r - 90, 0 = f*a - 5*r - 108. Is a a prime number?
False
Suppose -2*a - 2*a = 244. Let s(z) = z**2 + 14*z + 11. Let p be s(-13). Is (p - a) + (-1 - 0) a prime number?
False
Let f(v) = -10 + 5*v**2 - v**3 + 2*v**2 + v**2 - 2*v. Is f(7) composite?
True
Suppose -3*s + 63 = 2*h, -55 = 2*h - 4*h + 5*s. Suppose 22 + h = 2*t. Is t composite?
True
Let p = 150 + 101. Is p a prime number?
True
Let u = -73 + 149. Let s = u - 42. Is s composite?
True
Let p(r) = r**2 - 11*r + 5. Let x be p(10). Let b be x + -1 + -1 + 3. Let t(d) = -24*d - 5. Is t(b) composite?
True
Suppose 5*b + 335 = 10*b. Is b prime?
True
Let c = 121 + -34. Is c a prime number?
False
Let i(p) = p**2 + 7*p + 8. Let x be i(-6). Suppose x*f - g + 100 = 4*f, -147 = -3*f - 3*g. Is f a prime number?
False
Let n be (-2)/3 + 194/(-6). Is 145/(-15)*1*n a composite number?
True
Let v = 1937 - 1350. Is v prime?
True
Suppose 841 + 185 = 5*v - n, -404 = -2*v + 2*n. Is v prime?
False
Is (32277/(-49) + (-2)/7)/(-1) a prime number?
True
Suppose 92 = -11*p + 15*p. Is p composite?
False
Suppose 19*r - 371 = 12*r. Is r a composite number?
False
Let y(t) = t**3 - 5*t**2 - 4*t - 2. Suppose -4*m - 2*g + g + 7 = 0, -3*m = -4*g - 10. Suppose -m*o + 3*o - 6 = 0. Is y(o) composite?
True
Suppose 0 = -8*p - p + 5607. Is p composite?
True
Let f(m) be the third derivative of -m**6/12 + m**5/30 + m**4/24 - 3*m**2. Let v = -2 - -1. Is f(v) prime?
True
Let f be 1*-2 - (1 - -2). Is (95/2)/f*-2 composite?
False
Let l(m) = m**3 - 4*m**2 + 2*m + 4. Let a be l(3). Let o = a + -1. Is (-2 + o)/(6/(-57)) composite?
False
Let s(l) = 1046*l - 3. Is s(1) composite?
True
Let n be (-3)/(-15) + (-2)/10. Suppose n = 5*d, -m - d + 2 = -0*d. Suppose 0 = -3*o + 3*y + 23 - 5, -4*y - 16 = -m*o. Is o a prime number?
False
Let k be 2/(2 + -1)*-1. Let m = 5 + k. Is m a prime number?
True
Let v(j) = j - 2. Let x be v(2). Suppose x = s - 208 - 45. Is s a composite number?
True
Is (326/6)/(15/45) composite?
False
Let q(m) = m**3 - 5*m**2 - 4*m + 2. Let f(c) = -13*c**2 + 3*c + 6*c + 6 + c**3 + 3*c**2. Let x be f(9). Is q(x) prime?
False
Let v = 2 + -6. Let j(p) = 59*p + 5. Let h be j(v). Is (-1 - -3)*h/(-6) a prime number?
False
Let n = -77 + 130. Is n a composite number?
False
Suppose -9921 - 12631 = -8*m. Is m a prime number?
True
Let r = 4319 + -2940. Is r a prime number?
False
Suppose 0 = 2*h + h - 66. Is h composite?
True
Let n = -48 + 112. Let b = n - 45. Is b a prime number?
True
Suppose -b + 87 = 4*o + 12, 2*o + 3*b - 35 = 0. Is o prime?
True
Let n(p) = 39*p**2 + 2*p - 2. Let i be n(-3). Suppose 0 = -3*b + 3, 3*b = -4*t - 32 + i. Is t a prime number?
False
Let t = 5 + -2. Is ((-15)/4)/t*-28 a composite number?
True
Let l(x) = x**3 - 5*x**2 + 3*x + 1. Let r be l(4). Let c = -1 - -8. Is (r/4)/(c/(-364)) composite?
True
Suppose -5*c + 16 = -3*z - z, -2*z + 6 = c. Is ((-6)/(-4))/(z/10) composite?
True
Is 48/(-120) - (-17814)/10 a prime number?
False
Let k(c) be the second derivative of c**5/20 + c**4/12 + c**3/6 + 77*c**2/2 - 5*c. Is k(0) prime?
False
Let w = 8 - 3. Suppose 2*k + 14 = 2*u, 0 = -w*u + 4*k - 3*k + 43. Suppose -1 - u = -r. Is r a prime number?
False
Suppose 0*c + 2*c = -192. Suppose -3*w = 78 - 525. Let g = c + w. Is g a composite number?
False
Let p be 4/(-14) - 310/(-7). Let l = p + -22. Is l composite?
True
Suppose 3*f = -4*x + 3671, -f - 2*f = 5*x - 4588. Is x composite?
True
Let p(i) = 2*i**2 - i + 21. Is p(10) a prime number?
True
Suppose -5*g - r = -15 - 29, 0 = 3*g - 5*r - 4. Suppose -2*q - q = -2*h + g, -q = 0. Suppose -k = f - 42, -10 = -6*k + h*k. Is f prime?
True
Let h = 722 - 355. Is h composite?
False
Suppose 2*g = -g - 9. Is (-1 - g)/(10/185) composite?
False
Let j be (-10)/(-6) + (-3)/(-9). Suppose -j - 2 = -w. Suppose -w*a + 149 = -207. Is a composite?
False
Let k(r) = 3*r**2 - 3*r + 5. Suppose 2*w - 6 = w. Let d(c) = -3*c**2 + 2*c - 6. Let z(s) = w*d(s) + 7*k(s). Is z(7) composite?
False
Let x(t) = -188*t + 1. Is x(-3) prime?
False
Let f(s) = -s - 5 - 2*s + 3 - 4. Is f(-15) prime?
False
Suppose 5*l - r = 1467, 2*l - r = -2*l + 1174. Is l composite?
False
Let b = 1825 - 1238. Is b a prime number?
True
Let s(k) = -3*k - 9. Let v(w) = -3*w - 9. Let n(x) = -5*s(x) + 6*v(x). Is n(-6) a prime number?
False
Let i(r) = 45*r**2 - 6*r - 11. Let o(s) = 23*s**2 - 3*s - 6. Let z(h) = 6*i(h) - 11*o(h). Let m be z(3). Suppose 0 = -5*p + 86 + m. Is p prime?
False
Suppose -h - 7 + 0 = 4*f, 0 = -3*h - 9. Let p = 0 - 3. Is (-23)/2*(f + p) prime?
False
Suppose 7 = u - p, 3*u - 6*u = p - 5. Is (u/(-2) - -2)*102 a composite number?
True
Let i = 1 - -2. Suppose 12 = -i*o + 78. Is o a prime number?
False
Let w(u) = 4*u**3 - u**2 + u - 1. Let t be w(1). Let k be t/(1 + 15/(-6)). Is (2 - (-5)/k)*-6 a prime numb