uppose 2497 = l*k - a, -2*k - 4*a - 4171 = -7*k. Is k a composite number?
True
Suppose 295*j + 4438574 - 48032190 = 119*j. Is j composite?
False
Let l = 1465729 + -677126. Is l prime?
True
Let z(b) = 19*b + 10. Let p be z(0). Is (-2)/(2 + p) + 41565/18 prime?
True
Suppose -14*n - 14*n = -56. Suppose 23251 - 8349 = n*x. Is x composite?
False
Suppose -b = -5*s + 2717, 2*s + 3*b + 2178 = 6*s. Let k = s - 307. Suppose -5*a + 1501 = k. Is a a composite number?
True
Let u(r) = -125*r**3 - 8*r**2 + 2*r + 31. Let d be u(-8). Suppose 17*z = 6*z + d. Is z a prime number?
False
Suppose 2*g + 10 = 0, 1071045 = 5*a + 1022*g - 1020*g. Is a composite?
False
Let n be -3 - 0 - (-33 - -21). Let y be n*(-921)/(-3) - 1. Let m = -1841 + y. Is m prime?
False
Suppose x = 1 - 5, -4*x - 124159 = -3*z. Is z a prime number?
True
Let i = 62 + -42. Suppose b + b - i = 0. Is (12/b)/(6/255 + 0) prime?
False
Let y = -152 - -150. Is 2 + 19593 + 2 + y composite?
True
Let n(s) = -8*s**2 + 13*s + 12*s**2 + s**2 + 3*s**2 - 83. Is n(-16) a composite number?
True
Suppose -14040513 = 2080*q - 2107*q. Is q prime?
True
Let p = 848 + -1626. Let v = 1409 + p. Is v a prime number?
True
Is (-19 - (9 - -20505))*-3 a prime number?
False
Let d(m) = m**3 + 9*m**2 + 8*m + 17. Let j be d(-8). Suppose -j*z + 13*z = -1780. Is z prime?
False
Let z(a) = -53*a - 7. Let s be z(5). Suppose -8*l + 1868 + 2404 = 0. Let q = l + s. Is q composite?
True
Is ((-1333)/172 - 8/(-1))*30452 prime?
False
Let x = -19241 + 47410. Is x a prime number?
False
Suppose -2*i - 44 - 14 = 4*d, 3*d = -3*i - 93. Let q = i + 36. Suppose 0 = -q*a + 1318 + 1604. Is a prime?
False
Let y(t) = -134*t**3 - 4*t**2 - 11*t - 4. Let w be y(-4). Suppose -2*a = 2*a - w. Is (0 + 1)/((6/a)/3) composite?
False
Let i(h) = h**3 - 10*h**2 + 9*h - 3. Let v = -120 - -129. Let c be i(v). Let n(k) = -170*k + 11. Is n(c) composite?
False
Suppose 3*o = -37*h + 36*h + 93901, 4*o - h = 125206. Is o prime?
False
Suppose -2*d + 2293 = 5*g, 2*d + 2294 = 5*g + 3*d. Suppose -4*a - 3*l + 2*l + g = 0, -5*a + 572 = 3*l. Is a a composite number?
True
Let b = 46 - 42. Suppose -c - o = -3*c - 128, 2*c = -b*o - 148. Is (-4)/(-22) - 59850/c a prime number?
True
Let n(m) = 2128*m**3 - 3*m**2 + 3*m - 3. Let x(v) = -v**3 - v**2. Let f(o) = n(o) - 2*x(o). Is f(1) prime?
True
Suppose 0*v + 117 = -3*v. Let y = v + 41. Suppose y*l + 3*p = 135, 3*l = -p - 4*p + 202. Is l a prime number?
False
Suppose -b - 15 = -4*b. Suppose 5*h = b*a - 2298 + 16978, -a + 2926 = h. Suppose 3*n + 0*n - h = 0. Is n a prime number?
True
Let d(y) be the third derivative of 981*y**6/40 - y**5/60 - y**4/24 + y**3/6 - 18*y**2 + 5*y. Is d(1) a composite number?
True
Let f be 4 + 21/(-3) - -5. Suppose f*j - 32716 = -2*n, 0*n - 5*n = j - 16370. Is j composite?
True
Is 2/4*(-15)/6*7227616/(-440) a composite number?
False
Let p = 3332 + 1390. Suppose 9439 = 4*a + y, p = 2*a - y - y. Suppose n + 1873 = 4*m, -5*m + 5*n + 0*n + a = 0. Is m a composite number?
False
Suppose -4*d + 171973 = 5*c, -3*d = 2*c - 0*d - 68792. Is c a prime number?
False
Let d be -2 + -2 + 5 + -3 + -3. Let q be (8/d)/((-14)/35). Is q/8 - 1/((-4)/2454) a composite number?
True
Let m(d) = -d**3 - 4*d**2 + 4*d + 18. Let l = -17 + 13. Let s be m(l). Suppose -s*j = 7*j - 4419. Is j a composite number?
False
Suppose -6931330 - 3024398 = -144*z. Is z composite?
True
Suppose 5*m - 7 = 326*z - 327*z, 14 = m - 4*z. Let b be ((-2)/(-3))/(1/(-3)). Is (m/7)/(b/(-14)) + 35 a composite number?
False
Let k be (-2)/(((-2)/(-2))/(-3 + 2)). Suppose k*r - 3*r + 5966 = 3*t, 0 = -5*r + t + 29910. Is r composite?
False
Let p = -6878 - -13608. Is (6/(-4))/((45/p)/(-3)) a prime number?
True
Suppose g - 4*c = 1268189, 2*g + 5*c = -2*c + 2536318. Is g a composite number?
False
Let z = -268875 + 470264. Is z a composite number?
False
Let o(c) = 10*c**2 + 175*c - 683. Is o(80) a composite number?
False
Suppose 23*x = 5*g + 27*x - 250743, 100284 = 2*g - 5*x. Is g composite?
False
Suppose j + 5*r = -j - 19, 5*r = 15. Let o(a) = 2*a**3 + 38*a**2 + 5*a - 2. Is o(j) prime?
True
Suppose s + 25 - 108 = -5*u, -5*s + 15 = 0. Suppose 0 = 4*a - 3*n - 1538, 4*n - 1907 = -21*a + u*a. Is a composite?
False
Let t(q) = 4*q**2 + 37*q - 4. Is t(15) a composite number?
False
Suppose -12*u = -11*u - 13. Suppose -57 = -u*h + 8. Suppose -6903 = -h*r + 802. Is r a prime number?
False
Suppose l - 2697 = 4*w, -10816 = -4*l + 2*w - 0*w. Let u = l + -18866. Is u/(-21) + (-32)/56 prime?
True
Let w(s) = -3032*s - 475. Is w(-21) prime?
True
Let j be (168/30 - 5) + 277/5. Is ((-5906)/4)/((-452)/j + 8) composite?
True
Let n(s) = 3*s + 6. Let j be n(-2). Suppose 0 = -5*q + h - 369, -h + 295 = -4*q - j*h. Let p = 108 + q. Is p composite?
True
Let t = -381288 + 903889. Is t prime?
True
Let x = -697 + 697. Suppose x = -10*n + 97046 + 18944. Is n a prime number?
False
Suppose 7 = 3*n + x, -3*x = -2*n - 8*x + 22. Suppose 0 = -4*z + 4*v - 1016, -5*v + 19 = -n. Let g = z - -609. Is g a composite number?
False
Suppose 4*u + 160*u = 41010988. Is u composite?
True
Let n = 392751 - -78406. Is n a prime number?
False
Suppose -5*g + 643920 = -9*m + 203533, g + 4*m - 88089 = 0. Is g a composite number?
True
Let k(m) = -m - 55. Let c be k(17). Let j = 75 + c. Suppose -j*t + 8*t - 10775 = 0. Is t a prime number?
False
Let i = -15217 - -24299. Let l = i - 6305. Is l a composite number?
False
Let q = 133532 + -6409. Is q composite?
False
Is ((-50)/(-75))/((-12)/(-15354)) a prime number?
True
Let q(z) be the first derivative of 859*z**4/4 - 2*z**3/3 + 3*z**2/2 - z - 118. Is q(1) a prime number?
True
Suppose 0*g + 2*g + 8467 = -5*v, -3382 = 2*v - 4*g. Let l = 1998 - v. Is l a prime number?
True
Is (-166)/(-249)*(-258138)/(-4) composite?
True
Suppose -785278 + 409002 - 1626319 = -145*u. Is u prime?
False
Let k = 1336 + -667. Let h = -2015 - -3057. Let r = h - k. Is r a prime number?
True
Let w(u) = 17*u**3 - u**2 - u + 2. Let r be w(1). Suppose 4*l - r = -1. Suppose -3633 = -0*t - l*t - f, -5*f + 2746 = 3*t. Is t a prime number?
True
Let w = 1364535 + -357688. Is w a composite number?
False
Is (-18 - 1173/(-68))*(-1424972)/3 a prime number?
True
Suppose -11*o + 7*o + 3*d = 1334, 4*o - 2*d = -1336. Let a = o - -2172. Is a prime?
False
Let t = -153 + 109. Let v be t*(9/4)/(-9). Let f(o) = 16*o + 37. Is f(v) prime?
False
Let p(q) = -34*q - 7. Let g be p(-7). Let w = 1570 - 986. Let b = g + w. Is b a composite number?
True
Let t(i) = 1031*i - 49. Let a be t(-12). Let l = -7560 - a. Is l a prime number?
True
Let x = 1724 - 2903. Let g = 692 - x. Is g a prime number?
True
Let o(x) = -x**3 + 56*x**2 + 13*x + 158. Is o(41) composite?
True
Suppose 0 = 11*w + 4*w - 15. Let k(f) = 2979*f**2 + f - 2. Let l be k(w). Suppose -2*i - l = -4*z - 4*i, z + i - 744 = 0. Is z prime?
False
Suppose -24*o + 2*m - 16416 = -28*o, -4 = -2*m. Suppose o = r + f, -2*f + 351 - 16775 = -4*r. Is r a prime number?
False
Let c(o) = -514*o**2 - 9*o + 23. Let h be c(4). Let p = h - -17388. Is p prime?
True
Suppose 30 = 3*z + 5*p, z = -z + 5*p - 5. Suppose 0 = 2*v - z + 1. Is (1/(-2)*-1)/(v/4196) prime?
True
Suppose -4*b + 34 = -2*j, -6*j - 70 = -5*b - 9*j. Suppose 15*h - b*h - 5*c = 4698, h - 4*c = 1169. Is h a prime number?
False
Suppose -91*h - 2*b - 25620 = -93*h, -b - 1 = 0. Is h prime?
True
Let o = 8787 + -2254. Suppose -3*u + o - 1478 = 0. Is u a composite number?
True
Let g(b) = 1453*b**2 + 2*b - 2. Let a be g(1). Suppose -a = -5*k + 1652. Suppose -f + k + 352 = 0. Is f a composite number?
True
Let h(r) = -5*r + 63. Let z be h(12). Is 6*1/z - -1689 a prime number?
False
Suppose -2*k = 5*x - 272814, 5*x + 71792 - 344600 = k. Suppose 4*c = -2*r + x, r - 68207 = -5*c + 3*r. Is c a composite number?
True
Let j = -262 + 187. Let b = -60 - j. Suppose b*k - 110 = 13*k. Is k a prime number?
False
Let h(o) = 18*o**2 + 50*o - 3987. Is h(69) prime?
False
Is 125684 + 11 + 12 + -26 composite?
True
Let m be (-4 - -6)/(2/5) + 8. Suppose m*v + 51284 = 17*v. Is v composite?
False
Let r(x) = 191088*x**2 - 116*x + 115. Is r(1) composite?
True
Let k(s) = 23*s**3 - s**2 + s + 13. Let g = -50 - -55. Let o be k(g). Suppose o = 4*q - 2*b, 3*b + 1426 = 2*q - 0*b. Is q a prime number?
True
Is (-5)/(5/371329)*(-30)/210 prime?
True
Suppose 163*a - 3945 = 158*a - 