 11*k - r*k = 115. Is k prime?
True
Suppose -3311416 - 4955019 + 2817120 = -5*j. Is j a prime number?
True
Let q = 2377 - 1590. Let l(c) = 20*c - 412. Let n be l(21). Suppose n*y = 7*y + q. Is y a composite number?
False
Suppose 30*u - 8326456 + 1106188 = 1966662. Is u prime?
False
Suppose 5*t = 8*t + 5*f - 9081, -4*t + 3*f = -12166. Is t prime?
True
Let y = -233 + 225. Is 4 - 111368/y - 4 a composite number?
False
Is 580521 + (-20 - (-6 - 4)) a prime number?
False
Suppose -28*y - 56*y = 36*y - 88474200. Is y a composite number?
True
Let x = 7349 - -4016. Suppose -5*b + l + x = -3*l, -b = 3*l - 2254. Suppose 5*m - 1701 = b. Is m a composite number?
True
Let i = -1215229 - -1955318. Is i a composite number?
True
Let y = -2038238 + 3500395. Is y composite?
False
Suppose 3*r + 82 = 3*d + 430, 4*r - 2*d = 472. Suppose r = 10*i - 14*i. Let t = i + 83. Is t composite?
False
Suppose 3*v = -2*y + 5, 0 = 2*y - v - 12 + 3. Suppose -4*a = -y*b + 4504, -5*b + 6474 = 2*a + 865. Is b a composite number?
False
Let q(d) = 20310*d**2 + 123*d + 515. Is q(-4) composite?
False
Suppose 9*f + 9705 = 1812. Let z = f + -1360. Let v = -1080 - z. Is v a prime number?
False
Let z(o) be the second derivative of 7*o**6/120 + 2*o**5/15 - o**4/6 - 21*o**2/2 - 29*o. Let u(j) be the first derivative of z(j). Is u(5) a composite number?
True
Suppose 6395 = x + 2*u, 22*u + 51286 = 8*x + 17*u. Is x prime?
False
Let a be -5*4/(-80)*(-2 + 2). Is (344 - (-4 + a)) + 5 a prime number?
True
Let q(z) = -22 - 28 + 45 - 99*z. Is q(-1) composite?
True
Is ((-389)/3)/((-8)/24) a prime number?
True
Suppose k + 3 = -y, 0*y + 5*y - 15 = k. Is 2846 - (1 - (0/(-3) - y)) composite?
False
Suppose -c = 4*h - h - 53, 0 = -c - 4*h + 51. Let m = 61 - c. Suppose -3*v = 2*r - r - 1703, -3406 = -m*r - 3*v. Is r a composite number?
True
Suppose 2*u = -6*u - 48. Is ((-66104)/u - 4/(-6))/2 a prime number?
False
Let b = 6 - -10. Let l be (210/(-24))/(2/b). Is ((-392)/l)/(4/10) prime?
False
Let g be (-5)/((-25)/(-2))*-115. Let u = g + -44. Is ((-106)/(-4))/(7/u + -3) composite?
False
Let x(g) = 39*g**2 - 21*g + 76. Let k = -156 - -162. Is x(k) prime?
False
Let u = 60873 + 314856. Is u a composite number?
True
Is (-32769330)/(-99) + (7/(-21) - 0) a composite number?
True
Let g(v) = 16757*v - 593. Is g(6) composite?
True
Let a(y) = 5777*y - 4. Let l(u) = 2*u**2 + 27*u + 37. Let j be l(-12). Is a(j) prime?
False
Suppose -39*q - 381711 = -1231872. Is q prime?
True
Let z(y) = 2*y**2 + 12*y - 24. Let a be z(-8). Suppose a*s - 12645 = -7*s. Is s prime?
False
Let b = 50 - 47. Suppose b*y - 2790 = 8*y. Let i = y - -821. Is i a composite number?
False
Suppose 3 = 3*j - l + 2, -3*l = 3*j - 21. Suppose -50 = 5*y + o + o, j*o + 26 = -3*y. Is 7809/9 - (-4 + (-32)/y) a prime number?
False
Let o(p) = p**3 - 20*p**2 + 4*p - 78. Let t be o(20). Let v(l) = 551*l**2 + 9*l - 21. Is v(t) a composite number?
True
Let q = -58939 - -93981. Suppose 5*w - q = -9*w. Is w composite?
False
Let c(r) = 238*r**3 + 4*r**2 - 358*r - 5. Is c(12) prime?
False
Let r = -441713 + 624596. Is r a composite number?
True
Is (4 - 22 - -14)*(2627853/12)/(-1) prime?
False
Let s be -3 + 63/(3 - -4). Suppose -2*j + 1784 = s*j. Is j prime?
True
Let x be (0 + 1 - (9 - 7)) + 1. Is x - 2/(8/(-12148)) prime?
True
Is (-5)/(2 + (-145701)/72843) prime?
True
Suppose t + 10423 = -n - 4*n, 5*t - 4*n + 52086 = 0. Let b = -6031 - t. Is b a prime number?
False
Suppose -2*m = 7*m + 36. Is 3957 + (2 + 8/m)*1 composite?
True
Suppose h = -4*a - 8 + 4, 0 = -5*h - 2*a + 34. Suppose -h*u = -5*u - 2*u. Is 1 - -409 - (1 + u) prime?
True
Suppose -49*m + 15607 + 117413 = -181609. Is m composite?
False
Is 100376 + 12/(-14)*(-105)/(-10) composite?
True
Let h = -63426 + 101207. Is h a prime number?
True
Let v(f) = 2*f**3 + 43*f**2 + 67*f + 14. Let x be v(-16). Suppose 0 = -m - 0 + 1, q - x = -m. Is q prime?
False
Let v(l) be the second derivative of l**5/5 + 3*l**4/2 - 29*l**2/2 + 88*l. Is v(15) a prime number?
False
Suppose 8*p + 5*p + 1079 = 0. Let a = 550 + p. Is a composite?
False
Suppose 0*h = -5*h - 2*r + 10, -5*h - 3*r = -5. Suppose 7*g - 3*g + h*q - 40 = 0, -4*g + 32 = 2*q. Is (382/g)/((-4)/(-12)) a composite number?
False
Let k(c) = -38 + 31 - 60 - 1722*c. Is k(-3) prime?
True
Suppose -5*t = 5*r - 9147610, 3*r + 1374*t = 1375*t + 5488554. Is r a prime number?
True
Suppose 2*p + 13725 - 59561 = 0. Suppose z = 3*t - 17191, 4*t = 6*z - 3*z + p. Is t a composite number?
True
Let l(s) be the second derivative of -s**4/6 - 8*s**3/3 - 5*s**2 + 40*s. Let k be l(-8). Is 29/2*(k + 4)/(-1) a composite number?
True
Let y = 71 + -60. Let k = 19 - y. Suppose -9*l = -k*l - 499. Is l prime?
True
Suppose 4*c - 10 = -2, 0 = 4*x - 4*c - 16. Let s = -150 - -304. Suppose x*n - 4*n = s. Is n prime?
False
Let r(j) = 27*j**2 - 2*j + 16. Suppose -5*x = -2*x. Suppose 10*s - 7*s + 15 = x. Is r(s) a prime number?
True
Let i = 48 + -82. Let t(l) = -l**3 + 4*l**2 + 7. Let s be t(6). Let h = i - s. Is h a composite number?
False
Let w = -159833 + 299976. Is w a prime number?
True
Let z = 868883 + 133253. Is (-2)/(-12) - (z/(-48))/19 a composite number?
True
Suppose -k = 5*z + 5663 - 17564, 3 = -3*z. Suppose 256*r - 254*r - k = 0. Is r a composite number?
False
Let g be -1 - (0 - 1) - (-2626)/101. Let p(c) = -c**3 + 30*c**2 + 54*c + 27. Is p(g) a composite number?
True
Suppose -5*w + 3*q - 2*q - 33305 = 0, -2*w - 13339 = 3*q. Let z = -2740 - w. Suppose -7*a + 180 = -z. Is a prime?
False
Suppose 21*x = 8*x + 4758. Suppose -x = 8*j - 77062. Is j prime?
True
Let v be ((-10)/3)/(204/54 + -4). Suppose -10*z - v = -85. Let q(w) = 8*w**2 + w + 14. Is q(z) composite?
True
Let a(y) = 4*y**3 - y**2 - 24*y + 7. Let o be a(-10). Let c = -2000 - o. Is c prime?
False
Is -86 + 29701 + -1 + -15 a prime number?
True
Let f(x) = 6*x - 14. Let h be f(6). Suppose j - h*j + 42945 = 0. Is j prime?
False
Let p = 268 + -262. Suppose -p*j = j - 15701. Is j composite?
False
Suppose r = -4*i + 9667, -16*i = -11*i - 30. Is r a prime number?
True
Suppose 6*h + 2*w = 208405 + 548167, 0 = -h - 3*w + 126082. Is h a composite number?
False
Let w(v) = -v**3 + 8*v**2 - 8*v + 7. Let k be w(7). Suppose -12*c + 37941 + 34119 = k. Is c a prime number?
False
Let x(i) be the third derivative of 9*i**6/20 - i**4/3 - 5*i**3/6 + 163*i**2. Is x(4) prime?
False
Let g(r) = 2025*r**2 + 191*r + 81. Is g(22) a prime number?
True
Suppose 3*f - 1 = -2*h, f + f - 5 = 3*h. Let m(p) = -349*p - 8. Let k(j) = 9*j + 1. Let r(t) = 6*k(t) + m(t). Is r(h) a composite number?
False
Let g = 61 - 118. Let d be g/(-9) - 4/(-6). Suppose d*u - 5*u = 502. Is u a prime number?
True
Suppose -9 - 11 = -2*r. Let t = -16 + r. Let a(f) = -f**3 - 2*f**2 + 4*f + 7. Is a(t) a composite number?
False
Let b = -46 + 44. Let d be 3668 - (27/(-18) - (-3)/b). Is 0 + d - ((-10)/(-5) - 2) a prime number?
True
Let z = 32371 + -17784. Let m = -10372 + z. Suppose 2*i + m = 5*i. Is i a composite number?
True
Suppose 2*q + 0 = 4, 2*q = i - 588. Suppose -6*l + i + 770 = 0. Suppose -41 + l = 6*s. Is s a prime number?
True
Let o be (-1)/(9/(-6))*3. Suppose o*y + 2511 - 1041 = 0. Is (1 - 2)*(4 + y) prime?
False
Let q(f) = -293754*f**3 + 3*f**2 - 7*f - 25. Is q(-2) prime?
False
Let n(f) = f**3 + 11*f**2 + 11*f + 14. Let m be n(-10). Suppose -m*i - 4*b = -5*b - 19319, -5*i + 5*b = -24130. Is i prime?
True
Suppose 12*d - 57497 + 7373 = 0. Is d a composite number?
False
Let v(k) = 9227*k**3 + k**2 + 22*k - 45. Is v(2) a prime number?
True
Let l(n) = -234905*n + 2547. Is l(-2) composite?
True
Suppose -4*q = -p + 148 - 448, 140 = 2*q - 3*p. Let a = q + -73. Suppose h + a*r - 1137 = 0, 2*r + 1141 = h + 4*r. Is h composite?
True
Let t = -25083 + 38122. Let r = t + -3948. Is r a composite number?
False
Let b(i) be the third derivative of -2*i**5/3 - i**4/12 - 10*i**3/3 - 3*i**2. Let a(x) be the first derivative of b(x). Is a(-2) composite?
True
Let m be (-108)/(-21) + (-7)/49. Suppose 2*g - 36889 = -5*s, -g = -m*s + g + 36901. Is s a composite number?
True
Let g(o) = 39*o**3 - 7*o**2 + 120*o - 127. Is g(28) prime?
True
Let s(o) = 15*o**3 - 8*o**2 - 7*o + 17. Let y(c) = 13*c + 174. Let f be y(-13). Is s(f) composite?
False
Let n(u) = 40*u**2 + 22*u - 65. Suppose -14*i - 154 = -25*i. Is n(i) a composite nu