 - a - 31149, -a + 51915 = 5*k. Is k prime?
False
Suppose 9*q + 63*q - 7829437 = -5*q. Is q prime?
True
Let i = 57 - 51. Suppose 3*l = 2*k - 70, -24 = l + 2*k - i. Let n(m) = -162*m - 43. Is n(l) composite?
True
Suppose -11*l - 3036879 = -4*l - 34*l. Is l composite?
True
Is (3 + (-8)/3)/(2/3425406) prime?
True
Let y be (1 - 1)/(-1 + 2). Suppose -2*f - 18 = -4*f + 2*x, y = 5*f + 3*x - 61. Suppose -9*n = -f*n + 326. Is n a prime number?
True
Let o(g) = 460*g**2 + 38*g + 15. Let f be o(8). Suppose 0 = -3*p + 4*d + 17845, 15*d = -5*p + 13*d + f. Is p a composite number?
True
Let k(g) = 1006*g**2 - 63*g - 48. Is k(-13) a prime number?
False
Suppose 2*i - 18601 = 3*f, 0 = -3*f - 3. Let z = i - 5496. Is z a prime number?
True
Let o(f) be the first derivative of 163*f**2/2 + 21*f + 26. Let q(p) = -82*p - 11. Let j(y) = -6*o(y) - 11*q(y). Is j(-6) composite?
True
Let z(q) = q**3 + 11*q**2 - 9*q - 13. Let j be 8/(40/(-5)) - (-2 - 1). Suppose -j = -n - 10. Is z(n) composite?
False
Let x(s) = -s**2 + 4*s + 8. Let p be x(4). Let j be 5 + p/(-2) + 3. Is (-6 - -5)/(j/(-476)) a composite number?
True
Suppose 54*c + 7*c = 2*c + 1377473. Is c composite?
True
Suppose -13*y = -8*y + l - 188110, -4*l = -3*y + 112843. Is y prime?
False
Let p(x) = -126*x + 574*x + 538*x - 111. Is p(4) a composite number?
False
Suppose 2*w + 5*b = -15, 17*w + 23 = 13*w - 3*b. Is 1 + 8/4 - 23890/w composite?
True
Suppose 14*u + 5*v + 136 = 18*u, 2*v + 153 = 5*u. Suppose -u*o = 7*o - 65916. Is o composite?
False
Let g = 97097 + -61036. Is g a prime number?
True
Suppose -4*a + 851347 = 3*c, 32*c + 4*a - 567554 = 30*c. Is c a composite number?
False
Suppose 5*w - 12 = -2*s - 3, 2*w = 3*s - 4. Suppose 0 = -4*a + a + s*n + 26477, -8821 = -a - 4*n. Suppose a = 4*q + q. Is q a prime number?
False
Suppose -30 + 8 = 22*z. Let b(s) = 32*s**2 + 10*s + 9. Is b(z) prime?
True
Suppose 8*z - 4*z = -i + 5, 0 = 2*i + 6. Suppose -2*h + 2*u = -3*h + 8917, z*u = -2*h + 17840. Is h a composite number?
False
Let c be 2/4 + 89198/16*4. Let j = c - 12795. Is j a composite number?
True
Suppose -4*i + 5*y = 4*y - 273746, 273750 = 4*i + y. Is i a prime number?
True
Let i = 132 - 164. Is (-3)/4 - (2 - (-102712)/i) prime?
False
Suppose 2*n - 45*g = -42*g + 582376, 0 = -5*n - 5*g + 1455915. Is n a composite number?
True
Let o(s) = 4*s**2 - 13*s - 194. Suppose 52*z = 49*z, -z = 2*g - 62. Is o(g) a composite number?
True
Suppose 2*o + 5*o - 14 = 0. Let n be (10/o)/1 + 6. Let a(z) = 63*z - 14. Is a(n) composite?
True
Suppose 0 = -5*y, -4*w + 0*w - 5*y = -16. Suppose 5*x - 2*g - 305963 = -6*g, -3*x - w*g = -183573. Is x composite?
True
Let g = 816 + -823. Is 1*2 + g + 1122/1 composite?
False
Let k = -10286 - -21289. Is k a composite number?
False
Let y(x) = -385*x**3 + 5*x + 14. Let r be y(-5). Suppose 14*z + 14682 = r. Let a = z + -623. Is a composite?
True
Let f be (-3)/(-5) + 198/45. Let d be 368/f - 4/(-10). Let n = 167 - d. Is n composite?
True
Suppose -205860 = -2*v - 2*m, 514648 = -170*v + 175*v + 3*m. Is v prime?
True
Let h(k) = -890*k**3 - k**2 - 10*k + 80. Is h(-15) prime?
False
Let b = 313 + -282. Let i(r) = -11*r + 1. Let w be i(-3). Suppose -b*x = -w*x + 393. Is x a prime number?
True
Let k = 1507 + -281. Let p = -337 - k. Let d = 3602 + p. Is d a prime number?
True
Is ((-8)/20 - (-24)/160)*-1995556 a prime number?
False
Suppose -4*g + 14*u + 28391 = 11*u, 0 = 4*u + 4. Is g prime?
False
Let y = 64 + -212. Let w be 3/(-9*(51/(-9) + 6)). Is (y/(-8) + 1)/(w/(-2)) a composite number?
True
Let f(u) = -u**2 - 15*u - 3. Let i be f(-14). Let q(o) = -i + 5 + 161*o**2 + 6 + 2. Is q(1) a prime number?
True
Suppose 2*f - 612*t - 46274 = -616*t, -3*f + 69435 = -2*t. Is f a composite number?
False
Let z(f) = f - 14. Let y be z(5). Let r be -4 + y/(45/(-36880)). Suppose 10*g - 6*g = r. Is g composite?
True
Let y be 2 + -1 - (9 + -2). Let j(b) = 13*b**2 + 3*b - 4. Let l be j(y). Suppose 3*a - 2 = -11, -2*p + 4*a = -l. Is p composite?
True
Let j(c) = -c**2 + 9*c - 15. Let x be j(5). Suppose -x*l + 4465 = 5*m, 2*m + 5*l = 2593 - 795. Is m prime?
False
Let k = -15142 + 22244. Suppose -17793 = -5*h + 3*x, -3*x - k = -2*h + 2*x. Is h prime?
False
Let x be (55 + -27)/(4/50). Let q = -845 + x. Let i = q - -826. Is i prime?
True
Let j(a) = 27*a**2 + 8*a - 7. Suppose -6*b + 5*b = -5*u - 2, u - 6 = b. Is j(b) composite?
False
Let z = -198 + 478. Suppose -11*x + z = -1711. Is x a composite number?
False
Let r = 6 - 4. Let h = 150 + -148. Is (r*1291/2)/(-1 + h) composite?
False
Suppose -8*x - 17 = y - 4*x, 2*x = -5*y + 5. Is 2*((-12)/y + 3) + 4213 prime?
True
Let l(u) = -22*u**2 - 11*u - 22. Let f be l(-7). Let s = f + 1774. Is s prime?
True
Let a(d) = d**2 - 9*d - 7. Let l be a(-1). Let t be (-2 + 142)*(-15)/(-6). Suppose 5*z = -l*q + 4187, -z - t = -q + 1051. Is q a prime number?
True
Suppose 2*h - 87289 = 3*t, h - 2*t = -t + 43646. Is h a prime number?
True
Suppose -2*v + 61135 = 5*l, 0 = -31*l + 41*l + 5*v - 122270. Is l a prime number?
True
Let d = -255 + 232. Suppose -g - 4*g + 1010 = 0. Let s = g + d. Is s prime?
True
Let n = -161 - -1761. Let y = 1897 + n. Is y prime?
False
Let j be ((-24)/16)/(6/(-8)). Suppose 4*t = 3*y + j*t + 6652, -3*t + 6657 = -3*y. Let p = -929 - y. Is p a prime number?
False
Suppose -44995*b + 44954*b = -39201863. Is b prime?
True
Let h = -17455 + 112478. Is h composite?
True
Let n = 190 + 564. Suppose 4*t = 0, 2*t + n = -22*d + 24*d. Is d composite?
True
Let q be (428/28*6)/(1/7). Suppose 5 = j, -4*p + 1450 = -9*p - 5*j. Let r = p + q. Is r prime?
True
Let c be (-3 - 0)/(12/(-20)). Suppose h + 3*g - 1689 = 1457, -15700 = -c*h - 5*g. Is h a composite number?
False
Suppose 5*h - 30 = 0, -21*c + 24*c - 164481 = h. Is c prime?
True
Let z be ((-22)/(-55))/((-1)/(-5)). Suppose z*h = -4*t + 25 - 5, 0 = -4*t - 3*h + 22. Suppose 0 = 2*r - t*l - 52, 2*r = -3*l - 2*l + 34. Is r composite?
True
Let g = 1549 - 4731. Let d = -1905 - g. Is d composite?
False
Let r be 9/6*(-287042)/(-87). Let t = -1132 + r. Is t prime?
False
Suppose 3*t + 297 = -5*k, -4*k + t = -0*k + 224. Is 105583/k*(1 - 4) composite?
False
Let g be ((-36)/(-72))/((-106546)/(-106544) + -1). Let r = g + -13407. Is r a composite number?
False
Suppose -6*m = -2*m - 148. Suppose -5*j - m + 52 = 0. Suppose 0 = -5*o - r + 1652, 5*o + 456 = j*r + 2120. Is o a prime number?
True
Suppose 10*l + 133 = 3*l. Let w = l + 58. Suppose -5*s + w = -3466. Is s a composite number?
False
Suppose -2*a - 6*f + 2*f = -9256, -13878 = -3*a - 4*f. Suppose 5*d + 2*o = a, -4*d + 9*d = -o + 4626. Let p = d + -479. Is p composite?
True
Suppose -m = -3*q + q - 2, -q = 3*m + 8. Let b be (-6)/(m/(-2)*-3). Suppose 3*x = -s + 4140, -b*s = 3*x - 1043 - 3094. Is x composite?
False
Suppose -f + 5*f = -4*s, 2*s + 3*f = 5. Let g(b) = 20*b**2 + 21*b + 27. Is g(s) composite?
True
Is (-9)/(-12) + (-50640722)/(-136) composite?
True
Let k(g) = g**3 - 7*g**2 + 4*g + 16. Let v be k(6). Let p be (-4)/18 - 69985/(-45). Suppose v*r - p = -r. Is r composite?
False
Let a(p) = 169*p**2 - 47*p - 2811. Is a(67) prime?
True
Let u(v) be the third derivative of v**6/15 + v**5/12 + v**4/6 - 7*v**3/2 + v**2 + 33. Is u(4) prime?
True
Let q(v) = -65*v**3 - 13*v**2 - 11*v - 112. Is q(-19) prime?
False
Suppose -138 = -5*n - 3. Suppose 4*t = 5*a + n, -26 = -3*t - 2*a - 0*a. Suppose t*o + 380 - 2388 = 0. Is o composite?
False
Suppose 5*u = 0, -4*k - 3*u = -2*u - 8. Let r(j) = 32*j**2 + 26*j - 116. Let d be r(7). Is k/4 + d/4 a prime number?
True
Let c = -6923 - -9845. Suppose 9908 = 4*t - 3*k, 0 = -2*t + 5*k + 2046 + c. Suppose -3*a = f - t + 312, 6450 = 3*f - 3*a. Is f a composite number?
False
Let g = 2923 + -1698. Suppose 2*k - 1119 = g. Is (-3 + 0)/((-12)/k) prime?
True
Let i(j) = 2*j + 44. Let g be i(-21). Suppose 2*s + 18721 = y, -5*y - 6*s + g*s = -93549. Is y prime?
True
Let b be (-9097)/(-11) + (1 + -1)/2. Suppose -3*z + 3256 + b = 0. Is z a composite number?
False
Let n be 340/12 + (-35)/(-21). Is (n/(-6) - 441)/(2/(-7)) composite?
True
Let s be (-4)/(10 + -2)*0. Let h(a) be the second derivative of a**5/10 - a**3/6 + 83*a**2 - 119*a. Is h(s) a prime number?
False
Let o(b) = 13*b**2 - 29*b - 16. Let x be o(-13). Let n = 4629 - x. Is n composite?
True
Let o be -2 + (4/(-8))/(1/12). Let f = o - -7. 