a prime number?
True
Let s = -2241 + 1359. Let w = s + 2243. Is w a composite number?
False
Let x = -43 + 43. Suppose l + x = 211. Is l a prime number?
True
Let q(j) = 4*j - 24. Let k be q(6). Suppose t + k*t = 329. Is t a composite number?
True
Let y(r) = 11*r**3 + 20*r**2 - 15*r + 73. Is y(20) prime?
True
Let j(f) = -320*f - 178. Is j(-7) a composite number?
True
Suppose 0 = -4*s + 4, -2*z + 33294 = 3*s - 20995. Is z composite?
False
Suppose -25*b = -77*b + 530036. Is b a prime number?
True
Let t = -2416 - -6957. Is t a prime number?
False
Let z(q) be the third derivative of -q**6/120 - q**5/10 - q**4/3 + q**3/6 + 10*q**2. Is z(-6) a composite number?
True
Suppose -f + 5*n = -23, f + 25 = -5*n - 2. Is -142*(-3 - 5/f) a composite number?
False
Suppose -u + 28 = -39. Is u a prime number?
True
Suppose 2*f + 3240 = -1546. Let d = 4914 + f. Is d composite?
False
Let c(v) = v**3 - 9*v**2 + 7*v + 11. Let y be c(8). Is 33 - 2 - (-1 - y) composite?
True
Suppose -5*v - 5*u + 3*u = -1999, 0 = -v - 3*u + 405. Let s = -10 - -14. Suppose s*q = q + v. Is q a composite number?
True
Suppose -15*k = -25*k + 2890. Is k prime?
False
Let r = 13 - 11. Let p(g) = -2 + 14*g - r + 3 - 344*g. Is p(-1) composite?
True
Let w(r) = 4 + 3 + 56*r**2 - 8. Is w(2) a prime number?
True
Let l be 0 + 3 - (-1828)/4. Suppose 4*d = 4*t - 0*t - l, -5*t = -2*d - 242. Is 12/(-9)*d/2 a prime number?
False
Let x be (25/(-3))/((-10)/(-30)). Is 107*10/x*-5 a composite number?
True
Let u = -8884 + 13251. Is u a prime number?
False
Suppose -154620 = -17*t + 70069. Is t prime?
True
Let c be ((-2)/4)/(3/(-6)). Let k be (0/4)/1*c. Suppose -x + k*x + 83 = 0. Is x prime?
True
Let z = 1829 + -958. Is z composite?
True
Let h = 7 - 1. Suppose -2*n = -h + 2. Suppose -n*d = -6*d + 524. Is d a composite number?
False
Let x = -4 - -4. Suppose x = 2*r - 1021 + 17. Suppose -7*b = -5*b - r. Is b composite?
False
Let y(t) = -58*t - 57. Is y(-6) prime?
False
Suppose -74 = -2*b + 414. Suppose b = 3*s - 2735. Is s a composite number?
True
Suppose 0 = 4*u - 2*x + 596, 0*u = 4*u - 4*x + 600. Let j = -56 - u. Let q = 129 - j. Is q composite?
False
Is (-1 + -35)/9*77523/(-12) prime?
True
Let b be ((3 - 7)/4)/(2/(-8)). Is ((-2)/4)/((-1)/b) - -17 prime?
True
Suppose 1471*z - 67358 = 1469*z. Is z composite?
False
Let p be ((-12)/15)/(4/(-50)). Suppose 0 = -2*l - 5*m + 2*m + 19, p = 5*l - 5*m. Suppose l*z = 5*s + 470, 5*z - 200 = 3*z - 2*s. Is z prime?
True
Let i(n) = 1111*n**2 - 12*n - 48. Is i(-5) a composite number?
True
Suppose x = 3*x - b - 24025, -2*x + 24019 = -3*b. Is x composite?
True
Suppose 5*b = -2*a - 3519, -3*b = -4 + 1. Let g = -1241 - a. Is g prime?
True
Suppose 10*b + 16828 = 2*o + 5*b, -3*o + 3*b + 25251 = 0. Is o prime?
True
Suppose 0 = -4*i + 4*r + r - 4, -4*r + 4 = -3*i. Suppose 0*q = -i*q. Is (0 - 2) + 217 + q composite?
True
Is 37095*(75/9 - 8) a prime number?
False
Is ((-16018)/10)/(4/(-20)*1) prime?
True
Let n be (-8939)/(-8) + (-9)/24. Suppose n = 5*h - 4*h. Is h composite?
False
Let g(v) = v + 13. Suppose 3*t - 6 = w - 50, 55 = -5*t - 2*w. Let y be g(t). Suppose -4*p = -y*p - 356. Is p a composite number?
False
Suppose -3*f + 34 = -4*t, 4*f = -2*t + 5*t + 22. Let b = t - -11. Suppose -b + 3 = d, k - 11 = 2*d. Is k prime?
False
Let y = 30 + -27. Suppose -y*s = -5*s + 4860. Suppose 2*a = 3*h + 5*a - 1482, 0 = -5*h + 3*a + s. Is h composite?
True
Suppose 2*g + 0*g - 33 = -5*r, 0 = -5*g - 3*r + 35. Let h be (-4)/3*(-30)/g. Suppose -4*n = -110 + h. Is n a prime number?
False
Let j = 64 - 60. Is (4 - j/2)/((-2)/(-2333)) composite?
False
Is -6 + 130032/60 - (-1)/(-5) prime?
True
Let u be (-12)/1*(-20)/8. Let r(l) = -314*l**3 + 2*l**2 - 1. Let o be r(-1). Suppose -u = -3*h + o. Is h composite?
True
Suppose -121*x + 117*x + 33052 = 0. Is x prime?
True
Let g = -83 - -86. Suppose 0 = g*w + v - 7688, 5*w = -2*v - 0*v + 12813. Is w a composite number?
True
Is (54/36)/(6/4684) composite?
False
Let q be (-3)/(-9) + (-10)/(-6). Suppose q*m - 2 = -4*n, 5*n - 3*m = -m - 2. Is 1/((-4)/(-316) + n) a prime number?
True
Suppose -20*c = 23*c - 418433. Is c prime?
False
Suppose n = 6*n. Let p(h) be the second derivative of h**3/6 + 91*h**2/2 + 39*h. Is p(n) a composite number?
True
Suppose -u = -0*x + 4*x - 2, -3*u = 3*x - 6. Let b(r) = r**3 - 4*r - 5*r + 499 - r**2 + 4*r + 4*r. Is b(x) composite?
False
Let s(p) = p**3 - p**2 + 4. Let x = 7 - 7. Let j be s(x). Suppose j*y - 635 = 425. Is y composite?
True
Suppose -3*a + 771 = f - 1461, f - 742 = -a. Suppose -5*y = r - 1852, a = -0*y + 2*y - r. Is (0 + 13)/(7/y) composite?
True
Suppose -2*n - 9 = -2*t + 5, -3*n = 4*t - 14. Suppose -4*z - 1906 = -t*r, -r - 4*z = 3*r - 1532. Is r a prime number?
False
Suppose -3*k - 2374 = -4*k - 4*q, 3*k - 7101 = -5*q. Is k a prime number?
False
Let w = 5727 + 4310. Is w composite?
False
Let h(m) = -m**3 - 9*m**2 - 9*m - 4. Let p be h(-8). Is 4/(-16) - 11/p - -62 composite?
False
Let d(m) = m**3 - 14*m**2 + 12*m + 4. Let x be d(13). Let k(t) = -56*t - 15. Is k(x) a prime number?
False
Suppose 91*k - 28901 = 90*k. Is k composite?
False
Let r = 448 - -112. Let q = r - 43. Is q a composite number?
True
Suppose 3*w + 979 = k, 5*w = w + 3*k - 1297. Let r = w + 471. Suppose r + 61 = 4*d. Is d a prime number?
False
Suppose -17*z = -24265 - 3564. Is z a composite number?
False
Suppose -25*p + 569239 = -14*p. Is p composite?
False
Let t = 142 + -111. Suppose -t*h + 25*h = -12318. Is h composite?
False
Is 5/(-5) + 56780 + -2 prime?
False
Suppose 0*a + 3*m - 1396 = -2*a, 0 = -4*m + 8. Suppose -h = -2*h + a. Is h prime?
False
Let q = 793 - 1882. Let s = 1642 + q. Is s a prime number?
False
Let s(j) = -876*j**3 + 4*j**2 - 8*j - 21. Is s(-2) prime?
True
Let k = 4 - 34. Let x = k - -1243. Is x a prime number?
True
Let g be -1 + 1 - (-115 + -5 + 4). Suppose -679 - g = -5*d + 5*w, 4*w = -3*d + 491. Is d a composite number?
True
Let v = -384 - -571. Let i be 110/(-60) - (-2)/(-12). Let n = i + v. Is n prime?
False
Suppose 7753 = -21*d + 54016. Is d prime?
True
Suppose 0 = l - 6 + 4. Is 3/(-2)*-41*l composite?
True
Suppose 131 = 4*u + r, 3*u - 4*r - 19 = 65. Let m = u - 10. Is m prime?
False
Suppose 0 = 2*m - 2*l - 0*l - 4, 3*m + 2*l - 11 = 0. Let z be 8/(-4) + 63 + m. Let u = 99 - z. Is u a prime number?
False
Suppose 3*t - 1 = -4*y, 3*t + 5*y + 1 = -0*y. Is t*(-4 - (-644)/12) a composite number?
False
Let m = 77 - -18. Suppose k = m + 424. Is k a composite number?
True
Let f = 38 - 33. Suppose -5*u = -0*u + 25, f*u - 1160 = -5*c. Is c a prime number?
False
Let k = -77 - -101. Suppose -5*n + 33 = -12. Let z = n + k. Is z a prime number?
False
Let i = -1188 - -2059. Is i a composite number?
True
Let b be (-22)/5 + (-4)/(-10). Let t(i) = 31*i**2 - 5*i + 1. Is t(b) prime?
False
Suppose -4*u + 33 = -23. Suppose k - 22 = -5*p - 2, u = k + 3*p. Suppose -k*h - 20 = 0, 5*h = o + 2*h - 35. Is o composite?
False
Let j(b) be the first derivative of 23*b**4/4 - b**3/2 - 5*b**2/2 - 12*b + 2. Let t(m) be the first derivative of j(m). Is t(-2) a composite number?
False
Let w = -8894 + 5832. Let l = w + 10165. Is l composite?
False
Suppose -v + 6*v - 663 = -4*b, -153 = -b + 3*v. Suppose -2*i = 7*g - 3*g - 106, -5*g = 3*i - b. Suppose a + x + 12 = i, 2*x = 8. Is a composite?
False
Let r(m) = 5*m**3 + 14*m**2 - 22*m - 2. Is r(13) a composite number?
False
Let l = 1184 + 5382. Suppose l + 6044 = 10*k. Is k a prime number?
False
Suppose -5*f - 2*x + 164 = 0, 3*f + x - 74 = 25. Let m = f + -31. Suppose -683 = -2*z - 2*a + 305, m*z + 5*a - 1484 = 0. Is z a composite number?
True
Let z(r) = 378*r**3 + 2*r**2 - 1. Let n be 2 - (4 + 2)/6. Is z(n) prime?
True
Let t(u) be the third derivative of u**6/120 + 3*u**5/20 - 5*u**4/24 + u**2. Let r be t(-9). Suppose -l + 365 = 4*k, k - 47 = -l + r. Is k a prime number?
False
Let y = 180 + -46. Is y prime?
False
Let h be (5/3)/(11/165). Let o = h - 16. Is ((-6)/o)/((-6)/873) a prime number?
True
Let x(b) = -b - 14. Let h be x(-15). Is (397*h/(-2))/(3/(-6)) prime?
True
Let d(s) = -12*s + 152. Let b be d(12). Let l(u) be the third derivative of u**4/6 - 11*u**3/6 - u**2. Is l(b) prime?
False
Let h(o) = 4*o**3 + 2*o**2 + 2*o + 4. Let l be h(-5). Let v(p) = -187*p - 43. Let x be v(4). Let a = l - x. Is a prime?
False
Let p(a) = -3*a