rst derivative of 113*n**2 + 26*n + 48. Is j(6) prime?
False
Suppose -3*c = 4*r - 1737 - 281, 0 = 2*r - 4*c - 1020. Let q = r - -501. Is q a composite number?
True
Let t(c) = c**3 + 32*c**2 + c - 43. Is t(-31) a composite number?
False
Let u = 9828 - 2335. Is u a prime number?
False
Let m(i) = -i**3 + i**2 + 2. Let c be m(0). Let a(f) = -5*f + 2*f**2 + 2*f + c*f - 5. Is a(-8) composite?
False
Suppose -r - r = -3*u + 26, 24 = 2*u - 3*r. Let b(d) = -4*d - 2*d**2 - 3 + 7*d**2 + 8. Is b(u) a composite number?
True
Suppose a = 4*t + 4286 + 28473, -5*t + 163870 = 5*a. Is a prime?
True
Suppose 0 = -f + 5*w + 412, -14*f + 4*w + 1997 = -9*f. Is f composite?
False
Suppose 4*g = -4*w - 9252, 2*g - 3*w + 5318 = 702. Let o = g - -5880. Suppose -o = -5*z + l + 3*l, -3*z = 5*l - 2171. Is z composite?
True
Let k = 1142 - 529. Is k prime?
True
Let m(k) = 417*k**3 + 6. Let z(n) = -416*n**3 - 5. Let f(g) = -6*m(g) - 7*z(g). Suppose -4*u + 5 = 1. Is f(u) prime?
True
Let a(k) = 21*k - 23. Suppose 0 = -4*v - 4*f + 40, 4*v = 3*v - 5*f + 18. Is a(v) composite?
True
Let o(i) = -535*i + 15. Let l be o(-6). Is 2 - (-1)/(5/l) a prime number?
True
Let k be 19/(-6) + 13/78 + 8. Suppose -4*g + 495 = -4*n + k*n, -4*n - 2*g = -1924. Is n a prime number?
True
Let k(i) = 3*i - 20. Let o be k(9). Let r(a) = -1 + a**2 - 3 + o + 2. Is r(4) a composite number?
True
Let n(q) = q**3 + 10*q**2 - 3*q - 6. Let s be n(-8). Suppose 0 = -z + 3*o - 6*o + s, -2*z + 299 = -o. Suppose -359 = -4*t + z. Is t prime?
True
Suppose 4*s - 70 = 494. Is 1/1*(s + 16) composite?
False
Let p(x) = 2*x**3 + 18*x**2 + 17*x + 10. Let n be p(-8). Suppose c - 508 = -q - n*q, 0 = 4*c - 2*q - 2046. Is c a prime number?
False
Let w(r) = 5*r + 0 + 4*r**2 - 3*r**2 - 38 + 7. Is w(9) a prime number?
False
Let v be 2/5 + 18/5. Suppose -m = v*i - 3150, i + 3*m - 793 = -0*i. Is i composite?
False
Let g(n) be the third derivative of -n**6/120 + n**5/6 + n**4/6 - 7*n**3/3 - 2*n**2. Let t be g(6). Suppose d + d - t = 0. Is d a prime number?
False
Let k = -1452 + 6079. Suppose 643 = -3*v + k. Suppose 4*t - 999 = t + 3*a, -v = -4*t + 5*a. Is t composite?
False
Suppose -27348 = -8*q + 6*q - 5*r, 0 = 5*q - 4*r - 68337. Is q composite?
False
Let u(t) = t**3 + 45*t**2 + 59*t - 46. Is u(-27) prime?
True
Let o(m) = -333*m + 1. Let w be o(2). Let d = 1446 + w. Is d composite?
True
Let u(i) = 6*i**2 - 3*i + 2. Let p(l) = -3*l**2 + 2*l - 1. Let y(n) = 5*p(n) + 3*u(n). Let b be y(-1). Suppose b*s - 372 = 645. Is s a composite number?
True
Let t be (-6)/15 + (-66)/(-15). Suppose t = l, -1764 = -5*v + v + 3*l. Is v/6 - (-2 + -1) prime?
False
Let b(d) be the third derivative of d**6/120 + d**5/60 - 11*d**4/24 + d**3 - 14*d**2. Is b(7) composite?
True
Let z(o) = 105*o**2 - 5*o - 11. Is z(-8) a composite number?
True
Suppose 4*u + 1904 = 3*o - o, -u - 467 = 4*o. Let w be (-177)/2*3*12/(-9). Let n = w - u. Is n a composite number?
False
Suppose 0 = -4*p - 4, -39648 - 8179 = -2*t - 3*p. Is t a composite number?
True
Let h(k) = -k**2 - 13*k + 34. Let o be h(-15). Suppose 3*b - 3611 = -o*q, 0 = 4*q - 7 - 1. Is b a composite number?
False
Let f = 55 - 34. Suppose 4*a - a = f. Suppose 0 = 5*p + 2*t - 1063, 2*t = a*t + 5. Is p a composite number?
True
Let x = -29 - -21. Let m be ((-3)/6)/(4/x). Is -123*(5/15 - m) a composite number?
True
Let z be 480/16*(-2)/(-5). Suppose 6*a = 2*a + 16. Suppose a*t - t = z. Is t composite?
True
Suppose 5*b - 15311 = 2*u, 0 = -2*b + 3*b - 5*u - 3076. Is b composite?
False
Suppose 14*p - 1250 = 9*p. Let r(v) = 88*v**2 - 2*v + 3*v + p*v**2. Is r(-1) a prime number?
True
Let g = -4112 - -6691. Is g composite?
False
Let y(g) = g - 13. Let u be y(16). Suppose u*w - 6*w = -4*s - 381, 5*s = -4*w + 539. Is w a composite number?
False
Suppose 0 = 2*f - 1392 - 15286. Suppose -4*p - 6403 = -3*j, 4*j - f - 173 = -p. Is j a prime number?
True
Let d(t) be the second derivative of t**5/20 - t**3/6 + t**2/2 - 5*t. Let g be d(1). Let v(n) = 235*n**3 + n**2 - 1. Is v(g) prime?
False
Suppose 0 = 3*i + 4*m - 226115, 2*i - 22*m - 150748 = -20*m. Is i a prime number?
False
Suppose -2*l = -6*f + 11*f - 6002, -l + 3007 = f. Is l composite?
False
Let y be (-34)/(-10) - 6/15. Suppose 0 = c - y*c + 6. Suppose -f + 5*z = f - 231, 0 = -c*f + z + 366. Is f prime?
False
Let r(o) = 3*o**3 - 12*o**2 - 10*o + 35. Is r(12) a composite number?
False
Let l(m) = m**2 + 41*m + 119. Let o be l(-40). Let v(a) = 4*a**2 + 5*a + 1. Let h be v(-5). Let i = h + o. Is i a prime number?
False
Let d(v) = -58*v**2 + 6*v + 7. Let a be d(-2). Let q(t) = 208*t + 2. Let z be q(2). Let s = z + a. Is s prime?
True
Suppose -219 = -3*g + h, 5*h = -3*g - 0*h + 237. Suppose -2*w - n = -2*n - 86, 2*w + 2*n - 98 = 0. Let o = w + g. Is o composite?
True
Let h(z) = 2*z + 2. Let w be h(-1). Suppose j + w*j + 3999 = 0. Is j/(-15) + 4/10 a composite number?
True
Let k(j) = -4*j - 2. Let a(v) = -v**3 + v**2 - 6. Let b be a(0). Let m be k(b). Let w = -15 + m. Is w a prime number?
True
Let x(r) = 2*r - 21. Let i be x(15). Suppose -2*j - i = -5*a + j, 5*a + 2*j - 19 = 0. Suppose -q + 3*v + 2*v + 306 = 0, -998 = -a*q - v. Is q composite?
False
Suppose -j + 24 = -4*s, -5*s - 21 = -j + 9. Is 2/s - ((-2050)/3 + 2) a prime number?
False
Let i be (-16)/2*(135/(-12) - -2). Let p = i + -41. Is p prime?
False
Let f = 1 - 9. Let d be ((-63)/(-4))/((-2)/f). Suppose 5*g - d = 12. Is g a prime number?
False
Suppose -m = 5*m + 11670. Let r = m - -2912. Is r a prime number?
True
Let j be 5*3*2/6. Suppose j*a + 5 = 2*k + 3*k, 2*k + 2*a = 10. Suppose 251 = k*b - 286. Is b a composite number?
False
Let s(y) = y. Let v(b) = -82*b - 1. Let t(j) = -5*s(j) - v(j). Let g be t(6). Suppose -g = -k - 4*x, 4*k - 4*x + 942 = 6*k. Is k a composite number?
False
Suppose 16 - 35 = -5*z - c, -2*z = 3*c - 18. Is (463 - -12) + (z - -1) a composite number?
False
Let p = -44 - -49. Suppose p*q - 12093 = -4798. Is q a composite number?
False
Suppose 6*g - 3304 = -10522. Is (-7)/((-21)/(-2))*g/2 a prime number?
True
Suppose 0 = j - 5*y - 10, 4*y = -5*j + 2*j - 8. Let p be 0 - (1 + 1 + j). Is (39 - 3) + 0 + p composite?
True
Is ((-284037)/(-26))/(3/2) a prime number?
True
Suppose -30*i + 19292 = -2*i. Is i a composite number?
True
Suppose 5*k - 7*r = -3*r + 6817, -3*r = -4*k + 5453. Is k prime?
True
Suppose -8 = b - 5*u + 13, 33 = 2*b + 5*u. Suppose b*l = 9*l. Suppose t - 17 - 16 = l. Is t composite?
True
Suppose 0*q + 3*q + 3 = 0. Suppose 5*o = -3*c + 21, c + 14 = 3*c + o. Let y = c + q. Is y a composite number?
True
Suppose -3*m + 5557 = -4*i, 0*i - 12 = 3*i. Is m composite?
False
Let u(n) = -113*n**3 + 2*n**2 + 12*n + 2. Is u(-3) a composite number?
True
Let n(w) = 866*w - 13. Is n(1) a composite number?
False
Suppose -3 - 3 = -2*g. Suppose 1 = -3*x + v + 9, g*x + 8 = 5*v. Suppose -u = -3*w + 379, -3*w = -x*w + 3*u + 121. Is w composite?
False
Let h be 2*(-2)/2 + 6. Suppose -8 = -2*q + h. Suppose -q = -5*b + 44. Is b composite?
True
Let v = -5537 - -91936. Is v a composite number?
False
Suppose -5*k + 7951 = -r, -3*r + 4023 = -5*k + 11966. Is k a prime number?
False
Suppose -4*k = -6*k + 68. Suppose j - 3*j - k = 0. Let x = -10 - j. Is x a prime number?
True
Is 16331/((-10)/35 - (-18)/14) a composite number?
True
Suppose -18375 = -5*n + 4*k, -1802 - 5548 = -2*n + 5*k. Suppose -2*q = i + 4965 - 12287, -n = -q - 4*i. Is q composite?
False
Let k(v) = -18*v**2 + 7*v - 3. Let j(m) = 6*m**2 + 3. Let d(o) = 12*o**2 + o + 7. Let r(l) = 2*d(l) - 5*j(l). Let q(i) = 2*k(i) - 7*r(i). Is q(1) composite?
False
Suppose 21 = 2*s - 33. Let k(y) = -7 - y + s*y**2 + 7 - 1 + 6. Is k(6) a composite number?
False
Suppose -5*k + 23747 = -4*u, 5*u - 8*u + 19010 = 4*k. Is k prime?
True
Suppose 2*l = 10*l - 84000. Suppose i - 1462 = y + 642, y = 5*i - l. Is i prime?
True
Suppose 46*v - 9422 = 44*v. Is v a composite number?
True
Let q(n) = n - 3. Let o be q(6). Suppose -5*u - 6 = -o*v - 2, -3*v - u + 10 = 0. Suppose -3*f = -5*h - 251 - 84, 121 = f + v*h. Is f prime?
False
Suppose -g = g - n - 6, -4*g = -n - 16. Let o be ((-4)/5)/((-2)/(-10)). Is 613/g + o/(-10) prime?
False
Suppose l + 1 = -2*d, -3*l - d + 13 = 2*l. Suppose x = -b - 19, 3*x + 23 = x + l*b. Is x/24*(-1758)/4 prime?
True
Let w(f) = 70*f**2 + 5*f + 7. Let q be w(-2). Let c = q