s p prime?
True
Suppose 39 = 2*o + 3*d + 10, -30 = -5*o + d. Suppose 4*y - o*y = -2019. Is y composite?
False
Suppose 0 = 4*b - 2*y - 10, 0 = 4*b + 5*y + 7 + 4. Let j be (4 - (b - -2))*0. Suppose j = c - 54 - 89. Is c composite?
True
Let w = 315 - 83. Suppose -3*g + w = -122. Is g composite?
True
Let p(k) = -175*k**3 - 9*k**2 - 21*k + 4. Is p(-3) prime?
False
Let j(x) = x**3 + 6*x**2 + 5*x - 4. Let h be j(-4). Suppose 5*z - 2 = h, 4*g - z + 486 = 0. Let v = -12 - g. Is v a prime number?
True
Suppose 4*o - 27*i - 49752 = -31*i, 4*i = -5*o + 62194. Is o composite?
True
Suppose -146*n + 155*n - 772569 = 0. Is n a prime number?
False
Is (-45)/(-5) + (-195144)/(-12) prime?
False
Suppose 2*v + 36 = 4*v. Let z be 50/18 + 4/v. Suppose 5*l - y - z*y = 77, -l + 4 = 3*y. Is l a prime number?
True
Suppose -856 = -4*b - 2*w, b + 436 = 3*b + 3*w. Suppose -6 - 8 = -7*k. Suppose k*s = -s + 3, 0 = -3*f - 5*s + b. Is f a prime number?
False
Let f = 576 + -107. Is f a prime number?
False
Let z = 101 - 94. Suppose 0 = z*r - r - 150. Is r a composite number?
True
Let f(n) = n**3 - 12*n**2 + 13*n + 15. Let i(s) = -1. Let m(o) = -o**3 + 9*o**2 + 13. Let g(h) = 2*i(h) + m(h). Let q be g(9). Is f(q) a prime number?
True
Let b be ((-16)/20)/((-6)/15). Suppose 3*m + 3*v = 1974, -b*v + 3131 = 4*m + 499. Suppose -3*t = -8*t + 3*x + 1649, 2*x + m = 2*t. Is t composite?
False
Suppose -4*o + 270 = 42. Suppose -3*h + 4*f - 70 = -8*h, -h + 2*f = 0. Let l = o + h. Is l a composite number?
False
Let k = 84 + -79. Let c(j) = 3*j**2 + j - 1. Let o be c(1). Suppose 0*m - 1845 = -k*b + 5*m, o*b = -2*m + 1127. Is b a composite number?
False
Let l be 2 + -2 - 177/(-3). Let m = l + -35. Is (-1 - m/4)*-1 a prime number?
True
Let p = 0 + 0. Let u be (-3 - p) + 4 - -1. Suppose -2*g + 1788 = u*g. Is g prime?
False
Suppose 0*w - 2*n = 5*w - 709685, 6*w + 4*n - 851622 = 0. Is w a prime number?
True
Let g = 44 + -48. Let s(x) = 21*x**2 + 3*x - 5. Is s(g) a prime number?
False
Let f(i) be the third derivative of -i**6/120 + 11*i**5/60 - i**4/4 - 3*i**3/2 + 5*i**2. Let v be f(9). Suppose v = 3*d - 48. Is d a prime number?
False
Let d = -187 - -883. Let v(h) = 72*h + 1. Let i be v(-5). Let n = i + d. Is n a composite number?
False
Suppose -5*i = 3*h + 11 + 168, 2*i + 58 = -h. Let t = h - -158. Suppose -2*z - 4*l + 88 + t = 0, -341 = -4*z - 5*l. Is z a composite number?
False
Suppose -4*k = -5*v - 1049, k - 2*v = -6*v + 257. Let o(i) = -i**3 + 3*i**2 + 6*i - 4. Let x be o(4). Suppose x*j - k = -89. Is j prime?
True
Suppose -3*g + 4*q = -7*g - 96, 0 = 4*g + 3*q + 100. Is 243/7 - 8/g prime?
False
Let p(z) = 43*z**2 - 75*z + 1. Is p(-20) a composite number?
False
Let r(t) be the second derivative of t**3/6 - 3*t**2/2 - 2*t. Let k be r(3). Suppose k = 4*f - 2*o - 462, 164 = 2*f + 3*o - 47. Is f a prime number?
True
Suppose -1911 = -19*r + 3333. Let u = 605 - r. Is u composite?
True
Suppose -285 - 2119 = -4*s. Let u = s - 318. Let x = u + -154. Is x composite?
True
Is (-1)/5 + (1870684/20 - 11) a prime number?
True
Let m(h) = -132*h - 7. Let w be m(-6). Let q = -30 + w. Is q prime?
False
Let j(z) = -2107*z - 130. Is j(-5) composite?
True
Let f(t) = -38*t**3 + 3*t**2 + 4*t + 8. Is f(-3) composite?
False
Let a = -39 - -674. Is a composite?
True
Let a = 910 + -448. Suppose a - 88 = -q. Let x = -211 - q. Is x prime?
True
Let j(o) = o - 6. Let f be j(8). Let p be (-4)/8*(-1 - -1). Suppose 5*u - 241 = f*u - 2*g, -u - 4*g + 67 = p. Is u a composite number?
False
Let s(n) = -407*n**3 - n**2 - n. Suppose 2*y = 5*y - 2*m, 3*m + 15 = -3*y. Let f be 2*(-4)/(-16)*y. Is s(f) prime?
False
Suppose j = -x - 1, 2*x = j - 0*x - 2. Let a(p) = -2*p + 68. Let l be a(j). Is 2 + (1 - l*-6) composite?
True
Let m(l) = 60*l + 3. Let n be m(3). Suppose -825 = 3*j + n. Let s = 1177 + j. Is s composite?
True
Suppose 2*d - 3*x = 4*d - 5416, 0 = -3*d - x + 8117. Suppose 5*j - d = -0*j. Is j composite?
False
Let v = -10891 + 15713. Is v a prime number?
False
Let f(b) = 4*b**2 - b + 9. Let w = -2 - -4. Suppose 5*g + 4*k - 44 = 0, 2*k = -w*g - g + 26. Is f(g) composite?
False
Let d = -32 + 32. Suppose 0*g - 3*g + m + 3184 = d, -2125 = -2*g + 3*m. Is g composite?
False
Let c = -275 + 627. Let a = -590 + c. Let r = a + 356. Is r composite?
True
Let h(y) = 9*y + 14. Let k(x) = 10*x + 15. Let q(v) = 4*h(v) - 3*k(v). Is q(11) composite?
True
Suppose u = -4*k + k - 3, 2*k + 4 = 0. Suppose -2*g - u*g = -19545. Is g a composite number?
True
Let l(a) = 15*a**2 + 25*a + 51. Is l(-7) a composite number?
True
Suppose -4523 = 8*w - 12675. Is w a composite number?
False
Let t = -2130 + 6749. Is t prime?
False
Suppose 5*h - 683 = -2*v - 0*v, h = -5*v + 155. Let g = 56 + h. Is g a composite number?
False
Let a(i) = -7*i + 8. Let q be a(5). Let x = q + 34. Is x a prime number?
True
Suppose 13*a = -4*a + 74749. Is a a prime number?
True
Let q(j) = -16*j + 2699. Is q(0) composite?
False
Let g(j) = 2912*j + 15. Is g(1) a composite number?
False
Suppose 48 = 3*o - 2*j, 4*o - j = -0*j + 64. Let d be 68/o + (-3)/(-4). Suppose d*g - 2*t - 4441 = 0, -g + 4*t - 1762 = -3*g. Is g prime?
True
Let j(p) = 83*p - 42. Let w(y) = 84*y - 43. Let g(z) = 6*j(z) - 7*w(z). Is g(-7) a prime number?
False
Let r(a) be the third derivative of 38*a**5/5 + a**4/12 - 5*a**3/6 - 10*a**2 + 2*a. Is r(2) prime?
True
Let y(j) = -j**3 - 6*j**2 + j + 13. Let r be y(-6). Suppose -3*b + 3851 = -2*d, r*b - d = 3*b + 5133. Is b a prime number?
True
Let l = 0 + -8. Let s(t) = 10*t**2 + 6*t + 3. Let c(a) = -3*a**2 - 2*a - 1. Let f(w) = -7*c(w) - 2*s(w). Is f(l) a composite number?
True
Suppose 2*k = -9*k + 33. Is (3 + 94)*(k - -2) a composite number?
True
Let j = -4 - -14. Let o(l) = -2*l + 23. Let c be o(j). Suppose -106 = -c*a + 35. Is a prime?
True
Let g = 340 - 184. Suppose -3*s - 237 = -0*s. Let m = s + g. Is m a composite number?
True
Suppose 2*k + 10*t = 6*t + 38650, -t + 77265 = 4*k. Is k composite?
True
Let s be 927*((-14)/(-3) - 4). Suppose -s = -3*p - 2*p + w, 3*p - 2*w - 375 = 0. Is p prime?
False
Suppose -5433 = -5*y + 1877. Let x be (2 + -4)/((-5)/(3385/(-2))). Let a = y + x. Is a a prime number?
False
Let b = -22 + 16. Let m be -3*(0 + 170/b). Suppose -k - m = -2*j, -7*j + 220 = -2*j + 5*k. Is j a composite number?
False
Let f(i) = 5*i**2 - 4*i - 12. Let w be 2*2/2 + -2. Suppose w = 3*g - 20 + 5. Is f(g) prime?
False
Let y = 21715 + -9852. Is y prime?
True
Let d = 145926 + -77785. Is d composite?
False
Let y(t) = t**3 + 14*t**2 + 28*t + 48. Let g be y(-12). Let m be 1138/4 - (-2)/4. Suppose -5*h = -g*h - m. Is h prime?
False
Let u = 7 + -1. Let s = -68 - -71. Suppose -3*v = -u, s*b - b = v + 1112. Is b prime?
True
Let r(f) = -4117*f - 6. Suppose -7 = 3*q - 4. Is r(q) a prime number?
True
Let l(h) = -h**3 + 6*h**2 + 4*h + 13. Let p be l(7). Let v(q) = q + 27. Let f be v(p). Suppose 5*u = f + 776. Is u composite?
True
Let u(n) = -11*n**3 + 24*n**2 + 28*n + 8. Let i be u(12). Is i/20*(-10)/4 prime?
True
Suppose 2*v + 0*v = 190. Suppose j = -54 + 8. Let u = j + v. Is u prime?
False
Let t be -86 + (-3)/9*-6. Suppose 0 = -j - 1 - 48. Let b = j - t. Is b prime?
False
Is (-4 - (-77)/2)*124/6 composite?
True
Suppose -f = -2*r - 23, 5*r - 2*f - 3*f = -50. Is 1516/(-2)*r/26 composite?
False
Suppose 4*o = -0*o + 8. Is 250 + (-12)/(-8)*o a composite number?
True
Let y be (0 - 6)/((-3)/2). Suppose -y*l = 4*a - 508, 5*l - 5*a - 64 - 581 = 0. Suppose -681 = -3*u - 3*n, 5*u - l - 983 = n. Is u composite?
False
Let j be (-18)/(-8)*-4*1. Is ((-269)/(-3))/((-3)/j) composite?
False
Let p = -2934 + 6892. Is p prime?
False
Let g(o) be the first derivative of 17*o**3/3 - 3*o**2 - 22*o + 32. Is g(7) prime?
True
Let s = 80 - -98. Let i = -69 + s. Is i composite?
False
Is (-6)/21*668892/(-24) a prime number?
True
Let l be (-1)/5 + (-15502)/(-10). Suppose -12*s + 7*s = -l. Let q = -195 + s. Is q a composite number?
True
Let x(n) = n + 6. Let b be x(-6). Let w be b/(-1 + 3) + -2. Let f = w - -9. Is f composite?
False
Let u = 1263 - 256. Is u a prime number?
False
Let v(i) = 70*i**2 - 103*i + 29. Is v(16) a prime number?
True
Let q = 981 - 644. Let w = 1094 - q. Is w a composite number?
False
Let h = -5757 + 28580. Is h prime?
False
Let v(a) = -36*a**2 - a. Let x be v(1). Let d = x + 356. Is d prime?
F