= -5*r + 183. Is r a composite number?
False
Let k(c) = c**3 + 20*c**2 + 24*c + 15. Let s be k(-16). Suppose -2*p + s = -459. Is p a composite number?
False
Suppose -1 = -2*b + l, -2*b + 6*b + 3 = -3*l. Suppose -5*q + 6 + 4 = b. Suppose 2*o = w + 330, 5*o + w = q*o + 485. Is o composite?
False
Let u(v) = -4*v**3 - 9*v**2 - v - 29. Is u(-12) prime?
False
Let m = 2962 - -685. Is m prime?
False
Let z(u) = -u - 1. Let y(n) = -n**3 - 11*n**2 + 15*n - 2. Let w(g) = -y(g) - 4*z(g). Is w(-11) prime?
True
Suppose 2*b = 4*m - 57948, -m - 17*b + 12*b = -14476. Is m a composite number?
True
Suppose -4*b + 0*b + c = 9, 9 = -3*c. Let y be (-11)/b + 1/3. Suppose 29 = -0*f + f + y*w, 5*f - 5*w = 195. Is f a composite number?
False
Let w = -356 - -1102. Let m = -364 + w. Is m a prime number?
False
Suppose 3*k = q - 271, 5*k - 2*k = 3*q - 813. Let n = q - 20. Is n a prime number?
True
Let s(f) = 1674*f - 37. Is s(6) composite?
False
Let s = -2050 - -4131. Is s a composite number?
False
Let a be -8 + 10 - (-15)/1. Suppose -5*n + 19 = -n + 5*p, 0 = 5*n + 4*p - a. Is n*23 - (-15 - -19) prime?
True
Let m = -5 - 1. Let h(w) = -2*w**3 - 8*w**2 - 3*w + 1. Is h(m) prime?
True
Let d(c) = c. Let y be d(0). Let k(u) be the second derivative of -u**3/3 + 7*u**2 - u + 9. Is k(y) a composite number?
True
Suppose -4*n + 588 = -5*g, 5*g - 624 = -4*n + g. Suppose n = 2*f - c - 31, 0 = 5*c + 25. Is f composite?
False
Let z = 3980 + -2133. Is z a prime number?
True
Suppose -2*t = -5*t + 6. Suppose -t*p - 4*j = -168, 15 = -j + 6*j. Suppose p = 3*b - o, 0*o = -o - 3. Is b a prime number?
False
Suppose 52670 + 87659 = 7*x. Is x prime?
True
Let g(k) = -k**3 + 2*k**2 + 2*k - 2. Let a be g(2). Suppose 4*r + 5*n = 1643, r - a*n - 130 = 271. Is r a composite number?
True
Let d be (2 - 182)*(-5)/(-10). Let a be (-107472)/d - (-2)/(-15). Is (-4)/16 - a/(-8) composite?
False
Let o = 0 + 0. Suppose 2*g + 4*h - 394 = o, -732 = -5*g + 3*h + 266. Is g a composite number?
False
Suppose 10*c + 159284 = 511494. Is c composite?
False
Let g(o) = -o**3 - o**2 - o - 2. Let r be g(-2). Suppose 5*a = 5*f - 4*f + 6, 8 = 2*f. Suppose r*m - a*m - 78 = 0. Is m composite?
True
Let v = -18 + 107. Is v a prime number?
True
Let o(a) = a**3 - 9*a**2 - 9*a - 96. Is o(17) prime?
True
Let h be (-76)/(-6)*(-9)/(-6). Let g = -15 + h. Suppose -32 = -m - 2*z + z, g*m = 2*z + 140. Is m a composite number?
True
Is (-14620)/(-5) - (-4 + 1) composite?
False
Let v(i) = -5*i**2 + 18*i**2 + 19 + 17*i - 33. Is v(-9) prime?
False
Suppose 558 = 2*y - 13868. Suppose -5*w - 1653 + y = 0. Suppose -3*a = -7*a + w. Is a prime?
False
Let u = -217 - -270. Is u a prime number?
True
Suppose -78 = -s + 266. Let f be (4/2)/((-44)/(-24134)). Suppose -f = -3*i - s. Is i a composite number?
False
Suppose 3*f - 5 = 2*u, -5*f + 25 = -u - 4*u. Let p = 13 + u. Suppose -5*r = -3*g + 191, -260 = -4*g + r + p*r. Is g a composite number?
False
Suppose -217*j - 813756 = -229*j. Is j a prime number?
False
Suppose 0 = 3*i - 7*i - 8. Is 28/(-112)*5048/i a prime number?
True
Let r(q) = q**2 - 10*q + 10. Let p be r(9). Let m = p - 147. Is m/(-10) - (-2)/5 a prime number?
False
Suppose -q + 3 = -3*k + 18, -5*k + 25 = 2*q. Let b(z) = -82*z + 7. Let c be b(k). Is (-2)/4 + c/(-2) composite?
True
Let i(j) = 4*j - 85. Let g be i(21). Let n(p) = -5 + p + 5 - 87*p**3. Is n(g) composite?
True
Is -1 - (-3 - (334 + 1)) prime?
True
Suppose -4*f + 35863 = 2971. Is f composite?
True
Let o(h) = -h**3 + 2*h**2 + 2*h - 2. Let m be o(2). Suppose 7*g = -m*d + 2*g + 77, d - 5*g - 31 = 0. Is (-122)/(-18) - (-8)/d a prime number?
True
Suppose 906 = -53*z + 56*z. Suppose -f - 4*o + 141 = -z, -5*f + 2198 = 3*o. Is f composite?
False
Let b(p) = -p**3 - 4*p**2 - 3*p - 6. Let a be b(-4). Let d(n) = 28*n**2 - 5*n + 5. Is d(a) prime?
True
Suppose 21*t - 3 = 18*t. Suppose 5*u + 886 - 3101 = 0. Suppose g - t + 3 = 0, m + 2*g = u. Is m a composite number?
True
Suppose 202767 + 168844 = 23*u. Is u a composite number?
True
Suppose 3*b - 2*t - 28630 - 12759 = 0, -b + 13811 = 3*t. Is b composite?
False
Let k be -3 - 92/(-12) - 2/3. Is k/18*3*297/18 composite?
False
Suppose 41294 + 587283 = 19*n. Is n a composite number?
False
Suppose -k - 3*l = -2082, 3*k - 6*l + 2*l = 6285. Suppose -3*q + 11 = f - k, 0 = 4*q + f - 2801. Is q composite?
True
Suppose 19*p - 77538 + 15541 = 0. Is p prime?
False
Let t = 102 - 20. Is t a prime number?
False
Suppose -3*a + 4*a = -10. Let l = a + 12. Suppose 4*o = 2*z, l*o + 2*o = -3*z + 50. Is z a prime number?
False
Suppose h - 3*c - 75578 - 94404 = 0, 5*c + 679893 = 4*h. Is h composite?
True
Let p be 20/7 - 3/(-21). Suppose -p*f + 1677 = -471. Is (2 - 4)*f/(-8) a prime number?
True
Let k(a) = -a**3 - 10*a**2 - 27*a + 1. Is k(-9) composite?
False
Let x(u) = -7 + 7 + 92*u - 17*u + 1. Is x(6) prime?
False
Suppose 3*k - 10 = -4*h - 0, 5*k = 2*h + 60. Is ((-9)/2 - 1)*(k - 116) prime?
False
Let b = 5382 - 2347. Is b a composite number?
True
Let s(l) be the third derivative of 11*l**4/6 + 3*l**3/2 + 19*l**2. Is s(10) prime?
True
Suppose -33999 = -11*f + 8*f. Is f a composite number?
True
Let r(d) = -27*d**3 - 8*d**2 - 17*d - 37. Is r(-6) composite?
True
Is 10723 + 0*(2 - (-10)/(-4)) a composite number?
False
Let s = 838 + -215. Is s composite?
True
Suppose 3*v - 2*v = 47. Suppose v = -0*i - i. Let q = i - -126. Is q prime?
True
Let c(x) be the first derivative of -3*x**4/4 - x**3/3 - 9*x**2/2 + 5*x - 26. Is c(-6) a composite number?
True
Suppose 5*c - 623 = -3*s, -1216 = -5*s + 5*c - 151. Is s composite?
False
Let c(r) = -r + 16. Let d be c(14). Suppose -d*b - 90 = -b. Let l = 137 + b. Is l a composite number?
False
Suppose v + 3415 = 3*t, 2*v - 2274 = -7*t + 5*t. Suppose -5*f + 1257 = -t. Is f prime?
True
Suppose a - 4*z = 62211, 11*a = 8*a + 3*z + 186624. Is a a prime number?
True
Suppose 1540 = 2*u - 184. Let i be (-4)/5*4305/(-14). Suppose i = 4*f - u. Is f composite?
False
Let x(l) = -l**2 - 6*l - 1. Let f be x(-5). Suppose 4*o + 46 = -5*g - 0*o, 4*g - 5*o + f = 0. Let q(m) = -m**3 - 4*m**2 - m + 5. Is q(g) composite?
False
Is (1439/3)/((90/(-27))/(-10)) a prime number?
True
Let x be 346230/(-78) - ((-4)/(-26) - 0). Let q = x + 7404. Is q prime?
False
Let f be 62/10 + -6 - 8374/(-5). Let m = -1104 + f. Is m prime?
True
Let w be 4/(-14)*(-3 + -11). Let m be w*1/(-2)*-2. Let v(x) = 4*x**3 - 3*x**2 + 3*x + 3. Is v(m) prime?
True
Let d(r) = 49*r**3 + 13*r**2 - 27*r - 4. Is d(5) prime?
True
Let u(g) = g**3 + 22*g**2 + 35. Let s = -71 + 51. Is u(s) a prime number?
False
Let l = 623 - 524. Suppose -2*t + i = -11, 3*i + 25 = 3*t + t. Suppose -5*a + 5*j + 350 = 0, -l = -t*a + j + 172. Is a a composite number?
False
Let k(j) = -2*j**3 - j**2 + j. Let f(t) = 6*t**3 + 2*t**2 - 3*t. Let g(d) = -3*f(d) - 8*k(d). Let v be g(-1). Is ((-1644)/(-18))/(v/9) a composite number?
True
Suppose 0 = -3*g + 2*g. Suppose g = 3*b - 7*b + 528. Let c = b + -53. Is c a prime number?
True
Suppose 0 = -5*q - 3 + 28, -4*i - 4*q + 56 = 0. Suppose 22 = i*k - 7*k. Is k a composite number?
False
Suppose 659172 = 21*c - 388539. Is c composite?
False
Suppose -190879 = -76*b + 63*b. Is b a prime number?
True
Suppose -4*i = -8*v + 4*v - 10448, 5*i = -5*v + 13050. Is i composite?
True
Suppose 13*g = 17*g - 13460. Suppose 1303 = 12*u - g. Is u composite?
False
Suppose -4 + 19 = 5*m. Suppose m*l = 8*l - 565. Is l a composite number?
False
Suppose 2*i = -2*h + h + 593, i = 2*h + 289. Is i a prime number?
False
Let d = 81 + -72. Suppose -5*z - 18 = 4*j, -z - 5*j - 2 + 11 = 0. Is (z/4)/(d/(-1206)) a prime number?
False
Suppose 1260 = 7*m - 203. Is m prime?
False
Let h = -56 + 65. Let j(t) = 65*t - 32. Is j(h) a composite number?
True
Let h(y) = 387*y**3 + 10*y + 1. Is h(4) a composite number?
False
Let r(q) = 2*q - 4. Let y be r(4). Suppose y*t - 5*t + 2*f = -271, -3*t - 5*f = -857. Let o = t - 196. Is o a composite number?
False
Suppose -3*g + 112 + 299 = 0. Let c = g + -54. Is c a composite number?
False
Suppose -4*r + 81 = 2825. Let d = r - -1171. Is d a composite number?
True
Let t(j) = -2 + 6 - 108*j - 5 + 10*j. Let c be (-1 + -1)*10/20. Is t(c) a prime number?
True
Let g be 70*((-130)/(-25))/(-1). Let p = 477 - g. Is p composite?
True
Let a(c) = 2*c**3 + 8*c**2 + 2*c + 6. Let h be a(4). Suppose 0*d 