-5*b, 2*b = 3*z - 3*b - 284. Let h = r - z. Is h a prime number?
False
Let i(v) be the first derivative of -v**4/2 - 23*v**3/3 + 10*v**2 - 53*v + 75. Is i(-16) prime?
True
Suppose 272*x = 289*x - 16303. Is x prime?
False
Let j = -11975 + 54946. Is j a composite number?
True
Is -5 + -4 - (-7 - -30483)/(-1) a prime number?
True
Let b be (-664)/(-136) - (96/51 + -2). Let z(q) = -q**2 + 4*q. Let r be z(3). Suppose -3*o = -r*f + 7005, 4*f + b*o - 9330 = 4*o. Is f prime?
True
Let h = 123 - 228. Let a(x) = -x**2 + 72*x - 506. Let n be a(8). Is (11 - n - h) + 2/(-2) a prime number?
True
Suppose -5*g + 102957 = 4*t, -5*g + 128690 = 16*t - 11*t. Let j = -16044 + t. Is j prime?
True
Is (-3)/(4/(1 + 3)) + -59 + 35841 a prime number?
False
Suppose -m - 176302 = -3*x + 669, -3*x + 176977 = 2*m. Is x composite?
False
Suppose -161056 = -28*d - 51604. Suppose 3*n = d + 8760. Is n a prime number?
False
Suppose -3*i + 1 = 7. Let t be (i/4)/(18/(-108)). Suppose -2*o - 9 - 14 = -3*x, t*x - 5*o - 8 = 0. Is x composite?
False
Suppose 24*j - 11018 = 27238. Is j a prime number?
False
Let a(s) = 247*s**3 + 19*s**2 + 22*s + 11. Is a(11) a composite number?
True
Is (-18 - -19)/((-9)/(-1365939)) prime?
True
Let j = -7666 + 11443. Is j a prime number?
False
Suppose -6882 = 11*l + 7693. Let z = l - -3424. Is z prime?
True
Let w(j) = j**3 + 97*j**2 + 186*j + 799. Is w(-85) composite?
True
Is ((-7)/((-630)/1025295))/((-2)/(-12)) prime?
False
Suppose 12*a - 32*a + 604940 = 0. Suppose 5*m = 4248 + a. Is m prime?
True
Suppose 1900 = k + 5*y, 6*k + 3*y + 7623 = 10*k. Suppose -6*b - k = -b. Let q = b + 1030. Is q a composite number?
True
Is (-2 + 1)*(2140750/(-25))/10 a composite number?
False
Let q be (-3 + 4)*1487 + (-2 - -1). Let y = q + -2700. Let j = -693 - y. Is j prime?
True
Let s(h) = h**2 - 5*h + 30. Let q be s(7). Suppose a - q = -44. Suppose 2*o + p + a*p - 1004 = 0, -o + 493 = 5*p. Is o a composite number?
False
Suppose 81*k + 3439341 = 86*k + 4*a, -3*k + 2063603 = 2*a. Is k a prime number?
False
Suppose 48*q - 2375359 - 4305569 = 0. Is q prime?
False
Let l be (-23 - -25)*(-1159)/(-2). Let j = l - -258. Suppose -3*v + 1452 = 3*q, 2*v - 5*v + 4*q + j = 0. Is v a composite number?
False
Suppose -u = -t + 1147, -3*u + t + 631 = 4064. Let s = u + 1838. Suppose k - 5*o - 147 = 540, 3*o + s = k. Is k composite?
True
Let d(p) = 116*p**2 + 2*p + 17. Let a(x) = -39*x**2 - x - 6. Let r(q) = 8*a(q) + 3*d(q). Let t(u) = u**2 - u - 35. Let b be t(6). Is r(b) prime?
False
Let x(b) = 199*b - 75. Let w = 128 + -118. Is x(w) a composite number?
True
Let c = 18304 - 9736. Suppose w = s - 1710, w + c = -4*w - s. Is (-12)/72 - w/18 a composite number?
True
Let g = -1399 + 3238. Suppose j - s + 2 = 9, -26 = -4*j + 2*s. Is g/j + 1/2 composite?
False
Suppose 2773*t - 2760*t = 110877. Is t composite?
True
Is (1 - 0)/(18/(-4423392)*-16) a composite number?
False
Suppose 2*x + x - 5217 = -2*z, -5*z + 6963 = 4*x. Suppose 4*k + x = k. Let q = 482 - k. Is q a composite number?
False
Suppose -14*c - c = 23*c - 3950138. Is c a composite number?
False
Let v(k) = 12712*k**2 - 50*k - 311. Is v(-7) prime?
True
Let n = 198224 + -98517. Is n prime?
True
Suppose 5*o + j = -346, o - j + 67 = j. Let v = -66 - o. Suppose -3979 = -v*i - 538. Is i composite?
True
Suppose -4*i = w, 4*w + 3*i + 12 = -i. Is (12 + -21)/(-36) + (-63867)/w composite?
True
Let u = 36 + -38. Let f be u/((-4)/2) + 1. Is 347 - 0 - 0*f/(-6) a composite number?
False
Let o(b) = -205*b + 257. Is o(-18) composite?
False
Let r = -762 - -765. Suppose -1186 = 2*x + 2*z - 5828, 2*x - r*z - 4642 = 0. Is x prime?
False
Suppose 0 = -3*v - 42*p + 37*p + 1205782, 5*v + 4*p - 2009667 = 0. Is v composite?
False
Let j(f) = f**2 - 5*f + 5. Let c be j(-10). Suppose -474 + c = -o. Is o prime?
False
Is (2 - 0)*12*(-10375157)/(-312) a composite number?
False
Let a be (-25)/(-3) - 4*(-4)/(-48). Let w(d) = -4*d - 23. Let r be w(a). Let y = r + 106. Is y prime?
False
Let y(l) be the first derivative of l**4/4 - 7*l**3 - 7*l**2 - 19*l + 15. Is y(28) composite?
False
Let d(x) = 8*x**2 - 8*x - 1. Let k be d(3). Suppose -f + 6173 = 4*n, k*f - 50*f = -3*n + 4626. Is n prime?
True
Suppose 13 = -5*b + 2*c, b - 5*c - 5 = -26. Let t(f) = f + 1. Let l(x) = 99*x + 11. Let g(a) = b*l(a) - 6*t(a). Is g(-4) prime?
False
Let a be (-32)/12 + 3 - 4/(-6). Suppose -2*m + 3*m = -2*s + a, s + 4 = m. Let b(h) = -185*h**3 + 3*h**2 + h. Is b(s) a prime number?
False
Let k = 9 - 6. Suppose -357*o = -368*o + 1331. Suppose 4*u - o = k*l, -49 = -2*u + 4*l - 1. Is u prime?
False
Let l(i) = 19 + 2148*i + 418*i + 203*i. Is l(2) a composite number?
False
Let p(q) = -23*q**3 - 3*q**2 + 9*q + 18. Let z be p(-7). Suppose -2*k = -d - z, -5*d - 18162 + 6606 = -3*k. Is k composite?
False
Suppose 4*i - 58 = f, 3*f - 2*f + i = -48. Is ((-311380)/f)/((-12)/(-30)) a composite number?
False
Suppose 3 + 9 = -4*u. Let w(d) = -d**2 - 3*d + 2. Let j be w(u). Suppose 0 = j*y + x - 134, 6*x - 4*x = 0. Is y a composite number?
False
Is 81705 - (2/(-12) + 1840/(-480)) composite?
True
Let i be 2/(-20) - (-142)/20. Suppose i*w - 13303 = -822. Is w a composite number?
False
Let t be 32/(-80)*(642 - (-2 + 4)). Let j = t - -287. Is j composite?
False
Let d = -20 + 18. Let g be d/(2 + (-9)/6) + 5222. Let w = -3065 + g. Is w prime?
True
Suppose -4*m - 3 = -b - 0*b, m = b - 3. Let p be 57/9 + 2/b. Suppose p*u - 8327 = 1200. Is u a composite number?
False
Let g = -42 + 42. Suppose -2*r + 66 = h, g*h - 3*h = -r + 40. Let u = 707 - r. Is u composite?
False
Let h = 384 + 65. Suppose 9*c = -h + 5606. Is c composite?
True
Suppose 12*v - 7*v - 300274 = -21*v. Is v a composite number?
False
Let z = 491 + -349. Suppose -5*r + w = -98589, 144*r - z*r - 39414 = -5*w. Is r a prime number?
True
Is 6/(-4)*(7 - (-15 + (-4548908)/(-21))) a composite number?
False
Suppose -3*c = -5*p + 4, -2*c - 2*p + 19 = -5. Let n(z) = 39*z**3 + 7*z**2 + 21*z - 30. Is n(c) prime?
False
Let d(a) = 41*a - 1. Suppose 0 = -t + 4*i + 96 - 22, -t = -i - 71. Suppose t = -o + 74. Is d(o) composite?
False
Is 127987401/456 + (-81)/72 prime?
True
Let c = -2535 - -5997. Let n be (1 - 17)*(-1)/2. Suppose -6*w - c = -n*w. Is w composite?
True
Let z(m) = 30*m**3 - 27*m**2 - 106*m - 68. Is z(17) a prime number?
False
Let g(m) = -2190*m - 43. Let v be g(5). Let x = 15500 + v. Is x composite?
False
Let o(d) = -5*d + 47. Let g(j) = 5*j**2 + 23*j + 8. Let c(k) = 10*k**2 + 47*k + 16. Let m(y) = 2*c(y) - 5*g(y). Let l be m(-4). Is o(l) a prime number?
True
Suppose 43*i = 46*i - 21. Suppose -11*a + 4*x = -i*a - 71136, 71130 = 4*a + 2*x. Is a a prime number?
True
Suppose -2*l + 25 = 5*c + l, 0 = 3*c - 2*l - 15. Suppose -c*z + 10 = -0*z. Suppose 2*i = 7*i - 5, -z*j = -i - 2193. Is j prime?
True
Let h(j) = -3572*j**2 + 24*j - 72. Let y(p) = -4*p**2 + 1. Let z(u) = -h(u) + 5*y(u). Is z(3) prime?
True
Let w(d) = 17267*d**3 - 34*d + 74. Is w(3) a composite number?
False
Suppose -o = 15*t - 20*t - 408830, 0 = -3*t - 15. Is o a composite number?
True
Suppose -18*o + 986629 = 152203. Let v = o + 3976. Is v a composite number?
False
Suppose -48*r = 1181862 - 12302646. Is r a composite number?
True
Suppose -3*h - 1051 = -4*k, 4*k + 1741 = -5*h - 0*h. Let p = h + 659. Suppose p = 3*v - 107. Is v a composite number?
False
Is (1332 + (0 - (0 - 30/(-6))))*313 prime?
False
Suppose 0 = 5*k - a - 11183 - 15570, 0 = -4*k + 2*a + 21400. Is k a prime number?
True
Suppose -881*b = -884*b - r + 894030, 3*r = -3*b + 894036. Is b composite?
True
Let u(t) = t**3 - 10*t**2 - 24*t - 4. Let f be u(12). Is (-32386)/(-8) - 3/f a composite number?
False
Let s(d) = 46 + 9 + 306*d + 48 - 34 + 219*d. Is s(8) composite?
True
Let b(o) be the first derivative of o**2 + 42*o + 18. Let z be b(-21). Is 1327 - (2 + (z - 4)) a composite number?
True
Suppose -1648090 = -14*o + 9*o. Suppose 0 = l - 5*a + 409210, -4*l + o - 1966542 = a. Is 2/21*3 + l/(-210) a prime number?
True
Let q(p) = -77*p + 46. Let m(w) = 2*w - 31. Let l be m(18). Let f(n) = 77*n - 44. Let j(x) = l*q(x) + 6*f(x). Is j(13) a prime number?
True
Suppose -102*b + 2500 = -97*b. Suppose 4*r - b = 2*j - 1474, -4*r + 942 = 2*j. Is j a composite number?
False
Let b = -219 - -135. Let h = -90 - b. Is (-4044 - h)*(-2)/4 prime?
False
Let g = -633 + 382