ime?
True
Is (515/15)/(1/21) a prime number?
False
Let o = 161 - -493. Suppose o + 350 = 4*b. Is b a composite number?
False
Let p(m) be the third derivative of 2*m**5/15 + 5*m**4/24 - 2*m**3/3 + 4*m**2. Suppose 0 = l - 2*l + 3. Is p(l) prime?
True
Suppose 388 - 2284 = -8*y. Is y a prime number?
False
Let o be 1 - (3/1)/(-1). Suppose 5*a = -o*i - 0*a + 414, 4*i = 5*a + 434. Is i composite?
True
Suppose 3*y + 35 = 11. Let l(o) = 5*o**2 + 10*o - 9. Let d be l(y). Is ((-4)/(-12))/(1/d) a composite number?
True
Let r = 1636 + 185. Is r composite?
True
Let b(m) = m**2 + 8*m + 10. Let h(o) = 4*o**2 - o. Let g be h(-1). Suppose g*u + 45 - 5 = 0. Is b(u) prime?
False
Let p(o) = -o**3 + 16*o**2 - 15*o + 21. Is p(15) a prime number?
False
Let m be -1 + (-498)/(-3) + -1. Let d = -87 + m. Is d a prime number?
False
Suppose 271 + 1813 = 4*x. Is x composite?
False
Let x = 958 - 653. Suppose -5*t = -x - 30. Is t a prime number?
True
Let a = -239 + 345. Is a a prime number?
False
Let z be (9/(-6))/(6/56). Let l be (-5694)/z + (-2)/(-7). Suppose -n + o = 75 - 277, l = 2*n + o. Is n prime?
False
Suppose -u - u + 144 = 0. Suppose -103 = -5*h + u. Is h prime?
False
Let q = 797 + 150. Is q prime?
True
Suppose -309 = 4*o - 101. Let x = -37 - o. Is x a composite number?
True
Let r(n) = 20*n**2 + 6*n + 11. Is r(-5) a composite number?
True
Let j(g) = -90*g**2 + g - 1. Let c be j(1). Let v = c - -143. Is v composite?
False
Let f(v) = v**3 + 12*v**2 - v - 10. Let n be f(-12). Let u(x) = -17*x + 4 + 0*x**2 + 2*x**2 + 0*x**n. Is u(13) a prime number?
False
Let m(j) = 9 - 4*j + 21*j + 5*j. Is m(7) a composite number?
False
Let r(y) = 21*y - 7. Is r(8) a composite number?
True
Let i(x) = -67*x - 19. Is i(-4) a prime number?
False
Let t be (-2)/(2 - 3) + 469. Suppose -j + 6*j - 495 = -2*f, -2*f + t = -3*j. Let b = -127 + f. Is b prime?
True
Let j(m) = -2*m**2 - 5*m - 11. Let l(u) = -3*u**2 - 8*u - 17. Let i(n) = -8*j(n) + 5*l(n). Let t be i(3). Suppose 2 = a - t. Is a a prime number?
False
Let a(t) = t**3 + 5*t**2 + 3*t + 4. Suppose -25 = 5*x, -4*s = -s - x + 4. Is a(s) a prime number?
True
Let w = 1022 + -722. Suppose 0 = 2*j - 4*j + 5*m + w, 4*m + 153 = j. Is j prime?
False
Let r = -41 - -74. Suppose -2*j + 4*x = -r - 49, 0 = -5*j + 4*x + 187. Is j prime?
False
Let y(r) = -r + 3. Let k be y(6). Let b be -1*((0 - k) + 2). Is b/(-1 - 48/(-51)) prime?
False
Suppose -2*o + 18 = 5*s, -3*o + 16 = 5*s - 3*s. Suppose 4 = -p - 2*n, -2*n - 8 = -3*p + s*p. Suppose -5*r - w = -46, 0 = 3*r + 3*w + p*w - 10. Is r prime?
False
Suppose 2*d - 2*u - 22 = 0, 3 = d + 3*u - 4. Is d a prime number?
False
Suppose 0 = -4*i + 4*r - 280, 3*i - 4*i - 3*r - 90 = 0. Let m = 91 + 39. Let o = m + i. Is o composite?
True
Let s(k) = -25*k + 16. Is s(-3) prime?
False
Suppose -4*z + 5*l = -2901, -2*l + 2430 - 1002 = 2*z. Is z composite?
False
Let a(p) = -5*p**3 + 7*p**2 - 2*p + 3. Is a(-8) a prime number?
False
Suppose 3*k - 667 - 5720 = 0. Is k prime?
True
Suppose y = -2*f + 31, -4*f + y + 57 = -2*y. Suppose 6*q = q + f. Suppose 2*v + 301 = q*s, 0*s + 179 = 2*s + 3*v. Is s a composite number?
False
Is 1/((-1)/(-502)) + 0/(-11) a prime number?
False
Let y(s) = 9*s + 1. Let o = -17 + 19. Is y(o) a prime number?
True
Let h(v) be the third derivative of -v**6/120 + v**5/60 + v**4/24 + 2*v**3/3 + 5*v**2. Is h(-3) a prime number?
True
Suppose -53*l + 43*l + 3310 = 0. Is l composite?
False
Suppose -2*v + 2*j + 98 = 7*j, 12 = -3*j. Suppose -2*u - 306 = -4*o, -4*o - v = 3*u - 340. Is o composite?
True
Let n(f) = -f + 11. Let l(w) = -w**2 + 2*w + 4. Let j be l(5). Is n(j) a composite number?
True
Let v = 0 - -2. Suppose 0 = -v*q - q + 33. Is q composite?
False
Let g = 64 - -1023. Is g a composite number?
False
Suppose 0 = -g - 0*d - 4*d + 7015, g + 2*d - 7007 = 0. Is g composite?
True
Let f(o) = 2*o**2 + 2*o - 1. Is f(2) a composite number?
False
Let t = 403 + 48. Is t prime?
False
Suppose 0 = -3*p + 2*p + 147. Suppose q = p - 44. Let k = q + -66. Is k a composite number?
False
Suppose -3*q = -5*p + 25655, 0*p + q = -4*p + 20524. Is p prime?
False
Suppose -2*s - 3*s + 20 = 0. Suppose -3*b = -i - 68, 2*b + s*i - 27 = b. Is b a prime number?
True
Is -1754*(-1 + 3/(-2)) a prime number?
False
Let h be ((-10)/(-3))/((-10)/15). Let s(z) = -15*z + 10. Is s(h) composite?
True
Let a(z) = -3*z**2 + 2*z + 13. Let m(g) = -g**2 + g + 6. Let w(i) = -2*a(i) + 5*m(i). Is w(-7) a composite number?
True
Suppose 2*z + 339 = 5*z. Suppose 2*q = m + z, 7*m - 6*m = 3*q - 172. Is q a composite number?
False
Suppose 0 = -6*c + 8886 + 7560. Is c a composite number?
False
Let b be (2 + -68)*3/(-2). Suppose -49 - b = -4*h. Is h a composite number?
False
Let o be 2*(2 - 23/2). Let h = o - -34. Let s = -5 + h. Is s composite?
True
Let z(l) = l**2 + 9*l + 1. Let v be z(-8). Let o = v - -24. Let d = o - 10. Is d a prime number?
True
Suppose 631 = 3*c + 2398. Let i = -398 - c. Is i composite?
False
Let k be 3 - 0 - 536/2. Is ((-1)/(1/k))/1 a prime number?
False
Suppose -5*f = -2*w - 14, -5*f + 5*w + 2 = -3. Suppose -1 = 5*k + q, -f*q = 4*k - 2 + 6. Suppose -10 = -2*p + 3*r, p + 4*r - 15 - 12 = k. Is p prime?
True
Suppose -4*h = -2*h - 2. Is -4*h*194/(-8) a composite number?
False
Let c(u) = 10*u**2 + 7*u + 22. Is c(9) prime?
False
Is 910 - 2 - (-2)/(-2) a composite number?
False
Let h(f) = f**3 - f**2 + f + 18. Let j be h(0). Let i(a) = 2*a. Let t be i(2). Suppose -c = -t*c + j. Is c a composite number?
True
Suppose d = -5*x + 321, -4*x = -0*d - 5*d - 251. Suppose 2*y = 2*n - x, -5*n + 4*y + 91 = -2*n. Is n composite?
False
Let j be 7197/(-15) - 1/5. Let y = -221 - j. Is y composite?
True
Let a(i) = i**3 + 7*i**2 - 7*i + 4. Let x(w) = w**3 + 12*w**2 + 2*w + 17. Let m be x(-12). Is a(m) a composite number?
False
Suppose -4*c - c = -2*w + 61, -4*w + 135 = 3*c. Is w a prime number?
False
Let i be (-7)/(-5) + 6/(-15). Suppose -7 = -2*y - i. Suppose y*h - 2*p - 85 = 0, -h - h + 50 = -3*p. Is h a composite number?
False
Suppose 0*d + d - 139 = 0. Is d prime?
True
Suppose v + 2*a = 110, 4*v - 202 = 2*v + 5*a. Suppose -276 = -4*f - b, v = f + 2*b + 37. Is f a prime number?
False
Suppose -5*a = -2*a - 102. Let s = a + 0. Is s prime?
False
Suppose 4*m = 38 + 2. Is 4765/25 - (-4)/m a prime number?
True
Let x = -77 + 157. Suppose -4*w + x = 2*d, 5*w + 0*d - 97 = -d. Is w a prime number?
True
Let d(k) = 171*k - 1. Let b(q) = q**3 + 5*q**2 - 7*q - 7. Let y be b(-6). Let l be d(y). Let r = l + 335. Is r a composite number?
False
Suppose -3*c - 191 - 148 = 0. Let i = c - -190. Is i prime?
False
Let p(x) = x**2 - 14*x + 10. Let y be p(12). Let s(i) = -4*i + 2. Is s(y) a prime number?
False
Let d(p) = -1 + 17*p + 1 - 1 + 3*p. Let t be d(8). Suppose 5*m = 2*m + t. Is m prime?
True
Suppose 5*f - 89 = x + 332, 3*f + 3*x = 267. Is f composite?
True
Let x = 280 - -399. Is x a composite number?
True
Suppose 3*t = 2*a + 50, 2*t + 2*t = a + 60. Is t a prime number?
False
Suppose m + 0*m + 5 = 0. Let d(l) = -51*l + 4. Is d(m) a composite number?
True
Let g = 49 - 27. Suppose 4*u - 54 = g. Is u a prime number?
True
Suppose 0 = -4*w + 12, 2*u + 2*u - 5*w = 1333. Is u composite?
False
Let w(i) = -2*i**2 - 2*i + 3. Let d(u) = u. Let t(f) = 4*d(f) + w(f). Let v(p) be the first derivative of t(p). Is v(-5) composite?
True
Let a = 33 + -7. Is a prime?
False
Let w be 4*-1 + (-1 - -1). Let t be w/14 + 82/(-7). Is 2/8 - 177/t prime?
False
Suppose 1 = 2*t - 5. Let d be (-1)/t*18/(-2). Let w(g) = 43*g - 2. Is w(d) prime?
True
Let n(q) = 40*q - 1. Let a be n(2). Suppose -3*v + a = -92. Is v a composite number?
True
Suppose 0*h - 35 = 4*o - h, -3*o - 25 = -h. Suppose 0 = -4*f - 4*m + 396, -2*f - 83 = -3*f - 5*m. Is f/5 + o/(-25) a composite number?
True
Let w be 197/(-2)*(5 + -11). Suppose -3*z + v = -8*z + 746, -5*v = -4*z + w. Is z prime?
True
Let j = 11 - 13. Let p(w) = 0*w - 3 + 46*w**2 + 2 - w. Is p(j) a prime number?
False
Let q = 3 - 5. Is q/((2/163)/(-1)) a composite number?
False
Let p(j) = -39*j**3 + 3*j + 2. Is p(-1) composite?
True
Let x(r) = r**2 - 2. Let s be x(-2). Suppose -3*d = s*j + j - 6, -2*d + 4 = 0. Suppose j = -3*t - 0*t + 159. Is t composite?
False
Let u = 6 - 1. Suppose -4*a - 4*q = -184, u*q - 2*q = 4*a - 205. Is a prime?
False
Let x(p) = -p**2 - 2 + 10*p**