r?
True
Let t = 3 + -3. Let k be (-84)/(-2) - -2 - t. Suppose -x + k = -7. Is x composite?
True
Let f = 551 + -265. Suppose 0 = -3*c + f + 47. Is c a composite number?
True
Let d = 887 - 480. Is d prime?
False
Let x be (6 - 0 - 1)*1. Let h = -51 + 149. Suppose -5*l - 113 = -3*r, x*r + l - 53 = h. Is r composite?
False
Suppose -48 = 2*r - 4*i, 11 + 85 = -4*r - 5*i. Let h(g) = -2*g**2 + 8*g + 13. Let b be h(-6). Let m = r - b. Is m a prime number?
True
Let r(m) = 25 + 4*m**3 - 25 - m. Let h be r(1). Is 239/h + (-2)/3 composite?
False
Suppose 3*z = -0*z + 3759. Is z a prime number?
False
Suppose 0*l + 11 = -5*l + 2*c, 0 = -4*c + 12. Is l*2 - (2 - 37) composite?
True
Let v = 1706 + -853. Is v prime?
True
Let f(k) = 2*k + 2. Let w be f(-3). Let c = 22 - w. Let d = c + -7. Is d a composite number?
False
Suppose 5*f = -4 - 11. Let j be -3*(3 + -2) - f. Suppose -4*m + m = 3*x - 429, -3*x + m + 413 = j. Is x composite?
False
Let l = -5 - -11. Let g = 11 - l. Suppose -g*x + 593 = 4*i, 4*x - i - 648 = -161. Is x composite?
True
Is (-803)/(-2) + (-2)/4 prime?
True
Let f(c) = 2*c**2 - 3*c + 6. Let w be f(6). Suppose -2*k + w = 2*p - 524, 0 = -2*p - 2. Is k prime?
True
Is (-13492)/(-8) - (5/(-2) - -2) prime?
False
Let d(m) = -13*m**3 + m**2 - 5*m + 1. Is d(-4) composite?
True
Let a = -26 + 508. Let p = a + -151. Is p a prime number?
True
Suppose 4*k - 534 = -2*j, 33 + 244 = 2*k + 3*j. Is k composite?
False
Let w = -8 - -13. Let z(k) = -w*k**2 + k**3 + 2*k - 5*k - 2*k + 2. Is z(7) composite?
True
Is 161 + (1 - (1 + -2)) prime?
True
Let z = -63 + -14. Let q = -40 - z. Is q composite?
False
Suppose -346 = -3*i + 2*y, 0*i + 484 = 4*i + 3*y. Suppose -2*z = -0*z - i. Is z a prime number?
True
Let w be (-11 - (1 - 2)) + 0. Let s = -5 - w. Suppose 0 = -s*t + t + 340. Is t composite?
True
Let s(a) = -20*a**2 - 5*a - 7. Let w(o) = 59*o**2 + 16*o + 20. Let c(x) = 11*s(x) + 4*w(x). Is c(-4) a composite number?
False
Let c(p) = 2*p + 6*p + 1 - 15*p**3 - 3*p - 2*p. Is c(-2) a composite number?
True
Suppose -3*y = 2*y + 10. Is (-184)/y + 4 + -1 prime?
False
Let k = -13 - -7. Let v be (14/k)/((-2)/24). Suppose -2*n = -3*n + 5*y + v, -3*y + 4 = n. Is n a prime number?
True
Let j(h) = -8*h - 3. Let q(d) = 13*d**2 + 28*d + 20. Let b(r) = -3*r**2 - 7*r - 5. Let y(w) = -9*b(w) - 2*q(w). Let s be y(-4). Is j(s) prime?
True
Suppose 42 = 4*h - 194. Is h a prime number?
True
Suppose -4*q - 9 - 22 = -u, -q = u - 6. Is u prime?
True
Let w(n) = -n**3 - 3*n**2 - 7*n + 7. Let v be w(-7). Let r = -103 + v. Is r a prime number?
True
Let o = 2201 - 864. Is o a prime number?
False
Let d = -5 - -2. Is 3/d*-7*3 composite?
True
Suppose -2*a + 2*w + 3*w = -12257, -4*a - w + 24525 = 0. Is a a prime number?
True
Let z(h) = 3*h**3 - 3*h**2 + 2*h - 1. Let t = -10 - -5. Let p(d) = d + 7. Let q be p(t). Is z(q) a composite number?
True
Suppose -7*r = -90 - 155. Is r a prime number?
False
Let j(v) = 7*v**2 - 15*v - 21. Is j(-14) composite?
True
Is 0 + (-31 + 0)*-11 a composite number?
True
Let r(k) = -k**2 + 5*k + 6. Let v be r(6). Let t(m) = -29*m + 79 + 10*m - m**2 + 18*m. Is t(v) prime?
True
Let z(d) = 3*d**2. Let u be z(1). Suppose 0 = -u*n - 53 - 22. Let k = 108 + n. Is k prime?
True
Suppose -276 = -5*r - 21. Let j = r - 15. Suppose 4*k = 4*v + j, 2*v = -2*k + 4 + 14. Is k composite?
True
Let i(w) = 72*w - 11. Let h be i(6). Suppose 0 = -5*m - 36 + h. Is m a composite number?
True
Suppose -4*y + 399 = -3*y + 2*u, -3*y - 3*u = -1200. Is y composite?
False
Let a(t) = 41*t + 3. Let s(h) = -1. Let l(x) = a(x) + 6*s(x). Is l(2) a prime number?
True
Let i(h) = -h + 22. Let d be i(8). Suppose 3*b = 3*k + 42, 5*b + 3*k - 84 = -d. Is b composite?
True
Suppose -501 = 4*h - h. Let y = 24 - h. Is y a composite number?
False
Suppose -p = -0*p - 691. Let w = 1110 - p. Is w prime?
True
Let y be 3/(2/16*6). Suppose 5*k + 30 = h, 0 = 4*h + y*k - 251 + 11. Is h composite?
True
Let q = 369 - 112. Is q a prime number?
True
Let w = 70 - 9. Let i = 138 - w. Is i a composite number?
True
Suppose 4*q - 3*g + 20 = 0, 0*q + q - 5*g + 22 = 0. Is 417 - (-3 + q - -3) a composite number?
False
Let w(r) = r**2 - 4*r - 5. Let u be w(5). Is (-2 - u)/((-2)/19) prime?
True
Let v be (6/2)/(3/(-2)). Is -194*(2 - (-5)/v) a composite number?
False
Let s be 350/(-4)*(-24)/15. Is (1/(-4))/((-5)/s) prime?
True
Suppose 0 = 4*z - 8*z + 12. Suppose -z*m + 405 = 60. Is m composite?
True
Suppose -2*i + 2*q + 10 = 0, 5*i - 13 = 2*q - q. Suppose -i*l = 3 - 11. Suppose l*d + d = 335. Is d a prime number?
True
Is (2/(-8))/((-7)/3556) composite?
False
Suppose 2*a = 10 + 2. Is 390/2*2/a a prime number?
False
Let y = 765 + -124. Is y a prime number?
True
Suppose -5*v - 15 = 5*i, 4*i - 24 = -v + 3*v. Let z = 11 + v. Suppose -4*d - 33 = -z*d. Is d composite?
True
Let h be -38*(-2)/(-12)*3. Let w = h + 44. Is w composite?
True
Suppose 3*n + 4*m = 913, -4*n = -m - 2*m - 1234. Is n prime?
True
Let l be 804/20 + (-2)/10. Let w be (l/(-25))/(4/(-10)). Suppose w*k + 15 = -5, 3*p = k + 146. Is p prime?
True
Let g be ((-1)/2)/(3/336). Let b = -25 - g. Is b a prime number?
True
Is ((-121)/(-44))/((-2)/(-104)) prime?
False
Let y(s) be the second derivative of 27*s**4/4 - s**3/6 - s**2/2 - 2*s. Let q be y(-1). Let o = 166 - q. Is o prime?
False
Suppose s - 107 = 4*b - 7*b, 3*b - 5*s - 95 = 0. Is b composite?
True
Let j = -1677 + 2396. Is j a prime number?
True
Suppose 0 = 5*j + 3*u - 80, j - 3*u - 11 - 23 = 0. Is j prime?
True
Let w(i) = 43*i - 1. Suppose -3 + 23 = 4*k. Is w(k) a composite number?
True
Let l = 804 + -395. Suppose -3*p + o = p - 567, -3*p + l = -4*o. Is p composite?
True
Let a(f) = 18*f**2 - 6*f + 5. Is a(3) a prime number?
True
Suppose -4*g = 4*s, s = 6*s + 20. Suppose -3*f - w = -g*f + 154, -3*f + 442 = w. Is f composite?
False
Suppose -4 - 6 = -5*r. Suppose -2*g - r*g = -60. Is g a prime number?
False
Let q be (1 + -7)*(-4)/8. Suppose -3*m - 21 - q = 0. Let s = m - -31. Is s prime?
True
Is (-5717)/(-9) + 4/(-18) a prime number?
False
Suppose -4*p = 4*h + 8, -p + 3*p = -h - 7. Suppose -3 = v + 1, -h*v = 2*l - 38. Let b = 96 + l. Is b a prime number?
False
Let a(m) = m**3 - 2 + 4*m + 3*m**3 - 1 + 0*m. Is a(2) a composite number?
False
Let s(x) = -x**2 + x - 1. Let i(t) = 101*t**2 - 2*t + 3. Let k(n) = i(n) + 3*s(n). Is k(-1) a composite number?
False
Suppose -4*j = 3*p - 605, 0 = -p + j + 3*j + 207. Is p composite?
True
Let v(n) = 7*n**3 + 3*n - 1. Let r be v(2). Suppose 2*i - 31 = 1. Suppose l - i - r = 0. Is l a composite number?
True
Let q(f) = f**3 - 4*f**2 + 2*f - 2. Is q(4) a composite number?
True
Let x(c) = -122*c - 3. Let a(v) = 41*v + 1. Let k(f) = 7*a(f) + 2*x(f). Is k(2) a composite number?
True
Let w = 307 + -148. Let x = 392 - w. Is x composite?
False
Let r(u) = u**2 - 1. Let g be r(-2). Suppose -h - 106 = -g*h. Is h composite?
False
Let x = 8019 + -4954. Is x composite?
True
Let d be ((-1)/1 - 4)*1. Let x be (d/4)/((-2)/8). Is (-189)/(-15) + 2/x a composite number?
False
Let v = 379 - 74. Is v composite?
True
Let m = 1298 + -760. Is m prime?
False
Suppose 0*f = -5*f - 20, 4*f + 7404 = 4*b. Is b composite?
False
Suppose 5*y - 2519 = 6806. Is y a composite number?
True
Suppose 2075 = 6*z - z. Is z composite?
True
Suppose n + 25 = 6*n. Suppose -n*b = -3*b - 178. Is b composite?
False
Let a be 1 + -146*2/(-4). Let q = 185 + a. Is q prime?
False
Let a(i) = 2*i**3 - 6*i**2 - 2*i + 1. Is a(5) composite?
True
Suppose -w + 2*w = 1. Let o be (w + (2 - 2))*-2. Is o/7 - 247/(-7) a prime number?
False
Let c(a) = a**3 - 12*a**2 + 4*a + 12. Let z be c(9). Let m = 338 + z. Is m a prime number?
False
Let d be (2/(-8))/((-4)/16). Is d*1/(-1)*-121 composite?
True
Is (1/(-4))/((-8)/6752) a prime number?
True
Let l = -198 + 667. Is l composite?
True
Suppose -j - 2*w = -42 - 34, -4*w + 82 = j. Let n = j - 36. Is n prime?
False
Suppose 0 = 5*b - 4*d - 77, 4*d = -5*b + 2*b + 27. Let v = -3 + b. Is v a prime number?
False
Let s be (-5)/10 + 7/2. Suppose 8*t - s*t - 125 = 0. Suppose 2*a - t = 49. Is a prime?
True
Suppose -716 = -0*r - 4*r. Is r a prime number?
True
Suppose 2*z - 338 - 92 = -2*i, -3*i = -12. Is z prime?
True
Let q(b) be the third derivative of b**5/30 - 5*b**3/6 - 3*b**2. Is q(7) prime?
False
Let n = -1031 + 3275. Suppose -j + n = 2*j.