r?
False
Suppose 0 = w - 0*w - 6. Suppose 5*n = -4*p, p - w*p = n. Suppose p = -4*f - 4 + 12. Is f composite?
False
Is 2/4*(4 + 610) a prime number?
True
Let u(z) = 7*z**3 + z**2 - 2*z**2 - 3*z**3 - 3*z**3 - 4. Let s be u(0). Is 18/12 + (-638)/s composite?
True
Let o be 9 + 3/(3/(-2)). Suppose -o*g + 170 = -2*g. Is g composite?
True
Let d = -3 - 0. Let s = d - -5. Suppose 2*q - s = 0, 3*h + 0*q - 44 = q. Is h a prime number?
False
Let c(s) be the third derivative of s**5/60 + s**4/24 - 2*s**2. Let j(t) = 6*t**2 + 6*t + 9. Let g(y) = -5*c(y) + j(y). Is g(0) a composite number?
True
Let a = -7 - -45. Is a composite?
True
Suppose -3*g + 4*g - 71 = 3*c, g - 51 = -2*c. Is g a prime number?
True
Suppose 7*o + 20 = 3*o. Let n = 4 + o. Is 120 + n/(-2 - -3) a prime number?
False
Let b = -845 - -1330. Is b a prime number?
False
Suppose -z = -96 + 33. Suppose -2*y - 42 = -14. Is 605/9 + y/z a prime number?
True
Suppose -3*r = -2*y - 5, -3*y + 2*r = -2 - 3. Suppose y*t - 36 = -u, -u - 14 = t - 6*t. Is u composite?
False
Suppose -5467 = -4*k - 1203. Suppose -x = 5*o - 0*x - k, 3*x + 1062 = 5*o. Is o a prime number?
False
Suppose 5*k - 31 = -3*b + 3, -5*b + 2*k + 36 = 0. Let w(j) = 8 - b - 22*j. Is w(-1) a prime number?
False
Let v be (-15)/6*(-6)/5. Let r be 6/(-3)*(-38)/4. Suppose -3*x = -v*s + 39, -2*s + 11 + r = -3*x. Is s a prime number?
False
Suppose -3*b + 2*b = 6. Let n(w) = 2*w**2 + 10*w + 8. Let d(t) = -t**2 - 1. Let f(k) = -d(k) + n(k). Is f(b) composite?
True
Let c(u) = -8 + 3*u + 5*u + u. Is c(7) prime?
False
Let q = -22 + 41. Is q composite?
False
Suppose -2*g + 86 = -0*g. Is g a composite number?
False
Suppose 8426 + 1630 = 8*g. Is g a composite number?
True
Suppose 2317 = 4*n + 3*p + 2*p, 0 = -3*n - 3*p + 1740. Is n a prime number?
False
Suppose -8*i = -114 + 10. Is i composite?
False
Let z(w) = 72*w**3 + w**2 + 3*w - 7. Is z(4) prime?
False
Suppose 0 = 6*l - 9*l + 618. Is l prime?
False
Let h(k) = k**2 - 4*k - 3. Let r(n) = 3*n - 7. Let v be r(6). Let o = v - 6. Is h(o) composite?
False
Let c = 6 + 0. Suppose a = -2*a + c. Is (-28)/(-8)*a*3 composite?
True
Let j(b) be the second derivative of 85*b**4/12 + b**3/6 - b**2/2 + 3*b. Is j(1) composite?
True
Suppose 4*i = -f - 3 + 7, 4*i = 4*f - 16. Suppose -4*w = 3*l + 201 - 610, -l + 4*w + 163 = i. Is l a prime number?
False
Let o(t) = 211*t**2 - t + 1. Is o(1) prime?
True
Let o(q) = -3*q + 4*q**2 + 3*q**3 + 0*q**2 - 1 - 2*q**3. Let h be ((-3)/2)/(15/40). Is o(h) prime?
True
Let k = 5 + 2. Let n(i) = 7*i**2 + 0*i - 3*i - i**3 + 9 + k*i. Is n(7) prime?
True
Is 348/8*(-790)/(-15) prime?
False
Let s(c) = -c**2 + 4*c - 3. Let f be s(6). Is 6/15 - 324/f a prime number?
False
Let t = -20 - -141. Is t a prime number?
False
Is (104/10)/(6/15) composite?
True
Suppose 0 = -h - 0*h + 43. Suppose 5*y - 3*y = 3*d + 36, 19 = y - 2*d. Suppose 0 = -4*c - y + h. Is c a composite number?
False
Suppose 0*w + w = 161. Is w a prime number?
False
Suppose -3*k + 12 = 0, -5*a - 4*k = -5*k - 12891. Is a composite?
False
Suppose h - 211 = -0*h. Is h prime?
True
Suppose -4*p + 4*i + i - 4 = 0, 0 = -2*p + 2*i. Let u(x) = x**3 - 3*x**2 - 4*x + 4. Let f be u(p). Suppose a + 339 = f*a. Is a a composite number?
False
Is ((-52)/(-16))/(-1)*-524 a composite number?
True
Let l(x) = x**3 + 3*x**2. Let s be l(-3). Suppose s*f - f + 83 = 0. Is f a composite number?
False
Let d(c) be the second derivative of 5*c**4/3 + c**3/3 + c**2/2 + 2*c. Is d(-1) a prime number?
True
Let p(l) = 2*l + 12. Let u be p(-7). Is -2*177/12*u composite?
False
Let z(s) = 30*s**2 - 1 + 42*s**2 + 40*s**2. Is z(1) composite?
True
Suppose 5*l = 2*b - 3*b - 55, -4*l - 53 = b. Is (-124)/5*b/18 composite?
True
Suppose -2*n = -2*k - 130, 4*n + 4*k = 2*k + 290. Suppose a - 5*w = 3*a - n, 4*a = -2*w + 140. Is a prime?
False
Suppose 0 = 2*a + 2*a - 72. Suppose o - 4*t + a = 0, -3*o + 2*t = 5*t - 21. Suppose 0 = -5*y - b + 160, -o*b - 3 = 5*y - 158. Is y a prime number?
False
Suppose 0 = 2*b - 8 - 2. Let j be (-2)/((-2)/(-9))*-2. Suppose 5*v = -g + 382, -v - j = b*g - 80. Is v a composite number?
True
Suppose 5178 = -c + 7*c. Is c prime?
True
Let i(c) = 2*c**2 + 6*c + 3. Suppose 5 = -x + 1. Let v be i(x). Let n = 30 - v. Is n a composite number?
False
Let r(x) = 23*x + 131*x + 68*x + 47*x. Is r(1) a prime number?
True
Suppose -3*c + 2*c = -3251. Is c prime?
True
Let m(l) = 50*l**2 - 1. Let a(u) = u**2 + 5*u + 5. Let f be a(-4). Is m(f) prime?
False
Is -4 - ((-340)/4 - -2) a composite number?
False
Suppose -2*w = -123 - 491. Is w prime?
True
Let q be (-2)/3 - 42/(-9). Suppose -i - q*r = -2, -4*r + 3*r = 0. Let a = i + 47. Is a composite?
True
Suppose 2*t = -4*x + 20, -8 = t + 3*t - 4*x. Suppose -f - v + 25 = 0, 4 + 121 = 5*f + t*v. Is f composite?
True
Suppose -o + 0 = 1. Let f be o/(-2)*4*-1. Is (1 - (-6)/f) + 13 prime?
True
Let l(q) = q**3 + 15*q**2 - 7*q + 4. Is l(-11) prime?
False
Let w = 145 + 36. Let q = 3 - 0. Suppose -5*m - 2*n + w = 0, 5*m + 6*n - q*n = 179. Is m a composite number?
False
Let x = -180 - -109. Let t = 151 - 31. Let z = t + x. Is z composite?
True
Suppose 0 = 4*k + 20, 6*g - 2*g = 2*k + 158. Suppose 2*c = 0, c = 3*m - 2*m - g. Is m a composite number?
False
Suppose 4*k + 0 - 8 = 0. Suppose 5*z = -4*s + 424, -3*s + k*z + 341 = -0*s. Is s composite?
True
Let q = 1 - 1. Let l = 93 + q. Is l a composite number?
True
Let i = 161 + -34. Is i prime?
True
Suppose -148*x = -147*x - 446. Is x prime?
False
Suppose -4*z + 323 = -5*g, 2*g - 192 - 110 = -4*z. Is z composite?
True
Let d be 4/(-6) - 14/(-3). Suppose d*y - 3*y - 21 = 0. Is y a prime number?
False
Let x = -9 - -2. Let s = x - -12. Suppose -209 = s*m - 664. Is m a prime number?
False
Let z be (-20)/1 + (5 - 5). Is -5*(-4)/(z/(-53)) composite?
False
Suppose -10*q + 3*q = -35. Suppose -q*g + 682 - 87 = 0. Is g prime?
False
Let n = 266 - 183. Suppose 0 = 4*v - n - 21. Is v composite?
True
Let k(a) = a**3 - 6*a**2 + 5*a - 8. Let s be k(7). Suppose 0 = i - 3 - s. Is i a prime number?
True
Is (-1 + 2)*(-2 - 163/(-1)) a prime number?
False
Suppose 4*h + 49 - 252 = -3*c, -5*c = 3*h - 155. Suppose 0*q - q + 4*u = -10, 5*q = 5*u + h. Suppose 2*o = 4 + q. Is o a prime number?
True
Let b(n) = 9*n**2 - 6*n + 4. Is b(5) composite?
False
Suppose -52 = 3*g + 3*a - 400, 0 = -5*g + 4*a + 553. Is g prime?
True
Let l = 7 + -15. Let z(g) = g**3 + 8*g**2 - 8. Let y be z(l). Let r(m) = m**3 + 9*m**2 + 7*m + 6. Is r(y) prime?
False
Let i(g) = 4*g - 5. Let s be (-6 - 0)/(3 + -4). Is i(s) composite?
False
Suppose 5*m = -0*m - 865. Let o = m + 244. Is o a composite number?
False
Let h be -1 + ((-185)/(-1))/(-1). Let b = h - -319. Is b composite?
True
Suppose 2*p - 3*c = -6, 4*p - 4*c + 4 = -4. Suppose 2*s - 5 + p = l, -2*l = 3*s - 18. Suppose 0 = 2*o + 8, -2*m - 3*o - 114 = -s*m. Is m a composite number?
True
Let f(s) be the first derivative of -s**6/120 + s**4/24 + 11*s**3/2 + s**2/2 - 1. Let z(o) be the second derivative of f(o). Is z(0) prime?
False
Let b = 5 - 3. Suppose 4*v - b = 42. Is v prime?
True
Let h(p) = 40*p**3 - 6*p**2 + 6*p - 1. Is h(3) a composite number?
True
Let d(i) = 2*i**2 + 4*i + 5. Let l be d(-6). Suppose 190 = -9*y + 4*y. Let b = y + l. Is b composite?
True
Suppose -2 = -2*c + 2. Suppose -71 = -2*o - o + 2*s, -c*s = -5*o + 117. Is o a prime number?
True
Suppose 3*v + 5*g + 1502 = 6*v, v - 3*g = 502. Is v prime?
True
Suppose -3*a + 2342 = -1009. Is a a composite number?
False
Let k be 37/2*(17 + -3). Suppose 5*u + k - 1794 = 0. Is u a composite number?
False
Is (-2)/(-4 - 4) - 2083/(-4) prime?
True
Suppose -26*k + 5045 = -21*k. Is k a prime number?
True
Let o be -2 + 1/((-3)/(-117)). Suppose h + w - 2 = 2*w, 4*h - 8 = -2*w. Suppose h*t = t + o. Is t a prime number?
True
Let u be 1 - (-3)/(-2)*-2. Suppose 249 = u*m - 259. Is m a prime number?
True
Let w(i) = 4*i**3 - i - 1. Let q be w(-1). Suppose 0 = -4*k - 2*b - 12, 2*b - 1 - 1 = 3*k. Is (2/q)/(k/16) composite?
True
Suppose 4*x + 361 = 3*d, 3*d = -5*x + 503 - 97. Is d a prime number?
True
Let i(b) = 4*b**2 - 7*b + 14. Is i(7) a composite number?
True
Let p = 482 + -232. Suppose 5*h = 2*i + 3*i - p, 0 = -2*i - 5*h + 72. Is i composite?
True
Let l = -3 + 7. Suppose -k + l*k = 6. Suppose -3*j + k*j + 15 = 2*g, -12 = 4*j. Is g a composite number?
T