rue
Let d be (997/2)/((-1)/2). Suppose 25*k = 15035 + 29415. Let n = d + k. Is n composite?
True
Let z be (1 - 0)/((-3)/(-21)). Let y = z + -8. Is (-37)/(y*(-1)/(-1)) composite?
False
Suppose 0*w - 2*w = 5*r, -2*r - 2*w = 0. Suppose r = -u + 110 + 168. Let t = -39 + u. Is t a composite number?
False
Let a(o) = -o**3 - 8*o**2 - 3*o - 6. Let s be a(-7). Is (-13889)/s + 6/(-4) a prime number?
False
Let o(b) = 509*b**2 - 7*b - 13. Is o(-3) a composite number?
True
Suppose -6*r + 36241 = -5873. Is r a composite number?
False
Suppose -4*s = -2*z - 9*s + 16, 14 = 2*z + 4*s. Let l(o) = 2*o + z*o + 2*o**3 - 2 + o - 8*o**2. Is l(6) composite?
True
Let a = 151 - -302. Let x = a - -514. Is x a prime number?
True
Suppose 4*i - i - 24 = 0. Suppose -h + 5*h = i. Suppose h*t - 2*s = 328, s = -4*t - 0*s + 641. Is t prime?
False
Let d(o) = o - 1. Suppose 3*b + b = -2*u + 2, 5*u = -5*b. Let q be d(b). Suppose 4*s = -q*s + 1724. Is s a composite number?
False
Let h = 21 + -16. Is h*(-5 + 4) + 4596 a prime number?
True
Suppose -9*f + 428 = -5*f. Suppose 103*p - f*p = -1228. Is p a prime number?
True
Suppose 16 = 4*x - 5*x. Let n be 4/x + (-177)/(-4). Suppose 9*c - n = 5*c. Is c prime?
True
Let a(j) be the first derivative of -j**6/30 - j**5/30 + j**4/12 + j**3/2 + 6*j**2 + 1. Let x(u) be the second derivative of a(u). Is x(-5) a prime number?
True
Let a = 1199 - 820. Is a a prime number?
True
Suppose -4*r - 5*k = -33651, -6*k + 3*k - 16853 = -2*r. Is r a composite number?
False
Suppose -8 = -2*m - 4. Suppose -5*l + 0*p - 4*p + 1685 = 0, 0 = -m*l + 2*p + 674. Is l a composite number?
False
Let f(v) be the first derivative of -v**4/4 + 3*v**3 - v**2/2 + 3*v - 13. Suppose -5*l + 15 = -5. Is f(l) prime?
True
Suppose 2*d = 14 - 2. Suppose -d*v - 603 = -9789. Is v prime?
True
Is (-10243 + 0)/(-7 - -6) composite?
False
Let a be 20/6*(-9)/(-6). Suppose 3*q - 46 = 2*d - 6, a*q - 76 = 4*d. Is d*(15/(-6) - 0) composite?
True
Let s(k) = 795*k**2 - 7*k - 13. Is s(-2) a composite number?
False
Let f(d) be the third derivative of 267*d**4/8 - 8*d**3/3 + 11*d**2. Is f(7) a prime number?
True
Let r = 4 - -24193. Is r prime?
True
Let c = 2763 + -1900. Is c a prime number?
True
Let a be 24/(-32) - 9/(-12). Suppose -4*d + 8 = a, 10*t - 6*t - 3*d - 10006 = 0. Is t prime?
True
Let r = 14 - 2. Suppose -4*v = r, 2*v - v + 19 = 4*j. Suppose 201 = p + 5*l, -p + l + 209 = j*l. Is p prime?
False
Let r(g) = 55*g**2 + 14*g - 2. Suppose 0 = -2*u + 3*q - 1 - 8, 4*q - 24 = 4*u. Is r(u) a prime number?
True
Let f = 436 + 385. Is f prime?
True
Suppose -i = 2*n - 4739, 7*n + 4*i = 2*n + 11843. Is n a prime number?
True
Suppose -y - 5*i = 2*y - 246667, 2*i = 4*y - 328872. Is y composite?
False
Is (-3 + -25775)*(2 + 10/(-4)) composite?
False
Suppose 5*o + v - 15238 = 0, o + 6098 = 3*o - v. Suppose o = 4*z + 44. Is z composite?
False
Suppose 17 + 3 = 5*s, -4*s + 1179 = c. Is c prime?
True
Let y be ((-24)/(-9))/((-10)/(-15)). Let i = 0 - y. Is (-8)/i + (38 - 1) prime?
False
Suppose 5*x + 46141 = 5*r - 69589, -46277 = -2*r - 3*x. Is r a composite number?
False
Suppose 0 = 6*z - 9349 + 2545. Suppose j + j - z = 0. Suppose n - j - 3 = -5*f, 4*f = -2*n + 450. Is f a composite number?
True
Let u = -5180 + 21975. Is u a prime number?
False
Is (-3)/2*(0 + (-117088)/48) composite?
False
Let l be -4 - 4 - (-3)/(-1). Let k = -13 - l. Is ((-11)/k)/(1/10) a composite number?
True
Let p be 1*-30*(-70)/15. Suppose 3*b - y - 172 = p, 2*b = -3*y + 197. Is b a composite number?
False
Suppose 2*s - p - 7 = 0, -6*s + 17 = -2*s - 3*p. Let l(b) = -b**2 - 7*b - 10. Let x be l(-4). Suppose 4*q = -4, -x*q = -s*o + 3*q + 1491. Is o composite?
False
Let m(i) = i**2 - 8*i - 4. Let q be m(-5). Let w = -46 - -28. Let c = q - w. Is c a composite number?
False
Suppose -6*c = 2*c. Suppose c = 2*x + 3*j - 12, -4*x + 3*x + 3*j = -6. Suppose -8*i = -x*i - 242. Is i composite?
True
Let o(r) be the first derivative of 4*r**3/3 - 25*r**2/2 + 43*r + 23. Is o(16) a composite number?
True
Let m = 12 + -10. Let b(x) = -3*x + 2. Let g be b(m). Is (g - -3) + 46/2 a composite number?
True
Let n(q) = 270*q - 1. Suppose 3*j - 43 = -4*o, o - 4*j = -2*o + 1. Is n(o) a composite number?
False
Suppose 3*w + 2*f + 8157 - 139552 = 0, -1 = f. Is w a composite number?
True
Suppose 4*i + 687 = 3*d - 525, -2*d = -5*i - 815. Suppose -4*w + 3588 - d = 0. Is w prime?
True
Suppose 7*v + 0*v - 210 = 0. Suppose 4*y = 9*y + v. Is (495 - y) + 4/(-2) a composite number?
False
Let l = -3 + 0. Let m(b) be the second derivative of -b**3 - 3*b**2/2 + 33*b. Is m(l) a composite number?
True
Let f be 16/6*(-54)/(-12). Let j be 21/5 + (-6)/30. Suppose f + 112 = j*o. Is o a prime number?
True
Let x(t) be the third derivative of -t**6/30 + t**5/30 - 3*t**4/8 + 5*t**3/3 + 4*t**2. Let h be x(6). Is -2*(3 + h/8) a composite number?
True
Suppose 5*p + c - 35 = 0, 2*c + 7 = -3*p + 21. Suppose 6*o + 10 = p*o. Suppose o*q + 6*s - s - 730 = 0, 4*s = -12. Is q prime?
True
Let f(k) = -39*k - 4. Let d(x) = -39*x - 5. Let v(t) = 7*d(t) - 6*f(t). Is v(-18) prime?
True
Let x(n) = 3*n**3 - 34*n**2 + 4*n - 40. Is x(15) a composite number?
True
Suppose -l = -3146 + 919. Is l prime?
False
Let d(u) = -3*u + 25. Let r be d(8). Is 19 + 1630 + -1 + r prime?
False
Suppose -2*m + x = 11, 5*x + 20 = -0*m - 5*m. Let o be -22 - -1 - (m + 3). Let y = o - -306. Is y composite?
True
Let b(k) = -68557*k - 36. Is b(-1) a composite number?
False
Let i be (8/7)/(14/49). Suppose 5*g - z - 1750 = -i*z, -2*g - 5*z = -681. Is g composite?
False
Suppose 15 = 4*v + v. Let k be 4/(-5) + 24/5. Suppose 3*r + 149 = 4*r - k*t, 2*r + v*t - 320 = 0. Is r prime?
True
Suppose -b - b - 6 = 0. Let t be (-15)/(-9)*3 + b. Suppose 5*h - 293 = -t*l, 0*h + 283 = 2*l + 3*h. Is l composite?
True
Suppose 12*v - 13*v = 2*y - 1982, -v = y - 991. Is y composite?
False
Let c(r) = -r + 379. Let p(n) = -n - 5. Let f be p(-5). Is c(f) prime?
True
Let w be (3 - 1)*(2 + 0). Suppose -38 = -w*f - f - 3*i, -4*f + 25 = -3*i. Suppose 0 = -f*k + 6*k + 446. Is k composite?
True
Let j(u) = 5*u + 0*u + 3 - 5 + 28*u**2 - 2. Let s = -13 + 16. Is j(s) a prime number?
True
Let q(b) = 58*b - 44. Let m be q(-19). Let n = m + 1765. Is n composite?
False
Suppose z = 2*a - 15, 0 = 3*a - 2*z - 21 - 1. Is (-3)/(60/a) + (-5872)/(-5) prime?
False
Suppose -5*z - 2*b = -13157, 5*b + 22 = 2. Is z prime?
True
Let g(h) = h**3 - 6*h**2 + 7*h - 1. Let b be g(5). Suppose -b*s + 4408 = -s. Is s a prime number?
False
Suppose -6*q = -q + 3*j - 81595, -5*q + j + 81595 = 0. Is q a composite number?
False
Let u(f) = -5*f - 11. Is u(-6) composite?
False
Let d(z) = 14*z + 71. Let j be d(-5). Let y(h) = -890*h + 1. Let b(v) = 890*v - 1. Let u(i) = -2*b(i) - 3*y(i). Is u(j) a composite number?
True
Let w(n) = 671*n + 83. Is w(4) prime?
True
Let p = 51 + -49. Suppose p*n = -121 + 2039. Is n composite?
True
Let v(w) be the second derivative of -3*w**5/20 - w**3/3 - w**2/2 - 3*w. Let t = 91 - 95. Is v(t) a composite number?
False
Let t be 2120/(-12) + (-1)/3. Let l = t - -304. Is l prime?
True
Let l = -1 + 4. Let y be -177*-1*(-3 - (-60)/9). Suppose y + 389 = l*x. Is x a prime number?
False
Let a(q) = 325*q - 177. Is a(20) a prime number?
True
Suppose 27*u - 9*u = 267282. Is u prime?
False
Let v = 9216 + -4945. Is v prime?
True
Let x = 84 - 145. Let y = -16 - x. Suppose 4*v - 39 = y. Is v prime?
False
Let t(n) = n**3 + n**2 - n - 1. Let z be t(0). Let y be 3 - 0 - 0/z. Suppose 1781 = 3*m + w + y*w, w = -5*m + 2940. Is m composite?
False
Let a = -23 - -36. Let o(g) = 13*g - a*g + 1 - 12*g. Is o(-8) a prime number?
True
Let k(b) = 78*b + 175. Is k(18) a prime number?
True
Let a = 2536 + -1543. Let c be ((-4)/(-5))/(4/50). Is (c/(-15))/((-2)/a) a prime number?
True
Let d = 2 - 6. Is (-1173)/d + 9/(-36) composite?
False
Let x be (-32)/(-12) - (-2)/6. Suppose 5*m + 0*u + 2*u = -4, 4*u = x*m - 8. Suppose -n - 88 + 273 = m. Is n composite?
True
Suppose -2295 = 3*w - 759. Let c = w + 2071. Is c prime?
True
Let y be (-6 - -2)/(-1*2). Suppose -y*z + 6*z - 8 = 0. Suppose 34 = 3*k - 2*k - 4*b, -z*b = 0. Is k composite?
True
Suppose 0 = -x - 3*t + t + 961, 0 = 5*t - 20. Is x composite?
False
Let q be (12/(-9))/(4/(-1542)). Suppose q - 100 = 6*n. Is n a composite number?
True
Let f(v) = 24*v - 3