 - 140 = -2*x. Is a a composite number?
True
Let z be 8/12 + (-808)/(-12) + 4. Is -2 + z/28 - (-4545)/21 a prime number?
False
Suppose -3*l + 4*i - 8 = 0, -5*l = -3*l - 3*i + 5. Is (3027/l)/((-3)/4) a composite number?
False
Let c(x) = 10*x + 15. Let k(u) = 29*u + 44. Let t(i) = -17*c(i) + 6*k(i). Suppose f = -0*f + 1, 0 = -2*m + 2*f + 20. Is t(m) a composite number?
False
Let o(f) = f**3 - 15*f**2 + 15*f + 13. Let a be o(14). Let u = a + -4. Suppose u = y + 3*c, -8 - 9 = -y - c. Is y a prime number?
False
Suppose 7 = 3*j - 17. Is 2*(0 + 1996/j) a composite number?
False
Suppose 0 = 2*l + 3*l - 30325. Suppose -5*w + 4*w = -l. Suppose -3*d - 2*d + w = 0. Is d a composite number?
False
Suppose -6*i = -12*i + 13812. Is i a composite number?
True
Let m(o) = 11*o**2 - o + 3. Let b be m(-2). Let s = -28 + b. Is s a prime number?
False
Let b(s) = -s**3 + 25*s**2 + 6*s - 43. Is b(18) composite?
False
Let u(j) be the second derivative of 67*j**4 + j**3/6 + 14*j. Is u(-1) a prime number?
False
Let m(w) = 4364*w + 2. Let a(g) = 1. Let p(v) = -a(v) - m(v). Let r be p(-1). Suppose 5*l = -h + r + 1396, -3*l + 3*h = -3447. Is l composite?
False
Let x(j) = 13*j**2 + 14*j + 11*j**2 + 11 - 12*j**2 - 2. Is x(5) prime?
True
Is ((-8355)/(-40))/((-12)/16)*-2 composite?
False
Let i = 40906 - 25607. Is i a prime number?
True
Let h be (287/3)/(10/30). Suppose -5*f = -w + h, -4*f + 8 = -2*f. Is w composite?
False
Suppose -5*g = -3*d - 3161, -2*d = 14*g - 15*g + 635. Is g a composite number?
False
Is 260/39 - 7 - 28040/(-6) a prime number?
True
Let w(i) = 3*i**2 + 2*i + 4. Let q be w(-2). Suppose 0 = 4*c - 4*b - q, -3*c + 4*b - 4 = -18. Is (-159)/c - 5/10 a prime number?
True
Suppose 0 = 4*u - 2*u + 4. Let m be 0*(u - (-1)/1). Suppose m = 2*i + 4*i - 1068. Is i prime?
False
Suppose -5*a = -3*u + 68588, -8*a = -5*u - 4*a + 114335. Is u a composite number?
False
Let c(o) = 2028*o + 49. Is c(2) a prime number?
False
Suppose -g - 298 = 120. Let h(p) = -4*p**2 - 3*p - 3. Let v be h(6). Let b = v - g. Is b a composite number?
True
Is (-10)/100 + (-126982)/(-20) a composite number?
True
Suppose 2*n = 3*p + 10066, 3295 = n - 4*p - 1728. Is n a composite number?
False
Let r = -75 + 77. Suppose -r*u = -86 - 172. Is u prime?
False
Let f = 5567 - -2586. Is f a composite number?
True
Let s = -664 - -1193. Is s a composite number?
True
Is ((-199)/(-4))/(1771/220 - 8) a composite number?
True
Suppose -z + 0*b + 5553 = b, 16663 = 3*z + 2*b. Is z composite?
False
Suppose -w = -b + 4, -4*w - 2*b = 3*b - 11. Let y = w + 1. Suppose -2*k = -y*k - 2*t - 436, 1105 = 5*k - 2*t. Is k a composite number?
False
Let s(t) be the third derivative of -t**6/120 + 17*t**5/60 + t**4 + 7*t**3/3 - 18*t**2. Is s(17) a composite number?
True
Let d = 421 + -229. Let g = 395 - d. Is g a composite number?
True
Let s(a) = -2*a**3 + 2*a**3 + 8*a**2 + 3*a**3 - 2 + a + 15. Let l be s(6). Suppose w = 6*w - l. Is w a composite number?
False
Let t(f) = -6*f**3 - 9*f**2 - 10*f - 8. Let h be t(-6). Suppose 3451 - h = 3*b. Is b a composite number?
False
Let s(b) = -9*b**3 + 4*b**2 - 2*b - 2. Let a be 5/3 - (-5)/15. Let g be s(a). Let z = -25 - g. Is z composite?
False
Suppose r - 730 = b + 1177, r + 4*b = 1892. Suppose -3*g - g + r = 4*f, 0 = 5*g - 5*f - 2410. Is g a prime number?
True
Let u = -3993 - -8762. Is u a composite number?
True
Let p(i) be the second derivative of -257*i**3/3 - 3*i**2/2 + 16*i. Is p(-4) a prime number?
True
Let u = 499 + -88. Suppose 2*i = 95 + u. Is i a composite number?
True
Let i(b) = 46*b + 5. Let d be i(-4). Let k = 450 + d. Is k composite?
False
Let u = -21 + 21. Suppose -3*y + 655 + 398 = u. Suppose 2*k = 8, 3*g + y = -k + 2188. Is g composite?
True
Let t(d) = d**3 - 7*d**2 - 9*d + 11. Let w be t(8). Suppose 0 = w*v - 5*z - 2082, 0 = v - 8*z + 4*z - 701. Is v a composite number?
True
Let z(d) = d**3 + d**2 + d - 5. Let g be z(0). Let f be g/(-15) - 28/(-6). Suppose f*w - c = 441, 3*c - 190 = -0*w - 2*w. Is w a composite number?
False
Suppose -8*h + 17*h = 47349. Is h a prime number?
True
Suppose a = -5, -3*a = -5*u - 2*a + 22865. Suppose -5*p = -3*j + 4562, 3*j - u = -p + 4*p. Is j composite?
True
Let v(n) = n**2 - 3*n + 5. Let j be v(2). Suppose -307 = -4*r + j*r. Is r prime?
True
Let p(k) = k - 6. Let n be p(6). Let f be 0/(0 + 5) + 1 + 1. Suppose n*y - 2*y - 5*t + 290 = 0, -2*y = f*t - 290. Is y prime?
False
Let y(b) = 2371*b + 2. Is y(3) prime?
False
Let b(r) = 1010*r**2 + 13*r - 26. Is b(3) prime?
True
Suppose 2*t + p - 2*p = -1914, 5*p + 4815 = -5*t. Let b = -654 - t. Is b a composite number?
True
Suppose -4358 + 10798 = -5*c. Suppose -9*y + 11*y - 3802 = 0. Let p = c + y. Is p a composite number?
False
Is (-12)/8*(-13424)/24 a prime number?
True
Let c(x) = 46*x**2 + 42*x + 1. Is c(5) a prime number?
True
Let x(p) = 204*p - 237. Is x(46) a composite number?
True
Let s = 20970 - 13029. Is s composite?
True
Let m be (-26785)/45 - 8/(-36). Let i = -266 - m. Is i prime?
False
Let p(d) = -3*d + 4289. Is p(0) prime?
True
Suppose 20*p - 4971 = 172249. Is p a composite number?
False
Suppose 0 = 8*a - 6*a - 2478. Suppose 5*z + b + 724 + a = 0, -3*z = -5*b + 1161. Let n = z - -555. Is n a prime number?
True
Let n be (36/(-81))/((-2)/9). Suppose -3*b - n*b + 9465 = 0. Suppose 5*y + t + 3*t - b = 0, 750 = 2*y + 4*t. Is y a prime number?
False
Let z be (-3)/(45/46 - 1). Let u = -277 + z. Let r = u - -198. Is r a prime number?
True
Suppose -16*s + 29 - 109 = 0. Is (-8)/(-100)*s - 4494/(-10) prime?
True
Let x(n) = 47*n**2 - 2*n + 226. Is x(-15) composite?
False
Suppose 0 = 3*s - 5*z - 17, -s = -5*z + 2*z - 11. Is (-4 - (s - 2))/((-3)/54789) a prime number?
False
Let t(d) = -13*d + 3. Let k be t(7). Let j(h) = -19*h - 33. Let w be j(6). Let q = k - w. Is q a composite number?
False
Let j = -6 + 6. Suppose k - 1 - 3 = j. Suppose 31 = a - 4*p - p, k*p = a - 27. Is a prime?
True
Let h = 36 - 34. Suppose h*l - 917 = 525. Is l a prime number?
False
Let g be 3/2*110132/33. Is 0/5 - g/(-2) prime?
True
Let l = -110 - -595. Is l composite?
True
Let z(c) = c**3 + 13*c**2 + 9*c + 21. Let h be z(-14). Let o = h + 602. Is o prime?
False
Let k(p) = 60*p**2 + 33*p - 211. Is k(13) a prime number?
False
Suppose 6*i = 5*i - 156. Let q be (i/9)/(3/9). Is (q/(-6))/((-6)/(-207)) prime?
False
Suppose 0 = b + m + 3, 23 = 3*b - 2*m - 3*m. Let k(i) = 11*i**2 - 11*i + 7. Let q(f) = f**2 - f. Let y(n) = b*k(n) - 5*q(n). Is y(4) a prime number?
True
Let j be (132/(-8) - 6)*14/3. Let s = 362 + j. Is s a composite number?
False
Suppose 579 - 1893 = -3*z. Suppose 0 = p, 4*s - 3*p - z = 2346. Let c = 1279 - s. Is c composite?
True
Suppose -2*i = 2*i - 108. Let d = 2548 - i. Is d a prime number?
True
Let b(p) = 5 + 28*p - 10 + 43*p - 11. Is b(15) a prime number?
True
Let f(n) = 73*n**3 + 2*n**2 - 1. Let y be f(1). Is 0/(-4 - (-5 + 2)) + y a prime number?
False
Let p(g) = 10*g**2 + 7*g + 1. Let j be p(-6). Suppose j = 2*s + 33. Is s prime?
False
Let p = -108224 - -155079. Is p a composite number?
True
Let z = -14096 + 115987. Is z a prime number?
True
Suppose -2*j = 4, -4*p - 54570 = -8*p - j. Is p prime?
False
Let t(g) be the first derivative of -g**2 - 11*g + 3. Is t(-11) a prime number?
True
Let q(z) = 42*z**3 - 7*z**2 - 25*z + 37. Is q(9) prime?
True
Let j(l) = l**2 - 4*l - 3. Let g be j(5). Suppose 281 + 45 = g*y. Suppose -5*a + 272 = -y. Is a a prime number?
False
Let d(w) = w**2 + 11*w + 28. Let l be d(-8). Suppose -l*q + 130 + 1538 = 0. Is q composite?
True
Let i = -11 - -17. Let c = i + -16. Is (-4)/(-6)*(-2235)/c composite?
False
Suppose 3*t = 4*t - 90. Suppose a + t + 9 = 0. Let z = a + 208. Is z a prime number?
True
Suppose -5*k + 6*k - 475 = 0. Let o = -233 + k. Let t = 339 - o. Is t composite?
False
Suppose 0 = -5*m + 5*k + 207355, -28*k - 4 = -27*k. Is m composite?
False
Let i = -9 - -5. Is -1 - 4 - (i + -158) composite?
False
Let o(f) = -59*f**3 + 8*f**2 + 1. Is o(-6) a composite number?
False
Suppose 2*r + 86 = 4*j, -5*j + r + 140 = 37. Suppose 0 = 6*q - q - j. Suppose q*k + 238 - 1 = 3*n, 4*n - 5*k - 316 = 0. Is n a composite number?
False
Suppose -b - 3 = -5. Let n be (-7 + 9)*(-2 - -3)/(-1). Is b*(1 - 179/n) prime?
True
Let q(w) = 21*w**2 - w. Let a be -8 + (4 + -6)/2. Let s = 8 + a. Is q(s) a prime numbe