06/(-8))/((4 - 0)/(-80)) composite?
True
Suppose 5*a = -25, -3*f + 97 = 3*a - 104. Let k(z) = 2*z**2 + 1. Let x be k(1). Let h = f - x. Is h a prime number?
False
Let y(v) = 8*v**2 - 5*v - 5. Suppose 8 = 2*h - 4. Let s be y(h). Let u = s + -108. Is u composite?
True
Let u(q) = -q**2 + 7*q - 6. Let j be u(6). Suppose -i = -j*i. Suppose -5*o + 5*f + 15 = i, -6*f + 12 = -2*f. Is o composite?
True
Let n(c) = c**3 + 6*c**2 - 4*c + 7. Let t = 14 - 20. Is n(t) composite?
False
Let t(j) = -4*j**2 - 6*j - 7. Let w(f) = f**2 + f + 1. Let y(m) = -t(m) - 2*w(m). Is y(4) a composite number?
False
Let s = 15 - 11. Let u(j) = j + s*j - 6 - 3. Is u(6) prime?
False
Suppose 2 = 5*w - 3*w. Let q be (0 + -2 + w)*49. Is (-2)/(-4) - q/2 composite?
True
Let h = 8 - 4. Suppose 3*s = -h*l + 193, 172 = 2*l + 2*l - 4*s. Is l a composite number?
True
Let w = 398 + -272. Suppose -5*t = -29 - w. Is t prime?
True
Let h be (-14 - -1)/(2/(-2)). Let t = 18 - h. Suppose -3*y - 24 = -3*s, t*y = -4*s + y + 48. Is s a composite number?
True
Let y = 240 + -95. Is y a prime number?
False
Suppose 0 = 3*o - 1673 + 236. Is o composite?
False
Let n = -15 - -19. Is 18 + (-1*n)/(-4) prime?
True
Let m = -3 - -6. Is (2/m)/((-10)/(-345)) a prime number?
True
Suppose 0*i + i + 129 = 0. Let b = i - -195. Is (1/(-3))/((-2)/b) a composite number?
False
Let z = 341 - 46. Is z a prime number?
False
Suppose -a = -0 - 1. Let r be 1 + -4 + 2 - a. Is (r - -1)/((-5)/355) a prime number?
True
Let f(z) = 2*z**2 + 12*z - 27. Is f(-11) a prime number?
True
Let m(l) = 5*l + 4. Let o be m(4). Suppose 218 = 26*c - o*c. Is c prime?
True
Let y(t) = -t**2 + 6*t + 5. Let b be y(6). Suppose b*z = 3*z + 260. Let j = z - 77. Is j prime?
True
Suppose -3*p = -8*p + 3115. Is p a composite number?
True
Let q be 94/(-5)*(4 + -9). Suppose v - z - 22 = 34, 2*v = -4*z + q. Is v prime?
True
Suppose 0 = -3*t + 5*t - 1292. Let c = t - 353. Is c prime?
True
Let g(n) = 9*n + 14. Is g(7) a prime number?
False
Is -4 + 7 + 1/(4/248) composite?
True
Let i be (-2 - 0) + -23 + 2. Let v be (-3 + i)*26/(-2). Let x = -177 + v. Is x a prime number?
False
Let g(f) = f**2 - 9*f - 13. Let m(l) be the third derivative of l**5/60 - l**4/3 - 2*l**3 - l**2. Let q(d) = -3*g(d) + 4*m(d). Is q(8) prime?
False
Suppose -f + 4*f - 2021 = m, 3*f = -m + 2017. Is f composite?
False
Suppose -5*z + 116 = -149. Let i = -2 + z. Is i a prime number?
False
Let k = -7 + 13. Suppose -b + 3*r + 3 = 3*b, 4*r = 2*b - 4. Suppose b*y + 2*y = k. Is y a prime number?
True
Let q(a) = 33*a**2 - 2*a - 1. Suppose 1 = h - 1. Is q(h) a composite number?
False
Suppose z + 2*l = -0*l - 6, -5*l - 20 = 0. Is (163/2 - 0)*z composite?
False
Let r(l) = l**2 - 11*l. Let w be r(-10). Is -3 + -2 + w/3 a composite number?
True
Let r be 48/9 + (-2)/6. Suppose 0*d + 415 = r*d. Is d prime?
True
Let b = 4 + -10. Let u(p) = -41*p - 9. Let v be u(b). Suppose v = 2*z + z. Is z composite?
False
Suppose 3*n = 418 - 73. Is (n - 0)*2/5 prime?
False
Suppose -4*r = 2*o - 1762, 2*r + 2*r = -4*o + 3540. Suppose 3*f = -4*y + 2*f + o, -5*y = -3*f - 1090. Is y prime?
False
Let k = 2 + -4. Let x be ((-6)/15)/(k/(-40)). Is 2 + x*(1 - 2) a composite number?
True
Let p = 10 + 361. Is p a prime number?
False
Let v(b) = 3 + 2*b**2 + 5*b - b**2 + b**3 + 3*b**2. Let w be v(-3). Let n = 30 - w. Is n a composite number?
True
Let o = -134 - -95. Let w = o - -23. Let k = w - -37. Is k a composite number?
True
Is (-2)/(-3)*(5 + (-1221)/(-6)) composite?
False
Let h = 3 + 3. Is (1 - -74) + (h - 4) a composite number?
True
Suppose -5*c = -23 - 32. Suppose 45 = t + c. Is t prime?
False
Let b = -253 + 656. Is b composite?
True
Suppose -16 - 39 = 5*k. Let v be 1/5 - (-149)/5. Let y = v + k. Is y prime?
True
Let t(j) = -j**3 + 8*j**2 - 6*j - 7. Let m be t(7). Let f = 0 - m. Suppose -5*u + 17 + 158 = f. Is u composite?
True
Let h = 57 - 54. Let j(b) be the second derivative of -b**5/20 + 5*b**4/12 - 2*b**3/3 + 2*b**2 + b. Is j(h) composite?
True
Suppose 5*u - 4*a - 1 = 0, -6*u - a = -u - 6. Suppose 2*p = -u + 99. Suppose -g - p = -s + 70, 4*g = -2*s + 214. Is s a prime number?
False
Suppose 0*t + 640 = 3*y - t, -5*y = 2*t - 1074. Is y composite?
True
Let x(y) = 3*y**3 + 2*y**2 - 3*y + 2. Let j be x(-5). Let k = -232 + j. Is (-2 + k/(-3))/2 prime?
True
Suppose 0 = 2*g - 7*g + 5, -3*c + 3*g = -342. Suppose 0 = 3*r + 2*r - c. Suppose 4*q = -r + 175. Is q a prime number?
False
Suppose 2*y = 5 + 1. Suppose -u + 89 = -5*t, 0 = -3*u - y*t + 2*t + 283. Is u composite?
True
Let l(c) = -37*c - 7. Let b(q) = q. Let r be b(-5). Let p be l(r). Suppose -j = j - p. Is j a prime number?
True
Let k(d) = -5 + 9*d**2 + 3*d**2 + 7*d - 8*d. Is k(4) prime?
False
Suppose 284 = 4*g - 0*g. Let t = -12 + g. Is t a prime number?
True
Suppose -5*b + t = 5*t - 23, 0 = 2*t - 4. Suppose 86 = g - b. Is g a prime number?
True
Let f = -627 - -1414. Is f composite?
False
Let m(b) = -b**3 + 3*b**2 + b + 1. Let j be m(3). Suppose -3*f + 214 = 2*f + q, -j*f + 4*q = -176. Is f prime?
True
Let g(x) = -x**2 - 5*x + 2. Let a be g(-6). Let s = a + 7. Suppose 0 = s*p - 0*p - 18. Is p composite?
True
Let x(p) = -49*p + 4. Is x(-1) prime?
True
Is ((-357)/14)/((-3)/4) a composite number?
True
Let z be (0 + 3/6)*-30. Is (-1)/3 + (-335)/z a composite number?
True
Is (-4199)/(-3) - (-4)/(-6) a prime number?
True
Suppose 5*p + u - 65 = 2*u, 3*p + 3*u = 21. Is 267/(-2)*p/(-18) composite?
False
Suppose -20 = -3*s - 2*s. Suppose s*k + 4 + 4 = 0, -68 = -4*w + 4*k. Is w a prime number?
False
Let a(i) = 17*i**2 - 5*i - 71. Is a(16) a prime number?
True
Let m be -9 - (0/1)/1. Let c be (4/(-3))/(6/m). Suppose -v = c*v - 102. Is v composite?
True
Let s(d) = d**3 - 11*d**2 + d - 17. Let t(j) = -j**2 - 6*j + 3. Suppose 2*w + 0*w + 6 = 0. Let p be t(w). Is s(p) prime?
True
Is 60/100 - (-3924)/10 a composite number?
True
Let s(g) = g**2 - g - 4. Suppose c + 3*y - 9 = 0, -5*c = -3*c - 5*y + 4. Let b be s(c). Suppose 0 = -3*m + 7*m - 16, -5*m + 62 = b*t. Is t composite?
True
Let x(o) = 5*o**2 + 10*o - 5. Let d(f) = -f - 1. Let b(k) = -3*k**2 - 9*k - 1. Let m(u) = -b(u) + 4*d(u). Let i(n) = 7*m(n) - 4*x(n). Is i(11) a prime number?
False
Let m(s) = -6 + 10 + 6*s**2 - 3*s**3 - s - 2*s**2 - s**2. Let b(w) = 7*w**3 - 7*w**2 + 3*w - 7. Let h(n) = -2*b(n) - 5*m(n). Is h(5) prime?
True
Suppose 3*w - 5 = -17. Let i be 0 + w/(-2) + 0. Is (-355)/(-7) - i/(-7) prime?
False
Let y be (-75)/(-12) - 2/8. Let a be 4/y - (-1346)/6. Is (a/6)/(-3)*-2 a prime number?
False
Suppose 0 = -f + 4*f + 4*y - 1499, -5*f - 3*y = -2502. Suppose 4*x - b + f = 0, 4*x + 337 = -3*b - 144. Is (-4)/(-6) - x/12 prime?
True
Let v be -41*(5 + -2)/3. Let w = v + 114. Suppose 3*u - w = 4*i, -51 + 12 = -u + 5*i. Is u prime?
True
Let q(b) be the first derivative of -b**3 - 5*b**2/2 - b - 2. Let s be q(5). Is 3 - (s - (0 + 2)) composite?
True
Let o = -25 + 3632. Is o a prime number?
True
Suppose -5*b + 5248 + 13657 = 0. Is b prime?
False
Suppose 12 = v + d, -2*d + 17 = v - 0*v. Let t(f) = -5*f - 7. Let n(b) = -4*b - 8. Let q(g) = -6*n(g) + 5*t(g). Is q(v) prime?
False
Suppose 0 = 4*l + 6 + 2. Let x(j) = 2*j - 6. Let i be x(5). Is (166/(-4))/(l/i) a prime number?
True
Let d(k) = k**2 - k. Let r be d(-1). Suppose -r*f = -s + 4*s - 12, 4*f - 5*s = -20. Suppose f = -0*b - 3*b + 153. Is b composite?
True
Suppose 0 = -2*u - 3*u. Suppose 0*s - s + 11 = u. Is s a composite number?
False
Let y(h) = 7*h**2 - 5*h - 3. Is y(-2) prime?
False
Suppose -3*i - 83 = -5*k, -4*i - 2*k - 96 = -5*k. Let o = i - -63. Is (26/6)/(2/o) prime?
False
Suppose -316 = -2*v + 2*x, 4*v = 2*x - 4*x + 626. Is v a composite number?
False
Suppose -5*h + 3 = -17. Suppose -h*k - 5*w = -303, w - 6*w - 313 = -4*k. Is k a prime number?
False
Suppose l - 2*l = 1. Let u(i) = 4*i + 1. Let v be u(l). Is (2 + v)*2 - -15 a composite number?
False
Let c(s) = -s - 4. Let r be c(-5). Is 24 + 3 + r + -2 a composite number?
True
Let b = -691 + 1495. Is 1/(-3)*3 + b a prime number?
False
Suppose -6*s + s + 1375 = 0. Suppose 0 = 3*w - 8*w + s. Is w a composite number?
True
Let i(d) = -15*d + 11 + 3*d - 12 - 4*d. Is i(-2) a composite number?
False
Let i(v) = -6*v**2 + v + 1. Let h be i(-1). Let m(n) = -8*n - 5. Let g be m(h). Let a = 120 - g. Is a composite?
True
Suppose -4*c + 138