 a prime number?
True
Suppose -12*d = -24*d + 15024. Let n = -1802 - -1035. Let y = d + n. Is y prime?
False
Let j(n) = -2*n**2 + 22*n - 20. Let o be j(10). Suppose 4*m + 5*h - 1549 = o, 2*m - 4*h + 233 = 1027. Is m prime?
False
Let z be 5*(-4)/(-60)*-711. Is (28 + z)/(-1*1) a composite number?
True
Let p be ((-4)/3)/(((-110)/15)/11). Suppose b = -60 + 354. Suppose 1828 = p*d - b. Is d composite?
False
Let x be ((-9)/(-6) + -2)/((-1)/10). Is (0 + x)*5724/30 - 1 prime?
True
Let s be (-1450)/(-110) + -13 + (-48585)/(-11). Let p = -2006 + s. Is p composite?
False
Let r(v) = 145*v - 4697. Is r(144) a composite number?
False
Let f(l) = 10*l + 7205. Let p(m) = -21*m - 14413. Let b(v) = -5*f(v) - 3*p(v). Is b(0) a prime number?
False
Let z be (-201)/536 + (-94886)/(-16). Let h = z + -3751. Is h prime?
True
Suppose -3*r + 4*i - 2*i = 544, 5*i = 2*r + 359. Let t = r + 309. Is t composite?
False
Let w(x) be the second derivative of 3*x**5/20 - x**4/3 + x**3/6 - 47*x. Let s be w(2). Suppose -2*d - 2*d = -b - 6487, 2*b = s. Is d a prime number?
False
Let l(k) = -k**3 - k**2 + 2*k - 1. Let h be l(3). Let d = h - -42. Suppose -12*f + 191 = -d*f. Is f a composite number?
False
Is -288102*(2/(-12))/(27/81) a prime number?
False
Let m(i) = 4236*i + 31. Let y be m(6). Let o = y - 14676. Is o composite?
False
Let h(w) = -6*w + 178. Suppose 0 = 2*z - 4*z - 158. Let i = z - -79. Is h(i) a prime number?
False
Suppose 2*w + 43709 = -5*n, -4*w + 3*n = -n + 87488. Let r = -30637 - w. Is 1/(-2*5/r) composite?
False
Is 6534 - (3*(-20)/12 - 0/(-19)) composite?
True
Suppose -119119661 = -474*f - 7865699. Is f a composite number?
False
Suppose 308441 = 5*k - 168555 - 168669. Is k a composite number?
True
Suppose 5*c + o = 15, 0 = -4*o + 5*o. Is (5/c)/((-2)/(-1434)) a prime number?
False
Let i(x) = 234*x + 10. Let c(v) = -117*v - 5. Let f(n) = 5*c(n) + 2*i(n). Suppose -3*j + 2*j = 3. Is f(j) a composite number?
True
Suppose -3*u - 1 = -2*u. Let d(t) = -2*t**2 + 5*t + 12. Let v be d(6). Is (-45320)/v - u/3 composite?
False
Suppose 56 = 5*b - m, -5*b - m = -5*m - 44. Let k(w) = 451*w + 59. Is k(b) prime?
True
Let u(j) = -110*j**3 + j**2 + 8*j + 1. Let w(f) = 3*f**2 + 9*f - 2. Let n be w(-3). Is u(n) composite?
True
Let t be 23365*(-3 + 51/15). Suppose -5*g + 22789 = -3*i, -3*g + 3143 = -i - 10528. Suppose 0 = -6*q + t + g. Is q a prime number?
False
Let d = -171 - -237. Suppose -d*v + 72*v = 14556. Is v a prime number?
False
Let l(i) = 3*i**2 + 13*i - 11. Let p be l(10). Suppose -5*z + w + 516 - 1789 = 0, -4*z - 2*w - 1010 = 0. Let t = p - z. Is t a composite number?
False
Let x(p) = 910*p**2 - 4*p + 27. Is x(-6) composite?
True
Let t(u) = -18 + 5*u + u + 60 - 4*u. Let v be t(-20). Suppose -2*a = l - 6*a - 487, -l + 487 = -v*a. Is l prime?
True
Suppose -6*x + 2*x + 356804 = -102704. Is x composite?
True
Let x(z) = 2169*z + 9. Let d be x(3). Suppose -3*j - 3*h + d = 0, 3*j - 2167 = 2*j + 4*h. Suppose 0 = 4*b - 6519 + j. Is b a prime number?
True
Let b = 19 - 16. Suppose l = -b, v = -2*v - 2*l + 75. Is 9/(v/12) - -1795 prime?
False
Let n be (-36)/108*-17*12/2. Let g = 32 - n. Is (1107/108)/(g/(-88)) a composite number?
True
Suppose 7*l - 2*l = 0. Let b(q) = 114*q - 3533. Let a be b(31). Is a - -581 - (-1 - l) prime?
False
Suppose 6*c + 5*z - 958650 = 20473, c - 2*z - 163207 = 0. Is c a composite number?
False
Is (-174)/261 + (-1199698)/(-6) a composite number?
True
Let v(n) = 4*n + 92. Let c be v(-23). Suppose c = m - 3*j - 3445, -3*m + 2648 + 7707 = -4*j. Is m prime?
True
Suppose 116*g - 113*g = -735. Is (70/g)/((-2)/4102) a composite number?
True
Is (33/27 - 1)/2 - 128152648/(-234) composite?
False
Suppose 0 = -40*m + 38*m + 6. Suppose m*d = 10*d - 1099. Is d a composite number?
False
Suppose 95*a + 94*a - 442490 = 184*a. Is a a prime number?
False
Let p be 10/40 - (0 + (-57)/12). Suppose p*j = 6*j + 4*b - 10957, 4*j + 5*b - 43773 = 0. Is j a composite number?
False
Suppose -3*z = -4*z + 5576. Let p = -1347 + 1351. Suppose p*d = 4*a + 4480, 3*d = -2*d - 3*a + z. Is d prime?
True
Let k = 125404 + -66207. Is k composite?
False
Let g be 1 - -2 - (-9 - -5 - 0). Suppose 0 = -5*f + g*f - 20. Suppose 0 = 5*q - f*q + 3385. Is q composite?
False
Let k(f) = -76*f**3 - 2*f**2 - 19*f + 20. Is k(-9) a prime number?
False
Let w(v) = 304*v**3 - 23*v**2 + 57*v - 335. Is w(14) a composite number?
False
Let q = -2725 + 2720. Let u = -10 + -10. Is 1 + (-32808)/u - (-2)/q a composite number?
True
Let v be 2541 + 0 - (16 + -21). Let n = v - 1467. Is n a composite number?
True
Let d be (-2)/3 + (-352)/(-33). Suppose -o = d*o - 5170. Suppose o = a + a. Is a a prime number?
False
Let k(b) = 7851*b**2 + 482*b + 1. Is k(6) a composite number?
True
Let r(j) be the third derivative of j**4/24 - 5*j**3/6 - j**2. Let c be r(5). Suppose c*i = -d + 5*i + 162, 2*d + 5*i - 309 = 0. Is d prime?
True
Let r = -1200 + 28811. Is r a composite number?
False
Let k = -105 + 123. Suppose 2*f - k*f + 73520 = 0. Is f prime?
False
Let x = 153 + -63. Suppose 22 = -4*s + x. Let h = 70 - s. Is h a prime number?
True
Suppose 2*n + 1055 = -5*f + 14654, -4*n = -2*f + 5430. Is f a prime number?
True
Let w = 135 + 63. Let t = w - -449. Is t composite?
False
Let d(c) be the third derivative of -463*c**6/10 - c**5/60 - c**4/8 - c**3/6 - 41*c**2. Is d(-1) a prime number?
True
Suppose r + 375 = -634. Let k = 1109 - r. Let s = k + -1001. Is s prime?
True
Let y = 25 + -89. Let b = -60 - y. Suppose b*a - 996 - 16 = 4*c, 5*c + 1012 = 4*a. Is a prime?
False
Let p = -599466 + 1295647. Is p a composite number?
False
Suppose 2*o + 2*a + 23203 = 235193, -3*o = a - 317977. Is o a composite number?
True
Suppose 4*q + 889 = -927. Let j = q + 242. Is (1/(-4))/(-1) + (-133719)/j a composite number?
False
Is 2 - (-42)/(-24) - (-58043169)/108 composite?
True
Let f(q) = 532*q**2 - 82*q - 143. Is f(37) a composite number?
True
Let l be (15/(-9) + 0)*-3. Suppose l*p = -5*m - 74 + 9, 0 = -3*p - m - 29. Is (-3386)/4*(p + 6) prime?
True
Let u be (363/11)/(3/148). Suppose 27*x - 23*x = u. Is x prime?
False
Suppose 3*o - 202 = -3*d - 2*o, 3*d - 5*o = 182. Suppose 3*r + r = -5*f - d, 2*f = 0. Is (-14352)/r*1/3 a composite number?
True
Suppose 10*p - 21132 = -3382. Let u = p - 1032. Is u prime?
True
Let y(z) = 39 - z - 7*z - 23*z. Is y(-12) prime?
False
Let u(k) = 2*k**3 + 7*k**2 - 8*k - 1. Let x be u(-4). Let s(o) = 2*o**3 - 19*o**2 - 7*o - 1. Is s(x) a prime number?
False
Let u be 40/5*4/(32/25202). Suppose 959*d - 957*d - u = 0. Is d prime?
True
Suppose 4023 = -18*y - 34209. Let b = y - -3430. Is b a prime number?
False
Suppose 535*i + 1240794 = 553*i. Is i composite?
True
Suppose -5*m + 20 = 0, -4*q - 3*m + 8*m = 28. Let x(f) = 721*f**2 + 2*f - 1. Is x(q) a composite number?
False
Let q = -37 + 37. Suppose q = -0*a - 2*a - 3*x + 6851, 17132 = 5*a + 3*x. Is a a prime number?
False
Suppose -2*g - 2604 = 4*z, g + 2*g = 0. Let u = -168 - z. Suppose -j - u = -c + j, -4*j = -c + 487. Is c prime?
True
Let o = 1536 - -16291. Is o a prime number?
True
Let g(k) = -k**3 - 3*k**2 + 6*k + 14. Let x be g(-4). Suppose -28180 = -14*v - x*v. Is v prime?
True
Suppose 1696*k - 1709*k + 2756741 = 0. Is k a composite number?
False
Suppose y - p + 2903 = -1790, -5*p = 4*y + 18790. Let v = -2444 - y. Is v composite?
False
Suppose -6*z = -10*z - a + 11, -19 = -5*z + 4*a. Suppose z*i - 2*t = 4867, -3*i + 3*t - 239 + 5108 = 0. Is i prime?
True
Let r = 16 - 14. Let u be (-5 + r)*7/(-7). Suppose -u*f = -3*y - 621, 12 = -y + 4*y. Is f composite?
False
Let y(x) = -x**3 - 7*x**2 - 16*x - 13. Let f be y(-4). Suppose -4*d + 9824 = f*w, 11*w = 13*w - 8. Is d prime?
False
Suppose 7 = 48*f - 47*f. Let r be f/(91/2) + (-10890)/(-26). Let j = r - -1914. Is j prime?
True
Is 1/((-92)/(-1058) + (-1353942)/15570862) a composite number?
False
Suppose j - l - 17 = 0, 3*j - 44 = -6*l + 2*l. Suppose -2*n + 6 = -z, 2 + j = -3*z + n. Is (-2348)/z + (-1)/3 prime?
False
Let u = 63 - -210. Is ((-9)/7 - -1) + 30927/u composite?
False
Let u be -1 + 5668/(-15) - (-28)/(-210). Let v = 578 + u. Is v a prime number?
True
Suppose -3*r + 2*a = -172825, -37*a + 115246 = 2*r - 31*a. Is r a composite number?
True
Let i be 0/(-6*(-7)/(-21)). Suppose -4*q + 48803 = 3*d, i = 4*q + 4*d - 9*d - 48763. Is q prime?
T