 = g - 22778. Is g composite?
True
Suppose -2*r + 3 = -1. Suppose 4 = r*h - 18. Suppose -2*b + h = -15. Is b composite?
False
Let v = -321 + 815. Suppose 126 = y - 5*l + 4*l, 4*y = 2*l + v. Is y prime?
False
Let n be (-158607)/(-36) + 1/4. Suppose -2*t - 4*y = -n, y = -5*t + 7241 + 3819. Is t composite?
False
Let s(a) = -a**3 - 15*a**2 + 4*a + 29. Let j be s(-21). Suppose 4*m = 1037 + j. Is m composite?
False
Let f(z) = -z**3 - 6*z**2 + z + 9. Let x be f(-6). Suppose -120 = x*p - 1578. Let s = -307 + p. Is s prime?
True
Suppose -3*r - 19 + 0 = 4*x, -4*r - 4*x = 20. Is ((-879)/(-6))/(r/2*-1) a composite number?
False
Suppose l = 9*l - 26440. Is l a prime number?
False
Suppose -3*m - 2*m = -90. Suppose -3*x = -4*q + m, 5*x + 0*x + 7 = -q. Suppose j + q*j - 1060 = 0. Is j a prime number?
False
Suppose -360262 = -4*z - 10*z. Is z a prime number?
True
Let y(r) be the second derivative of r**4/6 - 8*r**3/3 + 19*r**2/2 - r. Let z be (-3 - -1)/((-22)/154). Is y(z) composite?
True
Let i(w) be the second derivative of -398*w**3/3 + 19*w**2/2 - 17*w. Is i(-4) a composite number?
False
Let d(p) = 101*p**2 - 31*p - 101. Is d(-21) composite?
True
Let r(v) = -2*v**3 - 11*v**2 + 8*v + 11. Let y be r(-12). Suppose 0 = -5*u + y + 118. Is u a prime number?
False
Let f(s) = 255*s**3 - s**2 - s. Is f(1) a prime number?
False
Suppose 4*m + 41 = 2*w + 3*w, -2*w + 17 = -m. Let q be (-2)/w - 5350/(-18). Suppose q - 2 = h. Is h composite?
True
Suppose -69*a = -78*a + 172089. Is a a prime number?
True
Let a(t) = 122*t**3 + 3*t**2 - 13*t + 137. Is a(6) prime?
False
Suppose -3*d + m = -28, -3*m = 3*d - 0*d - 36. Suppose -5*a - 45 = -d*a. Is 6668/36 + (-2)/a a prime number?
False
Suppose 0 = z - 168 - 30. Let r = 611 - z. Suppose -r = -4*v + 623. Is v prime?
False
Let k = -68 + 100. Suppose 3219 = -k*n + 35*n. Is n prime?
False
Is 1/((12/(-6))/(-14698)) composite?
False
Suppose -5*g = -4*u + 70, -2*g = 1 + 3. Suppose 5*b = u + 5. Suppose 0 = -2*m + x + 448, -b*x - 257 = 2*m - 725. Is m prime?
False
Let j(z) = -1348*z + 4. Let g be j(-3). Suppose -u + 5*u = g. Suppose -3*x - u = -7*x. Is x prime?
False
Let g(x) = -4*x**3 + 2*x + 5*x**3 - 18 + 0 - 12*x**2. Let s be g(12). Is 190/s + (-18)/27 a composite number?
False
Let d(z) = 314*z**2 + 3*z - 3. Let h be d(-3). Suppose -1646 = -4*i + h. Is i a composite number?
True
Let u(x) = 15128*x - 27. Is u(4) a prime number?
False
Let z(f) = -f**2 - 10*f - 11. Let y be z(-8). Suppose 216 = -0*a + 3*a + y*g, -5*a - g + 338 = 0. Is a a prime number?
True
Suppose 1 = -3*o + 7. Suppose -o = -4*u + 6. Suppose -6*h + u*h = -88. Is h a composite number?
True
Let x(u) = 391*u - 321. Is x(10) composite?
True
Let r = 19 - 19. Suppose -2 = -n + l - r, 3*l = -6. Suppose n*g + 2*g - j - 1309 = 0, 4*j = 4*g - 2624. Is g a composite number?
False
Let z(u) = 2381*u - 31. Is z(6) a composite number?
True
Let i(v) = -v**3 - 5*v**2 - 2*v - 14. Is i(-11) a prime number?
False
Let l = -263 - -6856. Is l a composite number?
True
Let i be (3 - 0)/(3/4). Suppose m + 4*f - 10 = -f, 2*m + 2*f = i. Suppose 7*r - 91 - 560 = m. Is r prime?
False
Suppose -5*s - 2*j + 371005 = 0, 2*s - 2*j - 223071 + 74683 = 0. Is s a composite number?
True
Let i(m) = 60*m + 4. Let n(z) = -3 + 7 + 60*z + 1. Let y(u) = -4*i(u) + 3*n(u). Is y(-2) prime?
False
Suppose -38 = 3*s + 5*q, -3*q = 2*s - s + 18. Let r(z) be the second derivative of -5*z**3/6 + 7*z**2/2 + z. Is r(s) prime?
True
Suppose 0 = 23*g - 5*g - 107658. Is g a composite number?
False
Let p(g) = g**2 + 3*g + 15. Let j = 22 - 4. Suppose 3*u + j = 2*i - 23, 0 = 5*u - 2*i + 63. Is p(u) prime?
True
Let v(w) = 5587*w**2 + 4*w - 13. Is v(2) prime?
True
Suppose 31*w = 32*w - 399. Suppose 0*u = 3*u - w. Is u composite?
True
Let z(o) = -2*o**3 - 2*o**2 - 5*o - 4. Suppose -5*x + 3*x - 1 = 3*u, 0 = 4*u + 2*x - 2. Suppose 3 = -u*c - 6. Is z(c) a prime number?
True
Let l(u) = -1 - 28*u + 0 - 16. Suppose -3*n - 11 = 5*y, -n = y - 0 + 5. Is l(n) a composite number?
False
Let i be (91/(-1))/(1/(-29)). Suppose -g + 0*g - 3*u + i = 0, -g + u + 2631 = 0. Is g a prime number?
True
Let p(y) = 2*y**2 - 3*y + 2. Let q be p(2). Suppose -271 = -5*x - 2*i, q*x - 4*i - 94 = 2*x. Is x prime?
True
Let v(b) = -b**2 + 21*b + 4. Let s be v(21). Let p(t) = 25*t**3 - 2*t**2 - 8*t + 1. Is p(s) prime?
False
Suppose 0 = -3*g + 3*c + 351, -2*g + 0*g + 249 = 3*c. Suppose 5*k - k - g = 0. Let w = k - -9. Is w a composite number?
True
Suppose 4*x = 2*x - 1256. Let a = 1491 + x. Is a a prime number?
True
Let x = -632 - -1419. Is x a prime number?
True
Let u = 10771 - -4386. Is u composite?
True
Let c(a) = 4*a**2 + 9*a**2 + a**3 + 2*a**3 - 13*a - 7 - 2*a**3. Is c(-12) a prime number?
True
Let a(q) = 11*q + 193*q - 485*q - 788*q. Is a(-1) prime?
True
Suppose 5*c - 127204 = -3*a, 2*c + 25436 = 3*c - a. Is c composite?
False
Let x be (-18)/(-12)*10/(-3). Let v(n) = -2*n**3 - 2*n**2 - 9*n - 12. Is v(x) a prime number?
True
Let f be (-3 - 3)/((-12)/(-8)). Let t = f + 6. Is (-882)/(-27) + t/6 a composite number?
True
Suppose -4*m + 11302 = -18918. Is m a prime number?
False
Let m(o) = 20921*o**2 - 23*o - 23. Is m(-1) a prime number?
True
Let r(d) = -29*d**2 - 3*d + 6. Let z(v) be the third derivative of -43*v**5/30 - v**4/3 + 17*v**3/6 + v**2. Let a(w) = 8*r(w) - 3*z(w). Is a(4) prime?
False
Is (2*12/16)/(6/47604) a prime number?
False
Let f(b) = b**3 + 42*b**2 - 40*b - 104. Is f(-35) prime?
True
Let a(j) = 7*j**2 + 48*j + 31. Is a(-16) prime?
False
Suppose -x = -n + 8075, 0 = -3*n - 5*x + 24982 - 789. Is n a prime number?
False
Suppose -2765 = 7*d - 2*d - 2*t, -5*d + 4*t - 2755 = 0. Let g = d + 1874. Is g prime?
True
Suppose -16706 - 13471 = -9*s. Suppose 14*y + s = 15*y. Is y composite?
True
Suppose 0 = -440*v + 450*v - 307570. Is v prime?
True
Suppose 34*h - 214895 = 188447. Is h a prime number?
True
Let w be 22/(-3)*(-24)/16. Let i = w - 4. Let t(c) = c**3 + 3*c**2 - 2*c - 7. Is t(i) prime?
False
Let w(c) = -2*c**2 - 8*c + 3453. Is w(0) composite?
True
Let x = 1 + -6. Let b be (-4)/(-10) - (-2)/x. Suppose b = -2*f + f + 445. Is f a composite number?
True
Suppose 7*m = -1025 + 2957. Let o = m + -22. Is o a prime number?
False
Let r = -3470 + 4972. Suppose -2035 = 4*w - x, -5*x - r + 501 = 2*w. Is (w/(-6))/(16/24) a prime number?
True
Suppose 3*d = -2*z + 4658 + 6123, 5*d = -2*z + 10787. Is z a composite number?
True
Let o = 2387 + -1337. Let y = 1771 - o. Is y a composite number?
True
Suppose c - 3*p + 12 = 0, -5*c - 3*p = -0*c - 30. Suppose 0 = y + c*y + 4*b - 1532, 375 = y - b. Is y a composite number?
False
Let p be 5/(-5) + 1031 + -1. Suppose 5*f = p + 236. Is f prime?
False
Let t(j) = 1. Let i(a) = 59*a**2 - a + 4. Let w(h) = i(h) - 3*t(h). Let o be (2/(-10) - (-2)/(-40))*-4. Is w(o) a prime number?
True
Let r = 30 - 16. Is ((-51)/(-6) + 3)*r a composite number?
True
Let t = 5 + 5. Let z be (t/(-6))/(3/207). Let y = -48 - z. Is y prime?
True
Let q be 6 - 9 - (1 + -127). Let a = q + 103. Is a prime?
False
Let w(i) = -7*i**3 + i**2 - i + 1. Let k be w(1). Let b be 0 + 4 + (k - -10). Suppose -7*v + b*v = 1149. Is v composite?
True
Suppose 958 = q - 5*c, -4*c + 9*c - 1871 = -2*q. Let t = q + -200. Is t prime?
True
Let l = 19 - -7974. Is l composite?
False
Let y(w) = 56*w - 7. Suppose 2*c - 7*c + 3*u = -33, 5*c + 4*u - 26 = 0. Is y(c) composite?
True
Suppose -2*h + 2329 = -5*d, 429 = -3*h - 2*d + 3932. Let o = 1730 - h. Is o prime?
True
Let k(b) = -3*b**3 + 4*b**2 + b + 5. Suppose -2*t + 4 = 2*n, -5*n = 2*t + 1 + 1. Let v be k(t). Let i = v + 277. Is i composite?
True
Suppose -48*n - 274074 = -51*n - 3*s, 0 = -3*n + 5*s + 274114. Is n a prime number?
False
Suppose 0 = -17*l + 351706 - 135041. Is l a prime number?
False
Let f(c) = c**3 - 27*c**2 + 247*c + 69. Is f(32) prime?
True
Let f(n) = -2760*n + 377. Is f(-16) a prime number?
True
Let f = -2 + 2. Suppose 2*o - 71 - 7 = f. Is o prime?
False
Let a be (12 - -1)*-1*-1. Let v = a + -11. Is (222/12)/(v/4) a composite number?
False
Suppose -4*o = 4*n + 5 + 27, o + 3*n = -16. Is 19434/18 + o/6 a prime number?
False
Let t be -1 + 200 - (9 + -5). Let s = 374 - t. Is s a prime number?
True
Let m(o) = -145*o**3 + 4*o**2 + 5*o + 7. Is m(-3) a prime number?
True
Suppose -121*o - 74170 = -123*o. Is o composite?
True
Let