5*a, -4*a - 613656 = -4*w. Is w a prime number?
True
Let p(l) = 3*l**2 - 17*l + 13. Suppose 4*n = -5*o - 0*o + 34, 5*o - 26 = 4*n. Let r be p(o). Suppose s = 5, s = -y - r + 2603. Is y a prime number?
True
Let f(o) = -4*o - 11. Let r be f(-4). Suppose -r*j + 3*j = -3018. Is j a composite number?
True
Let a = 501 + -498. Suppose -c + 9*m - 13*m + 1949 = 0, -2*m = -a*c + 5805. Is c composite?
True
Suppose -21*p + 11*p + 2920 = 0. Let f = 1823 - p. Is f composite?
False
Suppose -5*s = -30, 4518 = 5*y + 5*s - 4747. Is y composite?
False
Let r(c) be the second derivative of -161*c**3/3 - 23*c**2/2 - 93*c. Is r(-7) a composite number?
True
Suppose 0*y + 228 = 12*y. Suppose 5*h - y - 1 = 0. Suppose -j + h = j, -5*s + 5*j = -19485. Is s a composite number?
True
Let g(r) = r**3 + 3*r**2 + 806. Let q = 47 + -47. Let b be g(q). Suppose -2*w + 2*s + 2*s + b = 0, -w - 3*s + 423 = 0. Is w prime?
False
Let t(p) = 2318*p - 3 + 635*p - 15*p. Is t(1) prime?
False
Let q = -385 - -404. Is ((-95)/(-10))/q*(3614 - 0) prime?
False
Let g(w) = 2*w + 4. Let v be g(0). Suppose 2*h = -v, 3*z - 2*h + 646 = -199. Let f = 440 + z. Is f a prime number?
True
Let v = 5 - 2. Suppose 0 = -3*m - 2*q + 243, -3*m + 2*q + 255 = -0*q. Suppose 0 = -v*f + 2*f + m. Is f composite?
False
Let l(j) = -210 + 108 + 108 + 2*j. Let y be l(-3). Let x(a) = a**3 + a**2 + 2*a + 977. Is x(y) prime?
True
Let g = 153 + -156. Let j(k) = -126*k**3 - 3*k**2 - 15*k - 13. Is j(g) prime?
True
Let h(w) = w - 22. Let s be h(-8). Is (-73400)/s + (-4)/6 a prime number?
False
Let s = 13 + -16. Let k be (-8 - (-2 + 0))/(s/2). Suppose -i + 789 = -k*n, 858 = 3*i - 4*n - 1469. Is i a composite number?
False
Suppose -2*v = -5*j - 35, 5*v = 2*j + 3*v + 14. Suppose 32*q = 21*q - 385. Is (q/(-4))/j*-68 composite?
True
Is 1232857 + ((-160)/(-45) - 80/(-180)) composite?
True
Let d = 616 - 1171. Let i = d + 1462. Is i prime?
True
Suppose v - 676 = -v. Suppose 13*n + v = 15*n. Suppose -n = -h + 168. Is h composite?
False
Suppose -3894 = 3*y - 0*y. Let g be (5047/14 - -6)/((-7)/42). Let f = y - g. Is f a prime number?
False
Is -14 + 3 + (13 - (-463194)/6) a prime number?
True
Let u(j) = j**2 - j - 159. Let k be u(13). Let a be (-13238)/2 + (1 - 2). Is k/(-2)*a/(-30) a composite number?
False
Let n be -9*5298/4 - 21/(-42). Is 1/(5944/n - 2/(-4)) a composite number?
True
Suppose 4*l = 5*w - 31 + 1, 5*l + 3*w + 19 = 0. Let c(n) = -14*n**3 + 3*n**2 - 4*n - 8. Is c(l) a composite number?
True
Suppose -7756 = -17*l - 11*l. Let m = l + -246. Is m prime?
True
Suppose -3*f = 4*m - 57, 0 = -5*m + 2*m + 9. Suppose -4*o - 4*u + 791 = -201, 0 = 3*u + f. Is o a prime number?
False
Let t(k) = 4*k**2 - 5*k - 8. Let q(x) = -x + 1. Suppose -3*a + 5*g = -28, -5*a - g = g + 5. Let w(j) = a*t(j) + q(j). Is w(-9) composite?
True
Let y(u) = 745*u + 155. Let x be y(-19). Let b = 22257 + x. Is b composite?
True
Let o(r) = 225*r**2 - 27*r + 23. Is o(-17) a composite number?
True
Let c = 1068 - 598. Is c - ((-4)/(-12)*-3 + -2) a composite number?
True
Suppose 5*b = 12*b. Suppose b = -2*s - 22*s + 198888. Is s a prime number?
True
Suppose v + 680828 = 4*w, 2*w - v = -71413 + 411823. Is w composite?
True
Suppose -21 = -7*a + 98. Let k = a + -13. Suppose -1122 = -2*g - k*g. Is g a composite number?
True
Suppose 0 = -3*y + 4*t - 122, -2*y - 5*t + 3*t - 72 = 0. Let d = 14 - y. Let p = d + -29. Is p a prime number?
True
Is 1/((-372267)/(-1302763) + 3/(-21)*2) a prime number?
False
Let o(i) = 16*i**2 - 48*i + 6. Let g(j) = -46*j**2 + 143*j - 17. Let u(n) = -3*g(n) - 8*o(n). Is u(10) prime?
False
Let u = 147366 + -90275. Is u a prime number?
False
Let v(n) = n + 13. Let i be v(-11). Suppose -i*s - 462 = -4*x, 110 = -2*x + 3*x + 5*s. Let k = 422 - x. Is k composite?
False
Suppose -d + 1436627 = -2*v, -81*v + 7183225 = 5*d - 76*v. Is d composite?
False
Let i(q) = 1414*q**2 + 13*q + 94. Let m be i(-7). Suppose m = 35*a - 24*a. Is a a composite number?
False
Suppose 10*k - 19*k - 4446 = 0. Let x = 1135 + k. Is x prime?
True
Suppose 0 = 24*g + 7*g + 1365 - 11378. Suppose -n = 3*n - 2740. Let b = n - g. Is b prime?
False
Let y(i) = 2988*i**2 + 3*i + 1. Suppose 3*d + 74 = 68. Let t be y(d). Suppose 0 = 5*b + 4*o - t, -2*b + 3*o = 3*b - 11961. Is b composite?
True
Let t(u) = 20470*u**3 + 2*u**2 - 106*u + 105. Is t(1) prime?
False
Suppose -40*o + 43*o = -207. Is (-46)/o - (-10819)/3 a composite number?
False
Suppose -4*q + 0*s = 3*s + 9, 9 = -5*q - 3*s. Suppose t - 5522 - 101 = q. Is t a composite number?
False
Let w(n) = 32*n**3 - 13*n**2 - 24*n - 19. Let h be w(-8). Let b = h + 31517. Is b composite?
True
Let c be 4/(-3)*(485 - 2). Let u = 653 + -1604. Let g = c - u. Is g composite?
False
Suppose -l = -5*l - 4. Let p be (1 - l) + 5 + -2. Suppose 0 = 3*w - p*z - 86, 0 = 5*w + 4*z - 8*z - 165. Is w composite?
False
Suppose 5*w - w - 27468 = 0. Suppose 22*q - 6041 - 5355 = 0. Let n = w - q. Is n composite?
True
Let x(u) = u**3 - 6*u**2 - 3*u + 27. Suppose -2*i = -4*o + 6*o + 120, -2*i - o = 119. Let h = 67 + i. Is x(h) prime?
True
Let u = 102 - 101. Let r(x) = 2473*x**2 + 2*x - 2. Is r(u) composite?
False
Let y be (1 - 2/(-8))*4. Suppose -2*o - 4*p - 24 = 0, -y*o = 2*p + 11 + 33. Is 70 - 1 - (10 + o) composite?
False
Let t(l) = -75 + 136 - 72 - 11*l. Let o be (24/36)/(1/(-12)). Is t(o) a prime number?
False
Is (-1)/1*(-424 + -141583) composite?
False
Let f = -101 - -104. Suppose -3*q - 5*d = -q - 20724, f*q = -4*d + 31079. Is q prime?
True
Let v be (-4)/(-12)*0 - -20. Let z be (2 + (-1 - -19))*10/v. Suppose 5*p - z*p + 310 = 0. Is p a prime number?
False
Let n(s) = -83*s + 1424. Is n(-55) prime?
False
Suppose -10*h = -11*h + 7. Suppose -h*x - 3 + 17 = 0. Suppose a + 4*c - 987 = 0, -4*a - x*c + 5009 = 1131. Is a a composite number?
False
Is (-21)/(-35)*(657746/6 + 4) a prime number?
True
Let c(t) = -1770*t - 109. Let u(j) = 886*j + 55. Let q(o) = 6*c(o) + 11*u(o). Is q(-9) composite?
False
Let u(p) = -3*p**3 + 11*p**2 - 6*p - 18. Let w(j) = 3*j**3 - 11*j**2 + 4*j + 17. Let o(b) = 6*u(b) + 7*w(b). Is o(8) composite?
True
Let b(k) be the second derivative of k**4/3 - 17*k**3/3 + 143*k**2/2 + 38*k + 1. Is b(36) composite?
True
Let y(o) be the first derivative of 61*o**3 - 5*o**2 + 6*o - 109. Is y(3) a composite number?
True
Let z = 130900 + -46259. Is z composite?
True
Suppose -3*j = 9, m + 68 = j + 3*j. Suppose 0 = w - 35 - 104. Let l = m + w. Is l a composite number?
False
Suppose 2*p = -v + 6*v - 90, -5*p - 57 = -2*v. Suppose -3*m + v = 1. Suppose 2*x = -4, 0 = -m*d - 5*x - 70 + 1225. Is d composite?
False
Suppose 46*n - 2004947 = -462463 + 3949686. Is n a prime number?
False
Suppose -27*i + 381515 = -22*i. Is i composite?
False
Let s = 61 - 67. Let v(q) = -1689*q - 5. Is v(s) prime?
False
Let s(y) = y - 63. Let k(x) be the third derivative of -x**4/12 + 125*x**3/6 + 40*x**2. Let b(l) = 6*k(l) + 11*s(l). Is b(19) a composite number?
True
Let v = 24 + -20. Suppose 5*i = 2*i + 2*l + 8, 0 = -3*i - l - v. Suppose 200 = 4*h + 3*a, 2*a + 61 = h - i*a. Is h a prime number?
True
Let v(n) = -19*n + 226. Let o be v(19). Is 9/(o/10) + (-14230)/(-6) composite?
False
Suppose 5*t + 4986 = 3*q, -t - 20 + 17 = 0. Is q composite?
False
Let k(o) = -167*o**3 - 12*o**2 - 12*o + 4. Let r(a) = -250*a**3 - 18*a**2 - 19*a + 6. Let b(w) = -8*k(w) + 5*r(w). Is b(5) a composite number?
False
Let o(p) = 5*p - 83. Let h be o(17). Suppose -3*d + 3*q + 16 = q, -d - q = -h. Is 1074 - 1 - (d - 5)*0 a composite number?
True
Let g(p) = 9527*p + 491. Is g(1) prime?
False
Suppose 0 = -9*k + 4*k + 75. Suppose -3*y + k = 2*y. Suppose -2699 = -5*x + y*h, -4*x + 2160 = h - 3*h. Is x a prime number?
True
Suppose -4209*k - 13962011 = -4258*k. Is k prime?
False
Suppose j - 2 = -0. Suppose j*c = -3*f + 2, 0 = -f - c + 6*c + 12. Suppose -9*w + f*w = -1498. Is w a composite number?
True
Let k(m) = -5 + 3*m + 7*m**3 + 5 - 6*m**2 + 3. Let f be 32*(-4)/(-24) + 1/(-3). Is k(f) prime?
True
Let r = -55259 + 79607. Suppose r = 12*z - 20784. Is z a prime number?
True
Let k = 11860 - 965. Let b = 4023 + k. Suppose -2885 = 9*j - b. Is j prime?
False
Is (-9 - (-189500)/16)*8 prime?
False
Is (2/6)/((-41)/(-855219)) a composite number?
True
Let n(m) = -m**2 + 16*m - 29. Let d be n(13). Suppose -d*z + 2007 = -8483. Is z a p