e -3*c + 20 + s = d. Is c a composite number?
True
Suppose 0 = 5*o - 3*r - 41, -4*o - 2*r = -5 - 19. Is ((-19047)/15)/o*-5 a prime number?
True
Let p(a) = 70*a**2 - 23*a + 206. Is p(65) a composite number?
False
Let o = 2101 - 908. Is o composite?
False
Let w = 13 + -8. Suppose w*f - 2*g - 1049 = 0, 3*f + 0*g = -5*g + 617. Is f composite?
True
Suppose 0 = o - 2*a - 2853, 0 = o + a - 3120 + 282. Is o a composite number?
False
Suppose -5*z + 1173 = -4*r, -z - 8*r + 7*r = -231. Is z a prime number?
True
Let w(n) be the first derivative of 5*n**4/4 + 5*n**3/3 - 3*n**2 + n - 2. Let u(s) = -s**3 - 5*s**2 + 9*s + 21. Let g be u(-6). Is w(g) a composite number?
False
Let f(x) = x**3 + 9*x**2 - 5*x + 12. Let j(u) = u**2 - 8*u + 3. Let o be j(8). Suppose -6 - o = c. Is f(c) a prime number?
False
Let t = -46 - -50. Suppose 4*d = t*j - 2864, -4*j + j + 2151 = -2*d. Is j a composite number?
False
Suppose 0*i - 2*x + 28154 = 2*i, 5*x + 70425 = 5*i. Is i a prime number?
True
Is (2 + -1)*7318*(-4)/(-8) composite?
False
Let w(z) = z**3 + 6*z**2 + 5*z - 2. Let g be w(-5). Let c be (-3)/2 + (-207)/g. Suppose 0 = -0*q + 3*q - c. Is q prime?
False
Suppose -2*h + 3*a - 6*a = -20, -4*h + 3*a + 4 = 0. Suppose 3*d - 898 = 5*g - 260, -201 = -d + h*g. Is d prime?
False
Is 3241/(4 + 2/(8/(-12))) composite?
True
Let r = 0 - -1. Suppose -420 = 4*p - 2*f, -214 = 2*p - 3*f + 4*f. Is p/5*(-4 - r) a composite number?
True
Suppose 4*l - 23 = -3*f, 3*f - 2*l - l - 9 = 0. Is (-5)/((-125)/2230) - 1/f a prime number?
True
Let v = -3135 + 4401. Suppose -4*q = -26 - v. Let u = q + -84. Is u composite?
False
Let o be ((-1)/(-2))/(6/36). Suppose j + 9 + 9 = -h, 4*h + 72 = o*j. Let v(u) = -13*u - 43. Is v(h) composite?
False
Suppose 5*r + 5*l - 50 = 0, 5 = -3*r + 5*l - 5. Suppose 0 = 6*v - r*v. Suppose -3*a + 9 = v, 2*a + 553 = 4*d + a. Is d a prime number?
True
Suppose 0 = 4*g - 8*g + 8040. Let i = -420 + g. Suppose -3*q = -279 - i. Is q a composite number?
True
Let z = -5 + -9. Is (-2216)/z - (-12)/(-42) a composite number?
True
Suppose 1 = 5*x - 14. Is 1200 + -4 + 0 + x composite?
True
Let b = 3062 - 952. Is -3*(b/(-6))/5 composite?
False
Let y = -70244 + 100015. Is y a composite number?
True
Suppose 79*k - 46*k - 927201 = 0. Is k composite?
False
Suppose -a = -3*a + 3*o + 44611, 22302 = a - 5*o. Is a prime?
True
Let a(c) = c**3 + 4*c**2 - 4*c + 7. Let p be a(-5). Suppose -449 = -p*g + g. Is g a prime number?
True
Suppose 2*y = 4*w + 1374, y = 2*w - 2*y + 697. Let v = 655 + w. Is v a prime number?
False
Let b = -973 - -2030. Suppose -4*d + 4184 = -3*m - 2*m, -4*m - b = -d. Is d prime?
False
Let k(q) = -q**3 + 17*q**2 - 20*q - 3. Suppose 0 = -5*o - 3*t - 20 + 64, -t - 32 = -3*o. Is k(o) prime?
False
Is (-1)/((-102228)/(-20447) + -5) a prime number?
False
Let b(n) = -n**2 - 3*n + 4. Let p be b(-3). Suppose 4*j - 1416 + 232 = 2*o, -p*o = 8. Is j a prime number?
False
Let b = -31 + 46. Suppose -b*l + 693 = -6*l. Is l prime?
False
Suppose -15*b - 46863 = -24*b. Is b a prime number?
False
Suppose -39565 = -7*o - 13784. Is o composite?
True
Is 3248 - -1 - (-7 + 3 + 2) a prime number?
True
Let n(l) = -l + 26. Let h be n(11). Let s be (h/2 - 3)*-4. Is (-3 - (0 + s))/1 prime?
False
Suppose -5*t - 2*u = -9*t + 15466, 2*t - 7736 = -2*u. Is t a prime number?
False
Let g(r) = 10*r**2 - 3*r - 3. Let q be (0 + (-3)/(-9))*54. Suppose -5*l + 5*d + q = -2, -l + 2*d + 4 = 0. Is g(l) a prime number?
False
Let z(l) = -l**2 - 15*l + 12. Let j be z(-16). Let y be j/14*(-49)/14. Is 797/3*(2 + y) composite?
False
Let g(v) = v**2 + v - 5. Let t be g(7). Suppose 6*b + t = 369. Is b a composite number?
False
Is 2564/1 - 12/4 prime?
False
Let n(x) = -245*x + 28. Let o be n(-6). Suppose 2*c - 5*c - 5*u = -o, 0 = u - 5. Is c a prime number?
True
Let k = -2679 + 15572. Is k prime?
True
Let u(x) = 91*x + 18. Let b be u(7). Suppose b = 4*j + j. Is j a composite number?
False
Let k be 0/(-4) + -7 - -2. Let a = k + 8. Suppose a = b, 3*r + 4*b = b + 183. Is r composite?
True
Is (614/(-4))/((-1)/10) a composite number?
True
Let l = 0 - -2. Suppose -17 - 99 = -l*b. Is b composite?
True
Suppose f = 4*f. Suppose -4*j = -4*z - z, j = -3*z + 17. Suppose -l + j*l + 4*q - 1044 = f, -q - 1293 = -5*l. Is l composite?
True
Let w(t) = -t**3 + 16*t**2 + 16*t - 20. Let f be w(11). Suppose f = 7*q - 996. Is q a composite number?
False
Let p be ((-1)/5)/((-6)/(-30)). Let y(n) = -1249*n. Is y(p) composite?
False
Suppose 5*z - 4 = 7*z. Is (-1992)/(-10) - z/(-10) a prime number?
True
Suppose -5*x = -2*x - 5*u - 9314, 2*x = -2*u + 6204. Is x a composite number?
True
Let i = -179 - -340. Is i composite?
True
Suppose -29*x = 60*x - 200873. Is x a composite number?
True
Suppose -2*k = g - 15831, g - 4*k = 5*g - 63328. Is g composite?
True
Let z = -167729 + 250860. Is z composite?
True
Suppose 3*x - 33075 = 2*i, 2*x - i - 22066 = -5*i. Is x prime?
True
Suppose -b - 104 + 1610 = 2*m, -3764 = -5*m - 2*b. Let l be (-15)/(1*(-12)/m). Suppose -g = 4*v - l, -2*v + 1175 = 3*v + 4*g. Is v a composite number?
True
Let f(y) = 3*y**3 - 3*y**2 + 22*y - 21. Is f(8) a composite number?
False
Let q = 20708 + -10395. Is q prime?
True
Let d(m) = -m + 6. Let j be d(3). Let c be (-2 - -3)/(1/j). Suppose -c*u = -141 - 33. Is u prime?
False
Suppose 2*h + 3*h = 30. Let j(a) = a**2 + 3*a - 1. Is j(h) a prime number?
True
Suppose -3*i - 4 = 2. Let j be 20*3/(-24)*i. Suppose -j*n = -n - 452. Is n prime?
True
Suppose 2*d + y - 97 = 26, 2*y + 330 = 5*d. Let w be 2/(-11) - (-101)/11. Suppose w = -m + d. Is m a composite number?
True
Let o = -9 + 89. Let b(v) = 45*v - 1. Let i be b(4). Let p = i + o. Is p composite?
True
Let b = 21 + -25. Is (-14)/(-4)*14 - b a prime number?
True
Let m be 155/2 - 17/34. Let j be 1 - m - 4/2. Let t = j + 129. Is t composite?
True
Is 3/6*-10 - 16824/(-3) a composite number?
True
Let c = 16 + -12. Is (7033/(-26))/((-10)/c - -2) prime?
True
Suppose 9*p - 8*p - 2133 = 5*g, -5*p = -g - 10761. Is p prime?
True
Suppose 6100 = -5*u + 3*p, 4*u + 5*p = -5393 + 513. Let d = 2289 + u. Is d composite?
False
Let p(q) = -2*q - 53. Let h be p(-22). Is (-74)/4*(h - -7) a composite number?
False
Suppose 0 = -4*r + 25 + 27. Let h(k) = -k**2 + 13*k - 2. Let c be h(r). Is 2 - (c - (-975)/(-5)) a prime number?
True
Suppose 2*f + 10 = -4*r + 2, f - 2*r = 8. Let y(d) = -d - 4. Let m be y(-4). Suppose -2*g - f*l = -4*l - 2276, 2*g - 5*l - 2267 = m. Is g composite?
True
Let y(a) = a**3 + a**2 + 1. Let q be y(0). Let x = -2 - q. Is x - (-2 + (-195 - -3)) prime?
True
Let l(h) = -h**3 + h**2 + 6. Let k be l(0). Let p be k - (2 + (-3 - -3)). Suppose -4*o - 372 = -p*b, b - 4*o + 113 = 2*b. Is b a prime number?
True
Suppose -n - 4 = -2*s - 138, -2*n = 2*s + 140. Is s/(-544) + (19914/(-16))/(-3) a composite number?
True
Let t = -524 + -1433. Is (-6)/24 + t/(-4) prime?
False
Let m(i) = -i - 5. Suppose 0 = 3*x + 4*j + 35, 0 = 4*x + 3*j + 14 + 21. Let w be m(x). Suppose w = -3*r + 2*r + 55. Is r a prime number?
False
Let v be 206 + 4*(-1)/(-4). Suppose -3 = -m, 0*q - 4*m + v = q. Suppose -n + 5*r + q = 4*r, -4*n - 4*r = -748. Is n composite?
False
Suppose -x + 3565 + 3702 = 4*w, 4*w = -3*x + 21833. Is x composite?
False
Suppose c = 4*c - 9. Suppose i + 60 = -c*h, 0*h = 2*h - i + 45. Is 6/(-4)*1652/h a prime number?
False
Let o(r) = -r**2 - 8*r - 10. Let v be o(-7). Let z(a) = 2*a**3 + 2*a**2 + a + 4. Let l be z(v). Let u = 97 + l. Is u prime?
False
Let c(g) = 4*g**2 + 7*g + 8. Suppose -19 + 12 = u. Is c(u) prime?
False
Let g(s) = -s**3 - 20*s**2 - 19*s + 27. Let z be g(-19). Is 2228*-1*z/(-36) prime?
False
Let r(p) = 2*p**2 - 13*p - 8. Let b be (-10)/15*2/(-4)*33. Is r(b) a composite number?
True
Is (-51)/(-17) + (4895 - 1) a prime number?
False
Let s be -7 + 9 + 6 + 0. Let h = s + -16. Is h/28 - 1446/(-14) composite?
False
Suppose -2*v = -5*y - 3, 4 = -y - v + 2. Is y*1012/12*-3 composite?
True
Suppose 432 = 3*k + i + 2*i, -2*i = 3*k - 431. Is k a prime number?
False
Suppose -8 = 4*q, j - 6*j - 5*q = 5090. Let l = 2797 + j. Is l composite?
True
Let r(f) = 2*f + 28. Let u be r(-14). Suppose 0*n + 13*n - 2483 = u. Is n composite?
False
Is (2/6)/((-19)/(-97413)) prime?
True
Suppose 80*g - 76*g - 5116 = 0. Is g a prime number?
True
Suppose -2 + 17 = 3*m. Suppose r + 16 = 2*