x**3 - 150*x**3 + 2*x**2. Let v be i(-2). Let m = v - 654. Is m a composite number?
False
Let s be 734/(-8) + ((-5)/20 - -1). Let w = 929 - s. Suppose 0 = -5*u - 5*d + w, -4*u + 459 = 3*d - 352. Is u prime?
True
Let c = -2962 - -48221. Is c composite?
False
Suppose -6*y + 14 = -22. Suppose -3 = q + y. Is 4/(-18) + (-2711)/q prime?
False
Let k = -4 - 0. Let w(u) = u**2 + 5*u + 5. Let v(n) = -2*n**2 + 12*n + 8. Let s(r) = -2*v(r) + 5*w(r). Is s(k) prime?
True
Let q(n) = 3401*n**3 - n**2 - 20*n + 39. Is q(2) composite?
True
Let r = -370870 + 642321. Is r composite?
False
Let p = -22456 - -52457. Is p a prime number?
False
Suppose -3*c + 4*x - 22554 = -8321, -x + 4 = 0. Let u = c + 17668. Is u composite?
True
Suppose -5*m + 19 = -k - k, 2*k + 5*m - 11 = 0. Let h be k/8 - (-17354)/8. Let o = h + -1052. Is o a prime number?
True
Let m(d) = 7758*d**2 - 290*d - 103. Is m(12) composite?
False
Suppose -k + h + 14 = 6*h, -4*k = 4*h - 24. Suppose -k*i + 8372 = 1168. Is i composite?
False
Let n(m) = -2*m**3 + 18*m**2 + m - 44. Suppose 0 = -4*c - 5*h - 71, 0 = -49*c + 48*c + 3*h - 22. Is n(c) a composite number?
True
Is ((-2406783)/36 + 140/(-112))/(1/(-3)) prime?
True
Let g(m) = 21*m + 30*m + 26*m + 17*m**2 - 18*m + 13. Is g(20) a prime number?
True
Is 3 + 35/((-280)/(-180384)) a prime number?
False
Suppose 0 = 3*h - 4*z - 248255, 0*z = -5*h + 2*z + 413777. Is h prime?
True
Let r(h) = -h + 3 - 2 + 3*h + 1 + 1348*h**2. Let c be r(-1). Suppose -g - 3 + 7 = 0, -2*g + c = 4*a. Is a a composite number?
True
Let k(g) = 5*g**3 + 3*g**2 + 10*g + 9. Let q be k(-6). Let i = 166 + -812. Let r = i - q. Is r prime?
False
Let q(y) = 1745*y**3 + 2*y. Let n be q(1). Suppose -19*g + 120060 = n. Is g prime?
False
Suppose 9 + 3 = 3*k, -4*k + 2347021 = 5*i. Suppose 20*o - i = -149261. Is o prime?
True
Suppose -43*s - 12*s + 14749272 = 17*s. Is s composite?
True
Let c(y) = 6*y - 10. Let u be c(2). Let z(m) = -5 + 4*m**2 + 13 + 7 + u + 16*m. Is z(-13) prime?
False
Let w(t) be the third derivative of 0 - 1/2*t**3 + 37/30*t**5 + 4*t**2 - 1/6*t**4 + 0*t. Is w(-2) composite?
True
Suppose 12 = 3*b, 5*b = -5*c + 3413787 - 526832. Is c a prime number?
True
Is 1/(-27)*9*(-300939)/1 a composite number?
False
Suppose 0 = b + 13*b + 130542 - 2388476. Is b a composite number?
False
Let q = 331 - 328. Suppose -3*p + 6875 = j, -p = q*j - 6*j - 2305. Is p prime?
True
Suppose 0 = -3*q - 61 + 73. Suppose 159 = 3*t - q*a + a, 4*a + 110 = 2*t. Is t composite?
True
Suppose 60*n - 9177031 = -1414411. Is n prime?
False
Let m be (-118 - -116)*((-1805)/2 + -2). Let p = -1124 + m. Is p a prime number?
False
Suppose 4*j = 2*b - 1024125 + 2799591, -b = -5*j + 2219334. Is j a prime number?
True
Let l(r) = r**3 - 9*r**2 - 13*r + 1. Let m(o) = 4*o**3 - 35*o**2 - 51*o + 3. Let h(y) = -9*l(y) + 2*m(y). Let c be h(12). Is c*780/28 + (-4)/14 prime?
True
Suppose 30*b - 421413 = 99675 + 434322. Is b a prime number?
True
Suppose 3*y - 194814 = 5*i - 27396, -4*y + 3*i = -223213. Is y composite?
True
Suppose 2 = -4*w + 4*i + 30, -2*w = -5*i - 8. Suppose -8*r - 712 = -w*r. Suppose -2487 = -7*s + r. Is s composite?
False
Let o = -156 + 318. Suppose o = c - 104. Suppose -4838 = -12*n - c. Is n a prime number?
False
Let k(b) = 8324*b**2 + 195*b - 391. Is k(2) a prime number?
False
Let a(v) = -97660*v + 201. Is a(-2) a composite number?
True
Suppose 4*g + 2276 + 3444 = 0. Let j be 3 - -8*(-2)/4 - 984. Let z = j - g. Is z prime?
False
Suppose 5*c - 571655 = -5*o, -2*c + 43*o + 228650 = 39*o. Is c composite?
False
Let h be 504/140*(-20)/(-3). Is (84690/h)/((-9)/(-12)) prime?
False
Is (-14 - -3) + (-34500)/(-2) a prime number?
True
Let n(u) = -3*u - 20. Let c be n(-8). Let x(m) = m**3 - 4*m**2 + m - 1. Let l be x(c). Suppose 0 = i - 2*i + 3*g + 194, 0 = 5*i - l*g - 958. Is i composite?
False
Suppose s + 3140 = 11893. Let z = 1618 + s. Is z a composite number?
True
Let h(l) be the second derivative of 11/3*l**3 - 24*l + 1/4*l**4 + 0 - 12*l**2. Is h(-17) a prime number?
False
Let x(a) = 159*a**2 - 11*a + 13. Let y = 2 - -10. Suppose 7*n - y = 3*n. Is x(n) a prime number?
False
Let w be 3*(-2)/15 - (-18522)/30. Let n be 6266/6 - (-5)/(-15). Let r = n - w. Is r a prime number?
False
Let z = -14021 - -71943. Is z a prime number?
False
Suppose 0*g - 2*g = -62. Suppose 13 - g = -2*s. Suppose s*q - 11*q = -1266. Is q prime?
False
Let q(x) = 16*x + 4. Let f be q(5). Suppose -6*n + 20*n + f = 0. Is 1*((-7620)/18)/(4/n) a prime number?
False
Let a(y) = 26793*y + 5345. Is a(4) a composite number?
True
Let n(w) be the third derivative of 101*w**4/8 + 4*w**3/3 - 36*w**2. Is n(7) a prime number?
True
Let c(m) = -2528*m - 3395. Is c(-12) prime?
False
Is (-3)/16 + (-17358026)/(-224) a prime number?
True
Suppose 320*v - 316*v = -23784. Let w = 9661 + v. Is w a composite number?
True
Suppose -66*z + 31246 = -64*z - 3*j, 0 = 3*z + 2*j - 46869. Is z prime?
False
Let n be (-1)/10*-5*8. Suppose -x - 3*g + 7988 = 0, g - 24610 = -n*x + 7331. Suppose -5*u + 0*u = 4*o - x, -1597 = -u + 5*o. Is u composite?
False
Let a be (-26)/273 + (-1171180)/(-105). Let l = a - 6745. Is l composite?
False
Suppose 0 = -p + 3 + 1. Suppose -72 = -p*g - 2*s, 0 = -7*g + 4*g - s + 54. Suppose c - g = 13. Is c composite?
False
Let v be 4/((-2)/15*-6). Suppose 5*y + v*q - 45145 = 0, -y + 12703 = -2*q + 3674. Is y a composite number?
False
Let n be -10 + (-273)/(-28) + 2/8. Suppose -81*x + 69*x + 136212 = n. Is x composite?
False
Let p = -25 + 23. Let r be ((-4672)/48)/(p/21). Let z = r + -643. Is z a composite number?
False
Suppose -88*j = -159*j + 10433237. Is j a composite number?
True
Is ((6/(-4))/(2 + 1))/(3954/(-938371188)) a composite number?
False
Suppose 0 = 6*z - 4 - 104. Is (-5 - (-10344)/z)/((-2)/(-6)) composite?
False
Let g(n) be the first derivative of 8161*n**4/4 - 2*n**3/3 + 3*n**2 - 4*n - 28. Is g(1) a prime number?
True
Let u(y) be the third derivative of 8*y**5/15 - y**4/24 - 37*y**3/3 + 128*y**2. Is u(-11) a composite number?
True
Let j(m) = -41*m - 98. Let f be (5 - 9/2)*-30. Is j(f) composite?
True
Suppose 6*u - u + 2*p = -534, 5*p = -2*u - 222. Let q = u - 6. Let b = q + 485. Is b a composite number?
False
Let f(w) = 2236*w - 29. Let q be f(7). Suppose -q = 10*l - 51073. Is l a composite number?
True
Let u be 11631 - 3 - (5 - 8). Suppose -7*t + 25490 = -u. Is t a prime number?
True
Is ((-2)/(-5))/((-2)/(-16) + (-109676146)/877413520) composite?
True
Let n = -484233 - -959822. Is n prime?
False
Suppose 3 + 6 = 3*r, -p + 80652 = 5*r. Suppose 7*g - p + 33184 = 0. Is g a composite number?
False
Let l(w) = -5*w + 65. Let s(g) = -3*g + 33. Let m(v) = -4*l(v) + 7*s(v). Let n be m(-21). Is (45/20)/((-2)/n) a composite number?
True
Suppose -4*t = 3*y - 217531, 18*y - 13*y - 362573 = -4*t. Is y composite?
True
Let f(u) = -375*u - 35. Let g be f(-4). Suppose 93*z - 98*z + g = 0. Is z composite?
False
Let r be -4 + 14241/6*2. Suppose 2*y = -2*y - 12, -4*j = -y - r. Suppose 3*g = 8*g - j. Is g prime?
False
Suppose 115 + 24 = -5*w + 2*u, 3*u = w + 20. Let c = w - -35. Is (125 + -2)*10/c a prime number?
False
Let i(f) = 259*f - 199. Let g be i(29). Let r = g - -2199. Is r a prime number?
True
Let s(n) = 420*n**2 + 151*n + 766. Is s(-5) a prime number?
False
Let c(z) = 9356*z + 27. Is c(1) a prime number?
False
Let z be ((2/(-3))/(-1))/(4/23934). Let c = z - 2052. Is c prime?
False
Suppose -27 = -5*w - 2*g, 0*w - 5*g + 10 = w. Suppose -h + 3*h = -4*v + 3650, 4*h - 7288 = -w*v. Is h composite?
True
Is (260339 - 0) + -201 + 183 a prime number?
False
Suppose 60 = -2*h + 82. Suppose -28 - h = -3*t. Let d(v) = v**3 - 5*v**2 + 18*v + 3. Is d(t) composite?
True
Let f = -5 + 19. Suppose 0 = -3*t - 11 + 20. Is 2667/f*10/t composite?
True
Let n = -7320 + 3384. Let a = n + 5591. Is a composite?
True
Let a(d) = -d - 7. Let p be a(-10). Suppose -p*s + 3 = -3. Suppose -4*g + 932 = 4*n, -s*g - 3*n = -g - 229. Is g composite?
True
Let m(j) = -j**3 + 5*j**2 - 7*j + 9. Let y be m(3). Let r = y + -6. Is r - (6/3 - (1361 + 2)) composite?
False
Suppose 111387 = f + 2*p, -4*f - p = -567709 + 122189. Is f a prime number?
False
Let g be 4 + -2 - (36 - 2/(-1)). Let b be g/(-10) - 4 - 54/(-10). Suppose -5*k - 4*c - 14 = -519, b*k - 3*c = 470. Is k a composite number?
False
Is 644440 - 1*