. Let w = 1203 - s. Is w a prime number?
False
Suppose 1350084 + 16772275 = 171*q + 268*q. Is q composite?
False
Let j(x) = 689*x**2 - 4*x - 55. Let q(o) = -690*o**2 + 3*o + 55. Let z(k) = 5*j(k) + 4*q(k). Is z(-4) prime?
True
Let f = -558 + 7975. Is f composite?
False
Let w(m) = -274*m - 11. Let g be w(-20). Suppose -3*t = 4*a - 4384, -t = -a + 6*a - g. Suppose 3*d - a = 458. Is d composite?
True
Let i = -9322 - -28479. Is i a composite number?
False
Let z(p) = 51*p**3 - 14*p**2 - 5*p + 7. Suppose -70*t - 60 = -80*t. Is z(t) a prime number?
False
Let a(v) = v**3 + 6*v**2 - 10*v - 6. Let i be a(-7). Let n be (-2)/(-1)*i/10. Suppose w + 29 = -n*h + 150, -214 = -2*w + h. Is w composite?
False
Suppose 3*q - 9 = 5*b - 4, -5*b = 5*q - 35. Suppose 2*w + 12 = 4*v, 4*w - w = 2*v + b. Suppose s - 316 = -v*f, 2*f + 2*f - 319 = -s. Is s a composite number?
False
Let s(r) be the second derivative of 77*r**5/20 - r**4/6 + r**3/2 - 7*r**2/2 + 15*r - 3. Is s(7) a prime number?
False
Suppose 4*k + 69804 = -5*o, 0 = -5*o + 2*o + 5*k - 41875. Is 3/27 + o/(-72) prime?
False
Suppose 0 = -6*c + c + g + 29, -c - 3*g - 7 = 0. Suppose s - 3*s = 4*t - 16662, -c*s + t = -41600. Is s a composite number?
True
Let d(x) = -2*x + 205*x**2 - 129*x**3 - 204*x**2 + 15 + 4*x. Let s be d(-3). Suppose -p = 2*p - 3*v - s, 0 = -2*p - 2*v + 2350. Is p a composite number?
False
Let v = 310631 - 69666. Is v a prime number?
False
Let r(k) = 155*k**3 - 3*k**2 + 4*k - 6. Let y be r(3). Let q be 25/(2 - -3) + y. Suppose 3*m - 4*s = 3143, -3*m + s = m - q. Is m prime?
False
Suppose 0 = 2*x + 3*n - 3457, -4*x - 2*n = -5*n - 6959. Suppose 8*z - 2*p - x = 6*z, 4*z - 3*p = 3473. Let l = 1700 + z. Is l composite?
True
Let v(d) be the second derivative of d**5/10 + d**4/3 - d**3/2 + 7*d**2/2 - 168*d. Suppose k - 6*k + 20 = 0. Is v(k) composite?
True
Suppose 152*x - 191*x + 497757 = 0. Is x a composite number?
False
Suppose 0 = -10*i + 4*i + 3738. Suppose 0 = -j + 1346 + i. Is j composite?
True
Suppose -t - 347329 = -2*c + 213159, c = 2*t + 280247. Is c a prime number?
True
Let l = -17441 - -40928. Is l composite?
True
Let t(w) be the second derivative of 79*w**4/24 - 7*w**3/3 - 9*w**2/2 + 2*w. Let p(u) be the first derivative of t(u). Is p(3) prime?
True
Let r = 59936 - -65801. Is r a composite number?
False
Let n = -584 + 609. Is 650484/30 + 5/n prime?
True
Suppose 151*h - 220*h = -56085753. Is h a prime number?
False
Suppose 6 = 8*h - 2. Suppose -5*r + 16 = h. Suppose 3*p = -4*c + 11444, 3*c = r*p + 2*p + 8583. Is c a composite number?
False
Suppose -89*i - 10862330 = -535*i. Is i prime?
False
Suppose -3*p + 13739 = 2*q, -3*p - 14*q = -19*q - 13774. Let o = p + -2004. Is o prime?
True
Suppose -h - 75 = -6*h. Suppose -h*j = -17*j - 470. Let r = 1204 - j. Is r prime?
True
Suppose 17924*n = 17930*n - 2433594. Is n a composite number?
False
Let j = 44666 - 26292. Suppose 5*z + 3819 = j. Is z a prime number?
False
Let o = -435 + 439. Let y = 3 + -2. Is -7179*o/(-12)*y composite?
False
Let u be (-10)/(-4)*(1 - 0 - -1). Suppose 10187 - 2682 = u*g. Is g a prime number?
False
Suppose -6*q + 18 = -12. Suppose -3*v + 2*k + 21101 = 0, -3*k = -4*v - q*k + 28116. Is v prime?
False
Suppose 50*g + 6 = 52*g. Suppose -3*q + 2*o = 10, 6 = -2*q + g*o + 1. Let i(d) = 49*d**2 + 3. Is i(q) a composite number?
False
Let m be ((-1506)/15)/((-6)/90). Suppose 0 = 3*i + 3*b - m, -5*i + 2480 = -0*b - b. Is i prime?
False
Let p(s) = 4*s - 21. Let f be p(6). Let y be (f/5)/((-19)/5 + 4). Suppose -y*a - 2*v + 6953 = 0, -2*a + 6946 = a - 5*v. Is a a prime number?
False
Let o(d) = -531*d**3 + d**2 - d - 2. Let m be o(-2). Let h be m/5 - (-8)/(-20). Let n = h + 177. Is n a prime number?
False
Let p = -199 - -225. Let l(v) = 3*v**2 - 20*v + 114. Is l(p) a composite number?
True
Let n = -38 - -46. Is 6/3*7204/n a prime number?
True
Suppose 13*r = 21*r + 26248. Let b = 6888 + r. Is b prime?
True
Let i be -2 - (-528510)/20 - 2/4. Let l = i + -8490. Is l composite?
True
Let q = -42 + 47. Let h be (-1641)/(-6)*q/(20/(-8)). Let w = -216 - h. Is w a composite number?
False
Suppose 3*y = -590 + 5681. Suppose -w + 2350 = -y. Suppose -3749 = -4*c + w. Is c composite?
False
Let i = 34 - 32. Suppose 0*d = i*d + h - 24, 26 = 3*d + 4*h. Suppose -d*w = -16*w + 1802. Is w a composite number?
True
Suppose -2*g = -4*u + 5*u - 3, 5*g - 4*u = 1. Let v(d) = 0*d + d**2 + 3*d - 4*d + 263*d**3. Is v(g) a prime number?
True
Let f(s) be the second derivative of 71*s**4/24 - 19*s**3/6 + 21*s**2/2 + 19*s. Let x(u) be the first derivative of f(u). Is x(3) a composite number?
True
Let k(y) = -1598*y**3 + 5*y**2 + 8*y + 9. Let d be k(-3). Let t = d - 30677. Is t a composite number?
True
Suppose -3*c = 4*r - 21, -c - 2*c = 3*r - 18. Suppose 3*p + 19 = 2*g - c, -4 = -2*p. Suppose -3*h = -g*h + 2882. Is h a prime number?
False
Suppose 0 = -4*l + 302 - 294. Suppose -13 = 3*a + l, -6711 = -2*f + 5*a. Is f a composite number?
False
Is (-29977)/(-1) - (-112)/(-126)*9 prime?
False
Is (-2)/((-8)/10)*-3537338*20/(-700) a prime number?
True
Suppose w - 732 = 848. Suppose 2*n = -10*n + 60. Suppose -n*d + d + w = 0. Is d composite?
True
Let r be 6*7 - (-20)/(-10). Suppose r*p = 25*p + 23295. Is p composite?
False
Suppose -28*m - 60*m + 2036056 = 0. Is m a prime number?
False
Suppose -1136 = 5*y + 2724. Let d = y + 9345. Is d prime?
True
Let m be (-367437)/(-6) + (4 - (-49)/(-14)). Suppose -8*c + m = 4*k - 11*c, 76527 = 5*k + 2*c. Is k composite?
False
Suppose -3*u + 4 = -20. Let a be ((-4)/3)/(1/(-15)*10). Suppose u*v - 779 = 3*v + a*j, 0 = 3*v + 3*j - 480. Is v a prime number?
True
Let k = -201 + 283. Let g be (-1)/(-2*4/(-16)) + k. Is (-5)/(g/(-2044)) + 6/(-8) composite?
False
Let x = -45 - -47. Suppose w + 14 = 3*d + 2*w, -3*d = -x*w + 1. Suppose -3*y + 7*y - d*j = 8600, 0 = y + 2*j - 2161. Is y a composite number?
False
Let h be 2/(-4) + (-132)/(-8). Let m be (363/(-2))/((-38)/h - -2). Is (6 + m/(-16))/(1/(-4)) prime?
True
Let o(b) = 7*b + 84. Let g be o(-9). Is 175416/g - 1/7 a prime number?
True
Let w(i) be the third derivative of 17*i**6/120 - i**5/15 + i**4/6 + 4*i**3/3 + 2*i**2 - 44. Is w(3) a composite number?
False
Let n(i) = -11*i**2 - 22*i - 77. Let j(w) = -23*w**2 - 43*w - 154. Let v(g) = 4*j(g) - 9*n(g). Is v(-8) composite?
False
Let u = 147 - 135. Suppose t = -2*t + u. Is 3/(-36)*-83361 + 1/t a prime number?
True
Suppose 0 = d - 2*z - 174493, -3*d + 14*z = 15*z - 523493. Is d a prime number?
False
Let u = 48709 - -105076. Is u composite?
True
Suppose m - 231993 = -3*a - 2*m, 0 = -3*a + m + 231997. Let r be (-6)/(-45) - a/(-60). Suppose 0 = 3*b - r - 334. Is b a composite number?
False
Let y = -262864 + 370035. Is y a composite number?
False
Let q = 351332 - 76619. Is q a composite number?
True
Suppose -t - 3*w = -4*t + 120, 4*w = 3*t - 125. Let s be (t/7)/(-15)*(-5126 + -1). Let r = 2926 - s. Is r composite?
False
Suppose 26*t - 1932113 = 1396433. Is t a prime number?
True
Suppose -28*r - 2*r - 2220 = 0. Let z = r + 4123. Is z a composite number?
False
Let t be (-76)/(-13) - (-2)/13. Let k(s) = -s + 69. Let p be k(0). Suppose -t*o + 357 = -p. Is o a composite number?
False
Let p(m) = m**3 - 17*m**2 + m - 12. Let t be p(17). Is t/20*(-14860)/(-5) a composite number?
False
Suppose 0 = -6*o + 2*o + 20. Suppose 12 = -2*r + a, -5*r = o*a - 0*a. Is r - (-4 + 7 - 324) a composite number?
False
Let z be (1/(10/(-12)))/((-16)/40). Let j(s) = 59*s**3 - 6*s**2 + 6*s + 2. Let d be j(z). Suppose -5*g = -4*g - d. Is g a prime number?
True
Let g be (-10)/(-45)*-111*(-924)/(-8). Let b = -1843 - g. Is b a composite number?
True
Suppose 2*n = -2*w + 16, w + 23 = -w + 11*n. Let v be ((-3)/(-2))/(3/210). Suppose 0 = r + 2*z - v - 868, -4*r + w*z + 3840 = 0. Is r a composite number?
True
Let m(f) = -7*f**3 + 6*f**2 - 8*f - 4. Let n(a) = a**3 - 7*a**2 - 17*a - 6. Let w be n(9). Let y be (-2 + 7)*(2 - w). Is m(y) prime?
True
Let g = 23 - 5. Suppose 3 = 5*x + g, -2*x - 95701 = -5*z. Is z a prime number?
True
Suppose 0 = z + 2*z - 4*h, -5*z - 2*h + 26 = 0. Suppose 0 = n - 3*n - z. Let i(o) = -13*o + 5. Is i(n) a composite number?
False
Let w(c) be the third derivative of c**5/30 - c**4/6 - c**3/3 + 9*c**2. Let j be w(3). Suppose 2451 = g + j*g + 4*x, -2*g + 962 = -3*x. Is g a