t a be c(-12). Suppose 0 = j + a*j - 861. Is j composite?
True
Suppose 2*l + j - 630 = -0*j, j = 4*l - 1272. Is l a composite number?
False
Let z be (-80 + 3)*-7*1. Let i = -337 + z. Is i a prime number?
False
Let t(d) = -38*d + 7. Is t(-3) composite?
True
Let p = -441 + 714. Suppose -3*g + 2 + 13 = 0. Suppose -8*w + p = -g*w. Is w prime?
False
Let p(c) = -c - 2. Let q be p(-3). Is (-59)/((-2)/(2/q)) prime?
True
Suppose 4*k - 10 = -k. Let f(s) = -s**2 - 6*s + 4. Let q be f(-6). Suppose 2*b = q*u - 326, k*u - 247 = -u + 2*b. Is u composite?
False
Let h = -258 - -397. Let z = 374 - h. Is z prime?
False
Suppose 0 = -3*x + 5*o + 2297, -2*x + 4*x - 4*o - 1530 = 0. Is x a prime number?
True
Suppose 30 = 5*f + 5. Suppose f*b + 64 = 179. Is b a composite number?
False
Let d(y) = -3*y + 1. Let s(r) = -7*r - 1. Let p be s(1). Is d(p) composite?
True
Let l = -3 - -3. Suppose a - 6*a = l. Suppose 3*o - 22 - 95 = a. Is o prime?
False
Let p(b) = -3*b**3 + 2*b**2 - 5*b - 1. Is p(-6) composite?
True
Let w = 6 + -5. Is (-300)/(-3)*w - -3 prime?
True
Suppose -q + 2 - 1 = 0, 3*f + 7 = q. Is 1*(f - (-1 - 222)) prime?
False
Let i be ((-174)/4)/((-3)/6). Let s(z) = -37*z + 1. Let b be s(-1). Let u = i - b. Is u prime?
False
Let d = 185 + -105. Suppose 454 = 2*l + d. Is l a prime number?
False
Let u(k) = k - 1. Let m be u(5). Suppose 3*w = 5*n - 25, n = m*w + 6*n - 25. Suppose 3*l - 495 + 114 = w. Is l composite?
False
Suppose -4*t + t = 0. Suppose l - 6*l + 210 = t. Suppose -j + l = j. Is j prime?
False
Let w(y) = y**2 + 4*y. Let c be w(-4). Is 43 - (c/(-3))/2 a prime number?
True
Suppose 0 = -5*m + 2*c + 17426, -8 = 2*c - 2. Is 2/9 + m/36 composite?
False
Suppose -2*c + 0*c + 446 = 0. Is c prime?
True
Suppose 2*r - 3 - 3 = 0. Suppose 3*l + r*b = 327, -2*b = 4*l - 5*b - 436. Let o = l + -50. Is o prime?
True
Let m be 8/(-28) - (-4)/14. Suppose -3*b + 5*b - 116 = m. Is b a composite number?
True
Is 177/((-6)/4*-1) composite?
True
Suppose 0 = -c - 5, a - 228 = 7*c - 2*c. Is a composite?
True
Let g be ((-1)/(-2))/(1/14). Let s = 3 - g. Is s/(-6) + 16/12 a composite number?
False
Suppose 344 = 2*g - 62. Is g a composite number?
True
Suppose 2*m + 0*m = 4. Let l = 3 - 2. Is (m - l) + (0 - -25) prime?
False
Let t be (3 + -2)*9 + 3. Let q = 39 + t. Is q composite?
True
Let c be (-8)/(-3)*(-4 + 1). Let h(x) = 17*x - 1. Let y(g) = -16*g + 1. Let u(j) = -4*h(j) - 3*y(j). Is u(c) prime?
False
Let f = -1 - 1. Let u be f/6*7*-3. Suppose -32 + u = -c + 3*q, 3*c - 75 = q. Is c a prime number?
False
Let w(b) = -139*b + 39. Is w(-8) composite?
False
Let c(t) = t + 1. Let f be c(2). Suppose f*a - 6 = 0, -3*m = -4*a - 986 - 449. Is m a composite number?
True
Let s(x) = 3*x**2 - 4*x + 2. Let b be s(6). Suppose -b = -l + 118. Suppose 4*o + 0*o = l. Is o a prime number?
False
Suppose 2*w = -2*w. Suppose -805 = -w*r - 4*r - 3*z, r = z + 210. Is r a composite number?
True
Let b = -72 + 155. Is b a prime number?
True
Let h(t) = 8*t**2 + 10*t - 15. Is h(-8) a prime number?
False
Let b(v) = 27*v + 1. Suppose -2*w + 0*s = -3*s - 22, 2*w = 5*s + 26. Let o be b(w). Let i = -120 + o. Is i prime?
True
Let f(r) be the third derivative of r**4/8 - r**3/3 - 2*r**2. Is f(7) a prime number?
True
Let z(k) = -k**3 - 8*k**2 - 2*k + 3. Is z(-8) composite?
False
Let s be 2 - 0 - 764/4. Let o = -56 - s. Is o composite?
True
Suppose 3*i - 6*i + 315 = 0. Let b = i + -47. Is b prime?
False
Suppose 33*b = 28*b + 5395. Is b a prime number?
False
Let w(x) = 7*x - 1. Let r be w(6). Let s = -4 + r. Is s a prime number?
True
Suppose -5*b - 3 + 23 = 0. Is ((-2)/b)/((-2)/36) a composite number?
True
Let i = -1 - -4. Suppose 4*h = i*h. Suppose h = -5*z - 10, 5*z + 22 = 2*x - 122. Is x composite?
False
Let b(c) = -9*c + 4. Let q(x) = 8*x - 4. Let d(k) = 5*b(k) + 6*q(k). Let u be d(3). Suppose 38 = g - y, -127 = -u*g + y + 67. Is g a prime number?
False
Let d = 5 + -3. Suppose 230 = 3*p + d*p. Suppose 104 = 5*o + 5*v - p, -2*v + 86 = 3*o. Is o a prime number?
False
Suppose -t = 3*t - 208. Let d = t + 37. Is d a prime number?
True
Is (12/(-15))/4 - 12624/(-20) a prime number?
True
Let w(c) = -c**2 - 6*c + 6. Let i be w(-6). Is (-948)/8*(-4)/i prime?
True
Let d = 274 + -598. Let x = 563 + d. Is x prime?
True
Suppose -f + 1655 = 4*f. Is f a prime number?
True
Suppose 0 = x - 0*x - 2. Suppose -x*i = -4*i + 398. Is i a prime number?
True
Suppose 2*o + f + 175 = -202, 749 = -4*o - f. Let p = -39 - o. Suppose -l = -4*g - p, 0 = -4*l - 0*l + 5*g + 544. Is l composite?
False
Suppose 4*l = -3*v + 2683, -750 - 1040 = -2*v - 3*l. Is v a prime number?
False
Suppose -10*x = -4*x - 3342. Is x prime?
True
Suppose -o = 3*d - 56, 3*d - 22 = 2*d + 3*o. Is d composite?
False
Let o(x) = x**3 + 17*x**2 - 12*x - 41. Is o(-17) a prime number?
True
Let m(t) be the second derivative of -t**6/60 - 13*t**5/120 + t**4/12 + 4*t. Let s(l) be the third derivative of m(l). Is s(-9) composite?
True
Is -12*4/(80/(-1315)) a prime number?
False
Let g(t) = 21*t**2 + t - 5*t + 0 - 3. Suppose 2*f = f - 2. Is g(f) prime?
True
Let u(s) = s**3 + 2. Let k = 4 - 4. Suppose k = 4*z + 5*m + 12 - 32, 0 = 5*m - 20. Is u(z) composite?
False
Let s = -1 + 4. Suppose 5*n + 0*n + 3*b + 4 = 0, -4*n + 3*b + 13 = 0. Is 86 + n - (s + -1) a prime number?
False
Suppose 0 = 5*m + 3*r - 35, -4*m - 4*r + 0 = -36. Suppose 4*y + 66 = 3*n - n, m*n - 132 = y. Let t = n + 58. Is t prime?
False
Is (7 - 726)*(-3 + (-2)/(-1)) composite?
False
Let j = -602 - -1083. Is j composite?
True
Is (-923)/(-3) + (-4)/6 prime?
True
Suppose 0 = -0*w + w + 5*o + 40, -3*o - 30 = w. Let c be (8/5)/(3/w). Let t = -2 - c. Is t composite?
True
Let g(j) = j**2 + 2*j + 3. Let t be g(-3). Suppose t*c = c + 15. Suppose -2*q + 275 = c*q. Is q a composite number?
True
Is (5 - 1)/(2/149) a composite number?
True
Let x be (-234)/63 - 2/7. Is x/12*0 + 13 composite?
False
Suppose 3*c - 242 = c. Is c a prime number?
False
Let y = 133 + -46. Is y composite?
True
Let d(c) = -c**3 + 26*c**2 + 19*c - 10. Is d(21) prime?
False
Let j = -7 - -3. Let a(z) = z**3 + 3*z**2 - 4*z + 3. Let v be a(j). Suppose v*f = -2*f + 1055. Is f composite?
False
Let w = 911 - 648. Is w a composite number?
False
Let p be -3 + 5 - (-35 - -1). Suppose 0 = -4*h - 2*z, 3*z + z = -4*h. Suppose 3*l + p = 3*q, -2*l + h*l + 41 = 3*q. Is q composite?
False
Suppose -3*f - 5*j = 1 - 2, -j - 1 = 0. Suppose 8 = f*m - 12. Is m composite?
True
Let u = 8 - 20. Is ((-111)/6)/(2/u) composite?
True
Let n = -7 - -3. Suppose -123 = 2*i - i. Is n/(-10) - i/5 a prime number?
False
Let a(i) = 29*i - 4. Is a(9) a prime number?
True
Suppose 5*q - q - 8 = 0. Let i = 2 - q. Suppose 0 = y + r - 4*r - 7, i = -3*y - 2*r + 65. Is y a composite number?
False
Let j be -1 + (-1 - (-4 + 1)). Suppose 0 = -2*w + 91 + j. Is w composite?
True
Let s(j) = 7*j + 4. Let d(a) be the second derivative of 2*a**3/3 + a**2 - 2*a. Let f(b) = -5*d(b) + 3*s(b). Is f(5) prime?
True
Suppose -3 - 5 = -2*x. Suppose -3*y + 283 = -x*p, -2*y + 3*y - 2*p - 95 = 0. Is y a composite number?
True
Let l = -13 + 15. Let m(u) = 210*u**2 - 3*u + 5. Is m(l) composite?
False
Let s(n) = 4*n - 2. Let l(d) = -d**2 - 6*d - 4. Let y be -1 - (3*-1)/(-1). Let h be l(y). Is s(h) composite?
True
Let v(l) be the third derivative of 0*l - 1/120*l**6 - 11/24*l**4 + 0 - 3*l**2 - 7/6*l**3 - 1/10*l**5. Is v(-8) composite?
True
Suppose 0 = -3*v - 82 + 25. Let s be -1 + 145/(3/(-3)). Let c = v - s. Is c a prime number?
True
Suppose -2*g = 3*o - 1790, 0 = -g - 2*g - 3*o + 2679. Is g composite?
True
Let v = 182 - 123. Suppose 3*n = 2*o + v, 2*o = 2*n + 4*o - 36. Suppose 4*c - 25 = n. Is c prime?
True
Let w(s) = 0*s**3 + 9 - s + s**3 - 8. Is w(2) prime?
True
Suppose w = t - 1, -2*w + 4*w - 7 = -t. Suppose f = -w - 0. Is 1/((f/(-77))/2) a prime number?
False
Let t(a) = 19*a**2 - 2*a + 1. Let k be t(-3). Let w be (-3)/(0 - 1) + -1. Suppose 4*q - 708 = -4*m, w*q - m - k = 188. Is q a prime number?
True
Suppose -6518 = -7*x + 4661. Is x composite?
False
Let c = 677 - -582. Is c prime?
True
Let x(m) be the third derivative of -1/60*m**5 - m**2 + 7/120*m**6 + 1/6*m**3 + 0*m + 0 + 0*m**4. Is x(1) composite?
False
Suppose -2*v + 85 = f, 0 = 2*v + 4. Is f a composite number?
False
Let d = 163 - 261. Let b = -7 - d. Is b composite?
True
L