False
Let o(s) = -5*s**3 + s**2 + 7*s + 4. Is o(-3) prime?
True
Suppose -2*j = -2*d - 2 + 4, 4*d = -3*j + 32. Suppose 4*c = j*r - 764, 2*c + 0*c = 6. Is r a prime number?
False
Is 4611/11 - 18/99 a composite number?
False
Suppose 1069 = 4*j - 3*o, -538 - 528 = -4*j + 2*o. Is j composite?
True
Let g be (2/5)/(7/245). Suppose -2*y = y - c - 4, 4*y - g = -3*c. Suppose 4*z - y*z = 30. Is z prime?
False
Let i = 11 + -19. Let r(q) = q**2 - 2*q - 11. Is r(i) prime?
False
Suppose -4 = -o - 5*z - 2, 0 = -2*z. Is (-2*o + 3)*-293 prime?
True
Let x = 2333 - 1074. Is x a prime number?
True
Let p be 1/(3/27 - 0). Let m = p + -6. Is 52 + m + -2 + 0 a composite number?
False
Let p(c) = -c**3 - 11*c**2 - 8*c + 1. Is p(-13) a prime number?
True
Let i = -398 - -1365. Is i a prime number?
True
Suppose 0 = 2*x + 1 + 1. Is 5 - -31 - (x + 4) a composite number?
True
Suppose c + 0*b = -3*b + 319, -c - 5*b + 327 = 0. Is c a composite number?
False
Let a(c) = c**3 + 5*c**2 - 10*c + 10. Let h be a(-8). Let o = -64 - h. Is (-1 - o)*(-2 + 1) prime?
False
Suppose 0*q = -2*q + 10. Let r = -3 + q. Suppose -2*k = -16 + r. Is k prime?
True
Let n be (-8)/(-5) + 4/10. Suppose 2*o - 4*o = 5*d - 17, n*d = -10. Is o a prime number?
False
Suppose 4 = 2*q - 6. Suppose q = p + 1. Suppose 0 = -p*o + 3*o + 47. Is o a prime number?
True
Let y(n) = 4*n**2 - 7*n + 6. Let r be y(7). Let o = r + -26. Is o a prime number?
True
Suppose -k = -4*u - 141, -583 = 4*k - 8*k - 3*u. Let r be (-2)/(-6) - k/(-15). Is (1 + 4)*(1 + r) a composite number?
True
Is 3/(3 + -6) - -23 prime?
False
Let c = -288 + 595. Is c prime?
True
Suppose 5*o = 8141 - 2076. Is o a composite number?
False
Suppose 0 = -4*n - 1 + 85. Let o be n/(-12) + 1/(-4). Is (148/(-16))/(o/8) prime?
True
Suppose 0 = -4*b + 4*z + 10156, -b + 7*z - 3*z = -2527. Is b prime?
True
Let u be 1/4 + (-1775)/(-20). Let n = -14 - 8. Let f = u + n. Is f a composite number?
False
Suppose -8 + 22 = 2*z. Let o be (-3 + -3 + z)*-23. Let g = o + 72. Is g prime?
False
Let d(z) = 25*z**2 - 10*z - 4. Is d(-5) prime?
False
Let r(w) = -w**2 + 11*w - 21. Let x be r(9). Is (x - 59*-5) + 1 a composite number?
False
Let q(j) = -70*j - 2. Let n be q(-2). Suppose -3*y - 3*t = -n, -y + 4*t + 41 = -10. Is y a prime number?
True
Suppose 0 = 8*n - 4*n + 8. Let g be n/(-9) - 680/(-18). Suppose 445 = 5*f + 4*k, 5*k - g = -3*f + 242. Is f prime?
False
Suppose -3*k + 30 = 2*k. Let d = -6 + k. Let v(u) = u**3 - u + 9. Is v(d) composite?
True
Let v = -5 + 7. Let f(w) = 2*w**2 - w - 2. Is f(v) prime?
False
Let x = -4 - -6. Let y(d) = d**3 + 4*d**2 - d + 1. Let l be y(-4). Suppose 5*o = -l*h + 405, -x*o + 2*h + 146 = -0*h. Is o a prime number?
False
Suppose 2*a + 1 = s, -2*s = 5*a - 5*s + 2. Let q = a + 4. Suppose q*v - 23 = 40. Is v prime?
False
Suppose -13 = 4*v - 5. Let x = 0 - v. Suppose -6*y + x*y = -140. Is y prime?
False
Let p(u) = 36*u**2 + 2*u + 2. Suppose -5*h - 36 = -m - 6, 0 = -h - m. Let f be p(h). Is f/36 + (-2)/(-9) a prime number?
False
Let z(o) = 14*o**3 - 4*o**2 - 3. Is z(3) prime?
False
Is (-1 + -1)*((-16263)/(-6))/(-13) a prime number?
False
Suppose -4*b = 2*r - 34, 3 = -3*b + 4*r + 1. Let w = 7 - b. Is w/3 - (-440)/12 a prime number?
True
Let u(g) = g - 5. Let h be u(8). Suppose -b + 2*m = -635, h*b + 0*b - 1905 = 3*m. Is b a composite number?
True
Suppose 0*k - 18 = -3*k. Suppose h = g + k + 4, -3*h + 10 = 2*g. Is -2 - 30/(h/(-3)) a prime number?
True
Let j be (-1 - 7)*1/(-2). Suppose j*m - 64 = 8. Let u = 28 - m. Is u a prime number?
False
Let g = 1 - 1. Let j = -1 + 29. Suppose g = m - 7 - j. Is m a prime number?
False
Let r = 11 + -8. Let k(v) = 4 + v + 3 + r*v**2 - 2 - 6. Is k(6) a prime number?
True
Suppose 0 = -2*s + a + 4, 2*a = -2*s + 13 - 3. Suppose 0 = -s*y + 19 + 80. Suppose y = -4*b + 269. Is b a composite number?
False
Let t = 8 - 11. Let w = t + 148. Is w a composite number?
True
Suppose 3*f = 3*w - 456, 2*w + 5*f - 220 = 63. Is w a composite number?
False
Let z(p) be the first derivative of p**5/30 + p**4/8 - p**3/3 + 2. Let a(m) be the third derivative of z(m). Is a(5) a prime number?
True
Let z(p) = 4*p - 7. Let i be z(7). Is (-6)/i + (-1566)/(-42) composite?
False
Let o(t) = t**2 + 8*t + 3. Let a be o(-8). Suppose 5*h + 8 = 3*h, 0 = 2*j - a*h - 500. Let v = j + -155. Is v a prime number?
True
Let z be 2/(-5) + (-66)/10. Let m(p) = -p - 4. Let g be m(z). Suppose -g*k - 46 = -5*k. Is k a composite number?
False
Let d = 1307 + -618. Is d a composite number?
True
Suppose -136 = 2*s - 1094. Is s prime?
True
Let f = -10 + 35. Let w be 4/(-10) - (-85)/f. Is (-3)/(-2)*46/w composite?
False
Let n = 2 - -2. Suppose y + 5*x - 41 = -0*y, 0 = -n*y + 4*x + 284. Let o = y + -15. Is o composite?
True
Let v(q) = -164*q - 1. Suppose -4*j - 5*w + 1 = 0, 7 = -2*j - 3*w - 2*w. Let c = 3 - j. Is v(c) composite?
False
Suppose 2*z - 36 = -4*a, a - 4*a + 27 = 2*z. Let f = -2122 + 3072. Is 2/a - f/(-18) a prime number?
True
Suppose -3*r + 2*q + 435 + 138 = 0, -3*r + 4*q + 573 = 0. Is r a composite number?
False
Let w(z) = z**3 + 2*z**2 - 2. Let g be w(-2). Let n(t) = -20*t - 3. Is n(g) prime?
True
Suppose 0*h - 60 = -4*h. Suppose 0 = k - 9 - h. Let a = -13 + k. Is a a composite number?
False
Let s = 1 + -1. Suppose s = -0*n - 3*n + 12. Let d(a) = 2*a**2 - 4*a + 3. Is d(n) a composite number?
False
Suppose 3*v - 6 = 0, -2*h + 5*v = -58 - 38. Is h a prime number?
True
Let m be (-1 - -1 - 4)*2. Let w(z) be the third derivative of -z**4/24 - z**3/3 - 2*z**2. Is w(m) a composite number?
True
Let g = 260 - 13. Is g prime?
False
Let v(k) = 2*k**3 - 10*k**2 + k + 8. Is v(7) a composite number?
False
Let o(i) = -3*i**3 - i**2 + 1. Let h be o(-1). Suppose -y - 423 = -4*p + 1248, -h*y = -p + 404. Is p composite?
False
Let z = -4593 + 7096. Is z composite?
False
Let q(p) be the third derivative of 0 + 2*p**2 + 0*p - 1/6*p**3 - 11/24*p**4. Is q(-2) prime?
False
Let m = -497 + 342. Let l = -229 - m. Let h = 111 + l. Is h composite?
False
Let n be 42/(-10) - (-1)/5. Let d = n + 4. Suppose d = k - 4*k + 3*q + 192, -5*k + q = -324. Is k a composite number?
True
Suppose 0 = -r - 4*r. Suppose p + 2*p - 537 = r. Let n = -22 + p. Is n a composite number?
False
Let y(m) = -m**3 - 8*m**2 - 2*m - 7. Let w be y(-8). Suppose 3*v = 4 + 5. Suppose p + v = w. Is p prime?
False
Suppose 5*o - 230 = 15. Is o a prime number?
False
Let o = 3 + 11. Suppose 3*w = 2*w - 3*v - 1, 4*w = -3*v + o. Suppose -4*a + i + 79 = 0, 61 = -a + 5*a + w*i. Is a a composite number?
False
Suppose -3*z + 16451 = 4*g, 3*g - 20560 = -2*g - 3*z. Is g a prime number?
False
Let g(t) = -t**3 + 4*t**2. Let f be g(3). Suppose 0 = 4*n - 7 - f. Suppose -n*c - 243 = -751. Is c composite?
False
Suppose -2712 = -2*l - l. Let p = -609 + l. Is p prime?
False
Let z(c) be the third derivative of 3*c**5/20 + c**4/8 - c**3/2 + 4*c**2. Is z(3) a prime number?
False
Suppose 3*z - 3*u = -0*z - 12, -2*z + 5*u - 17 = 0. Is 2 + 15 + 2*z a prime number?
False
Let t = -1077 - -1964. Is t a composite number?
False
Let k = -1 - -1. Suppose 0 = -3*u - 2*d + 85, k = 3*u + 4*d + d - 82. Suppose -5*j + 46 = -u. Is j composite?
True
Suppose 4*n + 4*m = 5*n - 152, -4*n = -2*m - 566. Suppose 4*l + n = 352. Is l a composite number?
False
Let z = -3 + 6. Suppose z*p = 3*x + 156, 32 = 2*x + 5*p + 171. Let d = 200 + x. Is d a composite number?
True
Let s(j) = j + 6. Let f be s(-6). Let a be (f/(-4))/(2 + 0). Is (-39 - a)*-1 - 0 a composite number?
True
Let t(x) = x**3 - 2*x**2 - 11*x + 8. Let i be t(-8). Let g = 803 + i. Suppose -2*q + g - 5 = 0. Is q a prime number?
True
Is ((-114)/9)/((-2)/57) composite?
True
Is (-4 + -263)*(-4)/6 a composite number?
True
Is 30/(-10) + (1*-2 - -336) prime?
True
Suppose 3*p = 2*p. Let k = p + 3. Suppose k*h = 5*i + 82, 5*i = 5*h - 137 + 17. Is h composite?
False
Suppose 3*d = 2*n - 23, -3*n - 4*d + d + 42 = 0. Let b = 8 + n. Is b a prime number?
False
Suppose -41*m + 12653 = -40*m. Is m a prime number?
True
Suppose -6 = -4*r - 2*z + 8, 5*r = 4*z + 11. Suppose -3*v = -5*p + 665, -p - v = -r*v - 133. Is p a composite number?
True
Let z(d) = -17*d + 2. Let f = 10 - 14. Let g = 1 + f. Is z(g) prime?
True
Let z(n) = -n**2 + n + 167. Is z(0) composite?
False
Let y = -6 - -12. Let u = 1311 + -736. Suppose -s = -y*s + u. Is s