x(u) composite?
True
Suppose 25*l = -104 + 479. Suppose -l*u + 406340 = 5*u. Is u a composite number?
True
Let o(g) = -111*g**3 + 10*g**2 + 8*g + 33. Let x be o(-5). Suppose -5*j - 56597 = -4*l, -l - 4*j + x = j. Is l a composite number?
False
Let q(u) = 328 + u**2 - 1303*u**3 + 2*u - 331 - 3*u. Is q(-2) a prime number?
True
Suppose -97*v - 5*l = -98*v + 95409, 5*v - 5*l - 476925 = 0. Is v composite?
True
Suppose -1249962 - 834603 = -105*o. Is o prime?
True
Suppose 4*k - 17 = -5*i - 3, -i + 3*k = 1. Let n be (-177)/(-12) + (-1)/(-4). Suppose n*p - 4*b + 370 = 16*p, i*p - 3*b = 718. Is p composite?
True
Is 193066*-3*18/(-108) a prime number?
False
Suppose 0 = -3*q - 5*i + 7, 4*q - 4*i + 4 = 6*q. Suppose 7*m - 3362 = 5*m - q*c, 8405 = 5*m - 3*c. Is m a composite number?
True
Let l(s) = 21127*s**2 + 185*s - 1127. Is l(6) composite?
True
Suppose -4*i - 7 = -5*h + 6, 2*i + 3*h - 21 = 0. Let p(f) = 941*f + 98. Is p(i) composite?
True
Let a(c) = c**3 - 17*c**2 + 25*c - 35. Let f be a(17). Let p = -124 + f. Suppose -9*g = -2*g - p. Is g a composite number?
True
Suppose c - 36*b - 152591 = -33*b, -457797 = -3*c - 3*b. Is c a composite number?
False
Suppose -2*i + 5*y + 16 = 3, -4 = 4*y. Suppose -i*a = 4*k - 1416, -3*a + 0*a = -12. Let w = 613 - k. Is w prime?
True
Let g = -7460 - -50487. Suppose 86009 = 4*d + j, 2*j = -2*d - 3*j + g. Suppose -x + d = 8*x. Is x composite?
False
Suppose -u - 21 = -4*n, -4*n = -5*u - n - 54. Let k be 7804/(-7) - u/(-63). Let f = 2232 + k. Is f a prime number?
True
Is ((-3)/(-2))/(8050968/26836335 - 36/120) prime?
True
Suppose 12019 + 20297 = 6*r. Let p = 12109 + r. Is p a prime number?
False
Let a = -20 - -21. Suppose 0 = -2*k - 5*m + 3, -m - 2 = -a. Suppose 20 = 2*o + 2*p - 5*p, -k*o - 4*p = -40. Is o prime?
False
Suppose 1088*f = 1089*f - 318377. Is f a prime number?
True
Is 16334*((-90)/(-4) - 16) a prime number?
False
Suppose 8*l - 42 = -2. Suppose 0*q - 5*q + 4270 = l*z, 4261 = 5*q + 2*z. Is q composite?
True
Suppose -4*z = 16, 5*v + z = -z + 4832. Suppose 0 = 6*h - 634 - v. Suppose 4*i - 188 = -5*b + h, -2*b + 4*i + 182 = 0. Is b prime?
False
Let p(x) be the second derivative of 59*x**6/720 - 7*x**5/30 + 5*x**4/3 - 2*x. Let i(r) be the third derivative of p(r). Is i(5) a prime number?
False
Let m(v) = -3*v**3 + v**2 - 2*v - 99. Let g(w) = -w**3 - 1. Let u(i) = 4*g(i) - m(i). Let h be u(0). Suppose 3*j + 2*j = h. Is j prime?
True
Let h(j) = -j**3 - 4*j**2 + 2*j + 3. Let u be h(-4). Let r(g) be the first derivative of 13*g**3 - g**2 - 30*g + 439. Is r(u) a composite number?
True
Suppose 7*u = 6*u. Suppose -x = u, -2*v - v - 5*x + 141 = 0. Suppose -102 = -l + v. Is l composite?
False
Let o(p) = -6*p**3 - 9*p**2 + 19*p + 149. Let b be o(-5). Let c be (1032 - 1) + (-4)/(-2). Let x = c - b. Is x a prime number?
False
Is -234 + 64246 - -1*7 prime?
True
Suppose -5*w - 4*z = -3, -6*z + 8*z = -6. Suppose -631 = -w*b + 2*v, 51 = b + 4*v - 178. Is b composite?
True
Suppose 63*u = 8551844 + 1538173. Is u a prime number?
True
Suppose 4*r + 44464 = h - 85437, -2*h + 4*r = -259806. Is h a prime number?
False
Let m(w) = 1. Let a(x) = -x**2 - 11*x + 33. Let o(f) = a(f) - 2*m(f). Let d be o(-13). Is 4/d - 3282/(-10) prime?
False
Let q(z) = -28*z**3 + 29*z**2 - 73*z - 177. Is q(-23) a prime number?
False
Let f(c) = -6*c**3 + 9*c**2 - 10*c + 586. Is f(-25) composite?
True
Suppose 46*g - 42*g + 35132 = 0. Let p = g + 16930. Is p a prime number?
True
Let d = -34657 - -166352. Is d a prime number?
False
Let v = -2611 - -147. Let r = 7185 + v. Is r prime?
True
Suppose -5*v = k - 1119, -4241 = -3*k - v - 912. Suppose 15*h - 10*h = 3375. Suppose 2*y = 3*z - h, -4*y - k = -5*z - 6*y. Is z a composite number?
False
Suppose -4*q = 2*j - 501142, -4*j - 2*q + 212027 = -790293. Is j a composite number?
False
Let f(r) = -6*r**3 - 25*r**2 + 397*r + 73. Is f(-27) prime?
True
Suppose 4*s = 4*l - 0*l + 33972, -5*s = 5*l - 42505. Let z = s + -5066. Is z a composite number?
True
Let h(l) = -6048*l - 1367. Is h(-16) composite?
False
Suppose -140*s = -142*s + 56. Suppose -s*n + 37434 = -243602. Is n prime?
True
Let d(m) be the second derivative of 3*m**4/4 - 13*m**3/2 + 173*m**2/2 - 91*m. Is d(32) a prime number?
False
Let t(o) = 2668*o - 79. Let l = 166 + -161. Is t(l) composite?
True
Let c = 928 + 63291. Is c prime?
False
Let a(r) = 1222*r**2 - 9*r - 17. Let n(g) = -g**2 + 8*g + 31. Let f be n(-3). Is a(f) composite?
False
Suppose -9*y = -6*y + 1854. Let s = 305 + y. Let p = s - -2046. Is p prime?
True
Suppose -13*t - 99 = 5. Let a(g) = 68*g**2 - 40*g - 35. Is a(t) a composite number?
False
Suppose -3*a - 34 = -4*f - 0*a, 4*f - 22 = -3*a. Suppose s = -0*s + 4*s. Suppose f*x - 882 - 1155 = s. Is x composite?
True
Let p be 162/(((-2)/(-4))/(3/6)). Suppose p*u - 9218 = 160*u. Is u a composite number?
True
Suppose -5*l + 6830034 = f, f - 4012854 = -4*l + 1451174. Is l a prime number?
False
Suppose 6*i - 7*i + 27885 = 0. Suppose -3*z + q + i = 0, 5*z - 4*q - 45662 - 820 = 0. Suppose -8*w + z - 1366 = 0. Is w prime?
True
Let n be (16/(-6))/((-44)/66). Suppose -n*o + x + 4*x - 70 = 0, -4*x = 5*o + 67. Is 3730/o*(-3)/2 a composite number?
False
Is 21185/(-190)*(-1 + -177) a composite number?
True
Suppose -80*f - 12*f = -1897684. Is f prime?
True
Let a = -534 - -537. Suppose a*q + 12*q = 11685. Is q a prime number?
False
Suppose -2*q + 29214 = g + 8364, 0 = -3*q + 5*g + 31301. Is q prime?
True
Suppose 91*f - 3035157 + 2346507 - 3703101 = 0. Is f a prime number?
False
Let g be -3 + (-96228)/(-8) - (-11)/22. Let x = g + -7025. Is x a composite number?
True
Suppose -14019 = -x + m, -42056 = -3*x - 3*m + 5*m. Suppose -9*r = -x + 419. Is r a prime number?
True
Let d = 2027999 - 1204662. Is d composite?
False
Suppose 3*z - b + 412686 = 5*z, 0 = -3*b - 6. Suppose 830*l = 838*l - z. Is l composite?
False
Let m = -556 + 546. Let v(i) = 156*i**2 + 29*i - 51. Is v(m) a prime number?
True
Suppose 0 = -5*h - 5*i + 125, -3*i + 32 + 20 = 2*h. Let l(d) = 275*d + 216. Is l(h) a composite number?
True
Suppose 64*w = 60*w + 7408. Suppose -10*y = -5*y + 4485. Let n = y + w. Is n a prime number?
False
Let y = -9563 + 31540. Is y a prime number?
True
Suppose -4311514 = 178*q - 19153688. Is q prime?
True
Let d be -2 + -2 + 1 + -3. Let z be -1*(-18)/d + -2. Is 728 + z/(-1 - 0) prime?
True
Let r(n) = 56*n**3 - n**2 - 5*n - 3. Let i be r(-2). Let y = i - -777. Let j = 851 - y. Is j a prime number?
False
Let x(r) = 139*r + 118. Let s be x(-15). Is (5 - s/14)*2 a composite number?
True
Let m = -35 - -38. Suppose -m*d + 1898 = -5*q, -3*d - 626 = -4*d + 3*q. Is d a prime number?
True
Let m be (-9)/6 - (-471)/2. Let j be ((-20)/(-3))/((-4)/(-102)). Suppose -m - j = -2*c. Is c prime?
False
Let m(j) = 24 - 5*j + 29*j**2 + 5 - 4. Is m(4) a prime number?
False
Let p(u) = 379*u**2 + 2*u + 1. Let a be p(-1). Suppose a = -8*v + 15*v. Let z = v + -21. Is z prime?
False
Let m = 126 + -128. Is (0 + 22844/(-8))*m prime?
True
Let i = -463 - -483. Suppose 7*q - i*q = -161707. Is q composite?
True
Suppose 0 = -6*w + 10*w - j - 784284, -14*w - 4*j + 2745054 = 0. Is w a prime number?
True
Let t = 45845 + -23242. Is t a prime number?
False
Is (3/((-3)/(-86)))/(190170/(-5283) + 36) prime?
False
Is (3 + (-184)/(-20))*4735 a composite number?
True
Is (23 - 19) + 20774/2 prime?
True
Let o be (-39)/(-65) + 27/5. Suppose 0 = -q + 2*s + 723, -5*s + o*s = 5*q - 3588. Is q composite?
True
Suppose -5*x + 8 = -3*x. Suppose -4*i = 2*v - 3*v - 833, -853 = -4*i + 5*v. Suppose -w + 0*z + 55 = -x*z, -3*z = -5*w + i. Is w a composite number?
True
Suppose 18*t - 14*t = 0. Suppose -37*q + 32*q + 16035 = t. Is q prime?
False
Suppose 8*y - 8674 = 774. Let n = y + -568. Is n a composite number?
False
Is 208032/10 + 118/(-590) a prime number?
False
Suppose -3*x + 126963 + 102329 = s, 3*s + 5*x = 687864. Is s a composite number?
False
Let h(q) be the third derivative of -11*q**4/8 + 1009*q**3/3 - 184*q**2. Is h(0) prime?
False
Suppose -3*g - 5835 = 1659. Let q = 12611 + g. Is q composite?
True
Let g(o) = -16*o**2 - 20*o + 41*o + 55 - 17*o - o**3. Is g(-18) prime?
True
Let c(o) = -o**3 - 3*o**2 + 3*o + 14. Let w be c(-3). Suppose -2*y + 6451 = -w*i, -2*y = 3*i - 4*i - 6447. Is y a prime number?
False
Let s(a) be the second derivat