mposite number?
True
Let k(g) = 111*g**2 - 2*g + 10. Is k(13) a composite number?
False
Let a = -18 - -20. Suppose -a*n = -6*n. Suppose n = 2*r + 4*u - 1052 + 158, 2213 = 5*r - u. Is r prime?
True
Suppose -5*z + 3450 = -5*y, 3*z + 7 + 2 = 0. Let b = -244 - y. Is b prime?
True
Suppose -2*i - 2*s = 12, 0 = 2*i - 3*s - 0 - 3. Is (1 - (5 + i))*-1655 composite?
True
Let d = 0 - -5. Let y = d - 6. Is (y - 177)*(-1)/2 a prime number?
True
Is (9/12)/(4/(17486 - -2)) a composite number?
True
Is ((-123105)/(-3) - 9) + 3 a prime number?
False
Suppose 5*r - 148 = l, -12 - 74 = -3*r + 2*l. Let s be (54/(-15))/(9/r). Let t(i) = -i**2 - 25*i - 1. Is t(s) a composite number?
True
Suppose -1145*o + 237685 = -1140*o. Is o prime?
False
Let j = -15 + 20. Let s(l) = -2*l + 4. Let v be s(j). Let p(n) = 5*n**2 + 8*n - 5. Is p(v) prime?
True
Let y(t) = 309*t + 668. Is y(35) a composite number?
False
Suppose -3*n + 36252 = -n + 2*z, 36258 = 2*n + 4*z. Is 1/((-7746)/n + 3/7) a prime number?
True
Suppose -2*v - 7 = -n + 2*n, 3*v = n - 8. Let p be 1 - (n + (0 - 2)). Suppose 13 = -p*o + 105. Is o a composite number?
False
Let f(s) = 5*s**2 + 11*s + 8. Let u be f(-6). Let w = u - -189. Is w a prime number?
True
Let v be -18*(2 - 164/(-12)). Suppose -34 = -4*a + 2*x - 0*x, 0 = a - 3*x - 1. Is (-25)/a*v/5 a prime number?
False
Let x be (-14)/(-35) + (-6223)/(-5). Suppose w = 6*w - x. Is w composite?
True
Let o(l) = -2*l**3 - 3*l**2 - 3*l - 6. Suppose -7*k = -2*k + 30. Let x be o(k). Suppose 0 = 5*j + 11 - x. Is j a prime number?
False
Let o(u) = -u**3 + 13*u**2 + 14*u + 3. Let q be o(14). Suppose q*t = 5*t - 790. Is t a composite number?
True
Let u(s) = -2*s**2 - 15*s + 17. Let r(a) = 4*a**2 + 29*a - 34. Let n(m) = -2*r(m) - 5*u(m). Is n(-16) a composite number?
False
Suppose -2*v + 19 = -5*p, 5*v - 3*v - 2*p - 22 = 0. Let a(x) = -7*x - 17 - 1 + 3*x**2 - 11 + 0. Is a(v) prime?
False
Let w = -6401 - -9135. Suppose -60 = 621*n - 636*n. Is w/n*(3 - 1) prime?
True
Let j(h) = 7*h**2 + 2*h. Let k be j(-3). Suppose k*u = 51*u + 19590. Is u a composite number?
True
Let f = 19110 - 9797. Is f composite?
True
Let f = -30 + 375. Suppose -4*a - 2*n + f + 651 = 0, -4*a + n + 1008 = 0. Is a prime?
True
Let b be 93/(-5 - -8) + -3. Suppose -b*d = -25*d - 357. Is d prime?
False
Suppose -170*f + 6424 = -178*f. Suppose -5*n - 2*k - k - 1566 = 0, -n - 314 = k. Let w = n - f. Is w a prime number?
True
Let y = -504 - -203. Let i = y - -566. Is i composite?
True
Let q(a) = -a**2 - a + 12. Let b be q(-14). Let z = 1220 + b. Suppose -w = c - 200, -w + z = 5*c - 6*w. Is c a prime number?
False
Let n = 3 + -15. Let g be (79/(-2))/((-6)/n). Let s = g - -176. Is s a composite number?
False
Let q(m) = -569*m + 8. Let j be q(-8). Suppose 5*h - 3*f = 2*f + j, -3*h = f - 2716. Is h a prime number?
True
Let r(h) = -286*h + 203. Is r(-26) a prime number?
True
Is (-1)/((-24)/(-17994)*(-1)/4) prime?
True
Let l be 25 - 2/(-4 - -6). Suppose -l = 2*h - 3*h. Suppose 5*f - 931 = h. Is f prime?
True
Let d(x) = 740*x - 3. Let n(k) = k**2 - 5*k + 1. Let h be n(5). Is d(h) prime?
False
Is (3/1 + 255/(-102))*1706 a composite number?
False
Is (8482/3)/(12/90) prime?
False
Suppose 0*p - 2*p - 4 = 0. Let s(f) = -f - 2. Let c be s(p). Suppose 5*h = -4*k + 1160, 4*h + c*h = -3*k + 869. Is k a prime number?
False
Let j be 0 - ((-6)/2 + -3). Let z = 5 - 9. Is ((-1004)/j)/(z/6) composite?
False
Let y(n) = 14*n**3 + 2*n**2 + 10*n - 7. Is y(8) a composite number?
False
Let q = 45 - 19. Suppose 0 = -4*n - 5*x + q, -26 = -3*n - 2*n - 3*x. Suppose -20 = 7*r - 3*r, -n*z - 5*r = -1627. Is z prime?
False
Let a(r) be the third derivative of 1/24*r**4 + 19/6*r**3 + 4*r**2 + 0*r + 0. Is a(-9) prime?
False
Suppose -4*w = b - 24992, -8 = -6*b + 4*b. Is w prime?
True
Suppose 31*g - 28*g + 9 = 0. Let i(j) = -452*j + 15. Is i(g) prime?
False
Let m = -18 + 16. Is (-9)/3 + 6 + 1196 - m prime?
True
Is 1*4/10 - (-6341808)/80 prime?
True
Suppose -107018 = -2*g - 4*b, -53*g + 50*g = b - 160512. Is g a prime number?
True
Let b(c) = 88*c**2 - 11. Suppose g - 7 = 4*a, -2*a = -3*g - 2*g + 17. Is b(g) a prime number?
False
Suppose -3*w = -23 - 316. Suppose -w = -5*r - 2*y - 2031, 0 = -r + y - 378. Let j = -227 - r. Is j a prime number?
False
Suppose 4199 = f + 6*q - q, 2*f - 8383 = -5*q. Let b = -2511 + f. Is b composite?
True
Suppose 3*u = -u + 8. Suppose 21 - 13 = u*g. Suppose o + g*o = 425. Is o a composite number?
True
Let d = -35 + 37. Let q(n) = 620*n**2 - 5*n + 9. Is q(d) composite?
True
Let j(k) = 2*k + 10. Let v be j(13). Let s = v + -17. Let z = 66 - s. Is z a prime number?
True
Let z be 3*1/(-9)*-6. Suppose 0 = -d + 3*d + 5*m - 269, -z*d - 4*m + 266 = 0. Is d prime?
True
Suppose 4*i + 5*x = -24, -2*i = 5*x - 6 + 18. Let a(f) = -4*f - 7. Let h(l) = 5*l + 7. Let k(d) = i*a(d) - 5*h(d). Is k(0) a composite number?
False
Suppose 2*h - 27 = -19, 0 = 5*x + 3*h - 118577. Is x composite?
True
Let j(r) be the first derivative of r**4/4 + 7*r**3/3 + 2*r**2 - 11*r - 7. Let z be j(-8). Let d = 154 + z. Is d a prime number?
True
Suppose 1 = -4*g + 5*g. Let f be 3 - (g - (-6)/(-3)). Suppose y + 58 - 161 = -f*a, a - 342 = -3*y. Is y composite?
True
Let l = -600 + 851. Is l prime?
True
Let u(v) = -188*v - 18. Let d be u(5). Let j = 1707 + d. Is j prime?
False
Suppose -j + 3*j - 636 = 0. Suppose 0 = 3*h + 2*f - 557, 62 = 2*h - 3*f - j. Is h composite?
True
Let z(u) = -2*u**2 + 11*u + 22. Let x(y) = -3*y**2 + 12*y + 22. Let j(v) = -5*x(v) + 6*z(v). Is j(-11) a composite number?
True
Suppose 19*n = 20*n - 61. Suppose -167 + n = -t. Is t a composite number?
True
Let s = 8 - 3. Suppose -p - 16 = -3*i, 0 = -2*i - s*p + 1 - 13. Suppose 187 = q - i*f, 576 = q + 2*q + 3*f. Is q a prime number?
True
Is (4 - 5)/(-5 - (-219664)/43933) prime?
True
Let b(p) = -2*p**2 - 11*p - 8. Let r be b(-7). Let g = 54 - r. Is g a composite number?
False
Let g be 4/4*(-4 - 1). Is 20/(-25) - 3489/g a prime number?
False
Let d(b) = 25*b**2 - 27*b + 303. Is d(16) a composite number?
False
Suppose -5*j = 9*g - 7*g - 18078, -5*g - j + 45149 = 0. Is g prime?
True
Suppose 0 = -4*x - 1553 - 1399. Let w = x - -1241. Is w a prime number?
True
Suppose -t + f + 11158 = 0, -55784 = -5*t + 5*f - 6*f. Is t a composite number?
True
Suppose -3 - 51 = -2*n. Let o be n*5*1 - 3. Let g = o - 5. Is g a composite number?
False
Let h(w) = -w + 2. Let n be h(2). Let q = 0 - -4. Is -1*(n - 140/q) prime?
False
Let j(v) = 492*v**3 + 3*v**2 - 6*v + 7. Is j(2) a prime number?
True
Let b = -2301 + 6260. Is b prime?
False
Suppose 0 = -5*w + l + 35, -l - 27 = -2*w + 2*l. Suppose -3*n - 2*s + 12 = -6*s, 2*s = -5*n - w. Suppose 2*d = -2*g + 24 + 80, 3*g + 2*d - 153 = n. Is g prime?
False
Suppose 3*g - 5*w - 16778 = 0, -16777 = -10*g + 7*g + 4*w. Is g a composite number?
False
Suppose -4*u + 5*v = -27, 0*u - u + v = -6. Suppose -u*r - 6 = -2*r + 5*c, -5*r = -2*c + 30. Is (1509/9)/((-2)/r) a prime number?
True
Suppose -7*j = 3*l - 10*j - 18117, 0 = -5*l - 3*j + 30179. Is l composite?
False
Suppose -2*o + 1959 = o. Suppose -4*h + o = -s, -4*s = 5*h + 344 - 1155. Is h composite?
False
Let v = 5 + -1. Suppose w + v = 5*w + 4*h, -4*w = h - 7. Suppose 0 = -4*z + 4*k + 128, -w*z - z - 2*k = -111. Is z a composite number?
True
Suppose -3*i + 8*i = 1530. Suppose -2*z - 462 = 4*y, z = -4*y - 0*z - 461. Let c = y + i. Is c prime?
True
Let t(z) = -z**3 - 12*z**2 - 16*z + 5. Let w be t(-11). Let f(p) = 5*p - 7. Let l be f(-4). Let h = w - l. Is h prime?
False
Suppose 0 = 9*i - 40*i + 1650719. Is i a composite number?
True
Let n(s) = -44*s**2 + 7*s + 2. Let u be n(14). Let w = u - -13031. Is w a composite number?
False
Suppose -31*w + 60962 = -9*w. Is w prime?
False
Suppose -16721726 = -53*b - 81*b. Is b a composite number?
True
Let y(u) = -14*u**3 - 9*u**2 - u + 16. Is y(-6) composite?
True
Let i be 3*(3 + -2 + 0). Suppose 0*q = -q + i*u + 29, 20 = -4*u. Is q/7 - 790/(-2) composite?
False
Let u = 61 + -56. Suppose 0 = -5*q + u*x + 1255, 0 = -q - 2*q - 5*x + 777. Is q a prime number?
False
Let x be (-15)/35 + (-62)/(-28)*2. Suppose 3*g - 217 = -x*s + 2*g, -g = -3*s + 154. Is s prime?
True
Let s = 5 + 0. Suppose -s*r = -2*r - 2853. Is 1/(-4) - r/(-12) a prime number?
True
Let m(b) = 4770*b**2 + 2*b + 1. Is m(-1) a prime number?
Fals