- 4/(b/c) prime?
False
Let h(j) = j - 5. Let v be h(8). Suppose -2*r + v*r = 79. Is r composite?
False
Let v(d) = -d - 2. Suppose -4*t = 4*y - 7*t - 35, 4*y - 31 = -t. Let s be v(y). Let a(f) = f**3 + 10*f**2 + 6. Is a(s) a composite number?
True
Suppose 4 = -c, -a + 3*a - c + 4 = 0. Suppose 0 = 2*p - 5*u + u + 38, p - 3*u + 22 = 0. Is 3/(-12) + p/a composite?
False
Suppose -4*v + 394 = 2*x - 0*v, -176 = -x + 5*v. Is x a prime number?
True
Suppose -3*o + 112 + 677 = 0. Is o composite?
False
Let k(p) = 2*p**2 - 1. Let g be k(5). Suppose -g = 5*t - 3*x + x, t + x = -14. Let w = 2 - t. Is w a composite number?
False
Suppose 4*v - 4*l = -2*l + 94, 0 = v + l - 16. Is v composite?
True
Let l(k) = 3*k**2 - 8*k - 9. Let n(b) = -b - 1. Let f(q) = l(q) - 6*n(q). Let g be f(-2). Suppose j = 2*j - g. Is j a prime number?
True
Suppose -l + 4*l = 6. Suppose 3*y = l*y. Suppose 2*x - 10 = y, 3*m - x - 29 = x. Is m a composite number?
False
Let z = 157 + 40. Let k = 8 + z. Suppose k = 4*c - 127. Is c a prime number?
True
Let v = -3 + 2. Is 287/21*(v + 7) composite?
True
Let r(s) = s**2 + s - 9. Suppose p + 4*p - 165 = 0. Suppose 3*y + 0*y + 4*v + p = 0, -4*y + 4*v - 16 = 0. Is r(y) composite?
True
Suppose -t - 10 = -3*t. Suppose -8 = -4*c - t*v + 20, -4*v + 18 = c. Suppose 4*p - 502 = c*p. Is p a prime number?
True
Let z(u) = u**3 - 11*u**2 - 12*u + 4. Let s be z(12). Suppose -m + 7*t = 2*t - 30, 0 = s*t + 16. Is m composite?
True
Suppose 4*y - 71 = 233. Let q be (4/10)/(1/10). Suppose 0*w + q*w = y. Is w a composite number?
False
Suppose 4*w = -5*t + 3561, -2*t - w - w = -1424. Is t a composite number?
True
Let o(v) be the first derivative of 117*v**4/2 + 2*v**3/3 - v**2 + v + 1. Is o(1) prime?
False
Let a = -404 - -1033. Is a composite?
True
Let d = 13 - 25. Let i be (3/6)/((-1)/d). Is (i/(-12))/((-2)/40) prime?
False
Let t(o) = o**2 + 4*o - 11. Suppose 2*s - 3*l = 13, -37 = -7*s + 2*s + 3*l. Is t(s) a prime number?
False
Let k(h) = 3 - 24*h + 0 + 7*h - 8*h. Is k(-2) prime?
True
Let a(x) = -x + 5. Let o be a(0). Suppose i + 152 = o*i. Is i prime?
False
Suppose -20 = -x - 3*x. Suppose -x*l = -159 - 26. Is l prime?
True
Let y = 1538 + -1093. Is y a composite number?
True
Let l = 430 - 289. Is l prime?
False
Suppose 5*i - 10 - 5 = 0. Let t(j) = 2*j - i*j - 3*j + 24*j**2 + 5*j. Is t(1) prime?
False
Suppose 3*i - 311 = -2*v - 3*v, 3*i - 309 = -3*v. Let w(c) = 44*c - 3. Let j be w(4). Let k = j - i. Is k a prime number?
True
Let d(j) = -194*j**3 + 3*j**2 + 4*j + 5. Is d(-2) a prime number?
False
Let s(f) = -2*f**3 - 12*f**2 - 15*f - 4. Is s(-7) a composite number?
False
Let b(n) = 14*n + 6. Let y be b(-8). Let h be (1 - 4)*(-10 + 5). Is y/(-10) + 6/h prime?
True
Let m(x) = -x + 2. Let c be m(-3). Suppose c*n - 926 = -331. Is n a prime number?
False
Suppose d + 20 = -3*d. Let v(y) = -25*y - 6. Let z be v(d). Let o = -42 + z. Is o a composite number?
True
Let q = -811 + 1272. Suppose -a = 5*x + 3*a - 467, -q = -5*x - 2*a. Is x composite?
True
Let j = 56 - -41. Is j prime?
True
Let n(y) = y**2 - y + 1. Let h be n(2). Suppose 5*u = 2*b - 41, 0 = 5*b - 2*b - h*u - 66. Is b a composite number?
False
Let k(y) = 20*y**2 + 3*y. Let q(h) = h**2 + h. Let r(n) = k(n) - 2*q(n). Let a be r(1). Let p = a - 12. Is p a composite number?
False
Let v = 490 + -191. Is v a prime number?
False
Suppose -2221 = -2*d + 2*z + 595, -2*z = -4*d + 5626. Is d composite?
True
Let o = 104 + -73. Is o a composite number?
False
Let c = 17 - 12. Suppose y + 2 = 2*t + 5*y, -5*y = 5*t - c. Is ((-418)/4)/(t/(-2)) a composite number?
True
Suppose 5*t = -5*s + 690, 4*t + 0*s - 5*s = 570. Let h = t - 78. Is h prime?
False
Suppose -d + 708 = 3*d. Is d composite?
True
Let a = 1731 - 332. Is a a prime number?
True
Let r(t) = -7*t + 8. Let d(l) = 21*l - 25. Let v(p) = -2*d(p) - 7*r(p). Suppose -3*o + 0*o + 5*g = -2, -5*o - g = -22. Is v(o) composite?
True
Suppose -3*o - 351 = -3*j, 0*j + 2*j - o - 232 = 0. Is j composite?
True
Suppose -3456 = -4*v + 2*a, -3*v + 6*v = -2*a + 2585. Is v a prime number?
True
Suppose i = -4*s + 3840, -3*i = 2*i - 20. Is s a composite number?
True
Suppose 7*w - 4 = 3*w. Suppose 3*c - w - 11 = 0. Suppose 0 = -n + c*n - 105. Is n a prime number?
False
Suppose 2*j + 5 = 15. Suppose -j*t + 191 - 36 = 0. Is t a composite number?
False
Let a(g) = -g**2 + 9*g - 2. Let h be a(9). Is (2 - h)/((-14)/(-161)) a composite number?
True
Let s(p) = 90*p**2 - 3*p - 16. Is s(-3) a prime number?
False
Is -2*(-2 - (-7588)/(-8)) prime?
True
Let v(r) be the third derivative of -r**4/24 - 88*r**3/3 - 2*r**2. Let u be v(0). Let f = -57 - u. Is f a composite number?
True
Is (-39)/(-91) + (-599)/(-7) + -3 a prime number?
True
Suppose 2*a = 8*a - 4854. Is a a composite number?
False
Suppose 4*i - 1479 = -3*y, 0 = 3*y - 2*i - 0*i - 1497. Is y a prime number?
False
Let j(f) = 9*f + 6. Let x be j(7). Suppose 6*g - x = 3*g. Is g a prime number?
True
Let d = 1 + 3. Suppose d*c - 358 = 406. Is c a prime number?
True
Is 770 + 4*(4 + -5) a prime number?
False
Is ((-5 - -11)/(-12))/(1/(-2518)) a composite number?
False
Suppose 0*a = -4*a - 8. Is (-4543)/(-49) + a/(-7) a prime number?
False
Let g(w) be the third derivative of -w**6/8 + w**5/30 - w**4/24 - 2*w**2. Let v be g(-2). Suppose -t = 4*t - v. Is t composite?
True
Let o = -50 - -397. Is o prime?
True
Let s(i) = -134*i + 13. Is s(-3) composite?
True
Suppose 2*c = c - 143. Let v = -2 - c. Is v composite?
True
Suppose 0 = 20*q - 17*q - 21. Is q composite?
False
Let q be -665 + (-8)/(4*-1). Let v = q - -932. Is v prime?
True
Let m(g) = -8 + 3 - 5 - 2*g. Let z be m(-7). Is (2/z)/(2/44) prime?
True
Let y = 862 + -227. Is y prime?
False
Let w(b) = -25*b - 3 + 0 + 2. Is w(-6) prime?
True
Let b(c) = 76*c**3 + c**2. Let i be (-20)/90 - 11/(-9). Is b(i) composite?
True
Let v = 170 + -84. Is v a composite number?
True
Let f(h) be the third derivative of h**4/12 - 2*h**3/3 - 4*h**2. Let j be f(3). Is 1 + ((-684)/j)/(-3) a composite number?
True
Let o = -78 - -43. Let p = o + 78. Is p prime?
True
Suppose -1095 = -5*q + 800. Is q a composite number?
False
Let r(d) = d**3 - 8*d**2 + 6*d + 5. Let s be r(7). Let u(a) = -21*a**2 + 4*a - 5. Let q(w) = -20*w**2 + 3*w - 4. Let j(n) = -6*q(n) + 5*u(n). Is j(s) prime?
False
Let s(g) = 0 - g**2 + 17*g**3 - 7*g + 3*g + 1 + g. Is s(2) composite?
False
Suppose -573 = -0*g - 3*g. Suppose -2*y + g = -251. Is y a prime number?
False
Suppose 2*n - 2*i + 4 = -n, -5*n - 5*i + 35 = 0. Suppose 3*r - 419 = -3*m + 7*r, -n*m = -5*r - 291. Is m a prime number?
False
Let a = 523 - 132. Is a a prime number?
False
Let x be (4 + -55)*1/(-3). Suppose 0 = s - y + 5*y - x, 2*y + 79 = 3*s. Suppose -5*v - s = 0, -143 = -3*m + 4*v - 3*v. Is m composite?
True
Let s(q) be the third derivative of 7*q**5/30 - q**4/24 - q**3/3 - q**2. Is s(-3) a composite number?
False
Let u(v) be the third derivative of v**6/120 + 11*v**5/60 + 5*v**4/12 + 7*v**3/6 + 4*v**2. Is u(-9) composite?
False
Let v(o) = -o**2 + 6*o + 8. Let w be v(7). Suppose m + 6 = -w. Let x = m - -13. Is x a composite number?
True
Let d(p) = -p**3 - p**2 + 3. Let b be d(0). Suppose -4*h = b*s - 0*s - 485, 5*h - 598 = -s. Is h a prime number?
False
Suppose b - 6 = -1. Suppose q + 347 = b*z, -z + 41 = -2*q - 32. Is z composite?
True
Suppose 3*o - 606 = -5*t, -3*t + 2*o + 357 = 6*o. Is t composite?
True
Let c be 6*(2 - (-4)/(-3)). Let d(t) = 3*t**2 - 4*t - 2. Let g be d(2). Let p = c - g. Is p composite?
False
Is 1*-1*(-185 - 2) a composite number?
True
Let i(h) = h**3 - 9*h**2 + 9*h - 6. Suppose w - 3*f - 20 = 0, 3*w + 0*f - 16 = -2*f. Let n be i(w). Suppose 5*d = 277 - n. Is d a composite number?
True
Let h(b) = -18*b**3 - 2*b**2 - 3*b - 4. Let r be (-30)/75 - 26/10. Is h(r) composite?
True
Let a = 17 + 72. Is a a composite number?
False
Let c(k) = -k + 10. Let h = -7 - -11. Let r be -18*(-1 + 6/h). Is c(r) a composite number?
False
Suppose 2*y - 2*b + 2 = 0, 0 = y + 3*y - b - 11. Suppose -y*o + 278 = -2*o. Is o composite?
False
Let p = -259 + 636. Is p a prime number?
False
Suppose -11316 - 13890 = -6*a. Is a a prime number?
True
Let w(t) = -t. Let m be w(6). Let k be (-530)/(-3)*m/(-4). Suppose p = -4*p + k. Is p prime?
True
Let p be -3*2*(-3)/9. Is 1 + (-4)/p + 22 composite?
True
Let i = 766 - 3