r?
False
Let d(l) = -l**2 - 7*l - 7. Let o be d(-5). Suppose x = -3*z + 2*z + 7, x - 4*z + 18 = 0. Suppose r + 54 = y - x*r, -4*r - 167 = -o*y. Is y composite?
True
Suppose 27 = 4*d + 7. Suppose 4*q = -d*t + q + 21, 5*q + 39 = 4*t. Is t prime?
False
Suppose 0 = -4*r - h - 2*h + 8629, -5*r = h - 10778. Is r prime?
False
Suppose 10 = -0*s + 2*s - g, 0 = -5*g. Let u(i) = -4*i - 20. Let r be u(-5). Suppose -3*j + s*j - 158 = r. Is j a prime number?
True
Let s = -166 + 440. Is s prime?
False
Suppose 5*k - 217 = 533. Is k + -2 + -2 + 3 a prime number?
True
Is 9/54 + 1085/6 a prime number?
True
Suppose 0*r = 5*r - 1115. Is r prime?
True
Suppose 0 = 20*i - 27*i + 1918. Is i composite?
True
Let n = -5 + 6. Is 20 + 2/2 + n prime?
False
Let f be 1 - -2 - (4 - 2). Suppose 5*d + 14 = -f, -d = -4*x - 25. Let c = x + 13. Is c composite?
True
Is 1400/3 + 11/33 a prime number?
True
Suppose -5*x + 295 = -0*x. Is x prime?
True
Let x be 4 + (-9)/3 + 2. Let z = x - 1. Suppose z*c + 16 = 198. Is c a prime number?
False
Let w = 82 - 26. Let k = -91 + w. Is (-340)/k + (-2)/(-7) a composite number?
True
Let h = -19 + 29. Let m = h + 4. Is m a composite number?
True
Let n(z) = -6*z - 9. Let j be n(-10). Is (-2 + 7)/(3/j) a prime number?
False
Let w = 1721 - 360. Is w prime?
True
Is (-3 - 130/(-3))*3 a prime number?
False
Suppose j + 93 = 2*j. Is j composite?
True
Let p be (207/12)/((-6)/(-16)). Suppose d - 7 = -5*x + p, 0 = x. Is d prime?
True
Let d be 10 - 1/2*6. Suppose -2*z = -d*z + 115. Is z prime?
True
Suppose 0 = -h - 2*h. Suppose 0 = -2*i - h*i. Suppose i = -3*z + a + 74, 4*z - 2*a = 3*a + 117. Is z a composite number?
False
Let h(r) = 6*r**2 + r - 8. Is h(9) prime?
True
Let l = -387 + 638. Is l prime?
True
Let x(v) = -v**3 + 4. Let l be x(0). Is (-81)/(-6)*l/6 prime?
False
Let s = 37 + -205. Let i = -37 - s. Is i a prime number?
True
Suppose -5*f + 14 = -11. Suppose 0*m = -f*m + 230. Is m prime?
False
Suppose -5*k + 7*k - 1354 = 0. Is k composite?
False
Let u be 1/(10/756)*5. Suppose 2*b + 20 - u = 0. Is b prime?
True
Suppose 0*f = -3*f + 3*w + 282, 89 = f + 4*w. Is f a composite number?
True
Let x = 2 - 4. Is 128 + -2 + x + 3 composite?
False
Suppose 0 = 3*y - 5*c - 314, 3*c = 5*y - c - 506. Suppose 2*f - y = 224. Is f a prime number?
False
Suppose -4*h = -4*l + 2*l - 34, -2*h - l = -7. Is (h/(-5))/(4/(-130)) composite?
True
Suppose 7*j - 46 = 3*j + l, -4*j - 5*l = -58. Suppose -t = -2*r - 77 - j, -15 = 3*r. Is t composite?
False
Let f be (-4)/6*-6 + 0. Suppose -f*d + v + 16 = 0, -3*d + v + 21 = 8. Suppose -3*i + i = -2, 0 = d*j - i - 194. Is j a prime number?
False
Suppose -2*s = 7*s - 5*s. Let m(n) = -n**3 + 4*n**2 - 2*n + 3. Let l be m(3). Suppose -3*b = -2*r - 247, l*r - 2*r + 20 = s. Is b a composite number?
False
Let b(l) = -144*l. Let z be b(-1). Let c = 289 - z. Is c a composite number?
True
Let j = 195 - 108. Is j a prime number?
False
Let j = 498 - -23. Is j a prime number?
True
Suppose 0 = n - 0 + 33. Let r = n - -80. Is r prime?
True
Suppose 2 = -4*w - c + 3, w - 14 = -3*c. Let j be w/(((-6)/(-3))/2). Is ((-2)/1 + -81)/j a composite number?
False
Let w(a) = 2*a - 3 + 0 - 6. Is w(8) a prime number?
True
Suppose k = -0*k + 5. Let x = 8 - k. Suppose -x*o - 6*c = -4*c - 581, 20 = 5*c. Is o composite?
False
Let t(j) = 521*j**2 + j + 1. Is t(-1) prime?
True
Let i = 106 + -47. Is i a composite number?
False
Let j(i) = i**3 + 17*i**2 - 12*i - 5. Is j(-16) a prime number?
True
Let d(t) = -t**3 - 7*t**2 - 7*t - 4. Let f be d(-6). Suppose 5*q = f*q - 12. Is 25/4 + 1/q a composite number?
True
Let g = 3 + -1. Let w(i) = -7*i**3 + i**2 - 2*i - 3. Let q(h) = -28*h**3 + 4*h**2 - 9*h - 13. Let f(o) = 2*q(o) - 9*w(o). Is f(g) prime?
True
Suppose 4*s - s = 5*m + 1412, 0 = 5*s + 5*m - 2420. Is s a composite number?
False
Let j = 259 - -19. Let y = j - 169. Is y composite?
False
Suppose -k - 5*p = -54, -4*k + 167 = -p - 70. Let i = k - 18. Is (2 + i)*(-3 - -4) a prime number?
True
Suppose g = 5*s - 2*s - 602, 5*g = s - 196. Let n be 3*4*1/3. Suppose -m - 3*r + 45 = -r, -n*m + s = r. Is m prime?
False
Let h(i) = -56*i - 3. Let u(w) = w**3 - 12*w**2 + 11*w + 4. Let t be u(11). Suppose t - 2 = -c. Is h(c) prime?
True
Suppose 5*j = 3*m + 2*j + 3054, -3*m = 3*j + 3054. Let c = -711 - m. Is c prime?
True
Suppose 2*y - 10 = -x, 0 = -5*y - 3*x - x + 25. Suppose -5*w + 2*g = -875, -3*w + y*g = -0*w - 506. Is w prime?
False
Suppose 0 = 5*q - 3*x + 152, -2*q - 4*x = -6*x + 64. Let p = q - -231. Is p composite?
True
Suppose -3*o + 3 + 3 = 4*z, -4*o = 4*z - 8. Suppose z = 4*y + 4*m + 368, 0 = -3*y + m - 6*m - 274. Is y/(-4) - (-1)/(-4) composite?
False
Let n = 172 + 297. Is n composite?
True
Suppose 3*o + 105 = z - 2*o, 4*o = 5*z - 483. Suppose -2*c = z - 373. Is c composite?
False
Let j(k) = 13*k - 9. Is j(6) composite?
True
Suppose -4*g + 146 = -0*t + 2*t, -2*g = 4*t - 82. Is g composite?
True
Suppose 4*p + 25 = -p, 2*u - 658 = 4*p. Is u a composite number?
True
Let c(a) = 3 + 1 - 1 - 2 + 66*a. Is c(5) composite?
False
Let n(p) = 3*p - 7. Let l be n(7). Is (-1*l)/(6/(-9)) a prime number?
False
Let a(r) = r**3 - 11*r**2 + 3*r - 2. Let c = -8 + 19. Is a(c) composite?
False
Let a = -68 + 732. Is (6/4)/(4/a) a composite number?
True
Let d(m) = -m**3 - 13*m**2 - 17*m + 2. Is d(-15) a composite number?
True
Let k be (-26)/(-3)*(-3)/2. Is 823/1 - (k + 15) a prime number?
True
Suppose 4*y + 4 = -0*q + 2*q, 3*q + 24 = -4*y. Let k = q + 4. Suppose 8 = z - a, -6*z + 4*z + 5*a + 28 = k. Is z a composite number?
True
Let t(r) = 5*r + 1 + 5 - 4*r. Let c be t(-5). Is (c - 0)/((-1)/(-23)) a composite number?
False
Let i(u) = -u**2 - 7*u - 1. Let o be i(-6). Suppose 0 = -4*q + 20, -2*q - 5 - 5 = -5*t. Suppose 15 = o*r - 2*r, 91 = 3*l - t*r. Is l a prime number?
True
Let x(i) = 3*i - 7. Let j be x(3). Is (-1)/(3156/1580 - j) a composite number?
True
Is ((-6)/(-2))/(6/2374) a prime number?
True
Let h be (-3)/(-7) - (-3704)/14. Let m = -182 + h. Is m a composite number?
False
Suppose 5*z - 579 = -j, z - 107 = -0*j + 2*j. Suppose 4*g = 3*g + z. Is g prime?
False
Let c(r) = -r**2 + 9*r - 3. Let p be c(8). Suppose 0 = -p*g + 15 + 15. Suppose -g*x + x = -845. Is x a prime number?
False
Let m(j) = -7*j - 2 + 2 - 2*j**3 - 3 - 11*j**2. Is m(-8) prime?
True
Let k(d) = -d**2 - 7*d - 6. Let g be k(-4). Let l(i) = -2 + 0*i**2 + 4*i**2 + i + g*i**2. Is l(3) a composite number?
True
Suppose 3*g - u = u + 185, -u + 243 = 4*g. Let a = g - 24. Is a a prime number?
True
Suppose 2*q - 116 = -c + 373, q - 1457 = -3*c. Is c composite?
True
Let g(n) = -3*n - 1. Let p = -3 - -2. Let z be g(p). Suppose 4*b - 30 = z*b. Is b a prime number?
False
Let h(w) = w**3 + 13*w**2 + 10*w - 22. Is h(-10) a prime number?
False
Let n(c) = 12*c + 3. Let l be n(8). Suppose 4*k = 353 + l. Is k prime?
True
Let o(i) = -53*i + 2. Let z be o(6). Is z/(0 - 2) + -1 prime?
True
Let g(m) = 18*m**3 - 3*m**2 - 2*m + 3. Let v(x) = 89*x**3 - 16*x**2 - 11*x + 16. Let s(a) = 11*g(a) - 2*v(a). Is s(2) a prime number?
True
Let t = -7 + 3. Let i = t + 1. Is 237/(-2)*2/i prime?
True
Let n(u) = 4715*u - 4. Is n(1) composite?
True
Suppose 0 = -3*w - 15 + 3. Let m(h) = -8*h + 3. Is m(w) prime?
False
Suppose -2*p + 7*p - 20 = 0. Suppose 4*d - d - 4*b = 297, p*d - 377 = -b. Is d composite?
True
Let k = -2 + 2. Suppose 2*x - 740 + 126 = k. Is x a composite number?
False
Let w(s) = s**2 - 7*s + 4. Let p be w(6). Is 36 + 0 + p - -1 a composite number?
True
Suppose 5*p - z = 394, 2*z - 321 = -4*p - 3*z. Is p a composite number?
False
Let r(s) = -s + 9. Is r(-5) a composite number?
True
Suppose -8*p + 3*p = -2365. Is p a prime number?
False
Let v(b) = -b**3 + 6*b**2 + 4. Suppose 0 = -3*r - 4*s + 30, 5*s - 45 + 18 = -2*r. Let t be v(r). Suppose t*c + 28 = 6*c. Is c a composite number?
True
Let j(n) = 3*n**3 + 2*n**2 - 11. Is j(6) prime?
True
Let v(o) = o**3 - 8*o**2 + 11. Is v(10) prime?
True
Let d be (48/56)/((-1)/(-7)). Let s = -6 + d. Suppose -u + 232 = 3*g, -5*g + 5*u + s*u = -380. Is g prime?
False
Let c(j) = -7*j - 8. Let a be c(-6). Let t = a + -15. Is t composite?
False
Suppose w - 1 = -4*z, 4*z + 0*z + 8 = 0. Suppose 3*v - w = 0, 2*s = -2*s + v + 89. Is s a prime number?
True
Let g = -2 - -2. Suppose 0 = b - 4 - g. Suppose t - 10 = 5*y + 4, 18 = t - b*