 composite number?
False
Suppose 234*q - 219*q - 2031864 = 548871. Is q a prime number?
True
Suppose 2*l = 5*j - 0*l + 291, 0 = -3*j - 3*l - 162. Suppose 0 = -4*a - 3*b + 23, 0 = -3*a + 6*b - 5*b + 1. Let d = a - j. Is d a prime number?
True
Let i = 11 + -21. Let q(r) = r + 20. Let a be q(i). Suppose -5*b - 455 = -a*b. Is b prime?
False
Suppose 1936 = -2*d - 0*d. Let g = d + 586. Is g*2*(-5)/20 composite?
False
Let z(v) = v**3 - v**2 - 53*v + 160. Is z(29) composite?
False
Let l(b) = b**3 + 7*b**2 + 3*b + 3. Let t be l(-6). Let z(k) = -k + 30. Let q be z(t). Suppose -q*n - n + 2530 = 0. Is n composite?
True
Suppose -687048 = -9*b - 35*y + 40*y, 4*y = -3*b + 228999. Is b a composite number?
True
Let m = 175 - 172. Suppose m*h + 15882 = 6*h. Is h a composite number?
True
Let g(w) = 6*w - 27. Let x(v) = v. Let q(r) = g(r) - 2*x(r). Let t be q(8). Let p(l) = 38*l + 9. Is p(t) prime?
True
Let v = -52133 - -189034. Is v a prime number?
False
Let r(m) be the third derivative of 7*m**4/12 - 3*m**3/2 - 40*m**2. Let y be r(6). Suppose y*s = 78*s - 1719. Is s composite?
True
Suppose -55*m = 25*m - 39128080. Is m a composite number?
False
Let z = 5070 - 15509. Let n = -3996 - z. Is n a prime number?
False
Suppose 3*g + 5*g = 0. Suppose g = c - 1 - 7. Is (-1 + 3/9)/(c/(-6036)) composite?
False
Let g(w) = w**3 + 35*w**2 + 42*w + 705. Is g(29) a composite number?
True
Suppose a + 2*z = 7, -a - a - 1 = -z. Is 800/a - (-1)/(-4)*4 prime?
False
Let o = 62977 - 31020. Is o composite?
False
Let v be 6*(-5 - -6) - 3. Suppose 0 = -v*k + 3, k + 1758 = 2*n + 5*k. Is n composite?
False
Let z be -10 - -5 - (-10 + 4). Is (-124590)/(-60) + z*1/2 a composite number?
True
Let q(x) = -2954*x + 311. Is q(-45) a prime number?
True
Let z(i) = 265*i + 121. Suppose 4*k = 3*c - 1 + 13, -k + 22 = 4*c. Is z(k) a prime number?
False
Let c = 17 + 33. Let v = -52 + c. Let o(n) = 385*n**2 - n + 1. Is o(v) a composite number?
False
Let p = 432255 + 206408. Is p composite?
False
Suppose 2*f + o + 17 = 0, 6*o = -4*f + 10*o - 52. Let k be (-1976)/12*15/f. Let a = k + -68. Is a a prime number?
True
Let u = -3 - -8. Suppose -19*t - 20*t + 76830 = 0. Suppose u*k + 3*g + g - t = 0, -5*g = 0. Is k a composite number?
True
Suppose 0 = 12*w - 7*w + h - 6745, 5*w - 3*h = 6725. Suppose 5*o + w = -5*c + 12118, -6457 = -3*c + 2*o. Is c composite?
False
Is 4179/(-6)*15/(1680/(-18976)) prime?
False
Suppose 8*d - 24 + 0 = 0. Suppose -d*x - 80 + 26 = 0. Is (4 - 1)/(2/((-804)/x)) a prime number?
True
Suppose -32*d + 4772394 = 17*d - 31*d. Is d composite?
True
Let z(c) = -c**3 - 3*c**2 + 4*c - 4. Let s be z(-4). Let g be -13 + 4 - -7 - 0. Is 737/(1/(g + (-1 - s))) prime?
False
Let i = 43 + -46. Let a be i/(-2) - -1 - (-3)/2. Suppose -5*d + 262 = -a*d. Is d composite?
True
Let b be (-3)/2*-437*5*-2. Let t = 11398 + b. Is t composite?
True
Suppose -104433 = -3*l + 4*q + 32736, 0 = -3*l + 3*q + 137172. Is l composite?
True
Suppose -23*p = -7580 - 6013. Suppose 2*n - 6*k - p = -n, 961 = 5*n - 2*k. Is n a composite number?
False
Let a be (-30)/(-7) - (6/7)/3. Suppose -679 = a*g - 3235. Suppose 0 = -2*k + g + 535. Is k a prime number?
True
Let j = -35 + 40. Let a be j + 0/(-3 - 2). Is -2 + 2553/(a - 4) a prime number?
True
Let b(v) = v**3 + 9*v**2 - 11*v - 12. Suppose 23 = -2*n + i, -2*i + 0 - 44 = 5*n. Let d be b(n). Is d*2/(20/(-3855)) a prime number?
False
Let d = -103771 + 304542. Is d composite?
False
Let f be 12/5*3/(-6)*-10. Let c be f/(-24) - 5/(-2). Suppose -x - 431 = -c*p, 0 = -3*p - 2*p + 5*x + 1070. Is p prime?
False
Suppose -128*s + 162058907 + 335093733 = 0. Is s a prime number?
False
Let z(h) = -10*h**3 + 24*h**2 + 3*h - 51. Is z(-10) a composite number?
True
Let n = 5356 - 1651. Suppose 0 = -t - n + 12320. Is t composite?
True
Is (-6)/(-12) + (-595464)/(-16) + -10 composite?
True
Suppose -3*o + b - 10456 = 0, 2*o + 7273 - 294 = -b. Is 14*(-1)/((-14)/4) - o a composite number?
False
Let d be 3/2 - 70/4. Let y = 16 + d. Suppose -6*w + 8 + 754 = y. Is w a prime number?
True
Let s(t) = 44*t**2 + 19*t - 5. Let v = -177 - -183. Is s(v) a prime number?
True
Let x = 72279 - -5244. Is x prime?
False
Let x(b) = -9907*b + 3904. Is x(-27) a composite number?
False
Let w(q) be the third derivative of 49*q**4 + 61*q**3/6 + 10*q**2 + q. Is w(13) prime?
True
Suppose -930*i + 949*i - 6895930 + 1949907 = 0. Is i prime?
True
Suppose 31*m + 46*m - 35932 = 51*m. Let x be ((-109)/3)/(1/(-9)). Let f = m - x. Is f a composite number?
True
Let q be (-1 - -2)*0 + 10/2. Suppose -q*n = -9*n - 44. Let g(w) = 10*w**2 + 9*w - 14. Is g(n) a composite number?
False
Suppose -543546 = -51*g + 1035845 + 2832160. Is g a composite number?
False
Let n(a) = -197 - 187 - 141*a - 200*a. Is n(-13) a composite number?
False
Suppose 80*v = 82*v - 960. Let i = v + -125. Is i a prime number?
False
Let h = 1199433 + -544640. Is h prime?
False
Suppose 92*a - 28*a - 3973287 = 2352281. Is a a prime number?
True
Let s = -79525 + 191708. Is s composite?
True
Let y(d) = 222*d**2 - 5*d + 17. Suppose 18 = -g + 3*a, 0 = -5*g + 3*a - 31 - 11. Is y(g) composite?
False
Let n(h) = -13*h**3 - 17*h**2 - 55*h + 5. Is n(-20) composite?
True
Let n = -2 + -26. Let z = 116 + n. Suppose 91*r - 4683 = z*r. Is r composite?
True
Suppose 102368 = -21*w + 279629. Is w prime?
False
Suppose -6267*z + 997996 = 4*o - 6270*z, -4*z = -3*o + 748511. Is o prime?
False
Suppose 9 = 3*h - 0*h. Suppose 0 = 14*p - 1062 - 8962. Suppose 0 = 2*s + h*o - 920 - p, -5*s + 4103 = o. Is s prime?
True
Let z(d) = 4043*d**3 + 3*d**2 + 15*d - 79. Is z(4) a prime number?
False
Suppose -2*u + 156202 = -4*h, -5*u - 4*h = -175612 - 214823. Is u a prime number?
False
Let u be (-1)/(((-10)/40)/((-57)/12)). Let r(p) = 12*p**2 - 35*p + 42. Is r(u) composite?
False
Let t = -60428 + 187389. Is t a composite number?
False
Suppose 190760 = 12*f - 1994668. Is f a composite number?
True
Let r = 9980 + -6453. Suppose 23*n - r = 22*n. Is n prime?
True
Let l be (-15099)/(-2) + (-90)/(-60). Let a = l + -1840. Is a composite?
False
Suppose 34*q + 120*q = 155587586. Is q a prime number?
False
Suppose 401904 + 290501 + 861546 = 7*q. Is q a composite number?
True
Let l = 221 - 119. Suppose -5361 = 134*s + 9245. Let m = l - s. Is m prime?
True
Let c = 108897 + -190. Is c a composite number?
False
Suppose -577*q + 3*w - 15937 = -578*q, -q - 5*w = -15933. Is q composite?
True
Let h(j) = 3326*j**3 - 32*j + 59. Is h(2) prime?
False
Let t(o) = -o**3 - 14*o + 179. Let j be t(16). Let p = 9807 + j. Is p a prime number?
False
Suppose r + s - 34194 = 0, -r = 56*s - 51*s - 34174. Is r composite?
True
Let c(w) be the third derivative of 19*w**5/60 - w**4/3 - 5*w**3/6 + 62*w**2. Is c(6) a prime number?
True
Suppose 0 = -2*k + 8 - 0. Suppose 3*z + 601 = k*b, 2 = -b - 0. Let f = z - -460. Is f a prime number?
True
Suppose -5*t = 10, z = 3*z + 5*t - 148. Suppose 3*k - 6 = -2*d, -2*d - 3*d + 5*k + 15 = 0. Suppose 135 = d*f + 3*w, 2*f - 5 - z = w. Is f a composite number?
False
Let k(r) = r**3 - r**2 + r + 1. Let y(n) = -17*n**3 + 5*n**2 + 6*n - 11. Let h(d) = 2*k(d) - y(d). Is h(7) prime?
False
Suppose 965069 - 215148 + 206685 = 14*l. Is l a prime number?
True
Let y(r) = r**3 - 30*r**2 - r + 23. Let g be y(30). Is (223/1)/((-8)/56*g) prime?
True
Let n(l) = l**3 - 10*l**2 - 7*l. Let a be n(6). Let r = 1320 - 932. Let d = a + r. Is d prime?
False
Is 860/140 - (-5)/(-35) prime?
False
Let v(w) = 840*w**2 + 9*w - 23. Let n be v(-11). Let r = n - 71351. Is r a prime number?
False
Let m(p) = -2*p**2 + 41*p - 44. Let v be m(18). Suppose 0 = v*t - 45*t - 71. Is t composite?
False
Is 48/(-504) - 6806261/(-147) prime?
True
Let r = 14 + -12. Suppose -o + 18 = r*x + 3*o, -x = -o - 6. Suppose -x*y = -y - 1506. Is y a composite number?
False
Let s(t) be the second derivative of 12757*t**4/12 - 98*t. Is s(1) a composite number?
False
Let a be ((-2)/(10/(-25)))/1. Suppose -4*m - 4*k + 3 = -a, m - k = 0. Let q = m - -936. Is q a prime number?
True
Suppose -390*k = -424*k + 2144108. Is k a prime number?
False
Suppose -88*j + 9734111 = -23502697. Is j a prime number?
False
Is ((-132)/(-330))/((-53986461)/(-17995485) + -3) a composite number?
False
Let d(w) = 22703*w**2 - 40*w - 41. Is d(-1) a composite number?
True
Let m = 470 + -445. Suppose -m*x