11 = -4*d + 6140, 10700 = 2*u + 3*d. Is u a composite number?
True
Suppose -44*r - 23068620 = -90*r - 134*r. Is r prime?
True
Suppose -t + 14*v + 8 = 12*v, -2*t = 4*v. Suppose 0 = t*p - j - 76660, 5*p = 3*j - 6*j + 95825. Is p a prime number?
False
Let q = -6 + 9. Let l(a) = -10*a + 7*a + a**q + 353 + 3*a + a**2. Is l(0) a prime number?
True
Let j = -10846 - -33087. Is j prime?
False
Let z(r) = -18 + 7*r**2 + 16 + 9*r**2 + 4*r. Let l be z(-17). Suppose -7*c = -1403 - l. Is c a composite number?
True
Let j(n) = 7*n**3 - 2*n**2 - 4*n + 4. Let d be j(1). Suppose d*h + 5*s = 3490, 4*h - 2007 = 2*s + 761. Is h composite?
True
Suppose o - 5*u = 3*o, 4*u + 34 = -5*o. Let g(p) = -6*p**3 + 17*p**2 + 20*p - 23. Is g(o) prime?
True
Suppose -18563214 = -133*v - 149*v. Is v a composite number?
False
Suppose -5*f = 4*b - 2*f + 10, 0 = -2*b + f. Let g(o) be the third derivative of 589*o**5/60 + o**4/8 + o**3/6 + 54*o**2. Is g(b) a composite number?
False
Suppose 435*b - 430*b = 16705. Suppose -4*a - 5*d = -b, -a + 2*d + 947 - 102 = 0. Is a a prime number?
True
Let d(c) = -10*c + c**3 - 1 + 2*c + 10*c**2 + c**3 - 3*c**3. Let i be d(9). Is (-4)/(-2) + i + 943 a composite number?
False
Is -19 + 311408/48 - (-2)/6 prime?
True
Let l be 60/25*1*10. Let h(d) = d**3 - 20*d**2 + 33*d - 35. Is h(l) prime?
True
Let c = 360 - 381. Let x(t) = -2*t**3 - 36*t**2 - 4*t + 11. Is x(c) prime?
True
Let l be 209 - -1 - 2/6*15. Suppose -6582 = 199*i - l*i. Is i a prime number?
True
Suppose 0 = 2*f - 1 - 3, -w = 3*f - 6. Let d be 3 - (3 + w + -1) - -1. Suppose -2*c + d*m = 4*m - 3056, 3*m = 2*c - 3071. Is c prime?
True
Let i be (-2880)/352 + 1 + (-18)/22. Is ((-7)/((-28)/9613))/((-2)/i) prime?
True
Let b(w) = -w**2 - 32*w + 79. Let a be b(-31). Let l = a + 3857. Is l a composite number?
False
Let s be (-2)/1*398/(-4). Suppose a - s = -13. Let h = 1049 - a. Is h composite?
False
Suppose -3*t = -5*t + 16. Let y be ((-36)/(-4) - 9) + 17. Suppose -t*n + y*n - 7677 = 0. Is n prime?
True
Let w be 0*(-1)/6*-3*2. Suppose w*k - k - 1166 = 0. Let s = k - -1729. Is s a composite number?
False
Let b(z) = 120*z - 41. Suppose -69 = -18*j + 147. Is b(j) a prime number?
True
Let o = 56627 + -16846. Is o composite?
True
Suppose 0 = 45*w - 50*w. Suppose 5*m - 10*m + 2080 = w. Suppose 4*t = 300 + m. Is t composite?
False
Let i = 10 - -2. Suppose -z = 4*d - 18, -4*z - i = -2*d - 6*z. Suppose 5*k + 4131 = d*o, -12 = 4*k - 32. Is o composite?
False
Let l(z) = 21*z**3 - 3*z**2 - 19*z - 28. Is l(9) composite?
False
Suppose 4*z = 5 + 15. Let j(h) = -h + 3. Let k be j(z). Is k/4*(2 + 1836)/(-1) a composite number?
False
Let k(c) = 2*c**2 - 11*c + 20. Let z be k(5). Let y(r) = -3 + 43*r**3 + 2 - 44*r**3 + z*r. Is y(-11) a prime number?
False
Let r(s) = -266*s + 79. Let m be r(-4). Suppose 9*z = 5*z, 0 = -3*n - 3*z + m. Is n a prime number?
False
Suppose 4*f - 258411 = -13*f + 406034. Is f a composite number?
True
Let c(m) = -70 + 164*m + 159 - 56. Let v(d) = 7*d + 5. Let f be v(0). Is c(f) a composite number?
False
Suppose 2*f - 1 + 70 = -n, -2*n = 2*f + 74. Is (4/(f/(-796)))/((-4)/(-8)) prime?
True
Let p = -435 + 432. Is (16*-93 - 9)/(p/5) prime?
False
Let l be (-6)/(0 - (-3 - -5)). Suppose l*s = 49 + 5. Is (-290)/(-2 + 0) - s/9 composite?
True
Suppose -18*b - 76783 = -25*b. Suppose a - b = -0*a. Is a prime?
False
Let x be ((-3)/(-9))/((-7)/(-164157)). Suppose 4*k - 5435 = -5*r + 33650, -5*k = -r + x. Is r composite?
False
Let l = -41994 - -168104. Suppose -112*n + 122*n - l = 0. Is n a composite number?
False
Let m be (-10)/15*-27 + (-1 - 2). Is 3*58775/m*6/10 composite?
True
Suppose 1552 + 998 = -n + j, 3*j - 12740 = 5*n. Let v = 9224 + n. Is v a composite number?
False
Suppose 0 = l - 3*r - 11 - 6, 2*r = 2*l - 30. Suppose 0 = l*v - 7*v - 28. Is 263/(4*1/v) a prime number?
True
Suppose -18511*t + 18504*t + 281638 = 0. Is t a composite number?
True
Let m = 10734 - 19137. Let q = 15456 + m. Is q prime?
False
Let j(d) = -3*d - 5*d - 3*d - 30. Let t be 8/(-10)*(-731)/(-68) - (-18)/30. Is j(t) prime?
False
Let n(v) = 51*v**3 - 12*v**2 - 44*v - 76. Is n(17) composite?
False
Let b(u) = 619*u - 2. Suppose -2*c + 7 = 5. Let x be b(c). Let h = -170 + x. Is h a composite number?
True
Let i(r) = -r**2 - 23*r + 8. Let c be i(-23). Is 477 - (3 - (-4 + c)) composite?
True
Let s = 297725 + -88764. Is s a prime number?
True
Let z be 4/(-40) - 5/(-100)*62. Suppose -w + z*h - 7*h + 18937 = 0, 4*w - 4*h = 75808. Is w a prime number?
False
Let m = 2771357 - 1703736. Is m a prime number?
True
Let c be (52/(-78))/(4/18). Let m(g) = 58*g - 3. Let t(r) = 29*r - 2. Let s(y) = c*m(y) + 7*t(y). Is s(18) composite?
True
Suppose -3*f = -29 + 23. Suppose -29260 = -f*i - 3*i - 5*t, -2*i + t = -11719. Is i composite?
False
Suppose 8 - 8 = -9*p. Is (1157 - 6 - p) + 0 composite?
False
Let r(u) = -1133*u**3 + u + 2. Let k be r(-1). Suppose -k = -2*b - 0*b + 4*w, -5*b + 2805 = 5*w. Suppose 0 = -v - 0*v + b. Is v composite?
False
Let s(l) = 171*l**3 - 27*l**2 - 6*l - 16. Let b be s(-6). Let w = -23285 - b. Is w a composite number?
True
Suppose m - 5*g = 19748, m + 12*g = 11*g + 19742. Is m composite?
True
Let t be (4/(32/246))/(9/24). Let l = 88 - t. Suppose -l*v + 2*u = -2*v - 9884, 2*v + 4*u - 4962 = 0. Is v a composite number?
False
Let d be 3/((6/(-9))/((-12)/27)) - -58. Let k(b) = -2*b + 1. Let x be k(-1). Is (x/(d/(-17165)))/((-2)/8) composite?
False
Let q(i) = 264*i**3 + i**2 + i - 1. Suppose -39*l + 10 = -41*l. Let b be 2/l + (-28)/(-20). Is q(b) composite?
True
Suppose 0 = f + 1, 0 = 3*k + 3*f - 333493 - 2170283. Is k a composite number?
False
Let c(w) = -4*w + 21. Let x be c(0). Suppose 46 = -5*p + 2*h + 220, p - 5*h - x = 0. Let g = p - 30. Is g composite?
True
Let c = 1097840 - 769951. Is c a prime number?
True
Let k(l) = -2947*l + 17. Let t(y) = -y**2 - 3*y + 7. Let v be t(-5). Let h be k(v). Let n = h + -5797. Is n a prime number?
True
Suppose 55*r - 5*r + 1657 = 220907. Is r composite?
True
Suppose -12 = -2*w - 4. Suppose 4*u - 36 = w*c, 2*c = 5*u - c - 41. Suppose -3618 = -u*q + 827. Is q a composite number?
True
Suppose l - 9344 = -4*v, -5*l - 6280 = -2*v - 1608. Suppose 5*f - v = -2*s, -3*f + 3504 = 3*s - f. Suppose 2064 = 4*n + 5*d - 274, -2*n + s = 3*d. Is n prime?
True
Let f = 61 - 55. Let g be f/(-10) + (-204)/60. Is (2/g)/((-1)/2326) a prime number?
True
Is (-1 + -174828)/(((-3)/(-3))/(-1))*1 composite?
False
Let t be (-15)/20 - ((-294)/8 + 1). Let b = 40 - t. Suppose w - 2*q = 1727, -w - 3*w = -b*q - 6899. Is w a prime number?
True
Let o(d) = 5*d + 20. Let c be o(-4). Let r(m) = c*m - 3 - 85*m + 13. Is r(-3) a composite number?
True
Let k(h) = h**2 - 6*h - 13. Let j be k(18). Suppose g = -48 + j. Suppose q - 858 = -g. Is q a composite number?
True
Let p = -67 + 95. Let u = -23 + p. Let m(i) = 3*i**3 - i**2 + 8*i - 11. Is m(u) prime?
True
Let y(l) = -42*l + 5*l**2 + 78*l - 8 - 40*l + 4*l**2. Is y(-9) prime?
True
Let a = -166 - -145. Let j(d) = d**3 + 26*d**2 + 7*d + 37. Is j(a) composite?
True
Let f(i) be the third derivative of i**5/60 + i**4/24 + i**3/6 - 8*i**2. Let v(y) = 906*y**2 - 3*y - 4. Let k(d) = 2*f(d) + v(d). Is k(-1) composite?
False
Let f be (8/(-52) + 17506/52)*46. Suppose -1857 = 14*i - f. Is i a prime number?
False
Suppose -k - 8*o = -5*o + 26541, 0 = 2*k + 3*o + 53085. Let l = -15625 - k. Let p = 16374 - l. Is p a composite number?
True
Let o = 10 - 19. Let c(b) = 13*b + 23. Let l(a) = -3*a - 4. Let r(f) = 4*c(f) + 18*l(f). Is r(o) a composite number?
True
Let d be (-7)/(-2)*(-30)/(-35). Let q = 183 + 91. Suppose d*h - 745 + q = 0. Is h prime?
True
Let y(c) = 8*c**3 - 13*c**2 + 2*c + 30. Let z(p) = 2*p**2 + 12*p + 11. Let s be z(-6). Is y(s) a prime number?
True
Let w be (-20)/(-6)*(5 - 52/8). Let x be -5 - (w/(-1) + -59670). Suppose -15*y = -4075 - x. Is y composite?
True
Let l = 107167 - 12355. Suppose -l = 36*k - 48*k. Is k composite?
False
Let v(u) = -320*u - 9. Let w be -6*(7/(-2) - -4). Let y be v(w). Let m = -620 + y. Is m a prime number?
True
Let k be ((-6)/1)/((-33)/7898). Suppose -2*a = 3*a - 2*w - 2397, 0 = 3*a + w - k. Is a composite?
False
Let u be 17/(-1)*(-149 - -1). Suppose 0 = 2*t - 5*o - u + 115, -3*t + 3654 = 3*o. Is t composite?
False
Let q = -145 - -167. Suppose 13*u = q*u - 