 composite number?
True
Suppose 5*l - 10*l - 4*u + 11593 = 0, -11614 = -5*l + 3*u. Is l a composite number?
True
Let a(l) = 143*l - 3. Let y be a(2). Suppose -3*z - y = -916. Is z composite?
False
Suppose -47*r + 50*r - 7974 = 0. Suppose y + r = 4*y. Is y prime?
False
Let a(o) = 2*o**3 - o**2 - o + 4. Let b be a(-2). Is 2/(-7) - 200/b a composite number?
True
Let t(o) = -o**3 - 12*o**2 - 13*o - 15. Let q be t(-11). Suppose -6*y + 5 = -q. Suppose -p + 19 + 46 = -5*x, 5*p = y*x + 417. Is p composite?
True
Let c be 16/(-6)*((-315)/28)/15. Suppose -18420 = 4*o - 5*f, 0 = -5*o - 2*f - 17346 - 5679. Is o/(-30)*4/c a composite number?
False
Let y = -16 - -19. Suppose -f + 4170 = -2*z, -y*z - 2085 = -2*z - 5*f. Is 6/((-5)/(z/6)) prime?
False
Let m(s) = -13*s**3 + 14*s**3 + 4 + 3*s**3 + 3*s - s - s**2. Let a be m(-3). Is (-13430)/a - (-1)/7 a composite number?
False
Let p(h) = 332*h + 7. Let x be p(3). Let t = 1470 - x. Is t a prime number?
True
Let j = -12 + 17. Suppose -5*m - 7*p + 3730 = -2*p, 0 = -j*m + 3*p + 3754. Is (m/14)/((-1)/(-14)) composite?
True
Let p(g) = g + 7*g - 10 + 0*g - g**2. Let t be p(12). Let u = 93 + t. Is u composite?
True
Let r = 23 + -21. Suppose -3 = -t, r*y + 4*t - 172 = 916. Is y a prime number?
False
Let z be (-26)/(-7) - 48/(-168). Suppose -2*j - 4*p + 518 = 0, 4*j + 155 - 1175 = -z*p. Is j composite?
False
Is 2/(-9) + (-21926)/(-9) - -1 prime?
True
Suppose 0 = 3*s - 3*a - 12, -s + 3*a = -3*s + 3. Let h be (1/s)/((-3)/18). Is (h - 7/2)*-2 a prime number?
True
Let f(l) = 29718*l**3 + l**2 - 2*l. Is f(1) a composite number?
False
Let o be (-228)/30 + 3/5. Let y(f) = -f**3 - 7*f**2 - 2*f - 5. Let z be y(o). Let w(j) = 12*j + 11. Is w(z) prime?
False
Let y = 14 + -11. Suppose -y*u = -4*u. Suppose -4*p - p + 1055 = u. Is p composite?
False
Let o(k) = -k**3 + 8*k**2 + 6*k - 8. Let t be o(7). Suppose -t = -8*m + 7*m. Is m prime?
True
Suppose 3*h + 1598 = -5*s, 2*h + 2700 = -3*h - s. Is ((-8)/(-8))/((-1)/h) composite?
False
Is 1/(32/(-40) - (-31851)/39795) a prime number?
False
Suppose 0 = -4*o - 0 + 4. Is -1*(-235 + o + -3) composite?
True
Let w(h) = -h**3 - h**2 - 15. Let o be w(-3). Suppose -4085 = -o*n + 3364. Is n a prime number?
False
Suppose 0 = -8*y + 10*y - 5*g - 20, 0 = 3*y - g - 17. Suppose 5*o + y = 0, -o = -z - 0*z + 2330. Is z prime?
False
Let g be (1 - 2)*(1 - -2). Let u(q) = 25*q**2 + 3*q + 1. Let j be u(g). Suppose 0 = l + 2*z - 5*z - j, -5*z = 25. Is l a composite number?
True
Let y = -2946 - -5353. Let g = y + -1520. Is g a composite number?
False
Let v = 1580 - -10321. Is v prime?
False
Let b be ((-32)/(-80))/((-2)/(-20)). Suppose -2*r + 3*r = b. Suppose -2*o = -r*g + 296, 5*g + 0*g - 370 = 3*o. Is g prime?
False
Let k(b) = -17642*b**3 - 3*b**2 + b + 2. Let u be k(-1). Let i = u + -10399. Is i a composite number?
True
Let j(f) = -328*f + 1. Let k(y) = 5*y**2 + 5 + y**3 - 7 + 1 - 2*y**3. Let m be k(5). Is j(m) a composite number?
True
Suppose 4*m + 7887 = 3*a + 2*m, 4*a + 4*m = 10536. Is a composite?
True
Let y(u) = 46*u**2 + u - 25. Is y(6) prime?
True
Suppose 0 = 15*k + 960 - 3315. Let y(f) = f**3 - 3*f**2 - 2*f - 4. Let l be y(4). Suppose -d + 157 = c, -d + 0*c - l*c = -k. Is d prime?
True
Suppose 3*q = -17 - 10. Let v(u) = u**3 + 10*u**2 + 10*u + 10. Let b be v(q). Is b/(-1)*443/(-1) composite?
False
Suppose -28 = o - 2. Is (18 - -11)/((-2)/o) a composite number?
True
Let d(p) = -p**3 - 5*p**2 + 6*p - 2. Let r be d(-6). Let u = 501 + -1169. Is r*(u/8 - -2) prime?
True
Suppose -u + 57 = 52. Let h(n) = 4*n**2 + n + 24. Is h(u) a prime number?
False
Suppose -957 = -3*q - n + 1982, n = -q + 981. Suppose -3*v + q + 89 = 0. Suppose g + 230 = 5*h - 215, -4*h + v = -3*g. Is h a prime number?
True
Let k(r) = r**2 - 4*r - 7. Let t be k(6). Suppose -4*c = 6*x - x - 31, t*x + 14 = c. Let y(g) = 17*g - 8. Is y(c) a prime number?
False
Let l = -8 + 15. Suppose -4*u = 2*j - 6, 3*u + l = -5*j - 6. Suppose 0 = -u*s + 5*s - 77. Is s composite?
True
Let q(j) be the second derivative of -j**3/3 - 3*j**2/2 - 3*j. Let s be q(-4). Suppose -2*f = s*y - f - 640, -2*y + 259 = f. Is y a composite number?
False
Let l(u) = 998*u**3 - u. Let y = -22 + 25. Suppose 3 = y*j - 0. Is l(j) a prime number?
True
Is (-12)/16 - (-9)/(-4) - -4306 composite?
True
Let c(v) = 71*v**3 - 2*v**2 + 2*v + 1. Suppose 0 = -5*s + 4*f - 1 + 27, 8 = -2*f. Is c(s) composite?
True
Let n be (-120 - (-3)/(3/2)) + 0. Let a = n + 275. Is a composite?
False
Let k = 10083 - 4122. Is k prime?
False
Let d = 12044 + -7133. Is d a composite number?
True
Suppose -4*i = 16, -5*i = 5*o - 977 - 1458. Is o composite?
False
Suppose -2*w = -l + 1, -2*l - l + 13 = 4*w. Suppose 6*b - 165 = l*b. Is b composite?
True
Let s(b) = 2*b**2 - 3*b + 2. Suppose -2*j + j + 5*k - 13 = 0, 4 = -4*j + 4*k. Let n be s(j). Is (2/n)/(5/550) composite?
True
Is (-1)/(-6) - (-355720)/48 composite?
False
Suppose -163 = -2*k - 127. Suppose 21*b - k*b - 63 = 0. Is b a composite number?
True
Let k be (2 + (1 - -1999))/(-7 + 8). Let j = k + 177. Is j prime?
True
Is (-2)/(-10) + 18648/35 a composite number?
True
Suppose 4 = 2*p - 34. Suppose p*a = 17*a + 1174. Is a composite?
False
Let b(r) = 12*r**2 - 7*r - 1. Suppose 2*c + 35 = 5*f + 7*c, 6 = 2*c. Is b(f) prime?
True
Let x = -166 - -376. Suppose 160 + x = 2*p. Is p prime?
False
Let a = 9 + 0. Suppose a*n + 92 = 5*n. Let w = 69 + n. Is w a prime number?
False
Suppose 7*t = -12*t + 92359. Is t prime?
True
Let f = 19 - 2. Let m = -13 + f. Suppose -m*t = -8*t + 1324. Is t prime?
True
Let v = -2552 + 7204. Let a = 8445 - v. Is a composite?
False
Let x(l) = -21 - 104*l - 49*l - 11*l. Is x(-13) prime?
True
Suppose -h = -4 + 2. Let s be -3 - -8 - (h - -1). Suppose 3*l + 5*z = -430 + 2953, -s*z = -l + 841. Is l a prime number?
False
Let q(x) = -4*x**2 - 26. Let m be q(11). Let o = 1157 + m. Is o prime?
True
Let i be 15253 - -2 - (7 - 9). Suppose 5*l - i = -6*l. Is l a composite number?
True
Let g(w) = 267*w**2 - 77*w + 754. Is g(12) composite?
True
Suppose -3*f = 5*o + 3 + 3, -3*o + 10 = -5*f. Let d = o - -2. Suppose -d*m = -40 - 126. Is m composite?
False
Let s be 9/(-12) - 71379/(-36). Suppose -992 - 491 = -3*m + 4*v, s = 4*m - 3*v. Is m a composite number?
True
Let t = 29 + -30. Is 7428/72 + t/6 composite?
False
Suppose -2*f + 24 + 92 = -4*s, -f + 139 = -5*s. Suppose -66 = p - 4*r, 80 = -p + 5*r + 13. Let d = s - p. Is d composite?
True
Let p(n) = 361*n**3 - 9*n + 7. Is p(3) a composite number?
True
Suppose -4*h = -8*h - 60. Suppose -m + 4*b = 32, m - 6*m = 3*b + 91. Is (-2468)/m + 6/h a composite number?
True
Let y(q) = q**2 - q. Let b be y(-3). Suppose -4*r + r = b. Is 184 + (0 - 1 - r) prime?
False
Let c(i) = 184*i**2 - 1. Suppose 3 = -5*w - t - 7, -w = -2*t + 13. Is c(w) a prime number?
False
Suppose 2*i - 4*o - 6 = -22, 2*o = -3*i + 8. Let s(u) = 2*u**3 - u + 365 - u**3 - 2*u**3. Is s(i) a prime number?
False
Suppose 0 = -5*p + s + 99, 23 = -0*p + p - s. Let k = p + 320. Is k prime?
False
Suppose -d = d - 10. Suppose 5*u - 31 - 14 = 0. Suppose -796 = d*r - u*r. Is r a prime number?
True
Suppose 6*j - 2*j = 288. Suppose 49100 + 18528 = 44*k. Suppose j = -5*q + k. Is q a composite number?
False
Let j be 1228/(0/1 - 1/(-8)). Is (-5)/15 - (j/(-6) + 0) prime?
True
Let m(k) be the third derivative of 37*k**4/24 + 5*k**3/6 - k**2. Let n be m(5). Let b = n - 99. Is b prime?
False
Suppose -26468 = -15*c + 6097. Is c a composite number?
True
Let r(g) be the second derivative of 3*g**5/20 - g**4/6 + g**3/6 - g**2/2 - 3*g. Is r(3) prime?
False
Is -16*(-3)/6 - -27263 composite?
False
Suppose -8*h = -12283 + 3995. Let x = 2151 - h. Is x a composite number?
True
Let v be ((-28)/8 - -2)*-4. Let i be (-18)/v - (-2 - -3). Is (-3)/i + (-1746)/(-8) composite?
True
Is -8 + (-144)/(-20) + 834898/10 a prime number?
False
Let g be 5 + (2/1 - 3). Suppose 0 = 6*k - g*k - 240. Let v = 479 - k. Is v a prime number?
True
Let m(z) = -4*z**2 + 91*z - 13. Is m(10) prime?
False
Suppose 1955*v - 1945*v = 2401970. Is v a composite number?
False
Let r(o) = -27*o - 10. Let s(g) = 26*g + 11. Let l be (18/30)/((-1)/(-5)). Let y(k) = l*s(k) + 4*r(k). Is y(-4) a prime number?
True
Suppose -78*g + 1136216 - 165974 = 0. Is g a prime number?
False
Suppose -8*a - 3737 + 30129 = 0. Is a composite