5 = 0. Suppose -r + l*k + 9 + 14 = 0, -11 = -r + k. Is r a prime number?
True
Let u = 6 + -3. Suppose -5*t + 3*r + 100 = 34, -u*t + 39 = -2*r. Suppose a - t = -4*a. Is a a prime number?
True
Let s be (47/1)/(1 - 0). Suppose 0 = -3*l + s + 106. Is l prime?
False
Suppose 2*x - 2*i + 380 = 0, 0*i + 377 = -2*x + i. Let d = 24 - x. Is d prime?
True
Let a(r) = 1003*r**2 - 2*r + 1. Let u be a(1). Let g = u - 611. Is g composite?
True
Let s be (-6)/9*12/(-1). Is 177/2*(-6 + s) a prime number?
False
Suppose 0 = -3*q + 3, 2*q + 6 + 12 = 4*d. Suppose 3*u = 4*u - 2. Suppose 2*w - 70 = d*v, 0 = u*v + 1 + 7. Is w a composite number?
True
Let d be 2/(-4) - (-126)/4. Let k = d + -92. Let h = k + 107. Is h prime?
False
Suppose j - 1136 = -j. Suppose 3*o - 5*n - j = 0, -6*n = -5*o - 3*n + 952. Is o prime?
True
Let b(x) = x**3 + 4*x**2 + 3*x. Suppose -2*p - 8 = -0*p. Let u be b(p). Let f = 35 + u. Is f prime?
True
Is 3907/4 - ((-33)/(-12))/(-11) composite?
False
Let f = -2 - 7. Let h be f/(-2)*10/15. Suppose -2*x = h*x - m - 631, 2*m + 373 = 3*x. Is x a composite number?
False
Let n be (1 + -4)/((-3)/(-9)). Let r be 1/(0 + (-3)/n). Suppose -4*a + 80 = 3*g, 0 = r*a - 2*g - 63 - 14. Is a a prime number?
True
Let r = -78 - -385. Is r prime?
True
Suppose 0 = -3*o + 870 - 69. Is o a composite number?
True
Let j be (16/10)/(2/5). Suppose 63 = q - 3*s + j*s, 2*q = -s + 122. Is q composite?
False
Is (-2)/(-4) - 1681/(-2) prime?
False
Let z = 17 - -7. Suppose 2*d + 3*d - 50 = -5*t, -2*t - 5*d + 32 = 0. Suppose -4*s + z = -3*p, -s - t*p + p + 6 = 0. Is s a prime number?
False
Suppose -d + 15 = t, 0 = 3*d - 4*t + 2*t - 45. Suppose -2*b + 47 + d = 0. Is b composite?
False
Let q be (-1)/(-3 - 2068/(-690)). Let r = 15 - 8. Suppose -2*g = -r*g + q. Is g prime?
False
Let g(f) = 3*f - 1. Let z be g(-1). Let w = z + 9. Suppose 133 = a - 2*u + 6*u, 0 = -4*a + w*u + 532. Is a prime?
False
Let q = 18 - 8. Let v = 5 + q. Is v a prime number?
False
Let i = -13 + 498. Is i a prime number?
False
Let v = 8 + -3. Let a(s) = s. Let t be a(v). Suppose -u + t*g = -82 + 4, 3*g = -4*u + 197. Is u prime?
True
Let w be (1 - 0)*(5 - -1). Let f(k) be the first derivative of k**4/4 - 5*k**3/3 + 4*k**2 - 7*k - 2. Is f(w) a prime number?
False
Let c(a) = -a**2 - 6*a - 4. Let l be c(-5). Suppose -3*s = 12, 4*i = -4*s + l + 63. Suppose n - i = -n. Is n composite?
True
Let m(j) = 20*j + 0 + 12*j - 2. Let q be m(2). Let z = -15 + q. Is z a prime number?
True
Is (10/8)/(9/7704) + -1 a prime number?
True
Suppose 3805 = 2*u + 5*n, -5*n = -10*u + 7*u + 5670. Is u a composite number?
True
Let w = 14 - 8. Suppose -n + w*n = 0. Is 14 - (n/(-2))/1 composite?
True
Let o = -3 - -8. Suppose 3*i = -3*s + 381 + 546, o*i - 2*s = 1531. Is i composite?
False
Suppose 0 = 3*b - 7*b - j + 222, -5*b = -5*j - 265. Suppose -t - b = -272. Is t prime?
False
Let r = 101 + -66. Is r a prime number?
False
Let k = 8 - 8. Suppose k = -3*i + 5*s - 9 + 3, 19 = -4*i + 3*s. Let f = i + 14. Is f prime?
True
Let w(l) = -97*l + 5. Is w(-12) a composite number?
True
Let r(v) = -v**3 + 8*v**2 - 5*v - 9. Let l be r(7). Let f(d) = 63*d + 4. Is f(l) a composite number?
True
Let f(h) = h - 5. Let z be f(5). Suppose 0*d - 2*d + 70 = z. Is d a prime number?
False
Let p = -17 + 9. Let y(g) = g**3 + 9*g**2 + 9*g + 12. Let l be y(p). Let i(m) = 7*m - 6. Is i(l) a composite number?
True
Let t(p) = -p**2 + 5*p + 5. Let u be t(5). Suppose -4*v + 3*v + 21 = -4*n, -5*v + u*n = -60. Let q(j) = -j**3 + 10*j**2 - 7*j - 8. Is q(v) prime?
False
Let x = 281 + -22. Is x composite?
True
Suppose 2*s - 4*t = 10, t - 4 = -s - 14. Let m = 5 - s. Is m prime?
False
Let x = -16 + 52. Let v(m) = -m**3 - 6*m**2 - 2*m + 2. Let t be v(-5). Let s = x + t. Is s a composite number?
False
Is (-471)/2*(-84)/18 prime?
False
Let x(a) = 7*a - 15. Let t(h) = 4*h - 8. Let v(p) = 5*t(p) - 3*x(p). Let m be v(3). Let c = 13 + m. Is c a composite number?
True
Let o(r) = 134*r - 1. Suppose 4*m = 5*p - 9, 0 = 3*p - 2*m - 8 + 3. Is o(p) a composite number?
True
Suppose 0 = -3*d + 263 + 193. Suppose 0 = 5*n + y - 160, 4*n + 4*y + d = 8*n. Is n a composite number?
True
Suppose -10*q + 5410 = -0*q. Is q composite?
False
Let k(f) = -f**2 + f + 179. Is k(0) a composite number?
False
Let o(a) = -a**3 - 3*a**2 - 3*a - 2. Let b be o(-2). Suppose b*p = -4*p. Suppose 0*s + 2*s = -4*m + 14, p = -3*m - s + 10. Is m prime?
True
Let n(r) = 6*r**2 - 8*r + 8. Is n(5) prime?
False
Let q(y) = -y**3 + y + 53. Is q(0) prime?
True
Suppose -o + 0*o + 196 = 0. Suppose -h = -0*h - 3*w - 15, -4*h - w = -8. Suppose -h*v = v - o. Is v a prime number?
False
Let d(k) = -22 - 5*k**2 - k + 0*k**2 + k**3 + 0*k**2 - 6*k**2. Is d(15) a prime number?
True
Suppose -5*f = -y - 3*y - 36, -3*f = -3*y - 21. Let m = f + -5. Is m prime?
True
Let c(r) = -r**2 + 6*r + 5. Let f be c(6). Suppose -f*w = -1049 - 66. Is w prime?
True
Suppose -4*v - 3*f + 1084 = 0, -2*v + 9 = -5*f - 559. Let j = v - 159. Is j prime?
False
Suppose -5*o + 0*o = -2935. Is o a composite number?
False
Let a(q) = 14*q + 12. Let y be a(-9). Let s = y + 227. Is s prime?
True
Suppose 3*r = 2*k + 16, 2*k = -5 - 5. Suppose -4*i - 3*v = 2*v - 356, 178 = r*i - v. Is i a composite number?
False
Suppose 2*g + 7 = 3*m, 2*g = 2*m + 6*g + 22. Is (1*m)/(7/(-665)) prime?
False
Suppose 4*f = 2*r - f - 5, 0 = 3*r - 2*f - 2. Suppose 2*m - 3*q - 26 = 0, 2*m + r*q = 4*q + 28. Let o = m + -4. Is o composite?
True
Suppose -1 - 5 = -2*d. Suppose -5*b + 2*r + 29 = 0, -4*b - d*r - 11 = -5*b. Suppose -3*k - 2*v - 226 = -7*k, 0 = b*k - 4*v - 287. Is k prime?
False
Let o(w) = -w**2 + 2*w + 4. Let j be o(-7). Let q = j - -82. Is q a composite number?
False
Suppose -8*o + 451 = -3*o + 3*s, s = o - 87. Is o composite?
False
Let s(j) = 240*j - 41. Is s(13) a composite number?
False
Suppose 5*v + 11 = 3*i - 35, 0 = -2*i + 5*v + 39. Suppose 5*k - 4*a - 11 = 0, -3*k + 2*a = -0*a - i. Suppose 0 = -k*n + 47 + 100. Is n composite?
True
Suppose 0 = -4*i - 6*i + 850. Is i a prime number?
False
Suppose 3*k = 8*k. Suppose 4*d - d - 609 = k. Is d a composite number?
True
Suppose -w = t - 0*t + 6, 5*t = -4*w - 26. Let v be (-4)/(-2)*(-2)/w. Is (4/8)/(v/110) a prime number?
False
Suppose -1881 = -3*b + 3*v - 183, 0 = 2*b - 5*v - 1141. Is b a composite number?
False
Suppose -5*l + 175 = -165. Let s = l + -46. Is s prime?
False
Suppose 4*b - 7022 = 2*b. Is b a composite number?
False
Let u(z) = 2*z**2 + 6*z + 3. Suppose -3*h - 15 = a + 3*a, -a = -h - 5. Is u(h) a prime number?
True
Let a(u) = 103*u - 2. Is a(3) a prime number?
True
Let b(r) = r**2 - 5*r + 5. Let f = -9 + 16. Is b(f) prime?
True
Suppose -8 - 12 = -4*s. Suppose 0 = -4*i + s + 3. Suppose i*r = -0*r + 266. Is r a composite number?
True
Let a = -1 + 11. Is a composite?
True
Let m(u) = -u. Let c be m(-2). Suppose -89 = -r - 2*n + 40, -c*n - 466 = -4*r. Is r prime?
False
Suppose -3 = 2*d - 229. Suppose 2*y + d = 3*y. Is y composite?
False
Let h(y) = y**3 + 7*y**2 + 5*y + 9. Let x be h(-6). Let i be (-3)/15 - 342/x. Let t = i + 38. Is t a composite number?
True
Is (-1)/((-5)/590) - -1 a prime number?
False
Let g = 205 - 108. Is g a composite number?
False
Let h(w) be the third derivative of w**5/60 + w**4/24 + w**3/6 - w**2. Let y be h(-2). Suppose 273 = 6*j - y*j. Is j prime?
False
Let v = 1084 - 488. Suppose v = -8*j + 12*j. Is j a composite number?
False
Let w(n) = 34*n - 25. Is w(5) a composite number?
True
Let f(v) = 2 + 65*v + 0 - 3. Let a be f(-3). Is a/(-3) + 2/(-6) a composite number?
True
Let f be 10/(-15)*3/(-1). Suppose -3*g = 3*z - 258, 3*g = -f*z + 4*g + 178. Let w = -62 + z. Is w prime?
False
Let w(c) = -2*c**3 - 5*c**2 - 7*c - 3. Is w(-5) composite?
False
Let r(c) = -c**2 + 5*c - 8. Let v be r(7). Let b be (-1 + 1)/(3/(-3)). Is v/(-2) + b + -1 composite?
True
Suppose -2 = y, -4 - 4 = -4*a - 2*y. Suppose a*g - 86 = 79. Is g composite?
True
Let s = 342 - 35. Is s a composite number?
False
Let b be (-2)/6 - 7/(-3). Suppose b*a = 5*g - 247, 2*g - 201 = -2*g + 5*a. Is g prime?
False
Let r(b) = 12*b - 1. Suppose -4*j + 6 = -6. Is r(j) prime?
False
Let n = 5 + -3. Let l(p) = 6*p**2 - 11*p - 5. Let i be l(8). Suppose 5*r + n*o = i, -2*o = -r + 5*r - 234. Is r composite?
True
Let o = -5 + 10. Suppose -1 = o*i - 41. Let n(k) = 4*k - 7. I