51. Is s composite?
True
Suppose 0 = -26*u + 32*u - 5646. Is u a prime number?
True
Let o be (1 + -2)*(-5 - 0). Let h = 6 + o. Let i = h + -8. Is i a prime number?
True
Suppose 3170 = 5*g - 0*g. Let a be g/(-4) + (-8)/16. Let m = 242 + a. Is m a prime number?
True
Is (76 - 78)*(-1 + (-23722)/4) prime?
True
Let b(y) be the first derivative of y**3/3 - 3*y**2/2 + 11. Let t be b(3). Suppose -4*f - 100 = 4*j - 480, t = -4*j - 8. Is f composite?
False
Suppose -450188 = -20*c + 87752. Is c a prime number?
False
Is 22/(-165) + 496349/105 prime?
False
Is ((-12)/(-6) - 2) + -1 - -10348 a prime number?
False
Let o(k) = -3*k**3 - 34*k**2 + 20*k - 19. Let y(t) = -t**3 - t**2 + 7*t + 4 - 10 - 10*t**2. Let v(q) = -2*o(q) + 7*y(q). Is v(-10) a composite number?
True
Suppose -11*v = -18903 - 6496. Is v composite?
False
Let b = 111 - -530. Is b prime?
True
Let a(i) = 22*i**3 + 9*i**2 + 9*i - 9. Is a(5) a composite number?
False
Let v = 10 + -8. Suppose c - 3*r = -8*r + 8, r - 7 = -v*c. Suppose -4*q = -c*q - 393. Is q prime?
False
Suppose 7*q - 8*q = 6. Let h(y) = 7*y**2 + 8. Let i(x) = -7*x**2 - x - 7. Let d(t) = q*h(t) - 7*i(t). Is d(-6) composite?
False
Let y = -98 - -6127. Is y a prime number?
True
Suppose -7*b + 263967 = 900. Is b prime?
False
Suppose -m + 25221 = -5*l + 2*m, l = -2*m - 5052. Let u(h) = -2*h**2 + 13*h - 14. Let c be u(6). Is 8/32 + l/c composite?
False
Suppose 744454 = 47*g + 16283. Is g prime?
True
Let f be (-436)/(-6)*3/2. Suppose 3*n - 128 = f. Is n prime?
True
Suppose -327 = -5*p + 153. Is (-22)/(-6)*(-9 + p) a prime number?
False
Let g(u) be the first derivative of u**6/60 - 7*u**5/120 + u**4/3 + u**3/3 - 3. Let k(q) be the third derivative of g(q). Is k(-9) prime?
True
Let u(i) be the first derivative of -i**4/4 + i**3/3 - i**2/2 + 869*i + 11. Is u(0) a composite number?
True
Let a be ((-10)/6 + 1)*-6. Suppose 37 = h + 5*c - 69, a*h + 4*c = 504. Is h a composite number?
False
Suppose 7*l - 11*l + 5337 = s, -4*s + 21382 = -l. Is s a prime number?
False
Suppose 2*i - 1 = 4*k + k, -4*i + 4*k + 8 = 0. Suppose i*p - 7*p + 1556 = 0. Is p composite?
False
Let v be ((-2)/(-2))/((5/(-134))/5). Let j = 5 - v. Is j a prime number?
True
Let c(y) = 376*y + 170. Is c(23) a composite number?
True
Let n(h) = -8032*h**3 - 2*h**2 - 3*h - 2. Is n(-1) a prime number?
False
Suppose 0 = -5*m - 5*r, 0*r = -4*m + 2*r + 18. Suppose 5*o - 26 = -m*t, -2*t - 13 = 4*o - 33. Is (-2)/t - (-73 - -3) a prime number?
False
Is (-6)/(-4) + (-12382)/(-4) + -4 prime?
False
Let x(c) = -c + 11. Let s be x(6). Suppose 4*h + 9 = p, -s*p + 27 = -3*h - 1. Suppose -5*g - 1695 = -5*u, u = -0*u + p*g + 347. Is u a composite number?
False
Let m = 38 - 35. Suppose 3*s - 235 = -3*n + 941, 3 = m*s. Is n composite?
True
Let r(g) = g**3 + 10*g**2 - 3*g - 5. Let q be r(-10). Suppose -m + 2*b = -4 - 1, -4*m + 2*b = -20. Suppose m*z = q + 410. Is z composite?
True
Let n(r) = r**3 + 7*r**2 - 5*r - 1. Let j be n(-7). Let p = j + -29. Suppose 5*g - z + 40 - 606 = 0, 5*g - 570 = p*z. Is g prime?
True
Suppose -4*r + 126 = -46. Let b = 60 - r. Let j = -3 + b. Is j a prime number?
False
Suppose -16 = -o + 3. Let j be ((-4)/(-2))/((-2)/(-44)). Let f = j - o. Is f a composite number?
True
Let f(h) = h**3 - h + 2. Let y be f(0). Let v be (-263)/(3*y/(-30)). Suppose 0 = 3*d - 8*d + v. Is d a prime number?
True
Let g = -301 - -927. Is (9 + 13)*g/4 prime?
False
Let k be 10/65 + 50/13. Suppose 19 = -k*i - 0*j - j, 5*j = i - 11. Is (1 + 533)*(-2)/i a composite number?
True
Let d(r) = -2*r**2 - 2*r + 7. Let u be d(-3). Let a(b) = 22*b**2 - 2*b + 11. Is a(u) composite?
False
Let f = 8884 + -5327. Is f a prime number?
True
Let v = 31 + 6. Suppose -19 = 2*b - v. Let x(g) = 151*g + 2. Is x(b) prime?
True
Let y(r) be the third derivative of 0*r - 4*r**2 + 25/12*r**4 + 3/2*r**3 + 0. Is y(7) prime?
True
Let g = 2200 + -467. Is g a composite number?
False
Let q(t) = 14*t**3 - 18*t**2 - 2*t - 41. Is q(14) a prime number?
True
Let o(q) = 4*q + 5. Let f be o(-5). Let i(g) = 5*g**2 + 10*g - 8. Let k be i(f). Suppose 6*s + k = 7*s. Is s a composite number?
False
Let g = -2229 + 3196. Is g a composite number?
False
Let d be -7*(1 - 0)*-19. Suppose 0 = 3*i - 424 + d. Is i prime?
True
Let h = 14316 + 275. Is h a composite number?
False
Suppose -5*b = -3*f + 36572, 7*f + b = 2*f + 61000. Is f prime?
False
Suppose -14*y = -10*y - 12. Is (-7)/((-42)/9)*722/y a composite number?
True
Suppose 2*d - 9*d = -1680. Suppose 3*v - 21 = d. Is v composite?
True
Let n(s) be the first derivative of -9/2*s**2 + 1/3*s**3 + 16*s + 2. Is n(11) a prime number?
False
Let l(n) = 123*n + 71. Is l(16) a prime number?
True
Is (-32)/(-6) + 9/(-27) - -23748 a prime number?
True
Let p(l) = 595*l**3 - 2*l - 2. Let k be p(-1). Let o = -356 - k. Is o prime?
True
Suppose -5*j + 28 = 2*w, -j + 2*j + 3*w = 16. Let x = 8 - j. Suppose -5*m - a = -3850, 0*a = -4*m + x*a + 3056. Is m a prime number?
True
Let c(f) = -9*f - 5. Let i(g) = -g**2 + 3*g + 3. Let b be i(2). Suppose 0 = -5*q + 5, 5*q + 11 = -b*h + 6*q. Is c(h) composite?
False
Let g = 9599 + -3064. Is g a composite number?
True
Let r(j) = -j**3 - 11*j**2 - 8*j + 13. Let k be r(-9). Let i = k + 564. Is i a composite number?
False
Suppose 4*j = 5*q + 52, -9 = 2*q + 3*j - 2. Let v = q + 13. Suppose -3*k = -4*n + 758, n + 38 = v*k + 219. Is n composite?
False
Suppose 4*h + i = -3*i + 12, -i - 1 = 0. Is ((-1819)/h)/(4/(-16)) a prime number?
False
Suppose -4*i + 153 - 599 = 3*b, 3*i + 328 = b. Let g = 197 - i. Is g a composite number?
False
Suppose w = -w - 988. Let j = w - -825. Is j composite?
False
Let p(c) = 91*c - 191. Is p(34) composite?
False
Let i(g) = g**3 - 5*g**2 + 2*g - 3. Let p be i(5). Let z(n) = n**2 + 2*n + 14. Is z(p) a prime number?
False
Suppose 0 = 10*o - 326840 - 118090. Is o a composite number?
True
Let m(n) = 11*n + 85 + 42 - 5*n - 8*n. Is m(0) a composite number?
False
Is ((-437)/(-2))/(7/(-2) - -4) composite?
True
Let p(z) = -4*z + 23 + 47*z**2 - 4*z - z. Is p(8) a composite number?
True
Let n(g) = 19*g**2 + 10*g + 7. Let k be n(-5). Suppose -4*z + 5*l + k = 0, 0 = -0*z - 5*z - 5*l + 585. Is z prime?
True
Let u = 72 + -170. Let o = u - -712. Is o a composite number?
True
Suppose 0 = 76*s - 81*s + 50. Suppose a - s = 1837. Is a a prime number?
True
Let a(x) = -8*x**2 - 4*x + 5. Let n(g) = -g. Let i = 21 - 25. Let m(u) = i*n(u) - a(u). Is m(6) composite?
False
Suppose 4*v + 21 = 4*z - 15, -4*v = 4*z - 76. Let u be 4 - (-4 + 4 - -21). Let c = z - u. Is c a composite number?
False
Suppose 4*b - 2 = 5*w + 2, b = -4*w + 1. Let c(p) = -p + 5*p**2 + 15*p**2 + 5 - 3. Is c(b) prime?
False
Suppose 9*x - 366540 = -47769. Is x composite?
False
Let d(z) = -z - 16. Let y be d(-7). Let s(g) = 7*g**2 + 13*g - 3. Let i be s(y). Suppose 0*t + 5*f = 3*t - 447, 3*t - 3*f = i. Is t prime?
True
Let i(x) = -1464*x + 275. Is i(-18) a composite number?
False
Let z be (5 + -1)*(6 + -5). Suppose -z*x = 7 + 5. Is x/(-1)*(-807)/(-9) composite?
False
Suppose 0 = -4*o + 12, 3*o + 15966 = 4*w - 27629. Is w a prime number?
False
Let l = -279 + 260. Suppose 543 = -3*i - 5*h, i + 48 = -2*h - 134. Let t = l - i. Is t composite?
False
Let a be 1*-2 + 80/8. Let y be (-4)/16 - 286/a. Let u = y + 70. Is u a prime number?
False
Let c(a) = a**2 + 3*a - 3. Let p be (0 - 2) + (5 - 0). Let s be c(p). Suppose -2*g = s - 145. Is g a composite number?
True
Suppose 931 = 51*z - 44*z. Is z prime?
False
Suppose d + 6 + 0 = 0. Let w(i) = 21*i**2 - 5*i + 5. Let o(v) = 62*v**2 - 14*v + 14. Let h(n) = -2*o(n) + 7*w(n). Is h(d) a composite number?
False
Let p be -1 - -5 - (-1550 - 1). Let v = p + -576. Is v a composite number?
True
Let f(s) be the first derivative of -15*s**2 - 7*s - 4. Suppose -2*w + 10 = -3*w. Is f(w) a prime number?
True
Let f = -1663 + 4470. Suppose -4*c - 3*t = -f, -t = -3*c + 2*t + 2100. Is c a composite number?
False
Suppose -2*v = -0*v - 4. Let c = v + -1. Let n(k) = 34*k**2. Is n(c) composite?
True
Suppose 3511 = g - 4*a, 15*a - 11*a + 7022 = 2*g. Is g a prime number?
True
Let p be (-9)/(-3) - -741 - -3. Suppose 0 = 3*y - p. Is y composite?
True
Is 5193*(-2 - -6) - (1 - 0) a prime number?
True
Is ((-5)/6)/(7/(-227514)) a prime number?
False
Let s(o) = -o**3 - 29*o**2 + 31*o - 102. Is s(-37) a composite nu