t z be (-5 + 2)*(3 + -26). Suppose 3*x - o - z - 42 = 0, 0 = 5*o - 15. Is x composite?
True
Let y(s) = -7*s - 1. Let f be y(-1). Let n = f - 4. Suppose -u + n*u = 11. Is u prime?
True
Suppose -8 = -2*p - 0. Suppose 419 = p*z + 151. Is z composite?
False
Suppose 0 = -b - 4*b - 15. Let l(d) be the second derivative of d**5/20 + 5*d**4/12 - d**3/6 + d**2/2 - 4*d. Is l(b) a composite number?
True
Let c(a) = -5*a**2 - 2*a + 2. Suppose 4 - 20 = -4*w. Let z(i) = 4*i**2 + i - 2. Let p(j) = w*z(j) + 3*c(j). Is p(6) a composite number?
True
Suppose -2*f + 9*f - 77 = 0. Is f a composite number?
False
Let j(x) = -24*x + 2. Let v be j(-2). Let g = -73 + v. Is 2/(2 - (-44)/g) a prime number?
True
Suppose 2*z - 7*z = -115. Let v be 7/((-14)/12) + 3. Is (4 - 2) + v + z a prime number?
False
Suppose 0 = -2*g - 2*g - 4. Let t be 817/3 + (-4)/(-6). Is (t/(-6))/(g/2) composite?
True
Suppose 3*d - 393 - 1824 = 0. Is d composite?
False
Suppose 19*r = 17*r + 436. Is r a prime number?
False
Suppose 4*d + 4653 = 5*o - 456, 0 = -3*o - 4*d + 3091. Suppose 0*a + o = 5*a. Is a a prime number?
False
Let u = -19 - -11. Let t(z) = 5*z + 3. Let w be t(3). Let a = u + w. Is a composite?
True
Let m(r) = -1 - 10 + 5*r - 6*r. Is m(-14) composite?
False
Let v be 2/7 + (-5)/(-7). Let k(q) = q**2 + 4*q - 24. Let c be k(-7). Is v*c - 5*-2 a composite number?
False
Let s be -3 - (0 - -138)/(-2). Let c = -2 + 280. Suppose c = 4*v + s. Is v composite?
False
Let k(p) be the second derivative of p**4/12 + 3*p**3/2 + 11*p**2/2 + 3*p. Let d be k(-8). Suppose -d*j + 57 = -0*j. Is j a prime number?
True
Let w = 9 - 14. Let n(i) = -i - 1. Let c be n(w). Suppose c*m = 5 + 19. Is m a prime number?
False
Let u = -1 - -2. Let x = 1 + u. Let b(r) = 19*r**2 + 3*r - 3. Is b(x) composite?
False
Suppose 6*o - 4361 = -o. Is o prime?
False
Suppose 0 = -3*i, -4*i + 0*i - 234 = -2*b. Suppose 5*q - 15 = -0*q. Suppose -918 = -q*d - b. Is d composite?
True
Let c = -562 - -1011. Is c prime?
True
Suppose 5*d + f - 191 = 0, 2 = -2*f + 4. Is d prime?
False
Let a = 999 - -214. Is a prime?
True
Suppose 0 = -7*y + 3*y + b + 88, y + 4*b = 5. Is y composite?
True
Is (4204/(-4))/(-1) - 2 prime?
True
Let i = -4 - -7. Is (-112)/((-6)/i) + 1 composite?
True
Suppose 0 = 4*c - 7*c + 1077. Is c a prime number?
True
Let u(d) = 17*d**2 - 7*d + 3. Let l(t) = 8*t**2 - 4*t + 1. Let w(b) = 9*l(b) - 4*u(b). Let z(n) = 5*n**2 - 9*n - 3. Let m(x) = -7*w(x) + 6*z(x). Is m(-3) prime?
False
Suppose v = 362 + 15. Is v prime?
False
Let u(o) = -o**2 - 1. Let j be u(-1). Let x be (-5)/4 + j/(-8). Is x/((-1)/(-18)*-2) a composite number?
True
Is (-6732)/(-10) + (-10)/50 a composite number?
False
Suppose 0 = 2*k - 142 - 42. Suppose d - k = 3*d. Let u = d - -117. Is u a prime number?
True
Suppose -5*g - 138 = -2*h + h, -4*h + 3*g + 637 = 0. Is h a prime number?
True
Let a(u) = 2*u**3 + 5*u**2 + 2*u - 6. Let h(j) = -2*j**3 - 4*j**2 - 2*j + 5. Let r(t) = -3*a(t) - 4*h(t). Is r(3) a prime number?
True
Suppose -584 = -4*w + 5*x, -2*w + 2*x + 266 = 6*x. Is w a composite number?
True
Let y = 7 - -267. Suppose -2*x = -4*n + y, -5*n + 335 = -3*x - x. Is n a composite number?
False
Let q(i) = -i**3 - 11*i**2 - 9*i + 6. Let d be q(-10). Let o = d + 0. Is (-2 + -4)/(o/14) composite?
True
Suppose 2*g - 160 = -2*g. Suppose -g + 290 = 5*b. Suppose -3*a + 2*v + 115 = 0, 2*a - 4*v + b = 4*a. Is a a composite number?
True
Let b be -3 + (-59 + -3)/(-1). Suppose 3*w - 46 = b. Is w a composite number?
True
Is (1 - -381)*5/10 a composite number?
False
Suppose -98 - 2 = 4*l. Let s = l + 39. Suppose -2*f + 106 = s. Is f composite?
True
Let r be (1 - 29)/(4/(-2)). Is r + (2 - 3) + -2 a composite number?
False
Let f = -2 - -11. Suppose -j + 2*s - 13 = -6, -j = 2*s - f. Is (-4)/(-4)*83*j a prime number?
True
Let q = 6 - 10. Let l(a) = -81*a - 7. Is l(q) a prime number?
True
Let k = -71 - 251. Is (k/6)/(3/(-9)) a composite number?
True
Suppose 0*r + 214 = 2*r. Suppose 35 + r = 2*b. Suppose 5*y = -3*v + 5*v + 59, -2*v = 5*y - b. Is y a composite number?
False
Let s(g) be the second derivative of -g**5/20 - 5*g**4/12 - 5*g**2/2 + 4*g. Is s(-6) a composite number?
False
Is 178 + (-3 - -1) + 1 prime?
False
Suppose -2*o + 2 = -2. Suppose -o*w = 71 - 1. Is (w/10)/((-1)/2) a composite number?
False
Suppose -15 = -8*x + 3*x. Suppose p + x*p - 29 = -5*q, -4*q - 2*p + 22 = 0. Suppose -3*j + 152 = i, q*j + 3*i = 335 - 83. Is j a prime number?
False
Let d(z) = 184*z - 1. Let p be d(1). Suppose 2*u = p + 11. Is u a composite number?
False
Suppose -5*j = -106 - 214. Suppose 0 = 4*t + 3*f - 15, 4*t = -3*f + 4*f + 11. Suppose 2*z - t*r - j = 0, -z + 15 - 1 = 3*r. Is z composite?
True
Suppose -v + 3*f + 491 = 0, -3*v + 3*f + 1649 - 200 = 0. Is v composite?
False
Suppose -g = 2*l - 65, -4*g - l + 121 = -2*g. Is g a composite number?
False
Let q be (-6)/(3*(-2)/4). Let l = 320 - 184. Suppose 0 = q*h - l - 20. Is h prime?
False
Let i be -11*((-4)/(-2))/2. Is (-244)/i - (-2)/(-11) a composite number?
True
Let x be 1 - (0/(-2) - 2). Let b = 19 + -4. Suppose -m + 0*m = x*n - 40, n + 2*m = b. Is n a composite number?
False
Let t(z) = -z**3 + 6*z**2 + 8*z - 2. Let w be t(7). Suppose -2*g + 3 = 3*k - 4, 0 = 2*g - w*k + 1. Suppose -g*q + 185 = 3*q. Is q prime?
True
Suppose 2*k - 1 = 3*f, 3*f + 2*f - 25 = -2*k. Suppose 4*p = 2*p + 948. Is (-2)/((-4)/p*f) prime?
True
Suppose v = -i + 161, 4*v - 213 = -3*i + 270. Is i prime?
False
Suppose 0 = 2*o + 3 + 9. Let f be (-2)/o*-1*-39. Suppose 4*c = -3*b + 33, -c - f = 5*b - 34. Is c prime?
False
Let m = 125 - 195. Let n = 123 + m. Is n composite?
False
Let y(f) = 7*f**3 + 41*f**2 + 25*f + 34. Let v(w) = -10*w**3 - 61*w**2 - 38*w - 51. Let j(g) = -5*v(g) - 7*y(g). Is j(-15) a composite number?
False
Let f = 1 - -1. Suppose -k - 3*k + 3*v = -345, 350 = 4*k - f*v. Suppose -k - 23 = -m. Is m composite?
False
Let v = -22 + 30. Let t(x) = 2*x**2 - 5*x + 8. Let z(n) = -4*n**2 + 11*n - 15. Let m(c) = -5*t(c) - 3*z(c). Is m(v) a composite number?
True
Let n = 1 - 3. Let o be 4/(3 + (-256)/124 - 1). Is o*((-5)/n)/(-5) a composite number?
False
Suppose -1009 = 2*g - 4461. Is g composite?
True
Suppose u + 1125 = 4*u. Suppose -3*v + u = a - 5*v, 4*a - 3*v = 1495. Is a composite?
False
Let o = 44 + -11. Is o composite?
True
Suppose 4*g = -4*g + 80. Is g a composite number?
True
Let i(r) be the second derivative of 2*r + 0 + 4/3*r**3 - 1/20*r**5 - 7/2*r**2 + 7/12*r**4. Is i(6) prime?
False
Suppose -2*p + 4*h = -442, 2*p + 4*h = -0*p + 402. Is p composite?
False
Suppose 4*n + 21 = -3*m + 6, -4*n - 8 = -4*m. Let x be m*22/8*4. Let y = x - -48. Is y composite?
False
Let d(k) = k**3 + 9*k**2 + 7*k + 2. Is d(-7) a composite number?
True
Let u(g) = -g**3 - 3*g**2 + 6*g + 2. Let f = -2 - 3. Is u(f) prime?
False
Suppose 0 = -2*b - 2*a + 2488, 3*b - 5124 = 3*a - 1362. Is b a prime number?
True
Let l(v) = 12*v - 10. Let w be l(7). Suppose -2*o - w = -960. Is o a composite number?
False
Suppose 0 = 4*q - q + 228. Let t = q + 108. Suppose -u + t + 5 = 0. Is u composite?
False
Let o(n) = -19*n - 9. Let b be o(-10). Suppose b = 3*m + 5*t, -44 = -m - 3*t + 11. Is m prime?
True
Let b be 2/13 + (-370)/(-130). Let y(j) = -388*j + 1. Let s be y(-2). Suppose -b*p + s = -0*p. Is p a prime number?
False
Let u(v) = v**3 + v + 35. Suppose 5*j - 27 + 7 = 0, -4*j = -3*f - 16. Is u(f) a prime number?
False
Let l = -2 - -4. Suppose 5*s = -5*q + 1260, -s = -l*s - 3*q + 254. Is s a prime number?
True
Let k(m) = -m - 1. Suppose -3*s - 14 = d, d - 5*d = -4*s - 24. Let a be k(s). Is a/(-14) - (-163)/7 a prime number?
True
Let o(q) = q**2 + 9*q**2 + 5 - 2*q - 3*q**2 + q**3. Suppose -4*r - 3*k = -6*k + 34, 4*k = -4*r - 20. Is o(r) composite?
False
Suppose 5*p + 8 = -2. Let c be (p/(-5))/(2/10). Suppose 100 = c*x + 3*v - v, -20 = 4*v. Is x prime?
False
Let y be (192/5)/(4/50). Let u = y + -149. Is u a composite number?
False
Let p be (2/(-4))/((-2)/8). Suppose p*k - 18 = 2*t, -5*k - 2*t = -5*t - 47. Is (-5499)/(-15) - (-4)/k a prime number?
True
Let c(i) = i**3 - 9*i**2 - 11*i + 11. Let j be c(10). Suppose v = 3 + j. Suppose 3*b + 71 = v*b. Is b a composite number?
False
Suppose -1404 = -3*m - 0*m. Suppose 2*f = t - 114, -2*t - 5*f = -6*t + m. Is t a prime number?
False
Suppose 2*w = 557 + 15. Let u 