-1)/2)/(5/(-2090)) prime?
False
Let s(z) = -9*z - 4 - 1 - 2 + z**2. Is s(-9) a composite number?
True
Suppose 0 = 2*z - 4*b - 118, -3*z + 120 = 5*b - 35. Let d = z - 24. Is d composite?
False
Suppose 0 = 2*o + 4*v + v - 2495, 2*v + 5026 = 4*o. Is o composite?
True
Suppose 3*t + 2*t - 955 = 0. Suppose 0 = -j - 0*j + t. Let x = -112 + j. Is x composite?
False
Suppose 20*v - 9*v = 7051. Is v prime?
True
Let s be (60 + (-2)/(-2))*3. Suppose 4*f - 362 - 54 = 0. Let k = s - f. Is k a prime number?
True
Let i(t) = -t + 4 + 6 - 2*t. Is i(-7) a prime number?
True
Let u(g) = g**2 - 12*g + 13. Is u(-12) a composite number?
True
Let x be (-2)/5*(-40)/16. Is (-4)/((-8)/x)*662 prime?
True
Let s(c) = -9*c**3 + 2*c - 1. Let o(l) = -2*l + 4. Let x be o(3). Is s(x) a prime number?
True
Suppose -h + 6*h - 545 = 0. Let b = -50 + h. Is b a prime number?
True
Is (1 - (-1 + -2)) + 183 a composite number?
True
Suppose -2*q + 5*q - 3*o = 1113, 2*q + o = 748. Suppose -3*u = -w - w + q, -2*w + 2*u = -368. Is w a prime number?
True
Let k(p) = p**3 + 4*p**2 - 2*p + 5. Let i be (-33)/9 + (-1)/3. Is k(i) prime?
True
Suppose 0*p - 5*p = 4*h - 1015, -4*h = 0. Is p prime?
False
Suppose 2*w + 629 = 109. Let t = 465 + w. Is t prime?
False
Let y(a) = 2*a**2 + 7. Suppose -6 - 9 = 3*f. Is y(f) prime?
False
Suppose 5*u + 0*u - 2241 = 4*n, 2*n = 4*u - 1794. Is u prime?
True
Suppose 3*a + 0*a + 12 = 5*g, -5*a + 20 = 5*g. Suppose -3*s + g*l + 231 = 0, 4*l + 201 = 3*s - 28. Is s composite?
False
Let j be (-2)/9 - (-920)/(-72). Let k = j - -15. Is k a composite number?
False
Suppose -10*j + 255 + 11375 = 0. Is j composite?
False
Let b be ((-2)/(-4))/((-2)/(-24)). Let v(a) = -2 + 1 - b*a + 0. Is v(-6) prime?
False
Let m(u) = u**3 + 25*u**2 + 25*u + 24. Let h be m(-24). Suppose -2*q = -0*q + 4. Is (q + h)/(10/(-50)) prime?
False
Is (-123760)/(-126) - (-3)/54*-4 composite?
True
Let s = 817 + -476. Is s prime?
False
Let g(c) = 3*c**3 + 16*c**2 - 2*c**3 + 11 + 2*c + 0 - c**2. Is g(-13) prime?
False
Let s be 2*-3*1/(-6). Is 1*s/(1/49) a composite number?
True
Let p(z) = 11*z**2 - 6*z - 19. Is p(14) a prime number?
True
Suppose -35 = -2*f - 5*u, -2*u + 16 + 4 = 2*f. Let t = -3 + f. Suppose -x = -t*x + 85. Is x a prime number?
False
Let g be 4*(0 - 1)/(-2). Suppose -100 - g = -j. Suppose 2*f = -f + j. Is f prime?
False
Let u(l) = -l + 4. Let a(j) = j - 7. Let s(w) = -3*a(w) - 7*u(w). Let o(x) = x - 1. Let h(q) = 2*o(q) - s(q). Is h(-5) a composite number?
True
Let a = -625 - -1656. Is a composite?
False
Is 2/(-8) + (-4077)/(-36) a prime number?
True
Let c(m) = -m**3 + 6*m**2 + 5*m + 1. Suppose 0 = o - 3 - 3. Is c(o) prime?
True
Let d(m) = 38*m**2 - 9*m + 2. Is d(-3) a prime number?
False
Suppose 2*y = 8, 2*s + s + 3*y = 165. Suppose -f + s = -32. Is f a prime number?
True
Suppose 0 = 3*f + 601 - 2836. Is f composite?
True
Suppose 10*z - 159 = 7*z. Is z prime?
True
Suppose -x + 15 = -5. Suppose -l = -f - x, 2*l = 5*f - 2*l + 102. Let s = -3 - f. Is s prime?
True
Let r be (-4)/10 + 204/(-15). Is (-483)/r - 6/4 a prime number?
False
Suppose z + 0*z = 655. Let b be (-1)/5 + z/25. Suppose -4*t - b = -214. Is t prime?
True
Let j(l) = -123*l + 28. Is j(-11) prime?
True
Let r = -10 + 14. Is r/(-10) - (-807)/5 a composite number?
True
Let z = -2517 - -3668. Is z composite?
False
Let f(r) = r**3 + 27*r**2 - 32*r - 11. Is f(-21) a composite number?
False
Suppose 4*f = -5*t + 10105, -3*f + 2*f - 8063 = -4*t. Is t composite?
False
Let b be 4*(-4)/8 + -1. Is 518 - -6 - b/(-1) prime?
True
Suppose -35*c + 8 = -33*c. Is c a prime number?
False
Let x(z) = 2*z**2 + 10*z + 7. Is x(-7) a composite number?
True
Let r(p) = p + 10. Let v be r(-7). Suppose v*q = -0*q - 3*u + 546, -3*q - u + 542 = 0. Let b = 295 - q. Is b composite?
True
Let n be (-4)/(-5)*60/8. Suppose 2*v + 144 = n*v. Suppose 0*i = 4*i - v. Is i prime?
False
Let t(l) = -16*l**3 + 35*l**2 - 11*l - 5. Let r(v) = 3*v**3 - 7*v**2 + 2*v + 1. Let s(y) = -11*r(y) - 2*t(y). Is s(6) prime?
False
Suppose -s + 1233 = -5*c - 134, 0 = 2*s + 2*c - 2710. Is s prime?
False
Is (-1 + -442)/((-8)/16) composite?
True
Suppose 4*g = 3*f - 205, -3*g = 2*f - 207 + 76. Suppose 3*w = 23 + 4. Let r = f - w. Is r composite?
True
Suppose 208 = 4*y - 3*g - g, -y - 4*g = -57. Is y composite?
False
Let q(b) = 9*b - 3. Let o be q(12). Let y = -40 + o. Is y prime?
False
Let w = -2657 - -4990. Is w composite?
False
Let i(v) = 2628*v**3 - 2*v**2 + 3*v - 2. Is i(1) composite?
True
Let h(s) = s**3 + s**2 + s - 1. Let d(y) = 3*y**3 - 2*y**2 + 12*y - 8. Let p(i) = d(i) - 2*h(i). Is p(7) a composite number?
False
Suppose -5 = -4*n + 3. Suppose 259 = 4*l + j, 2*l - l - 63 = -n*j. Is l a prime number?
False
Let b(r) = r**3 + 14*r**2 - 16*r + 11. Is b(-15) prime?
False
Suppose 4*s = -2*t + 2822, 0*t = -4*s - 3*t + 2821. Suppose 0 = 4*h - 20, -2*h + 189 = 5*l - s. Let v = -98 + l. Is v a composite number?
False
Let z be ((-7)/(-1))/((-15)/30). Is 524/z*(-7)/1 a prime number?
False
Let d(q) = -q**3 + 5*q**2 - q + 7. Let x be d(5). Let u be (-53)/2*(x + -4). Suppose -u = -0*h - h. Is h composite?
False
Let p be (-3 - -1) + 1 + 6. Suppose -p*s = -9*s + 3628. Is s composite?
False
Let o be 92/6 - 6/18. Suppose o = l + 6. Suppose t = -l + 24. Is t a prime number?
False
Suppose 0 = -3*k - 0*k + 9. Is 4/((-4)/k) - -54 a prime number?
False
Suppose 3*q - 5*q = -10. Suppose -548 - 177 = -q*k. Is k prime?
False
Let c(w) = w. Let v(b) = -4*b - 2. Let k(g) = 3*c(g) + v(g). Is k(-5) composite?
False
Is (2523 + -20)/(2/2) a prime number?
True
Suppose 3*n = 3*w + w + 16, n - 20 = 5*w. Let x be (-6)/w - (-9)/(-6). Suppose -29 = -2*y + s + 2*s, s + 1 = x. Is y prime?
True
Is 430/15*((-19)/(-2) - -1) a prime number?
False
Let p be 113 + 1 + 1 + -5. Suppose 0 = -5*r - 7 + 2. Is p - -2 - (-2 - r) a composite number?
False
Suppose 2*l + 4*a = -l + 6745, 2*l = 5*a + 4466. Is l composite?
False
Is (-2)/(-9) - 2797/(-9) a composite number?
False
Suppose 0 = -d - z + 354, z - 917 = -4*d + 508. Suppose -3*x + d + 312 = 0. Is x prime?
True
Suppose 0 = 4*k - 16*k + 29508. Is k prime?
True
Suppose -3*j = -4*m - 20 + 6, 2*m + 3*j + 16 = 0. Let i(y) be the first derivative of -y**2/2 - y - 2. Is i(m) a prime number?
False
Is -1329*3/(-18)*2 composite?
False
Let o = -13 - -15. Suppose 0 = 2*j + o*y - 590, -5*j + 2*y + 1455 = -3*y. Is j composite?
False
Suppose 8*n = -3*y + 3*n + 1618, 0 = 3*y + 2*n - 1621. Is y composite?
False
Let q = -263 - -390. Is q composite?
False
Is (9 - (-30)/(-4))/(1/62) prime?
False
Suppose 253 = 4*g + w, -5*g - 4*w + 319 = -0*w. Suppose 4*s - 20 = 0, i + 2*s - 6*s - g = 0. Is i a prime number?
True
Let q(r) be the third derivative of 1/24*r**4 + 7/30*r**5 - 1/6*r**3 + 2*r**2 + 0*r + 0. Is q(1) composite?
True
Suppose 0 = 3*i - 2*i + 6. Let x = 66 - 352. Is (3/i)/(1/x) a prime number?
False
Let v = 194 + -67. Is v a prime number?
True
Suppose -3*q + 5 + 7 = 0. Suppose -q*n + 2*n = 4*x - 330, 5*n - 3*x - 799 = 0. Is n a prime number?
False
Let t(j) = 11*j**2 + 7*j + 25. Is t(-8) composite?
False
Is ((-37340)/(-50))/(1*(-2)/(-5)) prime?
True
Let j be 5 + 1 + 2 + -2. Let f be 3/(9/j) - 0. Suppose 0 = 2*h - t - 4*t - 23, 4*h + f*t - 82 = 0. Is h a prime number?
True
Let s = 22 + -38. Let f be (s/(-10))/4*150. Suppose -f = -3*q + 339. Is q a composite number?
True
Suppose -5*w + 5*l + 25 = 0, w = l + l. Is 6/w - 2406/(-15) composite?
True
Let h(u) = -110*u**3 + u**2 - 2*u - 2. Is h(-1) a composite number?
True
Let m(d) be the third derivative of d**6/40 - d**5/15 + d**4/8 + 5*d**3/6 - 3*d**2. Is m(4) a prime number?
False
Suppose 0 = o - 3*o + 6. Suppose 0 = -o*b + 43 + 59. Is b a composite number?
True
Let g(n) = -22*n + 9. Let j be (-1 - -6) + 2 + 1. Let v be (-1)/(-4) - 58/j. Is g(v) composite?
False
Suppose -2*t + 2*g + g + 3457 = 0, 5148 = 3*t + 3*g. Is t a composite number?
False
Let g(s) = 2*s**2 - 3*s + 1. Let t be g(7). Let o = t - 47. Is o a prime number?
True
Let z(x) = -x**2 + 3*x - 2. Let t be (-2 + -1)/(3/(-2)). Let d be z(t). Suppose -6 = -2*r - d. Is r prime?
True
Let t(g) = 3*g**2 + 9*g + 7. Is t(-14) a prime number?
False
Suppose 4*q - 6*q + 10 = 0. Suppose -2*o + q*o = 231. Is o prime?
False
Suppose 2*i = 4*n - 150 - 580, 0 = n + i - 178. Is n a composite number?
False
Suppose 28 = 