0. Is h composite?
True
Suppose -18*r - 114045 = -49*r + 26*r. Is r prime?
False
Suppose 93357123 + 52778067 - 33876315 = 375*r. Is r a composite number?
False
Suppose 18*f + 7*f = 1309380 + 210895. Is f prime?
True
Suppose -5*c = -4*c - 15. Let s be c + -18 - (1 + -1 + -5). Suppose 0 = 4*k - s*z - 3*z - 829, -4*k + 3*z = -819. Is k a prime number?
False
Let d = 514 + -501. Suppose d*k - 17*k - 4 = 0, -3*a - 2*k = -43435. Is a prime?
True
Suppose -609*d = -201*d - 137264664. Is d prime?
False
Let r be 140/28*(1 + 609). Let k = r - 1651. Is k a prime number?
True
Let k(u) = 70882*u - 2603. Is k(6) a composite number?
False
Suppose 0 = -2*u - 44 + 236. Let o = -92 + u. Suppose o*r + 3*r - 4529 = 0. Is r a composite number?
False
Suppose -4*k - 1 = -5. Let p be -3 + 1 + k + 3. Suppose p*d = 5*d - 2154. Is d composite?
True
Let h = 13831 - 9638. Is h a prime number?
False
Suppose 4*v - 22*o - 412399 = -23*o, -3 = -o. Is v prime?
True
Suppose -213*r = -219*r. Suppose 30*h - 32*h + 1346 = r. Is h prime?
True
Let l = -32152 - -78136. Let i = l + -32677. Is i a composite number?
True
Let q = -1290 + 2824. Suppose 113*d - 27*d = -4*d + 450. Suppose 5*g - 1540 = -d*z, 0 = -5*g - 0*z + z + q. Is g a prime number?
True
Let q(o) = o**3 + 18*o**2 + o - 31. Let s(k) = 2*k - 54. Let c be s(13). Let t be (0 - -18)/(42/c). Is q(t) prime?
True
Suppose 0 = -w + 8 - 4. Let j(z) = 99*z**3 + 4*z**2 + z + 17. Is j(w) a prime number?
True
Let a = 53 + -86. Let n = a + 38. Suppose 897 = n*q - 5*y - 2013, 4*q = 3*y + 2329. Is q a prime number?
False
Let a(c) = -2*c**2 - 51*c - 67. Let p be a(-24). Let x(v) = 65*v**3 + 5*v**2 + v + 56. Is x(p) composite?
False
Suppose 0 = -8*a + 5*a. Suppose 2*u = 4*n - 6024, n - 1515 = -4*u - a*u. Suppose 0 = 8*d - 5605 - n. Is d prime?
False
Let y(b) = b**2 + 5*b + 5. Let v be y(-10). Suppose v*f - 18 = 52*f. Is (f/(-10))/((-6)/1110) a composite number?
True
Let m(n) = -190813*n + 90. Is m(-1) a prime number?
False
Let c be (-4)/((-1)/(-2)*16/(-6412)). Suppose -g + 3694 = g - h, h + 1845 = g. Let r = c - g. Is r a composite number?
True
Let a(r) = -r**3 + 19*r**2 - 45*r - 1. Let l be a(-21). Suppose 13*v - l = 5*v. Is v a composite number?
True
Let i be 24/(-4) + (-5)/5. Let r = i - 2. Let h(v) = v**2 - 13*v - 21. Is h(r) a composite number?
True
Suppose -4286 = -v + 3*h, -5*v + 5*h + 21390 = -0*h. Is v prime?
False
Let w be ((-84)/112 + (-70)/(-72))*9. Suppose -w*q = 0, -21*p = -19*p - 5*q - 236. Is p a composite number?
True
Let h = -277 + 272. Suppose 0 = 7*b - 4*b + 9. Is -1*(-3126)/2 + (h - b) composite?
True
Let z(f) be the third derivative of -f**6/60 - f**5/60 + f**4/2 - f**3 - 4*f**2. Let l be z(-9). Suppose r + 632 = 2*w - r, 4*w - l = 5*r. Is w prime?
True
Let w(n) = -n - 6. Let a be w(-9). Suppose a*v = -6, -2*v - 435 - 3843 = -2*j. Is j composite?
False
Let z be (58/6 - (-1)/(-6))*20. Suppose 243 = 2*c - 3*l, -177 - z = -3*c + 5*l. Suppose y - c = d + 24, 148 = y + d. Is y a composite number?
True
Let k(l) = l - 48. Let q be k(45). Let j(c) = 1225*c**2 + 19*c + 59. Is j(q) prime?
True
Let i be (0 + 9)/(7*(-21)/(-1078)). Suppose 73*k - i*k = 11361. Is k a prime number?
False
Suppose -128 + 33 = 3*a + o, 68 = -2*a + 4*o. Let m be (0 - 1366/5)*(a - -12). Let d = m + -2301. Is d a prime number?
True
Let n(b) = -5*b**3 + 1 + 6*b - 16*b - 4*b**2 + 8*b. Let q be n(-1). Is (q + -2)*(-226)/8*-14 prime?
False
Let x(k) = -6*k + 9. Let c be x(4). Let j be 0 - (c/5 - 2415). Suppose -2*p = -a + 785, 3*a + 2*p - j = -55. Is a composite?
False
Let m = 47 - 43. Suppose -11*d + 8*d + 2921 = m*z, 4*d = -z + 714. Is z a prime number?
False
Let i(q) = 179 - 134 + 63*q + 178*q. Is i(8) a prime number?
True
Let y(i) = -2*i**2 + 11*i - 22. Let x be y(4). Is (x/(-15))/(4/24) - -1255 composite?
False
Suppose -1581559 = -1626*g + 1619*g. Is g a prime number?
False
Let p(i) = -14*i**3 - 49*i**2 - 19*i - 41. Is p(-12) composite?
True
Let x(n) = 3*n - 128. Let w be x(67). Let u(d) = d**3 - d + 234. Let k be u(0). Let y = k - w. Is y a prime number?
False
Let l = 528 + -276. Suppose -y = -738 - l. Let q = -427 + y. Is q composite?
False
Is (-1223)/3*87/(-3) + (-500)/375 prime?
True
Suppose -o + 17408 = v, v - 8 = -4. Suppose -c = -5*a - 3168, 5*c = 4*a - 1606 + o. Is c a prime number?
False
Let w(q) = 7*q**2 - 30*q + 47. Let h be w(-29). Let k = 12583 - h. Is k a composite number?
False
Let n(d) = 90 - 44 - 20*d - 43 + 3*d**2. Let s be n(7). Suppose s*y - 8129 + 2559 = 0. Is y prime?
True
Let u = 293055 - 148942. Is u a prime number?
False
Let l(s) = -s**3 - 4*s**2 + 12*s + 5. Let k be l(-8). Suppose -75 = -8*y + k. Suppose y*b = 29*b + 95. Is b a composite number?
True
Let g(s) = -58737*s**3 + 135*s**2 + 133*s. Is g(-1) composite?
True
Let t(b) = -886*b**3 - b**2 + b - 15. Is t(-4) a prime number?
False
Suppose 10*n - 12 = 7*n. Suppose 0 = -n*a - 65 - 7. Let y = 145 - a. Is y a composite number?
False
Suppose -14 = -6*o - o. Suppose -56 = 3*t - 2*x, 6*x = o*x + 16. Let a = 573 + t. Is a a prime number?
True
Let l(v) = 23*v**2 + 82*v + 42. Let p(j) = 8*j**2 + 27*j + 14. Let z(x) = 6*l(x) - 17*p(x). Let h be z(-16). Is 2 - -2 - (-2 - -628)/h a composite number?
False
Let v(i) = 72*i**2 + 113*i - 28. Is v(61) a prime number?
True
Let w(g) be the third derivative of 7*g**4/24 + 26*g**3/3 - g**2. Let q be w(-6). Suppose q*s - 18713 + 3853 = 0. Is s a prime number?
False
Let m = 5057 + -10434. Let v(c) = 524*c + 2. Let x be v(-7). Let j = x - m. Is j a prime number?
False
Let c = 3680825 + -2205660. Is c composite?
True
Let z(f) = 1351*f + 30. Suppose -12*d - 2*d + 42 = 0. Is z(d) a composite number?
True
Let b be 23/(-5) + (-6)/15. Let k(h) = -h**3 - 16*h**2 - 14*h + 19. Let r be k(-15). Is (-4)/10*b*1282/r composite?
False
Let m(c) = -c**3 + 17*c**2 - 14*c - 11. Let p be (12 + 4)*1 + -2*2. Is m(p) a prime number?
True
Let d(p) = -389*p**2 - 13*p - 31. Let z(q) = 195*q**2 + 7*q + 16. Let j(s) = 2*d(s) + 5*z(s). Let k be j(8). Suppose -22*f + k = -20*f. Is f prime?
False
Suppose 2*n - 3781 = -5*q, 0 = 3*n + 3*q - q - 5677. Suppose 0 = -23*d + 20*d + n. Is d composite?
False
Suppose -10*g + 5*g = -u + 66994, -268021 = -4*u + 5*g. Is u a composite number?
True
Suppose -2362545 = -34*w - 20*w + 9*w. Is w composite?
False
Suppose -4*q + 3*q + 4*a = -23, 0 = 3*q - 3*a - 42. Suppose 3*r = -5*z + 2216, 9*z - 3683 = -5*r + q*z. Is r a composite number?
True
Suppose -5*y = -2*y. Let u(q) = -q + 677 - 27*q**2 + 48*q**2 - 20*q**2. Is u(y) a prime number?
True
Let c = 13 + -8. Suppose -11377 = -c*a + 24188. Is (-10)/(-35) + a/21 a composite number?
True
Let o(a) be the third derivative of 107*a**4/24 + 53*a**3/6 - 64*a**2. Is o(10) a prime number?
True
Let a(u) be the second derivative of -52*u**3/3 + 5*u**2 + 9*u. Let z be a(-5). Suppose 3*f = 2*v - 296 - 213, -2*v - 4*f + z = 0. Is v prime?
False
Let p(o) = -7*o + 30. Let k be p(4). Suppose 15736 = 4*n + 20*d - 19*d, 0 = -5*n + k*d + 19683. Is n composite?
True
Let f(t) be the second derivative of -t**5/20 + 7*t**4/12 + 5*t**3/3 - 9*t**2/2 - 463*t. Let x be 2/2 - -1*5. Is f(x) a prime number?
False
Suppose l + 490606 = i, -3*l - 611443 - 1350976 = -4*i. Is i prime?
False
Let d = -7025 + 16058. Is d a composite number?
True
Is -5 + 3703344/40*(-5)/(-2) composite?
True
Let s = -38612 - -54706. Let y = s - 8677. Is y prime?
True
Let i be 540 - 0 - (4 + (0 - 2)). Let n(f) = -i*f + 110*f - 36*f + 17. Is n(-3) a prime number?
True
Let r = 77798 - 44365. Is r a prime number?
False
Let s(k) = k - 1. Let o(w) = -36*w + 10. Let z(n) = o(n) + 3*s(n). Let c be z(-8). Is c*(-4 + 5) - (2 + 0) composite?
False
Let n = -97491 + 198914. Is n a prime number?
False
Let c = -334982 + 541603. Is c a composite number?
True
Let j = 279 - 195. Is 238927/6 + (-14)/j composite?
False
Let j(b) = 721*b - 657. Is j(22) a composite number?
True
Suppose y - 6*y = 5*y. Suppose 2*u - 103 = 5*b, b + 1 - 4 = y. Suppose -60*t = -u*t - 389. Is t prime?
True
Let h = 73567 + -23129. Is h a composite number?
True
Is (-36 + 41)*(-3)/(-20) + (-806258)/(-8) a composite number?
True
Let b(m) = 2*m**2 + 3*m + 3. Let s be b(-3). Suppose -4*p = -4*r + s, 8 = 4*p - 0*p. Suppose r*y - 559 = 496. Is y a composite number?
False
Suppose 0 = -20*i - 909366 + 532090