h**3 - 7*h**2 + 7*h - 107. Is w(-20) prime?
True
Suppose -3*c + 24 = 9. Suppose -2*z - c*p = -14351, -p + 2*p - 35912 = -5*z. Is 16/120 + z/15 composite?
False
Suppose -90*s + 4*m - 80338 = -92*s, 4*m = 4*s - 160724. Is s a composite number?
False
Let g(k) be the second derivative of -4*k + k**2 + 0 - 19/6*k**3. Is g(-3) prime?
True
Let i(b) = 4*b - 13. Let x be i(6). Suppose -9695 = 6*n - x*n. Is n a composite number?
True
Let j(z) = 8*z**3 + z**2 - 10*z + 50. Is j(7) prime?
False
Let a(h) = -3*h + 1. Let z be a(1). Let b be (-2*5 + z)*-9. Let p = b + 25. Is p a composite number?
True
Let j = 265 - 170. Suppose -6*w = -8*w + 396. Let i = j + w. Is i prime?
True
Let a(s) = 11852*s**3 - 2*s**2 + 5*s - 4. Is a(1) a composite number?
True
Is 1*(-1)/2*-1834 prime?
False
Let a be 8/(-14) - (-24)/42. Suppose -6*l - 5 + 1547 = a. Is l a composite number?
False
Suppose 25*j = 197254 - 53129. Is j composite?
True
Suppose -23839 = -5*i + 4*w, 6*w - 7*w - 4767 = -i. Is i a composite number?
True
Suppose 0 = -3*n - 4*t + 2119, 5*n + 3*t = 2565 + 985. Let u = n - 233. Let p = u - 127. Is p a prime number?
True
Suppose 0 = -2*t + 2*k + 34, 5*t = -4*k + 57 + 37. Let s = -124 - -136. Is t/s*1790/3 a composite number?
True
Let l(f) = 24 + f + f**3 + 14*f**2 - 2 + 0*f - 19*f. Is l(-15) composite?
False
Let b(u) be the second derivative of -u**5/20 + 11*u**4/12 - u**3/2 - 6*u**2 + 39*u. Is b(7) composite?
False
Let f(d) = 6*d**2 + 13*d + 17. Is f(-10) a composite number?
False
Suppose o = 3*v - 135024, 3*v + 2*o - 45001 = 2*v. Is v composite?
False
Let x(w) = -2*w - 12. Suppose 0 = 3*d - 7 + 31. Let y be x(d). Suppose -m + 91 = -3*a, -5*a - 219 = -y*m + 145. Is m a composite number?
True
Let n(x) = x**2 + 5*x + 15. Let r be n(-5). Suppose 0 = -r*p + 12*p + 2307. Is p prime?
True
Let i(p) = p**3 - 11*p**2 + 15*p - 15. Let l be i(12). Let d = l + -85. Let z = -81 + d. Is z a prime number?
False
Let f(c) = -c**2 + 40*c + 146. Is f(30) prime?
False
Suppose 3*b - 153377 = -4*q, -280*b = -5*q - 284*b + 191721. Is q prime?
False
Let d = -9 - -15. Let l(p) = p**3 - 12*p**2 + 5*p - 3. Let s be l(d). Let n = -58 - s. Is n composite?
False
Suppose 14*k - 17*k = -2*v + 61480, 153689 = 5*v - 2*k. Is v composite?
True
Let u(l) = 6*l**2 - 30*l + 235. Is u(-36) prime?
True
Let b = 252 + -17. Suppose a = 4*a - 5*y - 340, 0 = 2*a + 5*y - b. Is a composite?
True
Suppose -3*p - 120 = 3*p. Let z = 20 + p. Suppose -3*f + 215 - 42 = n, z = 4*f + 2*n - 232. Is f a prime number?
False
Let s = -37 - -25. Let r = s - -17. Suppose 0 = 5*j + 15, -r*j = v - 2*j - 856. Is v prime?
False
Suppose -2*x + x = -159. Let q = x - 269. Let o = q - -229. Is o composite?
True
Let k = -15 + 9. Let y be 3/(k/8) + 26. Let m = 41 - y. Is m a prime number?
True
Let l be 968 + 0/(2/(-1)). Suppose -c + 452 = -l. Suppose -c = g - 5*g. Is g composite?
True
Let g(n) be the first derivative of -9*n**2 - 7*n - 159. Let h = -11 + 6. Is g(h) a composite number?
False
Let z = -1596 - -2656. Suppose -22*j = -27*j - z. Let y = 417 + j. Is y composite?
True
Let k be 14 + -12 + (-2 - 0). Suppose 3*g + 2*o - 6*o = 10, k = 5*g - o - 11. Suppose 3*h = -g*h + 175. Is h a composite number?
True
Let h be (0/(1 - 5))/3. Suppose h = a - 41 - 42. Is a prime?
True
Is 8/(-2) - (-1*13704)/8 a composite number?
False
Suppose -4*v = 466 - 2142. Is v prime?
True
Let c be 6/(-8) + 181973/44. Let z = -2344 + c. Suppose -779 - z = -2*k. Is k composite?
True
Let p(z) be the second derivative of -17*z**3/2 - 13*z**2/2 - 6*z. Is p(-4) a composite number?
False
Is (-7022)/8*(-92)/(-115)*-5 a composite number?
False
Suppose -100201 = -5*z - 2*m, -40081 = -2*z + m - 2*m. Is z a prime number?
False
Let f(b) = b**2 - 12*b - 5. Let v be f(13). Suppose -v + 182 = -3*r. Let p = r - -137. Is p composite?
False
Let l(t) = -t**2 - 3*t + 22. Let q be l(-5). Is q/(-8)*(1 + (-370)/6) a prime number?
False
Suppose -5*a + 305 = -2*b - 24, -b + 63 = a. Suppose 2*k + t = 1055, -t - a = -k + 458. Is k a composite number?
True
Suppose 1985*f - 57325 = 1960*f. Is f a composite number?
False
Let g be (-2)/7 + (-116)/(-14). Let p(m) = m**3 - 8*m**2 + m - 3. Let h be p(g). Suppose h*v - 1580 = -5*d, 2*v - 521 = -3*d + 428. Is d a composite number?
False
Suppose 5*j - 2761 = -2*x, 2*x = -0*x + 6. Suppose -j = -5*z + 394. Suppose v = -5*k + z, 4*k + 0*v - 144 = v. Is k prime?
True
Let t be -5 + -1 + 2 - -1193. Is (t - (4 + -6)) + 4 a composite number?
True
Let t(q) = q + 4. Let b be t(-2). Suppose -b*s + 1176 + 210 = 0. Let y = s - 296. Is y a composite number?
False
Suppose g - 917 + 49 = 0. Suppose -3*t = -g - 305. Is t a prime number?
False
Let o be ((-294)/9)/(-7)*6/4. Suppose o*x = -8*x + 5565. Is x a composite number?
True
Let j(d) = d**2 + 4*d + 2. Let o be j(-1). Let n be o/(-2)*(-20500)/5. Is 20/4 + -2 - n a composite number?
False
Let o be 7/(-14)*(-1 + -1). Is o/(4/((-4240)/(-4))) a prime number?
False
Suppose -i - 3169 = a - 11925, 4*i - 20 = 0. Is a prime?
False
Suppose 5*s - 7 = 4*g, 0 = 4*g + 5*s - 29 + 6. Let o be g + 2*(4 - -2). Is 4/o + 2952/56 a prime number?
True
Suppose -6*b = -5680 - 4226. Is b a composite number?
True
Let w be (-1)/((-5)/(-4 - 1)). Suppose -5*r = 5*n - 3*n + 230, n = -2*r - 93. Let j = w - r. Is j a prime number?
True
Suppose -3*f - 6 + 21 = 0. Suppose -4*y - 9 = o - 6*o, 0 = -f*y - 4*o + 40. Suppose y*c + c = 335. Is c composite?
False
Let d(r) = 8*r**2 + 4. Let u(g) = 8*g**2 - g + 4. Let j(a) = 4*d(a) - 3*u(a). Is j(-3) composite?
False
Suppose 153 = -2*h + 4*n - 327, 2*n + 224 = -h. Let g = 621 + h. Let b = g + -202. Is b a prime number?
False
Is (4 + 1 + -4)*(2502 + 1) a prime number?
True
Suppose -5*o + 8 = -4*j, 4*o = -3*j + 17 + 8. Suppose -a + 26 = -5*t + 2, -3*t = j*a. Suppose 0 = a*d + 8, q - d = -4*q + 77. Is q prime?
False
Let i(m) = -124*m + 133. Is i(-6) a composite number?
False
Let r(q) = 29 - 85*q + 403*q - 48*q. Is r(7) composite?
True
Let v = -2 + 16. Suppose 0 = -h - v + 17. Suppose 0 = -j + h*j - 838. Is j a composite number?
False
Suppose -2*z = -b - 15, -2*b + 1 = 2*z - 5. Is 447 - z/((-36)/(-8) - 3) a composite number?
False
Suppose 16*h = 534743 + 396601. Is h a composite number?
True
Is (-18)/24*4/(-5)*905 a prime number?
False
Is -3 - 9/((-72)/5584) composite?
True
Suppose b - 8 = -6. Let f be (-1)/(3/(-5994)) + b. Is (-4)/(-6) - f/(-15) a prime number?
False
Let i = 5607 - 1630. Is i a composite number?
True
Let y(i) = 661*i + 56. Is y(3) a composite number?
False
Let c(a) = 308*a**2 + 7*a - 11. Is c(-4) composite?
False
Let t be 70/6 - 2/3. Let v(w) = -w**2 + 11*w + 4. Let h be v(t). Suppose 249 + 11 = h*l. Is l composite?
True
Suppose -14*a - 38*a + 56108 = 0. Is a a composite number?
True
Is (16 + 1420)*-7*1/(-4) prime?
False
Let s be 4/(-26) + (-63)/13. Is (105/12)/(s/(-20)) composite?
True
Suppose -4*f + 3*h + 24251 = -0*h, 4*f - 2*h = 24254. Is f prime?
False
Suppose -153*z + 158*z = 31145. Is z a composite number?
False
Suppose 383 = 2*t - 5*u, 0 = -0*t - 3*t - 3*u + 585. Let q = 441 + t. Is q prime?
False
Let t(c) = -262*c**2 + 5*c - 2. Let k be t(3). Let h = k + 3663. Is h a prime number?
False
Suppose 0 = -5*i - 4*r + 32349, -2*r - 4487 = 2*i - 17427. Is i a composite number?
False
Suppose 0 = -2*u + 5*p + 1, 0 = -p - 0*p + 1. Suppose 0 = u*i + i - 1268. Is i prime?
True
Suppose 0 = 11*a - 8*a. Is -1 - 1 - -193 - a a composite number?
False
Suppose 0 = -2*m - 2*p - 4, -4*p - 2 = 2*m + 12. Suppose -1160 = -m*j + 2065. Suppose -j = -0*x - 5*x. Is x a composite number?
True
Let t(z) = -2 + 26*z**2 - 3*z + z + 30*z**2 - 2*z. Is t(-3) a composite number?
True
Suppose -5*v = -10*v + 15. Suppose -3*n - k + 756 = -2*k, 5*n - v*k - 1264 = 0. Is n a prime number?
True
Suppose 0*f - 8*f + 20144 = 0. Suppose t = -t + f. Is t a composite number?
False
Suppose 3*l - 5*p + 24 = 10, 5*l + 5*p + 90 = 0. Let y = 131 - 89. Let r = y - l. Is r composite?
True
Suppose 23*b = 20*b + 3513. Is b prime?
True
Suppose 0 = l - 0 + 4. Let b(o) = o**2 + o - 5. Let q be b(l). Let t(v) = 16*v**2 + v - 4. Is t(q) prime?
True
Suppose -482040 - 893884 = -44*t. Is t a composite number?
False
Let p = 7 - 5. Suppose -p*l + 2*z + 730 = 0, 4*z - 809 = -5*l + 1025. Suppose 5*q - 5*f = 1510, -2*q + l + 241 = -5*f. Is q a compo