(t) - 7*m(t). Is r(11) composite?
True
Suppose -4*u + 236788 = 5*s, 5*u = s + 4221 + 291764. Is u prime?
True
Suppose 61*a = 86*a - 2210275. Is a prime?
True
Suppose 15*k + 41470820 = 144*k - 13680421. Is k a prime number?
True
Suppose 1608 = 21*d - 33*d. Is (315637/d)/((-1)/(-2) - 1) prime?
False
Let k(h) = 47*h + 9. Let d(l) = -l + 19. Let b be d(13). Let x(y) = -24*y - 5. Let p(o) = b*k(o) + 11*x(o). Is p(2) a prime number?
False
Suppose 2*c + 10*c = -14*c + 10166. Is c composite?
True
Let x(k) be the second derivative of k**5/5 - k**4/12 + k**3/6 - 7*k**2/2 - 35*k. Is x(3) a prime number?
False
Let p(v) = -58*v**2 + 5*v + 12. Let s be p(7). Let n = -1783 - s. Let y = n - 425. Is y a composite number?
False
Suppose -4*y + 899509 = 3*b, -3*y - 3*b + 99818 + 574810 = 0. Is y composite?
False
Let z(i) = 5*i - 140. Let y be z(29). Suppose y*h = 4*o - 10253 + 49508, 7851 = h + 5*o. Is h prime?
False
Suppose 4*a + 86 = 5*n - 82, 124 = 4*n + 2*a. Let u = 37 - n. Let r(j) = 519*j - 26. Is r(u) a prime number?
False
Let o(j) = 0 - 4*j**3 - 10*j**3 + 648*j**2 + 3*j + 18 - 645*j**2. Let g be o(-5). Suppose 2*n - g = s, -5*n + 4*s + 4575 = -s. Is n composite?
True
Let s = -42 + 24. Let u(t) = -t**3 - 19*t**2 - 20*t - 34. Let f be u(s). Suppose 0 = 7*r + f*r - 1809. Is r a composite number?
True
Let q(a) = 4731*a**2 + 14*a + 32. Suppose 3*k - 4 + 17 = -r, 5 = k - 2*r. Is q(k) prime?
True
Suppose 3*a - x = 17, 4 = -4*a - 0*x - 4*x. Suppose -3*u - a*l + 0*l + 11115 = 0, 2*u = 3*l + 7427. Is u a prime number?
True
Let m be (5 - (6 - -4730))*-15. Suppose -4*f - 42607 = -3*p, -3*p - 5*f + m = 2*p. Is p composite?
False
Let x = -97 + 102. Suppose 0 = -0*m - 2*m + x*l + 21, -m = l. Is -3*-2*m/(-9) + 249 a prime number?
False
Let v(k) = 29*k**3 - 5*k**2 - 17*k + 17. Let y be v(4). Suppose -1449 - 295 = 2*q. Let u = q + y. Is u a prime number?
True
Suppose 34751 + 17701 = 2*y. Let k = y - 13999. Is k prime?
True
Suppose -4*m + 26 = -2*l, -16*m = 3*l - 18*m + 19. Is (-35729)/((-6 - l)/3) prime?
True
Let r = -3505 + 14. Let f = 10658 + r. Is f prime?
False
Let w be (-11300)/18 - (-2)/(-9). Let i = w + 177. Let t = i - -652. Is t prime?
False
Is 7023918/10 + (-3 + 5)/((-50)/20) a composite number?
False
Let d(q) = -25*q + 14. Let x(j) = -j + 9. Let i be x(5). Let y be 4*2/i + -13. Is d(y) composite?
True
Suppose 0 = -3*c + 4*u, 36*u = -2*c + 33*u. Suppose c = -5*o + 7*o - 46910. Is o a prime number?
False
Suppose -2*i = -2*l - 22, -5*i + 85 = 5*l - 0*l. Suppose 3*f - 120173 = -i*f. Is f composite?
False
Let h(s) = 3*s**2 + 17*s**3 - 18*s**3 + s + 5 - 2*s - 2. Let l be h(3). Suppose k - 5 = l, q - 2*q + 36 = k. Is q composite?
False
Let w be 4/(2 - 4) + 19 + -9. Suppose -3*r = y + y - w, y - 26 = 4*r. Suppose 6*n - 4912 = -y*n. Is n prime?
True
Suppose 14*c - 6072 = 2*c. Let o = 755 + c. Is o a prime number?
False
Suppose 4*l + 39752 = -4*p, 5*p - 5*l + 49670 = -0*p. Let z = 29647 + p. Is z a composite number?
True
Let g be (-4 - 33/(-9))*-6. Suppose 4 = g*j, -6686 = -3*p - 2*j + 497. Is p prime?
True
Let f(d) = 18*d**2 - 17*d. Let j(b) = -10*b**2 + 25*b**2 - 14*b**2 + 1. Let l(r) = f(r) + 3*j(r). Is l(-5) a prime number?
True
Let u be 42*(5 - (-570)/(-12)). Let c = 6880 - u. Is c prime?
False
Let y be -5 - 1 - (-1106)/2. Let c(g) = 11*g**2 + g. Let l be c(7). Suppose k = -v + l, k - 6*v - y = -8*v. Is k a composite number?
True
Is 385/(-35) + (-235798)/(-2) + 11 a composite number?
False
Let q(k) = 2*k**2 + 6*k - 39. Suppose 24*i - 560 = 14*i. Suppose -5*h + i = -7*h. Is q(h) a composite number?
False
Suppose 16 = -4*o, -13772 = 2*v - 5*o - 79166. Is v prime?
True
Let q = 66290 + 198263. Is q prime?
True
Let t be 10/(-4)*(-12)/15. Suppose 3*l - 5*d = 9, 6*l = t*l + 2*d + 26. Suppose 5*c + 237 = l*c. Is c a prime number?
True
Let f(p) = 648*p**2 - 80*p + 703. Is f(10) a composite number?
True
Let h be 3982 - -14*(-7)/14. Let d = -2714 + h. Is d a prime number?
False
Let o = -21 + 25. Suppose 5*w - g = 4*g, o*w - 3*g = 5. Let q(v) = 106*v + 11. Is q(w) a prime number?
True
Let z(u) = -u**2 + 3*u - 161. Let m be z(0). Let i = -103 - m. Is i a composite number?
True
Is (-106119690)/(-808)*(-4)/(-3) a prime number?
False
Let j be 0 - (-4 + 3 + 7*-2). Suppose j*k - 1084 = 11*k. Is k a prime number?
True
Suppose -5*b = -3*n + 40019, 4*n - 19026 = -b + 34325. Let w = -8941 + n. Is w a prime number?
True
Suppose 0 = -6*t + 18 - 0. Suppose 5*w + 3*h - 13 = 0, 3*w - t*h + 0 - 3 = 0. Suppose 0 = -w*j + 1577 - 483. Is j a prime number?
True
Let j be (-1032)/(-32)*6*(-4 + 0). Let h be (-2)/(5 + j/154). Suppose -h*t + 74*t + 2859 = 0. Is t a composite number?
False
Suppose -19*f - 964964 = -8*f. Is f/(-6) + (-80)/(-240) a composite number?
False
Let c = -397357 + 935604. Is c composite?
False
Is 33/((-330)/(-149560)) + ((-3)/(-3) - 6) prime?
True
Let w(r) = 195*r**3 - 42*r**2 - 151*r + 1817. Is w(12) prime?
True
Let g be 35/(0 + 5) + (1 - 4). Is (-5 - -46463) + g + -5 composite?
False
Suppose 599711 + 29963 = 17*s - 143775. Is s prime?
True
Suppose -55*a = -97*a + 69*a - 6961491. Is a prime?
False
Suppose m - c = 96651, -8*m + 7*m = 5*c - 96603. Is m composite?
False
Let d(r) = r**2 - 1. Let g(v) = -15*v**2 - 17*v - 33. Let i(m) = -4*d(m) - g(m). Suppose 74*u - 63*u - 253 = 0. Is i(u) prime?
True
Let g(z) = 7901*z**2 + 425*z - 11. Is g(-10) composite?
False
Let m = 168564 + -973. Is m composite?
True
Suppose -1666*i = -1667*i + 358051. Is i a composite number?
False
Let h be -3 - (3 - 2)*(2 + -5). Let v be (5/4 - h)/(2/8). Suppose 2*g - w - 1078 = 0, 0*g - 1643 = -3*g - v*w. Is g prime?
True
Let i(s) = 11*s - 449. Let x be i(46). Is (78433/123)/(((-2)/x)/(-2)) composite?
True
Let q be ((-140)/(-21))/20 + 2/(-6). Suppose q = 14*s - 9458 - 8336. Is s a prime number?
False
Let q = 56 - 53. Suppose -7*l = -q*l + 7944. Let u = -727 - l. Is u a composite number?
False
Suppose -17*x = -14*x + 5655. Let q be ((36 + 4)/(-10))/((-2)/(-1403)). Let h = x - q. Is h a prime number?
False
Let r be 4112/((-16 + 4)/(-6)). Suppose r - 565 = 3*g. Is g a composite number?
True
Let i be (0 - -24 - -4) + 2 + -2. Suppose -2*x = 12 - i. Let h(f) = f**3 + 7*f**2 + 9*f + 17. Is h(x) a composite number?
False
Let f = 49570 - 27579. Is f prime?
True
Suppose -28226 = -6*a - 5*a. Let n = -1757 + a. Is n composite?
False
Suppose -25*i = -17*i - 696. Is ((-406)/i)/(4/(-14262)) composite?
True
Suppose -2*x + 3*x + 134656 = 4*r, -x + 269324 = 8*r. Is r a prime number?
False
Let d be 3/21 + 1 + 139604/28. Let m = 3676 + d. Is m a prime number?
True
Suppose 1381*u - 1394*u = -9392305. Is u a prime number?
False
Let i = 446349 + -290003. Is i a composite number?
True
Let p = 47993 - 29454. Is p prime?
True
Let j = 1041498 - 510587. Is j prime?
True
Suppose -16*s + 616536 = 56*s. Is s prime?
True
Let r(w) = 3326*w**2 - 29*w + 45. Is r(2) composite?
False
Let q(c) be the first derivative of 2*c**4 - 2*c**3/3 - c**2/2 + 8*c - 1. Suppose 36*s + 36*s - 648 = 0. Is q(s) a composite number?
False
Let y = -1389404 + 1973569. Is y prime?
False
Let i = 3264 - 1431. Suppose -i = -3*v - 5*r, -9 = 3*r - 6*r. Suppose 9*d + 5*j = 5*d + v, -5*j = -10. Is d a composite number?
False
Suppose 3904 = 4*k - 2788. Let g = k - -174. Is g a prime number?
True
Is 4/(-10 - (9 + -17))*464943/(-6) a prime number?
True
Is (1416513/12 - 1) + (-125)/(-100) a prime number?
True
Let o be (-1 + 4)*2*(-5)/(-10). Let k(j) = 2848*j + 17. Is k(o) a composite number?
True
Suppose 0 = -3*w + 2*s - 58319, -4*w - 19*s = -17*s + 77754. Let q = -10938 - w. Is q a prime number?
True
Let o be -3 + (-5)/(10/(-12))*1. Let q be -3 - 949 - 0 - o. Is ((-74)/185)/(-1*(-1)/q) a composite number?
True
Let j = 6 + 31. Let k = j + -40. Is (-1 + 34)/k*-47 prime?
False
Let a(s) = 20*s**3 + 5*s**2 - 5*s + 5*s - 6*s**2 - 3 - 2*s. Suppose -2*k = -12*k + 20. Is a(k) a composite number?
False
Let f(b) be the first derivative of 7*b**5/12 - 3*b**4/8 + 5*b**3/6 - b**2 + 5. Let x(t) be the second derivative of f(t). Is x(6) prime?
False
Let o = 1555 - -5875. Suppose 3 = j, 14992 = 3*g - 3*j - o. Is g composite?
False
Let y = 3 + 4. Suppose -y*b = -6*b - 413. Is b a prime number?
False
Suppose -m = -35844 + 8508. Suppose 10*t - m = 1694. Is t prime?
True
Let l = -39648 + 26557