 = o**3 - 8*o**2 - 21*o + 15. Let n be v(10). Suppose 0 = d + 4, n*c - 393 - 2689 = -2*d. Suppose 3*b = -63 + c. Is b a prime number?
False
Suppose 3*u - 7*u + 8 = 0. Suppose -3*c + 3*i = -6*c + 6381, c - 4*i = 2102. Is (u + -3 - (-9)/6)*c a prime number?
True
Let x be (-7)/14*5/(5/(-6)). Suppose 0*c + x*d = -2*c + 6593, 4*c - 13192 = -4*d. Suppose 0 = 4*s - 631 - c. Is s prime?
True
Suppose -4*q + 2*q - 5*c = -10, 0 = -5*c - 20. Is (18591/(-15))/((-3)/q) a prime number?
True
Is 774704/64*8/(-1)*(-7)/14 composite?
True
Suppose -5*x + 75 = k - 3*k, 0 = -2*x + 2*k + 30. Is 60/x*573/12 prime?
True
Let y(k) = 201*k**2 - 27*k + 169. Let o be y(11). Is (-6 + 8)/(o/24191 + -1) prime?
False
Let s be ((-6)/15)/((-4)/(-5))*-52498. Suppose 25*l - 96624 + s = 0. Is l a composite number?
True
Let z be (-1 + 2 + 1)*1. Is 29916 - 3/(z*12/(-8)) composite?
False
Let p(a) = 21999*a - 2396. Is p(5) a composite number?
False
Suppose -174*l + 170*l + 376 = 0. Suppose 89*s - l*s = -64835. Is s a prime number?
True
Is (-56)/(-21)*-3 + 815699 a composite number?
True
Suppose -5*l = -4*a - 5, -10 = -a - 3*l + 2*l. Suppose 0 = 5*g - 5*y - 11205, -3*g - 661 = a*y - 7400. Is g prime?
True
Let m be ((-13)/(-10))/((-17)/68)*1050. Let u be (1862/4)/(2/44). Let k = m + u. Is k prime?
False
Suppose z - 27 - 5 = 0. Let x be z/6*((-1)/2 - -2). Suppose -5*b + 2949 = 4*j - 587, -x = 2*b. Is j prime?
False
Let s = 546304 - -191767. Is s composite?
False
Is 15 + -9 + (14 - -26439) prime?
True
Suppose 211828 = 2*b + 5*s, -215*b + 105917 = -214*b + 3*s. Is b prime?
True
Suppose 4*w = 4*x - 1033876, 3*x = -300*w + 304*w + 775407. Is x composite?
False
Let f(x) be the second derivative of -155*x**3/3 + 7*x**2/2 - 3*x + 6. Is f(-3) prime?
True
Let m be (114/24 - 5)/(1/(-12)). Suppose m*g = 4*g - 2333. Is g a prime number?
True
Suppose 0 = 5*f + k - 164, -3*k - 34 = -2*f + 18. Suppose 2*g + f = r + 85, -2*g - 3*r = -57. Suppose -g = -4*x + 57. Is x composite?
True
Suppose -2*p + 5 = 3*p. Suppose -5*s = 2*m - p, 5*s - 4 = -5*m + 6. Suppose m*b = -3*q + 3459, 171 - 2484 = -2*q + 5*b. Is q composite?
True
Let l = 218254 + -90371. Is l a prime number?
False
Let y(l) = -l**3 - l**2 - 3. Let q be y(-2). Let b be -5*q*((-48)/15 + 3). Is (-257 + 3)*b/(-2) a prime number?
True
Is (-20 - -3) + (169 - -1233365) a prime number?
False
Suppose 2*s - w = 7, 3*s + 2*w - 8 + 1 = 0. Is 2704/6 + 1/s composite?
True
Let p(f) = 2*f**3 - 9*f**2 + 23*f + 30. Let l be p(24). Suppose 50*d + l = 56*d. Is d a composite number?
True
Suppose -o + 1752 = f - 5*f, 2*o + 3*f = 3515. Let z = o + -1144. Let q = -233 + z. Is q a composite number?
False
Suppose -19*p + 190999 = -399996. Is p a prime number?
False
Suppose -430095 = 42*v - 1490805. Is v a composite number?
True
Suppose -15805 = n - 6*n. Let u be n + -3 - -4 - -1. Suppose u = -a + 5*a - 5*m, -m = -4*a + 3151. Is a a composite number?
False
Suppose 2*s - 4*n - 4 = 0, 0*s - 2*s + 3*n + 4 = 0. Suppose -3*m - 2*i + 810 + 7833 = 0, -s*i + 2885 = m. Is m a prime number?
True
Is ((175499/(-4))/(255/(-680)))/((-4)/(-6)) prime?
True
Let p = -15 + 20. Is ((-511140)/16)/(-5) + p/(-20) a prime number?
True
Suppose 246*v - 86*v = 27471520. Is v prime?
True
Suppose 24*m + 799240 + 596600 = 0. Is (-4)/(-3) - m/48 composite?
False
Let c(s) = -s - 17. Let y be c(0). Let w(q) be the second derivative of q**4/12 - 5*q**3/6 - q**2/2 + 289*q. Is w(y) a prime number?
True
Suppose -6*c + 7*c + 3 = 0. Let l be c*(-2)/(2/1739). Suppose 0 = i - 3*k - 2423, 5*i - 5*k = l + 6918. Is i composite?
True
Let g(b) = -6*b**3 + 11*b**2 - 13*b - 19. Let i(c) = -17*c**3 + 33*c**2 - 40*c - 57. Let h(s) = -8*g(s) + 3*i(s). Is h(-9) composite?
False
Suppose -5*f + 10*t - 5*t = -3980, -3184 = -4*f + 5*t. Suppose 3*m = 4*k - 1318, -5*k + f = -2*m - 855. Is k prime?
True
Suppose -75*u = -56*u - 743717. Is u prime?
False
Let b(s) = -74*s**3 + s**2 + s - 1. Let r be b(1). Let x = 75 + r. Suppose -3*h - 1127 = -l, x*h + 1527 + 1840 = 3*l. Is l composite?
True
Is ((-164074)/(-6) - 5)*6/4 composite?
False
Suppose -5*v - 28306 = -6*x - 3938841, 3128428 = 4*v - 3*x. Is v composite?
False
Let w(x) = -x**3 - 13*x**2 - x - 8. Let v be w(-13). Let d be (49/(-7) + v)/(0 + 2). Is (-453)/d - (3 - -1) a prime number?
True
Let g(j) = 1645*j - 33. Is g(4) a composite number?
False
Let r = 15 - 12. Suppose -5*h + 559 = 2*f + 1614, 4*h + 837 = -r*f. Let a = 407 + h. Is a a prime number?
False
Suppose -l + 3*s = -0*l + 5, -3 = -l - 5*s. Let n be -5*4/(-5)*l. Is 1912 - (n/2 + 3) composite?
False
Let j(d) = 3*d**2 - 7. Let y be j(2). Suppose -y*c + 0*c + 40 = 3*m, 4*m - 24 = -3*c. Suppose c*z - 293 = -2*h + 3*z, z - 148 = -h. Is h a prime number?
True
Suppose -3*x - 1096 = 4*m, 3*m - 1096 = 7*m - x. Let y = m + 500. Is y composite?
True
Let v(w) = 9*w + 144. Let c be v(-16). Suppose 1687*j - 1685*j - 6772 = c. Is j a composite number?
True
Let x(j) = 10*j**2 - 14*j - 27. Let c(a) = -21*a**2 + 27*a + 54. Let g(v) = 2*c(v) + 5*x(v). Is g(12) composite?
True
Let d be (45/18)/((-1)/2) + 24950. Is (-10)/(7 - 2) - d/(-5) composite?
False
Let f = 149496 - -4045. Is f a prime number?
False
Suppose -15*w + 6*w = -1539. Suppose w*m = 167*m + 24400. Let j = m - 1859. Is j a composite number?
False
Let v(w) = w + 11. Let h be v(-11). Suppose 0 = -2*d - 5*u + 13 + 27, h = -3*d - 5*u + 50. Suppose o + 1899 = d*o. Is o prime?
True
Suppose 32*j - 70 = 30*j. Suppose -40*o + 20 = -j*o. Suppose -o*g + 3884 = 5*w, -1942 = 2*g - 4*g + w. Is g a prime number?
True
Suppose 7*g - 4*g = 2*s - 950639, 2376620 = 5*s - 3*g. Is s prime?
True
Suppose -34*h + 36*h = 40. Let x be (-5)/(-2) - h/8. Suppose 3*n + x*n - 2373 = 0. Is n composite?
True
Let y be (-8 - 0) + 25116/13. Suppose 3*u + 3*o - 18 = 0, -4*o = -u - 4 + 5. Suppose n + u*g + y = 5*n, -n - g = -481. Is n composite?
True
Suppose -3*i - 714 + 122 = -2*f, 5*i = -20. Suppose 4*h = -3*v - 267, -v + f = -5*h + 4*v. Is 2 + (-4 + h)/(-1) a prime number?
False
Let d = -1001235 - -1734112. Is d prime?
True
Suppose -4*c = 3*u - 37259, -8*u = c - 3*u - 9336. Is c composite?
False
Let k(s) = 1128*s**3 - 5*s**2 - 10*s + 54. Let j be k(4). Suppose 55*q - j = 37*q. Is q a prime number?
True
Suppose 8*f = 12*f + 3*w + 14, -w - 2 = 0. Is 14147/14 + f/(-4) composite?
True
Let l(i) = i**3 + 18*i**2 - 58*i - 16. Let c = 129 + -146. Is l(c) composite?
False
Let b be (-5 - -3) + 0 - (229129 - 18). Is (12/36)/((-3)/b) composite?
False
Is 12/36 - 19033/6*-4 a prime number?
True
Let g(p) = 7*p - 7. Let a be g(1). Suppose -2*y - 4 - 2 = a, 3*u = 2*y + 7815. Is u a prime number?
False
Let i(b) = -312*b + 7. Let t be 28/12 + (-6)/(-9). Suppose -h + 4*x = 9*x - 21, 3*h + t*x = 3. Is i(h) composite?
True
Let l(v) = 13*v**2 + v**2 + 21 + 14*v - 29*v**2 - v**3. Let c(p) = p**2 + 14*p + 8. Let n be c(-12). Is l(n) a prime number?
True
Suppose -2*g + 5*g = -2*u + 12, 3*g - 12 = 2*u. Suppose -g*i - 316 = 152. Let y = i + 451. Is y composite?
True
Suppose -a - 4*x + 3*x = -2675, -4*x + 13375 = 5*a. Let t(k) = 7*k**2 - 876*k + 137. Let o be t(125). Suppose -7*z = -o*z + a. Is z composite?
True
Suppose 47232 = 11*r - 3*r. Suppose 0*w + 3*w + 5913 = -2*u, -3*w - 5*u - r = 0. Let q = 2944 + w. Is q prime?
True
Let v(z) = 5227*z + 3960. Is v(58) prime?
False
Let f = -78503 + 133300. Is f composite?
True
Let h be (-112)/52 - (-2)/13. Let q(m) = -14 + 129*m**2 + 27 + 2*m - 4*m - 12. Is q(h) a prime number?
True
Let w = -949799 - -1430560. Is w prime?
True
Let r = 67 - 57. Suppose 2*s = -0*s + r. Suppose -2*g + 5*w = -1486, -5*w = -0*g - s*g + 3745. Is g a composite number?
True
Let l = 426076 - 185987. Is l composite?
False
Let t(v) = 25*v**2 - 4*v + 1. Let q be t(4). Let b = -269 + q. Let y = b - 93. Is y a composite number?
False
Is 7/6*(62471 - -91) composite?
True
Let f be -48137 - (-4 + 0 - -2). Let v = 96440 + f. Is v composite?
True
Is (-194313)/(-38)*14 + 5 a prime number?
False
Suppose 0 = -5*m - 5*z + 15, 5*m + 4*z - 20 = -8. Suppose -8 = h - m. Is (796/h - (-2 + 2))*-2 a composite number?
False
Suppose -4*k = -4, 0 = -8*m + 3*m - 4*k + 99. Suppose -3*a + m - 4 = 0. Suppose -a*i + 219 - 746 = -2*g, -1265 = -5*g + 2*i. Is g a prime number?
True
Let i(g) = -8*g - 10. Let a be i(-3). Suppose -8*l = -a - 2. Suppose w = -2*