= 2*h - 5*h - r. Is i a composite number?
True
Is -2*2 + (-15 - (-105442 + 14)) a prime number?
False
Let m = 1585 - 2753. Let t be 49790/(-15) + -1 + (-16)/24. Let j = m - t. Is j a prime number?
True
Let u be 4/28 + 440/56. Is ((-14)/u + 2)/(41/280276) composite?
False
Let p(b) = -19 + 13 - 3267*b - 2636*b. Is p(-1) a composite number?
False
Let m be 7316*((-6)/(-8))/(3/(-2)). Let b = -1704 - m. Suppose -3*k = -4*h + 5*h - 2931, b = 2*k + 4*h. Is k a prime number?
True
Let j = 301045 + -211856. Is j a prime number?
True
Let s = 3387 - 10271. Is 1/(4/s)*-1 prime?
True
Let s(d) = 1088*d + 955. Is s(66) prime?
True
Let r = 83335 + 30778. Is r composite?
False
Let s = 14664 - -45. Is s a composite number?
True
Suppose 3*a = 4*t - a - 96, -4 = 4*a. Let x = 30 - t. Suppose -3945 = 2*g - x*g - 2*p, -5*g = -3*p - 3945. Is g prime?
False
Let b(u) = -5917*u + 32. Let h be b(-6). Let y = h + -15315. Is y composite?
False
Suppose -5235122 = -52*s - 3407880 + 5037746. Is s a prime number?
True
Let t = -2 - -26. Suppose -t = -y - 6. Is 2/(-9) - ((-23098)/y + 0) prime?
True
Let r be (-9746)/(-26) + (-18)/(-117). Suppose -r = 2*t - w - 4*w, -5*t - 948 = -2*w. Let f = t - -427. Is f a composite number?
True
Let l(x) = x**3 - 4*x**2 + 4*x. Let q be l(3). Suppose 2*j + q*j - 5*p - 5 = 0, 3*p + 9 = -3*j. Is j/(((-10)/5)/7766) composite?
True
Let a(r) = r**2 - 6*r + 10. Let n be a(4). Let g = n + -28. Is (g/(-8))/((-12)/(-336)) a composite number?
True
Let n be 2 + 6 + (-6 - -6). Suppose -n*c + 4*c = 2*h - 3022, -2*c = 6. Is h a prime number?
False
Is (4 + -2)*2 + (-2075)/(-15)*417 composite?
False
Suppose 117*h = -2049 + 25949490. Is h composite?
False
Let q(s) = -147*s. Let g be q(-4). Suppose -5257 = g*p - 595*p. Is p prime?
True
Let f = 12344 - 24255. Let b = f + 18774. Is b a composite number?
False
Suppose 0 = g - 4*f - 1854 - 1853, 2*f = 3*g - 11061. Is g a composite number?
True
Let y(u) = u**2 - 33. Let s be -3*12/27*(-9)/2. Let q be y(s). Let b(a) = 18*a**3 - 5*a**2 - a + 11. Is b(q) a composite number?
False
Let t = 64 + -54. Let w(j) = 15 + 113*j - t - 2261*j. Is w(-1) composite?
False
Let t = -2252 - -504. Is 2/16*-4 - t/8 composite?
True
Let l = 40 + -19. Let c be l/6 + -2 + 31182/12. Let q = c - 1063. Is q a composite number?
True
Let y(w) = 1352*w**2 + 402*w - 5819. Is y(15) prime?
True
Let v(r) = 7*r - 34. Let o = -71 - -57. Let x be (o/(-8))/(12/48). Is v(x) composite?
True
Suppose 4*j = 112097 + 32831. Let o be (j/(-42))/((-4)/66). Suppose -3*u = -6, -3*f + o = 4*u + 1623. Is f a prime number?
True
Let b be ((-6)/(-5))/(0 - 2/5). Let j be 3*(b - (-8 + 3) - 1). Suppose -h + 764 = 5*g, -j*h = -0*h - 2*g - 2207. Is h a composite number?
False
Suppose 0 = -4*x + 8. Let i(n) = -15*n - 4*n**2 + 2*n**x + 0 - 16 + 6*n**2. Is i(-15) prime?
True
Suppose 3*h - 76 - 91 = -4*w, 0 = -4*h + w + 229. Suppose -4908 = -63*v + h*v. Let o = 647 + v. Is o a prime number?
False
Suppose -5*q - 110 = -0*q. Let c be (-17)/(-4) - (3 - q/(-8)). Suppose -c*u = -319 - 957. Is u composite?
True
Suppose -o - 155 + 22 = 0. Let n = -71 - o. Suppose 33148 = n*q - 58*q. Is q a composite number?
False
Let c(t) = 8935*t**2 + 59*t - 1. Is c(-7) a prime number?
True
Let n(j) = 3*j**3 - 41*j**2 + 17*j - 36. Let o be n(20). Suppose -b = -w + o, -2*w - 6*b + 10*b = -15802. Is w a prime number?
True
Let d(h) be the second derivative of -h**4/12 - 5*h**3 + 23*h**2/2 + 2*h. Let w(b) = 63*b + 106. Let g be w(-2). Is d(g) a prime number?
True
Suppose 41*a - 240480 = -731861 + 2364712. Is a composite?
False
Suppose 3*o - 4*f - 37 = 0, -4*f + 2 = 4*o - 10. Suppose o*k + 6804 = 11*k. Suppose -1683 = -3*p + 4*n, 0*p + 3*p + 2*n - k = 0. Is p a composite number?
True
Is ((-113292)/(-4) - 4)/(1 + 0) prime?
True
Let i be (-10)/28*-6 - 2/14. Suppose z = i*v - 5669, -4*z - 22221 = 5*v + 481. Let m = -4036 - z. Is m a composite number?
False
Let d = -46 - -77. Suppose -3*m + d = -14. Suppose 20*t = m*t + 3935. Is t prime?
True
Suppose -i + 11 = -20. Let j = i + -27. Is 2 - (-1214 + -3 + j - -2) a prime number?
True
Is (41/(-246))/((-4)/(-8))*(-1 - 134780) composite?
False
Let p(b) = -b**3 + 12*b**2 + 20*b - 224. Let q be p(13). Let a = 3 + -335. Let g = q - a. Is g a composite number?
False
Let w(f) = -46031*f + 4537. Is w(-12) a composite number?
True
Let d be 95/(-6) - 0 - 21/126. Let q be (-4)/d + 7974/8. Let y = q + -530. Is y composite?
False
Is 4/(64/(-1324))*(4 - 3 - 5) a composite number?
False
Let m(w) = 8390*w + 97. Is m(5) a prime number?
False
Let x = 2752 - 2759. Let o(r) be the first derivative of -r**4 - 3*r**3 + r**2 + 4*r - 1. Is o(x) prime?
False
Let n = 153705 - 68668. Is n a prime number?
True
Let j(n) = 11224*n**3 + n**2 + 4*n + 92. Is j(5) composite?
False
Let k(b) be the first derivative of 5*b**7/84 - b**6/360 + b**5/120 - b**4/24 - 11*b**3/3 - 20. Let t(i) be the third derivative of k(i). Is t(1) prime?
False
Suppose 641 - 4021 = -4*l. Suppose 2*w - 17 = l. Is w a composite number?
False
Let t = 131667 + 14602. Is t a prime number?
False
Let p be ((-72)/(-3))/(-8) - (-12)/2. Suppose -p*t + 0*n + 2*n = -2871, -2*n = -2*t + 1912. Is t a composite number?
True
Let b be (2 - 3)*(17 + -17). Suppose 28*z - 33*z + 2*h + 46353 = b, -4*z - 4*h = -37088. Is z prime?
False
Let b = -26 + 62. Suppose -b*y - 20 = -41*y. Suppose -2343 = -5*c + 4*r, -4*c - y*r + 901 + 995 = 0. Is c composite?
True
Let n(h) = 1175*h**2 + 25*h + 107. Is n(6) a prime number?
True
Suppose 3*i - 5*t = 2*i - 4, 35 = -4*i + t. Let j be (867/i)/(2/6). Let k = 576 + j. Is k prime?
False
Suppose 0 = 3*i + 7 + 5. Is 1*(18217*-4)/i composite?
False
Let u(q) = -q**3 + 106*q**2 + 46*q. Is u(-41) composite?
True
Let g(h) be the third derivative of -h**5/60 + 7*h**4/12 + 10*h**3/3 - 9*h**2. Let o be g(15). Suppose -a + 163 = -o*l, 3*a - 3*l = 2*l + 489. Is a composite?
False
Let k = 166484 - 79099. Is k a composite number?
True
Let q = -91049 - -138102. Is q a prime number?
False
Let p(q) = -103*q**3 - 4*q**2 - q + 6. Let c be p(-4). Let l = -4445 + c. Suppose l = s + 2*w, -s + 3*s - 4218 = 4*w. Is s prime?
False
Suppose 0 = -4*r + 27*h - 22*h + 584514, -3*h = r - 146137. Is r prime?
False
Let j(u) = 3*u**2 - 5*u - 3. Let l = 60 + -59. Let q(b) = -4*b**3 - b**2 - 2*b + 2. Let g be q(l). Is j(g) a prime number?
True
Let r(z) be the first derivative of -3*z**2 - 7. Let d be r(-1). Is -1*24/(-30)*(d - 1) a prime number?
False
Let z(j) be the second derivative of -j**3/3 + 169*j**2/2 - 31*j + 2. Is z(15) a prime number?
True
Let v = -15651 - -41233. Is v a composite number?
True
Suppose -3*i + 264 - 54 = 4*a, -276 = -5*a + 3*i. Suppose 6*r - x = r + a, -2*r = -3*x - 32. Is (-2)/r - (-106134)/95 a prime number?
True
Suppose -6*f + 7 = -f + 2*j, -5*j - 8 = 4*f. Suppose 49*m - 4*b = 46*m + 63785, 4*m - 85049 = f*b. Is m prime?
False
Suppose 4*p - 20763 = -u, -5*p - 7241 = u - 28002. Is u a prime number?
True
Suppose r - 35 = -5*m, 5*r = 9*m - 4*m + 145. Suppose r*i - 32*i + 2654 = 0. Is i a composite number?
False
Suppose -6*k - 6*k = -k. Suppose k = 7*i - 852 - 1171. Is i composite?
True
Let o be 13/39 + 1172/(-6). Suppose 0 = -c - 5*v - 799 + 110, -2*v = c + 692. Let z = o - c. Is z a composite number?
False
Is ((-65)/(-13) - 21) + 223487 a composite number?
True
Is 3041796/14 - ((-540)/42 - -13) prime?
True
Suppose 0 = -4*u - 3*f + 76133 + 50891, 5*u + 5*f = 158785. Is u composite?
True
Suppose 3*x = 4*a + 951089, 0 = 4*x - 5*x + 4*a + 317035. Is x a prime number?
False
Suppose 0 = 9*y - 17*y + 32. Let p be 18/(((-16)/(-2518))/y). Suppose -7*c = -16*c + p. Is c a prime number?
True
Let b be 2/(-12)*3*-36. Let z be (2 - 4) + b*5. Let a = -62 + z. Is a a composite number?
True
Let h(w) = -w**3 + 2*w**2 - 2*w + 1. Let v(q) = -q**3 - q**2 + q + 2. Let c(t) = h(t) - 2*v(t). Let f be ((-17 + 1)/2)/(-2). Is c(f) prime?
True
Let x(b) = 222*b**2 - 4*b. Let m be x(-2). Let w be 4*(-33537)/28*2/(-6). Let k = w - m. Is k a composite number?
False
Let w(j) = -4*j + 5. Let z be w(0). Suppose -15*o + z*o = -70. Suppose -4*n = 3*u - 8815, o*u + 2*n = 4*u + 8807. Is u prime?
False
Let t = 50825 - -114512. Is t composite?
True
Suppose 5*a - 2520482 = i + 8725875, 3*a = -4*i + 6747851. Is a a composite number?
True
Let u(x) = -10*x**3 - 9*x