 + 1306 = -2*x. Is x/(-6) + (-6)/(-18) a prime number?
True
Let w be 1/(4 - 5)*-2. Let x be (-222)/4*(-2)/3. Is w/(-1) + x + 2 a prime number?
True
Let f(t) be the third derivative of 53*t**5/60 + t**4/12 - t**3/6 + t**2. Is f(2) composite?
True
Let j be (-3)/12 + (-11)/4. Let q be (-45)/(-12) - j/(-4). Suppose -2*y + 4*f + 31 = -f, 0 = q*y + 5*f - 84. Is y a composite number?
False
Let b = 3 + -3. Suppose -2*c + 19 + 51 = b. Let m = c + -24. Is m prime?
True
Suppose 0 = -2*q - 0*q + 38. Is 26/8*(1 + q) prime?
False
Is (474/(-15))/(4/(-5))*2 a prime number?
True
Suppose 2*s + 2*s = 0. Let y = s - -4. Suppose -5*k + 28 = 4*n, 2*n = -0*n - y*k + 14. Is n a composite number?
False
Let o(k) be the third derivative of k**5/12 + k**4/8 - k**3/2 - 3*k**2. Is o(3) a composite number?
True
Suppose -6*n + 369 = -3*n. Is n prime?
False
Let y(n) = 17*n - 5*n + 3 - 1. Let m be y(4). Suppose 3*p = -2*p + m. Is p composite?
True
Let h be (-7)/9 + 8/(-36). Is (h + 1*-18)*-17 a composite number?
True
Suppose -4*g = 774 - 7898. Is g composite?
True
Let o(a) = -5*a**2 + 2*a + 3. Let b be o(-2). Let h = b - -35. Is h a composite number?
True
Suppose -3*n + 1148 = n. Is n a composite number?
True
Let g(q) = 233*q + 3. Is g(2) a composite number?
True
Let j = 1170 - 751. Is j composite?
False
Suppose -3*g + 2*j = -1120 + 459, -3*g - 2*j + 677 = 0. Is g prime?
True
Let f(l) = -l**3 + 4*l**2 - 3*l + 6. Let p be f(4). Let b = -5 - p. Suppose -r + 2*k + b = -34, 0 = 3*r + 4*k - 125. Is r composite?
True
Let i(v) = v. Let a(u) = -2*u - 89. Let q(m) = -a(m) - 3*i(m). Is q(0) composite?
False
Let n(p) = -3*p**3 - 4*p**2 - 4*p. Let w be n(-3). Suppose -5*c + 3*y = -170, 2*c - w = -3*y + 2*y. Is c a composite number?
False
Suppose 70 - 601 = -3*a. Suppose -y = 78 + a. Is 4*(y/(-12) - -1) a composite number?
False
Let g be 4/5*(-5 - -15). Let m = g + -6. Suppose 0*v = -m*v + 98. Is v composite?
True
Suppose -3*v + 0*v = -5*q + 24, 2*q - 9 = v. Suppose 2*s - 520 = -5*z - q*s, 3*z - 5*s = 328. Let j = z - 75. Is j a prime number?
True
Let k = -8382 - -12881. Is k composite?
True
Is 4/14 - 1799/(-49) prime?
True
Let l = -14 + 35. Is l composite?
True
Suppose 0*d + 2*d = 6. Let a be ((-2)/d)/((-6)/441). Suppose -5*t - 2*r = -a - 300, 0 = 2*t - 2*r - 148. Is t composite?
False
Let b(r) = 2*r - 12. Let s be b(10). Suppose t - 4 = -s. Is (-1460)/(-16) - (-1)/t a prime number?
False
Suppose -2 = -4*v + 10. Let c(g) = -4*g**3 + 4*g**2 + 3*g - 82. Let t(i) = 11*i**3 - 11*i**2 - 8*i + 247. Let b(d) = v*t(d) + 8*c(d). Is b(0) prime?
False
Let p = 641 + -450. Is p prime?
True
Let t = 186 + -109. Is t a prime number?
False
Let u(m) = -10*m + 15. Let z be 12/(-78) - (-89)/(-13). Is u(z) prime?
False
Let g be (-3)/12 - 18/(-8). Is g/4*(3 - -103) composite?
False
Suppose 4*h = -4*z + 396, -z - 5*h = 2*z - 291. Suppose 3*u = 6*u - z. Suppose i + i = 4*v - 62, -2*v + u = -2*i. Is v composite?
True
Suppose 0 = 4*a - x - 6681, -14 = 4*x + 6. Is a a prime number?
True
Let k = -75 + 142. Is k a prime number?
True
Is (1/3)/(2/762) composite?
False
Let x(o) = -o**2 + 2*o + 4. Let m be x(3). Suppose -m + 13 = 3*s, r - 2*s - 183 = 0. Is r a prime number?
True
Let j(o) = o**3 - 5*o**2 + 3. Let p = -12 + 17. Let q be j(p). Suppose g - 264 = -2*g + q*f, -5*f - 185 = -2*g. Is g prime?
False
Suppose 0*j + 1222 = 2*j. Let i = j - 380. Suppose -2*m = -5*m + i. Is m a composite number?
True
Let v = 25 + -38. Let u be 5*1*(-4)/(-10). Is (v/u)/((-1)/10) composite?
True
Let c(s) = -23*s**3 + s**2 + 3. Let m be c(-3). Suppose 0*d = 3*d - m. Is d a composite number?
False
Let m be 427 + (-2 - -2 - -2). Suppose 7*u - 15 = 2*u. Suppose -3*z - u*t = -8*t - m, -5*z + 715 = 3*t. Is z a composite number?
True
Is (-3)/(-1) - (-416 + -12) composite?
False
Suppose -448 = 6*d - 2*d. Let l = d + 64. Let a = 69 + l. Is a prime?
False
Suppose 2*x + 2*x - 284 = 0. Is x a prime number?
True
Let l(x) = -130*x**3 + 2*x**2 + x. Let p be (5 - 2) + 0 + -4. Is l(p) composite?
False
Suppose 4*x - 5*u = 352, -4*x - 4*u = -2*x - 176. Suppose -2*j = -426 - x. Is j a prime number?
True
Let y(n) = 17*n**2 - 9*n - 1. Is y(4) a composite number?
True
Suppose -174 = -g - 0*n - 4*n, -628 = -4*g + n. Suppose -3*c + 2*q + 29 = 0, 5*c + 0*q - 31 = -q. Suppose -3*h + g = -c. Is h a composite number?
True
Suppose 5*w - 129 - 486 = 0. Is w a prime number?
False
Suppose -4*z - 4 = -9*z + q, -4*z + 3*q = -1. Is 2 - -2*(1 + z) a prime number?
False
Let y(w) be the second derivative of -8*w**3/3 - 5*w**2/2 - 7*w. Is y(-4) a prime number?
True
Suppose -d + 20 = -2*i - 4, 4*d = -i + 141. Let v = d + -3. Is v composite?
False
Let g(l) = 47*l**3 + 4*l**2 - 3*l - 1. Let q = 4 - 1. Let t be g(q). Suppose 0 = 2*s + 3*s - t. Is s a composite number?
True
Let l = -1302 + 1823. Is l a composite number?
False
Let v = -57 + 94. Let a = v - 16. Is a a composite number?
True
Is 2/(-9) - (-1)/((-54)/(-58386)) a prime number?
False
Suppose 4*h - 812 = -0*h. Is (h/2)/((-2)/(-4)) a composite number?
True
Let f(p) = 42*p**2 + 2*p + 3. Let m be f(6). Suppose z - m = -2*z. Is z prime?
True
Let c be (-5)/2*(-16 - -4). Suppose y + y = c. Is y composite?
True
Suppose -16 = 2*b - 42. Let k(v) = v**3 - 11*v**2 + 12*v - 9. Is k(b) composite?
True
Let b be (-2)/(-9) + (-4)/18. Suppose b = -3*l, 3*m + l + 4*l - 9 = 0. Suppose 4*q = m*t + 67, -5*t + 0 = 2*q - 1. Is q a prime number?
True
Let w(i) = 6*i**3 - 3*i**2 - 2*i - 2. Is w(3) prime?
True
Let d(w) = 4*w - 2. Is d(3) a composite number?
True
Suppose 0 = 4*v - 0*v - 36. Is 6/v + 343/3 a prime number?
False
Suppose 5*j + 0*j - 287 = -2*t, 3*t + 5*j - 423 = 0. Let f = -57 + t. Is f a composite number?
False
Suppose -14 - 34 = -2*h. Suppose -q - h = -2*d + q, d = 2*q + 9. Suppose o = 5*i + 43 + d, 3*i + 15 = 0. Is o a composite number?
True
Suppose 5*t - 249 - 93 = -3*p, 0 = -4*t + 12. Is p a prime number?
True
Suppose 4*v - 4*r - 867 = -5*r, 0 = -5*v + 4*r + 1089. Is v a prime number?
False
Suppose 2*f + 4 = -2*f, 23 = 2*k - f. Let h be (-7 + k)*(-1)/2. Is (h + 0)/(-2) + 88 a composite number?
False
Let d be (-1 - 1)/((-4)/6). Suppose 158 = -r + d*r. Is r prime?
True
Let o(s) = s**2 - 2*s + 1. Let n be o(3). Suppose 0 = n*c - 0*c - 16. Let g = c + 31. Is g a composite number?
True
Let m be -3 + 4 + 4 + -2. Suppose f - 2*h = 14, 2*f + 2 = 5*f + 2*h. Suppose 2*q - m*x + f*x = 141, -2*x = -6. Is q composite?
True
Let b(w) = -8*w + 1. Let u(i) = i**2 + 8*i + 9. Suppose -3*f + 12 = -5*f. Let g be u(f). Is b(g) prime?
False
Let a(j) be the first derivative of j**3/3 + 49*j + 5. Is a(0) prime?
False
Let m(f) be the first derivative of -1 - f + 8/3*f**3 - f**2. Is m(-2) composite?
True
Suppose b = -11*b + 6012. Is b composite?
True
Let c be 1*(-3)/(6/(-16)). Suppose -4*g + 2 = v - 0, 0 = 4*v + 4*g - c. Is v a composite number?
False
Let h(q) = q**3 + 11*q**2 + 5*q + 4. Let s be h(-8). Is (8 - 9) + s/2 a prime number?
False
Suppose q = 3*q + 4*d + 28, -5*d = 4*q + 65. Let z be ((-335)/q)/(1/4). Suppose -3*c = -z + 25. Is c prime?
False
Suppose -4*c = -c + 45. Let v = -10 - c. Suppose -v*p + 148 = -p. Is p prime?
True
Suppose 0 = -a + 3, 4*a + 53 = 3*g - 928. Is g prime?
True
Let q(l) = -122*l - 21. Is q(-5) a composite number?
True
Let s(x) = -x**3 + 5*x**2 + 5*x - 6. Let q be s(5). Let b = 70 + q. Is b composite?
False
Suppose -4*c - 20 = -k + 1, -2*c = 8. Let j(m) = 5*m - 4. Is j(k) a prime number?
False
Let w(n) be the third derivative of n**5/60 - n**4/6 + 5*n**3/6 - n**2. Is w(-4) prime?
True
Suppose 5*i = 20, 2*p = -p + 3*i - 15. Is (p - (3 + -5)) + 114 prime?
False
Let r(c) = -c**3 - 10*c**2 - 3*c + 4. Is r(-10) a prime number?
False
Let m(t) = 2*t + 11. Let j be m(9). Suppose s = 80 + j. Is s a composite number?
False
Is (-2660)/(-10) - 3/1 composite?
False
Is (4 - 1) + -5 + 421 a composite number?
False
Is 409*(-6)/18*3*-1 composite?
False
Let i(f) = 7*f**2 - 5*f - 5. Let q(z) = z**2 + 9*z + 8. Let y be q(-6). Let l(m) = m**3 + 10*m**2 + m + 6. Let h be l(y). Is i(h) composite?
False
Let j(c) = 2 - 14 + 92 + c. Let n be j(0). Suppose -3*m = -u + 47, 0 = 5*u - 4*m - 155 - n. Is u a prime number?
True
Is (1631/14)/((-2)/(-4)) a composite number?
False
Let h(d) = 3*d - 1. Let t be h(1). Is 1 + 0 + t + 110 a prime number?
True
Sup