ose -f*s - 142 = -2*q, 0*s - 69 = -q + 2*s. Is q composite?
True
Suppose -2*o + 6 + 8 = 0. Suppose o = m - 46. Is m composite?
False
Let a(q) = 5*q**3 + 3*q**2 + 4*q + 3. Let t be a(-2). Let o = t + 100. Is o a composite number?
False
Let l be (214/(-4))/((-4)/56). Suppose 5*m = 756 + l. Is m composite?
True
Suppose 4*r + 4*u - 36 = 3*u, 2*u = -r + 16. Suppose 6*c - 2*c = r. Suppose 0 = -2*o - 5*a + 37, -o = c*o + a - 36. Is o a composite number?
False
Let a = 12 + -10. Suppose i - 57 = -a*i. Is i composite?
False
Let s(j) = -j**2 + 3. Let i be s(0). Suppose -i*b - b = 76. Is b/(1*2/(-2)) prime?
True
Suppose 0*x + 5*x = 10. Let s be (-2 - 275/x)*-2. Suppose 3*q = 2*w + 261, 5*w - w - s = -3*q. Is q a prime number?
True
Let j = 3403 - 2042. Is j prime?
True
Let t(j) be the second derivative of j**4/4 - j**3 - 3*j**2 - 2*j. Let w be t(-4). Suppose -3*h + w = -81. Is h prime?
False
Let r = 61 + -23. Let g = 222 - r. Suppose -3*b + 95 = -4*z, -5*b + 13 + g = 3*z. Is b a prime number?
True
Let r = 11 - 6. Suppose -3*j + r - 170 = 0. Is j/2*(-4 - -2) composite?
True
Suppose -8*c = -3228 - 3164. Is c composite?
True
Let j(r) = 279*r**3 - 2*r + 1. Let t be j(1). Suppose 3*x + t = 5*x. Is x composite?
False
Suppose 0 = 4*p - g + 8, p = -0*p - 2*g - 11. Let k(u) = -23*u - 4. Is k(p) a prime number?
False
Suppose 4*m + 3*k = 12, -2*m - 1 = k - 5. Suppose 5*o + 2*f - 2189 = 0, m = -2*o - o - 5*f + 1321. Is o/4 - 2/8 composite?
False
Suppose -4*h + 5*c + 22 = -799, -214 = -h + 3*c. Is h a composite number?
False
Suppose -4*r + m + 338 = 0, -5*m = 5*r + 50 - 460. Suppose -3*x + 4*x = -3*q - 18, -5*x + 2*q - 5 = 0. Is -3 + (-2)/x*r prime?
True
Is ((-1)/2)/(3 - (-32615)/(-10870)) composite?
False
Let t = -3 + 0. Let i be (-1)/t - 2/6. Suppose 5*r - b - 71 = i, 3*r - 4*b + 24 = 5*r. Is r prime?
False
Suppose k - 2035 = -2*h + 5642, 5*k = h + 38396. Is k a prime number?
False
Suppose 6*y = 7*y - 439. Is y a composite number?
False
Suppose 3587 = 4*u + 5*d, -4*u = d - 1786 - 1789. Is u a composite number?
True
Let n = 511 + -307. Let d = -38 + -83. Let i = d + n. Is i a prime number?
True
Let r(x) = x**3 + 5*x**2 + x + 5. Let i be r(-5). Suppose -2*d + 178 = -i*d. Is d a prime number?
True
Is ((-879)/(0 - 3))/1 composite?
False
Let i = 31 - 22. Let h = -7 + i. Is h*(0 - (-38)/4) prime?
True
Suppose -2*g - g = -75. Suppose -4*j - 5*k = -g, -3*j + 5*k + 10 = 35. Suppose -c - c + 70 = j. Is c a prime number?
False
Suppose 4945 = 5*s - g, -3*s = -5*g + 567 - 3534. Suppose -3*d + 2*t + s = 0, -3*d - t + 328 = -2*d. Is d composite?
True
Let n(q) = q**2 + 12*q + 13. Let v be n(-11). Is ((-7)/3 + v)*-573 composite?
False
Suppose 2*t = -4*u + 22, 0 = -4*t - 0*t + 2*u + 14. Let d be 192/t - (-6)/(-15). Suppose -y = 3*b - d - 359, 135 = b - y. Is b a composite number?
True
Let z(h) = -h**2 + 2*h + 5. Let u be z(5). Let j = u - -18. Suppose -b + j = 2. Is b composite?
True
Let b = 1111 + -657. Is b a prime number?
False
Let k(y) = 17*y - 13. Is k(4) a composite number?
True
Suppose -3*i - 13 = 4*g + 2*i, 5*i = -2*g + 1. Let b be (-271)/g - 4/(-14). Suppose -5*x - u = -b, 2*x - 3*x - 5*u = -27. Is x a composite number?
False
Let k = 48 + 251. Is k a composite number?
True
Let y(l) = 3*l**2 + 4*l - 4. Suppose 7*s = 2*s + 15. Let i be (1 - 6)/(2 - s). Is y(i) a prime number?
False
Let t(u) be the first derivative of 2*u**3/3 - 5*u**2/2 - 2*u + 4. Suppose 3*d - 10 = 2. Is t(d) a prime number?
False
Suppose g - 42 = -2*g. Is g prime?
False
Let c(z) = -5*z**2 + 3*z - 3. Let y be c(-3). Let p = -128 - -220. Let t = p + y. Is t composite?
True
Let d = -1 - -1. Suppose d*z + 229 = 3*z + 5*a, 0 = 5*z + 3*a - 403. Is z prime?
True
Suppose 0*f - 180 = -f. Let j = f - 21. Suppose 2*m - j = -m. Is m composite?
False
Let w(p) = -p**3 - 9*p**2 + 3. Let d be w(-9). Suppose -d = -2*f + f. Is f composite?
False
Suppose -2*w - 3*w + 453 = 3*n, -5*n = 2*w - 774. Suppose 5*j = 3*j + 2*x + 72, 5*j + 3*x - n = 0. Is j a composite number?
True
Suppose 3*x - 196 = -31. Is x composite?
True
Let s = 33 - 2. Is s a prime number?
True
Suppose 11*m - 360 = 619. Is m prime?
True
Let y(j) = 12*j**2 - 7*j + 2. Is y(5) a prime number?
False
Let w(d) = 101*d - 16. Let p = -7 + 14. Is w(p) prime?
True
Suppose k + 5*y = -26, 1 = -2*k + 4*y + 5. Is (-136)/(-6) - 2/k prime?
True
Let l = 597 + 462. Is l prime?
False
Suppose 0 = -2*y + u - 4, 5*u - 6*u - 2 = y. Is 48/(y/(-1)) - -1 a prime number?
False
Let f = -3 - 1. Let a(l) = -l - 4. Let j be a(f). Suppose 3*u = 12, j = c + 2*c - 5*u + 11. Is c a prime number?
True
Let x(g) = -3*g + 3 + 4*g - 3*g**2 + 6*g**3 - 5*g**3. Let h(l) = 3*l + 1. Let t be h(1). Is x(t) prime?
True
Is 1/(2/4568*4) prime?
True
Let g(m) = -20*m - 1. Let y be g(-2). Suppose 5*f - 2*f = -2*z + 113, -5*z = f - 55. Suppose y + f = 2*j. Is j prime?
True
Suppose -2*j = -5*k + 4 - 13, -5*k - 2 = -j. Suppose -j*q + 3*q = -1492. Is q a prime number?
True
Let w = 13 - 3. Suppose -741 = w*o - 13*o. Is o composite?
True
Let p = -74 - -201. Is p a prime number?
True
Let g(v) = v**3 - 5*v + 9. Is g(4) composite?
False
Suppose 21 = -5*o + 4*v, 0 = 3*o - 3*v + 4 + 8. Let s(b) = -b**2 - 5*b - 3. Let m(u) = -2*u**2 - 10*u - 5. Let h(f) = 3*m(f) - 7*s(f). Is h(o) a prime number?
False
Let g(o) = 5*o**2 - 4*o**2 - 3*o**2 + o + 3*o**2. Let b be g(-1). Suppose b*p = 3*p - 33. Is p composite?
False
Suppose -438 = -2*d + 676. Is d a composite number?
False
Let r(o) = 3*o**2 + 2*o. Let b(y) = -1. Let d(h) = -4*b(h) + r(h). Is d(5) composite?
False
Let r(q) = q + 3. Let o be r(0). Suppose 2*a + 3*h = 29, -3*h = o*a + h - 43. Is a prime?
True
Let y(p) = 13*p + 0*p + 8*p + 6 + 6*p. Is y(5) prime?
False
Let a(z) = 5*z**3 - 3*z**2 - 9*z + 9. Let t be a(6). Let o be (-2)/(-10) + t/15. Suppose -o = -m - 0*c + c, -m + 70 = -3*c. Is m composite?
True
Is (-9)/(-3)*37/3 a composite number?
False
Let r be -1 - (2 + (1 - 2)). Let z be (-1 + -6)*(r - -3). Let y(l) = l**3 + 7*l**2 - 4*l - 6. Is y(z) a composite number?
True
Let v(n) = -n**2 + 3*n. Let g be v(6). Is (434/(-21))/(4/g) composite?
True
Let f(r) = 720*r - 1. Is f(7) composite?
False
Let f be 1 + -1 + 0 + 2. Suppose -7*q = -f*q - 935. Is q a composite number?
True
Let q(z) = -5*z. Let s be q(-5). Let t(m) = m**3 - 6*m**2 + 2*m - 3. Let i be t(5). Let h = i + s. Is h composite?
False
Suppose 0*l + 3*l = -54. Is (4/6)/((-2)/l) a prime number?
False
Is ((-6)/9)/((-4)/186) a prime number?
True
Is (6252/(-12))/(-2 - -1) a prime number?
True
Let l = -14 - -18. Suppose -l*q = 2*q - 390. Is q composite?
True
Is (-175)/(-3) + (-4)/12 a composite number?
True
Let o be (-323)/(-5) + 8/20. Suppose 0 = c + t - 59, o = c + 3*t - 4*t. Is c a prime number?
False
Let i(y) = -y + 9. Let q be 9 + 3/((-9)/6). Is i(q) prime?
True
Let q = -60 - -131. Is q prime?
True
Let b(k) = 6*k**2 + 4. Let a = 7 + -10. Let t be (0 + 1/a)*-9. Is b(t) composite?
True
Suppose 0*q - 4*q - 36 = 0. Is (-417)/q + 6/9 composite?
False
Is ((-44272)/(-14) - -1) + 24/(-84) a composite number?
False
Is 6/(-3) + (188 - -5) a composite number?
False
Suppose 0*u - 2*u = -1174. Is u composite?
False
Let s(p) = p. Suppose y + 0 + 3 = -l, 5*l = -3*y - 11. Let u be s(l). Is (0 - u)/(1/7) prime?
True
Suppose -z - 870 = -7*z. Is z prime?
False
Let d(t) = -12*t + 1. Let o(k) = -k**3 + 2*k**2 - k - 1. Let m be o(2). Is d(m) composite?
False
Suppose 0*s = -2*s + 154. Is s a prime number?
False
Let s be 15/(-24)*2*-4. Suppose 0*c - s*c = -345. Is c prime?
False
Is 4827/27 - 12/(-54) a composite number?
False
Let c be 4/7 - (-310)/70. Suppose -708 = -c*j + 97. Is j a composite number?
True
Let c = 13 - 13. Suppose 5*f = -c*f + 395. Is f a composite number?
False
Let c = -43 - -418. Let n = c + -230. Is n a prime number?
False
Let s(d) = 22*d**2 - d + 1. Let i be s(3). Suppose i = o - 5*o. Let c = o + 108. Is c a prime number?
True
Suppose 0 = 5*g, q = -2*q - g. Is q + 13*(-1 + 3) composite?
True
Suppose -2*c - 407 = 625. Is (7/4)/((-3)/c) a prime number?
False
Suppose 0 = -4*k - 2*d + 1412, -3*k + 2*k + 353 = 2*d. Is k a composite number?
False
Suppose -295 = -2*n + 59. Is n a composite number?
True
Let c = -443 + 2082. Is c a prime number?
False
Let v = 1164 - 437. Is v - (16/(-1))/(-4) a composite number?
True
Suppose 0 =