 a composite number?
True
Suppose 4135 = 5*o - 3220. Is o composite?
False
Let l(z) = -124*z**2 + 8*z - 3. Let c be l(4). Let u = c + 3592. Is u composite?
False
Let q(b) be the second derivative of b**4/2 + 5*b**3/3 + 3*b**2/2 + 8*b. Is q(11) a composite number?
False
Suppose 2*r - 5*z = 73, z - 2*z = -5. Let p(g) = -3*g**2 + 5*g**2 + g**2 + r*g**3 - 5*g + 2. Is p(3) prime?
False
Let n(p) = 78*p**2 - 5*p + 5. Let q be n(2). Suppose 2*z = z + 3. Suppose x + 293 = u - z*x, -u - 3*x = -q. Is u a composite number?
True
Suppose -5*i = 3*g - 337, 0 = -3*g - 2*i + 220 + 120. Let v = 1554 + g. Suppose 7*y - 3*y = v. Is y a prime number?
False
Let z(g) = -22 - 17*g + 22. Let u be z(-2). Let c = u - -153. Is c a composite number?
True
Let d(z) = -z - 1. Suppose 7*q = 5*q - 10. Let n be d(q). Is n - 2/((-8)/1324) prime?
False
Suppose -2*c + 5*x = -16, 4*c - 3*x - 16 = -x. Let o(b) = 103*b**3 - c*b**2 + 1 - 5*b**2 + b**2 + 6*b**2. Is o(1) a composite number?
False
Suppose -2 = b - 0. Let y(k) be the third derivative of -3*k**6/20 - k**5/15 - k**4/6 - k**3/2 + 2*k**2. Is y(b) composite?
True
Suppose 3*l + 0*l - 4*x = 988, -2*x = -l + 332. Let t(f) = -25*f**3 - f**2 - 2*f + 3. Let h be t(2). Let r = h + l. Is r prime?
False
Is ((-6906)/(-18))/(1/3) prime?
True
Suppose 0 = 7*y - 11*y - 44. Let j(u) = u**3 + 12*u**2 - 16*u - 28. Is j(y) a prime number?
True
Let m = 8385 + -2898. Suppose -m = 15*h - 28542. Is h a prime number?
False
Let r(b) = b**3 + b**2 + b + 263. Let j = -63 - -63. Is r(j) prime?
True
Is 4*(-5 + (-43141)/(-28)) composite?
False
Suppose 3*u - 4*j - 1 = 0, 0 = -2*u + 3*j - 0*j. Suppose -u*w - 478 = -3196. Let m = -439 + w. Is m a prime number?
True
Let t = 1209 - 322. Is t a composite number?
False
Let b be (-334)/(-4) - -2*2/8. Suppose 3*p = t - b - 24, -2*t - 5*p = -161. Is t a composite number?
True
Let u(g) = -3503*g**3 + 10*g**2 + 4*g + 4. Let f(c) = -2335*c**3 + 7*c**2 + 3*c + 3. Let b(w) = -7*f(w) + 5*u(w). Is b(-1) a prime number?
True
Suppose -n + 4*c = 3 + 9, 0 = n + 4*c - 20. Suppose -5*z - p = 918 - 6664, n*p = 4. Is z prime?
False
Let n(u) = -54*u + 129. Let q be n(-14). Let k be ((-10)/(-1))/1*7. Suppose -5*t + q = -k. Is t prime?
True
Suppose 4*w + 2*a = w + 2896, -2*w + 3*a = -1935. Suppose -90*p + 96*p - w = 0. Is p prime?
False
Let m(w) = -136*w - 8. Let v(h) = h + 1. Let d(l) = -2*m(l) - 10*v(l). Let s be d(5). Suppose -4*k = -4*j + s, 2*j - 5*k = -6*k + 664. Is j a prime number?
True
Is (-6)/2*(-6)/9 + 96641 a composite number?
False
Let l(k) = -k**3 + 4*k**2 - 2*k - 3. Let y be l(3). Suppose y = -3*s + 2*s + 2. Is (-500)/(-16) + s/(-8) a prime number?
True
Suppose 2*t - 3 - 7 = 0. Suppose -z = 2*g + 2*g - 138, -t*z + 726 = 2*g. Is z prime?
False
Let a(x) = -52 - x - 26*x - 56 + 103. Let t = -16 - -8. Is a(t) a composite number?
False
Let f = -524 + 252. Let y = 723 + f. Is y a composite number?
True
Let x be (27/(-6))/((-2)/12). Suppose 2*j + x = -j. Is ((-124)/6)/(6/j) a prime number?
True
Let r(f) = 10*f + 3521. Let t(a) = -a**2 - 8*a + 20. Let z be t(-10). Is r(z) prime?
False
Let y = -5097 + 8134. Is y composite?
False
Suppose -20*c = 174565 - 1979105. Is c composite?
False
Suppose -5*s = b + 7, 7*b = 5*s + 3*b - 3. Is s/9*-3*45 a prime number?
False
Let n = 15 + -6. Let a(o) = 2*o - 12. Let i be a(n). Is (2/i)/((-5)/(-1905)) a composite number?
False
Let x = 3 - 9. Let j(y) = -14*y - 7. Let u be j(x). Let o = 204 - u. Is o prime?
True
Let l(c) = 82*c + 49. Is l(3) composite?
True
Let m(f) = 25*f**2 - 18*f + 7. Let k be m(5). Let y = 837 - k. Is y a composite number?
True
Let j(m) = 890*m**3 - m**2 + m. Let g be j(1). Is -2 - (1*(-2)/2 - g) composite?
True
Let p = 11878 - 8354. Let b = -2271 + p. Is b a prime number?
False
Let w = -7 - -12. Suppose -2*n + 971 - 229 = -g, w*g - 1855 = -5*n. Is n composite?
True
Let k = -468 - -974. Suppose 0 = u + 2*d + 135, 3*u - 2*d + k = 61. Is (u/(-4))/(-5)*-28 a composite number?
True
Suppose 14*b = 51564 + 44000. Is b a prime number?
False
Let z(n) = -4*n + 3 + 12*n**2 - 13*n**2 + 2*n. Let w be z(-3). Suppose 6*p - 10*p + 56 = w. Is p composite?
True
Let b be 2/(-2)*(-10)/(-2). Let m(n) = 15*n**2 - 5*n - 5. Let d be m(b). Suppose -4*p + 9*p - d = 0. Is p composite?
False
Let k(d) = 34*d**2 + 31*d**2 + 1 + 10*d**2 + d**2. Let f(h) = -h + 2. Let l be f(3). Is k(l) a prime number?
False
Is ((-12)/(-66))/((-6)/(-323994)) prime?
False
Let w(a) = 16*a + 13 + 17 + 17 + 14. Is w(15) a prime number?
False
Suppose -3*w = -2*t - 86, 0 = 4*w - 4*t - 49 - 63. Suppose w + 25 = l. Is l a composite number?
True
Suppose -21*i = -18*i + 5*c - 86633, -i + 3*c + 28859 = 0. Is i composite?
False
Let d(z) = 454*z - 2. Let m be d(-2). Let t(s) = -s**2 - 15*s - 1. Let c be t(16). Let v = c - m. Is v a prime number?
False
Let t be (-3 + 7/3)*-3. Suppose -2 = t*d - 4*d. Is 16 - 1/(0 + d) a composite number?
True
Let o = 1074 + 103. Is o composite?
True
Let g = 46860 + -31937. Is g a prime number?
True
Suppose -14*l = -22*l + 471688. Is l prime?
False
Let x(j) = 21*j**2 - 7*j + 29. Is x(6) a prime number?
True
Let w(k) = -k**3 + 5*k - 6*k + 22*k**2 - 17*k**2. Is w(3) composite?
True
Suppose -2*n + n + 12936 = 5*y, y - 2589 = -2*n. Suppose 6*j = y + 4031. Is j composite?
False
Suppose 2*d - 5*y = -0 + 27, -y = 5*d - 108. Suppose d*g - 7738 = 26639. Is g prime?
True
Let q be ((-2495)/(-15))/(2/(-6)). Let u = 72 - q. Is u a prime number?
True
Suppose -2*m + 116 = -4*w, 0 = -5*w - 2 - 13. Suppose -10 = -2*a, -20 = -9*o + 6*o - 4*a. Is m + (o - 0 - 1) a prime number?
False
Let c(b) = 1264*b + 5. Let v be c(3). Suppose 5*t + 938 = l, l + 3*l - v = 5*t. Is l a prime number?
True
Suppose -31 = y + 2*y - 5*n, 11 = -3*y - 5*n. Let m(w) = -w**3 - 4*w**2 - 3*w - 5. Is m(y) composite?
False
Let m(j) = -j**3 - 5*j**2 + 5*j - 9. Let p(d) = d**3 + 5*d**2 - 5*d + 8. Let h(k) = -2*m(k) - 3*p(k). Let t be h(-5). Let a = t - -90. Is a a composite number?
False
Suppose 0 = -88*j + 93*j - 1335. Is j a prime number?
False
Let v be 393981/(-42) - 5/(-2). Let k = v - -13645. Is k a prime number?
False
Let g(j) be the first derivative of -609*j**2/2 + 8*j + 9. Is g(-3) prime?
False
Let k be (11 - 15) + 20/2. Let a(z) = 32*z**2 - 6*z - 7. Is a(k) composite?
False
Let i(b) = b**3 - 5*b**2 - 5*b - 9. Let s be i(6). Is ((-23)/s)/(3/45) a prime number?
False
Let r be 334*(3 + 15/(-6)). Suppose 398 = 3*i + 4*s - r, 0 = 2*s + 4. Is i a prime number?
True
Suppose -5*m = -2*o - 3*m + 24280, -o - 5*m + 12158 = 0. Is o prime?
True
Suppose 2*f + 55252 = 2*j, 52*f = -j + 56*f + 27635. Is j composite?
True
Suppose 0*v = 5*l - 5*v + 885, -5*l - 871 = 2*v. Let r = l + 653. Is r prime?
False
Suppose -4357 = -5*k - 7*c + 4*c, -4*k + 3493 = -5*c. Suppose 3*y = -o + 23 + 37, -118 = -2*o - 5*y. Suppose -k = -2*p - o. Is p a prime number?
True
Suppose l + 6 = 9. Let p(d) = 138*d**3 - 2*d**2 + 4*d. Let t be p(l). Is t/9 - (-3)/(-9) composite?
True
Is (-300)/40*2586/(-9) a prime number?
False
Let f(h) = 55*h**2 - 2*h - 4. Is f(3) a prime number?
False
Let q(n) = n**2 + 7*n + 9. Let p be q(-6). Suppose 4*c - 1948 = -4*m, -p*c + 0 = 6. Let s = m - -44. Is s a composite number?
True
Let a(j) = 99*j**2 + 7*j + 1. Let r be a(3). Suppose 0 = -5*l + 3*k + r, -5*l + 0*k = -2*k - 917. Is l prime?
False
Let j be ((-76)/5)/((-2)/50). Let q = j - -33. Is q composite?
True
Let f = 2732 - -4679. Let d = f - 5234. Is d composite?
True
Let i(u) = -u + 18. Let j be i(5). Let a(y) = y + 10 + y + 2*y. Is a(j) composite?
True
Suppose 0 = -4*t - 4*m + 9592, 3*m = -15*t + 18*t - 7176. Is t a composite number?
True
Let g = 48661 - 20318. Is g prime?
False
Suppose -10 = -2*t + 2*c, 0 = -4*c + 3*c. Suppose -3*y = -4*y - t*w + 72, 0 = -2*y + 5*w + 99. Is y a prime number?
False
Let j(q) = 84*q**2 + 18*q - 89. Is j(-23) a prime number?
True
Suppose 3*g = -2*z + 319, 3*g - 5*z = -0*g + 326. Suppose -3*p + g = -2*p. Let l = 153 - p. Is l prime?
False
Suppose -2*f = 4*f. Let z(u) = u**2 - 2*u - 1154. Let g be z(f). Is 1/(-1) - (g - -2) a composite number?
False
Is 1/(-6) - (-262641)/18*1 prime?
True
Let u(w) = -w**2 + 3*w - 6. Let g be u(3). Is 8/g - (-3 - 9046/3) prime?
False
Let s(n) = -n**3 + 7*n**2 + n - 5. Let h be 3/2*42/9. Let o be s(h). Suppose r + 601 = 5*d, 5*r = -o*d 