-2*q + w*k + 1590 = k, 4*q - 3200 = 3*k. Is q a composite number?
False
Let o(v) be the first derivative of 32*v**3/3 + v**2/2 - 5. Let y be -2 - (-4 - -2) - 1. Is o(y) prime?
True
Suppose 0 = 2*h + 6, -38 + 0 = -5*t + h. Suppose -t*d - 158 = -9*d. Is d prime?
True
Let w(u) = -5*u + 3. Let p be w(-3). Is (2442/p)/((-2)/(-6)) prime?
False
Let n(q) = -q - 3. Let u be n(-3). Let z(l) = -87*l - 25. Let k be z(-9). Suppose 4*f + 522 = 2*g, f = -u*g + 3*g - k. Is g composite?
False
Let d(z) = 14*z**2 - z + 28. Suppose 2*j + 5*t + 0*t = 9, -2*j + t + 15 = 0. Is d(j) a prime number?
False
Let a = 14415 + -4682. Is a composite?
False
Suppose 0 = -2*v - 0*v - 534. Let k = 189 - v. Let u = k - 199. Is u a composite number?
False
Suppose -4*q + 16 + 16 = 0. Let p = -4 + q. Suppose -5*g + 1869 = -2*a, g = -p*g - 4*a + 1857. Is g a composite number?
False
Let m = 117 + -66. Is m a composite number?
True
Suppose 1972 = o + 77. Suppose 4*d - 1137 = -3*z, o = 5*z + 9*d - 4*d. Is z a prime number?
True
Let i = 26 - 24. Suppose -i*g + 10 = -4. Let d(z) = -z**3 + 8*z**2 + 3*z + 9. Is d(g) a prime number?
True
Let c(k) = -10*k - 7. Let l be c(-5). Let o = 89 - l. Let r = 160 + o. Is r composite?
True
Suppose -12280 = -10*v + 2*v. Is v a composite number?
True
Let n(u) = 4546*u + 5. Is n(2) composite?
True
Let a(t) = -t - 8. Let q be a(-10). Is -1 + q*2 + 4740/5 a composite number?
True
Let d(c) = 146*c**2 + 41. Is d(6) a prime number?
True
Let v = 1123 - -2190. Is v prime?
True
Let c = 22 + -27. Is ((-30)/c)/3 - -155 composite?
False
Let j = 2 - 17. Let s be 6/8 - j/12. Is (-9294)/(-66) + s/11 a prime number?
False
Let v(s) = -169*s + 69. Is v(-17) composite?
True
Let t(r) = -6*r**3 + 5*r**2 - 5*r - 25. Let l be t(-6). Suppose -f = -0*f - l. Is f a composite number?
False
Let j = 5 - 3. Suppose 0 = j*m + 2, 0*c + 2*c - 5 = m. Suppose -c*u + t + 12 = 0, -u + 3 + 3 = 3*t. Is u a composite number?
True
Suppose 0 = 5*j - j, -h + 5 = j. Suppose 1627 = h*w - 3918. Is w a prime number?
True
Let g = 625 + -259. Is (-2 - (-12)/(-9))*g/(-4) a composite number?
True
Suppose 4*q + 47707 = 3*j, 0 = -3*j + 9*q - 13*q + 47699. Is j composite?
False
Let g be 4678/3 + -2 + 32/(-24). Suppose 6*y - 10*y + g = 0. Is y a composite number?
False
Let k be 9*(8/(-6) + 1) + 1258. Suppose k = 4*y + y. Is y composite?
False
Let i = -127100 - -269595. Is i a prime number?
False
Let t = -32 - -34. Suppose t*l - 208 = -2*l. Is (1 - -2)*l/12 prime?
True
Suppose -38*b + 1214487 - 7265 = 0. Is b a composite number?
False
Suppose -4*g - 13 = -5, -3*x + 3*g + 6 = 0. Is (x - -1)/(-1)*(9 - 1268) prime?
True
Suppose 3*s = -3*r + 89859, 0 = -8*r + 4*r - 5*s + 119808. Is r a prime number?
False
Let c be -1 + ((-25)/5 - -11). Suppose -1663 = -3*q + 3*r + r, c*r + 547 = q. Is q a prime number?
True
Let p(z) = -z**3 + 4*z**2 - z - 2. Let u be p(3). Suppose 4*q = 6*q - 2700. Suppose -q = -u*a + 2422. Is a a composite number?
True
Suppose 2*m + 211832 = 10*m. Is m a composite number?
False
Let o(a) = -3*a**2 - 446*a**3 + 2 + 4*a**2 + 241*a**3 + 3*a. Is o(-1) a prime number?
False
Suppose 0 = -23*i + 36008 - 7051. Is i prime?
True
Let f(j) = 2*j - 7. Let k be f(4). Let u(v) = -17*v**2 - v. Let x be u(k). Let p = 33 + x. Is p a composite number?
True
Let o be 65/((8/12)/2). Suppose -3*j - d + 133 = 0, 2*j - 5*d = -3*j + o. Suppose -3*f + 14 = p, j = -4*p + 6*p + f. Is p prime?
True
Suppose 3*q = q + 262. Let i = 482 - 262. Let d = i - q. Is d a prime number?
True
Let w(r) = -63*r**2 + 4*r + 3. Let t be w(4). Let k = -334 - t. Is k a prime number?
False
Suppose 5*q = -2014 + 7089. Suppose 21*r = 16*r + q. Is r a composite number?
True
Let u(v) = 4*v**2 + 12. Let c be u(8). Let g = c - 71. Suppose -3*n + g = -364. Is n a prime number?
False
Let p(r) = -r + 5. Let m be p(0). Let d = 100 + 83. Suppose -m*i = -d - 232. Is i a composite number?
False
Let d be (464/(-5))/((-4)/20). Suppose 2*s - d = -4*x, -2*x - x + 908 = 4*s. Suppose 284 + s = 4*o. Is o composite?
False
Suppose 0 = -3*x + 2*g + 17855, -5*x + 4*g + 17851 = -2*x. Is x prime?
True
Let d = -5 - -2. Let c(l) = -l + 4. Let x be c(d). Suppose m - x*m = -858. Is m a prime number?
False
Let u = -79 - -210. Is u a composite number?
False
Suppose l + 3*j + 5 = 6*l, 2*l + j - 2 = 0. Let t = l + -1. Suppose t*q + 4*q = -2*n + 740, -4*n = 0. Is q a composite number?
True
Suppose 37*q + 16585 = 42*q. Is q a prime number?
False
Let s(i) = 2*i**3 - i**2 + i. Let t be s(1). Suppose 0 = -t*q - q + 4*v + 35650, -23768 = -2*q + 4*v. Is (-4)/(-14) + q/14 prime?
False
Suppose 4*f + q - 15283 = 0, 0*f + q = 2*f - 7643. Is f prime?
True
Let k(o) = 8*o**2 - 8*o - 8. Let p be k(5). Let h = 3 + 1. Suppose -h*f = -5*j + 1526, -2*j = -3*f - 464 - p. Is j a prime number?
False
Let j(p) = -1418*p. Let y be j(1). Let q be (-3)/(-6) + y/(-4). Suppose -3*z - q = -2*r - 0*z, -z + 5 = 0. Is r prime?
False
Suppose u = 6*u + 5*w - 15500, -5*w = -2*u + 6207. Is u a prime number?
False
Suppose 0 = -3*p - 0*p - 5*k - 9, -p = -4*k + 3. Let n(z) = 41*z**2 - 2*z + 6. Is n(p) composite?
True
Suppose 0*z = -3*g - 2*z + 4, 3*g - 1 = -5*z. Suppose -2*m + 919 = m + l, -g*m + l = -616. Is m a prime number?
True
Let x(v) = 2*v**2 - 11*v + 10. Let k be (-1 - -1) + 33/3. Is x(k) prime?
True
Is (-42)/(-35)*231740/12 prime?
False
Let r(u) = -u**2 - 18*u - 6. Let d(c) = c**2 + 8*c + 6. Let y be d(-9). Let q = -26 + y. Is r(q) a prime number?
True
Suppose 5420 = 10*s - 317550. Is s a prime number?
True
Let o be 56/(-16) - 2/(-4). Let z(y) be the second derivative of -y**5/2 - y**4/6 - y**3/6 - 2*y**2 + 16*y. Is z(o) prime?
True
Is 4 + (-75822)/14*(35 + -42) a prime number?
False
Let r(d) = d**3 - 4*d**2 - 10*d - 4. Let x be r(6). Let p(h) = 18*h + 19. Let i(n) = -19*n - 20. Let b(f) = 2*i(f) + 3*p(f). Is b(x) a composite number?
True
Let j(n) = 2*n**2 - 21*n + 1. Let z be j(16). Suppose -c + 412 = -z. Is c prime?
False
Suppose -13 = -h - 5. Suppose -h*w + 67 = -7*w. Is w prime?
True
Let b be (-6 - (-3 + -1)) + -35. Let m be b/(-5) + 34/(-85). Suppose -11*n = -m*n - 484. Is n a prime number?
False
Let a = -759 - -1336. Let m = 1209 - a. Suppose -3*k = -m + 185. Is k prime?
True
Let l(b) = -144*b**2 - 15*b + 48. Let m(y) = -9*y**2 - y + 3. Let k(s) = 2*l(s) - 33*m(s). Let j = 16 + -19. Is k(j) prime?
False
Suppose 11879 = 6*q - 5683. Is q composite?
False
Suppose -74*w + 76*w = -2*s + 8988, 4*w - 17991 = -s. Is w composite?
True
Suppose -2*l + 6*u + 19 = u, -2*u = -2*l + 10. Suppose l*z - 202 - 960 = 0. Is z a composite number?
True
Let r(q) = 4*q + 1. Let j be r(1). Suppose -162 = -2*c + 4*f, -11 = j*f - 6. Is c composite?
False
Let q be 3 + -1 - -1 - -233. Suppose -4*j + 3*x = -1013, j + x = -4*x + q. Is j a composite number?
False
Let v = 536 + -273. Suppose v = j + 4*i + 84, 5*j = -5*i + 940. Is j a prime number?
True
Let f be (-5004)/(-28) + (-2)/(-7). Let g = -15 - -129. Let t = f - g. Is t composite?
True
Let x = -1 - -2. Is 149/((2 - x)*1) a composite number?
False
Let w(x) = 27*x**2 - 5*x - 25. Let u be w(-6). Suppose -c = s - u, -3*c - c + 3908 = -s. Is c prime?
True
Let z(a) = a**2 + 21*a - 38. Let g be z(-22). Is -1 + (-4)/((g/1514)/4) prime?
False
Let x = -20417 - -97504. Is x a composite number?
True
Let w(k) = -k + 4. Let l be w(-3). Let h be (l - (-12)/(-4))*-3. Is ((-3438)/h)/(6/4) a composite number?
False
Is ((-318240)/(-175) - 8/(-28))*5 a prime number?
False
Let a be (-45)/(-60) - (-17)/4. Suppose 15 = a*x + 5, -5*x = -z + 11. Is z a composite number?
True
Let m(o) = -13044*o**3 + 2*o**2 - 8*o - 9. Is m(-1) composite?
True
Let i(s) = s**3 - 61*s**2 + 176*s + 47. Is i(65) composite?
False
Suppose 5*b - 14097 = 6*g - 8*g, -b + 2823 = 4*g. Is b prime?
True
Let h(r) = -2*r + 1 - 6 + r. Let u be h(-17). Is 3*20/u*37 prime?
False
Let r(s) = -6401*s - 212. Is r(-5) a prime number?
True
Suppose 0 = 18*m + 53617 - 148099. Is m composite?
True
Let y = -5618 + 11521. Is y composite?
False
Suppose -2*n - 2*f + 38490 = 0, -10*f = -3*n - 5*f + 57767. Is n prime?
True
Let k = 8396 + -4005. Is k a composite number?
False
Let y(z) = -z**3 - 13*z**2 - 13*z - 5. Let q be y(-12). Suppose -q*m = -4*m - 5403. Is m composite?
False
Suppose -m + 1818 = -4*m. Let h be m/(-12) + 2/(-4). Suppose -3*b + h = -7