 Suppose 4*y + 12 = 0, -l + y = 4*y - s. Is l a prime number?
False
Let k(n) = 2301*n - 3524. Is k(7) a prime number?
True
Let o be (-24150)/40 + (-2)/8. Let h = o + 6419. Is h a composite number?
True
Let t(q) = 5*q**3 - 2*q**2 + q. Suppose 0 = d - 8*d + 7. Let p be t(d). Is -1 + 4 + (p - -424) composite?
False
Let u = -44 - -33. Let l = u - -11. Suppose l = 4*t - 11*t + 15421. Is t prime?
True
Is ((-1)/((-20)/309112))/(40/100) a prime number?
True
Is ((56/(-35))/4)/(6/(-697185)) composite?
True
Let y be -2 + 5 + -12 - (-4 + 3). Is (1319/(-5))/(y/40) a composite number?
False
Suppose 53 = 5*b + 33. Suppose -b*j = -8, -z + 714 = 5*j - 485. Is z prime?
False
Let a(l) = 323*l + 2. Let r(h) = -326*h - 1. Let c(b) = 3*a(b) + 2*r(b). Is c(3) a composite number?
True
Suppose -3*w = -2*w - 7*q - 1007, 4*q = 4*w - 3932. Is w prime?
False
Suppose -3*j - 2*h + 16 = -h, 0 = 2*j - 4*h - 6. Suppose -5*m - 725 = -5*v, j*m = 3*v + 9*m - 428. Suppose v - 1021 = -p. Is p prime?
True
Let l(y) = -y**3 + 111*y**2 + 35*y + 285. Is l(49) composite?
True
Let j(y) = -12*y**3 - 3*y**2 + 40*y**3 - 128 + 123. Is j(4) a composite number?
True
Let o(j) = 15*j**2 + 6*j + 1. Let b(r) = r**3 + 5*r**2 + 4*r + 4. Let h be b(-4). Suppose 2*a - u = -7, -h*a + 5*u - 11 = 2*u. Is o(a) prime?
False
Let d(o) = 14*o**2 - 39*o + 13. Let y be d(-24). Suppose -19*z + y = -17758. Is z composite?
False
Let o be 2/4*(-4)/1 + 4. Suppose m = -4*g + 1129, 0 = -o*m + g + 952 + 1333. Is m a composite number?
True
Suppose 103683 = 5*i - 18*i + 533476. Is i prime?
False
Suppose -5*n = -155 + 145. Let w be -4 + 2 - (-2817 + n). Suppose 4*c + w - 9873 = 0. Is c prime?
False
Suppose -16*r + 7*r = -117. Suppose 20*x = r*x + 5509. Is x a composite number?
False
Suppose -6 = 2*i, -272084 = -k + 35*i - 38*i. Is k prime?
True
Let q(o) = 13*o**2 + 24*o - 27. Suppose 3*u - c + 99 = 0, 10*u = 5*u + 3*c - 161. Is q(u) a prime number?
False
Suppose -5*o = 2*d + 18, 4*o + 2*d = 7*d + 12. Let a(t) = 6*t + 9. Let w be a(o). Is w*(-436)/52 - 4/26 a composite number?
True
Is ((4/(-21))/(36/54))/(6/(-2672817)) a prime number?
True
Let u(q) = 6*q**2 + 14*q - 1. Let z(m) = m**2 + m + 1. Let y(v) = -u(v) + 5*z(v). Let r be y(-9). Suppose 0 = -0*l - r*l + 5730. Is l a composite number?
True
Let y = -68 + 79. Let i(t) = 139*t**2 - 16*t + 6. Is i(y) composite?
False
Let x be (742/4)/(34/408). Let k = 241 + x. Is k prime?
True
Suppose -130*d = -117*d + 10497630. Is 22/(-7) + 3 + d/(-77) prime?
True
Suppose j + 116 = 119. Suppose -2*v - 881 = -j*h, 3*h - 6*h + 883 = -4*v. Is h prime?
True
Let u = 131 - 126. Let r(y) be the first derivative of 2*y**3 + 3*y**2 + 7*y + 1. Is r(u) a prime number?
False
Let v(r) = -10 - 167*r - 58*r - 11 + 46*r. Let p be v(-6). Suppose -2*m - 2*c + 4*c + 418 = 0, 0 = -5*m + c + p. Is m prime?
True
Let q = -2289 - -1116. Let l = q + 2340. Is l a composite number?
True
Let f(s) = 1066*s + 66. Let d be f(17). Is (-84)/(-56)*d/6 prime?
True
Let b = 146529 + -86438. Is b a composite number?
False
Let q = 2091804 + -1014305. Is q composite?
False
Let z(l) = 7*l + 3. Let m be z(3). Suppose 2*w + m = 3*o - w, -o = 4*w + 7. Suppose -i + 261 = 2*x, -3*i + 2*i = o*x - 264. Is i prime?
False
Let r(o) = -3*o**3 - 6*o**2 - 80*o - 15. Is r(-8) a prime number?
True
Let n be ((-15)/(-4))/(27/36). Suppose -4*m - 2*r + 648 = 0, -3*r = n*m - 2*r - 804. Suppose 8*l - 536 = m. Is l composite?
True
Suppose 2*b - 2*l - 4 = 2*l, 49 = 5*b + 3*l. Suppose -530 - 998 = -b*n. Is n prime?
True
Let d(j) = 2*j**2 - 7*j + 8. Let a be d(3). Let c(u) = 1621*u + 10. Let m be c(a). Suppose -11*w - m = -16*w. Is w a composite number?
True
Suppose 0 = -17*v + 25*v - 1144. Suppose -144*f = -v*f - 11827. Is f composite?
False
Let x(u) = -u**3 - 17*u**2 - 15*u + 37. Let l be x(-16). Suppose 5*p = 5*a + 35, -3*p + 7*p + 4 = 0. Let v = a + l. Is v composite?
False
Let b be 3087 + (0 - -1)*-3. Suppose 4*g = 5*y - b - 2351, 0 = g. Is y prime?
True
Let h(y) = 2687*y + 2041. Is h(14) a prime number?
True
Suppose 0 = 3*n - 8 + 38. Let b(l) = -14*l + 9 - 68*l - 28*l + 24*l. Is b(n) prime?
False
Let x(d) = -d**2 - 13*d - 38. Suppose -4*h - 6 = -3*h. Let w be x(h). Suppose -7*s = -6*s + p - 2206, w*p + 6597 = 3*s. Is s composite?
False
Let p be (-65)/5 + 7 + -9277. Let x = -6284 - p. Is x a composite number?
False
Let z be ((-18)/12)/(2/(-4)). Suppose -5*a = -3*r + 58, 1 = 4*r + z*a - 115. Suppose 0 = 29*i - r*i - 3201. Is i prime?
False
Suppose 4*p + 46 = 3*t, -3*t - 4*p = -5*t + 36. Let y(w) = -148*w + 734*w + t - 1. Is y(2) a composite number?
False
Let r(x) be the first derivative of 9*x**4 - 8*x**3/3 + 9*x**2 - 35*x - 22. Is r(10) composite?
True
Let c be (2 - -6) + (-319)/29. Let h(n) = 223*n**2 + 4*n - 10. Is h(c) a composite number?
True
Let m = -622 - -1974. Let r = m - 79. Is r prime?
False
Is 0 - (-6)/(-21) - (-20 - (-950840)/(-56)) a prime number?
False
Suppose 477957 = 8*z - 117331. Is z prime?
True
Let k be 14420/(-7)*(-19)/(-4). Let j = k - -14704. Is j prime?
True
Let b = 1314713 - 292082. Is b composite?
True
Let d(i) = i**2 + 40*i - 67. Let w be d(-21). Suppose 1022 = -5*j - 53. Let s = j - w. Is s a composite number?
False
Let a = 2743798 - 1190685. Is a a prime number?
False
Suppose 25*y - 4263 + 638 = 0. Is (10/(-6))/(y/(-310242)) a prime number?
False
Is 283423 + 3 + 15 + 6 a composite number?
False
Suppose 12*v = 16*v + 6*v - 31370. Is v composite?
False
Suppose 4*j = 12, -2*j = -71*o + 68*o + 1383. Let r be 2 + -1 - (-1 - -2). Suppose r = -2*t + 2277 - o. Is t a prime number?
True
Suppose -3*w + 549 = -2*u, -4*u + w + w - 1118 = 0. Let r = 547 - u. Is 2*r + (-2 - 2 - -1) prime?
False
Let s = 935549 + -435520. Is s composite?
False
Let s(c) = 7726*c - 2773. Is s(12) prime?
True
Let v be (-2)/(-5) + 254/(-10). Let z(g) = 87 - 74*g + 21*g + 59*g + 30*g**2 + g**3 - 27. Is z(v) prime?
False
Suppose 0 = -3*l + 97 - 64. Suppose 7*u = l + 10. Suppose 2*s - q + 3449 = u*s, -3*q - 13796 = -4*s. Is s a prime number?
True
Let h be 4/6*6 + -3 + 30. Suppose -h = 4*v + 3*y, -15 = 5*v - 3*y + 17. Let z(x) = -3*x**3 - 9*x**2 - 2*x - 11. Is z(v) prime?
False
Let v(x) = -3*x**3 + 8*x**2 + 15*x + 7. Let g = 12 + -15. Let z be -1*6 + g + 1 + 2. Is v(z) a prime number?
True
Suppose -49*k = 46*k - 6958 - 36172. Is k a composite number?
True
Let l = 659 - 639. Let v(o) = 4*o**2 + 71*o + 17. Is v(l) a prime number?
True
Suppose -182*c = -179*c - 12, -4*u = -4*c - 3177332. Is u composite?
True
Suppose 0 = 5*o - 4*c - 2102507, -3*c = -o + 475055 - 54547. Is o prime?
True
Let q = 13990 + 118179. Is q a prime number?
True
Let f(o) = -38*o + 158. Let a be f(4). Suppose 0 = -a*j + 28867 - 3661. Is j a composite number?
False
Is 1/(-17) - 23680/85*-199 a composite number?
False
Let c = -7 + 3. Suppose -392*k = -381*k - 957. Let i = k + c. Is i a prime number?
True
Suppose 0 = c - 0*i + 2*i - 29929, 5*i = -3*c + 89781. Is c prime?
True
Let d(o) = 34*o**2 - 91*o - 607. Is d(-56) a composite number?
True
Suppose -2*s = -3*i + 4*i - 6717, -4*s - i + 13439 = 0. Let q = 4305 + -6404. Let v = s + q. Is v prime?
False
Suppose -4*f - 46*o + 60154 = -48*o, 5*o + 15052 = f. Is f prime?
False
Let w(l) = -259*l - 841. Is w(-18) composite?
False
Let w = 165 + -411. Let k be (w/(-4))/(1/(-74)). Is (-3 + 3 - k) + 4 a composite number?
True
Suppose 2*t = -2*o, -2*o = 4*t - 0*t. Suppose o = 14*n - 6*n - 25304. Is n a prime number?
True
Suppose -4*c = 2*j - 6, 1 = -j - 4*c + 4. Suppose 2904 = -j*k + 9*k. Suppose 0 = 3*h - k + 37. Is h a prime number?
True
Let r be -4 + 309 + (-11 - -5). Suppose 5*k - r = 3*g, 2*k - 49 = k - 3*g. Is k a composite number?
True
Suppose 7*k - 102 + 67 = 0. Suppose 3*l - 2111 = -k*f + 1859, -2*l - 4*f + 2650 = 0. Is l a prime number?
False
Suppose 701*v = 635*v + 3161334. Is v a composite number?
True
Suppose -413*v = -408*v - 2*f - 104263, 0 = 4*v - 2*f - 83412. Is v a composite number?
True
Let x(v) = 6*v**2 + 294*v + 110. Is x(-53) composite?
True
Let i(r) = 1973*r**3 - 5*r**2 - 8*r + 79. Is i(6) prime?
False
Is 8347 - (8/(-14) + ((-1800)/(-21))/10) prime?
False
Let l be 8 - ((-2)/(-1))/2. Let i(b) = 31*b**2 + 5*b - 16. Let t be i(-3). Suppose l*u + u = t. Is u prime?
True
Let q be (3/(-1 + 4))/((-1)/(-2)). Suppose -b + q*b + 3*o - 2687