 number?
False
Is ((-6248)/(-1) - -7) + -8 prime?
True
Let m(y) = -2*y**2 - 21*y - 8. Let r be m(-9). Suppose -3*o + 193 = r. Is o prime?
False
Let n(u) = 21*u + 10. Let s be n(6). Let y = s - -5. Is y a composite number?
True
Let c(i) be the third derivative of -19*i**4/6 + 25*i**3/6 - 26*i**2. Is c(-3) a prime number?
False
Let w(u) = 0*u + 2*u - 4 - 7*u + 4*u. Let h be w(-11). Is 38/(-2*(-1)/h) a composite number?
True
Let t be 8 + 0 + -7 + 8. Let o = t + -11. Let w(v) = -2*v**3 + v**2 + 1. Is w(o) a composite number?
True
Let s = 183294 - 95017. Is s composite?
True
Let o = 8 - 2. Is 4/o - 14798/(-42) a composite number?
False
Let r(c) = c - 3. Let o be r(5). Suppose -4*n - 3*j = -9*n + 16876, 0 = -3*n - o*j + 10137. Is n composite?
True
Let q(a) be the second derivative of -a**5/10 + 5*a**4/12 + 3*a**3/2 + 19*a**2/2 - 21*a. Is q(-9) a prime number?
True
Let w = 219 - 129. Let u = -1695 - -1644. Let k = w + u. Is k a composite number?
True
Let c(f) = -2*f - 10*f**2 - 3*f + 3 + f**2 + 13*f**2 + 181*f**3. Is c(2) composite?
True
Let b = -7299 + 10224. Let m = -1214 + b. Is m a composite number?
True
Let s = -3 + 9. Suppose -u = -3*u + s. Suppose z - 1004 = -u*z. Is z composite?
False
Let v(f) be the second derivative of 11*f**5/20 - 11*f**4/12 + f**3/3 + 7*f**2/2 + 13*f. Is v(5) composite?
False
Is ((-7)/21)/((4/38172)/(-1)) a prime number?
True
Let m be (-1778)/(-4) - (-21)/42. Suppose 3*o + 2*f = 481, f + 30 + m = 3*o. Is o composite?
True
Let c(o) = 227*o - 2. Let a = -34 + 37. Is c(a) composite?
True
Let x be -3 - (-1 + -1 - 15). Suppose n + 8 = x. Is (-1992)/n*2/(-8) prime?
True
Let d = -8920 - 12750. Is d/(-55) + (-1)/(-2)*2 a composite number?
True
Let i(j) = -j**2 + 5*j + 2. Let h be i(4). Is ((-1774)/(-3))/(h/9) a composite number?
False
Suppose -4667 = -r + 5*q, 9*r - 9360 = 7*r - 3*q. Is r composite?
True
Let i = 5007 - 2954. Is i a prime number?
True
Suppose -4*z = h - 4803, -h + 0*z = -4*z - 4763. Is h a prime number?
True
Let u(i) = 147*i + 38. Is u(9) a prime number?
True
Let j(b) = 636*b - 143. Is j(9) a prime number?
True
Let n = 198 - -95. Is n a prime number?
True
Let z(o) = -o**2 + 3*o. Let n be z(2). Let d be -1 + (3 - 0) + 71. Suppose -n*s - 20 = q - d, 0 = -s - 5*q + 40. Is s composite?
True
Let j = 6 + -3. Suppose j*m = 2*m - 88. Let a = -57 - m. Is a a composite number?
False
Let y = 13343 + -7645. Let f = 3974 - y. Is 2/(-3 - f/572) a prime number?
False
Let l(a) = 13*a**2 - 20*a - 21. Suppose -2*h = 7 + 21. Is l(h) composite?
True
Let q = -15 - -18. Suppose -2*v = -5*w + 827, 2 = 2*v - 4*v. Suppose q*i - 157 = k, w = 3*i + k - 4*k. Is i a composite number?
True
Let v = -16 - -11. Let n be 5 - 3 - (2 + v). Suppose n*s + 3 - 173 = 0. Is s a composite number?
True
Suppose 129019 = 4*m - 3*k, -4*m = -9*m - 5*k + 161230. Is m a composite number?
False
Let x(n) = n**2 - 1. Let d be x(3). Let t(z) = -z + 10. Let a be t(d). Suppose 6*i - 218 = -5*k + 3*i, a*k - 84 = -2*i. Is k prime?
False
Let u be (1/(-3))/(6/(-18)). Suppose -5*v + 16 = u. Is 3*(-1 + 181/v) composite?
True
Suppose 3*q = 3*d - d + 27, 10 = q - d. Is ((-2)/4)/(q/(-11158)) composite?
False
Suppose -293601 = 15*b - 933606. Is b a prime number?
True
Suppose 0 = 3*x + s + 126, -2*x - 2*x + 4*s = 168. Let z = 0 - x. Let u = 85 + z. Is u composite?
False
Suppose -5*c - 10790 = -f, 2*f - 7*f - c = -54028. Is f prime?
False
Let x be (2/3)/(6/117). Let u = -9 + x. Suppose -8*a + u*a + 1388 = 0. Is a prime?
True
Let t(f) = 5 + 257*f - 69*f + 8. Is t(6) a composite number?
True
Let u = 46 - 41. Suppose u*q - 1790 = 2475. Is q a composite number?
False
Suppose 13*i - 9296 = 6*i. Suppose 4989 + 299 = 4*d. Suppose 0 = 4*y + 2*f - d, 0 = 4*y - 0*f - 4*f - i. Is y a prime number?
True
Suppose -18054 - 2774 = -4*d. Is d a prime number?
False
Let k = -514 + 12521. Is k composite?
False
Suppose 20 = 5*r - 0*r, 0 = -3*t - 5*r + 124049. Is t composite?
True
Suppose -2*s + 5 = x, -3*x - 5 = -4*s - 0*x. Suppose -2*g - s = -2*m, g = -4*g + 4*m. Is g/26 + 3870/26 a prime number?
True
Suppose -5*r + 8 + 2 = 0. Let w(g) = -3*g + 30*g**3 - 12*g**3 + 5*g**r - 4 + 9*g**3. Is w(3) composite?
False
Let w be (1 + 1)*(11 + -9). Suppose -3*j = -w*s, -5*j - 9 = 4*s - 41. Suppose 10*c - 5*y - 570 = 5*c, s*c + 2*y - 367 = 0. Is c prime?
False
Suppose -22 - 16 = -2*i. Suppose b - i = 4*b - 5*g, 0 = 3*b + 3*g - 21. Is 4845/4 + b/(-8) composite?
True
Is (-253010)/10*(-1 + 3)/(-2) prime?
True
Is 27/81 - 8366/(-3) composite?
False
Let x(r) = 9*r + 1985. Is x(0) composite?
True
Suppose -c = 1 - 2. Let w = c - 6. Let g(f) = -8*f - 9. Is g(w) composite?
False
Let q = 11 - 26. Let f be 2/q + (-694)/(-30). Let u = 97 - f. Is u a prime number?
False
Let b(p) = 52*p**3 + 21*p**2 + 7*p + 11. Is b(5) a prime number?
False
Let i(u) = 9*u**2 + 9*u + 173. Is i(19) a prime number?
True
Suppose -3*t = q + 12, -t + 4*q = -6*t - 13. Let c be (-6)/(-30) + (-134)/t. Suppose -3*g + z + c + 8 = 0, g + z - 9 = 0. Is g a prime number?
True
Let f be (1 - (-4)/8)*4. Suppose n + 2*g - f = -2*g, 4 = n + 3*g. Is 2/(8448/4220 + n) composite?
True
Suppose 10 = -u + 16. Suppose -u*d + 3005 = -4237. Is d prime?
False
Suppose 0 = -5*z - z + 32046. Suppose -3*s + c = s + z, -6695 = 5*s - 5*c. Is 1 - s - (-2 - 0) a composite number?
True
Is 9/(-27) + 1185168/36 a prime number?
False
Suppose 36*u - 151961 = 13*u. Is u prime?
True
Suppose -17889 = -29*k + 42982. Is k a composite number?
False
Suppose -5*z + 27 + 8 = 0. Suppose z*y - 8*y = -293. Is y prime?
True
Let s(k) = 2*k**3 + 9*k**2 - 53*k + 23. Is s(17) a prime number?
True
Suppose 121458 - 26415 = 3*c. Is c a composite number?
True
Let t(i) = -194*i + 7. Let s be t(3). Let z = 1258 + s. Is z composite?
False
Let s(q) = 41*q**2 + 8*q + 94. Is s(-9) composite?
False
Suppose 0 = v + 4 - 7. Suppose -v*c - 15 = -4*j - 2*c, -3*j + c + 10 = 0. Let y(m) = 26*m**2 - 2*m + 9. Is y(j) composite?
True
Let y = 70514 - 38757. Is y prime?
False
Let y(m) = -5*m + 7. Let c be y(-14). Let d = c - -16. Suppose 3*b - 3*q - 210 = 0, 2*b - d - 32 = -3*q. Is b composite?
False
Let b(p) = -p**2 + 8*p - 7. Suppose -2*s = -4*s - 5*z + 2, -5*s - 2*z + 26 = 0. Let h be b(s). Suppose -h*v - 195 = -610. Is v prime?
True
Let q(w) = w + 11. Let o be q(-6). Suppose -5*z + 4*j - 1132 = -6391, 0 = -2*z + o*j + 2090. Is z prime?
False
Let z(d) = -5*d**3 - 9*d**2 - 50*d + 31. Is z(-13) a composite number?
True
Let d(z) = 2*z + 5 - 5 - 9. Let c be d(6). Suppose -c*g + 270 = 3. Is g composite?
False
Suppose -n - 3*m + 1031 = m, -3*m + 3111 = 3*n. Suppose 0 = 6*l - 7*l + n. Is l a composite number?
False
Let a = 30 + -25. Suppose 3*p + a*t = 0, 3*t + 9 = 3*p - 15. Let q(c) = 97*c. Is q(p) a composite number?
True
Let l = 3107 + 2562. Is l a prime number?
True
Suppose -5*v = 2*g + 701, -2*g - g + v = 1060. Let p = g + 508. Is p composite?
True
Suppose -4*j - 315 = 2*a + 107, 5*j = 4*a - 534. Let t = 187 - j. Is t a prime number?
True
Let w(f) be the third derivative of -f**6/120 + f**5/4 - f**4/6 + f**3/6 + 6*f**2. Let c(b) = -b**2 - 6*b + 1. Let g be c(-5). Is w(g) a prime number?
False
Let s = 257 + 143. Let j = 1158 - s. Is j prime?
False
Let g = 86 - 81. Suppose -633 = 2*j - g*j. Is j prime?
True
Suppose -23 = -5*d + 2*q, -4*q + q = -d + 2. Suppose d*m + 2*z = 3945, 0 = -4*m - z - 285 + 3444. Is m a prime number?
False
Let c(m) = 7*m**2 - 7*m**2 + 4*m**2 + 7*m + 2. Is c(-7) prime?
True
Suppose 9*b = 11*b. Let m = b + 13. Is m prime?
True
Is 37/(2106/526 + (33 - 37)) prime?
False
Suppose 0 = 2*q + 6*g - 4*g - 114, 0 = 5*q - 4*g - 240. Let f = 75 + q. Is f a composite number?
False
Let p = 2716 + -569. Is p a composite number?
True
Let h(r) be the second derivative of 13*r**4/3 - r**3/6 + r**2/2 + 8*r. Let w be h(1). Let t = 75 + w. Is t composite?
False
Suppose 0 = 4*f - 26 - 86. Suppose 0 = m + 5*y - f, 3*y = -m - m + 21. Suppose -j = 3*i - 471 - 619, -m*j = 5*i - 1810. Is i composite?
True
Suppose 5 = -w + c - 4, -4*w - 28 = 4*c. Is -14*(68/w - 0) prime?
False
Suppose -2*c + 5*r = 19, 11 + 5 = -3*c + 5*r. Suppose 0 = -2*k + 4*i + 1130, -1686 = -c*k - i + 4*i. Is k composite?
True
Let r(z) = z - 3. Let q be r(3). Let c = q + 0. Suppose c = 2*j - 363 - 1151. Is j composite?
False
Suppose 0 = t - 4*l + 2*l - 17