rue
Suppose 2982 = 4*o + 838. Suppose -4*x + 1640 = -0*s - 3*s, -s = -4*x + o. Let m = s - -1125. Is m composite?
True
Let t = 183 + -124. Suppose -5*q + t = -1. Suppose 3*u + 3501 = q*u. Is u a prime number?
True
Let n(l) = 8 + 1191*l + 10 - 8. Is n(1) a prime number?
True
Let k = 2175408 + -1080475. Is k composite?
True
Suppose -13648*y + 9902854 = -13622*y. Is y composite?
False
Let p(z) be the third derivative of 6161*z**6/120 - z**5/30 + 5*z**4/24 - z**3/2 + 114*z**2. Is p(1) a composite number?
True
Is (-3)/(-12*1/163364) composite?
False
Let q(o) = 13501*o - 1143. Is q(62) a composite number?
True
Let n = 150949 - -262704. Is n composite?
False
Suppose -83*k + 30*k = 105*k - 1160036. Is k a composite number?
True
Suppose -29 = -x + 3*u, 3*x - 109 = -2*x - 3*u. Suppose -x*j + 25*j + 66 = 0. Let f = 702 + j. Is f composite?
True
Let i(z) = z**3 + 7*z**2 - 26*z - 16. Suppose c - 37 = 4*c - 2*p, -5*c = 2*p + 51. Let q be i(c). Let j = q - -303. Is j composite?
False
Let n(x) = x. Let v(r) = -2*r + 3. Let q(c) = -3*n(c) - v(c). Let g be q(-2). Is 7/(64/62 + g) prime?
False
Let s(z) = z**2 - z. Let q be s(-1). Suppose q*d + 5*w = -10, 7*d + 2 = 2*d - w. Suppose d = -2*v + v + 19. Is v a prime number?
True
Suppose 4*p + 3*v = 46, -22 = -3*p + 2*v + 2*v. Let y(k) be the first derivative of 2*k**3/3 - 5*k**2/2 + 41*k - 539. Is y(p) prime?
True
Suppose 6*u + 0*u - 12 = 0. Suppose -u*y - 5*q + 11858 = 0, 2*q - 17753 = -3*y + 3*q. Is y composite?
True
Suppose -15*o + 11*o + 3*r + 175 = 0, 2*o - 4*r - 80 = 0. Suppose 40*m + 20334 = o*m. Is m prime?
True
Let y(i) = -54*i**2 + 14. Let f(c) = -113*c**2 + 31. Let r(p) = 3*f(p) - 7*y(p). Suppose -5*x + 50 = 5*g, 2*g + 5*x = -g + 34. Is r(g) a prime number?
False
Is (26/10)/(70/1711150) a composite number?
True
Suppose -9*t + 295 = -1910. Suppose 251*r = t*r + 5226. Is r a prime number?
False
Let d = 1992526 - 1224895. Is d prime?
False
Let o(j) = j**3 + 13*j**2 + 10*j - 9. Let c(a) = -3*a + 16. Let m be c(9). Let w be o(m). Suppose 0 = -4*z + 3*l + 483, w = z + 4*l - 12. Is z composite?
True
Let v = 133887 - 47648. Is v a composite number?
False
Suppose -114*y - 2011775 = -9780632 - 5449785. Is y composite?
True
Let u(r) = -r**2. Let g be (9 + 0)/(-3) + 2. Let b(z) = -30*z**2 - z - 12. Let f(h) = g*b(h) + 4*u(h). Is f(5) prime?
False
Let k(x) = -3*x**3 - 7*x**2 + 34*x - 29. Let v be k(-22). Let d = 66864 - v. Is d composite?
True
Let n = 26 + -21. Suppose 0 = -x - 0*x + 4, 4*g - n*x = 5984. Suppose -4*f = -1447 - g. Is f a composite number?
True
Suppose -57 = -17*c + 11. Suppose 4*f - n - 16703 = 4841, 2*f - c*n = 10758. Is f a prime number?
True
Let c be ((-36)/(-18))/(0 + 1). Suppose -c = -t + 2. Suppose 220 - 1112 = -t*k. Is k a prime number?
True
Let s be -2 - 64/(-36) - 87/(-27). Suppose 5*r = r - 2*c + 24, s*r = -5*c + 18. Is r a composite number?
True
Suppose 172263 = h + 2*v, 21*h - 2*v = 25*h - 689076. Is h a prime number?
False
Is ((-43557)/9)/((-5)/45) composite?
True
Let y = 188 - 185. Suppose -4*t = -c - 5440, -y*t + 7*t - 5436 = 2*c. Is t prime?
True
Is 15001576/32 - 15/(-4) composite?
False
Let r = -3695 + 9686. Suppose 4*k + 2*s - r = 3*k, 5976 = k - s. Is k composite?
False
Suppose x - 5*x + 117 = w, -387 = -3*w - 3*x. Let k(h) = -4*h + 14. Let l be k(16). Let i = w + l. Is i a composite number?
False
Suppose 53 = -2*p + 211. Suppose 3*h - 4*h + p = 0. Suppose -4*v + h = -57. Is v composite?
True
Let c be (-2)/5 - (-104)/10. Let h(v) = 87*v**2 - 36*v + 29. Is h(c) a prime number?
True
Let k(u) = 70 - 141 - 357*u + 100. Is k(-2) a prime number?
True
Suppose -4*s + 3*s = -2*j - 46693, 0 = s + 4*j - 46675. Let x = s + -11306. Is x prime?
True
Let h(f) be the first derivative of 2*f - 1/3*f**3 - 509/4*f**4 + 1/2*f**2 + 19. Is h(-1) a composite number?
False
Let m = 154710 + -9021. Is m a prime number?
False
Suppose -1686788 = -11*z - 9*z + 950472. Is z composite?
True
Suppose -v + 4*u = -11 - 7, 5*v + u = 6. Let w be 1*(0 + 1) + (v - -13). Suppose w*y - 4147 = 3*y. Is y prime?
False
Suppose 4*q - 4*i = 506696, 5*i - 412444 - 94189 = -4*q. Is q a prime number?
False
Suppose 24*c = 17*c - 1316. Let r = c + 1215. Is r composite?
True
Let b(f) = -2203*f**2 + 8*f - 50. Let x be b(10). Is x/(-18) - 18/405*5 prime?
False
Let z = -6 + 10. Suppose z*x + 34 + 14 = 0. Is (-2)/(-10) - (-77)/(-5)*x prime?
False
Let y = 243983 + -145476. Is y prime?
True
Let z = -5779 - -8247. Let a be -1*(z - -3) + 4. Let q = 4800 + a. Is q prime?
True
Let p(h) be the third derivative of -h**6/60 - 13*h**5/60 + 3*h**4/4 - 12*h**2. Let j be p(-13). Is (-1 + 1 - -26)*j/26 prime?
False
Suppose -113*q + 156*q - 1252031 = 0. Is q composite?
True
Let f(i) = 110*i - 61. Let l(b) = b**2 + 4*b - 40. Let u be l(5). Is f(u) composite?
True
Suppose z = x + 3*x - 33, -2*x = 5*z + 11. Suppose 13*f - 318 = x*f. Is f a prime number?
True
Suppose 0 = -2*y - 183*z + 181*z + 184, 481 = 5*y - 2*z. Let n = -563 + 863. Let d = n - y. Is d prime?
False
Suppose z + 2*z - 5*o + 82944 = 0, -4*z + 4*o - 110592 = 0. Let y = -4 + 7. Is y/(-5) + z/(-30) prime?
False
Suppose -5*l + 2 = 32. Let k be (36/8 + l)/((-2)/(-1648)). Let a = k - -1930. Is a prime?
False
Suppose 2*p = 7*p - 10. Let c be (-4)/((-40)/15)*p. Is c/18 - 2612/(-24) composite?
False
Suppose -2*j + 267858 - 922262 = -6*j. Is j composite?
False
Let l(y) = -21*y - 20*y - 14 - 6 - 7*y - 2*y + y**2. Is l(-21) prime?
True
Let n = 578 - 551. Suppose 0 = 34*m - n*m - 14133. Is m composite?
True
Suppose -2*f + j = -132455 - 177442, 3*j + 464844 = 3*f. Is f prime?
False
Suppose 2*n + 2*s = 2067862, n = 5*s + 398012 + 635895. Is n composite?
False
Let i(z) = 192*z**3 - 45*z**2 + 2*z - 7. Is i(6) prime?
True
Let y(o) = -o**3 + o**2 - 2*o + 8409. Let k be y(0). Let m = k - -2064. Is m a prime number?
False
Let s be (0 - 1)*2 + 5. Suppose s*t + 2 = -4. Is t*(-447 + 4) + (-3)/(-1) a composite number?
True
Let x = -39 - -44. Suppose -3*u - x*s = 21, -5*u - 19 = -0*s + 3*s. Let p = 9 + u. Is p prime?
True
Let b(f) be the first derivative of 17*f**3/3 + 9*f**2/2 + 2*f - 75. Let m = 5 - -2. Is b(m) prime?
False
Let k be (16/(-56)*7)/((-4)/(-10)). Is ((-3)/2)/(k - (-60334)/12068) prime?
False
Let p = -216 - -220. Suppose -18730 = -5*t - k, 2*t = 3*t + p*k - 3727. Is t a composite number?
True
Let g(y) = 7212*y + 905. Is g(15) a composite number?
True
Suppose 5928 = -v - 9*x + 13*x, -4*x = -20. Let t = v + 8425. Is t prime?
False
Suppose -1154 = -f + 2689. Suppose 16745 + f = 4*i. Is i composite?
False
Let k = -69 - -79. Suppose 0 = k*a - 3*a - 107947. Is a a composite number?
True
Suppose 0 = -3*x + 5*r + 26, 4*x + 2*r - 4 = r. Suppose -4*l - x*s = -3444, 0 = 3*l + 5*s - 2635 + 59. Is l prime?
False
Let c = 100 - 106. Let r(p) = p**2 + 4*p - 6. Let o be r(c). Suppose 2*d = -o*d + 13704. Is d prime?
False
Let d(t) = -16 + 138*t**2 - 2 + t - 21*t**2. Is d(8) prime?
False
Let q be (15 - 21)*(-158)/8*-8. Let f be (-2)/((-16)/q)*4/(-3). Suppose 2*i - 272 = f. Is i prime?
False
Let o(a) = 7*a**3 - 257*a**2 - 24*a - 61. Is o(45) composite?
True
Let x(m) = 7*m - 4. Let q be x(2). Let t(u) = -3*u - q + 18*u - 7*u. Is t(13) a composite number?
True
Suppose -5*g + 2090 = -5*j, 0*g - 5*j - 827 = -2*g. Suppose -11*k + 21*k = -1120. Let q = g - k. Is q a composite number?
True
Let a(i) = -49*i**3 - 17*i**2 + 29*i + 80. Is a(-9) prime?
False
Let l = 7050399 - 4027994. Is l composite?
True
Let h = 30 - 27. Suppose -3*q + 0*q - 2*v = -1463, h*v = -4*q + 1952. Is q prime?
False
Suppose -39*p + 27*p + 7164 = 0. Suppose -p - 11290 = -f. Is f a prime number?
True
Let i = 134 + -86. Is (i - 34)/(4/862) prime?
False
Suppose 2*j = -3*w - 13, -3*w + 53 = -j - 3*j. Is (-4)/(-3 + -1) + j + 2063 a composite number?
False
Suppose 8*u = 5*k + 5*u - 112915, -u = 2*k - 45166. Is k a prime number?
False
Let y = 385 - 382. Let j(g) = 527*g**3 - 5*g**2 + 5. Is j(y) a prime number?
False
Let n be (14 - -1981) + (-4 - 1/(-1)). Suppose 4*u = 0, 8*x - u + 6665 = 3*x. Let f = x + n. Is f prime?
True
Let i = -84314 + 146223. Is i composite?
False
Let y(g) = 66*g**2 - 13*g - 1. Let c be 29 - 29 - (1*-2 - 2). Is y(c) a prime number?
False
Suppose -337420 = 67*q - 71*q. Suppose 4*u + q = 9*u. Is u composite?
False
Suppose -32*b + 50*b - 81484