914 = 4*c. Suppose n = 225 + c. Suppose 0 = u + 4*u - n. Is u composite?
False
Let r(d) = d**2 - 10*d + 3. Let s be r(8). Let l = s - -53. Let v = -21 + l. Is v composite?
False
Let n = -138 - -403. Is n prime?
False
Let p = -4 - -7. Let l be p/((-3)/28)*-1. Suppose -u = 3*u - l. Is u prime?
True
Suppose w - 2*g = 3*g + 61, 0 = -4*w - 3*g + 152. Let j = -10 + w. Is j composite?
False
Is -3 - (-3 + -3*11) a composite number?
True
Let n = 995 + -312. Is n composite?
False
Suppose 2*n - 5*o = -10 + 67, n = -5*o + 36. Is n a prime number?
True
Let g = 0 + -6. Let l(y) = 9*y. Let m(q) = -q - 1. Let b(k) = -l(k) - 3*m(k). Is b(g) composite?
True
Is (128 - 1)/(5/15*3) a prime number?
True
Let w = -56 + 315. Is w prime?
False
Let x(r) = -r**3 + 12*r**2 + 9*r - 10. Let y be x(14). Suppose -h - 3*f - 419 = 0, 0*f + 12 = 3*f. Let j = y - h. Is j a prime number?
False
Suppose f + 68 = -3*f. Let d(j) = -j + 2. Let a be d(3). Is -2*(f + a + -1) a composite number?
True
Let c be 2/3 + (-4)/6. Suppose -4*l + 7 + 13 = c, -a + 8 = -5*l. Is a a composite number?
True
Suppose -4*i = -7 - 9. Suppose 15 - 291 = -i*h. Suppose o + 2*o - h = 0. Is o a prime number?
True
Suppose 0 = 2*f + 4*s - 1950, 4*f - 5*s - 1968 = 2*f. Is f a composite number?
True
Let o = -15 + 22. Let g = 70 - 40. Let s = g + o. Is s prime?
True
Let v be 9/12 - 377/(-4). Let n = v + -42. Is n composite?
False
Suppose 0 = 5*z - 2*v - 58, -4*v = -5*v + 1. Suppose -3*q = -4*y + 27, 0 = -2*y + 6*y + 2*q - 2. Suppose -h + y*h = z. Is h prime?
False
Suppose 31 = 4*q - 5. Let v(f) = 9*f - 12. Let p be v(q). Suppose 42 = 3*l - p. Is l prime?
True
Let j(a) = -8*a**3 + 2*a**2 - 4*a - 9. Is j(-7) a composite number?
False
Suppose r - 4*r + 474 = 0. Is r/2 - (2 + -2) prime?
True
Suppose -i - 6 = 3*z, 0 = 2*i + z + z. Let l be (0 + -5)*i/(-3). Is (0 - 2) + 4 + l composite?
False
Suppose 2*l - 13 = 3. Is 1298/l - 24/(-32) prime?
True
Let a be 12 - 12 - (0 + 0). Suppose a = -5*r + 9*r - 1148. Is r a prime number?
False
Suppose -2*p + 3*i = -5*p + 3, i + 17 = 5*p. Suppose 0 = -5*z + p*x + 19, -2*z + 2*x = -3*z - 4. Suppose -8 = -z*b, 2*v - 4*b - 319 = -3*v. Is v a prime number?
True
Suppose 2*i + 1368 - 107 = h, 3*i = 2*h - 2519. Is h composite?
True
Let k(u) = 14*u**2 + 4*u + 7. Is k(5) composite?
True
Let r = -776 + 156. Let a = 880 + r. Suppose -5*g + 0*j = -j - a, -2*g + 131 = 5*j. Is g a prime number?
True
Let b(p) = p**2 - 3*p - 7. Let d be b(5). Suppose w = -4*n + 387, 8*n - d*n + 4*w - 481 = 0. Is n a composite number?
False
Let y = 42 + 9. Is y composite?
True
Suppose 4*m + 0 - 8 = 0. Suppose 26 = m*c - 0*c. Is c a prime number?
True
Let x = -12 - -61. Is x a prime number?
False
Suppose 5*m + 7 - 24 = 2*y, -2*m = -5*y + 10. Suppose -m*w - 3 = 17. Is (53 + -7)*(-2)/w a prime number?
True
Let o = 15 + -11. Suppose 4*j = o*k - 136, 148 = -0*j - 4*j - 2*k. Is -1 - 2/(-1) - j a composite number?
False
Let k(c) = 18*c + 3. Suppose -5*q - 15 = -5*n, 0 = -2*n + 5*q - 1 + 22. Let j(d) = 54*d + 8. Let f(m) = n*j(m) + 7*k(m). Is f(4) prime?
False
Suppose -3*z + 48 + 14 = 2*v, 1 = v. Let t = -13 + z. Is t a composite number?
False
Let f(g) = 24*g**3 + g. Is f(2) a prime number?
False
Suppose w + 2*w - 7881 = 0. Is w a composite number?
True
Suppose 0*x = x - 379. Is x a composite number?
False
Let c = 323 - -1662. Is c a prime number?
False
Let y be 1401/15 - 2/5. Suppose 0 = -t - 14 + y. Is t a prime number?
True
Suppose q + 2*p + 1498 = 6*q, -3*q + 895 = -5*p. Let d(r) = -r**3 - r**2 - 1. Let s be d(-6). Let n = q - s. Is n composite?
True
Suppose -4*r - 11 + 259 = 4*c, -c - 5*r = -74. Suppose 0 = 2*g - g - c. Is g prime?
True
Suppose 0 = 10*b - 380 - 50. Is b composite?
False
Let n = 10 - 8. Suppose 15 = 5*z - 5*h, -4*h - 15 + 3 = 4*z. Is z + 1 + 146 + n composite?
False
Suppose 6 = -3*n, n = 4*q - 4*n - 2174. Is q a composite number?
False
Let k(x) = -x**3 + 24*x**2 - 14*x - 32. Is k(17) composite?
False
Suppose -2*q + 925 = 3*s, -5*s - q + 1551 = -0*q. Is s a composite number?
False
Suppose -v - 9 = -4*v, 291 = 3*p + 2*v. Is p prime?
False
Let k = 231 - 120. Is k a prime number?
False
Let t be (-1*(0 - 2))/(-2). Let n be 1 + t - 4/(-2). Suppose 4*y - 3*c - 166 = 0, -y = -n*y + 5*c + 33. Is y composite?
False
Let k(u) = -u**2 + 9*u + 1. Let y be k(9). Let n(s) = 3*s**3 + 2*s - 1. Let l be n(y). Is 2/l + (-105)/(-2) a prime number?
True
Suppose -3*r + 8 = -13. Let f = r - 3. Suppose 3*z + 22 + 69 = m, -f*m = -z - 375. Is m composite?
True
Let l be (-1 + 1)*4/(-12). Let y(i) = -i**3 + i + 409. Is y(l) a prime number?
True
Let i(p) = p**3 + 4*p**2 - 7*p - 3. Is i(7) a composite number?
False
Let t be 96*2*(-3)/12. Let s = t - -175. Is s a prime number?
True
Is 3/((-6)/(-7))*26 a composite number?
True
Suppose -5*h - 3*a - 2*a + 375 = 0, h = 2*a + 75. Suppose h = 4*q - 1. Is q prime?
True
Suppose 2*f + 5*d - 638 + 1696 = 0, -4*f - 4*d = 2140. Let c = f + 1674. Is c composite?
True
Let a(y) = -23*y - 27. Is a(-14) a prime number?
False
Is (-12)/18 + 2206/6 prime?
True
Is 24/6 + (0 - -123) composite?
False
Suppose -4*w = -b + 290, 0 = -5*b + 5*w - 251 + 1731. Is b prime?
False
Let x(v) = -v**3 - 4*v**2 - 2*v - 2. Let w be x(-4). Let s = w - 7. Is 1 - -13 - 0 - s composite?
True
Let s(r) = r**3 + 2*r**2. Let f be s(-2). Let m(z) = z**3 - z**2 - z + 35. Let o be m(f). Suppose 0*n + o = 5*n. Is n a prime number?
True
Suppose 4*r = -114 - 154. Is (-1)/3 - r/3 a composite number?
True
Let q(v) = -v**3 - 3*v**2 + v - 8. Let g be q(-4). Is g + -4 - 89*-1 prime?
True
Let h(p) = -101*p + 16. Let r(o) = -100*o + 15. Let n(m) = -6*h(m) + 7*r(m). Is n(-6) composite?
True
Suppose 9*k - 4*k = 1490. Let q = k - 164. Is q a prime number?
False
Suppose 2*j + 3*m + 6 = 0, -2*j + 2 - 4 = m. Let v be (6 + j)*1/1. Suppose l - 1 - 20 = o, 3*o = -v. Is l composite?
False
Suppose -2*a = -c - 6783, -6*a + 2*c + 10177 = -3*a. Is a a prime number?
True
Let q(j) = -3*j - 1 + 23*j**2 + 19*j**2 + 3*j**2. Is q(-2) a prime number?
False
Suppose -77 = h - 2*h. Is h composite?
True
Let r(z) be the third derivative of 41*z**4/24 + 5*z**3/6 - 2*z**2. Let l be r(-4). Is (1/(-3))/(1/l) a prime number?
True
Suppose 3721 + 5018 = 9*m. Is m composite?
False
Suppose 3*n = s + 2*s + 1611, 5*n = -4*s + 2703. Let q = n + -196. Suppose 5*m - 4*x = q, -2*m - x = 2*m - 266. Is m composite?
False
Suppose d = 3*d + 68. Let o = 77 + d. Is o prime?
True
Let v(p) = 118*p - 11. Is v(6) prime?
False
Let o be (-12)/(-42) - (-9810)/14. Suppose 2*v + o = 6*v - 5*h, 3 = -3*h. Suppose -5*a = -1219 + v. Is a a composite number?
True
Let r(u) = -5*u + 1. Let y be r(1). Let n be (-2)/(-8) - 599/y. Let c = n + -1. Is c composite?
False
Let z = -308 - -673. Is z composite?
True
Suppose 2*f - 132 - 122 = 0. Is f a prime number?
True
Let u(s) = s**2 - 7*s + 3. Let p be u(5). Let n = p - -5. Let q = n + 33. Is q a composite number?
False
Let n be ((-20)/6)/((-2)/3). Suppose 0 = -n*t + 42 + 53. Let a = 7 + t. Is a a composite number?
True
Suppose -677 - 442 = -3*i. Is i a prime number?
True
Suppose 0 = -t + 2*o - 22, 5*t + 0*o = o - 65. Let f be (4/3)/(-4)*t. Suppose -f*i + 20 = -16. Is i a composite number?
True
Let v = -12 + 18. Suppose c = v*c - 25. Suppose 60 = c*o + 5*r, 2*o - 37 = -5*r + 2. Is o a prime number?
True
Suppose -4*p = -3*u - 1505, -3*p - 1887 = -8*p - 2*u. Is p a composite number?
True
Is (((-308)/6)/(-1))/(4/6) a prime number?
False
Let p(x) = -94*x - 17. Suppose 2 = -2*r, 3*r + 19 - 44 = 4*k. Is p(k) prime?
True
Let n(p) = -p + 4. Let h be n(0). Is 6/((-12)/(-238)) - h prime?
False
Let z = -25 - -41. Let o be (-26)/(-8) - 4/z. Suppose o*b = -t + 41 - 4, b = 4. Is t composite?
True
Let n = -5 + 5. Suppose -l - l = n. Is (l + -79)/(0 + -1) composite?
False
Suppose -4*p - 261 = -7*p. Let x = p - 16. Is x a prime number?
True
Let w(y) = y**2 - 3*y + 1195. Is w(0) a composite number?
True
Let f(d) = -d**3 - 2*d**2 + 6*d + 9. Let w be f(-7). Suppose 3*p = -p + w. Is p a composite number?
False
Let o be 1/3 - (-238)/6. Suppose 3*g - 4*g + o = 0. Suppose -2*y + 62 = -g. Is y a composite number?
True
Let q(x) = x**3 + 10*x**2 - x - 5. Let u be -10*(-1)/(-3 + 2). Let m be q(u). Suppose 3*z - c = 112, 2*z = m*c - 3*c + 76. Is z composite?
False
Let f = 13 + -8. Suppose