 + 132. Is u a composite number?
True
Suppose 5*a + 20 = -0. Is -1 - ((-368 - a) + -2) composite?
True
Let c be (2 + -21 - -5)*(-49)/(-2). Let p = 978 + c. Is p a prime number?
False
Let i(c) = 53*c**2 - 7*c + 3 - 2 + 14*c**2. Is i(3) a composite number?
True
Suppose 3*y - 70 = -64. Suppose 0*l - l + 807 = -5*m, -2*m = -y*l + 1582. Is l prime?
True
Let w(m) = -m**3 + 3*m**2 + 6*m - 3. Let j be w(4). Suppose 171 = j*x - 104. Is x a prime number?
False
Let u(k) = 39*k + 8. Let t(j) = -20*j - 3. Let m(o) = -5*t(o) - 2*u(o). Suppose y + 6 = 20. Is m(y) composite?
False
Suppose 0 = 2*d + 2*v + 3*v - 10, 0 = 4*d - 4*v + 8. Suppose d = -5*f - x + 4716, -4*x = -9*f + 7*f + 1882. Is f a composite number?
True
Let o be -186 + ((-5)/(-1) - 10/5). Let v = o + 270. Is v prime?
False
Suppose 9*f + 2*i = 4*f + 2769, 0 = i - 2. Suppose -5859 + f = -2*o. Is o a prime number?
False
Let t(m) = 11*m - 11. Suppose -2*p = -5*c - p + 30, -2*c = -p - 9. Suppose -2*g - c + 19 = 0. Is t(g) prime?
False
Let d(w) = 166*w**2 - 2*w + 27. Is d(7) composite?
False
Let r(c) be the second derivative of c**4/6 - 5*c**3/3 + 5*c**2/2 - 13*c. Let j be (-2)/(-17) - (-944)/68. Is r(j) prime?
True
Let h(u) = u**2 - 6*u - 2. Let t be h(-12). Suppose -2*r - 248 = -4*j + t, 2*r + 2 = 0. Is j prime?
False
Suppose 5*o - s - 12 = 0, -o + s + 6 = -s. Is 4 + -2 + o - (2 - 339) prime?
False
Let w(j) = 2*j**3 + j**2 - j. Let x be w(3). Suppose -4*l + 11*l = 1267. Suppose 13 = -f - 3*y + x, 3*f - l = y. Is f prime?
True
Is ((-2)/6)/(18/(-665442)) a prime number?
True
Let t be (-2)/15 - (-28060)/75. Suppose -4*l - 2*n = t + 70, 2*l = n - 222. Let b = l - -190. Is b composite?
False
Suppose 2 = f - 1. Suppose f = t, -b - 17 = -6*b - 4*t. Is -1 + (69/1 - b) composite?
False
Is 132/(-33) - (3 + -6146) a composite number?
True
Let u(y) = y**2 + 5*y - 8. Let h = 54 + -34. Suppose 0 = 5*t - 2*q + 9 + h, 5*t + q = -38. Is u(t) a composite number?
True
Let r(i) = 383*i**3 - 6*i**2 + 18*i + 5. Is r(4) a prime number?
False
Let a(c) = -20590*c**3 + 4*c**2 + 4*c + 1. Is a(-1) a prime number?
False
Suppose -5*h - 14 = -2*j, 2*h + 3*h = j - 7. Suppose -j*i + 3422 = -407. Is i a prime number?
True
Let a(m) = -m**3 + 12*m**2 - 22*m + 22. Let z be a(10). Suppose -5*p + 271 = -z*f, -p - 2*f + 0*f = -47. Is p prime?
True
Suppose 11*v = 68055 + 44563. Is v prime?
False
Let v be (-455)/(-28) + (-1)/4. Let h = v + -72. Is (-11272)/h + 2/(-7) prime?
False
Let i = -26520 + 37205. Is i a composite number?
True
Let q(b) = 7 - 16 + 3*b - 4. Let r be q(6). Suppose r*v - 1091 = 374. Is v a prime number?
True
Let k(v) = 327 + 936 - 2*v - 466 + 860. Is k(0) composite?
False
Let w(v) = -3 + 1 - v + 0. Let l be w(-6). Suppose -473 + 37 = -l*g. Is g a composite number?
False
Suppose -10 = -10*b + 5*b. Is ((-50)/15)/(b/(-309)) a prime number?
False
Suppose u = 6*u - 810. Suppose -u - 34 = -4*v. Is v prime?
False
Suppose -9 = 2*y - 3*y - 3*s, 3*s - 9 = 0. Suppose y*z = -2*z + 2*b + 1830, 4*b + 1826 = 2*z. Is z a prime number?
False
Let y(l) = -2*l - 26. Let h be y(15). Let q = h + -238. Let a = 479 + q. Is a prime?
False
Suppose 0 - 8 = -4*z. Suppose -4*j - 5*k + 144 = -364, z*k = -j + 130. Is j prime?
False
Let v(n) = -39*n + 8. Let m be v(-5). Let h = -136 + m. Is h a composite number?
False
Let n(j) be the first derivative of -13*j**5/20 + j**4/12 - j**3/2 + j**2 + 9*j - 9. Let p(u) be the first derivative of n(u). Is p(-3) a composite number?
True
Let n(v) be the third derivative of -2*v**4 - 11*v**3/6 - 140*v**2. Suppose 0 = 4*y + 4*t + 16, -4*y - 2*t - 20 + 0 = 0. Is n(y) a prime number?
True
Let t(n) be the second derivative of -n**3 - 5*n**2 - n. Let k be t(-4). Let i(f) = f**3 - 11*f**2 + 7*f + 11. Is i(k) prime?
False
Let s(d) = -d**3 + 2*d**2 - d - 1. Let p be s(2). Let l be 2*((-1756)/(-8) + p). Let j = -230 + l. Is j a composite number?
True
Suppose -17 = -2*k + 11. Is k/(-28) - (-1894)/4 composite?
True
Let r be (4/(-12)*0)/(-2). Suppose t + t - 598 = r. Is t prime?
False
Suppose -3*o + 7 - 1 = 0. Suppose 0 = o*m + 3*c - 398, -m + 2*m - 199 = -5*c. Is m prime?
True
Suppose -9*a - 51196 = -13*a. Suppose -43662 = -7*n - a. Is n prime?
True
Suppose -j = h - 0 - 7, -11 = -3*h - 5*j. Is (-11 + h)*(-2)/((-4)/1618) a composite number?
False
Suppose 5*p - 4*r - 11 = 6, 5*r = -3*p + 25. Let d(z) = -z + p - 6 + 7. Is d(-7) a composite number?
False
Let j = 10 - 5. Suppose 3*o + j = 23. Is (13/(-4))/(o/(-24)) a prime number?
True
Suppose 7*h - 6766 = 11224. Suppose 7*d = 2*d + h. Is d a prime number?
False
Suppose -165 = 2*z - 5*z + 3*v, -5*z + 293 = v. Let d = z + -125. Is 1 + -1 - -2 - d a prime number?
False
Suppose 4*j + 2*c + 4 = 12, 7 = j - 2*c. Suppose -4*k - 4*d - 5 = -37, 4 = d. Suppose -j*b = 3*o - 1269, b + 1660 = 5*b - k*o. Is b composite?
False
Let l(j) = 12*j + 7. Suppose 5*d + 2*f = -43, 4*f + 15 = -1. Let a be (12/d)/((-28)/98). Is l(a) composite?
False
Let y = 272 + -408. Let j = y - -320. Is (j/12)/((-1)/(-3)) a composite number?
True
Let t(z) = -7*z + 10. Let o be t(-8). Suppose 0 = 4*m - l - o, -4*l + 2 = 3*m - 38. Is (633/(-6))/((-8)/m) prime?
True
Suppose -5*b - 36 - 9 = -5*u, -3*u - 5*b + 59 = 0. Let r(q) = 6*q - 11. Is r(u) prime?
True
Let m(a) = 34*a**2 + 21. Is m(7) a prime number?
False
Let v(l) = 64*l**2 - 36*l - 64. Let f(q) = 16*q**2 - 9*q - 16. Let o(c) = 9*f(c) - 2*v(c). Is o(-9) a prime number?
True
Suppose 5*f - 86913 = -2*l, 0 = 4*l + 2*f - 7*f - 173841. Is l composite?
True
Suppose 55 = -y + 6*y. Suppose 1564 = y*z - 7*z. Is z prime?
False
Let q(v) = 120*v**3 + 4*v**2 - 10*v - 7. Is q(4) composite?
True
Let n = -7120 - -12843. Let t = -3390 + n. Is t a composite number?
False
Let p = 1 - -7. Suppose -7*u = -p*u + 691. Is u prime?
True
Let i = -1158 + 2438. Suppose i = 4*k + 504. Is k a composite number?
True
Let v be (-2)/(-8) + (-44)/(-16). Suppose -5*b = -f + v*f + 2, 0 = -3*b. Is 49 + 1/f*-2 prime?
False
Let n = -6421 - -19638. Is n composite?
False
Let n(c) = -19*c + 13. Suppose -900 = 4*k - 8*k. Let v be k/(-36) - (-2)/8. Is n(v) a prime number?
True
Let b = -9 - 197. Is (b/10)/((-9)/45) a prime number?
True
Suppose 9*p - 239 = 1534. Let t = p - 112. Is t prime?
False
Let s = 17 + -11. Let v(b) = -3*b**2 + 104*b - 66. Let u be v(34). Suppose -596 = u*j - s*j. Is j prime?
True
Is (47/(-235))/(2/(-6130)) a prime number?
True
Suppose 0 = -x + 2*z + 3 - 9, -5*x = -4*z. Suppose 0 = x*g - 349 - 5095. Is g a composite number?
False
Suppose -3*g - 15 = 0, 10 = c - 2*g + g. Suppose -6 = -2*w - w. Suppose 4*v - c*o = -o + 148, w*o + 111 = 3*v. Is v prime?
True
Suppose -5*c + 12*c - 231 = 0. Suppose i + 48 = f, 3*f - 131 = -i + c. Is f a prime number?
True
Suppose -2*h - 2*h = -8. Suppose 0 = -r - k - 2, r - 4*k = 6*r + 10. Is (-111)/r*2 - h a composite number?
False
Suppose 2*o + 0 = 10. Suppose -o*m = -153 - 202. Let u = -14 + m. Is u a prime number?
False
Let i(v) = 325*v**3 - 2*v**2 + 9*v - 17. Is i(3) composite?
True
Let x(z) = -z**2. Let d(i) = 4*i**2 - 11*i + 7. Let f(a) = d(a) - 2*x(a). Is f(16) a composite number?
False
Suppose 7*g + 88 = 3*g. Is (g/(-1))/((-14)/(-119)) composite?
True
Suppose 3*d - d - 28 = 0. Suppose -d*f - 2564 = -18*f. Is f composite?
False
Let h(z) = 3*z**3 - 10*z**2 + 19*z - 5. Suppose 49 = 5*a - 2*v, -v + 3*v = -5*a + 41. Is h(a) a composite number?
False
Let z(d) = -d**3 + 5*d**2 - d - 7. Let h = 22 - 17. Let v be z(h). Is 3/v - (-2685)/20 composite?
True
Suppose 4*d + 2*l + 36 = 0, -3*d + 4*l = 4 + 12. Let s be 7/((-28)/d) - 0. Suppose 4*t + 243 = 4*w - 49, 0 = w - s*t - 69. Is w a composite number?
True
Suppose -k - 14*k = 0. Suppose k = -4*q + 4*a + 484, -6*q - 4*a + 623 = -q. Is q a prime number?
False
Suppose -8*j = -15*j + 29841. Let u = j + -2336. Is u prime?
False
Suppose -21770 = -52*i + 42*i. Is i composite?
True
Let z(w) = w**3 + 2*w**2 - 5*w - 2. Let c be (-9)/6 + (-3)/2. Let q be z(c). Suppose q*h - 170 = -46. Is h prime?
True
Let w be 2/(-4)*(12 - 18) - -1. Is (w - (-276)/(-66)) + (-18770)/(-22) a composite number?
False
Suppose -12*l + 11*l + 7 = 0. Suppose -l*b + 830 = -2*b. Is b composite?
True
Suppose -2*y - 2*s - 79 = s, -160 = 5*y - 5*s. Let b be 13/((15/y)/(-3)). Let p = -60 + b. Is p composite?
False
Let r = 42 - 57. Let v(s) = 18*s**2 +