rue
Let l = -1 - -5. Let t(j) = 45*j**2 - 7*j + 11. Is t(l) composite?
True
Suppose 4 = -i + 2*n, 3*n = -5*i + 2*i + 6. Let g be (3 - i - 1) + 1. Suppose 0 = -g*j - 2*t + 21, -4*j + 2*t = -21 - 21. Is j composite?
True
Suppose 4*d = -4*o + 2712, 3*d - 2030 = -0*o + o. Suppose 3*w = d + 661. Is w composite?
True
Suppose 0 = 2*b + 3*v - 2853 - 155, -3*b = -5*v - 4531. Is b prime?
False
Let h be (2*(-7)/(-4))/((-2)/(-4)). Suppose h*r = 9*r - 212. Is r a prime number?
False
Suppose -2214 = -2*x + 3*o + o, 2*x + 5*o = 2259. Is x a prime number?
True
Is 3584720/25 + -2 - 4/(-20) a prime number?
True
Let y = -48 - -78. Let i be 18/y + 14/10. Suppose 129 = i*a - 661. Is a a composite number?
True
Suppose -9*j + 3*j + 17040 = 0. Suppose -j = -5*y + 1955. Is y composite?
True
Suppose 3*h = 116 - 20. Suppose 98 = 2*i - 64. Let b = i - h. Is b composite?
True
Let p = 200 - 200. Let u = -2 + 6. Suppose 3*f + 331 = 4*d, -u*d + f - 3*f + 346 = p. Is d a composite number?
True
Suppose -2*g + 6*g = 5*p + 21, -g - 3*p + 1 = 0. Suppose 0 = -4*s + g*k + 8724, -6543 = 2*s - 5*s - 5*k. Is s composite?
True
Let k = 112 - 120. Suppose 5*v + 9 - 434 = -5*f, 0 = -2*f - 4*v + 166. Let c = k + f. Is c prime?
True
Suppose 0 = 5*w - 24 - 1. Suppose -i - 28 = -w*i. Is i prime?
True
Let w = -16 - -26. Let s = -187 - -192. Suppose -w = s*n, -n + 0*n = 5*u - 953. Is u prime?
True
Let d(m) = -14*m**2 - 11*m - 77. Let r(w) = 7*w**2 + 6*w + 39. Let v(h) = -4*d(h) - 7*r(h). Is v(-14) prime?
False
Let d = 1409 + -319. Suppose 3*x - x = d. Is x a prime number?
False
Let b(q) = -134*q + 24. Let a(d) = 267*d - 49. Let i(w) = 3*a(w) + 7*b(w). Is i(-20) a composite number?
True
Let s = 5 - 0. Suppose s*d - 378 = 1357. Suppose -4*u = -5*r + 557, -3*r - 2*u = 2*u - d. Is r prime?
True
Let u(d) be the second derivative of 31*d**5/20 + d**4/3 - d**3 + 4*d**2 - 22*d. Is u(3) a composite number?
False
Let x(o) = 2*o**2 + 5*o + 6. Suppose -f + 5 = -3*k - k, -3*k - 37 = 4*f. Is x(f) prime?
False
Let l(q) = q**2 - 62*q - 48. Is l(-25) a composite number?
True
Suppose -o + 3*z = -430, -2162 = -o - 4*o + 3*z. Suppose 3*y = -3*w + 425 + o, -5*w = 15. Is y prime?
False
Let t(i) = -i**3 + 8*i**2 - 2*i - 11. Let b be t(5). Suppose b*q - 49*q = 8885. Is q a prime number?
True
Let c(d) = -2461*d - 11. Let q(g) = -1230*g - 5. Let p(h) = -2*c(h) + 5*q(h). Is p(-2) a composite number?
True
Let a be 72/(-30)*(-95 - 0). Let m = 973 - a. Is m a composite number?
True
Suppose -7 = 2*t + 17. Let c be 2/(2 + 32/t). Is ((-23)/c)/((-2)/(-30)) composite?
True
Suppose 0 = 3*g - 4*g + 2689. Suppose g = 2*d + 3*v, 4*d - 5*d = -5*v - 1338. Is d composite?
True
Let v = 13067 - 8112. Is v a composite number?
True
Let z = -7 + 11. Let t be ((-6)/z)/((-6)/20). Suppose -t*k = -3*g - 530, -5*k = -g - 280 - 240. Is k prime?
True
Let s be 2 - (-14 + 13 - 10/(-2)). Is ((-4197)/s)/(6/4) prime?
True
Let x(j) = j**2 - 1 - 2 - j - 10. Let l(c) = c**2 - 27*c + 161. Let s be l(17). Is x(s) a prime number?
False
Let f = -14 - -16. Let h be (39/9)/(f/36). Let r = h + 37. Is r a composite number?
True
Let b = -1368 - -43359. Is b a prime number?
False
Let q(p) = p**3 - 4 - p + 4*p**2 - 4*p**3 + 0*p + 4*p**3. Let f be q(-4). Suppose 3*x - 8*x + 395 = f. Is x prime?
True
Let i(l) = -l + 2. Let g be i(0). Suppose -4*o - 5*c = -o + 5, 0 = -2*o - g*c - 10. Let x = 41 + o. Is x a composite number?
False
Let v(h) = -11 + 21 + 17*h - 8. Is v(13) prime?
True
Suppose m = -2*m + 12. Let p = 149 - 10. Suppose -p - 9 = -m*z. Is z a composite number?
False
Is ((-45)/(-75))/((-5)/(-83225)) a composite number?
True
Let z be 21/15*2 - 2/(-10). Suppose z*v = 6*v - 678. Is v a prime number?
False
Suppose -2*h = -a - 1, a + 12 = -h - a. Is (15764/(-8))/7*h a prime number?
True
Let z be 4/6 - 8/12. Suppose -3*i - 3*t - 325 + 1756 = z, 4*i + 2*t = 1912. Is i a prime number?
True
Let w be -2 + (3 - 5) + 4. Suppose -4*m - 2*z = -w*z - 6, -5*m - 2*z + 10 = 0. Suppose -v = m*v - 105. Is v composite?
True
Let r be (127 - 5)*22/4. Suppose b + 4*b + 639 = 4*z, -5*b - 4*z = r. Let v = b - -276. Is v prime?
False
Suppose 2*q = 2*s + 3*q - 14119, -4*q = -3*s + 21151. Is s a prime number?
True
Suppose -384*b + 4621 = -383*b. Is b prime?
True
Let l = -1944 - -3893. Is l prime?
True
Suppose 25 = 5*f - 5. Let l(s) = -6 + 7*s - s**3 + 2 - f*s**2 - 1. Is l(-8) prime?
True
Suppose 0 = -7*i - 0*i - 1155. Let u = -114 - i. Is u a prime number?
False
Let c = -2240 - -4435. Is c prime?
False
Let i(v) = v**3 - 27*v**2 - 47*v - 16. Is i(33) a prime number?
True
Let p = -34835 - -89572. Is p a composite number?
True
Suppose d - 2024 = -2*k - 2*d, -3025 = -3*k + d. Suppose k = 3*n - 1028. Is n a prime number?
False
Suppose 5*c - 15406 = -w, -w + 15409 = -2*c + 6*c. Is w a prime number?
False
Suppose 4*g = -n + 4105, 14*g = 2*n + 16*g - 8210. Is n a composite number?
True
Let u(v) = -v**3 - 5*v**2 - 6*v - 6. Let s be u(-4). Let j = 2 + s. Suppose 0 = -5*t - 5*p - 0*p + 1075, -j*t + 4*p + 860 = 0. Is t composite?
True
Suppose 5*t - 25 = 0, -5*u + 75775 = 3*t - 9*t. Is u a prime number?
True
Let y(j) = j**2 - 8*j - 18. Let m be y(10). Is (1082/2)/((-4)/(-2 - m)) a composite number?
False
Let n(t) = -10*t + 3*t - 2 + 5*t + 1565*t**3 + 4. Is n(1) prime?
False
Let u = -120 - 224. Let x = 603 + u. Is x a composite number?
True
Let b(y) = -1855*y - 552. Is b(-17) composite?
False
Suppose n = -2*n + 2*z, -5*z + 17 = n. Let x(t) = t**3 - 7*t**2 - 3*t + 2. Let u be x(8). Suppose -n*i = -0*i - u. Is i prime?
False
Let k(v) be the first derivative of -v**2/2 + 14*v + 4. Let w be k(7). Suppose -z - 462 = -w*z. Is z prime?
False
Let z = -7 - -7. Let x be (-1)/(2 - 9/4). Is (-118 + z)*(-2)/x prime?
True
Let j(u) = -6119*u - 38. Is j(-3) composite?
True
Let h be (-2)/7 - 32/(-14). Suppose 3531 = 2*n - y, -h*n - 4*y - y + 3525 = 0. Is n a prime number?
False
Let y = -16906 - -34223. Is y prime?
True
Is 1 + -6 + 43964/29 a prime number?
True
Let x(l) = -l**2 - 6*l + 17. Let p be x(-8). Is (p - (-16)/(-12))*(-2 + -1441) a prime number?
False
Let s(p) = -2*p**2 - 56*p + 23. Is s(-26) a composite number?
False
Let a be (52/6 + 1*-2)*-69. Let g = a + 918. Is g prime?
False
Is (2 + 5/(-5))*1*3491 a prime number?
True
Suppose 5*o - 7*o = -4, -2*p + 65120 = -o. Is p a prime number?
True
Let m be (2/(-5))/((-7)/(-6230)). Let v = m + 1312. Suppose -v = -5*d - 261. Is d prime?
True
Let o(w) = -2*w - 12. Let j be o(-8). Suppose -2*z - j*h = -1618, -5*z + 0*h = -h - 4045. Is z a composite number?
False
Let i(y) = 1296*y - 6 + 22 + 21. Is i(4) prime?
False
Let w(b) = -1077*b - 10. Is w(-1) composite?
True
Let k(n) = n**3 - 21*n**2 + 22*n - 53. Is k(23) prime?
True
Suppose 5*m + 19 - 54 = 0. Suppose -3 = -2*y + m. Is (y/(-20))/((-1)/124) a prime number?
True
Let d(v) = 347*v + 2. Let s be d(3). Suppose -4*c = -5*y + s, 5*y = 2*c - 0*c + 1049. Is y a prime number?
True
Let q = -12464 + 22231. Is q prime?
True
Let m(p) = -2*p. Let t be m(-3). Suppose -3*n - 6 = 4*b, -3*b + 3*n + 0 = -t. Suppose 2*h - 276 - 446 = b. Is h prime?
False
Suppose u + 5 = 3*g, -5*u + 3*g - 7*g = -32. Suppose u*m - 5*i - 4833 = 0, i = -0*m - 2*m + 2413. Is m composite?
True
Let b = 2789 + 3150. Is b a prime number?
True
Is ((-2)/(-1))/(6/10473) composite?
False
Let z = 522 + -369. Suppose i + 4*c = -2*i + z, i + 5*c - 40 = 0. Is i a prime number?
False
Let k(n) be the third derivative of 0 + 1/2*n**3 - 1/60*n**5 - 1/6*n**4 + 7/120*n**6 + 4*n**2 + 0*n. Is k(2) a prime number?
True
Let g(n) = 5*n**2 + 5*n - 1. Let d(c) = -6*c**2 - 4*c + 1. Let l(m) = 4*d(m) + 5*g(m). Let v(o) = o**2 + 8*o + 6. Let y be v(-8). Is l(y) a composite number?
False
Suppose 5*h - 192 - 1648 = 0. Let f = h - 255. Is f composite?
False
Let d(l) = -69*l + 4. Let w be d(-4). Suppose -27 = -u + w. Is u composite?
False
Let j(a) = a**2 + a. Let r be (-2)/(-8) + 36/(-16). Let m be ((-12)/(-20))/(r/10). Is j(m) a composite number?
True
Let l(i) be the first derivative of 7*i + 8 + 7/2*i**2 - 5/4*i**4 + 5/3*i**3. Is l(-4) composite?
False
Suppose 2*g - g + 1050 = 4*k, 516 = 2*k + 4*g. Let o = -131 + k. Is o a prime number?
True
Suppose -662 = -4*k + 1618. Suppose -k = -4*x - 78. Suppose 2*v = 67 + x. Is v prime?
False
Suppose -7*t + 5 = -1577. Is t a prime number?
False
