= -9095 + h. Is u a composite number?
True
Let p = 182 - 178. Let u(i) = i**3 + 20*i**2 - 19. Let v be u(-14). Suppose -p*x + 5*x = v. Is x a composite number?
True
Let y = 29 + -24. Suppose -y = -v - 1. Suppose 0 = -2*u + m + 449, v*u - 2*u = -2*m + 440. Is u a composite number?
False
Suppose 3*j = -3*i, 0 = -4*i - 0*j - 3*j - 1. Let n(f) be the third derivative of 887*f**5/60 + f**4/12 + f**3/3 - 10*f**2. Is n(i) composite?
False
Let b be 12/(-15)*(-1845)/(-18). Let s = 275 + b. Suppose 2*j + 3*j + s = f, 655 = 3*f + 4*j. Is f a prime number?
False
Let v(b) = 2390*b**2 - 132*b - 397. Is v(-3) prime?
False
Is 5 + 138/(-30) - (-6 + 665612/(-20)) a prime number?
True
Is (3*-24092)/(-2) - ((-225)/(-9))/(-5) prime?
False
Let s = -29 - -32. Is 1/((15/3595)/s) a prime number?
True
Suppose -2 = -2*o - 0*o. Let p(g) = -1540*g**2 - g - 2. Let i(y) = -2*y**2 - y. Let r(x) = 4*i(x) - p(x). Is r(o) prime?
True
Is 68557 + 5 + -1 - (-30)/(4 + 1) a prime number?
True
Suppose -5199171 = -13*j + 599362. Is j prime?
True
Let d = 1130 - -800. Suppose d + 1329 = m. Is m prime?
True
Let a(y) = -214*y + 7. Let c be a(-14). Suppose -4734 = -w + c. Suppose 0 = -19*o + 16*o + w. Is o a prime number?
True
Is (85311792/(-2160))/(1/(-5)) a prime number?
False
Let g be 10/2 - (-297760)/20. Suppose g = r + 7*p - 3*p, 2*r + 3*p - 29796 = 0. Is r composite?
True
Let i be 24/5*25/10. Suppose 10*d - i*d = 6. Is 347/((-28)/(-8) + d) a prime number?
False
Let s = -305 + 311. Suppose s*v - b = 7*v - 478, -v + 5*b + 484 = 0. Is v a composite number?
False
Suppose -28*r - 25866 = -46*r. Suppose 4*t - 319 = r. Is t prime?
True
Let o(y) = -2*y**2 + 61*y - 18. Let b be o(23). Let v = b - -6794. Is v a prime number?
True
Let d = 10686 + -6419. Is d a prime number?
False
Suppose -12 = t + 2*t, 4*t + 187 = 3*s. Let q(l) = -26*l**2 - s*l**2 + 110*l**2 - 8*l + 10. Is q(-13) prime?
False
Let f(c) be the second derivative of -67*c**6/720 - 3*c**5/40 - 13*c**4/12 + 5*c. Let l(p) be the third derivative of f(p). Is l(-8) prime?
False
Suppose 6936983 = 343*t - 59292198 - 10881678. Is t a prime number?
True
Let q = 1368311 - 486414. Is q prime?
True
Let b(y) = 7*y**2 - 3*y - 206. Let s(x) = 22*x + 48. Let d be s(-4). Is b(d) prime?
False
Suppose -44 = -5*g + 5*y + 1, 0 = 5*g + y - 69. Suppose 4*w - g - 3 = 0. Suppose w*d + 4605 = 5*t, -228 = -3*t - d + 2535. Is t composite?
True
Let u(i) = -5596*i + 1939. Is u(-37) a prime number?
True
Let y = -10598 + 2854. Let k = -4713 - y. Is k prime?
False
Let b(p) = -29*p**2 - 6*p + 7. Let n(v) = -87*v**2 - 18*v + 23. Let i(k) = -7*b(k) + 2*n(k). Suppose 12 = -3*s, d + 2*d - 4*s = 28. Is i(d) composite?
True
Let r(t) = -70*t**3 + 5*t**2 + t - 1. Suppose s - 3 = 2*b, -5*b - 4 - 2 = -3*s. Is r(s) a prime number?
True
Let h(t) = 4*t - 68. Let n be h(18). Suppose -4*q - 4040 = -n*a, -5*q + 1014 = a - 10*q. Is a composite?
False
Suppose 2*n - 3*z - 15 = 3*n, -4*n - z - 5 = 0. Suppose 2*b - 6 = n, -3*q + 24*b = 21*b - 1749. Is q a composite number?
True
Suppose -2*s = -3*b - 5733, 27*s - 5*b = 31*s - 11411. Is s a composite number?
True
Suppose -3*n - 20 = -2*v - 3*v, -2*n - 12 = -3*v. Suppose -37543 = -k - 3*k - 3*m, v*m + 9362 = k. Is k a composite number?
True
Suppose r + 2*w - 56 = 6*w, 2*w + 266 = 4*r. Suppose -278146 = -r*s + 46*s. Is s a composite number?
True
Suppose -53*b + 26781607 = -2479852. Is b composite?
False
Suppose 2*b = -b + 63. Let x be (-2 - 50/(-4))/(b/140). Suppose 2*h = 3*r + 793, -2*h = 2*r - 838 + x. Is h a prime number?
True
Suppose -8*r + 15355 = -58021. Let h = -6368 + r. Suppose -4*d - x + h = 92, -3381 = -5*d + x. Is d composite?
False
Suppose 0 = 4*f - 3*n - 37 + 10, 4*n + 20 = 0. Let x be (-24158)/(-6) + (-4)/(-6). Suppose 3*w = -2*h + x, 2*w + f*h - 1031 = 1652. Is w a prime number?
False
Suppose 3*i = 4*n - 1275, 9 = -14*n + 17*n. Let m = i - -728. Is m a composite number?
False
Suppose -4*a + 27735 = 5303. Suppose 5453 = 3*m - a. Let h = 6958 - m. Is h a prime number?
True
Let q = 1468 - 1325. Is q prime?
False
Let h(w) = 2683*w + 369. Is h(23) prime?
False
Suppose 259*v - 272*v = -12086321. Is v composite?
False
Suppose 5*l - 5 = 6*l, 4*n - 4*l - 220 = 0. Suppose 48*i = n*i - 16514. Is i prime?
False
Let b(f) = f**2 - 4*f + 6. Let t be (-168)/48*(-4)/7. Let z be b(t). Suppose 2*a - d - 2693 = 0, -a - a = -z*d - 2692. Is a a composite number?
True
Suppose 17*r = 12*r + 2*w - 42, 0 = -2*r - 2*w - 14. Let m(s) = 53*s**2 + 22*s - 35. Is m(r) a composite number?
False
Let p be (-1 + -9)*(-15)/25. Suppose 0 = -p*z - 8*z - 11018. Let m = z + 1233. Is m a composite number?
True
Let r(x) = x**3 - 3*x**2 + 8*x**2 - x - 44 + 72. Let z be r(11). Is z - ((-4)/(-10) - 252/(-70)) prime?
True
Let b be (-2)/(5 + -3) - 0. Let u be (-4)/16 - b/((-4)/19667). Is -1 + -1 + u/(-3) a composite number?
False
Is (4186150/(-30))/((-10)/6) prime?
False
Let n be -7 + 4 + (-1252)/16*-4. Suppose -2*o + n = -47*x + 43*x, -4*o = 3*x - 587. Is o a composite number?
False
Let u be (356 - -3)*(2 + 1). Suppose 0 = 5*t - 3897 - 403. Let p = t + u. Is p a prime number?
False
Suppose -153*k = -122*k - 310. Let b(f) = f**2 + 5*f - 8. Let t be b(-6). Is ((-2475)/k - 2)*t a composite number?
False
Suppose -3*l = -3*z - 5091, -4*l + 5*z + 564 = -6228. Is l a prime number?
True
Let j(t) = 264530*t + 1957. Is j(4) a prime number?
False
Let s = 34 - 31. Suppose -s*z - 20 = f + 1, -2*f = 3*z + 27. Is f/10 + 2113/5 composite?
True
Let y(s) = -28*s**3 - 3*s**2 - 5*s - 10. Let g be y(-6). Suppose -12*p = -4*p - g. Let n = 42 + p. Is n a prime number?
True
Suppose 3*m - 27 = -0. Let n be 3/m - 59112/27. Is 2/1 + (-7 - -7) - n a prime number?
False
Suppose -10*v - 733070 = -11*v - 254385. Is v composite?
True
Let c(i) = -i**2 - 4*i + 2004. Is c(31) composite?
False
Let u(w) = -3*w**3 - 9*w**2 - 11*w - 95. Is u(-18) composite?
False
Let p(q) be the second derivative of -3485*q**3/3 + 5*q**2 - 23*q. Let t be p(-2). Suppose t = 11*j - 13363. Is j composite?
True
Suppose 15 = -5*p + 5*w, 2*w = 4*p - w + 9. Suppose 0*i + 13*i - 98917 = p. Is i prime?
False
Let n(p) = 7*p**2 - 2*p + 3101. Suppose -g - 2*i - 20 = 2*i, -4*g = 4*i + 20. Is n(g) a prime number?
False
Suppose -30*x = -31*x. Let p(g) = 825*g**2 - 8*g + x - 7 - 370*g**2 + 1475*g**2. Is p(-1) prime?
True
Suppose -2850399 - 2276466 = -9*g - 2*l, 4*g - 2278619 = -5*l. Is g composite?
True
Let h = 13 + -23. Suppose 50 = -12*d - 38*d. Is (2/h)/((d - -3)/(-3590)) a composite number?
False
Let k = 411 - 408. Suppose 2*z = -k*c + 253, 2*c - 518 = 2*z - 6*z. Is z a composite number?
False
Suppose -3*d = 4*j - 11213, -22*j = -25*j + 3*d + 8436. Is j prime?
False
Let p be (-3)/9 - -2*(-2)/(-3). Is 63 + 42142 - (2 + 0)*p composite?
True
Suppose 3*j - 329 = -7*a + 6*a, -3*j + 299 = -5*a. Suppose j = 2*b - 6. Suppose 0 = b*d - 53*d - 9116. Is d composite?
True
Let x = 28 + -25. Suppose -x*d - 2*d = -13075. Suppose -4*s + 2128 = -5*y + y, -d = -5*s - 4*y. Is s composite?
True
Suppose 1796334 = 7*b - 0*b - b. Is b prime?
True
Suppose -4*c - 3*q + 36 = 0, 0*c + 2*q - 4 = -c. Suppose c*d = 2618 + 3118. Is d a prime number?
False
Let s = -60 - -63. Suppose 2*g = 2*a - 600, 5*a + 0*a = s*g + 1502. Suppose -2*m - l - l + 130 = 0, 3*l = 5*m - a. Is m composite?
True
Let p = 729995 - 468496. Is p composite?
True
Let i(h) = 59*h**2 - 19*h + 54. Let s be i(3). Suppose -49485 = 525*j - s*j. Is j a composite number?
True
Let t = 2356 - 1626. Let n(q) = q**3 + 33*q**2 + 29*q - 94. Let m be n(-32). Is t - (6/(-1))/m a composite number?
False
Let j(z) = 79*z**3 + 2*z - 3. Let h be j(1). Let y = 432 + h. Let c = 1063 - y. Is c a composite number?
True
Let d be 1471/(-1)*(40/(-4))/10. Let z = -78 + d. Is z prime?
False
Let c(l) = -2820*l**3 + 12*l**2 + 3*l - 4. Let b(r) = -2820*r**3 + 10*r**2 + 2*r - 3. Let y(s) = -5*b(s) + 4*c(s). Is y(1) a prime number?
True
Suppose 11 = -5*r + 5*w + 1, -3*r + w = 2. Suppose r = -5*t - 463 + 153. Let m = 17 - t. Is m a composite number?
False
Let q(f) = 655*f**2 + f - 8. Let s be q(3). Suppose 7828 = i + 3*i + 5*m, 0 = -3*i + m + s. Suppose 0 = -9*z + 4257 + i. Is z a prime number?
True
Let w(b) = -9*b + 1 - 4*b**2 + 0*b**2 + 11*b - 3*b. Let z be w(1). Is z/6 - (-7739)/3 composite?
False
Is 23/((-391)/(-1167082)) 