composite?
False
Let r(q) = 10*q**2 - 5*q + 13. Let o be r(-8). Is o/6*(-4)/(-6) a composite number?
True
Suppose -4*g = -16, 0*i + 2*g = -2*i + 198. Let q = 342 - i. Is q prime?
False
Let f = 10553 - 5692. Is f a composite number?
False
Let a(b) = -2*b + 22. Let i be a(9). Suppose -3*s + i = -62. Is s a composite number?
True
Suppose -400406 + 1489362 = 44*j. Is j composite?
False
Suppose 15*f = 534343 + 327722. Is f a prime number?
False
Suppose -2845 + 16219 = 6*h. Is h composite?
True
Let g(u) = u**2 - 19*u + 25. Let q be g(14). Let t = q + 94. Is t a composite number?
True
Let z = -32 - -41. Is (2 - -1)/9 + 3408/z composite?
False
Let w(v) = 1259*v - 32. Is w(7) a composite number?
True
Let a(u) = u**3 + 3*u**2 + 3*u + 7. Let c be a(-6). Let k = -23 - c. Let p = 347 - k. Is p a composite number?
False
Let z be 14/(-14) - 1*-3. Suppose 3*y + 367 = z*x + 2*y, 4*y = 4*x - 728. Suppose -3*i + x + 106 = 0. Is i a composite number?
False
Let n(a) = -a**3 - 3*a**2 + 4*a + 6. Let h be n(-4). Let u = h + -1. Is 396/u - (-5)/(-25) composite?
False
Suppose x + 1 = -2*u - 17, 5*u = -4*x - 45. Let c(p) = -p**3 - 8*p**2 + 7*p - 12. Let y be c(u). Let m = 31 - y. Is m a prime number?
False
Let k be 1/(1/(-14))*-1. Is (-2)/(42/(-25059)) + k/(-49) a composite number?
False
Let v(r) = -r**2 - r - 1. Let x(s) = 3*s**2 - 11*s - 16. Let q(d) = -3*v(d) + x(d). Let j be q(-4). Let z = 564 - j. Is z a prime number?
True
Let a be 501 + -4*5/(-20). Suppose 2*l = -0*l + a. Is l composite?
False
Suppose -4*x = -5*g - 612 - 1171, -1774 = -4*x + 2*g. Let y = x - 131. Is y prime?
True
Suppose 2*n + 92 + 6 = 0. Let a = 60 + n. Is a a composite number?
False
Let n(r) = 2196*r**2 + 36*r - 1. Is n(-4) prime?
False
Let k(n) be the first derivative of -20*n**2 + 19*n + 12. Let s(z) = 80*z - 38. Let m(c) = 7*k(c) + 3*s(c). Is m(-7) a prime number?
False
Let o(q) = 4*q**2 + 70*q + 73. Is o(30) prime?
False
Let k(y) = y**3 + 11*y**2 - 2*y - 7. Is k(-7) prime?
False
Let h(s) = -37*s**3 - 2*s**2 + 8*s. Is h(-5) a composite number?
True
Suppose 1271*b - 187857 = 1262*b. Is b composite?
False
Is (-1)/(151890/50631 - 3) a prime number?
False
Let n be 3/(-7) - (-175)/(-49). Let s be 2/((-52)/12 - n). Is (-11804)/s + (-13)/39 composite?
True
Let z be (25 - 21)/(0 - -2). Is z/(-3) + 1606/6 a composite number?
True
Let d(o) = -844*o - 4. Let v(g) = -169*g - 1. Let c(y) = -3*d(y) + 14*v(y). Is c(4) prime?
False
Let l = 146 + -145. Is 32 - (-5)/l*1 a composite number?
False
Suppose 402 = -10*m + 4*m. Let l = m + 144. Is l a prime number?
False
Let s be (66/(-18))/(2/(-126)). Suppose 2*t - s = -d, -t + 118 = 4*d - d. Is t prime?
False
Suppose -21 + 7 = -7*c. Suppose -22631 = -5*q - c*q. Is q composite?
True
Suppose -710*n + 713*n - 19473 = 0. Is n a prime number?
True
Let q = 495 - 262. Is q composite?
False
Let n(u) = 8*u - 15*u + 2*u**2 - 31 + 10*u. Is n(-14) a prime number?
False
Let n = -12 - -9. Let d(z) be the second derivative of 5*z**4/6 - z**3/6 + z**2 - 2*z. Is d(n) a prime number?
False
Let f(n) = -3*n**3 + 18*n**2 + 3*n - 9. Let k(j) = -j**3 + 6*j**2 + j - 3. Let s(h) = -6*f(h) + 17*k(h). Let c be s(6). Is (-113)/c*(3 - 0) prime?
True
Let s be 1206*(-12)/(-8) + -4. Suppose -6*r + s = -1171. Let g = -107 + r. Is g a prime number?
True
Let p(q) = 132*q**2 + 48*q + 397. Is p(-8) prime?
True
Suppose 0 = -24*i + 32*i - 109336. Is i a prime number?
False
Suppose -9*d = -171838 - 319715. Is d a prime number?
True
Let f(r) be the third derivative of -55*r**4/24 - r**3/2 + 2*r**2. Let p be f(-3). Suppose -248 = -3*t - l - 0*l, -4*l = 2*t - p. Is t a prime number?
True
Suppose -4*q = -1210 - 1454. Let m = -599 + 232. Let i = q + m. Is i composite?
True
Let w = -130 + 2107. Is w composite?
True
Suppose 244 - 788 = -4*m. Suppose 2*c - 2*k = 166, m - 35 = c + 5*k. Suppose -w - c = -807. Is w a prime number?
False
Let k(m) be the first derivative of 4*m**3/3 - 3*m**2/2 - 40*m + 2. Is k(-17) prime?
False
Suppose -11*r + 7*r - 1628 = 0. Let s = r - -738. Is s a composite number?
False
Let y(t) = -55*t**3 - t**2 + 1. Let v be y(2). Let w be -881*(-1)/(-4) - 2/(-8). Let b = w - v. Is b a composite number?
False
Suppose 0 = -8*g + 11341 + 72747. Is g a composite number?
True
Suppose j - 12394 = 4*m, -3*m - 15226 = -2*j + 9562. Is j composite?
True
Suppose -4*q = 3*o - 26, -o - 3*q + 19 = o. Let j(p) = 34*p**3 - 3*p**2 + 5. Is j(o) prime?
False
Suppose 0 = 26*h - 25*h. Suppose 4*y - 1366 + 306 = h. Is y a prime number?
False
Let d(l) = -l**3 - 11*l**2 + 9*l + 11. Let b be d(-9). Let x = -21 - b. Is x a composite number?
False
Let z = -189 - -193. Suppose 3*m - j - 664 = 0, 3*m + 2*m + 3*j = 1088. Suppose -z*o + 576 = m. Is o composite?
False
Let o = -3450 - -21569. Is o a composite number?
False
Let v = 1 - -1. Let t(l) = 1 + l - 2*l + 62*l + 92*l. Is t(v) a prime number?
True
Is (7/(105/4146))/((-14)/(-385)) a composite number?
True
Suppose -3*q + 1425 = 2*q. Suppose -5*i + q = s - 4*s, 0 = 2*s + 4*i + 168. Is ((-23076)/s)/(4/10) a prime number?
True
Let c(r) = -r**3 + 4*r**2 - 2*r - 2. Let g be c(2). Suppose 9*z + 3*y = 4*z - 10, -y = g*z + 4. Is (3/(-1) - z) + 58 a prime number?
False
Suppose -27*m = -31*m + 343372. Is m a composite number?
False
Let n(z) = -z**3 + 22*z**2 - 25*z + 23. Suppose -4*y + 2*u = -76, 4*y = -5*u + 89 - 13. Is n(y) a prime number?
True
Suppose -13*f - 4031 = -14*f. Is f a composite number?
True
Let l(f) = 80*f**2 - 21*f + 23. Is l(-6) a prime number?
False
Suppose -68*v - 15497850 = -218*v. Is v prime?
True
Let r(d) = 2*d**3 + d**2 - 3*d + 4. Let s(i) = 2*i. Let f be s(2). Suppose f*m - 4 = 8. Is r(m) composite?
True
Suppose 0 = 5*o - 4*x - 119863, 4*o - 10*x - 95878 = -13*x. Is o a composite number?
False
Let f(m) = -781*m + 245. Is f(-8) prime?
False
Let s(b) = -15*b**3 - 4*b**2 + b + 1. Suppose 0 = -4*g - g - 80. Let y be 12/g*(4 + 0). Is s(y) prime?
True
Let t(g) be the second derivative of 1399*g**4/12 + g**3/2 + 3*g**2/2 - 24*g. Suppose -x - 16 = -5*a, 2*x - 1 = -2*a + 3. Is t(x) prime?
True
Let a(h) = -213*h - 2. Let f(o) = -o**2 + 6*o - 6. Let t be f(5). Is a(t) a prime number?
True
Let t = -1917 + 7124. Is t a composite number?
True
Let w(c) = c**2 - 7*c + 7. Let n be w(6). Suppose r = -f - 1, 0 = -5*r + f + 12 + n. Let y(s) = 40*s**3 + 2*s**2 + s + 1. Is y(r) composite?
False
Suppose 10*v - 467748 = 76622. Is v a prime number?
True
Suppose 4*c - 40128 = -4*k, -2*k + 20089 = 5*c - 8*c. Is k prime?
True
Let h = -39549 - -67588. Is h composite?
True
Let r be 24/(-16)*(-4)/(-6). Let y(m) = -3*m + 2. Let g be y(r). Suppose 0*v - 3*v - 2*n = -1599, -n = -g*v + 2678. Is v a composite number?
True
Suppose 5*o - 4*i - 197713 = 0, i - 39539 = 5*o - 6*o. Is o prime?
True
Suppose 4*j + 2710 - 26402 = 0. Is j composite?
False
Let m be ((-32)/40)/(4/(-30)). Let o(b) = -178*b + 3. Let y(v) = -535*v + 8. Let p(z) = m*y(z) - 17*o(z). Is p(-1) a prime number?
True
Suppose 5*t + 21 = 2*l + 220, 3*t = -2*l + 129. Let i(h) = 85*h - 2. Let g be i(4). Let f = g + t. Is f a prime number?
True
Let u(k) = 42880*k + 938. Let z(y) be the first derivative of 137*y**2/2 + 3*y - 4. Let c(i) = 3*u(i) - 938*z(i). Is c(1) prime?
False
Suppose -12*y + 528443 = 49*y. Is y a composite number?
False
Let c(z) = -254*z - 135. Is c(-11) composite?
False
Let q(o) = o**3 + 7*o**2 - 2*o - 1. Let v be q(-5). Suppose 0 = 3*a - v - 172. Is a prime?
False
Let k be 58 - 5/(25/(-20)). Suppose 3*v - k = 319. Is v a composite number?
False
Let p = -26 - -45. Let h(b) = b**2 + 9*b + 1. Let o be h(-7). Let c = o + p. Is c prime?
False
Let x = -6 - -14. Let v = -16 + 5. Let c = x - v. Is c composite?
False
Let m(c) = c**3 - 2*c**2 + 5. Suppose 10 = 3*q - 5. Let p be m(q). Suppose 0 = -2*j + 7*j - 2*n - 383, j - p = -3*n. Is j a prime number?
False
Let p = -1247 + 15532. Is p a composite number?
True
Let o = -4 - -8. Suppose o*n + 3 = 5*n. Suppose -n*i + 345 = -3*f, -5*i + 4*f + 230 = -3*i. Is i prime?
False
Suppose 4*x + 13 = 33. Suppose x*w = 4*w. Suppose w*z + 3*z - 159 = 0. Is z composite?
False
Suppose 0 = -5*l + 82137 + 52378. Is l composite?
False
Suppose 0*c + c = 0. Let l be 32/4 + (-2 - c). Is (0 - 1)*(-4110)/l a prime number?
False
Is (19/(-76))/((-6)/116664) prime?
True
Suppose -2*n + n + 5*g = 13