-8 + (-893571)/(-35) prime?
True
Suppose -77*o + 273866 = -39*o. Is o a composite number?
False
Let x be -4 - (2 + 11465/(-5)). Suppose 5*z = -x + 7322. Is z a composite number?
True
Suppose p + 16*h - 12*h - 5339 = 0, 16051 = 3*p - 5*h. Is p composite?
False
Let s be (-2)/(-8) + (-22)/(-8). Let w(d) = d**3 - 17*d**2 + 17*d + 26. Let x be w(17). Is x - s*(-2)/3 a prime number?
True
Let k = -978 - -3607. Is k composite?
True
Let z(t) = 2*t**2 + 8*t + 1238. Is z(0) a composite number?
True
Let y(x) = 17*x**2 - 7*x - 2. Let h be y(5). Let m(s) = 79*s**2 - 2*s + 2. Let r be m(1). Let c = r + h. Is c a prime number?
True
Suppose 3*c = 2*b - 149, 216 + 159 = 5*b - 5*c. Suppose 24*n + b = 26*n. Is n a composite number?
True
Let a be -598 - -7*(29/(-7) - -4). Let g = a + 1113. Is g a composite number?
True
Let i be 18/117 + 256/26. Is -3 - i/(-5)*2269 a prime number?
False
Is (-14)/7*11201/(-2) a prime number?
False
Suppose 2*c = 6*c - 8. Suppose -4*s - 8 = 0, -f + c*s - 3*s + 2 = 0. Suppose -f*a + 3*b = 5*b - 126, a = b + 30. Is a a prime number?
True
Let h be -411 + 6/2 + -4. Let q be (3/3)/((-2)/h). Suppose 700 = 2*c + q. Is c composite?
True
Let w be -1 + -31*16/(-4). Let x = -37 + 42. Suppose x*v + 3*d - 569 = 0, -v + 2*d = -2*d - w. Is v a prime number?
False
Let t = 3 - 1. Let i(g) = g**3 + 23*g**2 - g - 23. Let l be i(-23). Suppose -t*f - 4*f + 966 = l. Is f composite?
True
Let d(s) be the third derivative of -45*s**4/8 + s**3/2 + s**2. Let k be d(-4). Suppose 0*p = 4*p - 4*v - 444, -v + k = 5*p. Is p prime?
True
Let w(c) = 44*c**2 - 2*c + 55. Is w(-11) composite?
True
Let q(a) = 327*a - 44. Is q(15) a prime number?
True
Let x = -12 + 17. Suppose 0*i - 1020 = -x*i. Suppose 0 = -0*n + n + 3*g - 43, 4*g + i = 4*n. Is n a prime number?
False
Let v(y) = y**3 - 7*y**2 - 8*y - 1. Suppose 2 = -2*l + 18. Let c be v(l). Is 3*((-436)/(-12) + c) a composite number?
True
Let t be 2 + 471*56/12. Suppose -3*n + t - 9925 = 0. Is n/(-10) + (-2)/4 a composite number?
False
Let a = -23414 + 34059. Is a composite?
True
Let n = -5554 - -8849. Is n prime?
False
Suppose 4*x + 5 + 3 = 0. Let f be 1/((-2)/16*x). Suppose -f*q + 50 = -162. Is q a composite number?
False
Suppose -5*l - 51895 = -7*s + 130294, l + 104108 = 4*s. Is s a prime number?
False
Let r = -49 - -55. Is ((-6023)/57)/((-2)/r) composite?
False
Suppose 4*p - 147952 = 3*b, 27562 = 2*p - 4*b - 46404. Is p prime?
False
Let g(n) = -4*n + 48. Let w be g(10). Suppose 0 = -3*i + 2*f + 663, w*i - 5*i = 4*f + 657. Is i prime?
True
Suppose 6*j - 7*j = -87. Suppose j = q - 66. Is 18/q + (-7121)/(-17) prime?
True
Let q = 46 - 43. Suppose 3*a - 1121 = -2*s, 0 = -a - 0*s - q*s + 362. Is a a prime number?
False
Suppose -1412 = -3*w + j, 5*w - 9*w + 3*j + 1891 = 0. Is w composite?
True
Suppose 5*d - 486 + 8386 = 0. Is (-1)/2*(d - 2) prime?
False
Suppose 0 = -4*y + 78995 - 13047. Is y a composite number?
False
Suppose p = 2*i + i - 165780, 0 = -3*i - 3*p + 165768. Is i a composite number?
False
Suppose 0 = -o - 2*f + 3577, -5*o = -17*f + 19*f - 17925. Is o prime?
False
Let c(a) = 629*a**2 - 19*a + 19. Is c(6) a composite number?
False
Let a(q) = -q + 0*q + 114 + 35. Let p(z) = -2*z - 24. Let s be p(-12). Is a(s) prime?
True
Suppose i - 4*n + 105 + 60 = 0, 0 = -5*i + 2*n - 915. Let a be 8/(-6)*(-468)/8. Let l = a - i. Is l a composite number?
False
Let j(m) = 2*m**3 - 12*m**2 + 3. Let k be j(8). Suppose 4*p + 47 = k. Is p a composite number?
False
Suppose 6*c - 4*c - 28658 = -4*h, -3*h = c - 21496. Is h prime?
False
Suppose 119*u - 15172 = 115*u. Is u a prime number?
True
Let j = 280 - 760. Let m = 936 - 1627. Let h = j - m. Is h a prime number?
True
Let y(q) = -49*q**3 - q**2 + q - 4. Let c be y(-3). Let d(f) = -f**2 + 7*f + 5. Let g be d(7). Suppose g*r - h - h = c, h = 3*r - 785. Is r a prime number?
True
Let m(s) = 6*s**3 - 25*s**2 - 44*s + 8. Is m(19) a composite number?
True
Is 29 - ((-147)/27 - 12/(-27)) composite?
True
Let w(b) = 0 + 9 - 4*b**2 - 10 - 5*b - 85*b**3. Is w(-1) prime?
False
Suppose 3*z + 2*d = -d + 42, 4*d = z + 11. Let h = -4 - z. Let c = h + 264. Is c a composite number?
False
Let s(k) = 44*k + 2. Let h be s(5). Suppose -2*t = -4*j - 718, 3*t + h = 3*j + 1293. Is t prime?
False
Suppose 3723 = h - 670. Is h a composite number?
True
Suppose p + 2*p = -4*f - 2, -5*p = -3*f - 16. Let d be ((-5)/p)/(2/(-752)). Suppose h + 3*h = d. Is h composite?
True
Let h(z) = 2*z**2 - 8*z + 10. Let l be h(6). Is 4 - 17/(-2)*l a prime number?
True
Suppose -4*q - q = -3*u - 132, -3*u - 108 = -4*q. Let k = 27 - q. Suppose k*w + 905 = 4*w. Is w a composite number?
True
Suppose -8*i + 12*i - 18116 = 0. Suppose i = 3*h + 4*h. Is h a prime number?
True
Suppose -2*n + 537 = -3*v, 0*v - 15 = -5*v. Let z = 2035 - n. Suppose q - t = 873, -2*t = -4*q + 6*q - z. Is q prime?
True
Let u(w) be the third derivative of 7*w**6/24 - w**5/15 + w**4/24 - 7*w**3/6 - 8*w**2. Is u(3) a prime number?
False
Suppose 14416 + 65448 = 8*f. Is f composite?
True
Let w be (-1)/((-1)/83*1). Suppose -4205 = -w*r + 78*r. Is r prime?
False
Let v(a) = a**3 + 6*a**2 - 9*a - 5. Let l be v(-7). Suppose -13*p + l*p + 268 = 0. Is p prime?
True
Let g be (-3)/(-4) + 117/36. Suppose -2*l = -0*o + g*o - 362, l = 4*o - 353. Is o a composite number?
False
Suppose -g + 2 = 2*j, -5*j = 2*g - 0*g - 7. Suppose 3*p - 822 = -j*n + 657, n = 3*p - 1471. Suppose u - p = -0*u. Is u a composite number?
False
Let g = -32 + 33. Is -4 + -454*g/(-2) prime?
True
Suppose 0 = 22*g + 59 + 73. Let i(o) = o + 1. Let u be i(-2). Is (-2668)/(-24) - u/g a composite number?
True
Suppose 3 = 7*b - 4*b. Is 22/(-3 + 4) - b composite?
True
Suppose 3*u - 2*n - 1 = 0, -4*u + 11*n - 9*n = -4. Let j(d) = -d**2 + 6*d - 1. Let c be j(6). Is (c/u)/((-5)/2865) a composite number?
False
Let i = -850 - -1644. Is i a prime number?
False
Let x = -320 + 2397. Is x a composite number?
True
Let p(s) = 6028*s**2 + 3*s - 2. Is p(1) a composite number?
False
Let w(k) = 28*k**2 - 12*k - 41. Is w(-23) a prime number?
False
Let s = -1005 + 17606. Is s composite?
True
Suppose -3*a + 7 = 2*k, -5*a - 3 = -4*k - 0*a. Suppose 2*u + 5*v = 1771, -4459 = 5*u - 10*u - k*v. Is u a prime number?
False
Suppose -5*d - 14 = -2*a, -d - 2 = 2*a + 8. Let p(j) = -3*j**3 - 6*j**2 - 21*j + 5. Is p(d) a prime number?
False
Let u(i) = 223*i**2 - i + 19. Let m(c) = 112*c**2 + 9. Let r(b) = 5*m(b) - 2*u(b). Is r(3) a prime number?
True
Suppose 83 = -2*u + 6357. Is u prime?
True
Let m(u) be the first derivative of -4*u**2 - 5*u + 1 - 4/3*u**3 - 1/4*u**4. Is m(-6) a composite number?
True
Suppose 2*l - 16081 = 7*t - 4*t, t - 16061 = -2*l. Is l composite?
True
Suppose 42*w - 40*w - 151794 = -4*z, -4*z - 4*w = -151784. Is z a composite number?
False
Let d(u) = 69*u**3 - u**2 - 5*u + 3. Let s = -28 + 30. Is d(s) prime?
True
Suppose 0 = -0*a + 4*a - 8. Suppose -a*v + 4375 = -7*v. Is (-8)/36 - v/9 a composite number?
False
Suppose 10 = 5*v - 10. Suppose -3*d + 14 + 11 = v*q, -2*d + 2 = -q. Is 118*d/18*3 a composite number?
False
Suppose n + 3 = -2*n. Let i(o) = -24*o - 1. Is i(n) a composite number?
False
Let n(b) = b**2 + 9*b + 10. Let z be n(-8). Suppose z = 5*s - 8. Is s*-1 + (-6 - -139) composite?
False
Let f = 6 - 54. Let t be ((-852)/f)/(2/8). Suppose 0 = 3*r + 5*h - 210, -3*h - t - 50 = -2*r. Is r prime?
False
Suppose -q = 3*q + 3*v - 15686, 15700 = 4*q - 4*v. Suppose -1405 = 2*i - q. Is i a composite number?
False
Let u(v) = -17*v**2 - 1. Let t be u(1). Is ((-1486)/(-3))/(t/(-27)) a prime number?
True
Suppose 0*l = 3*l. Suppose 9*h - 11*h + 1816 = l. Suppose 3*i + h = g, -g = -3*g - i + 1837. Is g prime?
False
Let n(f) = f**3 + 17*f**2 - 3*f - 3. Suppose 0 = 2*q - 7*q - 50. Let k be n(q). Let x = 1066 - k. Is x a composite number?
True
Suppose -5*h + 63494 = -3*k, 3*h = -4*k + 38880 - 801. Is h a composite number?
False
Let a(f) = f**3 - 3*f**2 + 3*f - 13. Suppose -48 = -4*b + m, 0 = -5*b + 2*b - 3*m + 36. Is a(b) a composite number?
False
Let o(i) = -i - 4 - 1 - 2. Let b be o(-3). Is 3/b + (-237)/(-12) a composite number?
False
Let s = -63 - -62. Let d(v) = -1117*v**3 - v - 1. Is d(s) a composite number?
False
Let m(f) = -f**2 - 2*f - 1. Let o be m(-4). Let t(i) = i + 11. Let s be t(o). Suppose -s*r - 2 = -412. Is r a composite n