
Let h = 105 - -25. Suppose -204 = -3*v + 7*v. Let w = v + h. Is w a composite number?
False
Suppose 4 = v - 0. Suppose v = 3*x - 5. Suppose -x*b = 9 - 27. Is b a prime number?
False
Suppose 0 = -5*j - 175 - 1405. Let i be 2*(-3)/6*j. Suppose 4*r = 8*r - i. Is r prime?
True
Is 1*3/(-1) - -172 composite?
True
Let m = 6 - 5. Let v(a) = 0*a - m + 0*a**2 + 6*a**2 + 0*a. Is v(-3) a prime number?
True
Suppose -a = -3*v - 9, 2*v = -3*v + 4*a - 22. Let o be (-981)/v - 2/(-4). Suppose -o = -3*f + 2*z, -5*f + 2*z + 1407 = 582. Is f a composite number?
False
Let t = 54 + -17. Suppose 5*u + 4 = -2*q + 165, -u + 2*q + t = 0. Let c = 38 + u. Is c composite?
False
Let j(c) = -2*c**3 - 7*c**2 + 5*c + 29. Let i(v) = -v**3 - 4*v**2 + 3*v + 15. Let p(s) = 11*i(s) - 6*j(s). Is p(7) a composite number?
False
Let f = -500 - -211. Let r = f + 444. Is r a composite number?
True
Suppose 4*p - 462 = -2*m, 5*m - 937 - 173 = -p. Is m prime?
False
Let w = -1 - -4. Suppose 65 = q - w*s, q - 5*s = -3*q + 232. Is q a composite number?
False
Suppose -4*d = -3*d - 85. Is d prime?
False
Let b(c) be the second derivative of -c**5/20 - 5*c**4/12 - c**3/6 - 7*c**2/2 + c. Is b(-6) a prime number?
False
Let g(z) = -2*z - 4. Let s be g(-3). Let u = s + -3. Is (u/(-2))/(3/474) prime?
True
Suppose -3*l + 153 + 192 = 0. Is l a prime number?
False
Let v(b) = 2*b - 4. Let r be v(4). Suppose r*c - 3*p = 277, -c + 4*p = c - 146. Is c prime?
True
Suppose -4*d = 141 - 605. Let j = 229 - d. Is j composite?
False
Let m(g) = g**2 + 8*g + 6. Let t be m(-9). Let v be (-268)/(-9) - 4/(-18). Let b = v - t. Is b a prime number?
False
Let k(z) = -z**3 - 2*z**2 + 2*z - 6. Let c be k(-5). Suppose -n - q = -3, 0*n + 14 = 3*n - 2*q. Suppose c = n*h - 65. Is h composite?
False
Let z(j) = -212*j + 8. Let h be z(-7). Suppose -i = 3*i - h. Is i prime?
True
Let z = 623 - 358. Is z a composite number?
True
Let u(i) = 31*i**2 + 4*i + 2. Is u(-3) a prime number?
True
Suppose 0*j = -2*j + 6. Let g(q) = -q**2 + 5*q - 4. Let w be g(j). Is w/(3*2/249) a prime number?
True
Let s(c) be the second derivative of -c**5/20 + 5*c**4/12 + 5*c**3/6 + 3*c**2/2 - 5*c. Is s(-4) a prime number?
True
Suppose -t + 57 = 2*t. Suppose 3*g - t = 2. Is g composite?
False
Is (-2)/3 + 3960/27 a prime number?
False
Suppose d - 3*h - 3 = -2*d, 0 = -4*d - 5*h + 40. Suppose d*x + 3 = 3*a + 13, a - 2 = -x. Suppose -56 = -4*b - a*b. Is b a composite number?
True
Let p(g) = g**2 - 3. Suppose -c - 2*b = -4*c, -4*c = -5*b - 7. Let q be c/((-9)/6 + 1). Is p(q) a composite number?
False
Suppose 4*y = -7 + 27. Suppose -3*t - 4*a = -510 - 12, -t + y*a = -193. Is t prime?
False
Let a(i) = 8*i**2 + i + 76. Let x(f) = 7*f**2 + f + 77. Let q(p) = -6*a(p) + 7*x(p). Let g be q(0). Suppose -4*l + 3*l = -g. Is l prime?
True
Let p(b) = b**3 + b**2 + 3*b - 3. Let v = -6 - -10. Is p(v) prime?
True
Let z = -86 - -337. Is z a prime number?
True
Suppose 2*t = -0*n + n + 1044, -5*t - 2*n = -2619. Is t a composite number?
False
Let f = 8 - 2. Is ((-244)/f)/(4/(-30)) composite?
True
Let o(g) = -g**2 + 7*g + 10. Let f(n) = 2*n + 7. Let d(r) = 2*r + 7. Let z(j) = -4*d(j) + 3*f(j). Let b be z(-7). Is o(b) a prime number?
False
Suppose a = 3*a + 5*r - 362, 3*r = 2*a - 394. Is a composite?
False
Is (15/(-5))/(9/(-537)) prime?
True
Let s be (1/1 - 1)/2. Is 3786/(-12)*(-2 - s) a composite number?
False
Let f(d) = d - 9. Let s be f(0). Let p = 35 + s. Is p composite?
True
Let m = -427 + 864. Is m a prime number?
False
Suppose -4*k + 12 = -0*k. Suppose -4*u - 31 = o - 296, -k*o + 15 = 0. Is u composite?
True
Let j be (-2)/(0 - 1) - 2. Suppose 3*u - 6*u = j. Suppose 3 = s - u. Is s composite?
False
Let r = -4 - -3. Let h be r/(-1 + (-30)/(-33)). Suppose 0 = 3*c - 3*m - 7 - h, 5*m = -15. Is c composite?
False
Suppose -3*p + 21 = 2*o, 0 = -o - 2*p + 7*p - 22. Suppose d + o*n = 74 + 105, 2*d - n = 372. Is d composite?
True
Suppose 2345 = 5*s - 5765. Is s composite?
True
Suppose 4*s - 4 = 6*s. Is (s - -4 - 3)*-59 composite?
False
Suppose v = 5*m + 230, -8*m - 20 = -4*m. Suppose 3*g + 4*d - 355 = -d, -2*g + 3*d + v = 0. Suppose -2*x + g = 3*x. Is x a prime number?
False
Let b(g) be the third derivative of -g**4/24 + g**3/6 - g**2. Let v be b(2). Is 50/2*(2 + v) a composite number?
True
Let h = 60 + 59. Is h a prime number?
False
Suppose -3 - 3 = -3*u. Let w(f) = 0 + f**3 - 7*f + 0*f**2 - 7 + 4*f**u + 2*f**2. Is w(-6) prime?
False
Suppose -3*v - 21 = -168. Is v composite?
True
Let d be 0 - (-1 + 1) - 2. Let b(n) = -14*n**3 + n**2 - 4*n - 3. Is b(d) a composite number?
True
Let q be (-5)/(-30) + 1/(-6). Suppose q = 2*d - 499 - 101. Is (-4)/14 + d/21 composite?
True
Let c = -315 + 99. Let u = 359 + c. Is u a prime number?
False
Suppose -r = -4*b - 457, 5*b = -2*r - r - 567. Let k = -25 - b. Is k a composite number?
False
Let y(v) = 12*v**2 + 2*v - 3. Let d be y(3). Is d + 1 + 2 + 1 composite?
True
Let t(g) = 248*g**2 + 3*g - 7. Is t(-4) composite?
True
Let c = -4 - -22. Let g be (12/c)/(2/(-18)). Is (20/g)/(2/(-21)) a composite number?
True
Let b(p) = -17*p**3 + 2*p**2 + 2*p - 4. Is b(-5) a composite number?
False
Let b be (1 + 9)*(-1192)/16. Let f = 8 - 6. Is f/(-7) + b/(-35) composite?
True
Let s(i) = 63*i - 47. Is s(18) a prime number?
True
Suppose -5*v + 5*o = -15, v + 4*v - 11 = o. Let t = 1 + v. Suppose -t*g - 13 = 2*d - 182, -2*g - 5*d + 109 = 0. Is g a prime number?
False
Let i = 71 + -39. Suppose -2*m + i = 2. Is m composite?
True
Is (-2)/(-10) - 43732/(-65) a prime number?
True
Let b = 7 - 4. Suppose -5*q = w - 128, -6*q - 581 = -4*w - b*q. Is w a prime number?
False
Let o(v) = 56*v**2 - 1. Suppose -c + 8 = p, -3*c - 2*c + 22 = -p. Suppose -y = -c*y - 4. Is o(y) prime?
False
Let a(p) = -4*p**2 + 3*p - 4. Let z be a(-9). Let f = z + 556. Is f prime?
False
Let w(n) = 8*n**2 + 10*n + 1. Is w(-13) a prime number?
True
Let x be 179 - (2 + -1) - 0. Suppose -i - 37 = 2*c, 2*i + 107 = -3*c + 37. Let g = i + x. Is g prime?
True
Let k be ((-42)/18)/((-1)/(-3)). Let l = -9 - k. Is 3 + -3 - l - -4 prime?
False
Suppose 3*d + 4*w = 1005, -d + 8*w = 6*w - 345. Is d a prime number?
False
Is 1780/40*2*1 prime?
True
Suppose -3*a = -2*a + 4*i - 17, 0 = 2*a - i - 7. Let h(l) = 5*l**3 - 2*l + 2. Let c be h(2). Suppose -3*o + a*o - c = 0. Is o prime?
True
Let u be 2*(0 + 1 + 0). Suppose 3*k = -u*d + 27, -4*d + d = -4*k + 2. Is d prime?
False
Is 2*(914/(-4))/(-1) a prime number?
True
Let a = -453 + 676. Is a prime?
True
Let m be 4*-1*9/6. Let t = m - -8. Suppose 0 = -t*d + 39 - 9. Is d a composite number?
True
Suppose -3*o + 593 + 814 = 0. Is o a prime number?
False
Let o(f) = f - 1. Let m(i) = 5*i**2 + 2*i + 2. Let g(q) = m(q) + o(q). Is g(4) composite?
True
Let q(n) be the first derivative of 43*n**4/6 - n**3/6 + n + 2. Let f(l) be the first derivative of q(l). Is f(1) composite?
True
Let c be -2 + (393 - (3 + 0)). Let y = -275 + c. Is y a prime number?
True
Let w be 21/4 - (-4)/(-16). Suppose -3*z + 6*z - w*f - 43 = 0, -z = -3*f - 21. Is z prime?
False
Let n(m) = -3*m + 1. Let s(l) = -2*l**3 + l**2 + l. Let z be s(-1). Suppose -z*x + 2 = 14. Is n(x) a composite number?
False
Let y(w) = -w**2 - 1. Let b(k) = -7*k**2 + 2*k - 2. Let l(v) = -b(v) + 5*y(v). Suppose c + 16 = -3*c. Is l(c) a prime number?
True
Suppose 0 = 4*z - 4*h - 20, 0*z + 4*z - 10 = 2*h. Suppose z = 3*a - 4*m - 6, 3*a - m = 2*m + 6. Is ((-2)/(-3))/(a/75) a composite number?
True
Suppose 0 = -3*k - 2*k + 2395. Is k composite?
False
Is (1 + 2 - 1) + 125 a prime number?
True
Suppose 0 = -v + 4*v - 18. Let p(t) = 82*t + 13. Is p(v) composite?
True
Let s(n) = n**3 + 9*n**2 + 8*n - 1. Let x = 9 + -15. Is s(x) prime?
True
Let f(b) = b. Let j(r) = 6*r - 4. Let l(o) = o - 3. Let q be l(6). Let y(v) = q*f(v) + j(v). Is y(9) composite?
True
Let y = 1 + -1. Let s(b) = -b**2 - b - 23. Let a be s(y). Is 1 - 2 - 0 - a a composite number?
True
Suppose n = -3*l + 1190, 2*n = 4*l - 2267 + 697. Is l prime?
False
Let s be 8/36 + (-106)/(-9). Suppose -2*d + 241 = 5*a, -a + 50 = -3*d + s. Let r = a + -8. Is r a prime number?
False
Let o be (-30)/(-4)*172/3. Suppose 3*x = -16 + o. Suppose x = 4*f - 250. Is f prime?
True
Let n(h) = h**3 - 15*h**2 - 29*h - 11. Is n(17) a composite number?
True
Let a(u) = u + 1. Let x be a(-1). Suppose -15 = -p - 3*n,