z + 109. Suppose -5*i = -9*i - 152. Is x(i) composite?
False
Let q = -580 + 313. Suppose 3*m + 0*m + 2605 = 5*h, -h + 528 = -2*m. Let w = h + q. Is w prime?
True
Suppose 0*z - z - n = -252377, z + 2*n = 252371. Is z a composite number?
False
Let a = 302116 - -310165. Is a a prime number?
False
Let t(i) be the first derivative of -35*i**4/4 - 13*i**3/3 - 45*i**2/2 + 8*i + 127. Is t(-5) a prime number?
True
Let z be 2/(1/(-2)*-4). Is 0 + (-25)/(-5) + (207 - z) prime?
True
Let l = -128 + 143. Let h be (6/l)/((-4)/40). Is -62*(-1 + 22/h) composite?
True
Let k = -109241 + 162922. Is k prime?
True
Suppose -22*r - 53477 = -5*r - 569580. Is r composite?
True
Let s(b) be the third derivative of 893*b**4/24 - 4*b**3 + 11*b**2 + 10*b. Is s(5) a prime number?
True
Let v(i) = 26297*i + 688. Is v(3) a composite number?
False
Let o = -41 - -44. Suppose 2*y = -a, -2*y - o*a = -y. Suppose y = -2*r + 2470 - 188. Is r composite?
True
Let w(d) = -128*d + 63*d + 2 + 165*d**2 + 64*d. Let f be w(-2). Suppose -5*j - c + 4*c = -830, c = -4*j + f. Is j prime?
False
Suppose 9*q - 121213 = 48923. Suppose -3*w + 6390 + 7758 = 3*v, 0 = 4*w - 4*v - q. Is w prime?
True
Suppose 4*j + 238 = -g + 3030, 0 = j - 3*g - 685. Is j prime?
False
Let i = 164733 + -93542. Is i a composite number?
False
Suppose -5*w - 56 = -5*i + 24, i - 7 = -2*w. Let c(r) = 6*r**2 - 10*r + 123. Is c(i) a composite number?
True
Suppose 0*p - 2*s + 54 = -2*p, 12 = -p - 4*s. Let q(x) be the first derivative of -x**3/3 - 27*x**2/2 - 35*x + 79. Is q(p) a prime number?
True
Suppose 59013 = 33*v - 7346 - 38350. Is v a composite number?
True
Is 36027 + (-42)/(10 - 17) a prime number?
False
Let s(w) be the third derivative of 61*w**6/30 - 17*w**5/60 + 11*w**4/24 + 3*w**3/2 - 107*w**2. Is s(4) composite?
True
Let z = 217874 - 121695. Is z a composite number?
False
Suppose -1001*c = -1032*c + 21199133. Is c a composite number?
False
Let l = 2 - -2. Suppose 0 = h + 4*m + 20, 8*h + 4*m + 20 = 12*h. Suppose 0 = -3*s - l*j + 1069, -1440 = -h*s - 4*s + 2*j. Is s a prime number?
True
Let c = 1160417 - 656770. Is c prime?
True
Is (-1151202)/4*130/(-195) composite?
True
Suppose 5*m = 4*d + 5320, -3*m = -6*m - d + 3175. Let j = m - -1537. Suppose 5*r - 858 = -2*q + 890, 0 = 3*q - 5*r - j. Is q composite?
True
Let b = 115517 + -59836. Is b composite?
False
Is 34/136 + (1 - ((-11324865)/(-12))/(-5)) a composite number?
True
Let g = -2476 - -9164. Suppose 4 = 5*q - 11. Suppose -s + 298 = b - 1375, 4*b - g = -q*s. Is b a composite number?
False
Let j(d) = -d**3 - 4*d**2 + 71*d + 35. Let x be j(-30). Suppose 4*f = c - 22909, c + 2*f = x + 1592. Is c prime?
True
Suppose 5*y - 28 = h, -6*h + 40 = 5*y - 11*h. Is y - 2 - 2598/(-3) prime?
False
Let z(v) = -5*v + 24. Let c be z(5). Let g be 54*(1 - c - 0). Suppose 0*p + g = 2*p - 5*j, -8 = -4*j. Is p prime?
True
Suppose -5*c = -2*n + 10004, 0 = -4*n + n - 9. Let q = 232 - c. Is q prime?
False
Suppose 0 = f + m + 94485, 185830 = 4*f - 2*m + 563770. Is (f/(-105))/(1/7) a composite number?
False
Suppose -9*v + 5 = -22. Suppose 3*a + v*r = r + 1014, -2*a - r = -676. Suppose 6*l = a + 9820. Is l a prime number?
True
Let q = -72 + 72. Is (190308/24 + q)/(2/4) prime?
True
Let w(q) = 2*q**3 + 15*q**2 + 71*q - 107. Is w(33) a prime number?
False
Let b = -10095 - -24401. Let o = b + -10119. Is o composite?
True
Suppose z - 12 = -2*z. Let f be (((-6792)/9)/z)/((-4)/24). Let c = f - 499. Is c prime?
False
Suppose -5*m = 4*f + 68770, -13*m + 15*m - 4*f = -27508. Let l = m + 33976. Is l a composite number?
True
Let u be 4 + -22 + -3 + 0. Let z = u + -9. Is z - -30 - -3*(306 + 1) prime?
False
Let k be (-120)/(-9)*(24/5)/(-4). Let p(m) = m**3 + 16*m**2 - 2*m - 30. Let b be p(k). Suppose 4*c - 4*d = 136, 3*c = c - b*d + 80. Is c composite?
False
Let d be 96 + -85 - (1 + (-2)/(-1)). Suppose 0 = w + d*f - 11*f - 5174, 0 = w + f - 5170. Is w a composite number?
False
Suppose -a - 3 = -4. Let i(l) = 7*l + 3. Let o be i(a). Is (-34)/o - -3 - 2374/(-10) a prime number?
False
Suppose -5*l + 1594 = c, -l = 5*c - 12633 + 4687. Suppose 3*s + 2075 = -x, 0*s - 670 = s - 4*x. Let b = s + c. Is b a prime number?
False
Suppose 0 = -2018*s + 2023*s - 3*j - 393458, -j = -3*s + 236074. Is s a prime number?
True
Suppose 12*q = 7*q - 3*i + 4205, -q = -10*i - 841. Is q a prime number?
False
Let q(d) = 1360*d**2 - 29*d - 310. Is q(-11) prime?
True
Suppose 4*q + 14*q - 625366 = 204740. Is q a prime number?
False
Let f(y) = 89*y - 8. Let q(v) = -v**2 - 11*v - 4. Let x be q(-9). Let n be f(x). Is (((-2)/(-1))/2)/(2/n) composite?
False
Suppose -4*l + l = 4*t + 619, -5*l - 989 = -4*t. Suppose 1760 = 5*r + 710. Let a = r - l. Is a a prime number?
False
Let h(x) = -x**2 - 5*x + 3. Let v = -129 - -131. Let q be -5*((-6)/(-3))/v. Is h(q) prime?
True
Suppose -637*g = -630*g - 593341. Is g a composite number?
True
Let v(b) = -b. Let r(i) = 3*i**2 + 2*i + 4. Let o(d) = r(d) - 2*v(d). Let m be o(-2). Suppose -m*f + 83 = -69. Is f a prime number?
True
Is ((-13255)/33)/(-5)*(1 - -3512) prime?
False
Let r = 9515 - -8214. Is r prime?
True
Suppose 6 = 732*v - 731*v. Suppose -12*j + v*j + 156 = 0. Is j a prime number?
False
Let a(f) = 47*f**2 - 11*f + 665. Is a(21) composite?
True
Let p = 4115 + -654. Suppose 4*y - 13899 = -5*s, 2*y + 4*s = y + p. Is y composite?
True
Let s be 4449/(-6 - -3) + 3. Suppose -l + 4037 = l - 5*b, 3*l + b = 6030. Let h = l - s. Is h composite?
False
Let v = 27 + -25. Let y(r) be the first derivative of 83*r**4/4 + r**3/3 + r**2/2 + r - 24. Is y(v) a composite number?
True
Let d(h) = -1570*h - 277. Let l be d(25). Let v = -13590 - l. Is v a composite number?
True
Let v(b) be the first derivative of -b**3/3 + 19*b**2/2 + 5*b - 14. Let h = 17 - -1. Is v(h) a composite number?
False
Let u(m) = 41*m + 4. Let d be u(9). Let n = 694 - d. Suppose -3185 + n = -4*t + 3*q, 5*t + 4*q = 3611. Is t prime?
True
Let s be 4 - (-6)/(-3)*3. Is s - ((-4 - -4) + -1)*9903 a composite number?
False
Let c be (-8 + 3)/((-11)/11). Suppose 1895 = -0*y + c*y. Is y a prime number?
True
Is -2 + 3005336 - ((512/4)/8 + -11) prime?
True
Suppose 4*a + 2*c - 90558 = 0, 25572 = 3*a - 4*c - 42341. Is a a composite number?
False
Suppose -2*w = -2*m + 337702, 5*w + 340 = 350. Is m a composite number?
True
Let x = 3332 + -3327. Let s(m) = 77*m - 46*m + 78*m - 8. Is s(x) a prime number?
False
Let p be 640/140 - 12/21. Suppose 0 = -w - p*h + 3415, 11 = -2*h + 17. Is w a composite number?
True
Let z = -44 - -52. Is (-1 - z/(-6)) + (-50780)/(-30) prime?
True
Let g = -3533 + 1205. Let r = 2525 - g. Is r prime?
False
Let m(q) be the first derivative of -39*q**4/4 - 8*q**3/3 - 3*q**2 - 6*q + 268. Is m(-5) a prime number?
False
Suppose -12*j - 252 = -5*j. Let i = 36 + j. Suppose -49*l + 47*l + 974 = i. Is l composite?
False
Let d(z) = -41 + 10 - 159*z + 92 + 34. Is d(-18) composite?
False
Suppose 11*i - 6*i = -3*j + 1957072, -4*i + 1565702 = -5*j. Is i prime?
False
Suppose -5*a - 40*a + 7118955 = -0*a. Is a composite?
True
Let g be (-99)/(-18) + 5/10. Suppose -2*w = -r + 8983, 3*w = 8*r - g*r - 17965. Is r a composite number?
True
Suppose -13683 = 14*l - 17*l + 5*t, -2*l - 3*t = -9160. Is l a prime number?
False
Suppose 4*d + 27 = 75. Suppose 2*s - d = -s, u = -s - 1. Is (-19944)/u + 1/(-5)*-1 a prime number?
True
Let q(d) = 116*d - 19. Let o = 140 + -119. Is q(o) a prime number?
True
Let m be 4*((-39)/6)/1. Let q be (-4 - 2)/((-105)/(-70)). Is q + (-33)/6*m a composite number?
False
Suppose 7*i - 9*i - 5*x - 17 = 0, 2*i + x = 3. Is ((-5834)/(-4) - -5)/(2/i) prime?
True
Let p be 16 + -3 + (1 - 1). Let a(o) = 28*o + o**2 - 1 + p*o**2 + o**3 + 2*o**2 + 11. Is a(-11) a composite number?
False
Let x = 56168 - 25953. Is x a composite number?
True
Let d(j) = 3*j**2 + 134*j + 120. Is d(61) prime?
True
Suppose 0 = 1906*q - 1957*q + 4102797. Is q composite?
False
Suppose -19 - 1 = 4*r, j = r + 20. Let o = -255 - 1503. Is ((-5)/j)/(2/o) composite?
False
Let q(p) = 17283*p - 5440. Is q(17) prime?
False
Suppose -33694 = -21*r + 4*r. Let f = 3619 - r. Is f a prime number?
True
Let a(i) = 19*i**2 - 3*i - 3. Suppose -9*t + 6*t - 6 = 0. Let o be a(t). Suppose 2*p - 213 = -o. Is p composite?
False
Let s = -9246 + 5925. Let u = 7762 + s. Is u composite?
False
Suppose 5*p +