 v composite?
False
Suppose -j = 2*q - 303, 0 = -q + j - 70 + 214. Is q prime?
True
Let o be 2 - (-2 - 0 - 1). Suppose -6*k + k + 350 = -o*g, -k + 5*g + 66 = 0. Is k a composite number?
False
Suppose 8*f - 4*f - 868 = 0. Is f a prime number?
False
Let g = 2 - 0. Suppose -138 = g*p - 5*p. Is p prime?
False
Let b(y) = -y**3 - 5*y**2 + 2*y - 2. Let j be b(-8). Suppose -5*w + j = -86. Is -1 - (w/(-1) - 2) a prime number?
True
Is 1/((-2)/6) - -260 composite?
False
Suppose -12 = n + 2*n + 4*y, -4*n + y = 16. Suppose -14 = -2*c + 6. Let b = c - n. Is b prime?
False
Is (428/6)/(2/6) composite?
True
Suppose -12*h = -11*h - 53. Is h composite?
False
Suppose 6 = 3*w - w. Suppose -3*g + 628 = 5*j, -2*g + 1057 = w*g - 2*j. Is g prime?
True
Let c be (-6)/(-9)*(-12)/(-1). Let n(p) be the first derivative of -p**4/4 + 11*p**3/3 + 3*p**2 + 11*p - 1. Is n(c) composite?
False
Let r(d) = -41*d - 7. Is r(-8) a prime number?
False
Let u(a) = -a**3 + a. Let o be u(1). Suppose o*q - q = 0. Suppose -3*b = -q*b - 66. Is b a composite number?
True
Let f(y) = 11*y**3 + 47*y**2 + 44*y + 42. Let o(n) = -4*n**3 - 16*n**2 - 15*n - 14. Let v(p) = 3*f(p) + 8*o(p). Is v(-12) prime?
False
Let f be 3 + 16/6*93. Let u(z) = -z**3 + z**2 - 2*z - 2. Let a be u(-3). Suppose -s = a - f. Is s prime?
True
Let i(f) = -f**3 + f**2 - f - 1. Let n be i(2). Let b(g) = -g + 30. Let z(v) = -v + 20. Let r(x) = -5*b(x) + 8*z(x). Is r(n) a composite number?
False
Let b be (0 + 1 - -1) + 2. Is 297/5 - b/10 a composite number?
False
Suppose -14*i + 5418 + 9968 = 0. Is i a prime number?
False
Let s = -38 - -69. Suppose -s = -3*p + 614. Is p a composite number?
True
Let w = 1911 + -1298. Is w a composite number?
False
Let g(r) = 5*r**2 - 5*r - 5. Is g(-5) composite?
True
Let v(t) = -t**3 + 6*t**2 + t + 1. Let y be v(6). Let p(i) = 2*i**2 - 10*i + 9. Is p(y) a prime number?
True
Let q(w) = -w**3 + 9*w**2 - 7*w - 6. Let b be q(8). Suppose b*y + 52 - 158 = 0. Is y a composite number?
False
Let n(v) = -v**2 + 10*v - 6. Let x = 4 - 2. Let m be (4/(-6))/(x/(-21)). Is n(m) a composite number?
True
Let s be ((-2)/(-4))/(2/(-4)). Is (4/4)/(s/(-21)) a prime number?
False
Let c = 629 + 360. Is c prime?
False
Is (0 - (-15)/(-10))*596/(-6) a composite number?
False
Let z = -1 - -5. Suppose -5*j = 5*g - 1325, -2*j - 871 = -z*g + 189. Is g a composite number?
True
Let q = -878 + 1845. Is q a composite number?
False
Is 416 + -1 + 6/(-3) a prime number?
False
Suppose 4*v - 8*l + 5*l = 3349, -3*v + 5*l = -2498. Is v composite?
True
Let i(r) = r**2 + 2*r - 3. Let l(t) = t**3 - 2*t**2 - t + 2. Let v be l(3). Is i(v) composite?
True
Let u be (3 + -2)*1*156. Let v = -98 + u. Suppose 4*o = 402 + v. Is o a composite number?
True
Let m = -6 - -491. Is m a prime number?
False
Let f(b) = 169*b - 5. Is f(4) a composite number?
True
Let u(v) = v**3 + 11*v**2 - 14*v - 5. Suppose 0 = -3*j - 15, 0 = 5*w + j - 3*j + 45. Is u(w) prime?
True
Let f(k) = -k**3 + k**2 + 2*k - 4. Let n(u) = u**3 + 1. Let m(p) = 4*p**3 - 7*p**2 + 2. Let v(q) = m(q) - 5*n(q). Let j be v(-7). Is f(j) composite?
True
Suppose -3*w + 20 = -4*i, 4*i = 2*w - 5*w - 20. Let c(o) = -o**3 + o**2 - o + 753. Is c(w) a prime number?
False
Suppose 0 = -0*a - 5*a, -5*w + 2035 = 3*a. Is w prime?
False
Suppose 0*b - 2*b + 4*l + 64 = 0, 2*b - 43 = -3*l. Is -1 + 2 + b + -1 prime?
False
Let j(k) = 900*k**3 + k**2 - 3*k + 1. Is j(1) composite?
True
Suppose -5*d + 0*d - 170 = -2*w, -4*w + 2*d + 372 = 0. Is w composite?
True
Let a = 344 + -108. Suppose -a = -3*v - 5. Is v a composite number?
True
Suppose -3*k - 8 = m, m + 2*k = 3*k + 8. Suppose 0 = -2*i + 2*o + 16, 7 = i - 2*i + m*o. Is i prime?
True
Let d(z) = 2*z + 10. Let a be d(7). Let s = a + -9. Is s a composite number?
True
Let w(s) = 108*s**3 + 4*s**2 - 2*s - 5. Is w(3) a composite number?
True
Suppose -2*d = -2*i + 622, -i = -4*i + 4*d + 937. Is i prime?
True
Suppose 39 = -4*u + 7*u. Let s(m) = 2*m**2 - 18*m + 7. Is s(u) prime?
False
Suppose m = t - 27, -8*t = -3*t + 2*m - 163. Suppose k - t = -0*k. Is k a prime number?
True
Let k = 15 - 9. Let s(h) = h - 2 + k + 3 + h**2. Is s(8) a prime number?
True
Suppose -5*h + 5*n = -1267 - 193, 2*h + 3*n - 569 = 0. Is h prime?
False
Let o = -134 - -635. Suppose 0 = 5*y + 5*r - 825, -3*r + o = 3*y - 2*r. Let x = y + -119. Is x prime?
False
Suppose s - 4*s + 255 = 0. Is s a composite number?
True
Let k = 10 + -11. Let t be 3*-1 + k + -2. Is t/8 + 875/20 a prime number?
True
Let f(n) = n**2 - 6*n + 7. Let y(h) = h**2 + 3*h - 5. Let t be y(-5). Let l be f(t). Suppose -357 = -l*k - k. Is k a prime number?
False
Let x(t) = 8*t**2 + 8*t + 9. Let b(q) = -8*q**2 - 9*q - 10. Let h(n) = 6*b(n) + 7*x(n). Is h(-2) a composite number?
False
Let a be 1134/10 + (-8)/20. Suppose 0 = -2*t - h - 30 + 104, 3*t + 2*h = a. Is t a prime number?
False
Let q = -786 - -1753. Is q a prime number?
True
Suppose 3*k - 7389 = -0*k. Is k prime?
False
Let w = 0 + 4. Let h(a) = a**3 + 3*a**2 - 6*a + 1. Is h(w) prime?
True
Let y(v) = 9*v - 58. Let z(s) = 5*s - 29. Let k(p) = 4*y(p) - 7*z(p). Let d be k(0). Let j = d - -50. Is j a composite number?
True
Suppose 0 = -4*w - 6 + 10. Is 1 + 418 - (w + -1) composite?
False
Let r = -77 - -111. Is r composite?
True
Let p(k) = -3*k + 3. Let t be p(2). Is (-318)/4*2/t prime?
True
Is ((-748)/8)/(3/(-6))*1 a composite number?
True
Let o(v) = 1409*v + 1. Let a be o(1). Suppose 4*y - a = -y. Let d = y - 125. Is d a composite number?
False
Is 1*(-321)/(-3) + 2 a composite number?
False
Let f be 5*(7 - (2 - 0)). Suppose c - f = -4. Is c a prime number?
False
Suppose 1297 = -5*d + 4*t, -2*t + 520 = -0*d - 2*d. Let q be (2 + 2)*(94 - 0). Let n = q + d. Is n prime?
False
Let y(b) = 11*b - 3*b + 15*b. Is y(2) a prime number?
False
Suppose -3*r + 27 = -0. Is 422 + (-4)/(12/r) a prime number?
True
Let n(r) = 2*r**2 - 10*r + 13. Suppose 26 = 5*y - 4*v, 2 = -y + v - 2*v. Suppose 0 = -y*m - l + 6*l - 2, -4*m = l - 40. Is n(m) a prime number?
False
Suppose 255 = k + 4*k. Is k a composite number?
True
Let h = 3518 + -1545. Is h a prime number?
True
Let t(o) = -o**3 - 9*o**2 + 6*o - 14. Let s be t(-10). Is -4*(-2)/16*s a composite number?
False
Let i = 250 - 128. Is i prime?
False
Let h = 21 - 19. Suppose -2*m = -4*m. Suppose h*a + 7 - 69 = m. Is a composite?
False
Is (1 + 0/5)*409 a composite number?
False
Suppose 2*o = -5*l + 588, -o = -0*o - 3*l - 305. Is o a prime number?
False
Let k = -2 - 5. Is (-18)/42 - 234/k prime?
False
Let j be 40/(-18) + 8/36. Let g be (191/j)/(2/(-4)). Suppose 3*a = -2*s + 118, 3*s = -0*s - a + g. Is s a composite number?
True
Is (-9 + 1680)/(1 - -2) prime?
True
Let j(c) = -c**2 - 4*c - 4. Let b be j(6). Let q = b - -98. Let p = 55 - q. Is p prime?
False
Let l(b) = -10*b + 1. Is l(-13) composite?
False
Suppose g = -2*g - 6. Is 0 + 2 + (g - -87) composite?
True
Suppose -3*o - 1420 = -7*o. Suppose -4*l = x - o, 307 = 4*l - 2*x - 51. Is l prime?
True
Let z = -38 + 165. Is z prime?
True
Let m(n) = -1 + 8*n**2 + 41*n**2 + 19*n**2. Is m(-1) composite?
False
Suppose d - 4 = 1. Suppose 7*k - 138 = 5*k + 2*l, -d*k + 381 = 4*l. Let m = k - 4. Is m a composite number?
True
Let t(q) = -7*q + 1381. Is t(0) a composite number?
False
Suppose -3*y + 1326 = -3*j, -2*y = 2*j - 118 - 770. Is y prime?
True
Suppose 6*k = 4*k + r + 98, 5*r - 230 = -5*k. Suppose -2*o + m + 117 = -0*m, 3*m - k = -o. Is o composite?
True
Let g(x) = -2*x**2 + x. Let m be g(-1). Let w be (0 - -3)/(m/2). Is w + ((-111)/(-3) - 2) a composite number?
True
Let i = -5 + 5. Suppose -j - 2*j = i. Let n(y) = -y**3 - y**2 - y + 31. Is n(j) a prime number?
True
Suppose 923 = 5*s + 3*w - 6*w, -2*w = -8. Is s a prime number?
False
Let w be 2/4*(-3 + 1). Let y = w + 5. Let d(j) = 67*j - 5. Is d(y) prime?
True
Let u = -44 + 105. Let r = u - -6. Is r composite?
False
Let p be (-1)/(-1)*(-3 + 7). Let y(g) = 18*g - 5. Is y(p) composite?
False
Let k be (-1)/(-2) + (-17)/(-2). Let i be -3 - (1 + 6/(-3)). Is (k - 2) + (-3 - i) prime?
False
Let p = -28 - -131. Is p a prime number?
True
Let n be (-2)/12 - 5046/(-36). Is (n/30)/((-2)/(-15)) a prime number?
False
Suppose -2*v = -190 - 76. Is v a composite number?
True
Let b(i) = 15*i + 6. Suppose 4 = -5*x + 2*x - 5*q, -4*x + 38 = -2*q. Is b(x) composite?
True
Suppose -129 = -