t - 92. Let c = 12 - t. Let a = c - -78. Is a prime?
True
Suppose -2 = b + 12. Is b/(-7) + (-141)/(-1) a prime number?
False
Let v be 21/(-2)*4/6. Let f(k) = -k**3 - 7*k**2 - 3*k + 4. Is f(v) composite?
True
Let h(c) = c + 5. Let f be h(-5). Suppose f*w + 36 = -a + 2*w, 0 = 3*w - 3. Let x = a + 65. Is x composite?
False
Let s(k) = k**2 - 7*k - 7. Let b be s(7). Let l(v) = -8*v - 2. Let a be l(b). Suppose 14 + a = 2*u - t, -2*u - 3*t = -60. Is u composite?
True
Suppose s = -3*s. Let i(g) = g + 21. Is i(s) prime?
False
Suppose 4*j - 821 = 3*j. Is j a composite number?
False
Let g be -6 - 2/(-3)*3. Let l = g - -12. Let y(f) = f - 1. Is y(l) composite?
False
Let a be (-6)/15 + 14/10. Is (532/(-2))/((-2)/a) composite?
True
Let x(s) = -3*s - 5. Is x(-6) composite?
False
Suppose 10*v = 5*v + 18595. Is v composite?
False
Suppose 0 = -r, 23 - 3 = 5*y - 4*r. Suppose 3*u = -4*i + y - 3, u - 5*i = 13. Suppose 2*h - u = 59. Is h a prime number?
True
Let m(k) = k. Let j be m(2). Suppose -j*x + 418 + 4 = 0. Is x composite?
False
Suppose -3*c + 193 = -56. Is c a prime number?
True
Let g(v) be the first derivative of -v**3/3 + 5*v**2 + 13*v - 3. Let z be g(11). Suppose 152 = z*m - 26. Is m a prime number?
True
Is 21*8/(-12)*-1 a prime number?
False
Suppose -5*v + 5*q + 20 = 0, -q - 9 + 0 = -2*v. Suppose 113 = 3*y + v*j - 162, -3*y + 279 = 3*j. Is y a composite number?
True
Let p(l) = -l**3 - l**2 + 1. Let c be p(-1). Let q = 1 - c. Suppose 5*t = -5*a + 55, 0 = -q*a + 4*a + 8. Is t a composite number?
False
Let a = -288 + 537. Is a prime?
False
Let f = 658 - 171. Is f prime?
True
Suppose -3*h + 2*g + g - 3 = 0, -h + 15 = 3*g. Suppose -h*b = 2*b - 255. Is b composite?
True
Suppose 4*x - 4*p = -1556, -5*x + 2*p - 2348 = -388. Let g = -263 - x. Is g a composite number?
False
Let y(f) be the third derivative of f**5/12 + f**4/24 + f**3/6 - 2*f**2. Let c be y(-1). Suppose c*z - 13 = -2*a, 5 = -z - 0*z. Is a a composite number?
False
Suppose 0 = 3*o - 3*z - 0*z + 30, -o = 3*z - 2. Let f be -1*o*(-2 - -4). Suppose -2*p + 28 = -f. Is p a composite number?
True
Suppose 0 = -4*n - 0 + 4. Is -3 - (-78 - 2/n) a composite number?
True
Suppose 0*f + 536 = -4*f. Is f/(2 - 2 - 2) prime?
True
Let f(t) = 7*t**2 + 12*t + 7. Is f(-10) a composite number?
False
Suppose 4*z = -q + 74, -q + 99 = z - 2*z. Suppose j = 3*f + 76 + q, 0 = -2*j + 3*f + 355. Is j a prime number?
False
Suppose w = 2*w - 4*c + 119, -4*c - 571 = 5*w. Let v be ((-12)/2)/(1/w). Is v/14 - (-4)/(-14) composite?
True
Suppose 0 = -3*k + k + 586. Is k composite?
False
Suppose -3*x - x = 0, 0 = 2*u - 4*x - 1086. Suppose 0*v - u = -3*v. Is v a composite number?
False
Let h(d) = d**3 + 7*d**2 + 3*d + 13. Is h(-6) a composite number?
False
Suppose -r = -4*b + 2*r + 23, 0 = -5*b + 4*r + 30. Let u = -7 + 5. Is (-21 + b)*u/2 a prime number?
True
Let m(n) = -n - 3. Let x be m(-8). Suppose h = x*h. Suppose -k - 3*s + 31 = 0, h = -3*k - 2*s - 0*s + 128. Is k composite?
True
Let j(n) = -2*n**3 + n**2 + 3*n - 11. Is j(-5) composite?
True
Let y be (-2)/(-3)*-9 - -3. Is (y + 4)*(-78)/(-3) a composite number?
True
Let c(a) = -4*a + 3. Suppose 3*r + 11 = -13. Is c(r) prime?
False
Suppose 2667 = 7*x - 4*x. Is x prime?
False
Let o(a) = 3 + 3*a + 0*a**2 - a**2 + 4*a**2 + 4. Is o(-7) composite?
True
Suppose z = 3*g + 4, -3*g = -5*z + 10 - 2. Is (31/(-5))/(z/(-5)) a composite number?
False
Let n = -8 + 5. Is -590*n*(-1)/(-6) composite?
True
Suppose -3*v = -6*v - 63. Let x be (3 + 0)*(-28)/v. Is -1*22/x*-2 a prime number?
True
Suppose -2*n + 0*m + 2230 = m, -2*m = 8. Is n prime?
True
Suppose -3*u + 168 + 459 = 0. Suppose 2*x + 3*i = -0*x + u, -2*i = -2*x + 184. Is x composite?
False
Let d(f) = f**3 + 10*f**2 - 9*f + 1. Let z = -7 + -3. Is d(z) a prime number?
False
Let n(c) = -32*c + 1. Let s = -6 - -5. Is n(s) composite?
True
Suppose 3*g - 27 = 18. Let x = -12 + g. Is x a composite number?
False
Is (4/(-12))/((-1)/1317) prime?
True
Let f(v) = -4*v + 30. Let q(c) = 5*c - 29. Let r(p) = 6*f(p) + 5*q(p). Is r(0) composite?
True
Let p be (-455)/(-3) - 8/(-24). Suppose -3*h - 2*k + 74 = -h, -4*h - 2*k + p = 0. Is h a composite number?
True
Let r be (-2)/(-7) + (-68)/(-7). Let c(v) = 5 - 9*v + 8 - 4*v**2 + 5*v**2. Is c(r) a prime number?
True
Suppose 4*r - 3*j - 169 - 427 = 0, 2*r = 4*j + 298. Is r prime?
True
Suppose -i + 0 - 2 = 0, -t = 2*i + 2. Suppose -o + 65 = 5*h, -2*o - t*h = -9 - 121. Is o composite?
True
Suppose 14*w - 3801 + 959 = 0. Is w prime?
False
Let z = 21 + -15. Suppose 3*p = z + 3. Suppose 0 = -0*y - p*y + 99. Is y prime?
False
Let s(i) = 323*i**2 - i + 3. Is s(2) a composite number?
True
Let y(u) = -19*u**3 + u**2 - u - 5*u**2 - 29 + 30. Is y(-3) prime?
False
Let t(x) = -23*x + 32. Is t(-10) a prime number?
False
Suppose 60*o - 7217 = 59*o. Is o prime?
False
Let i(x) be the second derivative of x**7/140 + x**6/90 - x**5/60 - x**4/24 - x**3/3 + 3*x. Let j(f) be the second derivative of i(f). Is j(2) composite?
False
Let b(i) be the third derivative of -i**6/120 + 3*i**5/20 - i**4/6 + i**3/3 - i**2. Is b(6) a composite number?
True
Suppose 8*h - 15071 = h. Is h composite?
False
Is 25/(-10)*(-178)/5 a prime number?
True
Let o = -7 - -5. Let s(z) = -3*z**3 - 4*z**2 - 4*z - 2. Is s(o) prime?
False
Suppose -1504 = 2*g - 5*p, -672 + 3692 = -4*g + 4*p. Let s = g + 1404. Is s prime?
True
Suppose 0*b - 2*b + 239 = 3*w, 0 = 2*b + 5*w - 241. Is b composite?
True
Let a = 68 - 31. Is a a prime number?
True
Let l(a) = 3*a + 77. Is l(0) a prime number?
False
Is 101*(16 - (-4 - -3)) a composite number?
True
Suppose 7*k - 36 = 13. Is k a composite number?
False
Suppose -4*i + 3*p = -0*p + 3, 3*p - 15 = 0. Suppose i*o - 159 = -0*o. Suppose 5*d = -l + o, 5*l - 55 = -2*d - 2*d. Is d a prime number?
False
Let f(m) = -8*m**3 - m**2 + 4. Let i(n) = -n**2 + 6*n - 3. Let q be i(6). Is f(q) a composite number?
False
Let s(y) = -16*y**3 - y**2. Let g(f) = f**2 - 4*f - 1. Suppose 0 = -3*b - 0*b + 12. Let j be g(b). Is s(j) a prime number?
False
Let k(v) = -v**2 + 8*v + 2. Let p be k(8). Suppose -p*d + 5*d = 0. Suppose 175 = 5*j - d*j. Is j a prime number?
False
Suppose -1352 = -5*z - 397. Is z a prime number?
True
Let f be -27*(-2)/(18/21). Let d(x) = -5*x - 1. Let l be d(-1). Suppose -l*b + 16 = 0, t + f = 2*t + 3*b. Is t prime?
False
Let j(i) = i**3 + 6*i**2 - 7. Let t be (6 + -2)*10/(-8). Let a be j(t). Is 939/27 + 4/a a prime number?
False
Suppose 3*v - v + 5*i = 24, 2*v + 3*i - 16 = 0. Suppose -3*a = -x - 2 + 5, 5*a = -v*x - 5. Is 144/4 - (-1 + x) a composite number?
False
Let s = -86 - -121. Suppose -s = -2*f + 17. Is f a prime number?
False
Suppose -18 = 5*h + 3*v, h + 3*v - 8 = -2. Suppose 0 = -4*m + 4*u + 116, -u + 52 = 3*m - m. Let w = m + h. Is w a composite number?
True
Let z(j) = 30*j**2 + j + 2. Is z(-1) composite?
False
Suppose -v - 19 = -3*y, 5*y + 5*v - 2*v - 27 = 0. Suppose 5*a = y*a - 59. Is a a prime number?
True
Let u(h) = 94*h**2 + 2*h + 1. Is u(-1) prime?
False
Suppose 5*b + r - 2115 = -0*b, b + 4*r = 442. Is b composite?
True
Suppose 0 = -4*d + 3*d + 361. Suppose p = d - 862. Let o = 790 + p. Is o composite?
True
Let x be 1*(1 - 2 - 0). Let n = -32 + 52. Let s = n - x. Is s prime?
False
Let s(j) = 10*j**2 - 11*j + 15. Is s(14) prime?
False
Is 922/2 + -5 + 1 a composite number?
False
Let a(t) be the first derivative of -t**3/3 + 4*t**2 + 2*t - 2. Is a(6) a prime number?
False
Let v(y) = -y**2 - 9*y - 8. Let i(q) = -1. Let p(a) = 4*i(a) + v(a). Let t be p(-8). Is (-230)/(4*2/t) a composite number?
True
Suppose -6 = -q + 4. Is 76/q + (-3)/5 composite?
False
Suppose 3*d = 3*z + 2130, 4*z + 2*d = z - 2110. Let l = z - -1263. Is l composite?
False
Suppose 0 = -r - r + 238. Is r a prime number?
False
Let k(l) = l**2 + 7*l + 6. Let m be k(-7). Suppose -4*x + m*x = 110. Is x a prime number?
False
Let g(j) = j**3 + 4*j**2 - 11*j + 13. Is g(6) a composite number?
False
Let w(x) = x**2 + x + 183. Is w(0) a composite number?
True
Let a(k) = k - 4. Let t be a(0). Let q be 4*(0 - 2/t). Suppose -4*o + q*o + 4*h + 274 = 0, 2*o - 2*h = 268. Is o a composite number?
False
Let y = -549 - -1216. Is y a composite number?
True
Suppose 0 = -2*g + q + 21, -3*g - q = -3*q - 32. Is g prime?
False
Suppose -z + 32 = -4*s - 5, 0 = -3*s - z - 26. Let y = 