x = i + t. Is x prime?
False
Let r(d) = 10984*d**2 + 266*d + 91. Is r(9) a composite number?
False
Let x(k) = 781*k**2 - 18*k - 179. Let p be x(-7). Suppose 48*l + 2*m + p = 53*l, -4*l = 5*m - 30553. Is l a prime number?
False
Suppose -387*c - 36*c + 46356993 = 0. Is c prime?
False
Let d(b) = 234*b - 25. Suppose -6*l + 7*l = -3*w + 3, 3*w = 5*l + 21. Is d(w) a composite number?
False
Suppose 46 = 40*z + 6*z. Is 5149 + 16 - z*(1 + 3) composite?
True
Suppose -7*f - 816480 = -47*f. Let w = 36035 - f. Is w a composite number?
True
Let a be 3 - (-1 - (4 - -7)). Let l be (-149)/(-2)*(25 - a). Suppose -3*s - 139 = -l. Is s a composite number?
True
Suppose -19*u = -21*u - 3282. Let h = u + 2391. Suppose 4*c - h = -3*m, 0 = -2*m - 4*c + c + 499. Is m a prime number?
False
Suppose 7*w - 189980 = 65543 + 555679. Is w a prime number?
False
Suppose -b + 6*b = 51980. Let v = b - 6713. Is v composite?
True
Let n = 26 + -36. Let g(u) = 6 + 0*u**2 - 15*u**2 - 3*u + 17 + 27*u**2. Is g(n) prime?
False
Suppose -z = -3*x + 2*z + 66, 3*z - 59 = -2*x. Is 111*x - ((-24)/4 + 10) composite?
True
Let w = 48895 + -33476. Is w a prime number?
False
Let c(p) = -p**3 - 2*p**2 - 7*p - 3. Let v(d) = -5*d + 9. Suppose -31*i = -32*i + 4. Let s be v(i). Is c(s) a composite number?
False
Let u = 9717 - 3101. Suppose 4*x - 7 = -19, -4*f = -4*x - u. Is f prime?
False
Suppose 5*a - 2 - 18 = 0. Suppose 4*k = -5*w + 5, 0 = a*w + 6 + 6. Suppose 165 = k*d - 5*r, -2*d - 3*r - 62 = -4*d. Is d composite?
False
Is 1609923/9 - -3 - 7/21 prime?
False
Suppose -2*n = -168 + 162. Suppose -2*c = -n*c - 3*s + 686, -2*c + 5*s = -1361. Is c composite?
False
Suppose 212*s - 209*s - 4*y - 87179 = 0, -s = -2*y - 29063. Is s composite?
True
Is (35507 + -12)*1 + -3 + -3 a composite number?
True
Suppose -3*h = 5*m - 14, -8 = -3*m - 0*h - 2*h. Let q = m - 5. Is 2503 + 0/(3 + q) a composite number?
False
Suppose -6*t - 4*z = -2*t - 26932, z = 5. Suppose 5*f - 4*h - 4060 - 7190 = 0, 3*f + 2*h = t. Is f a composite number?
True
Let w = -403 + 446. Suppose 8643 = w*x - 40*x. Is x prime?
False
Suppose 0 = s - 39*s + 76. Suppose -s*h + 3*i + 0*i = -35798, 0 = 5*h - 5*i - 89495. Is h a prime number?
False
Suppose -5*x - 5*f + 1 = -39, -3*x - 5*f + 14 = 0. Suppose -x*q - 216 = -5*q. Let t = 40 + q. Is t a prime number?
True
Is (2 + 12/(-9))/(236/1936734) a prime number?
True
Suppose -3*z + 11*h - 16*h - 20 = 0, -5*h = -4*z - 50. Let i(u) = -u**3 + 6*u**2 - 23*u - 7. Is i(z) prime?
True
Let t be (-46)/69 + 137528/3. Suppose -9*r = -13*r - 5*k + t, -3*r + 5*k + 34399 = 0. Is r composite?
True
Let j(k) = 15360*k**2 + 340*k - 1021. Is j(3) a prime number?
True
Let z(u) = u**3 + 7*u**2 + 9*u. Let k be z(-4). Suppose 17*x = 13*x + k. Suppose x*c = 4*y - 736, -2*y + c + 161 = -209. Is y prime?
False
Suppose 7*n - 9*n + 2*j + 7236 = 0, -4*n + 14457 = -j. Is n + ((-2)/(-5))/((-3)/15) a composite number?
True
Let l = 9086 + 5680. Suppose -6*o + l = -0*o. Is o a prime number?
False
Let z(c) = 3*c**2 - c - 69. Let i be z(6). Suppose -12*h - 77343 = -i*h. Is h prime?
False
Let g = -61 - -46. Is (4 + -7)*(-22027)/g*-10 prime?
False
Suppose 2*o = -260 + 1782. Suppose v + o = 3062. Suppose -3*s - 36 = -v. Is s a composite number?
True
Let n(t) = 47*t**2 + 13*t - 89. Let x(p) = 45*p**2 + 15*p - 88. Let o(c) = -3*n(c) + 4*x(c). Is o(13) a composite number?
False
Is ((-25)/(-25) - 0) + (-3)/3 + 7762 a prime number?
False
Let d(r) = -34*r**2 + 13*r + 11. Let p be d(17). Let n = p + 5077. Let q = n + 8626. Is q composite?
True
Suppose 5*f + 61 = -119. Let r = 21 + f. Let p(k) = 2*k**2 + 3*k - 34. Is p(r) a prime number?
False
Suppose 0 = -3*m - 2*o - 3 + 16, -m - 3*o + 2 = 0. Suppose 0*l + 9508 = 3*r + m*l, 0 = r + l - 3172. Suppose -11*d = -3*d - r. Is d a prime number?
True
Let l = -3 - -13. Let a be 1*(-1)/(-2)*l. Suppose -a*f - f + 222 = 0. Is f prime?
True
Let x(j) = -50388*j - 29. Is x(-1) prime?
True
Let z(w) = 6*w**2 - 2*w + 11. Let g(r) = r**2 - r + 1. Let o(v) = 5*g(v) - z(v). Let x be o(-6). Let h(d) = d**3 + 27*d**2 + 26*d - 17. Is h(x) prime?
True
Suppose 285*u + 59 = 286*u. Suppose 0 = 56*q - u*q + 13911. Is q a composite number?
False
Suppose 6*k + k - 121548 = 0. Suppose 34720 = 4*b - 4*v, 7*b = 9*b + 2*v - k. Is b a prime number?
True
Let k(i) = -i - 15. Let p be k(-16). Let v = p - -19. Is 114/10 + v/(-50) prime?
True
Let q(c) = -2*c**3 + 35*c**2 + 19*c - 24. Let d be q(16). Suppose -d = -x + 463. Is x prime?
True
Let o(f) = -9*f**3 - 9*f**2 - 4*f - 47. Suppose -h - 3*r - 75 + 77 = 0, -5*r + 8 = h. Is o(h) a composite number?
True
Suppose -8*j + 11791 = -3*j - 2*l, -2*l = -4*j + 9434. Let b = j + 26598. Is b prime?
False
Let y(m) be the first derivative of 398*m**3/3 - 11*m**2/2 - 23*m - 132. Is y(-4) a composite number?
False
Suppose -54346 = -3*w + 72755. Suppose -14*p + w = -p. Is p a prime number?
True
Let l = 18961 + 11182. Let q = l + -18958. Is q a composite number?
True
Suppose 0 = 5*c - 2*r + 8*r - 5408617, 5*c - 5408633 = -4*r. Is c prime?
True
Let u = 14627 - -115416. Is u prime?
True
Suppose 0*r + r = 0. Let f(z) = -z**3 + 2*z**2 + 5*z - 4. Let y be f(3). Suppose 0 = 4*c + s - 2697, r*s + 10 = y*s. Is c a composite number?
False
Let g = -92 + 118. Suppose -m + 21 = -4*y, 3*m - 17 - g = 2*y. Suppose -6846 - 8923 = -m*q. Is q prime?
True
Suppose -11*x + 14*x + 12966 = 0. Let i = 5207 - x. Suppose 5*a + 1244 = i. Is a composite?
False
Let y(h) = h**2 + h - 9. Let d be y(-4). Let x = 197 + d. Suppose a - 16 = -4*u + x, -8 = -2*a. Is u a prime number?
True
Let x(b) = 3*b**2 - b. Let j(i) = 2*i - 13. Let u be j(7). Let f be x(u). Is 0/((-2)/f) - (-362 + 1) composite?
True
Let g(x) = x**2 + 11*x + 3. Let f be g(-11). Suppose 7*j - 34210 = -f*j. Is j composite?
True
Let i(a) = 11*a**2 + 4*a + 9. Let h(k) = -k**3 + 4*k**2 + 5*k + 8. Let x be 18/4 + 1/2. Let v be h(x). Is i(v) composite?
True
Let q = -699 + 702. Let g(v) = 216*v - 3. Let w be g(3). Suppose 427 = 2*a - 2*r + q*r, -3*r = -3*a + w. Is a composite?
True
Let h(t) = 53795*t + 14121. Is h(66) a prime number?
False
Suppose 15 = j + 2*j. Suppose 0 = -2*t - 2*r - 3*r - 33, 5*t - j = 5*r. Let i(w) = -7*w**3 - 2*w**2 + 3*w + 3. Is i(t) a prime number?
False
Suppose 2*g + 3*b = 1080, 143*g + 2*b = 139*g + 2152. Let f = -1 - -3. Suppose -g = u - f*u. Is u prime?
False
Let t(y) = y**3 - 11*y**2 + 30*y + 17. Let i = 28 - 17. Is t(i) prime?
True
Let t(i) = 11*i + 180. Let m be t(-16). Suppose m*n - 7076 = -3*v, 3*n - 127 - 5180 = 3*v. Is n prime?
False
Suppose -2*g + 5*q - 89 = 0, q + 4*q = -2*g - 119. Let v(p) = p**2 - 2*p - 9. Let b be v(-10). Let k = g + b. Is k a prime number?
True
Suppose 4442 = -3*l + 3*g - 12268, -11146 = 2*l - 4*g. Let c = 11764 + l. Is c a prime number?
True
Let q = 3 - -1. Suppose -q*z - 2*o + 4 = 0, 5*z + 8 - 19 = -o. Suppose -2*n - 2*f + 4881 = 589, 3*n - z*f = 6444. Is n prime?
False
Let x = 181760 - 53243. Is x composite?
True
Suppose 3*w - 12 = 0, -2*k + w - 5338 = -16522. Let g = 8353 - k. Is g prime?
False
Suppose 2890 = 2*g + 7*b - 5*b, 3*g = b + 4339. Suppose -10*w + 5*w = 3*r - g, 2*r + 3*w - 965 = 0. Is r a composite number?
False
Let p(z) be the first derivative of -19*z**4/2 + 23*z**3/3 + 9*z**2/2 - 3*z - 142. Is p(-7) a composite number?
True
Let g be 0 + 10/((-15)/(-3)). Suppose -2*r = -z + 3454, g*z - 4*r = z + 3454. Suppose 4*l + 2*k - z = 0, -4*l - 5*k = -9*l + 4310. Is l a prime number?
True
Let q = -228 + 231. Suppose -4*m - 38 = -2*o, 23 = 4*o - q*o + 2*m. Is o a prime number?
False
Let v(q) = 991*q**2. Suppose 3*b - 2*o + o + 86 = 0, 0 = o + 1. Let w = b - -28. Is v(w) prime?
True
Let x(c) = -534*c - 139. Let q = 866 + -885. Is x(q) a composite number?
False
Let l = -1940 - -33319. Is l a prime number?
True
Let f(j) = 261*j - 2734. Is f(45) prime?
True
Suppose -4*b + 25 = b. Suppose -15 + 4 = -q + f, -q + 6 = 4*f. Suppose q*m - b*m - 1655 = 0. Is m a prime number?
True
Let y = -44105 - -83931. Is y composite?
True
Suppose 144*q = -3*h + 145*q - 3310, 5*h - q = -5520. Let c = h + 7086. Is c composite?
False
Suppose 2*u = 2*c + u - 111303, -3*c - 4*u = -166927. Is c a prime number?
False
Let o = -1784672 - -3109027. Is o a composite number?
True
Let y = 840 + -352. Let j be 1622/4 - 1/(-2). Suppose -6*d = -j - y. 