h(n) = -4*k(n) - 9*r(n). Is h(c) prime?
False
Suppose -2*k = -d - d, 0 = -d + 4*k. Let m(f) = f**3 - f**2 - f + 4. Let r be m(d). Suppose -r*a = 37 - 185. Is a a prime number?
True
Let b(u) = u**3 + 2*u**2 - 3*u. Let v be b(-3). Is 6/(-6) + 7 + v composite?
True
Let w = -729 + 1880. Is w composite?
False
Let v be (-34)/((-96)/(-51) + -2). Suppose 4*x - v = 579. Is x a composite number?
True
Suppose -11*r + 18*r - 7063 = 0. Is r a prime number?
True
Let y(i) = -i**3 - 4*i**2 + 2*i - 3. Let d be y(-4). Let v = 68 + d. Suppose v = 5*h - 98. Is h a composite number?
False
Let f = -7 - -7. Suppose -507 = -3*d - f. Is d a prime number?
False
Let g = 1504 - 738. Let s be 4/(-10) - g/10. Is (-2)/8 - s/4 prime?
True
Suppose 44 = 3*s - l, -3*s - 12 = -4*s - l. Suppose -14 = 5*w - 3*d, 0*w = -w + 3*d - 10. Let o = s - w. Is o composite?
True
Suppose -5*v + 2*h = -1899, -756 = -2*v + h - 2*h. Is v prime?
True
Let r(d) = d**3 + 18*d**2 - 13*d + 10. Let m be r(-15). Suppose -m = -4*k - 3*q, k - 2*q + 3*q = 221. Is k a prime number?
False
Let f(y) = 3*y**2 - 2*y + 10. Is f(6) a prime number?
False
Suppose 4*h + h = 2*j - 4521, 4497 = 2*j + 3*h. Is j a composite number?
True
Let o(t) = 1453*t**2 + 2*t. Is o(-1) a composite number?
False
Suppose 3*m - 802 = -247. Is m prime?
False
Suppose g = -3, -3*u - 2*u = g - 1252. Is u a composite number?
False
Let q = -7 + 7. Suppose 4*k - i = -0*k + 209, q = 4*k - 2*i - 206. Is k prime?
True
Let n(u) = 4*u**3 + 8*u**2 - 5*u + 3. Let z be 29/6 - (-3)/18. Let f(k) = 7*k**3 + 15*k**2 - 9*k + 6. Let b(p) = z*n(p) - 3*f(p). Is b(-6) a prime number?
False
Let y = -2 - -71. Is y prime?
False
Suppose 2*o - 433 = 229. Is o a prime number?
True
Let y = 1741 - 264. Is y a composite number?
True
Let y be 23/7 + 6/(-21). Suppose 0 = y*f + 59 - 296. Is f a prime number?
True
Suppose v = 1 - 7. Let h = v + 1. Let q = 14 - h. Is q prime?
True
Suppose 2*h + 57 = 3*i - 3*h, 0 = 3*h. Is i a prime number?
True
Let o = 1448 + -631. Is o a composite number?
True
Suppose -n - p + 3 = -0*p, -n - 1 = -3*p. Suppose -3*l + 2425 = n*l. Suppose 4*j - l = -j + 4*q, -485 = -5*j + 3*q. Is j a composite number?
False
Suppose -7*y + 500 = 3. Is y composite?
False
Let c be -4*((-28)/8 + 3). Is (322/(-35))/(c/(-5)) composite?
False
Let m(l) = 7*l - 4*l + 12 + 17*l - 3*l. Is m(5) a composite number?
False
Suppose -59 = 2*c - 395. Suppose -2 = 2*p - c. Is p a composite number?
False
Let u = 10 + -4. Suppose 2*q - 425 = 5*o - u*o, -q = -o - 220. Is q composite?
True
Let m(v) = -v**3 - 7*v**2 - v + 10. Let s(n) = n**3 + 7*n**2 + 2*n - 10. Let x(p) = 3*m(p) + 2*s(p). Let r be x(-7). Is 2/r*318/4 composite?
False
Let z(g) = 3 - g**3 - 4*g**2 + g**2 - 3*g**2 - g**2 + 8*g. Is z(-10) a composite number?
False
Suppose 6*z - 2*z = 72. Let h be 5/(-2)*z/(-15). Suppose 0 = -p - 5*u - 0*u + 82, -5*u = -h*p + 306. Is p a composite number?
False
Let f = 34 - -39. Let c = f + -50. Is c a prime number?
True
Suppose -7*p = -2*p - 50. Suppose -p - 2 = -4*n. Suppose 0*c - 159 = -n*c. Is c prime?
True
Suppose 1298 = 11*s - 9*s. Is s a prime number?
False
Is ((-12)/8)/(1/(-554)) prime?
False
Let c(z) = z**3 - 4*z**2 - 7. Is c(6) composite?
True
Let m(q) be the first derivative of 35*q**2/2 + 4*q + 2. Is m(3) a composite number?
False
Suppose 0 = -0*m - m + 3. Suppose 0 = m*k + 2*k - 10. Suppose -k*j - 64 = -2*r, -4*r - 5*j + 173 = -0*j. Is r a prime number?
True
Suppose -q = 4*q - 775. Is q composite?
True
Let q(b) = -92*b - 1. Suppose 0*m - 7 = -s - 2*m, -2*s + 3*m - 14 = 0. Is q(s) a prime number?
False
Let f = 183 - 101. Is f composite?
True
Let m be 20/6 - 1/3. Suppose 0 = m*b - 60 + 12. Suppose y = b + 7. Is y prime?
True
Let i(d) = d**2 + 2*d - 8. Let k be i(-8). Is (0 - k)/(-2) + 2 a prime number?
False
Suppose -3*g + 7*g - 16 = 0. Suppose -2*d + 48 = -r + 135, -g*d = 2*r - 190. Is r a composite number?
True
Let u = 8 - -271. Let r = -148 + u. Is r prime?
True
Let l(b) = b**3 + b + 39. Let k(u) = -u**2 + 4*u - 2. Let d be k(3). Let q be 3/6 - d/2. Is l(q) prime?
False
Let a(v) = 14*v**2 + 7*v + 2. Is a(7) a prime number?
False
Let b be (-2 - 1)/(-3) - 117. Let h = -34 - b. Let q = h + -49. Is q prime?
False
Is -3 + 145*1/1 a composite number?
True
Let t be ((-8)/6)/(2/(-3)). Is 10/(t/12*4) prime?
False
Let x(s) = 4*s**2. Suppose -5*f = -2*f - 3. Let g be x(f). Is g*(-2)/(12/(-51)) a prime number?
False
Suppose d + 10 - 13 = 0. Suppose -d*i + 13 = -20. Is i a prime number?
True
Suppose -4*s + 260 = -6*s. Let q = -15 - s. Is q prime?
False
Let d = 3 + 1. Is d a composite number?
True
Let v(o) = 18*o**2 + 8*o + 5. Is v(6) composite?
False
Suppose -3*i = -u - 10, 3*u + 2*u = 3*i + 10. Suppose -5*l + 5*w + 16 = 3*w, -w = i*l - 7. Is (l + 63/(-12))*-20 a composite number?
True
Let t = -4 - -6. Suppose t*x - 12 = -2. Suppose -4*s = -0*d + 2*d - 6, -x*d + s + 37 = 0. Is d composite?
False
Let v(f) = 15*f**3 + 5*f**2 + 3*f - 1. Let m(b) = 16*b**3 + 6*b**2 + 4*b - 1. Let i(r) = 3*m(r) - 4*v(r). Let p be i(-1). Let d = p + 3. Is d prime?
False
Let q = 32 - 17. Is q prime?
False
Let k be 10/(-4)*(-16)/10. Suppose -5*a + 501 = t, 0*t + k*a = 3*t - 1465. Is t composite?
False
Suppose -3 = 5*v - 78. Is v a composite number?
True
Let i = 366 - 260. Is i composite?
True
Let d(u) = 5 - 1 - 27*u + 0. Is d(-3) composite?
True
Let o(c) = 13*c**3 - 5*c**2 + 2*c - 1. Let m(g) = -13*g**3 + 4*g**2 - 2*g + 1. Let d(j) = 3*m(j) + 2*o(j). Let l be d(1). Is (-1)/2 - 90/l composite?
False
Suppose -q = -2 + 28. Let k = q + 63. Is k a prime number?
True
Let n be (-496)/6*(-6)/4. Let t(l) = 64*l - 5. Let m be t(4). Let h = m - n. Is h prime?
True
Suppose -4*c = -6*c - 5*l + 4, -3*c + 6 = 5*l. Suppose -4*f - c*s = -182, -17 = 2*f - s - 98. Is f a composite number?
False
Let o(l) = -2*l**2 - 2*l - 7*l**3 - l**2 + 9 + 8*l**3. Is o(7) a composite number?
False
Suppose 885 = -4*s + 3409. Is s composite?
False
Let g(o) = -158*o + 1. Let c be (-14)/(-7) - 6/2. Is g(c) composite?
True
Suppose 2 = 4*u - 6. Suppose 79 = u*c - 23. Is c composite?
True
Let b be (3/(-6))/(1/118). Let v = -42 - b. Suppose v = 2*h - 45. Is h a prime number?
True
Suppose n + 422 = a, -3*a = -0*a - 4*n - 1269. Let k = a - 110. Is k a prime number?
False
Let d(y) = y - 2. Let p be d(8). Let m = p - -27. Is m prime?
False
Suppose -2*a - 3*a = 140. Let q = -12 + 18. Is a/q*(-171)/6 a composite number?
True
Let q(v) be the first derivative of -v**3 - 2*v**2 + v - 1/4*v**4 - 1. Is q(-3) composite?
False
Let v(u) = u**2 - 7*u + 5. Let z be v(6). Let n(c) = -8*c - 2*c + 1 + 0 + 0*c. Is n(z) composite?
False
Let d = 456 + -37. Is d prime?
True
Suppose 30 = 3*l - 8*m + 3*m, 7 = 2*l + m. Suppose 3*a - 179 = -d, -929 = -l*d - 3*a + 5*a. Is d a prime number?
False
Suppose 5*x = 4*x + 14. Let c = -10 + x. Suppose -3*g + 146 = a - 0*g, -595 = -c*a - g. Is a prime?
True
Let v = -2 + 5. Suppose -v*k + 5 = -1. Suppose 4*y - y + k*g - 395 = 0, 542 = 4*y - 5*g. Is y composite?
True
Suppose b = 466 + 51. Is b a prime number?
False
Let m(o) = 3*o**2 + 5*o + 10. Is m(-3) a composite number?
True
Let p = -3792 - -6533. Is p composite?
False
Suppose 2*d - 2*n - 8 = -0*d, 12 = 4*d - 3*n. Suppose d = -2*m + 3 + 5. Suppose -5*x - 12 = -2*x, 348 = m*b - 2*x. Is b a composite number?
True
Let q(a) = a**2 + 5*a + 4. Let s be q(-4). Let r = s - 8. Let d(o) = -20*o - 5. Is d(r) a prime number?
False
Suppose -732 - 733 = -5*w. Is w a composite number?
False
Let y = -1 + -3. Let j be ((-2)/y)/((-2)/8). Is 1 - (j - (0 + 32)) composite?
True
Let a(n) = n**2 - 9*n - 10. Let y be a(10). Is (505 + -3 + y)/2 composite?
False
Let f = 14 + -57. Let b = 98 + f. Is b prime?
False
Suppose -3*g + 7 = -2*q - 3*q, g + 5*q = 9. Suppose -g*f - 157 = -1153. Is f composite?
True
Let f = 96 - 61. Is f prime?
False
Let r(t) = t**3 - t**2 - 4*t + 3. Let j be r(2). Is ((-291)/6)/(j/2) prime?
True
Let p be 2/(-3) - (-29960)/21. Suppose 240 - p = -2*q. Is q a prime number?
True
Let b = 16 - 6. Let g = -6 + b. Suppose h + 159 = g*h. Is h a prime number?
True
Suppose 3*b - 4*p = -2*b + 404, -3*b - 2*p + 238 = 0. Let y be (-1 - 0) + 222/2. Suppose -y - b = -5*d. Is d a prime number?
False
Suppose -13*b + 6*b = -41146. Is b a composite number?
True
Suppose -57 = 5*f - 12. Let w(y) = -2*y + 13