. Let a be y(10). Suppose -h + 192 + 204 = a*b, h = -b + 80. Is b a prime number?
True
Suppose 3*q - 6*q = -4*a + 11, -2*q = 3*a - 21. Suppose -q*v = v - 316. Is v prime?
True
Let n(u) = -2 + 1 - 281*u + 2. Is n(-2) composite?
False
Suppose 5*y + 98 = 6*y - 2*z, z = 4*y - 420. Is y a composite number?
True
Suppose j - 92 = 1014. Suppose -b - b = -j. Is b a prime number?
False
Let a(v) = 3*v**2 - 2*v - 1. Is a(-4) a prime number?
False
Let r(y) = 95*y + 12. Is r(5) prime?
True
Suppose 0 = -4*t + 61 - 13. Suppose -h - t = -4*h. Suppose 0 = -2*p - 8, -h*v - v + 2*p + 163 = 0. Is v a composite number?
False
Suppose 2*f + 2*f - 12 = 0. Suppose 5*g = -3*q + 34, -4*g = -5*q - f*g + 38. Is 242/3*12/q prime?
False
Let h be -5 + (-116)/(-2) - 5. Let o be (-2)/(-2)*29*1. Let i = h - o. Is i prime?
True
Let i = 124 - 35. Is i prime?
True
Suppose 51 - 15 = 4*s + 5*q, 3*s - 16 = -q. Suppose -d - s*d = -4*z - 835, -148 = -d - 3*z. Is d composite?
False
Suppose y = -y - 2, -m = -3*y - 350. Is m prime?
True
Suppose 2*t - 114 = -3*r, -r - 3*t = -2*r + 38. Is r a composite number?
True
Let o = 185 - 65. Suppose 3*n - 117 - o = 0. Is n composite?
False
Let u(j) = j**2 - 8*j - 12. Let q be u(9). Is 751/2*(-6)/q prime?
True
Suppose 3*a + 2*d = 987, -a - a - 2*d = -656. Is a a prime number?
True
Let d(k) = -112*k + 3. Is d(-5) prime?
True
Suppose 2*w + n = 3*n + 22, 0 = -5*w - 2*n + 48. Suppose -j - 2*o + 7 = 0, 5*j + 5*o - 6 = 14. Let p = w + j. Is p composite?
False
Is 635*(7 + -3)/4 composite?
True
Let c(p) = p**3 - 2*p - 1. Let n = 5 - 6. Let f be c(n). Suppose f = 4*a + 46 - 194. Is a prime?
True
Suppose 212 = 5*o + 2872. Let f = -54 - o. Is (-8)/16 + f/4 a prime number?
False
Suppose -33 = 2*u - 5*z, u + 7 = -2*u - z. Let m = u + 7. Suppose 109 = 2*k + 5*g, -m*k = -0*k + g - 170. Is k composite?
True
Let w(f) = -2*f + 21. Let m be w(9). Suppose -m*j + 57 + 54 = 0. Is j composite?
False
Suppose 1596 = 2*u - w, -3979 = -5*u - w - 2*w. Is u a prime number?
True
Suppose k - u = 4 + 1, 4*u = -4*k - 20. Let c = k + 69. Is c a prime number?
False
Suppose -k + 3*k = -8. Let v(c) = 7*c**2 - c + 7. Is v(k) a composite number?
True
Suppose -3 = -2*p + 1. Suppose p*l + 940 = 5*n + 7*l, 200 = n + 5*l. Is n a composite number?
True
Suppose -4*x = -81 - 55. Is x composite?
True
Let l = 20 + -7. Suppose 3*r = 2 + l. Is 7/3 - r/15 composite?
False
Let l(b) = 7*b - 7. Is l(3) a prime number?
False
Is -1*(-46523)/5 + 12/30 a composite number?
True
Suppose 3*w + x - 21 = 2*w, -w + 36 = -4*x. Let d be (-2)/(-10) + w/5. Suppose -d*z = -3*z - 382. Is z prime?
True
Suppose -5 + 2 = 3*p. Let z be 1/p*0 + 21. Is 1611/z - 4/(-14) composite?
True
Suppose -w = -4*j - 0*j - 206, j + 405 = 2*w. Is w a composite number?
True
Let m = -4 - -5. Is 2139/12 - m/4 a prime number?
False
Let o(g) = 3*g**2 - 4*g. Let v be o(6). Suppose -3*x + k + 51 = -x, -3*x + 3*k + v = 0. Suppose x + 12 = p. Is p composite?
True
Suppose 4*l = 4, 2*i - 2*l = -3*l + 639. Is i a composite number?
True
Is 226325/77 + (-6)/21 a composite number?
False
Suppose 2*o - 4 = -0. Suppose 0 = -5*t + o*z + 1673, 4*t - z - 1341 = -2*z. Is t composite?
True
Let t(p) = 385*p**2 + 2*p - 1. Is t(2) a prime number?
True
Suppose 6*w = 3*w + 99. Let y = 52 - w. Is y prime?
True
Let x = 327 + -634. Is 2/(-4)*2*x a prime number?
True
Let b = 291 - -434. Suppose 5*z + 0*z = b. Suppose 0 = 2*f - 117 - z. Is f a composite number?
False
Let b(z) = -z**3 - 3*z**2 + 16*z + 19. Is b(-8) a composite number?
False
Let j be (12/(-10))/(3/(-10)). Suppose -2 - 392 = -j*x - d, -102 = -x - 2*d. Is 1/3*(1 + x) a prime number?
False
Let a be (0 + 3/(-9))*-9. Let d = a + 4. Let k(m) = m**2 + 9*m + 9. Is k(d) composite?
True
Let f(y) = 22*y + 6 - 4 - 3. Is f(1) composite?
True
Let y = 859 - 350. Is y prime?
True
Let g be 4/6 + 2/6. Let t = g + 1. Suppose t*d + 265 = 7*d. Is d a composite number?
False
Let c be -18 - (-4 - -5 - 4). Let g = 10 + -16. Is 102*(-2 + c/g) a composite number?
True
Let l be 83456/56 - (-4)/(-14). Suppose -3*f + 891 = 3*k + f, -5*k = 5*f - l. Is k prime?
False
Is (-3 - 0)/(6/(-1084)) a composite number?
True
Suppose -3453 = -30*u + 27*u. Is u prime?
True
Let k be (-1)/(2 - 3)*3. Suppose -k*j - 20 = -3*g - j, 5*g - 4*j = 34. Is g a composite number?
True
Suppose d = -1359 + 4853. Is d composite?
True
Let s be 0 + (1 - -1) + 2. Let o be 0 - 0*(-2)/6. Suppose 2*g - 26 = -n, -3*n + 2*g - s*g + 70 = o. Is n composite?
True
Let l be 68 - (-1 - (2 + -3)). Suppose i = 3*i - l. Is i prime?
False
Suppose -8*l + 3*l + 400 = 0. Let r = 373 - l. Is r composite?
False
Let j(b) be the first derivative of b**3/3 - 7*b**2/2 + 3. Let i be j(7). Is i/2 - (-33 + 2) composite?
False
Let j(g) = g**2 + 2*g + 2. Suppose 3*s = s - 12. Is j(s) prime?
False
Suppose -5*l + 2*k = -0*l + 44, -k = -5*l - 47. Is l/25 + (-167)/(-5) prime?
False
Let t = 21 - 20. Let h(d) = -d - 2. Let l be h(-5). Is l*t + (3 - -151) a prime number?
True
Let g be ((-186)/(-4))/(8/16). Let y = -34 + g. Is y a composite number?
False
Let s(t) = -5*t**2 - 9. Let d(n) = n**2 + n + 1. Let a(g) = 6*d(g) + s(g). Let l be a(-6). Is 21/(-18)*l*2 a prime number?
True
Suppose 4 = 4*i - 4. Let f = -9 - -4. Is 22*(f/i)/(-5) a composite number?
False
Suppose -584 = -3*o + 25. Is o a prime number?
False
Suppose 125 = 4*w - 2167. Is w prime?
False
Suppose -4*l + 1296 = -5*w, -w + 454 = 4*l - 818. Is l composite?
True
Let i(l) be the second derivative of 7*l**3/2 + 4*l**2 - l. Is i(6) prime?
False
Let q = -9 - -13. Suppose -v - 3*o + 2*o = 10, v - 5*o = -q. Let h = 212 + v. Is h a prime number?
False
Is ((-26)/3)/(-4 - 5810/(-1455)) a composite number?
True
Suppose 4*i = i + 2493. Is i composite?
True
Let o(y) = -19*y**2 + 1. Let a(m) = 75*m**2 - m - 4. Let n(p) = -2*a(p) - 9*o(p). Let x(u) = u**2 + 3*u + 1. Let f be x(-3). Is n(f) composite?
True
Let b = 1052 + 2993. Is b prime?
False
Let i = 1116 + -349. Is i composite?
True
Is (-21)/(-3)*((-577)/(-1))/1 a prime number?
False
Let x(z) = -4*z**2 + 7*z. Let s(d) = -3*d**2 + 6*d - 1. Let y(n) = 5*s(n) - 4*x(n). Let i be y(-4). Suppose -37 = i*t - 4*t. Is t a composite number?
False
Let w(a) = -a**3 - 7*a**2 + 7*a - 10. Let n be w(-9). Suppose 2*u - n = -o, -3*o = u - 4*u - 222. Is o a prime number?
True
Suppose 5*l - 12*l = -6146. Is l composite?
True
Suppose 150 - 475 = -5*a. Let f = a - 28. Is f prime?
True
Let x(c) = -c**3 - 5*c**2 - 8*c + 1. Is x(-9) prime?
True
Suppose 0 = -t + 3*m + 196, t - 4*m - 192 = -2*m. Let u = t + -51. Is u a composite number?
True
Let f(o) = o - 4. Let r be f(7). Suppose -r + 10 = 3*t - 5*m, t + m - 13 = 0. Suppose 0 = -5*u - w + 154, -u + w = -23 - t. Is u prime?
True
Suppose 69 = l - 28. Is l a prime number?
True
Let i(s) = 6*s**3 - 2*s**2 - 6*s + 133. Let b(v) = -5*v**3 + 2*v**2 + 5*v - 133. Let j(g) = -5*b(g) - 4*i(g). Is j(0) a composite number?
True
Suppose 3 = 5*h - 7. Is h*1 - (-13 - 11) a prime number?
False
Let o = -13 - -19. Is 166*(3 + (-15)/o) composite?
False
Let b(n) = -n**3 + 5*n**2 - n - 2. Let v(r) = 2*r**3 - 10*r**2 + 3*r + 5. Let u(o) = 7*b(o) + 3*v(o). Is u(5) composite?
False
Let s(t) = -87*t - 22. Is s(-5) a composite number?
True
Suppose -5*y - 4*z + 4453 = -0*z, -4*z + 3564 = 4*y. Is y composite?
True
Let t(y) = -2*y - 2. Let n be t(-2). Suppose f + 3*f - 43 = -5*a, n*a - 6 = 0. Is f composite?
False
Let z(s) be the second derivative of s**3/6 + 11*s**2 + 40*s. Suppose 3*k - m + 20 = k, 2*m - 49 = 5*k. Is z(k) a composite number?
False
Suppose 0 = -z - 4*z - 2*o + 393, -5*o - 321 = -4*z. Is z prime?
True
Let y = 475 + -168. Is y composite?
False
Is (-6)/(-14) + (-788)/(-7) prime?
True
Suppose 5*b = 3*c - 427, -3*c = b + 131 - 582. Is c prime?
True
Let s(j) = -j**2 + 5*j + 8. Let v be s(6). Suppose d = -v*n + 257, 6*d - 3*d = 9. Is n prime?
True
Is -22 + 18 + (-1 - -228) composite?
False
Let l = 1716 - 2428. Let j = l - -1043. Is j composite?
False
Let j = 9 + -9. Suppose 5*g = 5*r - 10 - 15, j = g + 3. Suppose 13 = r*h - h + 5*z, -3*h + 4*z = -77. Is h a composite number?
False
Suppose 2044 = o - 9*v + 4*v, -2*o - 2*v = -4076. Is o a prime number?
True
Suppose -3*u + h + 592 + 277 = 0, 0 = 3*u + 3*h - 861. Is u a prime number?
False
Suppose -2*j = -3*j + 113. Is j prime?
True
Let o = -2 + 