9. Is r a prime number?
True
Suppose 2*r - 735 - 295 = 0. Is r a prime number?
False
Suppose -2*j + 1146 = -5*a, -a + 5*a = 3*j - 1705. Is j prime?
True
Let k = -7 + 68. Let l = k + 6. Is l composite?
False
Let h be 147 + (3 + -6)*1. Suppose -2*o = 5*f - h, o - 6*f = -2*f + 59. Is o a composite number?
False
Suppose 5*q - 17 = y, -5*q = 5*y - q - 2. Is 182 + (-9)/6*y a composite number?
True
Let a(u) = -4 - u + 4 + 6*u**2. Let i be a(-1). Suppose -2*w + i = -13. Is w prime?
False
Let i = -126 - -317. Is i a prime number?
True
Let l be 1*(-1 + 5) - 1. Let z = 10 - 6. Suppose 3 + l = 2*w, z*b + w = 15. Is b a prime number?
True
Is (-2)/3 - 4979/(-39) composite?
False
Suppose -t = t - 12. Suppose -t*q + 2*q + 34 = 3*y, q - 4*y = -1. Suppose i = 29 - q. Is i composite?
True
Suppose 0 = 2*u + 3*i - 1588, 5*u + 5*i - 3975 = -0*u. Is u a prime number?
True
Let j be 1/(-4) - (-35)/(-20). Let w(t) = 65*t**2 + 2*t + 3. Is w(j) a prime number?
False
Let m(s) be the first derivative of 1/3*s**3 + 43*s - 1/2*s**2 + 1. Is m(0) composite?
False
Suppose 4*z - 82 = 46. Suppose -3*x + z + 0 = -5*r, x = -5*r + 4. Is x composite?
True
Suppose -v - w = -9, -9 = 4*v - 8*w + 3*w. Suppose 0 = -5*h + h + v*f + 1048, -4*f - 271 = -h. Is h a composite number?
True
Let h = 19 - -164. Is h prime?
False
Let l = -6 + 7. Let i(h) = 126*h**2 + 1. Is i(l) a prime number?
True
Suppose 0 = -5*d + 145 + 180. Suppose h + z = 165, 6*z = 2*h + 2*z - 300. Suppose h - d = 5*n. Is n composite?
False
Suppose -2*m - 32 = 4*a, 3*m = 3*a - a - 16. Let x(h) be the third derivative of -h**4/8 + 11*h**3/6 + 10*h**2. Is x(m) prime?
False
Let g = -935 - -1486. Is g composite?
True
Let g(j) be the first derivative of -j**2/2 + 14*j + 1. Let p be g(9). Suppose -p*a - 466 + 1281 = 0. Is a prime?
True
Let l(k) = -2*k**3 - 2*k**2 - 2*k + 4. Let p be l(-4). Let a = p - -49. Is a prime?
True
Let v(m) = m + 5. Let d be v(-5). Suppose 4*x = -3 - 9, o + x + 1 = d. Suppose 4*n - 68 + 16 = 5*g, g - 26 = -o*n. Is n prime?
True
Let g(b) = -2*b. Let q = -5 + 3. Let t be g(q). Suppose -4*y + 100 = -t*c, 2*c + 21 = y + 3*c. Is y prime?
True
Is 4/(-6) + 33082/42 a composite number?
False
Let g(u) be the first derivative of -u**4/4 - 11*u**3/3 - 3*u**2/2 - 15*u - 2. Let l be g(-12). Suppose -2*t - t = -l. Is t a prime number?
False
Is (2456/12)/((-6)/(-63)) a prime number?
False
Let u(j) = j**2 + 4*j - 3. Let y be u(-4). Let m = y + 4. Suppose r = m + 9. Is r composite?
True
Let g = 88 - -211. Is g prime?
False
Suppose -7*q = -2*q - 110. Is q composite?
True
Let b(o) = -170*o - 5. Let r(c) = -57*c - 2. Let n be (-25)/4 - (-3)/12. Let u(x) = n*b(x) + 17*r(x). Is u(3) composite?
False
Let s = -70 + 101. Is s a composite number?
False
Let k = -136 + 60. Let z = k - -133. Let q = z - 20. Is q prime?
True
Let m(z) = z**2 - 5*z + 7. Let c(i) = -3*i - 2*i**2 - 3 + i + 3*i**2. Let g be c(4). Is m(g) a composite number?
False
Suppose -42 = -3*f - 0*f. Is 2230/f - (-8)/(-28) a prime number?
False
Suppose u - 4 = -0*r + 3*r, 20 = 5*u - 3*r. Suppose -192 - 28 = -u*w. Suppose 4*k + 46 = -x + 3*x, k - w = -3*x. Is x a prime number?
True
Let l = 1 - -36. Is l a composite number?
False
Let x = 13 + 2. Suppose 2*u - 6 = 4*u. Is 370/x - 1/u a prime number?
False
Let l(b) = 7*b - 1. Suppose 4*q = -12, -2*z - 6*q = -q + 13. Let g be l(z). Is (20/g)/((-4)/(-18)) a prime number?
False
Let y(g) = -g**3 + 4*g**2 + 5*g + 3. Let a be y(5). Suppose -4*x + 23 = -u + 126, 3*x = -a*u + 369. Is u prime?
False
Let b(u) = u**3 - 7*u**2 + u - 5. Let o be b(7). Suppose -d + 378 = o*d. Let j = -11 + d. Is j a prime number?
False
Let x = 13 - 18. Let h be ((-2)/x)/((-1)/5). Is 1/h + 150/4 prime?
True
Suppose -2*t + 13 - 79 = -2*y, 0 = -3*t - 4*y - 120. Let r be (-1)/(-6) + (-4890)/t. Suppose -4 = 3*f - 3*h - r, h = 3. Is f prime?
True
Suppose -3*j - 17187 = -5*w - 6394, j - 4326 = -2*w. Is w composite?
False
Let p(r) = 268*r**2 + 7*r + 6. Is p(-1) a composite number?
True
Let c = -7 - -8. Suppose 2*z = 3*n + 22, -z + 22 = -4*n + c. Suppose 0*d + 655 = z*d. Is d a prime number?
True
Let r = -327 + 190. Let v = 89 + r. Let y = -11 - v. Is y composite?
False
Suppose -12*y = -2*y - 9790. Is y composite?
True
Let h(t) = t**2 + 5*t - 3. Let k be h(-6). Suppose 0 = 5*s - 2*a - 74, -5*s + k*a - 2*a = -72. Is s a composite number?
True
Suppose 0 = -4*g + 5*g + 4. Let w = -2 - g. Suppose 92 = w*h + 18. Is h composite?
False
Let d = 4 - -1. Suppose 0 = -5*r - 15, 163 - 986 = -d*c - 4*r. Is c composite?
False
Let u(w) = -w + 11. Suppose -a + 11 + 2 = -5*p, 33 = 4*a - p. Let g be u(a). Is 39/g*(-10)/(-2) a prime number?
False
Let r(j) = 3*j - 3*j**2 - 5*j**2 + 5 + 2*j**2 + 4*j**3. Is r(4) prime?
False
Suppose -x = -2*x + 266. Let c = -160 + x. Suppose -a - a + c = 0. Is a a composite number?
False
Suppose -117 = 2*m + 253. Let k be m/(-25) + (-4)/10. Suppose 4*d = -4*u + 16, 4*d - k - 15 = -5*u. Is u composite?
True
Is 750 - ((-1 - -1) + -1) a composite number?
False
Suppose 3*d - 2*b - 752 = 3*b, 5*d = -3*b + 1310. Is d a composite number?
True
Suppose -4*f + 0*c = c - 84, -c = -4. Let z = f - 14. Suppose -z*k + 3*l = -2*k - 56, -4*l = 0. Is k composite?
True
Suppose 3*s - 3*h = -33, -6*s + 5*h = -2*s + 49. Is (-3 - s/3)*-431 composite?
False
Suppose -5*m - 3*n = -5*n + 5, 5*m + n = 10. Let q = 5 - m. Suppose -k - 2*p - 64 = -3*k, -58 = -2*k - q*p. Is k a prime number?
True
Let b be -5 + (-3 - -2) + 3. Let x(c) = c - 1. Let h(g) = 9*g**2 + 7*g - 3. Let w(j) = b*x(j) + h(j). Is w(-3) prime?
False
Let u = 43 + -15. Suppose -4*a + g + u = 3*g, -3*a - 4*g = -31. Suppose -a*j + 2*j = -111. Is j a composite number?
False
Suppose -q - q = 16. Is 12/q*(-28)/6 composite?
False
Let h be -5*(4 + (-1 - 4)). Suppose 2*b - h = 153. Is b prime?
True
Suppose 4 = 3*n - 2. Is (99 - n) + (0 - 2) a composite number?
True
Suppose z = 3*z - 122. Let t = z - 2. Is t prime?
True
Let a(t) = 2 - 4*t - t**3 - 2*t - 7 - 5*t**2. Let u be a(-4). Suppose 84 = u*k - 471. Is k composite?
True
Suppose -2*j + 5*n + 2466 = 0, -n + 0*n + 3682 = 3*j. Suppose 0 = 5*u - u - j. Is u prime?
True
Suppose 1885 = 3*c - 5*d, 5*c - c - 3*d - 2528 = 0. Is c composite?
True
Suppose 8*n + 2*f = 3*n + 5613, -3*n + f = -3359. Is n prime?
False
Suppose 485 = 2*o + 3*o. Is o a prime number?
True
Let r(k) = -1 - 1 + k + 19*k**2 + 0*k + 1. Let h be r(2). Let n = h - 40. Is n prime?
True
Let r be 1 + (5 + -2 - 2). Let s(f) = 29*f**2 + f + 1. Is s(r) composite?
True
Is ((-184)/16 + -7)/(1/(-2)) a composite number?
False
Let x(t) = t - 8. Let s be x(11). Suppose -f + 414 = 2*f. Suppose -s*g + j + f = -497, 207 = g + 2*j. Is g prime?
True
Suppose -337 = -j + 4*m - 7*m, -4*j = -4*m - 1316. Is j a composite number?
False
Suppose 4*d - 3*n - 2 = 0, -1 = d + n - 5. Suppose 0*u + 242 = d*u. Is u prime?
False
Let c(l) = -l - 6. Let x = 5 + -14. Let g be c(x). Suppose 14 = g*d - d. Is d a prime number?
True
Let g(k) = 5 + 6 - 3*k + 6 + k**2 + 9*k. Is g(-12) a composite number?
False
Let w(p) = -p - 2. Let b be w(3). Let y be (-12)/b - 6/15. Suppose 45 = -u + 4*u + 5*v, 0 = -y*u - 2*v + 26. Is u composite?
True
Let w = 119 + -54. Is w prime?
False
Let z(l) = 2*l - 22. Let u(s) = -s + 7. Let n(y) = 14*u(y) + 5*z(y). Let a be n(-9). Suppose 5*q - a = 161. Is q prime?
True
Let b(a) = -7*a**2 + 9*a. Suppose 0 = 4*w - 8, p = -2*w - 1 + 9. Let i(v) = 3*v**2 - 5*v. Let t(o) = p*b(o) + 9*i(o). Is t(-7) a prime number?
False
Suppose -3*r + 547 = -2*r. Is r prime?
True
Suppose 2*n - 4*n = -3466. Is n prime?
True
Let x(g) = -2 - 2 + 19*g + 4. Is x(1) a prime number?
True
Let i = 814 - -574. Suppose 5*j + 313 = i. Is j a composite number?
True
Suppose y - 3*t - 350 = 0, 0 = -2*y + t + 260 + 435. Is y a prime number?
True
Is (-1 - 3) + 97 + (-4 - 2) a prime number?
False
Suppose 0 = -3*n - g - 1903, -n + g + 3*g = 617. Is (-2)/(-3)*n/(-2) composite?
False
Suppose 2*c - 912 = 1230. Suppose -4*h = -h - c. Suppose -43 + h = 2*m. Is m a composite number?
False
Let n be (-1694)/(-9) + 10/(-45). Suppose 2*k - 386 = 4*r, 3*k = 2*k - 3*r + n. Is k prime?
True
Suppose 2*d + 6 = 4*d. Suppose -2 = -d*q + 13. Let t(z) = -z**3 + 7*z**2 + 3*z - 6. Is t(q) a composite number?
False
Suppose j = -3*j + 764. Is j composite?
False
Let f = -137 - -57. Let