23*t + 8. Let l be r(8). Is (-3)/(-2)*l/(-12) composite?
True
Suppose -4*f + 5*b = -2061, 4*b + 377 + 655 = 2*f. Suppose -5*o = 5*d + 54 - f, -2*o = -3*d - 189. Suppose -4*w + 263 = -o. Is w prime?
True
Suppose 101*t + 647*t = 394660508. Is t a composite number?
True
Let b be (15/(-18))/(((-15)/(-18))/(-5)). Suppose -o - 3*d - 54 = 0, 0 = b*d - 4*d + 3. Is o/105 - (-9988)/14 a prime number?
False
Let u(o) = o**3 + 11*o**2 - 5*o + 36. Let d = -147 + 154. Is u(d) composite?
False
Suppose -2*c + 14 = 5*c. Suppose -6*d - c + 20 = 0. Suppose -7732 = -d*l - 5*b, -5*l = b + 3*b - 12865. Is l composite?
True
Let j be 2/(-1 + 2/6). Let u(x) = x**2 - 69*x + 258. Let o be u(65). Is (o/j)/(16/6360) a composite number?
True
Let s = 122 - 126. Let d(p) = p**2 + 0 - 3*p**3 + 1 - 10. Is d(s) composite?
False
Let l(s) = 11*s**2 + 92*s - 44. Is l(-9) composite?
False
Suppose 5992287 = 23*a - 1329602. Is a a prime number?
False
Let b = 12270 + -6791. Let m = b - 2925. Is m composite?
True
Let c = -68 + 46. Let d = c - -26. Suppose 0 = 3*l + d*i - 1943, 2*l - 1767 + 441 = 5*i. Is l composite?
False
Is 2 + -1 + -3 - (49 + (50 - 322915)) a prime number?
False
Suppose -5*s + s = -8. Let c be -2 + s + 1113 + 6. Let v = -640 + c. Is v a prime number?
True
Let q(g) = 61191*g**3 + 13*g**2 - 20*g + 5. Is q(1) a composite number?
True
Let g = 806 - 799. Let a(y) = 144*y**2 + 64*y - 204. Let m(j) = -29*j**2 - 13*j + 41. Let t(b) = 3*a(b) + 14*m(b). Is t(g) a prime number?
False
Let c(y) = -7*y + 2. Let x be c(-3). Suppose -3*w = -x*w + 2220. Is w a composite number?
True
Let g(y) = 10 - 7 - 11 - 27 - 144*y. Is g(-17) prime?
False
Let v(f) = 11*f**2 + 14*f - 19. Suppose -9 = j + 2. Let i be v(j). Suppose c - 4*g - i = 0, 0*c + 3399 = 3*c + 3*g. Is c prime?
False
Suppose -133*v + 132*v = -322. Is (v/92)/(1/2302) a composite number?
True
Let j(d) = d**2 - 20*d + 198. Suppose -20*o = -12*o + 184. Is j(o) a prime number?
True
Let a be (15/7 + -1)/(4/14). Suppose -6 = -a*h + 14. Suppose z = -4*p + h*z + 212, -5*z - 100 = -2*p. Is p prime?
False
Let v be (-3)/(-3)*7/((-7)/(-4)). Suppose 2*n = -9*u + v*u + 3040, -4*n - 20 = 0. Suppose z + z = u. Is z a prime number?
False
Suppose -15*i = -21*i + 3462. Suppose -3*x = y - 1553 - i, 3*y - 2*x - 6357 = 0. Suppose 5*a - y = -536. Is a a composite number?
False
Let v(n) = 40*n**2 + 78*n - 145. Is v(33) a composite number?
False
Let m(n) = -n**3 + 14*n**2 - 16*n + 11. Let w be m(10). Let o = w + -9640. Is (-16)/72 - o/9 a prime number?
False
Suppose 48522632 = 24*x + 4*j, 0 = 4*x - 2*j - 7286288 - 800828. Is x a composite number?
False
Suppose 4*n = -5*l + 55273, 4*n + l = 18653 + 36616. Let r = n + 26912. Let p = r + -24398. Is p a composite number?
True
Let a = -16 + 59. Let o = a + -42. Let v(q) = 1365*q - 4. Is v(o) a prime number?
True
Suppose b = 2*d + 2*b - 20, 0 = -4*d - 4*b + 32. Suppose d*u - 539319 = -21*u. Is u a prime number?
False
Let o(u) = -74*u + 19. Let x be -1*3*(-35)/(-21). Let s be o(x). Suppose 0 = -3*t + 2*z + 1195, -z + 4*z + s = t. Is t a prime number?
True
Let d be 24008/(-6) + (-42)/63. Let f = d + 33. Is 18/45 - f/15 prime?
False
Suppose -123*q + 113*q = -30. Let l be 12/15*15/(-2). Is (-5366)/l + (q - (-14)/(-6)) a prime number?
False
Is (-2)/(-9) - (4 - (-922494638)/(-234)) composite?
True
Suppose -483195 + 1003284 = 15*k - 934326. Is k a prime number?
False
Let h(b) = -2*b**3 + 43*b**2 + 92*b + 158. Is h(-35) a composite number?
True
Let j = -553 - -565. Suppose -l = o - j - 1, -2*l - 65 = -5*o. Is o composite?
False
Let i = -40370 - -18363. Let o = -10950 - i. Is o a composite number?
False
Suppose 10692 = 2*f + f. Let q be (6 - -9 - -5)/(8/2). Suppose 2*b = -m + 5*m - f, q*b + 4465 = 5*m. Is m composite?
True
Let m be ((-112)/84)/(6/171). Is ((-4663)/(-2))/((-19)/m) a composite number?
False
Suppose 4*l + 111*u = 107*u + 1049692, -u - 1312139 = -5*l. Is l composite?
True
Suppose 6*b - 3*b = -3*y - 33, -y = 5*b + 75. Let r be (b - -2)*(-127)/2. Is (2/1)/(14/r) composite?
False
Let y(i) = 5748*i - 163. Suppose 0 = 31*p - 36*p + 60. Is y(p) composite?
False
Suppose 20250 - 4050 = -15*s. Let f = s + 2719. Is f prime?
False
Let g be (-13)/65 - (-38)/(-10). Let p be (-1)/g + (-38)/(-8). Suppose 353 = 2*q - 0*s + p*s, -2*s - 163 = -q. Is q composite?
True
Is (18 + (-1095)/60)*-568732 prime?
True
Suppose 0 = -2*d + 4*r + 16, -2*d - 4*r + 24 = d. Let q be (-860)/(-28) + d/28. Suppose -5*k + 2034 = -q. Is k a prime number?
False
Suppose -6*c = -2*c - 16. Suppose 0 = 5*i - c*w + 1168, -3*i + w = -3*w + 704. Let g = i + 423. Is g a prime number?
True
Suppose 3*r = 2*r + 26. Let n(m) = m**3 - 5*m**2 + 30*m - 82. Let d be n(4). Suppose -r*y = -d*y - 1676. Is y prime?
True
Suppose -3*d - 5*o - 47530 = -5*d, -3*d - 7*o + 71237 = 0. Is d a composite number?
True
Suppose 4*p - 12 = 0, -5*o + 2363 = -p - 3*p. Suppose -3*k + o = -2*s + 2345, -2 = -k. Suppose -3*t - 1453 = -3*m + t, -2*m - 5*t = -s. Is m composite?
False
Suppose -4*n - 4 = 0, -4*d + 3*n + 40 - 21 = 0. Suppose 0 = -4*k + 6*k - 3*w - 1973, -d*k - 3*w + 3901 = 0. Is k composite?
True
Let b(y) = -y**3 + 8*y**2 + 8*y + 12. Suppose 11 = -3*k - 16. Is b(k) composite?
True
Let p(m) = 175884*m**3 + 5*m**2 + 4*m - 2. Is p(1) composite?
False
Let l(p) = -2*p**3 + 8 + 18 + 174*p - 2*p**2 + 0*p**2 - 3*p**2 - 158*p. Is l(-11) a composite number?
False
Let s(m) = -m**3 + 29*m**2 - 83*m - 12. Let r be s(24). Suppose 4*k - 7628 = 3*f, -4*f = -2*k + 2938 + r. Is k a composite number?
False
Let f = -13 + 17. Let a = f - -75. Suppose 2*l - a = -5. Is l prime?
True
Let c = -202934 - -342157. Is c a composite number?
True
Let g(v) = -v**2 + 3*v + 14. Let y = -48 + 53. Let r be g(y). Is (r + 0)*(-22605)/(-44) + -2 composite?
False
Suppose -37*h + 10*h + 2867445 = 18*h. Is h composite?
True
Let m(i) be the first derivative of -70*i**2 + 14 + 11 + 3 + 13*i - 8. Is m(-4) composite?
True
Let a(p) = 4*p**3 - p**2. Let b be a(1). Let v = 1090 - -688. Suppose -m + b*m = v. Is m a composite number?
True
Let y = 2609 + -2607. Suppose 9*q = 4*q + 20. Suppose -757 = -7*m + 4*m + y*i, -5*i = q*m - 994. Is m prime?
True
Let x(g) be the first derivative of -g**3/3 - 17*g**2/2 - 24*g + 7. Let o be x(-17). Let y = o + 50. Is y a composite number?
True
Let c = 3 + 2. Suppose c*o - 3296 = 1149. Is o prime?
False
Suppose -264*r + 260*r + 481890 = 2*c, 5*c = 5*r + 1204755. Is c composite?
True
Let w = -148372 - -317223. Is w a prime number?
True
Let r(d) = -1546*d**3 + 5*d**2 - 16*d - 309. Is r(-10) a composite number?
False
Let v = -134 - -137. Suppose 0 = -v*z + 23*d - 25*d + 8773, 0 = -2*z + 5*d + 5874. Is z a prime number?
True
Let p = -213 - -229. Let s(j) = 24*j**2 + 19*j - 101. Is s(p) composite?
True
Let k = 63 - 60. Suppose k*d - 45647 = -4*d. Is d composite?
False
Let t = -16761 + 30374. Is t composite?
False
Let g be (-5 + 2)/(3/(-4)). Suppose g*o - 2*n - 69 = 91, -5*n = 4*o - 132. Is o a composite number?
True
Let o be (2 + -2 - -18) + 2. Let g = 55 - 184. Let l = o - g. Is l composite?
False
Suppose 2*c - 72 = -6*c. Suppose -14 = -m + c. Let o = 136 + m. Is o a composite number?
True
Let z be (-214)/14 + 8/28. Let o(u) = u**3 + 15*u**2 + u + 10. Let j be o(z). Let y(i) = -66*i + 1. Is y(j) a composite number?
False
Let u(n) = 1157*n + 1247. Is u(12) a composite number?
False
Is (61365863/91)/(-23)*(-1 + -6) a prime number?
True
Let m be 1/(-1 + (-12)/(-8)). Let u be (-9)/12 + m/(-8). Is u + 570/3 + 6/3 a composite number?
False
Let g = 730238 - 312375. Is g composite?
False
Let w be (19 + 1)*(-4)/(80/(-5)). Suppose -4*u + 5*u = 5*r - 72, w*r - 5*u = 80. Suppose -19*o = -r*o - 2605. Is o prime?
True
Suppose 3*r - 2*q - 20465 = 0, 20*q - 18*q = -r + 6835. Let i = -2416 + r. Is i prime?
True
Let d = 157382 + 120579. Is d a composite number?
False
Let i(d) = d**2 + 13*d + 26. Let b be i(-11). Suppose 0 = 4*s + n - 1680, 0*s - b*s = 3*n - 1672. Let o = 816 - s. Is o prime?
False
Let z(x) be the second derivative of 4*x**5/5 - x**4/6 - x**3/6 - 3*x**2 + 167*x - 1. Let g be -3*(32/(-6) + 4). Is z(g) composite?
True
Suppose 5*d - 7 - 3 = 0. Let v(r) = -2*r**2 + 14*r + 58. Let u be v(10). Is -2 - -224 - (u + d + -1) composite?
False
Is (-309513)/(-9)*(-2 + 30/6) composite?
False
Let h = 18305