r?
True
Let w(y) = y - 1. Let n(b) = -b**3 + 2*b**2 + b - 4. Let s(k) = n(k) - 2*w(k). Let q be s(4). Let j = -3 - q. Is j a prime number?
False
Let i(d) = -7*d + 7*d**2 - d - 2*d**2 + 7 + 5*d**2. Is i(5) composite?
True
Let g(m) = m**2 + 4*m - 6. Is g(-7) a prime number?
False
Suppose -22*m = -26*m + 8396. Is m prime?
True
Suppose 2286 = t + 5*t. Is t a prime number?
False
Suppose y - 3*x - 96 = 59, 4*y + 2*x - 676 = 0. Is y a composite number?
False
Let y(c) = 57*c**2 + 6*c + 14. Is y(-5) a composite number?
False
Let k = 44 + 53. Is k a composite number?
False
Let s(i) = i**2 - 3*i - 1. Let m = -11 - -6. Is s(m) composite?
True
Suppose -2*o - 4 - 12 = 0. Let q = o - -13. Suppose 0 = 2*s - 3*h - 8, -h - 3*h + 66 = q*s. Is s a composite number?
True
Suppose 4*m - 293 = -2*q + 17, 2*q - 150 = -2*m. Let a = m - 43. Is a a composite number?
False
Suppose 167 = 5*m - 138. Suppose 5*j = 3*s - 0 + m, -s + 20 = 2*j. Suppose -95 = -2*f + j. Is f composite?
False
Suppose 5*w - 2*i = 4*w + 85, 0 = -3*w - 4*i + 225. Is w composite?
False
Let r(j) = -11*j + 1. Let v(n) = n - 1. Let o(c) = -r(c) - 2*v(c). Is o(2) a prime number?
True
Let q(c) = -102*c - 5 + 198*c - 7*c**2 - 104*c - 2*c**3. Let l be -5 - (-1 - -2 - 0). Is q(l) a prime number?
True
Suppose -4*b + 5*v = -159, 2*b = -v + 5*v + 84. Let c = 2 - b. Is 0 + -2 - (c + -3) prime?
False
Let w = 3 - 5. Is (4 - 7) + (-428)/w prime?
True
Suppose -24 = -4*r - 4*u, -4*r + 2*u = -5*r + 9. Let i(n) = 2*n - 3. Let c be i(r). Suppose x = -c + 28. Is x a prime number?
False
Suppose -3 = -z - c - 0, 3*z = -c + 5. Is (-106)/(z/(-22)*4) composite?
True
Let f(a) be the first derivative of 2*a**3/3 + 4*a**2 - 7*a - 1. Is f(-7) prime?
False
Suppose 0 = -4*n - 4*g + 401 + 191, n = -5*g + 144. Is n a composite number?
False
Let k(d) = 25*d**2 + d - 1. Is k(-3) a prime number?
False
Let b(u) = 2*u**2 + 2*u - 2. Let z be b(-2). Suppose z*q - 132 - 98 = 0. Is q prime?
False
Let d be 38*(-3)/(-12)*4. Let b be d/8 - 6/8. Suppose b*n - 38 = 22. Is n prime?
False
Suppose j - 5*j = 4*o - 84, -4*j + o + 89 = 0. Is j prime?
False
Let k(v) = -9*v**3 + 3*v**2 + 12*v + 1. Is k(-5) prime?
False
Let l(k) be the first derivative of -k**4/4 + 2*k**3 - 3*k**2/2 - 3*k + 2. Let d be l(3). Is d - (3 + -2)*1 prime?
False
Suppose 4 = -r + c - 10, -3*r = 2*c + 17. Let q(z) be the first derivative of z**3/3 + 3*z**2/2 - z + 1. Is q(r) prime?
True
Let p be (1 - 1) + 0 + 2. Suppose 84 = p*i + 2*i. Let l = 40 - i. Is l a prime number?
True
Let u be 16/24 + 1802/6. Suppose 2*s - v - 317 + 26 = 0, u = 2*s + v. Suppose 2*t = -2*t + s. Is t a prime number?
True
Suppose 3*c - 22 - 62 = 0. Suppose 3*h = -0*h + 285. Let n = h - c. Is n a prime number?
True
Suppose -b = 3*m - 21, -m - b = -2*b - 7. Is m a prime number?
True
Let q be (9/(-6))/((-1)/2). Suppose h = q*p - 0*p + 24, -3*h + 2*p = -44. Suppose t = 13 + h. Is t composite?
True
Suppose -4*a + 2*b + 423 = -a, -3*b - 420 = -3*a. Let h(v) = -v + 18. Let c be h(16). Suppose -2*i + 136 = c*i - 4*r, -3*r = 4*i - a. Is i a prime number?
False
Let k(g) = -252*g + 39. Is k(-10) composite?
True
Suppose -d - 4*h - 12 = 3*d, -8 = -4*d + h. Let c be ((-3)/9)/(d/(-12)). Is 334/6 + c/(-6) composite?
True
Suppose 0 = 4*z - 0*z - 8. Suppose 13 - 83 = -z*b. Is b composite?
True
Let f be (1/4)/(4/16). Suppose -f = 3*v - 7. Suppose 0 = -v*b - 0*b + 62. Is b a prime number?
True
Suppose -1743 = -5*j + 4*j. Suppose -j = -x - 2*x. Is x a composite number?
True
Suppose -5*r - 92 + 1207 = 0. Is r a prime number?
True
Let q(v) = -95*v**3 + 2*v**2 - 1. Let s be q(1). Suppose 2*h = -65 + 327. Let g = s + h. Is g a composite number?
False
Let b = 83 - 60. Is b a prime number?
True
Suppose 0*b + 20 = 5*b. Suppose -2*g = -b*w + 62, 4*w - 42 = w - 3*g. Suppose -3*r - w + 114 = 0. Is r a prime number?
False
Let y = 614 - 411. Is y prime?
False
Suppose 425 = 8*d - 5*d - 4*y, 0 = 2*d - 5*y - 288. Is d a composite number?
False
Suppose -64 = -3*x + 44. Suppose -2*q = -2*g - x - 16, 0 = 4*q + 5*g - 68. Suppose -o + q = o. Is o composite?
False
Suppose -4*l + 98 = l + 2*v, -v + 58 = 3*l. Let i = 37 + l. Is i prime?
False
Suppose 0 = 2*l + l - 9. Let j be l/(9/(-4) + 3). Suppose j*n - 29 = -g, -n + 99 = 3*g - 10. Is g a prime number?
True
Let z(i) = -i**2 - 4*i + 5. Let d be z(-5). Suppose -4*p = -5*c - 1165, 3*c + 3*p + 672 = -d*p. Is (-4)/(-14) - c/7 prime?
False
Suppose -6*h - o = -h - 29, 0 = 4*h - o - 16. Suppose 14 = h*a - 56. Is a a prime number?
False
Let g = -323 + 462. Is g composite?
False
Is (-63 - -4)/(3 - 4) a composite number?
False
Let l = 2 + -8. Let c = l - -8. Suppose g + c*g - 231 = 0. Is g a prime number?
False
Suppose -2*a - 2 = 2. Let c be (1/a)/(5/(-30)). Let b = c + 16. Is b prime?
True
Let y = 197 + -40. Is y a composite number?
False
Let p be 4/(-6)*26*3. Let m = p - -74. Is m prime?
False
Let r(i) = 5*i**3 - 4*i**2 + 3*i + 3. Let j be r(4). Suppose j = 2*k + 53. Is k a composite number?
False
Suppose -3*j - 22 + 259 = 0. Is j composite?
False
Suppose 0 = 5*x - 5*n - 25, 0 = -2*x - 4*n + 7 - 3. Let g = x + -6. Is g/(-5) - (-43)/5 a composite number?
True
Let w(r) be the first derivative of r**3/3 + 3*r**2/2 - 2. Let t be w(-6). Suppose -c + 5*h + t = 5, 0 = -5*c - 4*h + 181. Is c a prime number?
False
Let i(l) = 4*l - 6. Let x be i(5). Let o be 26 - 12/(-4)*-1. Suppose o = d - x. Is d composite?
False
Let g be (-4)/(-5) + (-2)/(-10). Is (g/2)/((-8)/(-9296)) composite?
True
Let r be ((-6)/(-2))/(2/34). Suppose -g + y = -13, -y = -0*g + 3*g - r. Suppose 0 = -3*v + 5*p + 32 + 26, -v + 5*p + g = 0. Is v prime?
False
Suppose -4 = 4*j, o + 3*j + 0*j = 527. Let i = 259 - o. Let d = -192 - i. Is d a prime number?
True
Is -4 + 2 + 1162 + 3 a composite number?
False
Let z = -19 + 27. Let b(i) = 5*i**2 - 3*i + 11. Is b(z) composite?
False
Suppose 3*k + 4*p = -115, -18 = k + 5*p + 2. Let q = k - -236. Is q a prime number?
True
Let w = 1312 - -583. Is w a prime number?
False
Is 4/(-26) + (-33936)/(-208) a prime number?
True
Is 1 + (0 - -3 - -70) a composite number?
True
Let v be ((-2)/2)/((-5)/900). Suppose x = 2, 5*g + 6*x - x = v. Is g a prime number?
False
Suppose -4*n + 30695 = 3*n. Is n composite?
True
Suppose x - 4 = 187. Is x a prime number?
True
Let u be -1 + 0 - (-3)/3. Suppose u = -3*h + 2*h + 379. Is h a composite number?
False
Let i(r) = 144*r. Let x be i(1). Let s = -23 + x. Is s prime?
False
Let f = -31 + 3. Let v = f - -47. Let c = v - -46. Is c a prime number?
False
Suppose 5*o - 82 = -317. Is o/(-5) - 2/5 prime?
False
Let f(d) = 5*d**2 - 5*d + 5. Suppose -b - 4*b = 40. Is f(b) composite?
True
Let f be 3 + -1 + (46 - 0). Let b = f + 7. Is b composite?
True
Let c(s) be the second derivative of s**3/3 + 6*s**2 - 2*s. Let n be c(-8). Is n/(24/15 + -2) composite?
True
Suppose 0 = -4*w - 4. Let t(k) = k + 1. Let a be t(w). Suppose 3*q - 72 + 30 = a. Is q a prime number?
False
Let w = 0 + 2. Suppose -14 = -w*n - 0*n + 4*b, 5*n - 2*b = 27. Suppose n*c + 153 = 538. Is c a composite number?
True
Is 1/(-2)*(-69)/(-6)*-44 a composite number?
True
Suppose 2*n - 45 - 1 = 0. Suppose 3*j = 2*d + j + 66, -2*j + 156 = -5*d. Let u = n - d. Is u a composite number?
False
Let p = -2163 - -3670. Is p composite?
True
Suppose 5*x - 32 - 203 = 0. Is x composite?
False
Suppose 0*n + 168 = 4*n. Let b = -11 + n. Is b a composite number?
False
Suppose 2*s - 1163 = -3*u, 0*u - u - 3*s = -390. Suppose p = -4*r + u, 4*p = 4*r - 0*p - 392. Is r composite?
False
Suppose 2*i - 4*i + 5*x + 769 = 0, -3*i + 5*x = -1141. Suppose -i = 2*m - 6*m. Is m a composite number?
True
Let c be 108/(-16) + 3/4. Let z = c - -9. Suppose -z*v - 6*k = -2*k - 55, k + 5 = 0. Is v a composite number?
True
Suppose 5*p = -3*z - 6, z + 3*p + 2 = p. Let j(q) = -3*q**3 - 2*q**2 - 2*q - 1. Is j(z) a prime number?
True
Let r(c) = c**2 + 5*c + 6. Suppose 3*f = u + 8, 4*u - 2*f + 22 = -0*u. Let p be r(u). Let l = p + -3. Is l composite?
False
Is 6*(-14020)/(-104) - (-2)/13 prime?
True
Suppose 4*g = -4*i + 44, 0 = -i + 5*g - 0*g + 41. Suppose 4*b - 92 = -i. Is b composite?
False
Let j(a) = -a**2 + 11*a - 7. Suppose 4*q + 3*v = -0*q + 1, 2*v = 5*q - 30. Suppose 4*b = 4*p + 28, 0 - 16 = -2*b + q*p. Is j(b) a prime number?
True
Suppose 0*c = -5*c + 610. Is c a compos