. Is (1/y - 0)*18 composite?
True
Suppose -2*k + k = 0. Let p = k - -6. Is p composite?
True
Suppose 2*d + m - 10 = -3, 4*m = 5*d - 11. Suppose l = -d*l + 44. Let w = l - -72. Is w a prime number?
True
Let w(z) = -48*z - 13. Is w(-3) prime?
True
Let t(s) = -239*s - 1 + 46*s - 51*s. Is t(-2) composite?
False
Let s(i) = -i**3 + 12*i**2 - 7*i - 9. Let g be s(10). Suppose -3*q = x - q - g, -133 = -x + 2*q. Is x composite?
False
Let c(v) = 2*v**2 - 2*v - 2. Let t be c(2). Let j be (t + (-1 - 2))*-43. Suppose -j + 135 = 4*r. Is r a composite number?
False
Suppose 0*o - 2*o = 0. Let y = o - -4. Suppose -3*i + 100 = 2*u, i + y = 2. Is u a prime number?
True
Is (-1 - -1) + 623 + 0 a prime number?
False
Suppose 0 = -3*d - n + 637, -5*d + 1059 = -0*n + n. Is d a composite number?
False
Suppose -2*i + x + 13 = 0, i + x = -4*x - 10. Suppose 41 = 3*m - z - 21, i*m + z - 90 = 0. Is m prime?
True
Let p(k) = -9*k - 21. Let j(h) = 4*h + 10. Let l(y) = 7*j(y) + 3*p(y). Let z be l(-7). Let n(r) = r**3 - r**2 + r + 7. Is n(z) a prime number?
True
Let b = 2 + 3. Suppose 5*s + b*z = 620, 2*z = -s + 40 + 81. Is s a prime number?
True
Let b(s) = s**2 - 5*s + 3. Is b(6) a prime number?
False
Let d(m) = 25*m - 7. Let c be d(-5). Let p be ((-3)/(-2))/((-6)/c). Let s = p + -14. Is s a prime number?
True
Let w(j) = -j**3 + 11*j**2 + 9*j - 6. Suppose 7 = 3*h + 5*c, 2*h = 3*c + 2*c + 38. Let b be w(h). Is ((-2)/3)/((-2)/b) a composite number?
False
Let q(r) = -20*r + 1. Let x be q(-11). Suppose -5*t - 1201 + 91 = -5*n, -2*t - x = -n. Is n prime?
True
Suppose -2*q = 4*f - 118, -q + 5*q = -3*f + 256. Is q composite?
False
Let k = 83 - 59. Let r = k - -63. Is r composite?
True
Suppose 0*m = -m + 5. Let o(f) = -4*f**3 - 5*f - 2. Let z(b) = -5*b**3 - b**2 - 5*b - 2. Let i(y) = -4*o(y) + 3*z(y). Is i(m) composite?
True
Let s = 7 - 6. Let t = s - 1. Suppose -5*l + 3*g + 14 = t, -2*g + g = -3*l + 10. Is l prime?
False
Let a(p) = -p**3 + p**2 + 6. Let m be a(0). Is 1342/m + 20/(-30) a prime number?
True
Suppose -4*v - 8 = 0, -5*v - 9 - 5 = 4*j. Is (3/(-6)*22)/j a prime number?
True
Let f = -789 - -1183. Suppose 4*o + f - 58 = 0. Let s = 127 + o. Is s a composite number?
False
Is -2 + (-2968)/(-20) + 2/(-5) a composite number?
True
Is (-1 - -12779)*1/2 a composite number?
False
Let p = 5 + -3. Is (-2)/p + 93 + 5 a prime number?
True
Let b(j) = -188*j - 1. Is b(-1) a composite number?
True
Let w = -9 + 15. Let k be 4/(-12) - (-2)/w. Suppose 4*v + 4*r + 52 - 192 = k, -v + 4*r = -15. Is v prime?
True
Let t(u) = 3*u**2 - 12*u + 6. Is t(-7) a composite number?
True
Let z(v) = 164*v - 5. Is z(3) composite?
False
Let m = 5802 + -3985. Is m a composite number?
True
Suppose 3*p = -4*o + 20, -5*p + 3*o + o - 20 = 0. Let r = 2 + p. Suppose -a + 0*u + 3*u - r = 0, 5*a = u + 32. Is a prime?
True
Let r = 177 + 34. Suppose -o - r = -2*o. Is o a prime number?
True
Let n(b) be the first derivative of 15*b**2 - 3*b - 2. Let f be n(8). Suppose -t - f = -4*t. Is t composite?
False
Suppose -v + 152 = 2*q, 3*q + 172 = v + q. Suppose 4*o - v = -22. Is o prime?
False
Is 2*59 - 0/9 a composite number?
True
Let a(c) be the second derivative of 1/2*c**3 + 1/2*c**2 - 2*c - 1/6*c**4 - 3/20*c**5 + 0. Is a(-3) a composite number?
True
Suppose -5*r - 4*n = -17 - 16, 3*n = 2*r - 4. Suppose -2*c + 92 = 4*z + 26, -c - 2 = -r*z. Is c composite?
False
Let k be (-36)/(-21) + 2/7. Let l(t) = -3*t**3 - 2*t**2 + 4*t - 7. Let d(a) = a**3 - a**2 - a + 1. Let s(p) = k*d(p) + l(p). Is s(-5) prime?
False
Let g(x) = -x**2 - 9*x - 7. Let u be g(-8). Let z = u + 5. Is 91*3/z*2 a composite number?
True
Let c = -852 + 1337. Is c a prime number?
False
Suppose 4*a - y = y + 82, -4*a = -3*y - 81. Is a a prime number?
False
Let x be 6/(-2 - 2 - -2). Let u(d) = -16*d - 5. Is u(x) composite?
False
Let y = -779 - -1420. Is y composite?
False
Suppose 2*a - 6531 = 3139. Is a a prime number?
False
Suppose 3*y - 3*j = -18, -y - 2*y - 2*j - 3 = 0. Let i be (1*-6)/(y/22). Let a = i - -3. Is a composite?
False
Let n(k) = -501*k - 28. Is n(-5) a prime number?
True
Suppose -2*a + 4*y + 22 = 3*y, -4*a = -3*y - 44. Suppose -x = -0*x - a. Let w = x - -20. Is w composite?
False
Let i = 120 - 62. Is i/(-1 - 10/(-6)) a prime number?
False
Let w = 16 + -6. Suppose 6*v - w = v. Suppose v*r = r + 6. Is r prime?
False
Suppose 4*o - 1415 = 3*y, -5*o = -5*y - 1730 - 45. Let p = -149 + o. Is p composite?
True
Let l = -5 - 17. Let b = -16 - l. Let i = 13 - b. Is i a prime number?
True
Let i be (-4)/14 - 550/(-14). Suppose -i + 13 = d. Let o = d + 73. Is o a prime number?
True
Let z(w) = -w**2 - 8*w - 10. Let d be z(-6). Is -1*2 + 518/d a composite number?
False
Let r(x) = -x**2 + 11*x + 14. Suppose 0 = 2*u - 3*n - 18, u - 4 + 2 = 5*n. Let m be r(u). Suppose -3*l + 95 = m*l. Is l a prime number?
True
Suppose 0 = -4*o + 3*o - w + 496, -5*o - 3*w + 2482 = 0. Is o composite?
True
Suppose -n + 1785 = 5*v, 2*n = -5*v - 0*n + 1785. Let b = v - 156. Is b prime?
False
Let f = -763 - -1812. Is f a prime number?
True
Suppose 816 + 858 = 3*r. Let k = r + -395. Is k a composite number?
False
Let o = -52 - -101. Let y = o + -12. Is y a composite number?
False
Suppose 5*z = -3*m + 2*m + 664, -670 = -5*z + 5*m. Is z a composite number?
True
Let y be 3/(1/(9/1)). Let k(s) = 2*s**2 - 9*s + 3. Let b be k(7). Let j = b - y. Is j a prime number?
True
Suppose -2*r + 10 = 2*g, g - r - 17 = -6. Is (-2)/16*-26*g a composite number?
True
Let z(d) = -966*d + 1. Is z(-1) a prime number?
True
Let p(a) = a + 23. Let r be p(0). Suppose 5*z = -0*j + 2*j - 50, 0 = 5*z + 5*j + 50. Let k = r + z. Is k a composite number?
False
Suppose -z + 3*z - 80 = 0. Let i = z - 21. Is i prime?
True
Let w(m) = 335*m**2 + 5*m - 5. Is w(2) prime?
False
Suppose -5*j = -188 - 617. Is j a prime number?
False
Suppose 4*z = y + 3357, 0 = -4*z - y - 0*y + 3355. Is z a prime number?
True
Let w = 408 + 91. Is w prime?
True
Suppose -g = 4*g - 295. Let h = g + -192. Is (h/21)/(2/(-18)) composite?
True
Let k(j) = 67*j + 18. Is k(7) a composite number?
False
Suppose 0 = -3*l - 0*j + j + 20, -2*l + 5*j + 35 = 0. Suppose v - 300 = -l*q - v, -q + 37 = 5*v. Is q a prime number?
False
Let f be 0/1 + 11 + -3. Let x be (f/6)/((-8)/(-228)). Suppose 5*h = i + 11, -5*i - 2*h = -3*i - x. Is i a composite number?
True
Let s be (-2)/5 + 17/5. Suppose r + s*g = -4*r + 304, -15 = -5*g. Is r a composite number?
False
Let n = 1 - -2. Is (n - 1)/(2/19) a prime number?
True
Let q(k) = -15 + 8 - 4*k**2 + 9 - 5*k + 2*k**3. Is q(5) composite?
False
Is (-1 + -1)*(-662)/4 a prime number?
True
Let n(y) = -167*y - 47. Is n(-6) a composite number?
True
Suppose -4*k - 569 = -5*v + 339, 0 = -2*v - 4*k + 380. Suppose -2*h = 2*l - 0*h + 194, -2*l - v = 4*h. Let r = l - -179. Is r a prime number?
False
Suppose 5*p - 17 - 13 = 0. Is (74/(-4))/((-3)/p) composite?
False
Let x(a) = 4*a + 9. Let s(q) = -q**2 - 8*q - 5. Suppose -5*z = 3*i + 38, -5*i - z + 7 - 41 = 0. Let y be s(i). Is x(y) prime?
True
Let s(r) = 9*r - 7. Suppose 7*q - 12*q = -70. Is s(q) a composite number?
True
Let c(h) = h - 9. Let b be c(7). Let v = 61 + b. Is v prime?
True
Let p = 59 - 37. Is p a prime number?
False
Suppose -5*z + 4*v = 0, 2*v = -z + 7*v. Suppose -3*p + r + 102 = z, 11 = -2*p - r + 74. Is p a composite number?
True
Let m = -11 - -15. Suppose 2*j = 5*t - 661, -418 - 104 = -m*t + 5*j. Is t composite?
True
Suppose -4 = -2*y, -4*y = -5*h + 1 - 9. Suppose 0 = -h*s - 5*s + 155. Is s a composite number?
False
Let x = -348 + 624. Let p = -181 + x. Is p prime?
False
Let k(p) = -11*p + 4. Let g(x) = x**2 - 7*x + 9. Let f be g(6). Suppose -s - f*b - 12 = 0, 3*s - 2*b + b + 6 = 0. Is k(s) composite?
False
Is -2 + ((-1759)/2)/((-17)/34) a composite number?
True
Let r(h) = -h**2 + 64*h - 20. Is r(37) a composite number?
True
Suppose 6*x - 5*x = 0, 3*o + 3*x - 15 = 0. Suppose 340 = 5*n - o*l, -2*l + 72 = n + l. Is n a prime number?
False
Suppose r + r - 662 = 0. Is r a prime number?
True
Let k(y) be the first derivative of -y**3/3 + 3*y**2 + y + 2. Let r be k(-4). Let z = r + 60. Is z prime?
False
Suppose 5*s - 30 = -2*i + i, -2*s - 69 = -5*i. Is ((-68)/3)/((-10)/i) prime?
False
Let b = 4 - 1. Let o be (-1 + 4)/b - -3. Suppose -2*z = -o*i - 38, -2*z + 42 = -i + 13. Is z a composite num