g + 4. Is u(-19) a prime number?
True
Let y be -19744 + (-4)/28 + (-54)/14. Is y/6*15/(-10) composite?
False
Suppose -5*i + 15 = -0*k - 4*k, 4*i = k + 12. Suppose -i*d = -4*d + 40. Suppose 3*g + 80 = t, 36 + d = t - g. Is t prime?
False
Let k be 0/(1/(3/6)). Suppose k = -6*d + 1725 + 1041. Let g = d + -306. Is g a composite number?
True
Suppose -7 = -3*o - 2*q, -o - 1 + 2 = q. Let l be (1778/49)/(24/84). Is l/(o - 16/4) a composite number?
False
Let b(x) be the first derivative of -x**4/4 + 6*x**3 + 17*x**2/2 - 15*x - 1. Is b(18) a composite number?
True
Let h be 3/(3/79) - 3. Let u = h - -177. Let v = u + -110. Is v a composite number?
True
Let y = -14 - -20. Suppose -y*q = -585 - 1773. Is q a composite number?
True
Let t = 9 - 9. Suppose 4*n - x - 7 = 0, 4*n + 2*x + t = 10. Is (-119)/14*(-20)/n prime?
False
Suppose -4*x + 8*x - 8 = 0. Suppose x*o = m - 209, 2*m + 0*o = 3*o + 419. Is m a composite number?
False
Suppose 9 = 2*d + 3. Suppose 0 = d*u - 2 - 13. Suppose -3*b + 2833 - 614 = u*f, -b - 447 = -f. Is f a prime number?
False
Let s = 14111 + -4048. Is s a composite number?
True
Let o be (6/12)/((-1)/(-190)). Let t = 227 + o. Suppose 3*n - t = n. Is n a prime number?
False
Suppose -11*j = -15*j + 1480. Suppose -5*n = -195 - j. Is n prime?
True
Let o = 146 + -67. Let z = o - -39. Is z prime?
False
Suppose 4*o - 8729 = -5*q, -3*q = 4*o - 2*q - 8725. Is o a prime number?
False
Let c = 75 + -181. Let t = 517 + c. Let b = -254 + t. Is b a composite number?
False
Let k be 4/18 - 318332/252. Let s = -742 - k. Is s prime?
True
Let w(p) = -p**3 + 17*p**2 - 2*p - 6. Let f = 25 + -17. Is w(f) prime?
False
Let q = -13 + 30. Suppose -7 + q = u. Suppose -3*x + 2*y = -75 - 94, 0 = 5*y + u. Is x prime?
False
Suppose 0 = 2*w, -m - 4*m + 4*w = 3275. Let a = 962 + m. Is a a prime number?
True
Let k = -17 + 3. Let w(i) = 19 - 2 + 0*i**2 + 5*i + i**2. Is w(k) a prime number?
False
Suppose 2*f - 4643 = 3*y, 16*f - 4650 = 14*f - 4*y. Is f a prime number?
False
Let b = 46 + -44. Suppose -b*m - 503 = -l - 0*m, -2*m + 2052 = 4*l. Is l a composite number?
True
Suppose 5*g = 3*g + 16622. Is g a prime number?
True
Suppose 2*n + 42 = i, 120 = 3*i - 4*n - 0*n. Let o be (-34)/(-8) + (-9)/i. Suppose 0 = q + 5*m - 195, -o*m = 3*q - 342 - 221. Is q composite?
True
Let j be 44/(-7) - (-8)/28. Let z = j + 6. Suppose 0 = -4*q - 5*g + 82, z = -0*g - 5*g - 10. Is q composite?
False
Suppose 0 = -3*g - 5*s - 10, -11 = 4*g - s - 36. Suppose g*j + 3*v = 1270, -3*j + 1016 = j + v. Is j a prime number?
False
Is 47/((6/14)/(1 + 2)) a prime number?
False
Let u(s) = 7*s**3 + 3*s**2 - 14*s + 8. Let l be u(-5). Let h = -469 - l. Is h prime?
False
Suppose -5*v - 2*f + 5*f + 1154 = 0, 5*v = -3*f + 1166. Suppose -l + 2*c = 3*l - v, 4*c = -3*l + 174. Let i = 129 - l. Is i prime?
True
Let r(n) = -n**3 + 6*n**2 + 8*n - 4. Suppose -25 = -6*g + 17. Let s be r(g). Suppose s*q - 43 - 110 = 0. Is q prime?
False
Let r = -1000 + 2143. Let q = r + -764. Is q prime?
True
Suppose 2*q + 5*u = 176267, 69116 + 283433 = 4*q - 5*u. Is 6/(-15) + (q/20)/2 composite?
False
Suppose -4*b + 13 = 5. Suppose 0 = 4*u + b*r - 1102, -u - 4*u - 4*r + 1385 = 0. Suppose 54 = 3*f - u. Is f composite?
False
Suppose 60 = 4*h - 3*r, -h + 92 = 3*h + 5*r. Let s = h + 8. Is s composite?
True
Let d(u) = 11*u**3 - 28*u**2 + 21*u + 12. Is d(10) a prime number?
False
Suppose 0 = -5*d - 5*r + 24300, d - 2*r = 2*d - 4859. Is d a composite number?
False
Let f = -546 - 376. Let i = f + 2031. Is i composite?
False
Let y = -20 - -4. Let x be 6/4 - (-24)/y. Suppose x*k = -6*k + 2874. Is k prime?
True
Is (-76)/(-28) + -3 + (-49807)/(-7) a prime number?
False
Suppose -5*d + 7 + 23 = 0. Suppose 0 = -d*h + 1254 + 1548. Is h a composite number?
False
Is (-5 - 3) + 224793/3 a composite number?
False
Let x(n) be the second derivative of 5*n**4/6 + n**3/2 - 3*n**2 - n. Is x(5) composite?
True
Let x be (-2 + 35 + -4)*-3. Let f = -28 - x. Is f prime?
True
Suppose -2*o + 14 = 2*w + 2, -4*o = 5*w - 27. Suppose -w*r = 2*r - 20. Suppose 73 = r*d - 203. Is d a prime number?
False
Let k = 10 + -22. Let i be (k/15)/(2/(-5)). Suppose -2*s + 176 = 2*o, 0 = 3*o - i*o - 2*s - 85. Is o prime?
False
Let j = 19787 - 10416. Is j composite?
False
Let t(y) be the second derivative of -y**4/12 - 13*y**3/6 - 9*y**2 - 4*y. Let i be t(-9). Suppose 2*c - 16 = -4*h - 0, 0 = -h + 3*c + i. Is h composite?
True
Let p(v) be the second derivative of v**5/2 - v**4/12 - v**3/6 + 3*v**2/2 - 11*v. Let s(a) be the first derivative of p(a). Is s(4) prime?
False
Let k(a) be the first derivative of -a**4/4 + a**3/3 + a**2/2 - a - 2. Let c be k(1). Suppose c = -6*z + 3*z + 93. Is z a composite number?
False
Suppose -4*k - 29765 = -9*k. Is k composite?
False
Let c be -642*4/24*-3. Let u = -160 + c. Is u a prime number?
False
Is (45768/(-84))/(12/(-42)) composite?
False
Suppose 226993 - 15156 = 17*r. Is r composite?
True
Let y be (-2)/9 - 493/(-153). Let u = 793 - -701. Suppose n = y, n = -t + 4*t - u. Is t a prime number?
True
Is 121922 + (-3)/(-1) - (-24 - -28) a composite number?
False
Let r(p) = 5*p**2 - 6*p - 10*p**2 + 31 + p**3 + 5*p + 4*p**2. Let h(q) = q - 4. Let y be h(4). Is r(y) prime?
True
Suppose -8*z + 1390 = -7914. Is z a composite number?
False
Suppose 0*z = 2*z + 6, 0 = 2*v - 3*z - 13. Suppose 60 + 106 = v*j. Let b = 130 - j. Is b composite?
False
Let m(v) = -2*v + 2136. Let q be m(0). Suppose 0 = w + w - q. Suppose -4*x = -0*x - w. Is x a composite number?
True
Let g(p) = 5*p**2 + 26*p - 4. Is g(-13) prime?
True
Let g = 1467 + -821. Let w = g + -369. Is w a prime number?
True
Let f be (-4 - 0) + 1196 - (-2 - 0). Suppose 0 = 4*w - f + 198. Is w a prime number?
False
Let q = -15 - -15. Let j be -1 - (0 - q) - 0. Let h(w) = 16*w**2 - 1. Is h(j) a prime number?
False
Let w(y) = y - 1. Let s be w(5). Is s*1 + (-2 - -1053) a prime number?
False
Let b be (3 - 8)*388/10. Let u be 2/(-3) + b/(-3). Let k = 13 + u. Is k composite?
True
Let k(h) = -h**2 - 8*h + 26. Let s(d) = -d**2 - 17*d + 51. Let x(i) = -5*k(i) + 2*s(i). Is x(-9) a composite number?
True
Suppose -25*j = 108052 - 1768977. Is j a composite number?
True
Let c(r) = 92*r + 6. Let s be c(2). Let o = 497 - s. Is o composite?
False
Let n(u) = -2*u + 25. Let v be n(-17). Suppose l = v + 818. Is l prime?
True
Suppose -3*b + 7*b - 24053 = 3*d, 24038 = 4*b + 2*d. Is b composite?
False
Let n = 240 + -109. Let l = n - -104. Is l a composite number?
True
Let h be (9/27)/((-1)/9). Is ((-2)/h)/((-4)/(-3306)) a prime number?
False
Suppose -292*x - 8015 = -297*x. Is x a composite number?
True
Suppose -165*n + 1574090 = -95*n. Is n prime?
False
Let r = 514 - -472. Suppose 0 = 10*g - 12*g + r. Is g a prime number?
False
Let z(g) = 112*g + 2. Let a(p) = 1. Let w(d) = 5*a(d) - z(d). Is w(-7) prime?
True
Let s(j) = -52*j**3 - 1. Let c(i) = -i**3 + 5*i**2 + 7*i - 7. Suppose 2*w - 3*b = 24, 0*w = 2*w + 3*b. Let o be c(w). Is s(o) a prime number?
False
Let f = -204 - -484. Let k = f + -60. Suppose s = -79 + k. Is s a composite number?
True
Let g(b) = b**3 + 13*b**2 + 14 + 0 - 4*b + 3. Is g(-11) a composite number?
True
Let w = -102 - -102. Suppose 9*r - 4*r - 590 = w. Is r a prime number?
False
Let q be (-1)/(1/(-4)*1). Suppose -2957 = -2*h + 3*f, -5904 = -q*h + 2*f - 6*f. Is h prime?
False
Suppose -n = -0*n + 4, n - 9934 = -2*h. Is h composite?
False
Is (-34395)/(-10)*10/15 a prime number?
True
Let c(y) = 4*y**2 - y. Let n be c(-1). Let u(o) = 5*o - 13 + 1 - 2 + 2 + 10*o**2. Is u(n) composite?
False
Let k(i) = 68*i**2 + 3. Let a(h) = 68*h**2 + h + 4. Let t(l) = -2*a(l) + 3*k(l). Is t(1) a prime number?
True
Let s be (-4)/(-14) - 36/28. Is 153 - -3 - (2 + -1)*s prime?
True
Let a = -405 + 775. Suppose a - 1587 = -q. Is q a composite number?
False
Suppose 65627 = 52*y - 226977. Is y a composite number?
True
Suppose 0 = -4*l + 2*l + 166. Suppose 79*i = l*i - 1996. Is i composite?
False
Suppose 0 = 5*g - 5*q - 130, 5*g - 2*q = 2*q + 133. Suppose 5*y - g = -f, f - 11 = -3*f + y. Suppose f*x - 525 = -17. Is x composite?
False
Let x(g) = g**2 + g**2 + 14*g - 7*g - g**3 + 0*g**3 - 13. Is x(-7) a prime number?
True
Let l(d) = d**2 + 7*d + 5. Let q be l(-6). Let u be 1*-1*(q + -2). Suppose -18 + 0 = -u*m. Is m prime?
False
Suppose -434 = -4*c + 