) a composite number?
True
Let g be (-40)/(-10) + (1 - 0 - 1). Suppose 0 = -2*p + 3*p - 824. Suppose -4*m = t - 227, -p = -g*t + 2*m + 3*m. Is t composite?
False
Let i(r) = -211*r - 3. Let h(z) = -z**3 + 5*z**2 + z - 7. Let g be h(5). Is i(g) a composite number?
False
Let t = 2598 + -1037. Is t composite?
True
Let u(m) = 1814*m**2 + 20*m + 7. Is u(-3) a composite number?
False
Suppose -494030 = -12*v + 2*v. Is v prime?
False
Suppose 0*j + 2793 = 7*j. Suppose 0 = 2*a - 1243 + j. Is a a prime number?
False
Suppose 0 = 5*h + w - 43894, 5*h + 4*w - 35484 - 8407 = 0. Is h composite?
False
Suppose 0 = -27*q + 29*q - 4990. Is q prime?
False
Suppose 5*o + 3 = 4*o + s, -2*s = o - 12. Suppose 2653 = -o*q + 3*q. Is q a composite number?
True
Let j(i) = -3*i - 4*i - 5*i**2 - 12 - 3*i + 4*i**2. Let d be j(-8). Suppose 3*p + 6*o - d*o = 627, -2*p + 5*o = -437. Is p prime?
True
Let o(i) = -11 - 60*i - 9 + 23. Let d(z) = -z**2 + 7*z - 2. Let h be d(7). Is o(h) composite?
True
Suppose 2*r + 4*i - 12750 = 0, i = r - 4409 - 1963. Is r prime?
True
Suppose 3*t - 14916 = -3*k, t = -t + 6. Is k a composite number?
False
Let c(a) = -a**3 - 17*a**2 - 17*a - 6. Let y be c(-16). Is 6/y - (-55188)/45 a prime number?
False
Is 2/(-8) + 110682/72 prime?
False
Let w(b) = b**3 + 11*b**2 + 5*b + 12. Let i be w(-10). Suppose 4*g - 2*g - i = 0. Is g a composite number?
False
Let g(j) be the third derivative of -17*j**4/12 + 8*j**3/3 - 6*j**2. Let n be g(-11). Suppose 5*d + 4 = 4*c + 627, 0 = 3*d + 3*c - n. Is d a composite number?
False
Suppose 1236 = 15*d - 19*d. Let n = 1364 + d. Is n a composite number?
True
Let k(y) = y**3 - 19*y**2 + 7*y + 11. Let c be k(20). Let w = -318 + c. Is w a composite number?
False
Let l be 14/4 + (-4)/8. Suppose -l*y = -150 - 129. Is y composite?
True
Suppose h - 64*k - 15311 = -60*k, 30618 = 2*h - 4*k. Is h a prime number?
True
Let f = -8786 - -18847. Is f composite?
False
Suppose -5*z + 0*q + 2*q = -19, z + 5*q - 20 = 0. Let u = -2 + z. Is (574/3)/(2/u) a prime number?
False
Suppose 293*c - 289*c = 33340. Is c prime?
False
Is (12 + -2)/((-184)/(-183356)) composite?
True
Let d = 12 - 7. Suppose -d*h - 2*u = -14, -5*h - 6*u = -u - 5. Suppose 9*k - h*k - 185 = 0. Is k prime?
True
Let b(w) = 143*w**2 - 6*w - 7. Let p be b(-5). Is p/(-3)*39/(-26) composite?
True
Suppose -5*h + 0*h = 2*u - 380, 4*h - u = 317. Let k = h + -51. Let q = 50 + k. Is q composite?
True
Suppose 4*o - 967 = 993. Suppose o = 4*y + y. Let n = 63 + y. Is n a composite number?
True
Let x(i) be the first derivative of -i**3/3 + i**2 - 27*i - 2. Let j be x(0). Let w = j - -136. Is w prime?
True
Let z(w) = w + 961*w**3 - w**2 - 103*w**3 - 2*w + 2*w. Let m be z(1). Suppose 4*t + 230 = m. Is t a prime number?
True
Suppose 5*n = n + 28. Let c = n + -1. Let o(w) = w**2 + 10*w - 7. Is o(c) prime?
True
Suppose -4*y + 17635 = y. Is y prime?
True
Suppose -3*k + 3*t = -24777, k - 9892 + 1617 = -3*t. Is k prime?
True
Suppose -5*c - 2*d = 2*d - 2, -5*c - 3*d + 4 = 0. Let z be (9/27)/(c/18). Suppose -572 = -2*i - z*a - 2*a, -2*a = 4*i - 1160. Is i prime?
False
Suppose -179 = -3*r - 4*j, -2*r = 2*j + 3*j - 117. Suppose -3802 = -u + r. Is u a composite number?
False
Let u(f) be the first derivative of -23*f**3/3 + 2*f**2 + 3*f + 3. Let q be u(-3). Let v = 893 + q. Is v composite?
False
Suppose -3*d = 5*q - 56821, -d - 19*q + 15*q = -18931. Is d a prime number?
True
Let k = -33057 + 50996. Is k a composite number?
False
Let d = -1015 + 445. Let o = d + 3841. Is o composite?
False
Let h = -3869 + 2693. Let a = 2063 + h. Is a composite?
False
Let v be 2*(2*244 + 3). Suppose -48 = 2*a + d - v, 0 = 3*a + d - 1400. Is a a prime number?
False
Suppose -5*y + 0*y = -25. Suppose -o = -y*o + 872. Is -3 + 9/3 + o a prime number?
False
Suppose -a - a + 28 = 0. Suppose -6*c = -8*c + a. Is c prime?
True
Suppose y = 3*l + 8501, 0 = 49*l - 47*l. Is y composite?
False
Let x(w) be the first derivative of -17*w**3/3 + 3*w**2/2 - 7*w - 5. Let s be x(-5). Is ((-12)/36)/(1/s) composite?
False
Suppose 5*a - 12 - 3 = 0. Is 263/3 + 4/a a prime number?
True
Let p be ((-4)/(-6))/(7/21). Let c be p - (2 + 2 + -6). Suppose -3*w + 383 = c*k, 0*w = -5*w - 4*k + 641. Is w a composite number?
True
Let t = 357 + 1294. Is t a prime number?
False
Suppose -5*f + 123189 = -8*o + 9*o, 492656 = 4*o - 5*f. Is o composite?
False
Suppose 25*l - 248924 = 1251. Is l a composite number?
False
Let f be 6/(-14) - (-726)/77. Suppose 1 - f = 2*m, -34 = 2*g + m. Let u = g - -29. Is u prime?
False
Let y(n) = n + 8. Let r be y(7). Suppose -3*i - 3 = -r. Suppose -i*o = o - 745. Is o a composite number?
False
Let b = 5 - 6. Is (b/(-1) - 2)*-1*467 a composite number?
False
Let i(f) = 17*f - 5. Let g be i(4). Let y = 106 - g. Is y composite?
False
Let n(z) = -2*z - 36. Let q be n(-15). Is (-817 - 1)*q/24*2 a composite number?
False
Let i = 11942 - 6385. Is i a composite number?
False
Suppose 33*j = 37*j + 12, i - 4*j = 25591. Is i prime?
True
Let t = 58 + -53. Is 1*2 - (-4255)/t prime?
True
Let y(j) = -j**2 - 5*j + 6*j - 3*j + 2*j**2. Let p be y(2). Suppose 51 = 5*s - 3*a - 246, 2*s - 2*a - 122 = p. Is s prime?
False
Let q(a) = -3*a + 11. Let g be q(3). Is 1/((-3)/(-7158))*1/g prime?
True
Let r(a) = -52*a**3 + 2*a**2 + 3*a - 1. Let v(p) = -157*p**3 + 7*p**2 + 10*p - 4. Suppose 21 = n - 4*n. Let x(j) = n*r(j) + 2*v(j). Is x(2) a composite number?
False
Suppose -4*n - b - 37 = -6*b, 5*n = -3*b. Let k be n/((-2)/(-4)*-2). Suppose -k*i = -2*i - 131. Is i prime?
True
Let y(t) = 7*t**3 + 2*t**2 + 3*t - 3. Let w be (-10)/4*(-56)/20. Let q = w + -5. Is y(q) a composite number?
False
Let h = 2 + 0. Suppose 371 = 5*l + h*l. Is l a prime number?
True
Let s(i) = -18*i - 1. Let a = 18 + -13. Let o(t) = -37*t - 3. Let d(k) = a*s(k) - 2*o(k). Is d(-10) a prime number?
False
Let g(c) = 339*c**2 - 94*c - 21. Is g(-14) a prime number?
False
Let t(v) be the second derivative of -3*v**5/2 + v**4/12 - v**3/3 + 11*v**2/2 + 9*v. Let z be t(-5). Suppose 10 = -6*f + z. Is f composite?
False
Let h be (-22)/18 + 44/198. Let r be h/(3 + 15112/(-5036)). Suppose 5*y = -p + 2*y + r, 0 = -4*y. Is p prime?
True
Let u(r) = 2*r**2 - 4*r - 16. Let a be u(6). Suppose -2*t = -6 - 4. Suppose t*n = 3 + a. Is n a composite number?
False
Let g(q) = -q**3 - 31*q**2 + 39*q + 14. Is g(-33) prime?
False
Let o(r) = 5147*r**2 - 7*r - 9. Is o(-2) a prime number?
True
Let k = -13856 - -26347. Is k a composite number?
False
Let s = 241 - 56. Suppose -4*l + s = l. Is l prime?
True
Suppose 17712 = 4*m + 4*u, 5*m - 5*u = -8*u + 22142. Is m a composite number?
True
Let a(p) = 2*p - 7. Let q be a(5). Let s = -39 + 89. Suppose -q*i + i + s = 0. Is i a prime number?
False
Let o = 66446 + -44341. Is o a prime number?
False
Let q(m) = m**3 + 10*m**2 + 2*m + 14. Let w be q(-10). Let p be 990/27 + 4/w. Suppose i = 91 + p. Is i composite?
False
Let l(b) = 29 - 7 + b - 4*b + b. Let k be l(15). Let u(d) = -80*d + 7. Is u(k) prime?
True
Let f(h) = -1. Let n(u) = 3*u**2 - 5*u - 3. Let s(o) = 3*f(o) + n(o). Is s(-8) a composite number?
True
Suppose -4*j + 36 = 24. Suppose 3*g - 3719 = -j*k - 410, -5*k - 3*g + 5507 = 0. Is k a prime number?
False
Let x be (2/(-5))/(2/(-540)). Let g = -1 + 6. Suppose 3*j - 122 = -5*z, -3*z - z + x = g*j. Is z a composite number?
True
Let u(d) = 1690*d + 19. Is u(3) a composite number?
True
Let c = 2054 - 475. Is c prime?
True
Let m(p) = 1415*p - 16. Is m(1) composite?
False
Let z = 1101 - 539. Suppose 447 = 4*n - 5*y, -4*n + 3*y + z = n. Is n a prime number?
True
Let s(l) = 2*l - l - 3 + 8. Let q be s(-4). Is 11/((-33)/(-234)) + q a composite number?
False
Let a(l) = -l**3 - 4*l**2 + 3*l - 7. Let o be a(-5). Let h(d) = 6*d**2 + 3*d + 3. Let c be h(-1). Let g = c - o. Is g prime?
True
Suppose -q = 3*r - 194, 2*q - 235 = -3*r + 150. Is q prime?
True
Let d(w) be the second derivative of w**3/6 + 6*w**2 + 2*w. Let h be d(-7). Suppose h*u - 79 = 186. Is u a prime number?
True
Let i be (-104)/(-4) + (-1 - -2). Let c = i - 25. Suppose c*f = -1 - 3, 4*y - 2*f = 88. Is y composite?
True
Let j = 1362 + -871. Is j a prime number?
True
Let y = -42569 + 75036. Is y composite?
False
Suppose 46*k - 47*k = -205. Suppose 311 = 4*r - k. Is r prime?
False
Suppose 1652 = -63*n + 91*n. Is n a prime number