 - 3*x. Is z prime?
True
Suppose -1428 - 4007 = -5*i. Is i a composite number?
False
Let r(m) be the first derivative of m**3/3 - m**2/2 - 7*m - 1. Let i be r(-8). Let l = 96 - i. Is l a prime number?
True
Let i be ((-1)/2)/((-1)/12). Suppose u = 4*u + 3*b - 27, -b = -4*u + 26. Is 131/u - i/(-21) a composite number?
False
Let r(q) = q**2 - 3*q + 2. Let p be r(-3). Suppose -3*o + 2*l = 17, 4*o - 3*l + p = l. Is -4 - o - -1*10 a prime number?
True
Suppose 0*n = 2*n. Suppose -3*p + 6*p - 12 = n. Suppose 9*u = p*u + 935. Is u a prime number?
False
Suppose 3*h + 126 = -2*q + 5*q, -138 = 3*h + 3*q. Let j = h - 117. Is (-3 - j)/((-4)/(-2)) composite?
False
Let q be 2/10 + (-126)/(-45). Suppose 4*u + 5*g - 827 = 0, 0*u - 5*g + 624 = q*u. Is u a prime number?
False
Suppose -5*b = -9*b + 508. Is b composite?
False
Suppose -g + 5*g = 5*q - 1234, 4*q - 996 = g. Suppose 2*k - q = 744. Is k composite?
True
Let s = -1628 + 3521. Is s composite?
True
Suppose 6*r - 514 = 10292. Is r prime?
True
Suppose -5*n - 2*h = -2099, -4*n + 5*h = n - 2085. Is n prime?
True
Suppose 7*t = -2*t + 5013. Is t a prime number?
True
Is 5031/15 - (-4)/(-10) a composite number?
True
Is ((-3)/(-6))/(7/1946) composite?
False
Let l be -4*((-124)/16 - -3). Suppose -13*c = -12*c - l. Is c a composite number?
False
Suppose 2*g + 640 = 6*g - h, -g - 4*h = -177. Suppose 110 = -7*s + 740. Let a = g - s. Is a a composite number?
False
Suppose 5*u + 2*i = -3, u - 3*u - 3 = -i. Is 258 - (-2 + 2 - u) a prime number?
True
Suppose -20 = -4*q, 0 = -4*l + 5*q + 7279 + 2780. Is l a composite number?
False
Let k = 0 - 3. Let s(i) be the second derivative of i**4/12 - i**3/2 + 3*i**2/2 + 4*i. Is s(k) a prime number?
False
Let m(o) = 2*o**2 - 4*o + 7. Let d(w) = w**2 + w. Let t(u) = -3*d(u) + m(u). Is t(-7) a prime number?
True
Let z be (32/(-28))/(-4)*7. Let j be 0 - (1 + 0 - -2). Is (j + 18/4)*z a composite number?
False
Suppose -i - 2*i + 993 = 0. Is i prime?
True
Is 452/10 + (-9)/45 + 4 a prime number?
False
Let v(p) = 3*p**2 - 1. Let b(x) = 5*x**2 + x - 1. Let z be b(1). Suppose z*s = -0*s - 10. Is v(s) a composite number?
False
Is ((-7)/(-21))/(((-4)/(-6159))/4) a composite number?
False
Let l be (-2)/(-6) - (-1)/(-3). Suppose l = -2*s - 45 + 123. Is s composite?
True
Let c(y) = -y**2 - 8*y - 10. Let w be c(-6). Is 1/w + (-865)/(-10) a composite number?
True
Let z(y) = 2*y**3 - 11*y**2 - 6*y - 4. Is z(9) composite?
False
Let j = 121 - -6. Is j a composite number?
False
Suppose -3*n + 11 = 2. Suppose -4*k = -2*j - 2*k + 1268, -n*j = -k - 1896. Is j composite?
False
Suppose -y = -0*b - 2*b - 18, 2*y = 8. Let h = b + 9. Is (-1 + h)*(-326)/(-2) a composite number?
False
Suppose -v + 177 + 242 = 0. Is v a prime number?
True
Is 10712/32 + (-1)/(-4) prime?
False
Is 6/15 - 540/(-25) composite?
True
Suppose 5*b + o - 725 = 0, 0 = 5*b + 4*o - 0*o - 725. Is b a prime number?
False
Suppose -13901 = -3*s - 4*h - 1044, 3*s - 12859 = -2*h. Is s a prime number?
False
Let y(s) = 206*s**2 - s. Is y(1) a composite number?
True
Let m(g) = -g - 4. Let t be m(-4). Suppose t*a + 156 = 4*a. Is a a composite number?
True
Suppose -11*l + 395 = -6*l. Is l a composite number?
False
Suppose 289 = 2*l - 7. Suppose 3*v = -v + l. Is v composite?
False
Let z(q) = -309*q**3 + 3*q**2 - 1. Is z(-1) composite?
False
Suppose 15 = 5*q, -2459 = -7*t + 2*t + 2*q. Is t prime?
False
Let i be 4/(-6) - (-64)/(-12). Let n be 0 - (-1 - -14) - 1. Is (-486)/n - i/21 composite?
True
Let p = 17 - 26. Let z(s) = 6*s + 17. Let v(o) = 25*o + 68. Let b(n) = p*z(n) + 2*v(n). Is b(-12) composite?
False
Let a = -1 + 2. Is 29*(-1)/(a/(-7)) a composite number?
True
Let o(i) = -i**3 - 10*i**2 + 16*i + 8. Suppose 5*w + 4*f + 57 = 0, 0 = -3*f + 5*f - 4. Is o(w) a composite number?
False
Suppose -4*f - 766 = -1986. Is f composite?
True
Let r be (-9)/21 + (-13810)/(-14). Suppose -3*y = -5*y + r. Is y prime?
False
Let q = -15 + 45. Is 3/((-21)/q - -1) a prime number?
False
Suppose -s = 2*g - 78, -4*s - 194 = -5*g - 7*s. Suppose 20 = -5*y, -g = -3*d - 4*y + 1. Is d a prime number?
True
Suppose -3*f = f - 104. Let s be (-49 + (1 - -3))/(-1). Let v = s - f. Is v a prime number?
True
Suppose -4 = -5*f - 2*p, 25 = 4*f + f - 5*p. Suppose -f*k = -k + 92. Let s = -15 - k. Is s prime?
False
Is (-2026)/(-6) - (-14)/(-21) a composite number?
False
Suppose j - 1 = a - 16, 0 = -3*j + 12. Suppose 5*n = r - 23 + 6, 0 = 3*n - 5*r + a. Is (178/(n + 2))/(-2) a composite number?
False
Suppose 21*s + 357 = 24*s. Is s prime?
False
Let z(j) be the third derivative of 0 - 1/2*j**3 - 1/120*j**6 + 0*j + 7/24*j**4 + j**2 + 1/10*j**5. Is z(5) a prime number?
False
Suppose -2*n - 106 = -4*n. Is n prime?
True
Let y(n) = 44*n + 13. Is y(6) a prime number?
True
Let y be (2/(-4))/((-2)/(-84)). Suppose 0 = -0*w + 3*w - v - 8, -4*w + 4*v = -24. Is w/2 + y/(-6) a prime number?
False
Let b = -576 - -1217. Is b prime?
True
Suppose -256 = 2*s + 454. Let v = s + 510. Suppose 0 = -5*b + 5*o + v, -4*b = 3*o + 2*o - 124. Is b a composite number?
False
Let y = 236 - 330. Let w = y - -216. Let r = w + -73. Is r composite?
True
Let m = 151 - -50. Is m a prime number?
False
Suppose -3*c + 4*k = 32, -2*c - 4*k = 18 + 10. Is (6 + -2)*(-57)/c a prime number?
True
Suppose -4*f = -0*f + 3*k - 795, 2*f - 396 = -2*k. Is f prime?
False
Let x = -1119 + 37. Is (-2)/4*(0 + x) a prime number?
True
Is (-502)/6*(0 - 3) a composite number?
False
Let r = 15 + 5. Let k = r + 2. Let n = 9 + k. Is n composite?
False
Suppose 0 = -i + 3*i - 1598. Suppose 1802 = -5*c - 1028. Let h = c + i. Is h a prime number?
True
Suppose 5*a + 11 = -4. Let u be (a + 21)*(-2)/(-4). Let y(h) = 2*h + 13. Is y(u) prime?
True
Let i = 181 + -24. Is i composite?
False
Let m = -4 + 8. Suppose m*j = -0*f - 5*f + 91, -4*j + 16 = 0. Is f a prime number?
False
Let a(h) = 5*h**2 - 7*h - 29. Is a(-10) prime?
True
Suppose -582 = -3*m + 5*w, -6*w - 970 = -5*m - 2*w. Suppose -5*c + m = -311. Let q = -66 + c. Is q composite?
True
Let h be (686/(-4))/7*-2. Suppose 0 = 4*p - 389 + h. Is p a composite number?
True
Let b = 40 - 25. Let y be (16/10)/(6/b). Is 58 + (y - 1 - 2) composite?
False
Let t(o) = 10*o**2 - o + 5. Let v(k) = -k**2 + k - 1. Let d(c) = t(c) + 6*v(c). Is d(4) composite?
False
Suppose -p + 351 = -2*j - j, -2*p + 693 = 3*j. Suppose -5*x - 174 = 4*y + 975, 0 = -3*x - 3*y - 687. Let k = p + x. Is k a composite number?
True
Is (-2)/5 + (-6134)/(-10) a prime number?
True
Let l(a) be the second derivative of a**3/3 - 5*a**2/2 + 2*a. Let r be l(5). Let u = 72 - r. Is u prime?
True
Is (-6)/(-10)*499*(-15)/(-3) prime?
False
Let n(g) = 6*g**2 - 2*g - 3 + g**3 + 10 + 0*g**2. Is n(-6) a composite number?
False
Suppose k = 2*l + 4*k - 36, 0 = -4*l + 3*k + 36. Let b be l/2 - 4/2. Is b/6*(-603)/(-6) composite?
False
Suppose -20 = 3*m - 8*m. Suppose -m*r + 149 + 308 = 3*w, 5*w - 5*r = 820. Suppose 5*z - 8*z + w = 0. Is z composite?
False
Let k(d) = 10*d**2 - 3*d - 11. Is k(-4) prime?
False
Suppose 0 = -2*d + 1 + 47. Suppose -3*h - h = d. Let t(x) = -10*x - 7. Is t(h) a composite number?
False
Suppose -l + 2865 = a - 5*l, 5*l = -5. Is a a prime number?
True
Suppose -33*t = -34*t + 1733. Is t a prime number?
True
Suppose 2*p - 1285 = -15. Is p prime?
False
Let p(j) = j**2 + 4*j + 10. Is p(-7) a composite number?
False
Suppose 243 = 5*n + 4*f - 1203, -4*f = -n + 270. Suppose 159 + n = 5*a. Is a a prime number?
True
Let d(o) = -87*o**2 + 4*o - 9. Let g(b) = 43*b**2 - 2*b + 5. Let l(x) = -4*d(x) - 7*g(x). Let i be l(-5). Suppose 3*q - 215 = i. Is q a composite number?
False
Let v = 189 + -316. Let j = 68 - v. Let o = -116 + j. Is o prime?
True
Suppose 2*x = 4, p - 2*x - 1376 = 6*p. Let r = p - -399. Is r a composite number?
True
Let c(x) = x**3 + 14*x**2 + 7*x - 11. Let k = -28 - -15. Is c(k) a prime number?
True
Let z = -3 - -7. Suppose -z*m + 2*m + 254 = 0. Is m a prime number?
True
Let x(a) = a**3 - 22*a**2 + 28*a + 8. Is x(21) composite?
True
Suppose 3*y - 22 = 2*y. Is y composite?
True
Suppose 0 = -0*x - 3*x - 12. Is x/2*-103 - 3 composite?
True
Let l(c) = 3*c - 1. Let k(u) = -2*u + 1. Let w(r) = -7*k(r) - 5*l(r). Let s be w(-2). Suppose 4*h + s*h - 2*j = 814, -3*h - 3*j = -606. Is h a prime number?
False
Let u(m) = -m**2 - 3*m + 8. Let k be u(-4). Suppose 