*m**4/2 + 7*m**3/2 + 20*m**2. Let k(u) = 1. Let d(r) = -a(r) + 4*k(r). Is d(-6) a composite number?
False
Let o = -73291 - -236400. Is o composite?
False
Let d = 1429114 - 983423. Is d prime?
True
Let s = 53 - 51. Suppose -2*l + 6 = -s. Suppose -2*z = 5*n - 2779, l*n + 4*z = 6*z + 2234. Is n composite?
False
Let y = 224732 + -157285. Is y prime?
True
Let g(t) = -21*t**3 - 9*t**2 + 61*t - 37. Is g(-28) composite?
False
Let g = -370 + 391. Suppose 22*k - 67 = g*k. Is k composite?
False
Let w(q) = q**3 - 9*q**2 + 15*q + 9. Let y be w(7). Let u(s) = -s**2 + 20*s - 13. Let k be u(y). Suppose -38 = -v + k. Is v prime?
True
Let t(a) be the second derivative of a**4/4 - 5*a**3/6 - 7*a**2/2 + a. Let g(y) = -y - 18. Let f be g(-27). Is t(f) composite?
False
Suppose 0 = -2*k + 4*o + 688870, -5*k - o - 17773 = -1739849. Is k composite?
False
Let m = 373043 - 158040. Is m prime?
False
Let h(t) = t**3 - 5*t**2 - 4*t - 7. Let u be h(5). Let q be (-6)/u + 3219/(-27). Is -3 + (-2 - (-4 + q)) a prime number?
False
Let b(n) = n + 18. Let g be b(-7). Is (35/42)/(((-11)/(-16602))/g) a prime number?
False
Let h = 514 + -912. Let v = h + 729. Is v composite?
False
Suppose 0 = -18*l - 29717 + 275255. Is l prime?
False
Let z = 24416 + 12155. Is z composite?
False
Let t = 12 - -36. Let d = 50 - t. Is (-2 + 8/d)/((-2)/(-571)) a prime number?
True
Let a(t) = -213 + 441*t + 14 - 33 + 4. Is a(15) prime?
False
Let c(o) = o**3 - 2*o + 1. Let f(d) = 11*d**3 - d**2 + 3*d - 16. Let t(n) = -2*c(n) + f(n). Is t(5) prime?
True
Let g(f) = 12*f + 40. Let k(w) = -37*w - 120. Let o(q) = 8*g(q) + 3*k(q). Let y be 34/(-51) + 1*50/(-6). Is o(y) a composite number?
True
Suppose 0 = 36*g - 42*g + 3204. Is 184/4*g/12 a composite number?
True
Is (-25)/200 + (-102642)/(-16) a composite number?
True
Let n = -251071 - -439530. Is n a prime number?
True
Suppose -6*j + 42 = -3*j - b, 0 = 3*j + b - 48. Is j/(60/4816) - 3 a composite number?
False
Let n(y) = 18*y**2 + 29*y - 5473. Is n(-162) composite?
False
Suppose 22 = -2*x + 226. Let k = x - 60. Is (k/6 + -3701)*1/(-2) composite?
False
Let m be (-74)/(-6) - (-8)/12. Let x = m + -11. Suppose -o - 3518 = -2*h, -x*h + 2676 = 2*o - 830. Is h a composite number?
True
Let n = -1764 - -3519. Let r = 3116 - n. Is r a composite number?
False
Let v = 1158 + 1163. Suppose -20*m + 9*m = -v. Is m prime?
True
Let y be ((-312)/(-20) + -2)*(-785)/2. Let w = -3645 - y. Is w a prime number?
True
Suppose 0*v - 11*v - 3*v = 0. Suppose 59*m - 55*m - 21884 = v. Is m prime?
True
Let x = 757464 - 251773. Is x prime?
True
Let z be (18/15)/((-34)/(-85)). Is (100996/(-84))/((0 - z)/9) a composite number?
False
Let y(d) = 194*d**3 - 8*d**2 + 10*d + 1. Is y(7) a composite number?
False
Let f(r) = 281*r**3 - 5*r + 3. Let k be f(2). Suppose -6*u + 285 = -k. Suppose 3*z - u - 374 = 0. Is z prime?
False
Suppose 0 = 30*z - 31*z + 3. Suppose 6206 = -z*i - 14062. Is 4/6*4/((-16)/i) composite?
True
Suppose 166*u - 1059401 - 4306705 = 476596. Is u a prime number?
False
Let k(p) = 5*p + 11*p - 13*p + 0 - 3 + 100*p**2. Let y be k(2). Suppose -5*z = -2*m + y, 0*z = m - z - 206. Is m a prime number?
False
Suppose -15818*z - 8114066 = -15852*z. Is z a prime number?
True
Let x(r) = r**2 - r + 5. Let q be x(2). Suppose 630 - 5831 = -q*b. Is b a prime number?
True
Let o(c) = -70*c**3 - 6*c**2 - 15*c - 26. Let y(x) = 71*x**3 + 8*x**2 + 16*x + 26. Let v(j) = 5*o(j) + 4*y(j). Is v(-5) prime?
True
Let f = 425 + -420. Suppose -2*v + 17586 = -f*j, -4*j - 44035 = -5*v - 9*j. Is v prime?
True
Let o(x) = 67*x**2 - 2*x - 2. Suppose k + 2*j = -2, 4*k - 27 = 5*k - 3*j. Let v = 11 + k. Is o(v) composite?
False
Suppose 4*c + 12 + 2 = 5*d, 4*c = -3*d + 2. Let k be c/(((-4)/28)/((-3798)/21)). Let t = k + 1839. Is t composite?
True
Suppose 3*t - 7*t = -2*y + 26, 0 = -t + 4*y - 3. Is t - (-10732)/8*4 a composite number?
True
Suppose -p - 49045 = -5*k, -2*k + p + 19618 = -3*p. Suppose -f = -7*f + 12. Suppose -u + 19633 = 4*g, f*u - k = -2*g - u. Is g a composite number?
False
Let j(q) = 76*q**2 - 107*q + 632. Is j(25) a composite number?
True
Let d = -1828 - -7525. Suppose 4*o = -d - 2187. Let q = o - -4150. Is q a prime number?
True
Let l = 1309 - 589. Let d = 2371 - l. Is d composite?
True
Let l = 588 + 105. Suppose 3*d - 3785 = -5*s - l, 4*d + s = 4117. Suppose d = 2*y + 5*k, k = -0*k - 1. Is y prime?
False
Let n(o) = 4*o**3 - 15*o**2 - 52*o - 13. Let a(f) = 5*f**3 - 16*f**2 - 51*f - 11. Let m(r) = -3*a(r) + 4*n(r). Is m(27) a prime number?
True
Let w be 4*(-9 - (-287)/28). Suppose -4*r = 9 - 25, -21243 = -w*d - 2*r. Is d composite?
True
Let j(g) = -g**3 - 7*g**2 + 68*g + 371. Is j(-32) a composite number?
True
Let g(w) = 14668*w + 31. Is g(4) composite?
True
Let t = 602 - 567. Let c = 50 + -11. Suppose c*s = t*s + 2488. Is s composite?
True
Let j(c) = 3*c + 10. Let d be j(0). Let g be 4/d + -1*(-6)/(-15). Suppose -3*z - 5*n + 1433 = g, -4*z - 2*n - 2409 = -9*z. Is z prime?
False
Let z be (-5)/(-1) - (-8)/(-2). Suppose -7*m - z = -1. Suppose -49 = -o - m*o. Is o prime?
False
Is ((-95640)/(-180))/(2/1227) composite?
True
Is (96170/(-15))/(4*(-9)/54) prime?
False
Let i = 199 + -199. Suppose i = 4*j - 21*k + 24*k - 15950, -2*j = 3*k - 7972. Is j composite?
False
Suppose -3*a = c - 2*a - 6, 0 = 4*c - 4*a. Let j(s) = 503*s - 28. Is j(c) a composite number?
False
Let b(m) = 94*m**3 - 3*m**2 + 5*m - 5. Let x = 32 + -30. Let t be b(x). Suppose d = -4*d + t. Is d a prime number?
True
Let t = 63 - 55. Suppose -v + t = -3*v - 3*n, 4*n - 36 = 4*v. Let p = v - -590. Is p a prime number?
False
Suppose 0 = -4*d - 3*h - 3411, 1133 - 287 = -d - 3*h. Let r be (-1236)/(-10)*(-1200)/(-45). Let i = d + r. Is i a prime number?
True
Suppose 2*j + j - 5088 = 0. Suppose j = 2*w + 2*w. Let n = 645 - w. Is n a prime number?
False
Let w(z) = -z**2 - 7*z - 2. Let q be w(-6). Let n be q/(-10) - 132/(-30). Suppose n*r - 3*r = 5*t + 101, -2 = -t. Is r a composite number?
True
Let u(x) = -893*x + 2315. Is u(-22) a prime number?
True
Suppose 27*k = 54*k + 1701. Is 6356/k*(-81)/18 composite?
True
Suppose -2*x = -32*x + 85*x - 2834645. Is x a composite number?
False
Let h(l) = 7 - 14 - 40 + 93*l. Let g(m) = -19*m**2 - 230*m - 18. Let p be g(-12). Is h(p) a composite number?
True
Suppose -y = -3*y + 2*l + 6, -3*y + 4*l = -14. Is (5998/6)/((y - 12)/(-42)) a composite number?
False
Let q(m) = -m**3 - 6*m**2 - 3*m + 2. Suppose -3*t = -i + 13, 4*i - 7 = -27. Let d be q(t). Is d/(-30)*3018/(-4) composite?
False
Let y(k) be the first derivative of -k**4/2 - 11*k**3 - 5*k**2/2 + 15*k - 207. Is y(-17) a composite number?
False
Let g = 9534 - -7515. Is g prime?
False
Let v be 2/(-3) + 84110/(-78). Let o = 1662 + v. Is o a prime number?
False
Let r(d) = -d**3 - 5*d**2 + 13*d - 19. Let h be r(8). Let u = h - -1224. Let j = u - 98. Is j a composite number?
False
Suppose -13*t - 6482 = -15478. Suppose 250 = -g - t. Is g/(-18)*(-18)/(-2) composite?
True
Let f = -40 - -26. Let m = -14 - f. Suppose g - 84 - 95 = m. Is g a composite number?
False
Suppose 21*h - 22*h = -4. Let c(w) = w + 6*w + h - w. Is c(7) a composite number?
True
Let u be -8135*(-4 + 5) - -1. Is 3/(-54)*-3 - u/84 a prime number?
True
Let p be ((-282120)/35)/(-12) + (-2)/(-7). Is 5/(-3)*(3 - p) a prime number?
False
Suppose 6 = 3*r - 9. Let z(q) = -q**2 + 4*q + 8. Let d be z(r). Is ((-27)/(-6) + d)*2 prime?
False
Let a(j) be the second derivative of 55*j**3/3 + 13*j**2/2 - 5*j. Let u be a(6). Suppose -2*g + 7391 = 5*r, 3*r - g - u = 3755. Is r composite?
True
Is (-6 - ((-7138365)/(-12))/(-5)) + 3/12 composite?
False
Is 54658802/462 - (-30)/(-315) a composite number?
True
Let c(n) = n**2 - 4*n - 21. Let j be c(-3). Suppose 11*h - 374390 - 1172507 = j. Is h a composite number?
False
Let c(a) = -a + 33. Suppose 0 = 4*g - 5*y - 56, 0*y - 42 = -2*g - y. Let j be c(g). Let i(z) = 13*z**2 + 11*z + 21. Is i(j) a prime number?
False
Let t(c) be the third derivative of c**4/12 + 131*c**3/6 - 220*c**2. Let o(b) = -b**2 + 4*b - 3. Let x be o(3). Is t(x) a prime number?
True
Suppose -4*z + 27568 = -3*v + 4051, 0 = -z + v + 5879. Let r(o) = 422*o - 2107. Let l be r(5). Suppose -4411 = -3*q + m, 4*q - l*m - z = -m. Is q prime?
True
Let z = 427 - -298. Let s(q) = -26 - 28 + z*q - 29 + 91. Is s(1) prime