et j = t - -110. Is j prime?
False
Let n = -27 + 40. Let p = 41 + n. Suppose i - p = -y - 3*y, 2*i = y - 18. Is y composite?
True
Let g = 45 - -146. Suppose t = -0*t + g. Is t prime?
True
Let w(n) = 3*n**2 - n - 6. Let r be w(5). Suppose -p = -5*l - r, -2*l + 3*l + 119 = 2*p. Is p a composite number?
False
Let w be ((-3)/5)/(2/(-10)). Suppose -2 = w*a + 4. Is (4/a - -3)*57 prime?
False
Let h = 8 + -4. Suppose 0*k + 21 = 5*g - 2*k, 2*g - 2 = h*k. Suppose 3*t + 194 = g*t. Is t prime?
True
Let u(z) = -91*z + 20. Is u(-9) prime?
True
Let v(f) = -f - 7 - 4*f + 0*f + 2*f. Is v(-7) composite?
True
Let i(r) = -r**3 + 8*r**2 - 7*r + 2. Let q be i(7). Suppose 0 = -q*p - 2*p + 508. Is p a composite number?
False
Let y = -846 + 1427. Is y a prime number?
False
Is (1/(-3))/((-4)/636) a composite number?
False
Suppose -4*x - 2*c - 19 = 13, 3*x + 4*c = -14. Is (-2)/x - (-384)/5 a prime number?
False
Let d = -3 + 3. Is 17 + (2 + d)*-1 prime?
False
Let s(t) = -t + 8. Let i be s(0). Suppose -3*h = h - i. Suppose -c - h*c + 159 = 0. Is c composite?
False
Let z = -8 - -11. Is (1968/z)/4 + -1 prime?
True
Suppose -g = -6*g + 1525. Is g prime?
False
Let g be 187 - ((-7 - -2) + 1). Suppose -2*h + 0*u + 3*u = -382, h - g = -5*u. Is h prime?
True
Suppose 7*f - 275 = 2*f. Is f composite?
True
Suppose 0 = -3*n + 54 + 123. Is n a composite number?
False
Suppose v + v = 0. Suppose 0 = -2*h - 6, 2*c + v*c = -2*h + 16. Let b = 46 - c. Is b composite?
True
Let q(u) = 6*u**2 + 3*u - 4. Let d be (1 + 0)/((-1)/(-3)). Is q(d) prime?
True
Let u = 613 + -234. Is u a composite number?
False
Suppose 3*g - 1163 = -5*k, 0*g + 12 = -3*g. Suppose 0 = -4*x + 5 + 3. Suppose -53 = x*c - k. Is c a prime number?
False
Suppose 0 = z - 5*z + 2*n - 138, -z - 57 = 4*n. Let u = -48 - -104. Let l = u + z. Is l a prime number?
True
Let o(k) = k**2 + 5*k - 9. Is o(-8) prime?
False
Suppose 4*f = -5*l + 138, -3*f + 2*l = -2*f - 28. Suppose 5*q + j = 230, -2*q + j = -f - 60. Is q composite?
True
Suppose 2*v - 2 = 22. Let n(r) = r**3 - 12*r**2 + 16*r + 11. Is n(v) a prime number?
False
Suppose 30 = 3*o + 4*f + 4, 12 = o + 2*f. Suppose 3*c = p - 151, 3*c = p - o*p + 139. Is p a prime number?
False
Let c(h) = h**2 + 3*h. Let o be c(-4). Let f be (48 + 2)*8/5. Suppose -o*x + x - f = -4*v, -v = -4*x - 7. Is v prime?
True
Let y(g) = g**3 + 6*g**2 - 6*g - 3. Suppose 6*r = 3*r - 12. Is y(r) prime?
True
Let i = -5 - -5. Suppose -3*d - 2*s + 488 = i, -3*d + 133 = 3*s - 359. Suppose 5*g = -4*w + w + d, -4*g = -3*w - 155. Is g composite?
True
Is (5 - (-4257)/(-12))*-4 prime?
True
Suppose -432 = -2*q + 6*q - 4*n, 2*q = n - 217. Let k = 232 + q. Is k composite?
True
Suppose -13 = -4*i + 7. Suppose -5*a = i*t - 455, 2*a - t - 3*t - 170 = 0. Is a composite?
False
Suppose -2796 = -5*h + 2534. Suppose m + 3*f - h = -3*m, -5*f = 3*m - 805. Is m prime?
False
Suppose -12*r = -17*r + 7190. Is r composite?
True
Suppose 6 = -3*l - 5*r - 1, r = -2*l. Is (-3 + -86)*(-2 + l) composite?
False
Let f(b) = -21*b - 9. Let s(l) = -10*l - 4. Let p(a) = -3*f(a) + 7*s(a). Let h(r) = -8*r - 1. Let i(o) = 6*h(o) - 7*p(o). Is i(6) a prime number?
True
Let r = 1314 + -407. Is r a composite number?
False
Suppose -a - 212 = -3*a. Is a prime?
False
Suppose o + 3*o = 5*m, -m = -4*o. Suppose o = -2*t - r + 257, -t + 0*t + 121 = -2*r. Is t a composite number?
False
Let l(m) = m**3 - 13*m**2 - 13*m - 12. Let s be l(14). Let d be 0/1 - 1*-5. Suppose 179 = s*o + p, -111 = -o + d*p - 27. Is o a composite number?
False
Suppose -4*z = -0*z - 5*q - 9852, 2*q - 9824 = -4*z. Is z prime?
False
Let t be 6/(-9) + 3437/21. Let b be 283 + -1 + 0/2. Let z = b - t. Is z a composite number?
True
Let i = 166 - 63. Is i composite?
False
Suppose 5 = 5*u + 3*t, 3*u - u + 5*t + 17 = 0. Suppose 0*a - 5*z - 1024 = -u*a, 0 = 4*a + z - 1000. Is a composite?
False
Let n(u) = 2*u + 191. Is n(0) a composite number?
False
Let a be (-2 - -3*1) + 7. Let u(g) = -g**3 - 7*g**2 + 4. Let j be u(-7). Is 239/j - 6/a composite?
False
Let b be 1 + 2 + -3 + 142. Suppose d + 18 - b = 0. Suppose -2*k + 350 = d. Is k prime?
True
Suppose 698 = 2*b - 636. Is b a prime number?
False
Let v = 4688 + -6665. Let c = 3118 + v. Is c composite?
True
Suppose -2*p - 2*d + 4 = 14, 5*d + 20 = 0. Let i be p*(-2 - 2*-32). Let v = 193 + i. Is v a composite number?
False
Let k = 32 - -59. Is k composite?
True
Let g = 379 - -1954. Is g prime?
True
Suppose -3*l + 4*x = 2, l + 5*x = 1 + 11. Let b(h) = -2*h**l + h + 0*h**2 + 3*h**2 + 37 - h**3 - 2*h. Is b(0) a composite number?
False
Suppose 0 = i - 4*i + 6, -c + 4 = -2*i. Suppose u + 5*p - 103 - 68 = 0, -4*p + c = 0. Is u a composite number?
True
Let n(o) = 49*o**2 + 160*o**2 - 7 + 7. Is n(-1) composite?
True
Let x(l) = 44*l**2 + 9*l + 5. Is x(-4) prime?
True
Suppose -5*g = -5*j + 30, -22 = -j - 4*j + 3*g. Suppose 3*z + 0*z = j*c - 976, 4*c + 1000 = -3*z. Is (-2 - -1) + z/(-2) prime?
True
Let x(c) = -12*c + 5. Is x(-4) a prime number?
True
Let d(l) = 6*l**2 + 2*l - 1. Let j be d(1). Let n(m) = -m - 3*m + 6 - 2*m + m**2. Is n(j) a prime number?
True
Suppose -x + 0*x = -677. Is x a composite number?
False
Let i(v) = 46*v - 15. Is i(13) composite?
True
Suppose -3*d = 2*b - 2673, -2661 = -3*d - 0*b + 2*b. Is d prime?
False
Let c(b) = 8*b**2 - 7*b - 2. Let a = 9 - 4. Is c(a) composite?
False
Let n be (-15)/(-2)*(-192)/18. Let g = n + 201. Is g composite?
True
Suppose 4*b - 33 = -3*o, 10 = 2*o + 5*b - 5. Is o composite?
True
Let l be (0 + (-1 - 5))*-1. Let v(n) = n**3 - 7*n**2 + 6*n + 2. Let z be v(l). Suppose -z*y - 3*y = -245. Is y a composite number?
True
Let l(v) = -2*v - 10. Let q be l(-8). Let r be (191/(-2))/(3/q). Is (r/(-3))/(1/3) prime?
True
Let j = -6 + 8. Suppose j*h - 39 + 1 = 2*l, 4*l - 39 = -h. Is h a prime number?
True
Let p(r) = 40*r**3 + r**2 + 4*r - 3. Is p(2) composite?
True
Suppose 5*s = -5*d + 995, -246 - 152 = -2*d + 3*s. Is d composite?
False
Let a(o) be the third derivative of o**4/6 + 11*o**3/6 - 4*o**2. Is a(8) composite?
False
Let o = 223 - 145. Suppose -3*h = -5*h + o. Is h a composite number?
True
Let v(p) be the second derivative of -p**5/4 + p**4/12 - p**2/2 + 2*p. Let j be v(-1). Suppose -j*i + 251 = -0*i - 3*l, 2*i = -2*l + 94. Is i a prime number?
False
Let g = 12 - 10. Suppose 0 = -3*z - c + 535, g*z - 356 = c - 2*c. Is z prime?
True
Let d = 1091 - 779. Suppose 0 = 4*k + 4, 0 = 4*l - 2*k - 2*k - d. Is l composite?
True
Suppose j = s - 0*j - 10, -5*s + 55 = -4*j. Is (s/6 + -3)*-410 a prime number?
False
Let v be 1/(3 - (-16)/(-6)). Suppose -4*u + 74 = 5*h, -v*u = -2*h - u + 26. Is h composite?
True
Let k be ((-4716)/(-15))/(1/(-5)). Is ((-2)/(-3))/((-8)/k) a composite number?
False
Suppose z - 10 = 6*z. Let p = -1 - z. Is p + 4/(-2) - -56 prime?
False
Let g be 3 + -3 - (2 + -2). Suppose b + 17 + 14 = g. Let m = b - -80. Is m prime?
False
Suppose m - 170 = -2*k + 21, -206 = -2*k + 4*m. Is k composite?
False
Is 2/3 - 31620/(-36) a prime number?
False
Is (-12530)/(-42) - (-2)/3 prime?
False
Suppose 0 = 2*j - 5*j + 2838. Suppose m + 238 = x, -4*x + m = -m - j. Is x prime?
False
Let x be 0 + (4 + -2)*-1. Let c(g) = -74*g - 5. Is c(x) prime?
False
Let o(z) = -2*z**3 - 11*z**2 - 8*z + 7. Let t be o(-7). Suppose 5*u - t = 35. Is u a prime number?
False
Is (0 + 2)/(8/348) prime?
False
Let k be (-30)/4*10/(-15). Suppose 2*u + k = 13. Suppose i - u = -0*i. Is i composite?
True
Let w(b) = -b**2 - 8*b. Let s be w(-8). Suppose s*q = 4*q - 136. Is q composite?
True
Let g = 756 - -355. Is g a prime number?
False
Suppose 0*m = 5*m + 2330. Let d be 0 + (-1)/((-2)/m). Let o = 352 + d. Is o prime?
False
Let b(x) = 34*x**2 - x + 1. Is b(-2) a prime number?
True
Let t(c) = -3*c**2 + 13*c**3 - 8 + c + 4 - 2*c. Is t(3) a composite number?
False
Let u(y) = -6 + y + 1 - 5*y - 4. Is u(-6) a prime number?
False
Let r = -8665 - -12374. Is r prime?
True
Suppose 0 = -0*k + 2*k + 310. Let l = 111 - -127. Let d = l + k. Is d a composite number?
False
Let w(r) = 85*r**2 + 3*r + 2. Is w(-3) a composite number?
True
Let x(h) be the third derivative of h**5/6 - 11*h**4/24 + h**3 - 3*h**2. Is x(7) prime?
True
Let p(a) = -63*a - 14. Is p(-11) a prime number?
False
Let g be -1 + 1 + 13*59. Suppose -5*t + 2*s + g = 0, -2*t = -s - 150 - 156. Suppose 2*f - t = d, -3*d = 