 n composite?
False
Suppose -7*v + 12 + 9 = 0. Suppose -5419 = -4*m + 5*b, -5*m - v*b + 3428 = -3392. Is m composite?
False
Suppose 0 = 22*j - 1755116 - 630102. Is j a composite number?
True
Let y(g) = -5*g + 57. Let m be y(-18). Let c = -144 + m. Suppose 0 = -c*x + 36 + 321. Is x a composite number?
True
Is (-147606)/(-4) - (-58)/(-116) prime?
True
Let t(i) = -199*i + 116. Let h be t(-22). Suppose -h - 2208 = -6*c. Is c a composite number?
False
Let i = 131 - 119. Suppose i*a - 6*a = 48354. Is a a prime number?
True
Let l = -372244 + -4547. Is l/(-45) + -4 - (-2)/(-15) a prime number?
True
Suppose -6*y - 46 + 22 = 0. Let x(i) = -8*i**3 - 3*i**2 + 2*i - 13. Is x(y) prime?
True
Suppose 2*g + 8250 = 5*b, 4*b + g = -0*b + 6613. Let n = 1446 - 620. Suppose -b = -3*m - m - t, -n = -2*m + t. Is m composite?
True
Let q = -322 + 330. Let t(k) = 357*k**2 + 39*k - 253. Is t(q) composite?
False
Let i(w) = 18*w**2 - 131*w + 1689. Is i(88) a prime number?
True
Suppose 2*p + 59 = 3*n, -189 + 54 = -5*n - 4*p. Suppose n*w - 27*w = -13412. Is w prime?
False
Is 37/(-74)*(-165972 + 10) a composite number?
False
Let u = -213 - -493. Let o(r) = -48*r - 3. Let q be o(-12). Let w = q + u. Is w a prime number?
True
Let q = 14107 + -9698. Suppose 4*g = 6*g - 4*r + 2976, -3*g - 5*r - q = 0. Is (2/4)/1*g/(-1) a composite number?
False
Let a(p) = -5*p**3 - 8*p**2 - 2*p - 11. Let q(l) = 3*l**2 + 6. Let y be q(3). Suppose 5*g = w + 3, -5*w - 3 - y = -4*g. Is a(w) a composite number?
False
Let x be (-1 - (-22)/(-6))/(22/165). Let m = x + 289. Suppose -166 = -n - n + 3*j, 2*j + m = 3*n. Is n a prime number?
False
Let q = -665 - -1002. Let v = q + 7990. Is v composite?
True
Suppose -j = -5*m + 21, 5*j = -19*m + 21*m + 10. Suppose 4*o + c - 14406 = 0, 3*o + c = m*c + 10795. Is o a prime number?
False
Let l = 315233 - 31326. Is l a composite number?
True
Is (9 - (-13519162)/1085) + (-4)/70 prime?
False
Is (-116494)/(-23) - 437/(-10051) a prime number?
False
Is (37/(6105/99))/((-3)/(-266335)) a composite number?
False
Let m(w) = 35*w**2 + 28*w + 54. Let r(i) = 178*i**2 + 141*i + 270. Let q(h) = 11*m(h) - 2*r(h). Is q(-17) prime?
True
Suppose 0 = -110*q + 119*q - 36. Suppose -q*y = -2*x - 38870, 0*y + 5*y + 3*x - 48604 = 0. Is y a composite number?
False
Suppose 0*s + 2*s = r + 13, 0 = 4*r - 2*s + 22. Let h(z) = -221*z - 16. Is h(r) composite?
False
Let j = 8872 - -13651. Is j a composite number?
True
Let w be 1/9 - (85/(-45) + -1). Suppose 6*x + 4*k - 20145 = w*x, -4*x - 4*k = -26864. Is x a composite number?
False
Suppose -10 = -4*u + 2*x, u + 4*x - 3 = 5*x. Suppose 8 = 4*m, -5*o + u*m - 3 - 1 = 0. Is -5*(o + 892/(-20)) a composite number?
False
Let y = -166807 + 257484. Is y a composite number?
False
Let s be 1 + 14 + (1 - 3 - -1). Suppose 7*v - 14 = s. Suppose v*x - 344 = 2*f - 20, 5*x + 3*f - 383 = 0. Is x a composite number?
False
Suppose 0*v = 2*v + 4. Let j be v/(-11) + ((-32040)/22)/2. Let i = -381 - j. Is i prime?
True
Let c(h) = 642*h**2 + 22*h - 29. Is c(4) composite?
False
Let f(u) = -u**2 + 1. Let n(c) = -c**3 - 23*c**2 - 17*c - 16. Let a(w) = 3*f(w) - n(w). Is a(-12) composite?
False
Suppose -3*u + 145335 = -3*r, 0 = 5*r - 4*u - 38155 + 280376. Is 4/(36/r)*3*-1 composite?
True
Suppose 2*j = 6, -3*u = j + 30003 + 19818. Let p = -3381 - u. Is p a prime number?
False
Let n(x) = 1 + 8*x**3 + x**2 + 20*x**3 - 11*x**3 - 4*x. Suppose -40*y + 52*y = 24. Is n(y) prime?
False
Suppose 8*s - 1733 = -109. Let f(d) = 325*d**3 - d**2 - d + 1. Let n be f(1). Let y = s + n. Is y a composite number?
True
Let y(p) = 320*p**2 + 3*p + 1. Let t be y(2). Suppose x - t - 5152 = 0. Is x a composite number?
True
Suppose -3*j - 10*j - 3*j = 0. Is (4 + j)/(-12) - 23560/(-30) composite?
True
Is 9*(-171)/(-81) + 240978 prime?
True
Let k(h) = -79102*h - 3765. Is k(-7) composite?
False
Let y(x) = 48*x**2 - 14 - 9 - 33*x**2 - 12*x. Let l be y(-15). Suppose -6*z + l + 1202 = 0. Is z a prime number?
False
Let k = 5 - 4. Let f be -4 - (3 + (-2 - (-1)/k)). Is 700 + -3*(-2)/f a composite number?
True
Let z(t) = -t**3 - t**2 + 3*t + 5. Let r be z(0). Suppose -6691 = -3*h - r*j, 0*h + 4490 = 2*h - 4*j. Is h a composite number?
False
Let a(u) = 2*u - 31. Let m be a(18). Suppose 5*h - 2*k - 2757 = 0, 860 = -m*h - 4*k + 3641. Is h a composite number?
True
Let a = 35 - 37. Let s be (0 - (a - 2449)) + (3 - -1). Let k = s + 430. Is k composite?
True
Let p(w) be the second derivative of -4*w - 2*w**2 + 0 - 103/6*w**3. Is p(-6) prime?
False
Let m = 61152 + -25811. Is m a composite number?
True
Let h = 394588 + -224115. Is h a composite number?
False
Let m = 100 - 55. Suppose -39*j = -m*j + 11082. Is j a composite number?
False
Suppose 2*y - 25 = -3*y. Suppose -85 - 945 = -y*a. Suppose -2*t + 84 + a = 0. Is t prime?
False
Let a(q) = -q**3 - 2*q**2 - 3*q - 842. Let g be a(0). Let f = -145 - g. Is f a composite number?
True
Let t be 6/4*(-2)/3*8. Let n(o) = -18*o**2 + 14*o + 3. Let d be n(t). Let g = -612 - d. Is g a composite number?
True
Let w(a) = -37*a + 2*a + 10*a + 0*a + 122*a**2 + 27. Is w(6) prime?
False
Suppose -z - 925*s + 921*s = -1392137, 0 = 4*z - s - 5568650. Is z composite?
True
Suppose i = m + 2*i - 8, -5*i = -5. Suppose -m*k = -11*k. Let o(b) = b**3 + 2*b + 301. Is o(k) composite?
True
Suppose 0 = 2*h - 4*z - 6578, -2*z + 6*z = 8. Let n = h + -4778. Let j = -656 - n. Is j a prime number?
True
Suppose -s = 1 - 5. Suppose 3*b - 179 = 3*a + 70, -3*b = -s*a - 249. Let x = 172 - b. Is x a prime number?
True
Suppose -4 = -c, 17*c - 15*c = 2*b - 30812. Suppose -r - 2*t = 3*r - 12326, b = 5*r + 3*t. Is r prime?
True
Suppose 0 = -7*g + 64*g - 36081. Suppose z = -4*k + 1000, g = 4*k + 3*z - 359. Is k prime?
True
Let m(v) = -v**3 + 39*v**2 - 4*v + 69. Is m(38) prime?
True
Let r(v) = -301825*v**3 + v**2 - 33*v - 32. Is r(-1) a prime number?
False
Suppose 3750 - 598 = 4*o. Let n be (o/(-7))/(-2) - 8/28. Suppose n = 7*f - 833. Is f a composite number?
False
Suppose 0 = 2*u - 2 - 4. Let a(r) = -7*r + 5*r**3 + 11*r**3 - 2 + 9*r + 3*r**2. Is a(u) a composite number?
False
Let l = 166 - 151. Is 65225/l*(3 + 0) prime?
False
Let a(w) = -25*w + 3. Let c be a(9). Let t = 671 + c. Is t composite?
False
Suppose 162 = 7*p + 134. Suppose -b - p*b = -25, -5*q + 15440 = -b. Is q a prime number?
True
Let u(k) be the second derivative of -k**5/20 + 15*k**4/4 - 11*k**3/3 - 59*k**2/2 - 69*k. Is u(37) prime?
True
Suppose 0 = -4*m + 1494 + 1938. Let p be 270/135 - (-1 + -494). Let h = m + p. Is h composite?
True
Suppose 0 = -2*p + 1715 + 4491. Is p a prime number?
False
Let x = -6593 - -17004. Is x composite?
True
Let n be -2258 - 2/4*-6. Let i = n + 1500. Is (3 - 2)*(-2 - i) a prime number?
False
Suppose 4*m - 11*b = 480336, 2*m + 21*b - 240126 = 16*b. Is m a composite number?
True
Suppose 0 = -150*x + 134*x + 347632. Is x composite?
False
Suppose -5*d - 87 = 3*a - 673, -3*a - 2*d = -571. Let o be 13/(-11) - -1 - (-139536)/a. Let l = o + 333. Is l prime?
False
Let a(q) = 91*q**2 + 57*q - 503. Is a(-42) prime?
True
Suppose 4*i - 244531 = -5*y - 49604, 3*y + 5*i - 116951 = 0. Suppose y = 6*w + 2129. Is w prime?
True
Let g(j) be the second derivative of -131*j**3/6 + 5*j**2/2 + 91*j. Is g(-2) a prime number?
False
Let o(y) = -13*y**3 - 13*y**2 + 25*y - 61. Let c be o(10). Let n = -9105 - c. Is n prime?
False
Let w be (-9321)/2 + -5 + (-12)/(-8). Let f = -3123 - w. Is f a composite number?
True
Suppose 118*y = 887906 + 707336. Is y prime?
False
Let a be 4/(40/(-75))*-360. Suppose 3*p + 1089 = t + t, -3*p - a = -5*t. Is t a composite number?
True
Let t = 34077 + 19892. Is t composite?
True
Suppose f - 2*x = 36015, 4*f + 0*x - 144010 = -2*x. Suppose -8*k = -3*k - f. Is k a prime number?
False
Let b(j) = 229*j**2 + 3*j - 5. Let z be (-114)/(-27) + (-6)/27. Is b(z) a prime number?
True
Suppose 10*j = -6*j + 146112. Let b = j + -4861. Is b composite?
False
Suppose 13*s + 34*s - 25155001 - 31420732 = 0. Is s a composite number?
False
Let c = 509 - -2025. Let n = c + -967. Is n a composite number?
False
Let q be (-63)/(-12) + -5 + (-27)/(-4). Let f be ((-27)/(-6) - 3)*(q + -1). Suppose -f*a + 5*a = -940. Is a prime?
False
Let q(k) = 503*k - 250*k + 69 - 250*k. Let o be q(-21). Is (o/9)/(-2*3/(-5679)) a prime number?
True
Let j(o) = 32*o