prime?
False
Is 4 + 4 + 44019 + 30 prime?
False
Suppose 0 = 4*x + 3*x + 21. Let z = 5 - 11. Is x/(z/34) - 3 composite?
True
Let f = -285 + 406. Is f composite?
True
Let o(f) be the first derivative of 1/2*f**2 - f - 2 + 53/3*f**3. Is o(1) prime?
True
Let g(t) = t**3 - 6*t**2 - 9*t + 8. Let l be g(7). Is (l/(-18))/(2/8994) prime?
True
Suppose -w - 3*k + 224 = -2*k, 3*k = 0. Let p(q) = q**3 - 5*q**2 + 2. Let r be p(5). Suppose -s - b = -0*b - 114, r*b + w = 2*s. Is s a composite number?
False
Is ((-557472)/(-128))/(3/4) a composite number?
False
Let d(c) = c**2 - 2*c - 1. Let n be d(-1). Suppose -10 = n*s - 7*s. Suppose 5*q = s*y - 118, -32 = -y - 4*q + 53. Is y prime?
False
Suppose -323412 - 256381 = -31*w. Is w a prime number?
False
Is (-1*1/2)/((-6)/583764) a composite number?
False
Let t(j) = 365*j - 68. Is t(5) a prime number?
False
Let l = 70 + 80. Suppose -6*t + 475 = -t. Let z = l - t. Is z composite?
True
Let t(a) = 3*a**2 - 1897. Let h(x) = -16*x**2 + x + 9485. Let w(j) = -2*h(j) - 11*t(j). Is w(0) a composite number?
True
Suppose -3*q = -4*j + 10612, -3*j + 6248 + 1711 = -3*q. Is j a composite number?
True
Let s = 750 - -337. Is s a prime number?
True
Suppose 3*w - f = 8, 4*f - 3*f - 20 = -4*w. Suppose -w*p + 2*p + 428 = 0. Is p composite?
True
Suppose 0 = 3*x - 42 + 15. Suppose -4*n = -x*n + 2585. Is n a prime number?
False
Suppose 0 = 52*c - 121801 - 1410067. Is c a prime number?
False
Let y = 3397 - -12754. Is y a prime number?
False
Let h be (-2)/8 + (-89)/(-4). Let j be 4/h - (-832)/143. Let q = 20 - j. Is q a prime number?
False
Suppose -27*z + 2499 = -10*z. Suppose 1733 = 2*l + z. Is l composite?
True
Suppose g = x + 7, 34 = -4*x - 5*g - 3. Is (-3)/8 + (-2475)/x composite?
True
Let n = -9 + 9. Let z(u) = 0*u**3 + n*u**2 - 5 + 2 + 6*u**3 + 2*u**2. Is z(5) a prime number?
True
Let i be (-67060)/56*(-2)/5. Let d = i - 168. Is d composite?
False
Let r be 1040/(-32)*46/1. Let d = r - -2684. Is d a prime number?
False
Suppose -3*x = 5*f - 4, 0 = -2*f - 4*x - x - 6. Let o(k) = 28*k**3 - 4*k**2 + 2*k - 1. Is o(f) composite?
False
Let x be 1*(858 - 2/(-6)*3). Suppose 4*i - 9 = 3, -4*z - 5*i = -x. Is z a prime number?
True
Let c(g) = g**2 + 11*g. Let o be c(-11). Suppose -2*r - r + 435 = o. Is r a prime number?
False
Suppose -m - 3*c + 785 - 164 = 0, 3089 = 5*m - c. Suppose 349 = g + 3*z - m, 3*z = 0. Is g a composite number?
False
Let s(i) = i**3 - 11*i**2 - i + 9. Let a be s(11). Let t be (0 - 2 - a)*-1. Suppose t*k + 2*k = 322. Is k a prime number?
False
Let s(i) = 372*i**2 - 11*i - 135. Is s(-8) a prime number?
True
Let b be (-2)/((-2)/5)*-1. Is ((-327940)/(-25))/2 + (-1)/b composite?
True
Let v be 9/21 + -2 + (-50)/(-14). Suppose 6*m - m = 5*z - 3995, m + 1596 = v*z. Is z a composite number?
False
Let f(m) = -196*m + 12. Let j be f(-7). Suppose -a = -2*i - 471, -3*a - 2*i + 13 = -j. Is a a prime number?
True
Let k(d) = 2*d**2 - 2*d - 5. Let a be (3 + -1)/((-2)/12). Is k(a) prime?
True
Suppose -3018 = 2*a + 6302. Is 6/(-24) - a/16 prime?
False
Suppose -19428 + 85163 = 5*l + 4*f, -26294 = -2*l - 4*f. Is l a composite number?
False
Let o = -16 - -18. Suppose -103 = -o*f + 91. Is f a prime number?
True
Let r(u) = -166*u**2 + u - 12 + 2*u + 169*u**2 + 7*u**3. Is r(5) composite?
False
Suppose 2*r - 17 = -1. Let f(m) = 3*m**3 - 7*m**2 - 5*m - 5. Is f(r) a composite number?
True
Suppose -y = -7*y + 222. Is ((-11)/(-4))/(y/43364) composite?
True
Let g(d) = d + 9. Let w be g(-6). Suppose 7*u - 13 = 1. Suppose -w*k - k = -2*c - 244, u*c + 8 = 0. Is k prime?
True
Let c(m) = 10*m**2 - 16*m + 3. Let r = 27 - 15. Let h be c(r). Suppose 0 = 3*z - 8*z - 20, z = -5*u + h. Is u composite?
False
Suppose -4*u = 1372 + 2904. Let h = -688 - u. Is h prime?
False
Let b = 3976 - -2623. Is b a prime number?
True
Let g(p) = 2*p**3 - 8*p**2 - p + 6. Suppose -o + b = -5*o + 229, 4*o + 3*b = 239. Suppose o = 8*q - 0*q. Is g(q) composite?
False
Let p(h) = 39*h**2 - h + 1. Let d be 4/(-2)*(-7)/7. Suppose d = 5*w - 3. Is p(w) a composite number?
True
Suppose 5*l + 0*i - 2303 = 2*i, -471 = -l + 3*i. Suppose -4*t = m - 2*m + l, 2*t = -8. Is m a prime number?
True
Suppose -10*v + v = 0. Suppose u - 86 - 221 = v. Is u a composite number?
False
Let n(v) = 154*v**2 + 5*v + 4. Is n(-9) a composite number?
False
Let w be (4 - 14)/((-2)/(-4)). Is 112/5 - ((-108)/w + -5) a composite number?
True
Let q = 28 + -29. Is -4*q/2 + 144 prime?
False
Let l = 112 + -107. Let v(a) = 53*a**2 + 7*a + 21. Is v(l) a composite number?
False
Let u be 42/(-14) + (-4)/((-8)/6). Suppose 4*z + 1660 + 2 = 2*v, -2*v - z + 1682 = u. Is v prime?
True
Let a(v) = 15*v + 83. Is a(24) prime?
True
Suppose -8*u + 6*u = 0. Let g be 2241 - ((-12)/(-3) + u). Suppose -6*l = 815 - g. Is l a composite number?
True
Suppose 3586 = -2*b + 5*s, 5*s + 0*s - 20 = 0. Let h = b + 2700. Is h a composite number?
True
Let m(z) = -z**3 + 2*z**2 + 17*z + 25087. Is m(0) composite?
False
Suppose -3*i = 2*i - 805. Let k be 18/(-36) + 210/4. Suppose 0 = -3*x + k + i. Is x prime?
True
Suppose -3*o = -9 - 3. Let s(h) = 63*h - o - 2 + 7. Is s(2) a composite number?
False
Let t be (4/(-6))/((-4)/18). Suppose -506 = -2*r + t*j, 0 = 5*r - 0*r - 2*j - 1265. Is r prime?
False
Let h be (-54)/(-24) + (-2)/8. Is (0 - 669)*h/(-12)*2 composite?
False
Let d(r) = -4*r**2 + r**3 + r**3 - 7*r - r**3. Let i be d(7). Suppose -3*j - j + i = 2*x, 40 = 2*j - 2*x. Is j a composite number?
False
Let k(t) be the second derivative of t**7/840 - t**6/80 - 7*t**5/120 - 5*t**4/6 + 2*t. Let a(s) be the third derivative of k(s). Is a(6) a prime number?
True
Let w be -29*(-1 - (0 + 6)). Suppose -430 = -3*b + w. Is b a prime number?
True
Let c(i) = -i - 10 + 0*i + i**2 + 2*i - 6. Let d be c(0). Is ((-12)/d)/((-1)/(-92)) prime?
False
Suppose 0 = -8*i + 34*i - 36634. Is i a prime number?
True
Let g(r) = 22*r + 14. Let o be g(5). Is ((-11)/(-44))/(1/o) composite?
False
Suppose 38*r + 44466 = 44*r. Is r composite?
False
Let h(n) = 5*n**3 + 5*n**2 - 18*n + 14. Let k = -18 + 29. Let x(g) = -2*g**3 - 2*g**2 + 6*g - 5. Let i(o) = k*x(o) + 4*h(o). Is i(-6) a prime number?
True
Suppose 0 = -10*u + 5711 + 16479. Is u a prime number?
False
Suppose -9*b + 8*b - 4*k = -9866, -5*b = -4*k - 49450. Is b a prime number?
False
Suppose -5*o = 5, -3*o + 4*o = s - 4. Suppose s*h = -4*h + 3619. Is h prime?
False
Let f(o) = 1264*o + 19. Is f(36) a prime number?
True
Let h be ((-36)/30)/(6/(-20)). Suppose h*c - k - 194 = 607, -2*k = c - 189. Is c a prime number?
True
Let t be 24/(4 + 0)*(-6)/9. Let r(v) = 66*v**2 - v - 17. Is r(t) prime?
False
Let u(d) = -360*d**3 - 9*d**2 + 3*d + 3. Let h(q) = -q**2. Let l(k) = -15*h(k) + u(k). Is l(-2) prime?
False
Let w be 55*((-16)/(-20))/(-2). Let j = 127 - w. Is j prime?
True
Suppose 0 = 4*f + 2*f. Suppose f = 3*o - 5*o + 8. Suppose 8 = 3*h + 5*z, o*z + 3 + 6 = -h. Is h a prime number?
True
Suppose 0 = 2*x + 8, 2*s - 107 - 195 = 5*x. Let z = s + 2. Suppose t + 0*t - z = 0. Is t composite?
True
Suppose 48*d - 45777 = 45*d. Is d prime?
True
Suppose 2*c + h = 1580, 0 = -9*c + 11*c + 2*h - 1582. Is c a prime number?
False
Let j = 45 + -41. Suppose -6*x = -j*x - 254. Is x composite?
False
Suppose 25*b - 20*b = -455. Let f = b - -144. Is f a prime number?
True
Suppose -7*a + 58050 - 15245 = 0. Is a prime?
False
Suppose -16*v + 29826 = 2*v. Is v prime?
True
Let w(k) = k**3 + 17*k**2 + 15*k - 16. Let f be w(-16). Suppose 12*q + q - 5798 = f. Is q composite?
True
Let k(x) = 26*x - 8. Let c be k(6). Is c/(-6)*(-3)/2 a composite number?
False
Is (-100790)/(-90)*-3*(-1 + -2) prime?
True
Suppose 0 = 96*i - 88*i - 56904. Is i prime?
False
Suppose 2*h = -8*h + 50. Suppose -h*t + 7241 = 8*t. Is t composite?
False
Let o(i) = 2195*i**3 + i**2 - 1. Let l be (8/(-5))/4 - 7/(-5). Is o(l) prime?
False
Let x(i) = -6*i + 2. Let o be x(4). Let h = o - -26. Suppose n = -2*n + h*z + 1293, -n - 2*z + 431 = 0. Is n composite?
False
Let y = 231 + -341. Is 14 + -11 + y/(-2) composite?
True
Suppose -2 = -2*i + 5*o + 11, 25 = 5*i - 5*o. Suppose -m = i, -5*g + 2*g = 5*m - 259. Is g prime?
False
Suppose 0 = -g - g + 3*w + 3375, 0 = g - w - 1687. Let p be (-1)/(-1 + g/1688). Suppose -2*k + p = 2*k. Is k composite?
False
Let w(r) be the third derivative of -r**6/120 + r**5/4 + 