rime?
False
Suppose 0 = 4*z - 8 + 28, 3*v - 11 = z. Suppose -3*l - 13 = 5*f, -l + v*l = 5*f - 11. Is l + 16/4 - -321 a prime number?
False
Suppose 10*k = -k + 22. Suppose k*r - 985 = r. Suppose -2*i - 5*f + 1074 + 940 = 0, i = 3*f + r. Is i a prime number?
True
Suppose -116591 = -3*n - 4*i, 0 = -5*n + 2*i - 50785 + 245138. Suppose n = 14*w - 20505. Is w a composite number?
False
Let x(h) = 9*h**2 + h + 3. Let n be -7*(4 - 6)*1. Let f be 4 + -4 + n - 3. Is x(f) composite?
False
Suppose -5*a + 10*a = 12*a - 1109927. Is a a composite number?
True
Let k(a) = -407*a**3 + 5*a**2 + a - 9. Let m be k(-4). Suppose 22*l - 37*l = -m. Is l prime?
True
Let q(z) = -z**3 + 7*z**2 + 19*z - 6. Let r be q(9). Suppose 5*n - 6 - r = -w, 0 = -4*n - 4*w + 4. Suppose -20 = -4*x, n*l + 3*l + 2*x = 1875. Is l prime?
True
Let o(j) be the first derivative of j**3 - 2*j**2 + 4*j - 6678. Suppose -4*y - 27 = -z + 29, -5*z + 10 = -2*y. Is o(y) a prime number?
True
Suppose 2*g - 4*f + 16 = 0, -g + 4 = -0*f + 4*f. Let x be -5*(0/g - 1). Suppose 1004 = x*q - q. Is q composite?
False
Let m be (-12)/10*(8 + -13). Suppose 5*v - 4*f = 54478, 0 = f - 3*f + m. Is -4*3/(-16) - v/(-8) a prime number?
False
Suppose v + h - 6124 = -v, 6132 = 2*v + 5*h. Suppose 130*g + v = 131*g. Is g a prime number?
True
Let u be 12/(-2)*((-6)/(-4) - 0). Let f(q) = -q**2 + 5*q + 22. Let y be f(u). Let i = 222 + y. Is i a prime number?
False
Let o = -771 + -732. Let d be (6/(-9))/(2 + 3000/o). Let s = -84 - d. Is s a composite number?
False
Suppose -4*x - 778 = -7*x - 5*u, 3*x - 773 = -4*u. Is x prime?
True
Let d be (-5)/(-2)*(-104)/(-65). Suppose d*t + 5*k - 10035 - 18853 = 0, -12 = -3*k. Is t a composite number?
True
Let k be 45 - (25/(-5) + 5). Suppose 0 = t + 6*z - 3*z + 30, 4*t - 3*z = -k. Let w(h) = 2*h**2 - 11. Is w(t) a prime number?
True
Let w(u) = 3*u**2 + 21*u + 4. Let c be w(-7). Suppose -5*y + y - 4*g = 0, c*g + 5 = -3*y. Suppose 0 = -y*i + 2336 + 1209. Is i composite?
False
Let a be (-6)/27 + 4/18. Suppose 2*g - 12 = -0*g. Suppose a = g*r - 4 - 218. Is r prime?
True
Let l(v) = v**2 - 14*v - 240. Let q be l(24). Is 3035 - (0 + q + -2) a prime number?
True
Let w(y) = 3*y**2 + 6*y + 10. Let v be w(-4). Let t = 37 - v. Suppose 0 = h + 3, -4*h - 652 + 4369 = t*u. Is u a composite number?
True
Suppose u - 3*p - 2*p = -14, -2*u - 5*p = -17. Is (-5*69064/(-40))/(u - 0) prime?
False
Let o(c) = c**2 + 5*c + 8. Let j be o(-10). Let w = j - 59. Let t(n) = 499*n**2. Is t(w) a composite number?
False
Let x(t) = -3*t - 11. Let v(s) = -2*s + 11. Let r be v(8). Let h be x(r). Let j(u) = 63*u + 11. Is j(h) a prime number?
True
Let z(s) = -s**3 - 4*s**2 + 4. Let t(q) = -q - 4. Let l be t(0). Let x be z(l). Suppose -5*r = -2*r - 4*h - 641, x*h = 16. Is r a composite number?
True
Suppose 4*r + 106212 = 4*x, -85*r = 5*x - 88*r - 132773. Is x composite?
False
Is (597681/10 - 65/(-26))*5 a composite number?
False
Suppose -15*j = 167 - 77. Is (-4)/j - (-4241665)/219 a prime number?
False
Let u(d) = 8487*d**2 - 40*d - 82. Is u(-3) a composite number?
False
Suppose -5*u + 6 = -2*u. Suppose -p = -u*p + 3. Suppose -100 = -p*c - c. Is c prime?
False
Suppose 5*k + 2*q = -0*k - 154, -2*k - 5*q - 49 = 0. Let u(f) = -39*f - 97. Is u(k) a prime number?
True
Let i = -28 - -78. Let j = 52 - i. Suppose 867 = j*b - 395. Is b prime?
True
Let g(k) = 2*k**2 - 80*k + 2. Let a be g(40). Let v(i) be the third derivative of i**6/10 + i**4/24 - i**3/6 + i**2. Is v(a) prime?
True
Let f be -19*(-1)/3 + (-6)/(-9). Suppose 13 = 10*i - f. Suppose a + 593 = 5*l, -i*l + 4*a + 349 = l. Is l composite?
True
Suppose -2*y - 41*w + 39*w = -13202, 0 = 5*y + 3*w - 33017. Is y composite?
False
Suppose 18458 = 7*y - 28477. Suppose 2*p + p - y = 0. Let u = p + -956. Is u a prime number?
True
Let m(s) = -192*s**2 - 20. Let x be m(-7). Is x*(-7)/10 + 150/(-250) a composite number?
False
Suppose 10*r - 15*r = -23960. Suppose 2*j + j - 3572 = -4*c, -2*c - r = -4*j. Suppose 3*x - 3*h - j - 643 = 0, 0 = -x - 5*h + 619. Is x a prime number?
False
Suppose 2*w - 2*m = -16400, -2*m - 3*m = 3*w + 24616. Let n = -2933 - w. Is n composite?
True
Is ((-12)/16 + 4/(-16))*-19549 composite?
True
Suppose 0 = -10*r + 476 - 416. Suppose r*p + 30509 = 5*k + 8*p, k = -3*p + 6094. Is k composite?
True
Let v be (-33)/(-6) + (-45)/(-10) + -5. Suppose 2*i + v*b = 5751, 8114 = 3*i - 2*b - 522. Is i a prime number?
False
Suppose 0 = 3*q + 3*f + 71162 - 246512, 3*f + 175356 = 3*q. Is q composite?
False
Let v be (3*40/(-72))/(2/(-18)). Let p(w) = 12*w - 41. Is p(v) prime?
True
Let v(h) = 4787*h + 178. Is v(9) a prime number?
True
Let g be ((-8)/3)/4*(-318)/(-4). Let y = 54 + g. Is (y + 0)/(-7 + 6) + 914 prime?
False
Suppose 8*s = 34*s + 104. Let z be 2/4 - 18/12. Is 1*(-3 - (s - z)) - -2477 composite?
False
Suppose -s - 5 = 3*m, -4*m + 1 = s + 6. Suppose 2*r + 3*v - 26941 = m, -23661 = -3*r - 2*v + 16743. Suppose 10*a = 42436 - r. Is a a prime number?
True
Suppose 0 = k - 0*k + 77. Let z = k + 77. Suppose -3*p - 23 = -4*g - 282, -3*g + 6 = z. Is p prime?
True
Let o(h) = -h**2 - 24*h - 105. Let p be o(-18). Suppose -6*u = p*u - 182691. Is u composite?
True
Suppose 3*m - 876 + 813 = 0. Suppose -14613 = -m*o + 11742. Is o a composite number?
True
Let q be -2 - (-6 + 1) - -25. Let c = 46 - q. Is 12/c*(-786)/(-4) composite?
False
Let c(g) = 19*g**2 + 44. Let i be c(16). Suppose -8 = 4*d, 2*d = 4*x - 2212 - i. Is x a composite number?
True
Let r be ((-2 - -6) + 243)*-9. Let p = r + 5214. Is p composite?
True
Let z = 3935 + -336. Suppose 3*o + z = 4*l, -3*l - o - o = -2695. Is l a composite number?
True
Is (-12)/(84/(-206143)) - (-6 + 6/3) a prime number?
True
Let o = -224 + 229. Suppose 4*r + 9804 - 1606 = o*a, -a = 2*r - 1648. Is a composite?
True
Suppose x + 0*r + 23 = 4*r, -22 = 2*x + 4*r. Let u(z) be the second derivative of -z**4/12 - 7*z**3/2 + 37*z**2/2 + 1754*z. Is u(x) a composite number?
False
Let v(f) = f**3 + 4*f**2 - 8*f - 13. Let s be v(-5). Suppose -4*q + 12 = 0, s*l - 6407 = -2*l - q. Is l prime?
True
Let m = 1072900 - 541509. Is m a composite number?
True
Suppose 2*n + 44 = 13*n. Suppose -5*k + 2107 = 3*c, -k - 2*k = -n*c - 1241. Is k a composite number?
False
Let s(r) = -4*r**3 + 2*r**2 - 8*r + 15. Let o be (-283)/6 - 4/(-24). Let y = o + 40. Is s(y) prime?
False
Let h(v) = -v - 1 + 2*v + 4 - 2. Let y be h(3). Suppose -y*i = -m - 2808, -4*m + 4 = -5*m. Is i a composite number?
False
Let g(x) = 2 + 407*x**2 - 4 + 3 - x. Let s be 5 - (0 + 2)*6/3. Is g(s) a prime number?
False
Suppose 5*g = -2*y + 5502, 0*y = 4*y - 4*g - 11004. Is (-1 + y - 3) + -6 prime?
True
Suppose -25*k + 39832 = -21*k. Let y = k - -7947. Is y a composite number?
True
Suppose -k = f - 18, -7*f - 2*k + 49 = -4*f. Suppose 12*m - f*m = 0. Suppose 25*u - 23*u - 826 = m. Is u composite?
True
Let n(g) be the second derivative of 1241*g**4/12 - 7*g**3/6 - 7*g**2/2 - 2*g - 65. Is n(-2) composite?
True
Suppose 0 = -4*j + j - 2*u + 48271, 2*u - 80445 = -5*j. Let t = j + -10332. Is t composite?
True
Let m(t) = -10 + 5 - 23 + 12*t + 17*t**2 + 30*t**2. Is m(-7) prime?
False
Is (-819)/585 + (-4364622)/(-5) composite?
False
Let z(x) be the third derivative of 5*x**4/24 - 11*x**3/3 + 38*x**2 + x. Let v be z(5). Suppose -10*g = -v*g - 25151. Is g prime?
True
Suppose 4*n - 795 = 317. Let w = 426 - n. Suppose -8*z + 4*z = -w. Is z prime?
True
Let y(i) = 40*i**2 + 5*i - 1. Suppose -49*g + 40 = -47*g. Let u be 1/7 + -6*g/56. Is y(u) composite?
False
Suppose 20*k - 23610 = 39930. Suppose -3*m + 17968 = m. Let n = m - k. Is n a prime number?
False
Let h = 29 + -19. Let n be (3578/h)/(16/80). Let f = 3002 - n. Is f a composite number?
False
Let m(f) = 3*f - 29. Let i be m(-17). Let z be i/4*(-1)/4. Let j = z - -6. Is j a composite number?
False
Let h(y) = -y**2 + 9*y - 13. Let g be h(6). Suppose 5*z - 2*q + 1913 = -0*z, -g*z - 5*q - 1885 = 0. Let x = 643 + z. Is x composite?
True
Let r(u) = u**3 + u**2 + 2. Let q be r(0). Suppose -o - z + 1229 = 146, -2*z = 4*o - 4330. Suppose q*x = 4*x - o. Is x a prime number?
True
Suppose 0 = 6*w - 104 - 22. Suppose 5*f - w = -6. Is 22/12*f*58 composite?
True
Let s be (11290/4)/((-1)/216). Let z be (-4)/26 + s/(-78). Is (1/(-4))/((-2)/z) prime?
True
Suppose -6*g - 5*d = -3*g - 76574, 0 