z + 488. Is g(51) composite?
True
Let j(z) be the first derivative of -z**2/2 + 3*z + 14. Is j(-20) prime?
True
Let m be 0 + 1/(-1)*6/6. Is 0/(-27) - m/((-2)/(-674)) a composite number?
False
Let i(d) = 28*d**3 - 5*d**2 + 3*d - 3. Is i(4) composite?
False
Suppose 0 = 5*r - 5*f + f - 2577, 2*r - 1029 = f. Is (-4 + r - 1) + 3 a prime number?
False
Suppose 33246 = -184*b + 202*b. Is b a prime number?
True
Suppose -5373 = -5*t + 4*i, 4*t - 3*i = 2*i + 4293. Is t a composite number?
True
Suppose 35179 + 3506 = 15*x. Is x prime?
True
Let b be 0 + (-1771 - (-2 + 4)). Let h = 2860 + b. Is h a prime number?
True
Let d = 53708 + -13825. Is d composite?
False
Suppose -2*j = -j - 12. Let n(i) = -18*i + 4*i + 9 - j. Is n(-4) prime?
True
Let p = 15376 + 411. Is p a prime number?
True
Suppose 6*v - 4*v = 1096. Suppose v = -5*o + 7*o. Is o prime?
False
Let o(b) = -b**3 + 52*b**2 - 35*b - 29. Is o(35) composite?
False
Let d = -8 + 10. Suppose -3*f = -3*r - d*r + 433, -4*r + 3*f = -347. Suppose -3*g + 647 - r = 0. Is g a composite number?
True
Is ((-182758)/(-69))/(8/12) composite?
True
Let k = -18250 + 12653. Let g = 9358 + k. Is g a prime number?
True
Suppose 2*j = 3*j + 4*a - 11661, 5*j - a - 58389 = 0. Suppose 0 = -5*k - 4*b + j, -5*b + 3*b - 2327 = -k. Is k prime?
True
Let u be 310/(-18) - (-14)/63. Let g = 20 + u. Suppose -g*d + 79 = -2*d. Is d a prime number?
True
Is (-299070)/(-110) + (4 - 84/22) composite?
False
Let y = 731 - -462. Let s = y + -560. Is s composite?
True
Let x be (-10)/((-3)/((-12)/(-1))). Suppose -q - 4*l - x = 0, -148 = 3*q - 0*q + 5*l. Let d = q + 293. Is d a prime number?
False
Let u = -20268 + 29265. Is u composite?
True
Suppose 3*t = 2 + 4. Let k(s) = 164*s**3 + s**2 - 1. Let l be k(1). Suppose t*v - 94 = l. Is v prime?
False
Let c be (-3)/(-6)*(-2596 - -4). Let t = c + 2450. Is t prime?
False
Let a = 40 - 40. Suppose a = 5*w - z - 612, -8*z = -5*w - 3*z + 600. Is w a composite number?
True
Let j(s) = s + 43. Suppose 2*o = 3 + 17. Let y = 10 - o. Is j(y) a composite number?
False
Suppose 0 = 10*v - 197710 - 4780. Is v composite?
False
Let t(r) = -r**3 - 6*r**2 - 4*r + 8. Let g be t(-4). Is 1402 - -4*10/g composite?
True
Suppose -7 + 39 = -4*z. Let t(s) = 14*s**2 - 16*s + 19. Is t(z) composite?
True
Suppose 2*y = 75 + 83. Suppose -3*r = 3*k - 312, 2*k - 392 + y = -3*r. Suppose -5*z + 430 = r. Is z prime?
False
Suppose -4*y + 5*t = 448, t - 539 = -3*y + 8*y. Let k be y*(-2 - -1 - 0). Let p = k - -480. Is p a prime number?
True
Suppose -4*q = -3*y, -4*y + 26 = y + 2*q. Suppose -3*t + y*d + 1 + 5 = 0, -2*t + 4 = 4*d. Suppose -t*o + 88 + 198 = 0. Is o a prime number?
False
Let h(l) = l - 5. Let w be h(7). Suppose 2*x = -3*i + 1571 + 803, 0 = 4*x - w*i - 4780. Is x a composite number?
False
Let j(m) = -266*m + 401. Is j(-12) composite?
False
Let g(w) = 81*w + 10. Let d be g(-5). Let r = 630 + d. Is r prime?
False
Let a = 10237 - -18856. Is a a prime number?
False
Let t = -49839 + 82946. Is t a composite number?
False
Let u(d) = 227*d + 8. Let s = 24 + -15. Is u(s) a prime number?
False
Let s = -1702 + 839. Let o = 1222 + s. Is o composite?
False
Suppose 0 = -21*x - 9*x + 265710. Is x composite?
True
Suppose -18*a - 8 = -16*a, n + a = 2389. Is n a prime number?
True
Let r(t) = 591*t - 553. Is r(16) composite?
True
Suppose 0 = -5*t + 5*h + 17990, -h + 5*h + 3613 = t. Is t composite?
False
Let a = 37621 + -26454. Is a composite?
True
Let h = -119 + -1040. Suppose 0 = -p - 892 - 752. Let n = h - p. Is n composite?
True
Suppose 0 = 4*g - 2*b - 1488, -3*g - 5*b + 322 = -794. Is -4 + g + 3/1 a prime number?
False
Let h = -227 + 412. Is h a composite number?
True
Suppose -310 = -2*x + 268. Suppose -z = -9 - x. Is z a prime number?
False
Is (-373582)/(-12) - (-56)/48 prime?
False
Suppose 3*d - 466 = -3*f - d, -2*d = -8. Suppose -p + 64 = -0*p - m, 253 = 4*p - 3*m. Let g = f - p. Is g a prime number?
True
Suppose -5*y = f - 1470 - 2836, -f - 4*y = -4309. Is f a composite number?
True
Let q(r) = -r - 11. Let o be q(-13). Let h = -1697 + -309. Is o/(-7) - h/14 prime?
False
Suppose -5*y = 15, -3*v - 4*y - 107 = -1982. Is v prime?
False
Suppose 31*v + 37190 = 41*v. Is v composite?
False
Suppose -50616 = -4*q - 2*t, 3*t + 0*t - 50614 = -4*q. Is q a prime number?
False
Suppose -804 = -188*r + 184*r. Is r composite?
True
Let i = 15 + -11. Let n(k) = 4*k**3 - 2*k**2 - 4*k - 3. Is n(i) composite?
True
Is 2 + -4 + ((-373504)/(-8) - 1) a prime number?
False
Let p(l) = 4*l - 13. Let j be p(6). Suppose j*b = 6*b + 6245. Is b composite?
False
Let a be 1749/(-9) + 2/(-3). Let h = a + 547. Suppose -5*m + 4*u + 1855 = 8*u, -3*u - h = -m. Is m a prime number?
True
Let j(r) be the first derivative of -r**4/2 - 4*r**3 - 2*r**2 + 11*r + 11. Is j(-8) a composite number?
True
Let b be 4915/((9/(-27))/((-1)/3)). Suppose 12*z = 7*z + b. Is z a prime number?
True
Is 4017080/174 - (-2)/6 composite?
False
Suppose 0 = f - 5*f + 3*t + 22, 4*f - 4*t - 24 = 0. Suppose 2*d = f*d - 22. Suppose -o + 65 = -2*a, -d - 54 = -o - 4*a. Is o a prime number?
False
Let s(n) = 1193*n + 275. Is s(28) prime?
True
Let s(y) = 3*y**2 - 4*y + 5. Let o be s(2). Let v(z) = -z**3 + 10*z**2 - 10*z + 6. Let t be v(o). Is (238/t)/(14/(-21)) prime?
False
Suppose 0 = -38*c + 24*c + 101402. Is c a prime number?
True
Let r(m) be the first derivative of -m**3/3 - 9*m**2/2 + 16*m - 5. Let k be r(-8). Suppose 4*v - 5*n - k = 1141, 4*v - 1189 = -3*n. Is v a prime number?
False
Let p be (0 + -1)/((-5)/10). Let r(c) = 114*c - 2. Let m be r(p). Let v = m - 69. Is v a prime number?
True
Let u = -6 - -188. Let m = -130 + u. Is m + 3/3 - -2 a prime number?
False
Suppose 0 = -2*k + 3*v - 38, 4*v - 8*v = -k - 24. Is (24/k)/((-6)/(-3814))*-2 composite?
False
Let n(a) = 4*a**2 - 9*a + 10. Let m(d) be the first derivative of -d**4/4 + 7*d**3/3 - 5*d**2/2 - d - 5. Let b be m(6). Is n(b) a composite number?
True
Let q be 1 - 5 - (-3124 - 8). Suppose -3143 = -4*y - 4*c + 3*c, -4*y + q = -4*c. Is y a composite number?
True
Let g = 31 + -44. Let b(w) = -11*w + 14. Is b(g) a composite number?
False
Suppose 13*s - 7*s - 1608 = 0. Let x = s - -183. Is x a prime number?
False
Let m(j) = -34*j - 2. Let y(f) = -67*f - 4. Let o(w) = -7*m(w) + 3*y(w). Let v be (12/9)/(28/21). Is o(v) composite?
True
Suppose 0 = -2*y - 11*k + 12*k + 118252, y = -2*k + 59131. Is y composite?
True
Let q = 26 - 22. Suppose 5*i - q*i = -358. Let w = i - -621. Is w a prime number?
True
Suppose -5*z + f + 12 = 45, -2*z + f - 15 = 0. Is (-885)/6*(4 + z) composite?
True
Suppose 5*d = 9*d - a - 847, 4*d - 5*a - 827 = 0. Is d composite?
True
Is 8/(-4 + 20)*3622 composite?
False
Suppose -5*y + 4906 = -4*j, y + 1228 = -j + 3*y. Let h = -613 - j. Is h a composite number?
True
Let c be (-73647)/(-81) - (-2)/(-9). Suppose -c - 589 = -2*t. Is t composite?
True
Suppose -511*w + 512*w - 211 = 0. Is w a composite number?
False
Let v(o) = o**2 + 1. Let d be v(1). Let i(c) = 40*c**3 + 4*c**2 - 3*c + 1. Is i(d) prime?
True
Is (2722/3)/((-70)/(-105)) a composite number?
False
Suppose -11*b + 3 = -19. Suppose 4*t - b*f = 3437 + 6037, 11830 = 5*t - 5*f. Is t a prime number?
True
Let q = 11187 - -11552. Is q composite?
False
Suppose 1043911 = 27*j + 16*j. Is j composite?
True
Suppose x + 5*a = 29, -x = -6*x - a + 25. Suppose 0 = x*i - 97 - 123. Is i a prime number?
False
Suppose 14*q + 1868 = 18*q. Is q a composite number?
False
Let m be -6*(-3)/(6/(-2)). Let u(z) be the third derivative of 19*z**5/60 - z**4/8 - 7*z**3/6 - z**2. Is u(m) a prime number?
False
Let x(s) = -s**2 + 1. Let m(g) = -9*g**2 + 28*g - 17. Let r(t) = -m(t) - 4*x(t). Is r(-14) a prime number?
True
Suppose -g - 2*y = 4*g - 65219, -3*g + 39138 = -y. Is g composite?
True
Suppose 12*y = 15*y + 294. Let p = y + 309. Is p a composite number?
False
Suppose 0 = 4*i + i. Suppose 5*d = -i*d + 2510. Is d a composite number?
True
Let p(b) = -51*b + 20. Let a be p(-5). Let h = 538 - a. Is h a composite number?
False
Suppose 3*r = x - 94 + 3, 0 = x - 2*r - 95. Is x a prime number?
True
Let m = 8 - 3. Suppose o + 2873 = m*o - c, o = -3*c + 728. Is o a composite number?
False
Let k = -13 - -15. Suppose -2*z - 3812 = -4*v - 0*z, 4*v = -k*z + 3812. Is v prime?
True
Let w(t) = -5*t**2 + 8*t + 49. Let h(j) = j**2 - 2*j -