 Is (0 - 1)/(n/(-27890)) prime?
True
Let z(v) = -730*v + 9. Let b be (2/2)/(2/(-10)). Is z(b) prime?
True
Let o = 44 - -645. Is o a prime number?
False
Let u(w) = -4*w**3 - 14*w**2 + 8*w + 111. Is u(-10) prime?
False
Let d = 32 - 11. Let u = d - 15. Suppose -5*w = -u*c + c - 955, -c = 0. Is w composite?
False
Let j(k) = -2*k**3 - 13*k**2 - 17*k - 23. Is j(-11) a prime number?
False
Suppose -7*n = -18250 - 13. Is n a prime number?
True
Let u be 16/10 + 6/15. Suppose 0*l = u*l - 8. Suppose l*q - 896 = m, -m + 0*m + 1111 = 5*q. Is q composite?
False
Suppose -37*s + 7*s + 4112610 = 0. Is s composite?
False
Suppose -15 = -5*o + 15. Suppose o*l - 213 - 9 = 0. Is l a composite number?
False
Suppose -k = k - 3544. Is (k/6)/((-6)/(-9)) composite?
False
Let z(v) = 692*v + 689. Is z(21) composite?
True
Is (-20)/(-8)*146420/50 prime?
True
Let u be (-10)/(-15) - (-3010)/3. Suppose 120 = -4*v - 5*q + 1152, 4*v = 2*q + u. Is v a prime number?
False
Let t be (24 + 1)/(6 + -5). Suppose -18 = -y - 3*h, -3*h - 47 = -5*y + t. Suppose -5*l + 3*o = -266, -y = -0*o - 5*o. Is l a composite number?
True
Suppose -3 = 4*m - 7. Let z be (0 - -1)/(m/148). Suppose 0 = v + 3*v - z. Is v a prime number?
True
Let v(a) = -5*a**3 + a**2 - 6*a + 6. Let x(m) = -14*m**3 + 4*m**2 - 17*m + 17. Let t(b) = -17*v(b) + 6*x(b). Let n be t(-7). Let j(p) = p + 159. Is j(n) prime?
False
Let j(p) = -p**2 - 5*p - 4. Let r be j(-4). Suppose -h = s - 3267 + 874, 5*s = r. Is h composite?
False
Suppose 31*w = 34*w - 7467. Suppose -7084 = -5*c - w. Is c a prime number?
True
Let f(r) = 5*r**2 - 4*r + 11. Suppose -5*c + 18 = -2*c. Suppose 2*s - 2*g = 12, -s - 36 = -c*s + 2*g. Is f(s) prime?
False
Is 18351 + 1 + (4 - 9) prime?
False
Suppose y + 4*d + 6 + 11 = 0, y + d = -2. Suppose 3*r + 6 = 0, 3*a + a - 838 = -y*r. Suppose 562 - 1406 = -4*s + 3*p, -s + a = 4*p. Is s composite?
False
Suppose -3*u = 2*u - 2*u. Suppose u = 15*l - 6*l - 1629. Is l prime?
True
Let b(u) = -u**2 + 7*u - 3. Let r be b(7). Let g(d) = -104*d - 1. Let a(j) = 103*j + 1. Let w(c) = -6*a(c) - 5*g(c). Is w(r) a prime number?
True
Let q(j) = 7*j**2 - 15*j + 2. Let k be q(8). Suppose -k = h + 565. Let i = 1482 + h. Is i a composite number?
False
Suppose 12 = 2*r + 6. Suppose -13 - 5 = r*g. Is ((-237)/g)/(5/30) composite?
True
Let q(n) = n**2 - 4*n + 2. Let d be q(4). Is (-1527)/d*16/(-24) composite?
False
Is 5 + 6300 - (24/(-2))/2 composite?
False
Let v = 43 - 41. Suppose 0 = v*o - 91 - 79. Is o prime?
False
Suppose 37*i - 68778 = 19*i. Is i a composite number?
False
Let v be ((-18)/4)/(-3)*(-16)/(-12). Suppose -4*g + 4*b = -1308, -v*g = -0*g + 4*b - 654. Is g a prime number?
False
Suppose -2*b - d = b - 911, -2*b - 5*d = -616. Is b a composite number?
True
Suppose 8535 = c + 2*c. Is c composite?
True
Suppose 0 = -267*q + 271*q - 187108. Is q composite?
True
Let m(v) = -v**3 + 11*v**2 - 4*v - 2. Suppose -3*a + 18 = -0*a. Suppose 4*q + a - 46 = 0. Is m(q) a prime number?
False
Let s(k) = k**3 - 34*k**2 - 53*k + 65. Is s(36) a prime number?
False
Let z(p) = -p**3 - 4*p**2 - 4*p - 3. Let n(m) = -m**3 - 12*m**2 - 3. Let x be n(-12). Let f be z(x). Suppose f*a - 156 = -4*a. Is a composite?
True
Is (4/36*12)/((-8)/(-16194)) composite?
False
Let c be ((-9)/18)/(1/(-10)). Suppose 18864 = 2*b + 2*b + c*k, 4*b - 5*k = 18904. Is b composite?
False
Let g be (-2 - 2)/(5/10). Let t(a) = a**3 + 8*a**2 - a - 6. Let s be t(g). Is (s + -413)/(-3) + 4 composite?
True
Let f be ((-6)/(-9))/((-2)/(-6)). Suppose -94 - 100 = -f*g. Is g a prime number?
True
Let h = -7 - -32. Suppose 3*p - w = 2*p + 618, -5*w = h. Is p composite?
False
Let k(u) = 1659*u**3 - 3*u**2 - u + 2. Is k(1) a prime number?
True
Let t(q) = -321*q + 4. Let d be t(1). Is d/(-2)*(8 - 6) composite?
False
Let u(l) = -180*l - 2. Let f be u(-3). Suppose 4*a - 2*h - f = 340, a = h + 218. Is a prime?
False
Suppose 5*y - 3*g = 136492, 2*g - 81894 = -3*y + 5*g. Is y composite?
False
Suppose -20*m = -30*m + 23170. Is m prime?
False
Let k(y) = y**3 + 4*y**2 + y + 5. Let z be k(-4). Let v(t) = 3524*t + 3. Is v(z) a prime number?
True
Let u = -4 - -556. Suppose -509 = -z + u. Is z a prime number?
True
Let v = -9463 - -23408. Is v a composite number?
True
Let i(s) = -2*s + 14. Let x be i(6). Suppose -z + 4501 = 2*f - 6*z, -3*f + x*z + 6735 = 0. Is f a composite number?
False
Suppose 0 = 7*j - 5*j + 3162. Let g = j + 3046. Is g a composite number?
True
Is (2477 - 0/(-1)) + 3 + -6 prime?
False
Let d be (-3)/(1 + (-24)/15). Suppose -4*t = 16, 2*q = d*t + 913 + 1505. Is q composite?
True
Let i be 2*2/((-8)/474). Let z = 488 + i. Is z a prime number?
True
Suppose 5*k - 4*c = -5*c + 450, k = 4*c + 69. Suppose i = k - 18. Suppose u - i = 74. Is u a prime number?
False
Let l(u) = -u**3 + u**2 + u - 5. Let r be l(3). Is 120 - (r/4 - -7) a prime number?
False
Let j(f) = -185*f**2 + 6*f + 6. Let b(q) = -37*q**2 + q + 1. Let x(y) = -11*b(y) + 2*j(y). Let u = -8 - -11. Is x(u) prime?
True
Let x = -72 - -159. Suppose -6*m - x + 237 = 0. Is m a composite number?
True
Let g be -1684*(-1)/(-10) + 6/15. Let n = -445 + 798. Let b = n + g. Is b a composite number?
True
Let j(t) = t - 3. Let y be j(5). Suppose 4*f - 5*r = 2*f + 1329, y*f + r = 1359. Is f prime?
True
Let w(l) be the third derivative of 1/60*l**5 - 3/8*l**4 + 2*l**2 + 0*l + 0 + 11/6*l**3. Is w(-12) composite?
False
Let t be 2/4*(-5 - -5). Suppose t = 3*l - 116 - 169. Is l a composite number?
True
Let i(g) = -g**3 - 22*g**2 + 46*g + 35. Is i(-26) composite?
False
Let g be (2 - -6)*((-5)/10)/(-1). Suppose 4*n = 4*p + 1776, -p - 1778 = -g*n + p. Is n prime?
False
Let w(y) be the second derivative of 89*y**4/12 - 7*y**3/6 - 13*y**2/2 - 10*y. Is w(-4) a composite number?
False
Let m = 10 - 4. Suppose -3*d + 1471 = -2*l, 4 = -2*l - m. Is d a composite number?
False
Is 191*(-388)/(-10) - (-5)/25 a composite number?
False
Let o(c) = c**2 + 7*c. Let i be o(-5). Let j be 6/i - 46/(-10). Let v = 18 - j. Is v a prime number?
False
Let l be 15/2*(-16)/(-20). Suppose l = 4*k - 6. Suppose 0 = -k*v + 15, 2*v + 430 = 5*o - v. Is o a composite number?
False
Let p(s) = -18*s**3 - 11*s**2 - 9*s + 9. Let d be p(8). Let v = -6598 - d. Is v prime?
False
Let z = 5 - 1. Suppose b - 2799 = -z*q + 2*b, 4*q - 2824 = -4*b. Is q a prime number?
True
Let j(y) be the first derivative of y**4/4 + 1507*y - 16. Is j(0) a composite number?
True
Let l(z) = -176*z + 31. Is l(-6) prime?
True
Suppose -i - w - 411 = -973, -3*i + 3*w + 1656 = 0. Is (2/(-4)*i)/(2/(-4)) a composite number?
False
Let v be 1*-1*(-373)/(-1). Let w be 4*(-3)/(-30)*(-7 + -8). Is (v/3)/(2/w) prime?
True
Let d be (-6)/(0 - 2) + 27. Suppose 3*r = 9 - d. Let x(p) = -p + 19. Is x(r) a composite number?
True
Let r be (25 - 24) + (0 - -1)*2. Suppose -3 = -3*j, 0*m + 5*j = -r*m + 2906. Is m composite?
False
Suppose 12*l = 9*l + 15. Suppose 0 = -5*j + 2*p + 177 + 874, 854 = 4*j + l*p. Is j prime?
True
Suppose 15*c = -c + 26848. Is c composite?
True
Let q(f) = -690*f + 31. Is q(-3) prime?
False
Suppose 34 = 2*x - 16. Suppose -r + 6*r = x. Suppose 5*u - f - 3705 = 3*f, -r*u + 3715 = -2*f. Is u prime?
False
Let t be ((-1826)/(-55))/(-1*2/(-150)). Suppose t = 3*f - 2913. Is f composite?
False
Let h(c) = c + 1. Let f be h(1). Suppose -f*d = -5*d + 5*r - 14, 2*d = -4*r - 2. Is (d - -1)/(2/(-493)) prime?
False
Let d(b) be the first derivative of b**4/4 - 3*b**3 - b**2/2 + 12*b - 2. Let v be d(9). Suppose -1585 = -8*t + v*t. Is t composite?
False
Let l = -181 - -372. Let r be (-14)/49 + l/7. Let b = r - 5. Is b composite?
True
Suppose 2*h + k = -0*k - 2, 4*k = -16. Let s = 3 + h. Suppose -4*m + 307 = -2*n + 7*n, 327 = s*m + n. Is m composite?
False
Let b = 46 - -213. Is b a composite number?
True
Suppose 0 = 2*y - 9558 - 1144. Is y a composite number?
False
Suppose -2*b + 1101 = d, 0*d - 3*d + 538 = b. Is b composite?
True
Let s be 2/10 + 84/30. Suppose 0*j = j - a - 419, 5*a = s*j - 1255. Let k = j + -233. Is k a composite number?
True
Is (-4 + (-11905)/(-2))/(3/6) a composite number?
False
Suppose 0 = -2*l - 33 - 253. Let m = -325 - -24. Let s = l - m. Is s composite?
True
Let d = -7146 + 11639. Is d composite?
False
Let f be (-4)/6 + -3 + (-34940)/(-12). Suppose 15 = 4*r - 9*r, f = 2*z - 2*r. Is z a composite number?
False
Let o(