 composite number?
False
Let a = -171047 + 350826. Is a a composite number?
False
Suppose -13*y + 15*y = 1238. Let a = 957 - y. Suppose -8*b + 790 = -a. Is b a prime number?
False
Is (-4 + ((-471835)/10)/13 + -8)*-74 a composite number?
True
Let r be (-33)/(-55) - (-69)/(-15). Is (-7388)/6*6/r prime?
True
Suppose -4*l = -5*b + 132335 + 169116, -60247 = -b - 4*l. Is b prime?
False
Let l be (0 + (-8)/(-20))*5. Suppose 0 = l*s - 7*s. Is (-1228)/(-4)*(1 - s) prime?
True
Let w(a) = -2*a + 5. Let u be w(6). Let h(n) = -28*n + 2 - 8*n - 6*n - 5*n. Is h(u) a composite number?
False
Suppose 0 = -23*n - 11*n - 58072. Let z = -449 - n. Is z a prime number?
True
Let b(m) = 2*m**2 - 7*m - 7. Let s be (-5 - 0)/(-5)*12. Let z be b(s). Suppose 289 = -6*d + 9*d - 2*v, -2*d - 3*v + z = 0. Is d composite?
False
Let z = 96 + -63. Let q be z/(-11)*((-208)/(-3) - 0). Let h = 411 + q. Is h composite?
True
Let x(m) = m**2. Let p be x(4). Suppose -p*v + 7852 = -4644. Is v composite?
True
Suppose -4*n + 66 = -126. Suppose 8*k - 168 + n = 0. Is (4113/k)/((-1)/(-5)) a prime number?
False
Let o(f) = -1268*f - 19 - 8*f**2 + 1232*f + f**3 - f**2. Is o(15) composite?
True
Let u(t) = 77*t**2 + 6*t - 1. Let w be u(5). Let b(o) = -5*o**3 - 11*o**2 - 4*o + 37. Let x be b(-9). Let k = w + x. Is k a composite number?
True
Suppose -a = 5*l - 470317, 7*l - 11*l - 1881172 = -4*a. Is a a composite number?
False
Is 6*(19318/60 - (-48)/(-360)) prime?
True
Let i(v) = 4*v**2 - 84*v - 1261. Is i(57) a prime number?
True
Let x(i) = -i**2 + 9*i - 8. Let l be x(5). Suppose 3*h - l = -3*h. Is (-2)/(-12) + 25124/24 + h composite?
False
Suppose -8*n = 2*n + 40. Let j(m) = m. Let y be j(n). Let g(v) = 51*v**2 + 7*v + 11. Is g(y) prime?
False
Let u = -58741 + 110890. Is u composite?
True
Is 4/12 - 12/60 - (-3568565)/75 a composite number?
False
Let k(u) = 4*u**2 - 11*u + 121. Suppose -m = -5*q - 2*m + 121, 2*q - 5*m - 43 = 0. Is k(q) composite?
False
Let j(l) = -33 - 21 + 41 + 2*l. Let d be j(9). Suppose -45132 = d*i - 17*i. Is i prime?
True
Let z(p) = 0*p**2 - 6 + p**2 - 5 - 16 + 7*p + 18*p**2. Let g be (-15)/2*8/6. Is z(g) a composite number?
True
Let a(j) = -16*j**3 + 6*j**2 - 15*j - 14. Let g be -39 + 38 + 12/(-2). Is a(g) a prime number?
False
Is (54/(-216))/(1 + (-5114394)/5114392) a composite number?
False
Suppose -3*b = k - 86152, -3*k + 430774 = 2*k + b. Is k composite?
True
Suppose -3*n - n + t + 23 = 0, 4*t = -5*n + 13. Suppose 3*r = 9, -n*o = 2*r - 17159 - 1442. Is o composite?
False
Let c be (-2)/(12/(-69)) + 2/4. Is (-1347)/(-2) - 6/c composite?
False
Let d(b) = -70*b - 18. Let x be d(-5). Let i = x - -50. Is i a composite number?
True
Let g be ((-2)/((-8)/(-3)))/((-63)/168). Suppose -4*o = -3*m - 11632, 0*o + g*m = o - 2903. Suppose -12*z - o = -11323. Is z a prime number?
True
Let k(i) = -i**2 + 10*i - 14. Let l be k(7). Suppose l*u - 6558 = 10753. Is u composite?
False
Let q(y) = 246*y**2 + 194*y + 13. Is q(-15) composite?
False
Suppose 14*o - 47 = 15*o. Let z = -44 - o. Suppose z*d - 585 = 186. Is d composite?
False
Let q = 462893 + -227496. Is q composite?
False
Suppose -4*y = 5*n - 27590 - 143041, n = 3*y - 127978. Is y a composite number?
True
Suppose 19 + 79 = 3*i - 5*x, 2*x = -8. Let p = 48 + i. Is p prime?
False
Let c = -204 - -207. Is c - 15785/(-42) - (-1)/6 a prime number?
True
Let g(o) = 5268*o**3 - 8*o**2 + o - 5. Is g(2) prime?
False
Suppose 0 = 57*b - 49*b - 40. Suppose -f + 614 = b*s - 4*s, 0 = -5*s + 5*f + 3070. Is s a prime number?
False
Let b(h) = 20700*h**2 + 5*h - 3. Let y be b(1). Let c = y - 12801. Is c composite?
False
Let q(b) = 32*b - 43. Let o be q(2). Is o + -25 - (-10011)/((-1)/(-1)) composite?
False
Let a(f) = 2*f**3 + 33*f**2 + 28*f + 857. Is a(28) prime?
False
Suppose 0 = -o + 6*o - 95. Suppose 3 = -4*x + o. Suppose 422 = x*y - 2*y. Is y prime?
True
Let b(z) = -8811*z**3 - 9*z**2 - 15*z + 8. Is b(-3) a composite number?
True
Suppose -5*y = -5, 2*h - 8*y + 6*y - 6 = 0. Let k(m) = m**3 - 2*m**2 - 2*m + 2. Let z be k(2). Is 107688/48 + z/h a composite number?
False
Suppose -15*t + 31 = -16*t. Let a = 37 + t. Suppose -a*j + 1610 = -232. Is j a composite number?
False
Suppose 15*l + 0*l = -69225. Let d = l + 9842. Is d composite?
False
Let j be -2 - (-2)/(-1) - (-1408 - -17). Let y = j + 10. Is y a prime number?
False
Let a(t) = -4*t**3 + 46 + 5*t**3 + 6*t - 41 + 4*t**2 - 10*t**2. Let n be a(5). Suppose 15*g = n*g + 1895. Is g composite?
False
Suppose 0 = -14*h - 64*h + 5628246. Is h prime?
False
Suppose -i - 5716 = -6*z + z, -4*z - 4*i + 4568 = 0. Suppose 0 = -3*x + 3, 7*p - 11*p + 5*x + z = 0. Is p a prime number?
False
Is (-11 - 1875/(-175))/((-4)/888818) a composite number?
False
Let u be 20/6 + -3*10/(-45). Suppose -k - u*n = -4*k + 3937, 3*k - n = 3952. Is k prime?
True
Let w be -1*(-1 + -2) - 152. Is 20/(-25) + 423/(-15)*w a prime number?
True
Suppose 5*i + 20 = 0, -3*i - 14402 = -5*a + 13425. Is 5/(5/(-4)) + -2 + a composite?
False
Suppose -14987 = -4*x - 4003. Suppose 3*m + 3*n - x = 200, -1 = n. Is m a composite number?
False
Let l = -22275 - -9638. Let z = -7550 - l. Is z a prime number?
True
Let l(j) = -1674*j - 17. Let h be l(-2). Suppose -5*c - h = -3*q + 1107, 0 = 2*q + 2*c - 2964. Is q prime?
True
Suppose -7*y + y = -18. Suppose -y*b + 4008 = 5*b. Suppose b = 3*o - 5*c - 512, 4*c = 3*o - 1009. Is o prime?
True
Suppose 0 = -r + 4*p + 20, 2*p = r - 3*p - 23. Suppose -r*u = -12*u. Suppose u = -4*j - k - 0*k + 1229, j - 4*k = 303. Is j prime?
True
Let a be 2695 + (1 - (-5 - -1)). Suppose l - 2*v - 363 - a = 0, 5*v = l - 3048. Is l prime?
False
Suppose 7*o = 10*o + f - 34677, -o + 5*f = -11543. Is o a composite number?
True
Let o(a) = -2*a**3 + 12*a**2 + 3. Let j be o(6). Suppose u + j*u = 4696. Is u a composite number?
True
Suppose 6*u - 21 = 3. Suppose -2*x = 3*m + 2*m + 944, -744 = 4*m - u*x. Is m/(-6) + (-1)/3 a prime number?
True
Let b be 18414 + 9/9 + -9. Suppose 8 = -5*v - 12, -2*q + b = -v. Is q prime?
False
Let s(n) = 4*n**3 - 2*n**2 + 17*n - 5. Let j(a) = -3*a**3 + 2*a**2 - 16*a + 5. Let g(d) = -5*j(d) - 4*s(d). Let h be g(-5). Is (-6 + h)*(-739)/(-4) prime?
True
Let d(s) = 2170*s - 2769. Is d(34) a composite number?
False
Let b(c) = c**3 - 27*c**2 + 5*c - 27. Let z be b(27). Let d = 565 + z. Is d a prime number?
True
Suppose 9*x + 3*q - 7414 = 8*x, 14818 = 2*x - 4*q. Is x prime?
True
Is ((-1)/3 - 35/(-42))/(28/533848) prime?
True
Suppose -19663626 = -102*j + 2576352. Is j prime?
False
Suppose 4*y + j = -39, 5*y + 3*j - 2*j + 48 = 0. Let s be (18/9)/(3/y). Let z = 12 + s. Is z a composite number?
True
Suppose -u = -q + 2*q - 9, -5*q + 4*u + 90 = 0. Let r(w) = q + 2 - 213*w + 141*w - 309*w. Is r(-5) prime?
False
Let c(w) = -108604*w + 683. Is c(-6) a composite number?
True
Let o be 13/((-1170)/(-1608)) + (-2)/(-15). Suppose o*f + 19*f = 120805. Is f prime?
False
Let h = -451421 - -680760. Is h a prime number?
False
Let z be ((-2704)/(-24))/((-14)/63). Is ((-20)/(-8))/(z/102 + 5) a prime number?
False
Let c be (-39)/(-3) + 4/(-1)*-1. Suppose -c*v + 204 = 68. Suppose 0 = -x - 5*u + 1079, x - v*u = -3*u + 1059. Is x a prime number?
True
Let f be 260/12 - 4/(-12). Is (-662)/4*(-3)/(3/f) a prime number?
False
Let d(y) = 61292*y**2 - 38*y - 41. Is d(-1) composite?
True
Let w(s) = -2*s**2 - 33*s + 12. Let f be w(-17). Let v(r) = -7*r - 32. Let h be v(f). Suppose 0 = -4*m - 12, -2018 = -n - h*m - 2*m. Is n a composite number?
True
Let t(x) = 3*x**2 - 3*x - 3. Let v = 0 + -1. Let s be t(v). Suppose -f - 95 + 620 = l, -s*l + 4*f = -1547. Is l a prime number?
True
Let n(v) be the first derivative of -19*v**4/4 - v**3 + 3*v**2/2 + 9*v - 1441. Suppose -3*h - 7*y - 12 = -3*y, 0 = -3*y. Is n(h) composite?
True
Let q = 3130 - -2095. Suppose 19315 = 10*l + q. Is l a prime number?
True
Suppose -u = 2*s - 1, 0*u = 2*s - 3*u + 3. Suppose -5*h - 6806 + 851 = s. Is (-2)/(6/h)*2/2 a composite number?
False
Let m(g) = 323*g**2 + 4*g + 289. Is m(8) a composite number?
True
Let a(c) = -11*c + 33. Let z be a(-4). Let n = -77 + z. Suppose n = 12*x - 3*x - 6165. Is x a composite number?
True
Suppose 549*b - 702*b = -8977887. Is b a composite number?
False
Let v(z) = 25238*z + 6203. Is v(12) a composite number?
False
Let g(w) = 8*w - 6. Let x be (-7 - (-2 + -5