e -i = z - 32 - 43, -2*i + 142 = -2*z. Suppose -2*r - 3*f + 39 = 0, 2*f - f - i = -4*r. Is 1*(r - (1 + -2)) prime?
True
Let h(a) = 117*a**3 + a**2 - a - 1. Is h(2) prime?
True
Let i be (188/(-12))/((-1)/3). Let o = 68 - i. Is o composite?
True
Suppose -3 = -v, -3*w + v = -4 - 23. Let j be -3 - 2/(-4)*w. Suppose c - j*c + 19 = n, -c - 6 = -4*n. Is c prime?
False
Suppose 2*p - 2*d = 8, -2*p - 2*d + 7 = 3. Suppose 3*n + n - 42 = -5*c, -p*c - 4*n = -30. Is c - 0 - (-1 + 1) prime?
False
Let z(v) = -36*v + 2. Let l be z(-2). Let m = -41 + l. Is m prime?
False
Let r be 306/11 + 4/22. Let z = 49 - r. Is z a composite number?
True
Suppose -2*u = -2*g - 8 - 0, -3*u + 4*g = -14. Suppose -2*k - 2 + 20 = 0. Suppose -k = -u*m + 115. Is m a prime number?
False
Suppose 13*g - 10*g - 30 = 0. Is g a prime number?
False
Is 2 + 0/(-4 - 0) + 1355 composite?
True
Let r(g) = 2*g + 3. Let s(h) = -h**3 - h - 184. Let d be s(0). Let t be d/(-32) + 1/4. Is r(t) composite?
True
Suppose -2097 - 9766 = -x. Is x a composite number?
False
Let o be (-15)/(3/12 + -1). Suppose -18 = -2*x + o. Is x a prime number?
True
Is (-4)/(-6) - (-2225)/15 a composite number?
False
Let l(w) = -47*w. Let m(x) = x**3 + 6*x**2 - 6*x + 5. Let t be m(-7). Let c be (-2)/t*(-2)/2. Is l(c) a composite number?
False
Suppose 117 = b - 57. Suppose 2*m + m = b. Is m a prime number?
False
Suppose -27 = -g - 2*g. Let h = -3 + g. Is h prime?
False
Let p be 0 + 65 + -1 + -1. Suppose m + 2*m = p. Is m a composite number?
True
Suppose -3*o + 1076 = 2*b - 7*b, 2*o + 2*b = 696. Suppose s = 5*k - 880, k - s = -k + o. Let n = k - 79. Is n composite?
False
Suppose -n - 178 - 597 = -3*k, 4*k - 3*n - 1030 = 0. Is k a composite number?
True
Suppose 4*c - 4*x = x + 9288, 2*x = 4*c - 9276. Is c composite?
True
Let j = 3 - 1. Suppose -4*d = -26 - j. Is d prime?
True
Let v(z) be the first derivative of 15*z + 0*z**2 + 1/4*z**4 - 1/3*z**3 + 1. Is v(0) composite?
True
Is (2 + (1531 - 2))*1/1 composite?
False
Is (-64216)/(-120) + (-2)/15 prime?
False
Let q = -5 - -3. Let w = q + 24. Is w prime?
False
Suppose -11*k + 1196 = 349. Is k a prime number?
False
Let t(d) = -7*d**2 - 4*d - 1. Let g be t(4). Let y = g + 618. Is y a prime number?
False
Suppose 4 = 3*v - 5*v. Let j(x) = x**2 + 3*x - 9. Let n(m) = 2*m**2 + 7*m - 19. Let q(l) = 13*j(l) - 6*n(l). Is q(v) a composite number?
False
Let f(i) = -2*i**3 + 5*i**2 + 3*i - 3. Let a be f(-4). Suppose 0 = 3*o - 0*o + m - 286, -2*o - 3*m + a = 0. Is o a composite number?
True
Suppose 12*o - 2219 = 5*o. Is o prime?
True
Suppose 1076 + 1618 = 6*p. Is p prime?
True
Let w = 2161 + -1379. Let z = w - 495. Is z a prime number?
False
Suppose -78 = -3*g + 4*a, 5*g + 3*a - 5*a - 144 = 0. Suppose -d + 92 - g = 0. Is d composite?
True
Let w(g) = 5*g + 9. Let l be w(6). Suppose -p + 2*p - 5*z = l, -61 = -4*p + z. Is p a prime number?
False
Is -844*((-5)/(-1))/(-20) prime?
True
Suppose 3*m - 2632 = -5*o + 72, 4*m + 527 = o. Suppose 2*l - o = 63. Is l a composite number?
True
Let h = 6 - 11. Is (-6)/10 + (-78)/h composite?
True
Suppose 0 = -2*k + 222 - 736. Let v = k - -506. Is v a composite number?
True
Suppose -6*x - 501 + 11691 = 0. Is x composite?
True
Let y = -10 - 2. Let r = y - -14. Is r prime?
True
Let o be 4/(-10) + 2/5. Suppose -5*j - l = -o - 2, 3*j = -l + 2. Suppose s + s - 38 = j. Is s composite?
False
Suppose -s - 4*s = -1285. Is s prime?
True
Suppose -4*k + 7 = -5. Suppose -k*n + 2*n = -1. Is 2 - 442/((-2)/n) a prime number?
True
Is (-6)/(-27) - (-2656)/36 composite?
True
Suppose -4*d + 4984 = 132. Is d a composite number?
False
Suppose 3*c = 2601 + 1932. Is c a composite number?
False
Suppose -4674 = -7*y + y. Is y prime?
False
Is (1 - 3 - 76040/(-20)) + 3 a prime number?
True
Suppose -4*y + 1510 = 3*r, 877 + 1008 = 5*y + 5*r. Is y composite?
False
Suppose 0 = 4*x - 2*x - 1994. Let o = x + -665. Suppose 0 = -r - 3*r + o. Is r a composite number?
False
Is -3 - 18/(-5) - 2346/(-15) composite?
False
Suppose 0 = -4*g + g + 12. Let z = g + 0. Suppose 4*w - t - 2*t = 127, -3*w + z*t = -97. Is w a prime number?
True
Suppose 0 = -5*o + 4*o + 5. Suppose -3*v = -o*v + 86. Is v composite?
False
Suppose 0 = 4*f - o + 95, 0*f = 4*f - 3*o + 85. Let h = 143 + f. Is h prime?
False
Let f(p) = -34*p - 1. Is f(-2) a prime number?
True
Let i be (-2 - 12)*82/4. Let r be (-1)/(-5) + i/35. Is ((-326)/(-4))/(r/(-16)) a prime number?
True
Let z(f) be the second derivative of -f**5/20 + 7*f**4/6 - 2*f**3 + 5*f**2/2 - 4*f. Is z(12) prime?
True
Suppose 2*v - 87 = -3*r - v, -5*v + 85 = 3*r. Let q be -6*((-15)/(-6))/(-5). Is r/(-8)*(-8)/q prime?
False
Let j be (2 - 1) + (-6)/(-3). Let s = j + 2. Let i(y) = 14*y - 3. Is i(s) a prime number?
True
Let k = -64 + 185. Is k a composite number?
True
Suppose -12 = 5*g + 8, r - 515 = 4*g. Is r composite?
False
Let b(n) = -20*n**2 + n. Suppose 4*q - 3*q = 0, -5*q = u + 1. Let h be b(u). Let y = h - -34. Is y a prime number?
True
Let w be (-6)/14 - (-4380)/28. Is (-1)/(-3) + w/18 prime?
False
Suppose 5*m - 15779 = -2424. Is m a composite number?
False
Let p(k) = -k - 1. Let f be p(-5). Let s(w) = -11 - 4*w**2 + f*w**2 + 5*w**2 + 4*w**2 - w**3 - 2*w. Is s(8) prime?
True
Let c = -687 - -190. Let i = c + 748. Is i a prime number?
True
Suppose -4*l = -2*y + 12, 0 = -3*y - 0*l + 4*l + 14. Suppose 0 = -2*x - y*h - 4, x + 6 = -2*h - 0. Is x a composite number?
False
Suppose 9*j - 4*x = 4*j + 1037, j + x - 211 = 0. Suppose 0 = 5*k - j - 1466. Is k composite?
True
Suppose -x - 2 = -4. Let y be x - (-1 - -3)/1. Suppose y = -2*s + 3*s - 5*u - 42, 5*s - u - 186 = 0. Is s a composite number?
False
Suppose -2*v = -4*i + 2520, -4*v + 4 + 4 = 0. Is i prime?
True
Let y(o) = o**3 + 12*o**2 - 14*o - 7. Is y(-6) a composite number?
False
Suppose 1930 = 3*i - 44. Let d = 320 - i. Let r = -225 - d. Is r prime?
True
Let x(k) = -k**3 - 4*k**2 - 3*k. Let u be x(-3). Suppose -c = 4*i - u*i - 6, 4*i = -3*c + 10. Suppose -3*f + c*f + 19 = 0. Is f prime?
True
Let u(g) be the first derivative of 3*g**2 - 3*g + 2. Let i(j) = j**2 - 5*j + 7. Let h be i(5). Is u(h) a composite number?
True
Suppose -5*p + b = -346, -2*p - 5*b = -2*b - 135. Is p a prime number?
False
Let k be (-4)/3 + (-2)/(-6). Suppose 0 = 2*m - 4*m. Is 0 - (-26 + (m - k)) a composite number?
True
Let j be 387/6 + (-1)/2. Suppose -4*z - j = -340. Is z composite?
True
Suppose -2*f = -2*o - 6, o - 5 = -2*f - f. Let b = -1 - o. Is b - -1 - 4 - -26 a prime number?
True
Let l(w) = 11*w**2 + 7*w + 9. Let c be l(6). Suppose 5*z - 745 = 5*q, 2*z + z + 5*q - c = 0. Is z prime?
True
Suppose 1106 + 162 = 4*b. Is b composite?
False
Let j(h) = -h**3 - h**2 - 13*h - 4. Is j(-7) prime?
False
Suppose 2*q = -q - a + 662, -4*a + 659 = 3*q. Is q prime?
False
Let y be 10/(-40) + 2/8. Let t be (-1 - y/(-3))*-45. Let w = t - -1. Is w a prime number?
False
Let w(i) = i**3 + 2*i**2 - 15*i - 23. Is w(14) a prime number?
True
Suppose 6 = -2*h - 2*g, 0*h + 5*h + 2*g + 6 = 0. Suppose 2*d = -h*d - 2. Is 7/(d - (-6)/4) composite?
True
Suppose 1547 - 67 = 8*i. Is i a prime number?
False
Suppose 4*u + 8820 = 4*x, -2193 = -x - u - 4*u. Is x a composite number?
False
Is (-5245)/(-20) + 1/(-4) a composite number?
True
Let w = 2 - 2. Let z(p) = -20*p - 3 + 3 + w - 1. Is z(-1) prime?
True
Let z(n) = -2*n**2 + 2*n**2 + 3*n + 10*n**2 - 5 + n**3. Is z(-9) a composite number?
True
Let v = -1685 + 6106. Is v a composite number?
False
Suppose -5 + 1 = 2*f. Let h = f + 5. Suppose h*u - 7*u = -212. Is u a prime number?
True
Suppose 4*h = 2*q + 2*q - 10164, 0 = -3*q - 3*h + 7635. Is q prime?
True
Suppose 11511 = -4*m - 0*f + 5*f, 15 = 5*f. Is 6/(-15) + m/(-10) a prime number?
False
Suppose 2*b - 2523 = 2*d - 7*d, -3*d + 1521 = 3*b. Is d composite?
False
Is 5264/6 - ((-70)/15 - -5) a prime number?
True
Let o(y) = 2*y + 265. Is o(0) composite?
True
Let n(g) = g**3 + g**2 + 10135. Is n(0) composite?
True
Suppose 164 = 2*t + 2*r - 154, -5*r = -5*t + 815. Is t a composite number?
True
Let t be 1*2*7/2. Let n(m) = 30*m + 13. Is n(t) a prime number?
True
Let s be 45/(-6)*(-4)/6. Suppose -4*m + 8 = 0, m - s*m - 2 = 5*q. Is q/6 + (-22)/(-3) a prime number?
True
Suppose -4*d + d - 183 = 0. Let g = 87 + d. Let j = g - 13. Is j prime?
True
Let t(r) = -r**2 + r + 1. Let q be t(6). Let i = 