 x(0) prime?
True
Suppose -4*i = 595 + 597. Let z(c) = c**2 + c - 3. Let q be z(-3). Is (q - i)/((-2)/(-2)) composite?
True
Let s(x) = -15*x + 5. Let p be s(-7). Suppose -7580 = -5*q + 5*g - p, 5*q + 5*g - 7520 = 0. Is q a composite number?
False
Let r = 66955 - 30306. Is r prime?
False
Let c = -272 - 285. Let j = c - -1566. Let y = j - 596. Is y prime?
False
Suppose 3*p = 2*d + 922, 0*d = 4*p + 4*d - 1236. Let k = 435 - p. Is k a prime number?
True
Is (26730 + -69)/(1 - -2) composite?
False
Let g(d) be the third derivative of -d**6/144 - d**5/30 + d**4/6 - 7*d**2. Let o(a) be the second derivative of g(a). Is o(-5) prime?
False
Let v(c) = -2189*c + 256. Is v(-9) a prime number?
False
Let r be (4848/(-32))/((-3)/8). Let l = 1336 - 639. Let m = l - r. Is m a composite number?
False
Suppose 9*f - 61661 = 263086. Is f composite?
False
Let c = -5 + 9. Let k be (9/2 - -3)*c. Let x = -7 + k. Is x a composite number?
False
Let b = 40554 + -26051. Is b prime?
True
Let p(x) = -104*x - 1. Let g be p(4). Let y be g/(-5) - (-10)/(-25). Suppose -y = u - 2*u. Is u a prime number?
True
Is (114/(-15) - -8) + (-44706)/(-10) a prime number?
False
Let w(j) = j**2 - 3*j - 1. Let o be w(-2). Let x = -7 + o. Is (-7)/((4/(-26))/x) a composite number?
True
Let m = 2 - 12. Is 6/(-10) - (10486/m - 1) composite?
False
Let s be (-5 - -4)/(2/8). Let a be (s*1)/(-17 + 18). Let l(g) = -68*g - 5. Is l(a) a prime number?
False
Suppose -111 = -6*f + 525. Let i(l) = 6*l + 9. Let m be i(-10). Let x = m + f. Is x composite?
True
Let x = 47 + -32. Suppose 5*a = -5*z - 0*a - x, 0 = -4*z + a + 13. Suppose n = -z*f + 792, -4*f - 4*n + 641 = -947. Is f prime?
False
Let t = 56 - 43. Suppose t*p = 8*p + 275. Is p prime?
False
Let y(w) = -w**3 + w**2 + 4. Let q be y(0). Let j be ((-249)/12)/((-1)/q). Is -3 + (j + -4 - -3) a prime number?
True
Suppose -11*v = -16*v - 3*c + 78501, 0 = -4*v + 3*c + 62790. Is v prime?
False
Let l be 7/(98/(-7)) - (-5326)/4. Suppose p + 3*p + 518 = 2*k, 5*k - p - l = 0. Is k composite?
True
Suppose -6*p + 0 = 12. Let f(v) be the third derivative of 3*v**5/10 + v**4/8 + v**3/6 - 3*v**2. Is f(p) a prime number?
True
Let a(g) = g**3 - 12*g**2 + 12*g + 11. Let q be a(11). Let x = q + -11. Let u(h) = -h**3 + 13*h**2 - 5*h + 16. Is u(x) a composite number?
True
Let o(v) = v**2 - 8*v + 65. Is o(9) a composite number?
True
Let v(q) = q**3 + 3*q**2 - 2*q + 1949. Is v(0) a composite number?
False
Let v(s) = -793*s + 7. Let m be v(-2). Is (-3)/(-6) + m/2 a composite number?
False
Suppose -14*h = -13*h - 23. Suppose -13*m + 159 = -h. Is m composite?
True
Let i = 43647 - 29134. Is i a prime number?
False
Let t = 11 + -10. Suppose -2*m + t = -m. Is (m/2)/(11/6314) prime?
False
Suppose -438 = -5*x + 1597. Is x a composite number?
True
Suppose -2*n - 5*i + 1093 = -905, 5*n + 3*i - 5014 = 0. Let y = n + 57. Is y prime?
True
Suppose -26*i = -37*i + 11957. Is i a prime number?
True
Suppose -60 + 8 = -4*t. Let o = t + -18. Is 1 + 5/(o/(-214)) a composite number?
True
Let c(f) = -398*f**3 - 6*f**2 - 4*f - 3. Let d be c(-2). Suppose 13*m - d = 8*m. Is m prime?
False
Let b(d) = -20*d**3 - 5*d**2 - 11*d + 16. Is b(-5) prime?
False
Let y = 22 - 28. Let b(u) = -u**3 - 4*u**2 + 5*u - 7. Is b(y) composite?
True
Let s(x) = -x**3 + x**2 - x - 9. Let d be s(-5). Suppose -2*h - d = -2100. Is h a prime number?
True
Let v = -3420 - -37459. Is v a composite number?
False
Suppose -260 = -23*v + 21*v. Suppose 0 = 2*o - v - 60. Let i = o + 36. Is i prime?
True
Let o(a) = -14*a**3 - 12*a - 56. Is o(-5) prime?
False
Let t(j) = 5*j**2 + 2*j - 5. Let p be (-12)/4 - (0 - 6). Suppose -o + 3 = 3*c + 2, -p*c - 23 = -5*o. Is t(o) composite?
False
Suppose 4*p + 5*i - 18 = 0, -5*p + 4*i - 6 = -4*p. Suppose w - 6*w = -25, -2*d - p*w + 144 = 0. Is d composite?
False
Suppose -13*j - 1537 = -14*j. Is j prime?
False
Suppose 3*s = 4*w - 1989, s = 3*w + 5*s - 1523. Let r = w - 146. Is r composite?
True
Suppose 11*n - 32998 = -4827. Is n prime?
False
Let f(u) be the third derivative of 3*u**2 - 1/6*u**3 + 1/3*u**4 + 0*u + 0. Is f(9) a prime number?
True
Suppose -9 = 3*h + y, -y + 3 = -0*y. Let o be (2 - -1)/6*h. Is o/16*-4*1266 composite?
True
Suppose 0 = -2*a + 7 - 33. Let q = 32 + a. Suppose 5*i - 6*i = -q. Is i prime?
True
Let b(a) = 1137*a. Let q be b(2). Let y = q + -803. Is y prime?
True
Let t(q) = 2*q**3 - 8*q**2 + q - 12. Let h(l) = -l**3 + 7*l**2 + 11. Let v(s) = -7*h(s) - 6*t(s). Suppose 5*k = k - 16. Is v(k) composite?
True
Let w(c) = -373*c + 179. Is w(-30) a prime number?
True
Let v(r) = -r**3 + 9*r**2 - 11*r + 5. Let w be v(8). Let l = w + 21. Suppose -l*p - 1 = b - 24, -79 = -5*b - p. Is b composite?
True
Suppose 4*g + 104616 = 3*d - 13473, -3*g = 4*d - 157427. Is d prime?
True
Let y be (0 - 1)/(9/(-18)). Suppose 6*h + 8 = y*h. Is (-24)/(-9)*(-3)/h composite?
True
Suppose -10*v + 9*v = -p - 809, 2*p = -3*v + 2427. Is v a prime number?
True
Let i = 0 - -2. Suppose 586 = i*k - 178. Is k a prime number?
False
Suppose 0 = -5*i + 3*p + 2944, -3*i - 2*p = -5*i + 1180. Is i prime?
True
Let y(q) = -q**2 - 6*q + 10. Let i be y(-7). Suppose i*w - 1343 = -3*z + w, 5*w = 2*z - 908. Is z prime?
True
Let d(u) = u**3 + 10*u**2 - 11*u - 8. Let c be d(-10). Suppose p - c - 55 = 0. Is p a prime number?
True
Suppose -s + 52 = -l - 2*l, 2*l + 2*s + 32 = 0. Let v = l - -88. Is v composite?
False
Suppose 3*t + 2 = 4*t. Suppose -3*x - t = -8. Suppose -n - x*n = -1869. Is n a composite number?
True
Let g(i) be the first derivative of 5 - 159/2*i**2 - i. Is g(-1) a prime number?
False
Suppose -2441 = -3*c - 2*z, 3*z - 3256 = -4*c - 0*z. Let j be c*1 - (6 - 4). Let n = -472 + j. Is n a prime number?
True
Let j(t) = -t**2 + 12*t - 1. Let f be j(11). Is (3 - 25/f)*406 prime?
False
Let p = -18166 + 40779. Is p a prime number?
True
Suppose -6*g = -2*g - 1232. Let c = 885 + g. Is c a prime number?
True
Is (-3727)/(-5) + (-15)/((-75)/(-2)) composite?
True
Let p(g) = -4941*g**3 - 11*g**2 - 34*g - 7. Is p(-3) a composite number?
False
Let m(c) = 1719*c + 302. Is m(7) a prime number?
False
Let x(q) = 38*q**2 + 4*q + 1. Let g be x(3). Let a = 67 + g. Is a a prime number?
False
Let c = 38 + -26. Suppose 4*k - c = 0, 2*g = -3*g + k + 1052. Is g prime?
True
Let i = 1546 + -1098. Suppose 4*m = i - 84. Is m a composite number?
True
Let c = -17 - -17. Suppose c*s = -2*s - 5*p + 1858, -8 = -2*p. Is s composite?
False
Let o be 3/((-1616)/(-538) + -3). Suppose 4*p - 1132 = -4*y, -7*y = 3*p - 2*y - 847. Let u = o - p. Is u composite?
False
Suppose -24*i + 31*i - 90853 = 0. Is i a composite number?
False
Let r = 30 - 30. Let c(y) = -y**2 + 38. Is c(r) a prime number?
False
Suppose 4*j = 3366 - 1202. Let u = j + -62. Is u composite?
False
Let r = 15375 - 7588. Is r a prime number?
False
Suppose -590 = 5*c - 0*c. Suppose -f + 4*m + 6 = 3*m, 3*m + 8 = -2*f. Is (3 - c - f)/1 prime?
False
Suppose -12*r + 7*r - b = -2853, r - 3*b = 577. Is r a composite number?
False
Let n(b) = 3763*b - 12. Is n(11) a composite number?
False
Let v be 25 - (-2 + 2)/1. Let n = v - -69. Is n composite?
True
Let d = 3 + -2. Let p = d - -5. Let l(r) = r**2 - 4*r + 11. Is l(p) a composite number?
False
Suppose -2*o - h = 2 + 3, -5*o + 2*h + 10 = 0. Suppose o = d + 4*d - 10. Suppose -d*a - a + 1367 = -2*z, 4 = 2*z. Is a a prime number?
True
Suppose -4*z - 99 = -3*j, j + z - 8 - 18 = 0. Let t = 40 - j. Let s = -8 + t. Is s a composite number?
False
Suppose 0 = -x - 2*h + 16, x + 4*h - 22 = 4. Suppose -g - x*g = -161. Is g a prime number?
True
Is 22/121 - (-89109)/11 a composite number?
False
Let h(j) = 2*j + 1. Let c be h(2). Suppose c*t = 2*t + 6. Let v = t + 17. Is v composite?
False
Let b = -91 + 91. Let l(x) = -5*x + 671. Is l(b) a prime number?
False
Suppose -5*z - 118760 = -5*d, 3*d + 20450 = 5*z + 91704. Is d a prime number?
True
Let v be ((-30)/(-24))/((-2)/(-8)). Suppose -4*a + 18 = 2*n + n, -v*n = 5*a - 30. Is (-124)/(-8) - 3/n a composite number?
True
Let v(l) = 25*l**3 + 2*l**2 + 3*l - 3. Let t be (-8)/(-2 - 0)*1. Suppose 4*z = 12 - t. Is v(z) a composite number?
False
Let d(u) = -u**3 - 4*u**2 + 2. Let g be d(-4). Suppose 5 = h, g*n + 0*h - 445 = 5*h. Suppose 3*w + 5*r = 6*r + n, 5*w + 4*r = 369. Is w prime?
False
Let x(n) = -n**3 + 28*n**2 + 23*n - 123. Is x