 - 2587. Is u a prime number?
True
Let a = 7421 + -4163. Suppose -2*h - 5*m + a = h, -3*h + 5*m = -3228. Is h prime?
False
Let l = 17 + -15. Suppose 3*s + 0*i + l*i = 2055, 2*s - 4*i - 1370 = 0. Is s composite?
True
Suppose -5*i + 3*g = -1421 - 575, -3*i + 1206 = g. Is i composite?
False
Let i = 27371 - 12934. Is i composite?
False
Let p(i) = -485*i + 3. Suppose -60 = -63*u + 69*u. Is p(u) prime?
False
Let c(h) = 10*h**3 + 3*h**2 + 3*h + 4. Let q be c(-3). Suppose -112 = 3*p + 251. Let r = p - q. Is r prime?
True
Let s(a) = -23*a**3 - a - 1. Let n be s(-2). Suppose k - n = -0*k. Suppose 5*j - k = 1250. Is j a prime number?
False
Let o be (40/6)/((-22)/12 + 2). Is 43*o - 12/4 a composite number?
True
Let r = -132 - -49. Let s be (r*3)/((-6)/40). Is (-6)/4*s/(-15) a prime number?
False
Let a(u) be the second derivative of -u**4/6 + 2*u**3/3 + 2*u**2 + 4*u. Let v be a(-3). Let w = -1 - v. Is w composite?
True
Let q be -1 + ((-3)/1 - 6). Let w(r) = -r**2 - 9*r + 10. Let c be w(q). Suppose s - 5*i - 651 = -3*i, c = -2*s + 5*i + 1301. Is s a composite number?
False
Suppose -4*d - 8*p + 13*p + 5392 = 0, p - 5368 = -4*d. Is d a prime number?
False
Suppose -6*m + 345 = -3*m. Suppose -4*v - l + 211 = -2*l, -v + 79 = 5*l. Let d = m + v. Is d prime?
False
Is 1/(((-4)/(-7352))/(4/8)) composite?
False
Suppose 30*g - 1040277 = 138513. Is g composite?
False
Let p(j) = -5 + 10*j + 3 - 60*j - 21. Is p(-7) prime?
False
Let o(b) = -18*b - 7. Is o(-11) composite?
False
Is 1*(-2 - -95517)/7 a prime number?
False
Let r be ((-12)/10)/((-1)/5). Let y(j) = -j**3 + 6*j**2 - j + 8. Let w be y(r). Let t(v) = 19*v**3 + 3*v**2 - v + 1. Is t(w) prime?
True
Let o(g) be the second derivative of -g**5/20 - g**4 - 5*g**3/3 - 31*g**2/2 - 16*g. Is o(-12) a prime number?
True
Let b(x) = 0*x + 6*x**2 + 1 + 6 - 3*x + 16. Is b(-12) composite?
True
Let n(g) = 23555*g**3 + 3*g**2 - 2*g - 2. Is n(1) a composite number?
True
Let d(k) = k**3 + 8*k**2 + k + 8. Let j be d(-8). Let i be (-3 + 6 - j) + -1. Is (5/(-15))/(i/(-1146)) composite?
False
Let u = 1730 + -968. Let x be (-5)/((-10)/u) - 1. Let s = 537 - x. Is s composite?
False
Let a = -20763 + 35726. Suppose -2*o = -15*o + a. Is o composite?
False
Suppose -3*p = n - 10110, 14931 + 15406 = 3*n + 2*p. Is n a composite number?
True
Suppose 6*l = 3*l - 18. Let t be l*(-74)/4 - -2. Suppose 0*r - r = -t. Is r prime?
True
Let h(o) be the third derivative of 49*o**4/6 + o**3/6 + 8*o**2 - 3*o. Let y be 1*(-1 + (0 - -3)). Is h(y) composite?
True
Let w(j) = -9*j**3 - 21*j**2 - 6*j - 11. Is w(-6) composite?
False
Let o be ((-20)/(-5))/4 - -2. Suppose 0 = -o*v - 4*d + 29, 3*v + 16 = 2*d + 3*d. Is (v - (2 + 0)) + 33 a composite number?
True
Let s = -609 + 2246. Is s composite?
False
Let j be 2/(-6) - 66/(-9). Suppose 4*f - j = 1. Suppose -4*x - x - 2*y + 6305 = 0, -y = -f*x + 2513. Is x a prime number?
True
Let h be (2 - 1)*(56 + -1). Let b be 348/(-20) - 9/15. Let w = h + b. Is w a prime number?
True
Let x be (-4)/(4/(-21)) + -3. Suppose 2*o = -o - x. Let r(z) = z**3 + 10*z**2 + 9*z + 7. Is r(o) a composite number?
False
Let c = -7 - -1. Suppose 2*d + 6 = -5*t, 3*d - 6*d + 12 = -3*t. Is ((-105)/c)/(1/d) a prime number?
False
Let w be (1 - 202)/(27/198) - -2. Let k = 3681 + w. Is k a prime number?
False
Let i(p) = -4*p**3 + p + 1. Let q be i(-1). Let b = q + -2. Suppose 2 = -b*h, 136 = g + 2*h - 7*h. Is g composite?
False
Let o(r) = -5*r - 2. Let n be o(-1). Let l(d) = 13*d**3 + 4*d**2 + 4. Is l(n) a composite number?
True
Let s(g) = g**2 - 8*g + 7. Let h be s(7). Suppose 5*k - 817 - 153 = h. Suppose -2*f + 3*f = -3*a + k, 3*f = -a + 558. Is f a prime number?
False
Let q(j) be the first derivative of j**4 + j**3/3 + j**2/2 - j + 7. Let v(c) = c**2 - 6*c + 2. Let a be v(6). Is q(a) composite?
False
Suppose 4*d - 288 = 5*d + 5*j, -j = -d - 300. Is d/(-4)*8/4 a prime number?
True
Suppose -2*s + 29388 = 4*f, -4*f = -0*f - 4*s - 29412. Is f prime?
True
Let c be (-9)/(27/12) + 6. Suppose c*h = -3*h + 5835. Is (-5 - -4)*h/(-3) composite?
False
Suppose -u = -3*u + 4. Suppose 5*j + 2*z - 7805 = -0*z, -3122 = -u*j - 3*z. Is j prime?
False
Suppose -g - 4 = x, 3*x + 8 = -2*g - x. Is g/(-8)*(-1 + 1503) prime?
True
Let o = -116 + 101. Let m(f) = f**3 + 17*f**2 - 18*f + 17. Is m(o) prime?
False
Let d(r) = -r**2 - r + 33. Let f be d(0). Suppose 0 = -f*w + 29*w + 940. Is w prime?
False
Suppose 3*u = 5*t + 78991, -2*u + 2*t + 2943 = -49715. Is u composite?
True
Suppose 7396 = 5*g - 25334. Suppose -g = -5*n - 3*c, -n + 2610 = n + 4*c. Suppose 281 - n = -2*u. Is u composite?
True
Is (1511/2)/(3*5/30) composite?
False
Suppose -4*s + 12 = -24. Let j = s - 5. Suppose 0 = 2*z - j, 6*z = -4*w + z + 22. Is w a prime number?
True
Suppose 79766 - 22942 = 8*y. Is y prime?
True
Suppose -22 = 5*z + 6*z. Is 12196/(-10)*5/z composite?
False
Is (228943/(-66) + 5)*-6 a composite number?
True
Let m = -87 + 87. Let w(l) = l**2 + 2*l + 1733. Is w(m) a prime number?
True
Let r be 1/(4/(-24)*-3). Suppose 0*m + 6 = r*m. Is 105/m + 0/1 prime?
False
Let m be 91/39 - (-4)/6. Suppose -m*f + 8*b + 1327 = 12*b, 5*f - 2221 = -2*b. Is f a composite number?
True
Suppose 3*u = -2*k + 1978, -6*u - 996 = -k - 4*u. Let h = k - 333. Is h composite?
False
Let u(p) = 32*p**2 - p. Suppose 0 = -w - 3 + 2. Let q be u(w). Let g = 116 - q. Is g a composite number?
False
Let q be 1*12/(-2)*-3. Suppose 5*g - q = 17. Suppose g*m + 20 = 9*m. Is m a composite number?
True
Let i(k) be the first derivative of -k**6/360 + k**5/8 + 17*k**4/24 - 2*k**3/3 + 3. Let s(q) be the third derivative of i(q). Is s(12) a composite number?
False
Let p = 1504 - 992. Suppose 2*d = -2*c + 376 + p, -5*c + 3*d + 2244 = 0. Is c a prime number?
False
Suppose 14570 = 9*v - 7*v. Suppose -2*j - 5*h = -2778 - 136, 5*j + 2*h - v = 0. Is j a prime number?
False
Suppose p + 3*q - 4567 = 0, -4*p + q - 4563 = -5*p. Is p a prime number?
True
Suppose 13*b - 47*b + 118558 = 0. Is b a composite number?
True
Let m be 5 + (-7 + 3 - 312). Let y be 6/8 - (-2)/8. Is 1 - (2*m)/y composite?
True
Let m = -247 + 1608. Is m a prime number?
True
Let i(q) = q**2 - 6*q - 10. Suppose -5*y + 2*w = -2*w - 56, 2*y = -3*w + 4. Let k be i(y). Is (268/k)/((-2)/(-6)) a composite number?
True
Let a be 1/(-4) - 3/(-12). Let k be a*(3 - (-14)/(-4)). Suppose -3*n + 14 + 7 = k. Is n prime?
True
Let t(v) = -v + 3. Let c be t(0). Suppose -2*n - 194 = -7*n + 2*w, -c*w + 49 = n. Is 8448/n - 2/10 prime?
True
Let u be -6*(-2)/16*-4. Let v(t) = -t**3 - t**2 + 4*t - 1. Let o be v(u). Suppose 0 = o*m - 3*n - 370, -3*m + 8*m - 370 = -5*n. Is m composite?
True
Let c = 13 - 17. Is -3 + 0 - 1/(c/776) prime?
True
Let t be (-4)/14 - (-18304)/(-77). Suppose 5*p - 3*g - 2293 = 0, -2*g + 6 + 2 = 0. Let n = p + t. Is n prime?
True
Let u = 18232 - 12649. Is u prime?
False
Let x = 1737 - -986. Is x prime?
False
Suppose -72248 = -287*d + 279*d. Is d a composite number?
True
Suppose -5*t - 3892 - 10653 = -5*b, -4*b + 5*t = -11641. Let y be 1/(-5) + b/(-5). Let x = 888 + y. Is x a composite number?
False
Suppose -4*g - 3131 = -3*s, 1057 = s - g + 12. Is s a composite number?
False
Let z(w) be the first derivative of -3*w**2 + 4*w - 4. Let l be z(2). Is (l/12)/(1/(-177)) prime?
False
Suppose 64638 = 40*x - 36*x - 2*b, 4*x = 5*b + 64623. Is x composite?
True
Suppose -5*i - 570 = -140. Is (236/6)/(-4 - i/21) composite?
True
Let v = -99712 - -162225. Is v a prime number?
False
Let r = -16 - -19. Let x be (-39)/6*(-342)/r. Suppose 5*m - x = -36. Is m prime?
False
Let v(l) = 179*l**2 + 9*l + 9. Is v(-2) prime?
False
Let t(x) = 227*x + 35. Is t(12) a composite number?
True
Suppose -3*n - 46*l + 8171 = -45*l, 2*n + 2*l - 5454 = 0. Is n a prime number?
False
Let i(p) = 11 - 137*p - 177*p + 78*p. Is i(-7) a composite number?
False
Let w = -56 - -52. Is (-3)/((-27)/6)*(-3030)/w composite?
True
Suppose 4*h = -3*w + 222, -60*h + 65*h - 3*w = 291. Suppose 0*p - 5*p = -10. Suppose p*m - h = -m. Is m a prime number?
True
Suppose -228 = y - 5*s + 471, 0 = 4*y - 5*s + 2721. Let t = 269 - y. Is t a prime number?
False
Suppose 3*o - 8 = z, 8 = o - 12*z + 13*z. Let w(h) = 3*h + 1. Let q be w(3). Suppose -2*l + o = -q. Is l a prime number?
True
Let a = 1643 - 792. Is a a composite number?
True
Let f be (-6)/(-2) + (