 Is u a composite number?
False
Let u(k) = k**2 + 13*k + 21. Is u(-12) a composite number?
True
Let r = -7 - -9. Suppose r*p - 3 = 3. Let f(c) = 8*c**3 - c**2 + c + 1. Is f(p) prime?
True
Let b be -2 + 289 + (-1 - -2). Suppose t = -2*d - 199, d + 2*d - 2*t + b = 0. Is (d/6)/((-1)/3) prime?
False
Suppose 3*l - 2 = 4. Suppose l*y - 470 = -3*y. Is y composite?
True
Suppose 4*o = -3*g + 22, 0*g + 23 = 4*g - o. Suppose g*d - 185 = d. Is d a prime number?
True
Suppose -4*u + 0*u - 630 = -2*h, 2*h + 2*u - 606 = 0. Is h prime?
True
Let k(q) = 2*q**2 - 7*q - 2. Is k(-9) a composite number?
False
Let r = -200 + 394. Suppose -5*f = -3*f - r. Suppose -i + 16 + f = 0. Is i composite?
False
Suppose 0 = -2*s - 2*b + 2, -4*b + 22 - 6 = 0. Let k(x) = -x - 1. Let l be k(s). Suppose -w = -l*o + 4, 0*o - o - 5*w = -13. Is o a prime number?
True
Suppose 4*i = 112 + 404. Let q = i - 66. Let l = -42 + q. Is l prime?
False
Let y be 105/(-14) + 3/2. Let g = -4 - y. Suppose -g*l + 444 = 2*l. Is l composite?
True
Let x(z) = -z**3 + 6*z**2 + z - 1. Let u be x(6). Suppose 4*r + k - 552 = 0, 3*r - 141 = -u*k + 256. Is r a prime number?
True
Suppose 4*z - 56 = 3*o + o, -4*o + 49 = 3*z. Let q be 428/12 - (-2)/6. Suppose 4*l = d - z, -2*l = -2*d - 0 + q. Is d a composite number?
False
Let s = -4 + 11. Let a(g) = -g**3 + 8*g**2 - g - 4. Is a(s) a composite number?
True
Is (-1135)/(-8) - (-14)/112 a prime number?
False
Let n(k) = -2*k + 1. Let t be n(3). Is (-84)/(-15) - 2/t prime?
False
Suppose -5*s + 346 + 559 = 0. Let c = -112 + s. Is c prime?
False
Suppose -w + 76 - 14 = -5*y, -5*y + 323 = 4*w. Is w composite?
True
Let a = -81 + 161. Let y = a - 57. Is y composite?
False
Let v be (5/(-15))/(2/(-12)). Is -3 - (-1 - (v - -19)) a composite number?
False
Suppose 8115 = -3*x + 6*x. Is x a composite number?
True
Suppose 0 = 2*j - 305 + 11. Let n = j + 190. Is n a prime number?
True
Let v(q) = -q**3 + q + 22. Let a be 2/5 + (-76)/(-10). Suppose a*u - 3*u = 0. Is v(u) a composite number?
True
Let x(c) = -c + 5. Let n be x(6). Let b be 2/4*(n + 1). Suppose b = -2*d - 2*d + 16. Is d composite?
True
Let r be (-2)/(-3 - (-5 - -3)). Let k = -14 + 20. Suppose -l - k = -r*l. Is l composite?
True
Suppose -x + 2*d = -4411, 5*x + 6*d = d + 22130. Is x prime?
True
Suppose 2*d = 2*v - 510, -4*v = d - 0*d - 1015. Is v prime?
False
Let d(x) = -x**3 - 7*x**2 - x - 3. Let n be d(-7). Suppose 0 = -n*q - 20, 2*w + 21 = -3*q - 28. Let r = w + 36. Is r a composite number?
False
Suppose 0 = 5*u + 20, 5*r + 14 = 4*r - 4*u. Suppose a - 4*w = 34 + 33, -r*w + 232 = 4*a. Is a composite?
False
Suppose -1657 = -6*j + 8369. Is j a prime number?
False
Let f = 65 - 9. Let x = f - 33. Is x prime?
True
Suppose 4*w + 4*g - 12 = 0, -2*w + 6*w + 3*g = 9. Suppose w = 4*c - 9 - 3, -c = 5*y - 2248. Is y a composite number?
False
Suppose 0 = -4*r + 8*r - 764. Is r a composite number?
False
Is (2783/(-44))/((-1)/4) a composite number?
True
Let r be 11/9 + (-6)/27. Suppose o - 13 = r. Let n = 71 + o. Is n a prime number?
False
Suppose -5*j - 40 + 150 = 0. Is j composite?
True
Suppose -2 = 2*p - 12. Suppose m - 132 = -l - l, p*l + 3*m = 332. Suppose -h - 5 = -l. Is h composite?
False
Let y = -9 + 1. Let t be (-117)/(-12) + (-2)/y. Let q = -6 + t. Is q prime?
False
Let f = -18 + 18. Suppose 4*k + 380 = 5*v + k, f = 5*k - 25. Is v prime?
True
Let u = 288 - 626. Let x = -199 - u. Is x composite?
False
Suppose -5283 = -12*y + 1161. Is y composite?
True
Let g be 12296/(-7) + 6/(-14). Is (g/(-14))/((-2)/(-4)) composite?
False
Let x = 4 + -1. Suppose -x*u + 329 = 128. Is u a prime number?
True
Let q be 3 + -3 + -44 + 1. Let n = -28 - q. Is n composite?
True
Suppose 2*k - 2*q - 996 = 0, -5*q + 971 = 2*k - 2*q. Is k a composite number?
True
Suppose 0*s + 5*s = -u - 15, 9 = -3*u - 3*s. Suppose u*h = -5*h, 4*b + 2*h - 356 = 0. Suppose 3*m - 4*m = -b. Is m a prime number?
True
Is (66 - 1) + (6 - 2) a prime number?
False
Let y = 617 + -280. Is y a prime number?
True
Suppose 0 = 2*f - 1 + 3. Let o(n) = -4*n**3. Let u be o(1). Let i = f - u. Is i a composite number?
False
Suppose 110 = -j + 4*t, -j - 4*t = -6*j - 534. Let z = j - -197. Is z composite?
True
Let v = -206 + -35. Let f = v + 478. Is f composite?
True
Let u(g) = g**2 + 8*g - 11. Let m be u(8). Suppose 362 = 5*h + m. Is h composite?
True
Let i(l) = l**2 - 9*l + 3. Let c be i(9). Suppose -c*g + 2*q + 255 = -q, -5*g - 5*q = -465. Is g composite?
False
Suppose -5*n + 1827 = -1088. Is n composite?
True
Let o = 7 - 4. Suppose 2*p + 408 = 5*n, o*n + n - 5*p = 323. Is n composite?
True
Suppose 54 = -2*b - 2*o, o = -2*b + 33 - 86. Let d = 201 - 80. Let f = b + d. Is f a prime number?
False
Let f be 2 + 1*-2*-705. Let z = 2290 - f. Is (-6)/(-27) + z/18 prime?
False
Let n(o) = -53*o + 18. Is n(-7) a prime number?
True
Let s(z) = 27*z**2 + 2*z - 1. Let a be s(1). Let k = 21 - -28. Let x = k - a. Is x a composite number?
True
Let g(q) = -11*q - 4. Let i(n) = n**2 - 54*n - 20. Let d(b) = -11*g(b) + 2*i(b). Let r be d(-9). Let m = 48 + r. Is m prime?
True
Let b(a) be the second derivative of a**4/12 - 5*a**3/6 - 3*a**2/2 + a. Is b(-5) a prime number?
True
Let s = 4 - 6. Let y(j) = 4*j**2 + 3*j + 1. Is y(s) a prime number?
True
Suppose k + 8 = 3*k, -44 = -4*t - 5*k. Suppose -t*l + 16 = -2*l. Suppose 0 = -l*c + 311 + 45. Is c a composite number?
False
Let w(z) = 3*z**2 + 2*z. Let x(s) = s**3 + 5*s**2 + 5*s + 4. Let n be x(-3). Is w(n) composite?
True
Let t(d) = -7*d + 1 + 3*d**2 + 3 + 1 - 2*d. Is t(-7) prime?
False
Let k(d) = -33*d + 13. Is k(-12) a composite number?
False
Suppose -4 = -5*l + 3*l. Suppose -45 - 141 = -l*n. Is n prime?
False
Suppose l = -3*c + 185 + 6113, 4222 = 2*c - 4*l. Is c a prime number?
False
Is (-26)/(-3 - (2 - 3)) a composite number?
False
Suppose -2*u - 4*w + 728 = -3*w, 0 = 4*w + 8. Suppose n - u + 142 = 0. Is n a composite number?
False
Let q = 723 + 198. Is q a prime number?
False
Suppose -x = -0*x. Suppose x = 2*f - 2*a + a - 193, a - 292 = -3*f. Is f a prime number?
True
Let g(x) = x + 8. Let w be 24/(-16)*12/2. Let u be g(w). Is (3 - -28)/((-1)/u) composite?
False
Suppose 3*g + 3*p = 6, 4*p - 2 = 4*g + 14. Let a be -9*((-1)/(-3))/g. Is (-74)/a*(-3)/2 prime?
True
Is (-3)/(-3)*-8 - -4 - -1263 a prime number?
True
Let b = 17 - 9. Let n(v) = -v + 3*v**2 - v - 7 - v. Is n(b) prime?
False
Suppose 0 = 4*c + 17 + 3, -i = 3*c - 68. Is i a composite number?
False
Let d be (-1)/(-1) - -2*2. Suppose 0 = -l - 3*o + 221, d*l - 1345 + 260 = -5*o. Suppose p = -4*p + l. Is p composite?
False
Suppose 0 = -6*c + c - 15. Let v = c + 6. Suppose -v*a - 2*a = -415. Is a a prime number?
True
Let c(x) = -13*x + 21. Let t(m) = 3*m - 5. Let g(v) = 2*c(v) + 9*t(v). Let o be g(6). Suppose 0*i + 2*i - 72 = -n, -o*n = -12. Is i a composite number?
True
Let b = 66 + -35. Is b composite?
False
Let v(h) = -1887*h + 6. Let n(t) = -629*t + 2. Let i(r) = 7*n(r) - 2*v(r). Is i(-1) composite?
False
Suppose 9*o = 2*m + 4*o + 102, 2*o + 134 = -3*m. Let f be (m/(-3))/((-2)/(-6)). Suppose 0*q + 2*k = 3*q - f, 6 = -3*k. Is q a composite number?
True
Let o be (-3)/3 + 124/(-2). Let n = 364 + o. Is n a composite number?
True
Is (2*(-10)/8)/(7/(-1358)) a prime number?
False
Suppose -30 = -4*s + 3*x, -3*s - 2*x = -8*s + 41. Let f = s + -6. Is -7*(f - (-3 + 7)) prime?
True
Let r(u) = 4*u**3 - 8*u**2 + 9*u - 8 + 3*u**3 - 6*u**3. Is r(7) composite?
True
Let u(c) = 13*c**2 - 2*c - 3. Let f(x) = -4*x + 43*x**2 - 5*x**2 - 2*x - 9. Let s(n) = 4*f(n) - 11*u(n). Is s(-2) a prime number?
True
Suppose -32*z = -29*z - 1437. Is z a composite number?
False
Suppose g - c - 52 = 333, 5*g + c = 1901. Suppose -3*u + 1494 = g. Is u a prime number?
False
Let n(h) be the second derivative of h**4/6 + h**3 + 3*h**2/2 + 3*h. Is n(-9) prime?
False
Suppose 2*d - 3*m - 21 = -3, -4*d = 4*m + 4. Suppose 0 = 2*y - d*i - 18, -y + 0 = 2*i - 2. Is 35 - (y/2 - 1) prime?
False
Let w(z) = -340*z + 15. Is w(-16) a prime number?
False
Let a = -359 + 652. Is a composite?
False
Let n(z) = z + 10. Let b be n(8). Suppose -5*l + b = v, -l - 3 = -3*v + l. Suppose -5*u - 45 = -3*j, 0 = v*j - 0*u + 4*u - 45. Is j a prime number?
False
Let u be (-1 + 15/6)*6. Suppose u = -2*t + 73. Let q = 63 - t. Is q composite?
False
Let h(y) = -6*y**3 - 13*y**2 -