Is m a prime number?
True
Suppose 6*r - 3 = 15. Suppose 4*y = -5*d + 3*d - 770, 0 = -r*d + y - 1155. Let g = 804 + d. Is g a composite number?
False
Suppose t + 8*c - 11*c = -453, -1844 = 4*t - 4*c. Let x = 24910 + t. Is x prime?
False
Let i(y) = 907764*y + 935. Is i(2) a composite number?
True
Let t(u) = u**3 - 7*u**2 + 6*u + 19. Let x be t(8). Let a = x + -73. Let i = a - 5. Is i prime?
True
Suppose -k - 10979 = -x, 112*k - 111*k = 0. Is x a prime number?
True
Let j be (-6)/10 + (-9336)/40. Let f be ((-2)/(-6))/((-26)/j). Suppose -2*d + 10 = f*d, -5*d = 3*s - 355. Is s composite?
True
Let l(d) = 11874*d**2 - 855*d + 6925. Is l(8) composite?
True
Let r(w) = 8*w**2 + 68*w - 61. Let j be (-1071)/35 - 9/(-15). Is r(j) composite?
False
Is 866*16475/(-250)*-5 a prime number?
False
Suppose 15*i - 1660232 + 386837 = 0. Is i a prime number?
False
Suppose p - 1 = -3. Is ((-16672)/(-96))/(p/(-6)) a composite number?
False
Suppose -2*d - 341 + 143 = 0. Let f(s) = -406*s**3 + s**2 + 5*s + 4. Let v be f(-1). Let c = v + d. Is c composite?
False
Suppose -10430 = -11*o + 107743. Suppose -10*k + 767 = -o. Is k a prime number?
True
Let f(s) = -s**2 + 11*s + 528. Let c be f(0). Suppose -517 = -2*u + m, 2*u + 2*m - c = -8. Is u prime?
False
Let d(q) = 884*q + 175. Let p(m) = 883*m + 175. Let o(k) = -4*d(k) + 3*p(k). Is o(-6) a prime number?
True
Let x = 951 - 947. Suppose -x*m = f - 104398, -3*m + 6*f - 2*f + 78289 = 0. Is m a composite number?
False
Suppose -5*m - 4*v = -0*m - 402, 2*v + 228 = 3*m. Let w = 82 - m. Suppose 0 = -3*u + 5*z + 648, -2*u + 434 = -0*u - w*z. Is u prime?
True
Suppose 3*n = 2*p - 49, -3*p + 41 = n + n. Let r(q) = -24*q - 39. Let v be r(p). Let h = -92 - v. Is h a composite number?
True
Let m = -175 - -176. Is 507 - -13 - (3 - (m - 1)) a prime number?
False
Let l(s) = 169*s**2 + 237*s - 75. Is l(-65) composite?
True
Let z(h) = 2927*h + 108. Is z(5) a prime number?
False
Suppose 4*x + 10*d = 13*d - 19431, 4*d - 4 = 0. Is 6 + (-3 - (x + -1)) a composite number?
False
Let a(n) = 602*n**2 + 65*n + 745. Is a(-16) a composite number?
False
Let j be -1*(-1 - 2 - -3). Suppose j = -i + o + 6 + 7, 25 = 4*i + 5*o. Suppose -i*k + 30 + 1240 = 0. Is k composite?
False
Let d = 2723 + -698. Suppose 3*l + 591 = -j, -3*j - 3*l + 240 = d. Is j/6*(-5 - -3) a prime number?
True
Let f(n) = -135*n - 24. Let l(p) = 135*p + 23. Let u(h) = -4*f(h) - 5*l(h). Let k be 3 - 5*33/15. Is u(k) a prime number?
True
Suppose 0 = 3*b - y + 3, 4*b - 6 + 10 = 3*y. Let w(v) = -446*v**3 - 2*v**2 + 2. Is w(b) a prime number?
False
Let i(n) = -161*n**2 + 135*n**2 + 176*n**2 + 4*n - 4. Let y be i(2). Let l = y + 1791. Is l prime?
False
Let i(y) = 13*y - 104. Let u be i(29). Let o be -33*(-1)/3*-10. Let r = u + o. Is r composite?
False
Let b be (-60)/(-10) - (-1 + -4 + 1). Let g(q) = 29*q - 64. Is g(b) composite?
True
Let j be ((-15)/(-5) - 18/4)*-2. Suppose -o + 5*o = t + 1270, j*t = o - 3777. Is 5/(-2)*(-10)/(-50)*t a prime number?
False
Let g be (46/(-7))/(440/(-70) + 6). Is (g/2)/(4*5/5080) composite?
True
Let i(g) = -g**2 - 4*g + 12. Suppose 0*y - 44 = -2*a + 4*y, -4*a + 79 = -5*y. Let s be i(a). Is (-13187)/(-7) - 1 - 44/s a prime number?
False
Let p(w) = w**2 + 17*w + 36. Let y be p(-12). Is (-4)/(y/30) - -834 a composite number?
False
Let d(c) be the second derivative of 22*c**3/3 + 43*c**2/2 + 7*c. Is d(6) composite?
False
Suppose -14 = -9*g + 22. Let h be 2532/6*(-1 + 2/g). Let c = h + 344. Is c prime?
False
Let j(m) = 879*m**2 - 9*m - 39. Let o be j(-4). Let l = o - 8422. Is l a prime number?
True
Is (14105869/(-85))/(31/(-155)) composite?
False
Let p be (-82)/(-14) + (-6)/(-42). Suppose 0 = -5*n - q - 41, -p = -3*n - 3*q - 21. Is (40/(-28) - n/21)*-59 composite?
False
Let w = -12 - -25. Suppose -4*t + w = -23. Suppose 0 = 5*c - r - 190, t = -c + 2*r + 47. Is c prime?
False
Let v = 110 + -88. Suppose -8 - 2 = d - 3*k, 4*k - v = -3*d. Suppose -5*b + 1115 = 3*y, -4*y - 223 = -b - d*y. Is b a composite number?
False
Is 3/8 - (5 - 69684/32) prime?
False
Let i be (-9)/(-45) - (-816612)/15. Is i/27 + (-2)/(-3) prime?
True
Let d = 10726 + 55155. Is d composite?
False
Let b(q) = 694*q**2 - 36*q + 235. Is b(13) a prime number?
True
Let n(j) = -5*j + 4. Let d be n(0). Is ((-2)/d)/(1/(-7598)) a composite number?
True
Suppose -5*x - t + 1931396 = 0, 2*t - 386281 = 13*x - 14*x. Is x a prime number?
True
Let f(c) = c**3 + 12*c**2 + 15*c - 22. Let v be f(-10). Let d be -170*v/(-2) - 3. Suppose 2*t - 3*r = d, -3*t = -7*r + 4*r - 3564. Is t composite?
False
Let s(o) = -22*o - 111. Let y be s(-5). Is (y - (-9866)/12) + 6/(-36) a composite number?
False
Let s = 11624 + -8150. Let k = s - 541. Is k prime?
False
Suppose 4*g - 5463042 - 1449283 = -21*g. Is g a composite number?
True
Suppose 0 = -378*v + 363*v + 2432145. Is v prime?
True
Let n(l) = -l**3 + 73*l**2 + 742*l + 125. Is n(66) prime?
True
Let d(z) = -2*z**2 - 7*z + 6. Let s be d(-4). Let y(u) = -s*u**2 - 9*u**2 - 3*u + u**3 + 29 - 37. Is y(13) composite?
True
Let m = -141 + 143. Is 4304 - (5 - 3)/m a composite number?
True
Let x(v) = 85*v**2 - 10*v + 219. Is x(32) a composite number?
False
Let o be 70/(-22) + (-22)/(-121). Let b be 1/o - (-7241)/(-3). Is (4*(-2)/(-8))/((-2)/b) prime?
False
Let g = -154 - -154. Suppose g*v + 2*v + 3*a = 15131, -3*a = 15. Is v a composite number?
False
Let w(a) = -8*a**3 - a**2 + a. Let b be w(1). Let k = 67 + b. Is k a composite number?
False
Suppose 0*d = 5*d. Let r = -979 - -1969. Is (-1 + d)/((-18)/r) a composite number?
True
Let f = 383 + -344. Let l = f - -264. Is l composite?
True
Suppose 185 + 265 = 5*y. Suppose -34*n + 679 + 443 = 0. Let i = y + n. Is i composite?
True
Is (42/63)/((-4)/(-1393818)) composite?
False
Let u(s) = -718*s - 159. Is u(-49) a composite number?
False
Suppose 14*j = 6*j + 2*j + 6276414. Is j a prime number?
True
Let j(k) = 2*k**3 + 11*k**2 - 7*k + 232741. Is j(0) prime?
True
Let g(h) = 3*h + 5. Let j(m) = m**2 + 19*m - 22. Let q be j(-20). Let z be g(q). Is -22 - -20 - ((-2)/z - 267) a composite number?
False
Let r(g) = g**2 - 2*g - 13. Let j be r(6). Let m(u) = -6 - 71*u - 8 + 3 - j. Is m(-15) prime?
False
Suppose 6*m - 34*m = -48*m + 25858460. Is m a prime number?
False
Let c(s) = -s**3 - 4*s**2 - 2*s + 20. Let z be (-6)/(-27) - (-9)/((-405)/280). Let x be c(z). Suppose -x = -2*f + 74. Is f composite?
False
Suppose -3*i = -2*k + 1939202, 4*k - 4*i = 8*k - 3878324. Is k a prime number?
False
Let o = -3032 + 5490. Is o/4*(8 + 2) a prime number?
False
Let o be 2*((-25)/10 + 4). Suppose 3*n + 207 = -4*y + y, o*y = n - 203. Let x = y - -103. Is x prime?
False
Let w be ((-62121)/2)/(36/(-432)). Suppose -13*m - w = -31*m. Is m a prime number?
True
Let z(h) = -2*h + 30. Let r be z(17). Let k(s) = 4*s + 16. Let x be k(r). Suppose 2*w + x*w = 5*a + 983, 0 = a + 5. Is w prime?
True
Suppose 9*c - c - 16 = 0. Let v(t) = 74*t**3 - 3*t**2 + 3*t. Let p be v(c). Is ((-48)/(-16))/((-584)/p - -1) a prime number?
False
Let k = -53057 - -114460. Is k prime?
True
Suppose 19*f - 188 = -74. Is (67395/(-45))/((-1)/f) a prime number?
False
Let z(a) = -4141*a + 46. Let m be (-6)/8 + 423/(-188). Is z(m) composite?
True
Suppose 5*r - 27780 - 2920 = 0. Let s be (-18)/(-75)*-5*r/6. Let l = s - -2301. Is l composite?
True
Suppose 3*x + 0*x = 0, 0 = 3*g + 4*x. Let f(l) = l**2 + 7*l + 379. Is f(g) a prime number?
True
Is 1992394/((-34)/(-17)) + 0 a composite number?
False
Suppose -2*h - 2*b + 8579 = -b, 4 = 4*b. Let v = 6052 - h. Is v a composite number?
True
Is 16/(-20) + 6/(180/107634) a prime number?
False
Let x(l) = 1184*l - 163. Let p be x(26). Suppose -3*q = -q - z - 20418, 3*q - p = 3*z. Is q prime?
True
Suppose -4*a + 2 = -3*a. Let o(w) = 55*w**a - 4*w - 41 + 10 - 49*w**2. Is o(-14) composite?
False
Suppose 0 = 3*r - u - 393, u + 262 = 2*r - 3*u. Let a(i) = 9*i + 43 - 38 + r*i. Is a(1) composite?
True
Suppose 16*m = 10*m + 18. Suppose j = -2, 4*v + 6651 = 7*v + m*j. Is v a composite number?
True
Let l = 17 - 12. Let w be (-9550)/(-3056) - 2/16. Suppose 0 = -4*g + l*u + 7906, 4*u - 5931 = -w*g + 7*u. Is g prime?
True
Suppose 0 = -5*h + 2*q + 16791 + 26521, 5*q = -5. Is 1 + -4 + h + 4 + 2 a prime number?
False
Suppose -3*s + 0*v + 40 = -4*v, -s + 4*v + 16 = 0. Let b(h) = 216*h - 139. Is b(