o = -f + 376, -o - 1958 = -f - 4*f. Is f composite?
True
Suppose 2370 = h + 3*x, 6*h = 3*h - 5*x + 7098. Is h a composite number?
True
Suppose 3*p = -3*y + 48, -5*y + 97 = -3*p + 25. Let n be 1 + 1 + -4 + y. Suppose -152 = -4*x - 4*a, x - 2*a = 2*a + n. Is x composite?
True
Let j(r) = r**3 + 4*r**2 - r - 3. Let w be j(-4). Let g be 1 + 1 + (3 - 5) - 3. Is (g/w)/(3/(-7)) composite?
False
Suppose -3 = p - 7. Suppose -5*s = -2*t - 15, -4*s + p + 8 = 0. Suppose i - 48 = -v, 5*i = -2*v - t*v + 243. Is i composite?
True
Suppose 0 = -4*t + t + 480. Suppose 101 = 5*r - 2*u - t, 2*r - 96 = 5*u. Is r prime?
True
Let t be (1 - -2)*1/1. Let y be 2/t + 338/6. Suppose 5*b + 2*u = y, -u + 1 = 5. Is b a prime number?
True
Suppose -2324 = -7*s + 3*s. Is s a composite number?
True
Suppose -4*y + 2*w - 46 = 0, 2*y - y + 5*w - 5 = 0. Is (-6834)/y + 22/(-55) a prime number?
True
Suppose 5*u - 6315 = 4*k, -2*u = 2*k + 2*k - 2498. Is u prime?
True
Let i = -650 - -981. Is i composite?
False
Suppose 2*u + 20 = -4*n, 2*u + n + 25 = -4*n. Suppose z = -u*z + 4. Suppose z*b - 18 = 34. Is b a composite number?
False
Suppose 4*f - 216 - 136 = 0. Suppose 3*t - f = 11. Is t composite?
True
Let q(s) = 4*s**2 - 2*s**3 + 3*s**3 + 0*s**3 + 5. Let r be q(-4). Suppose 0 = -4*f + r*x + 122, -2*f + x = -36 - 28. Is f prime?
False
Let k(a) = -a**3 + 14*a**2 - 13*a + 3. Let g be k(13). Suppose -5*l = -g*l + n - 371, -2*n = 2*l - 372. Is l a prime number?
False
Suppose -2*v - 7 = o, 8*o - 3*o + 20 = -5*v. Let f(d) = -10*d**2 - 4*d - 3 + 15*d**2 + d. Is f(v) a prime number?
False
Suppose 3*x + 126 = 3*f, -2*x - 226 = 3*x + 3*f. Let m(c) = -c**3 - 9*c**2 + 4*c + 3. Let s be m(-10). Let y = s + x. Is y composite?
False
Suppose -4610 = -4*d + 3*c, 4*d + d = 4*c + 5763. Is d a composite number?
False
Let r(g) be the second derivative of -g**5/20 - 11*g**4/12 - g**3/2 - 7*g**2 + 3*g. Is r(-11) composite?
False
Let u(r) = 3*r**2 + 4*r + 3. Let b be u(-2). Let g = -3 + b. Suppose -165 = -g*x - x. Is x prime?
False
Let v = -4 - -4. Suppose v = -5*t - 4*g - 315, 2*g - 82 + 19 = t. Let c = -28 - t. Is c composite?
True
Let g be 20/6*18/5. Suppose -k + 79 - g = 0. Is k a composite number?
False
Let m = -1829 + 2680. Is m prime?
False
Let t be (1 + -27)*(-11 + 5). Suppose -2*c + t = -210. Suppose -2*x + 8*w - 3*w + c = 0, 0 = -4*x + 4*w + 336. Is x a composite number?
False
Let w be (9/3 - -2)*-2. Let q be (-40)/(-25) - 4/w. Suppose -q*s + s + 53 = 0. Is s composite?
False
Suppose -24233 = 22*h - 33*h. Is h prime?
True
Let c be (-2)/3*(-15)/10. Let l be 212*c*1/(-2). Let s = 183 + l. Is s composite?
True
Let u = -2 + -1. Is (1*u)/(3/(-51)) composite?
True
Suppose -3 = -f, 0 = 3*u + f - 140 + 26. Suppose -4*z = w - u, 7*w = 3*z + 2*w - 22. Let q = z + 12. Is q composite?
True
Let t(z) = -2*z**3 - 10*z**2 - 6*z + 7. Let x = -12 - -6. Is t(x) prime?
False
Let y = 50 - -14. Let j = 111 - y. Is j composite?
False
Let m(p) = -p**2 + 8*p - 10. Let f be m(4). Is (-1)/f + 6028/24 composite?
False
Suppose 2*d - 3*d = -4. Suppose d*k - 29 = -5*g, g - 2*k - 13 = -2*g. Suppose -5*s - 3*v + 180 = 2*v, -3*s + 68 = -g*v. Is s a composite number?
False
Let h(o) = o**3 - 3*o**2 - 5*o + 1. Suppose -3*t + 10 + 8 = 0. Is h(t) a composite number?
False
Suppose 6 = -5*j + 3*m, 2*j + 0*j - 4*m = 6. Is ((-51)/j - -2)*1 composite?
False
Let d be 7/((-21)/(-6)) - 1. Suppose -306 = -3*q - 3*m, 0 = -m - 0 - d. Is q a composite number?
False
Suppose 4*c + 5*b + 0*b = -47, 3*c = b - 21. Let m = c + 13. Suppose 4*n + 23 = z, 5*z - 4*n + m*n = 115. Is z prime?
True
Let h(u) = -2*u**2 + 31*u + 11. Is h(14) a composite number?
False
Let q(x) be the third derivative of 0 - 7/60*x**5 - 1/120*x**6 + 0*x - 2*x**2 + 1/6*x**3 + 1/6*x**4. Is q(-8) a prime number?
False
Suppose -2*u + 641 = -69. Is u composite?
True
Is 1/2 - 7740/(-24) a prime number?
False
Let y(n) = n**2 + 2*n - 3. Let d be y(2). Let p = d - 8. Is (p/9)/((-1)/381) a prime number?
True
Suppose -4*n + 43 = -105. Let l = n - -18. Is l a prime number?
False
Suppose 8 = m + 74. Let b = m + 155. Is b a composite number?
False
Suppose -2*h = -h - 7. Suppose -195 = -h*o + 2*o. Is o prime?
False
Suppose 622 = 4*s - 2*j, 0 = 2*s - 3*j + 6*j - 323. Is s prime?
True
Suppose -w + 1777 = -556. Is w prime?
True
Let b be (0 + -5)*(-1)/(-1). Let y be (-39)/(-15) - 2/b. Suppose 2*j - y*j + 111 = 2*c, -c + 234 = 2*j. Is j a composite number?
True
Let q(k) = -k**2 + 5*k - 1. Let f be q(3). Suppose f*i - 1309 = -t - 3*t, -t = -4*i - 343. Is t composite?
False
Let m(f) = 4*f**3 + 6*f + 3*f**3 - 7*f**2 - 3*f**3 - 3*f**3 + 7. Let p = 9 + -3. Is m(p) a prime number?
True
Suppose -w - 1012 = -5*w. Is w composite?
True
Let h(t) = t + 3. Let j = 6 - 14. Let s be h(j). Let x(m) = -8*m - 3. Is x(s) prime?
True
Suppose -2*q = -3*y - q + 212, -3*q = -2*y + 139. Is y composite?
False
Let r = -2667 + 4610. Is r composite?
True
Suppose 2*d - 1034 = -238. Suppose 3*s - d = -59. Is s a prime number?
True
Suppose -n = -q + 15, q - 3*q + 4*n + 32 = 0. Suppose 0 = -3*s + 4*t + 35 - q, 6 = 5*s + 3*t. Suppose 0 = s*o + 2*o - 75. Is o a prime number?
False
Let v(j) = -j - 3. Let h be v(-6). Let x(t) = 5*t. Let u be x(1). Suppose u = -h*q + 254. Is q a prime number?
True
Let s = 5595 - 1802. Is s prime?
True
Let k = -19 - -24. Suppose -575 = -3*a + d, -2*d - 386 = 3*a - k*a. Is a composite?
False
Suppose 4*c - 371 = -g, -2*g + 0*c + 712 = 2*c. Suppose 0 = 4*z - i - g, 4*z - 30 - 336 = -2*i. Is z a prime number?
True
Let c(w) = -15*w + 5. Let l be c(6). Let v = l + 170. Is v composite?
True
Suppose -3*g = -2*j + 6, 0*j - 3*g = 5*j + 6. Let a = 2 + -3. Is a*-1*9 - j composite?
True
Suppose -q = -5*q + 116. Suppose -3*v + 5*v = -20. Let b = v + q. Is b a prime number?
True
Let a = 16 + 243. Is a composite?
True
Let h = 328 - -398. Suppose -5*x + h = -289. Is x a composite number?
True
Let u be 136/12*1*3. Let i = u + 37. Is i a composite number?
False
Let c(h) = h**3 + 7*h**2 - 9*h - 8. Let n be c(-8). Suppose g = 2*j - 111, n*j + 68 = j - 3*g. Is j prime?
True
Suppose 4*v = v + 27. Let o(z) = z**2 - 12*z + 9. Let y be o(v). Let k = -8 - y. Is k composite?
True
Let s = -3 - 1. Suppose -13*h - 61 - 43 = 0. Is ((-121)/(-2))/(s/h) composite?
True
Let k(o) = -19*o - 12. Is k(-5) prime?
True
Let b be (-124)/(-20) - (-1)/(-5). Let n = 9 - b. Suppose 4*v = -12, v - 27 = -3*g - n*v. Is g a prime number?
True
Suppose 6 = -4*d + 18. Let i(z) = d*z**2 - 2*z**2 + z**2 + 7*z**2 - 1. Is i(-2) a prime number?
False
Let h be (-3)/(-2)*24/9. Suppose p = 3*l - l + 39, -h*l = 8. Is p prime?
False
Let p = 3 - 6. Let m(j) = -j**3 + 4*j**2 + 3*j. Let i(k) = -2*k**3 + 9*k**2 + 7*k + 1. Let r(o) = -4*i(o) + 9*m(o). Is r(p) prime?
False
Let m be (-2*1 - 0)*-1. Suppose m*c = -0 + 28. Is c a prime number?
False
Suppose 4*q - 277 = 567. Is q prime?
True
Suppose 5*o + 162 + 148 = -5*x, -4*o - 228 = -x. Let d = o - -425. Is d prime?
True
Let k = -71 + 123. Let p = -29 + k. Is p composite?
False
Is (-1444)/12*(1 - 4) a composite number?
True
Let y = -378 + 604. Suppose u = -u + y. Is u composite?
False
Let f(i) = 5*i + 1. Let d = -9 - -6. Let o = d - -7. Is f(o) composite?
True
Suppose 4*v = -4*j + 2008, -2*v + 5*j + 969 = -0*j. Is v a prime number?
False
Let q(o) = 174*o - 1. Is q(2) a prime number?
True
Let b = -2123 + 3538. Is b a composite number?
True
Is (2 - 1) + (-3 + 0 - -12943) a composite number?
False
Let h = 301 + 1492. Is h a composite number?
True
Let q be 6/27 + (-3722)/(-18). Let y = q + -122. Is y composite?
True
Suppose -6*h + 3*h - 2*r + 13 = 0, 3*h - r - 7 = 0. Suppose -2*s = -h*s + 39. Is s composite?
True
Let b = 416 + -77. Is b a composite number?
True
Let a(j) = -187*j - 1. Let n be a(-1). Let p = -104 + n. Is p a prime number?
False
Suppose 10*j - 5*j = 0. Let b = j - -7. Is b a prime number?
True
Let g be 73/2 + 1/(-2). Let x = -70 + g. Let f = x - -57. Is f composite?
False
Suppose r + 11 = 132. Is r composite?
True
Suppose 4*p = -5*o + 2499, 2*p + o - 1253 = 2*o. Let q = -435 + p. Is q a composite number?
False
Let l = -2 + 2. Let r(w) = -16*w - 5*w + l*w. Is r(-1) a prime number?
False
Suppose -2*s + 4*k = s - 9, -5*s = 2*k + 11. Is 3 - (s - 2 - 329) composite?
True
Suppose 3*p + c = p + 9, -5*c = p - 9. Is p/(-26) 