k*s + 1245 = 270. Suppose l = -4*l + s. Is l a composite number?
True
Suppose 9396 = 8*o - 1780. Is o a prime number?
False
Let j = 848 - 469. Is j a composite number?
False
Suppose 13202 + 7803 = 5*a. Is a a composite number?
False
Suppose -12 = 2*u + 4*m, 4*u + m + 7 = 4. Suppose 248 = 4*t - 5*b + 2*b, u = 2*t + b - 134. Is t a prime number?
False
Let r be 1*15/(-5) + 1240/2. Suppose r = -5*p + 3222. Is p a prime number?
True
Suppose 0 = 4*k + 4*q - 5444, 8*k - 2*q + 4083 = 11*k. Is k composite?
False
Let q be (180/25)/(2/30). Let x = 19 + q. Is x prime?
True
Suppose 5*f - 178445 + 65154 = -4*j, 56629 = 2*j - 3*f. Is j a prime number?
True
Let o = -14 - -19. Suppose 0 = 4*l - 2*r + 12, 0 = 3*l - 2*l - o*r + 3. Is l/(-1) + (190 - 6) a composite number?
True
Suppose 47*i - 72908 = 43*i. Suppose -w = 10*w - i. Is w a composite number?
False
Let x = 20 + -20. Suppose 2*s - 11 + 7 = x. Suppose -56 = -s*n + 262. Is n composite?
True
Let h(d) = 4608*d - 455. Is h(5) a composite number?
True
Is 3 - (6 - 602)*26 prime?
False
Let l(y) be the second derivative of y**6/36 + y**4/8 - y**3 + 4*y. Let r(n) be the second derivative of l(n). Is r(-3) a prime number?
False
Is 0 + 5 + 1 + 20 a prime number?
False
Let n = 10 - 3. Suppose -n*r + 6073 = -6814. Is r a prime number?
False
Let y = -13182 + 22154. Suppose -18*q + y = -7354. Is q prime?
True
Suppose 0 = g - 6*g + 130. Is g a composite number?
True
Suppose 0 = -0*j - 5*j. Suppose 3*o - 4 = k, j = -2*o - 0*k + k + 1. Suppose -1195 = -o*i - 418. Is i a prime number?
False
Suppose -5*z - 2*w = 2*w + 22, -5*w - 7 = -4*z. Let f be z/12 + 1669/6. Suppose -4*h + 5*m + f = 0, 2*m + 61 = h + 5*m. Is h prime?
True
Let u = -17 + 29. Let p = u + -13. Let v(i) = -12*i**3 - 2*i**2 + 1. Is v(p) a prime number?
True
Suppose 0 = -2*t + t + 3, 4*u - 2 = 2*t. Suppose -1573 - 761 = -u*f. Suppose 2*l - 3*l = -2*a + f, -3*l + 1728 = 3*a. Is a a composite number?
True
Let v = 60 - 59. Is 0/(-2) - v*-389 composite?
False
Suppose 3032 = -2*c + 4*s, 4*c + 4*s + 1528 = 3*c. Let a = c - -2155. Is a prime?
False
Let o(d) = -d - 5. Let r be o(-7). Suppose -f + r = -0*f. Suppose f*h - 574 = -0*h. Is h prime?
False
Let y = 822 + -502. Suppose 0 = 5*p + j - 6*j - y, 4*p = -3*j + 221. Let c = p - 12. Is c prime?
True
Let m = 5767 + 7267. Suppose 4*n - 2*s - 13032 = 0, -6*n + m = -2*n - s. Is n prime?
True
Let u be ((-4)/(-6))/(4/24). Suppose 0*x - x = -u. Suppose n = -0*z + x*z - 26, -n = -z + 8. Is z prime?
False
Let t(r) = 1632*r + 179. Is t(35) a prime number?
False
Suppose -37*k + 18*k + 809077 = 0. Is k a prime number?
False
Let c be 4 - 0/(-3) - -2. Let y(g) = -g**2 - g - 1. Let m(q) = 19*q**2 + 4*q + 2. Let u(f) = c*y(f) + m(f). Is u(-3) prime?
False
Suppose 0 = 5*m + v - 11474 - 21259, 19639 = 3*m + v. Is m composite?
False
Let q(m) = -7*m**3 + 23*m + 3. Is q(-10) prime?
False
Let b(s) = s**2 - 2*s. Let o be b(2). Let t = o + 2. Suppose -611 = -t*j - k, 5*j = k + 3*k + 1547. Is j a composite number?
False
Is 112724/6 - 41/123 prime?
True
Suppose -1419 = -t + 3*m + 2*m, 0 = 4*t + 5*m - 5776. Is t a composite number?
False
Let k(g) = 56*g + 3. Let u be 17 - (3 - 0)/(-3). Is k(u) composite?
True
Let w = 1382 - 849. Is w a composite number?
True
Suppose -42 + 0 = -2*j. Let y be (-5)/35 + 2481/j. Let z = -51 + y. Is z prime?
True
Suppose -2*f - 4*p = -9 - 23, -56 = -4*f - 4*p. Suppose -f*s + 155 = -7*s. Is s prime?
True
Suppose 0 = -4*o - o + 290. Suppose -4*h + 4806 = -o. Suppose h = 4*p - 4*n, -4*n - 12 = -0*n. Is p a prime number?
False
Let d(r) be the second derivative of 7*r**5/40 - 7*r**4/12 + r**3/6 + 3*r. Let f(y) be the second derivative of d(y). Is f(11) composite?
True
Let i(x) = -13*x**3 - x**2 + x + 1. Let w be i(-1). Let c be (6/4)/(9/w). Suppose 2*y = -c*m + 330, 0 = -5*y - 4*m + 452 + 369. Is y prime?
False
Suppose f - 4*h = 5290, 5*f - 2*f + 3*h = 15825. Suppose -5*v = -m + 2627, -m - f = -3*m + 4*v. Is m prime?
True
Suppose i + 2*x = -5, 2*i + 5 = -3*i - 5*x. Let v be 2/(-3) - (-98)/i. Let z = v - 13. Is z composite?
False
Let w be (1/(-2))/((-15)/90). Suppose w*z + 9 = 5*c, -3*z = 3*c - 6 - 9. Suppose -c*h = -0*h - 1077. Is h a composite number?
False
Suppose 0*y = -5*y - 25. Is 66/10*(y - -1 - -9) a prime number?
False
Let y be (-7 + 8)/((-1)/(-4)). Suppose y*r = 3*q + 142, -4*r - q = -5*r + 35. Is r a prime number?
True
Suppose 16 = i - 4. Suppose 283 = 2*a + a - m, i = 4*m. Suppose 916 = 4*l - a. Is l composite?
True
Let d(s) = -s + 5. Let u be d(0). Suppose -u*a = -9*a + 1672. Let w = a + -233. Is w a prime number?
False
Let p(g) = -605*g - 56. Is p(-11) a composite number?
False
Is (-1)/2 - (-70615)/58 a prime number?
True
Let j be ((96/20)/(-4))/(2/(-160)). Suppose d = 5*u + j, d + 499 = 5*d + 3*u. Is d prime?
False
Let g be (45/(-10))/9*38. Let s(a) = 23*a**2 - a - 4. Let f be s(3). Let d = g + f. Is d a composite number?
False
Let u = -25 - -191. Let k = -250 + u. Is ((-11)/3)/(4/k) a prime number?
False
Let f(q) = -2*q**3 - q**2 - q + 339. Let y be f(0). Suppose 0 = -4*p + 2*n - 7*n + 273, 4*n - y = -5*p. Is p a composite number?
False
Suppose -2*t + 158 = -4*y - 740, -2*t + y + 889 = 0. Is t composite?
False
Suppose -6*n = -4*n - 1140. Let m = -1112 + n. Let w = m + 1099. Is w a composite number?
False
Suppose 8*s - 7417 - 1375 = 0. Suppose 3*j + 4*d = s, -4*d - 1545 = -4*j - 33. Is j prime?
True
Let j(u) = -u**3 - 12*u**2 + 2*u + 23. Let y be j(-12). Let l(f) = f**3 + 7*f**2 - 8*f + 9. Let m be l(-8). Is 3*(30/m - y) a prime number?
True
Suppose -2*t - 9 = -1. Is (t - -5)/(-1 - 390/(-389)) a prime number?
True
Let k = 11108 - 3385. Is k a prime number?
True
Suppose -27*n - 669 = -30*n. Is n prime?
True
Let v be (-16)/6*(-2)/(8/(-6)). Is (v/10)/(-2 - 199556/(-99785)) a composite number?
False
Suppose -10*v + 6*v = -3336. Suppose 165 = -3*p + v. Is p a composite number?
False
Suppose 10*b - 5297 = -1107. Is b a composite number?
False
Let y(a) = -3*a**3 - 6*a**2 + 2*a. Let i be y(-6). Let b = i - 221. Is b a prime number?
True
Let v(n) = 29*n**2 + 4*n - 19. Let k be 3 - 10/5 - -5. Is v(k) composite?
False
Suppose -5*f = -22532 - 30903. Is f a prime number?
True
Suppose 4 = -q - 0*q. Let l(t) = -102*t + 11 - 76*t - 4 - 10. Is l(q) prime?
True
Let b be (9/(-4))/(6/33312*-6). Let g = b - 1193. Is g a prime number?
False
Let g = -112 + 298. Is g - 3 - (1 - 5) a composite number?
True
Let u(d) = -187*d**3 - 6*d**2 - 10*d - 30. Is u(-7) prime?
False
Let w(k) = -4*k + 1. Let j be w(2). Let q(t) = t**3 + 7*t**2 + 2*t + 6. Let r be q(j). Is 2/8 - 1270/r prime?
False
Suppose -6 = -4*w + w. Suppose -2448 = -w*a - 4*s, -s = a - 0*s - 1222. Suppose 3*x = -x + a. Is x prime?
False
Let n(o) = -619*o - 78. Is n(-13) a prime number?
False
Let n(y) = -4*y**3 - 88*y**2 + 4*y + 9. Is n(-23) a composite number?
True
Suppose 7 = x - 0*g - g, -5*x - g + 23 = 0. Suppose -q + x*j + 1490 = 2*j, 5*q - 4*j - 7417 = 0. Is q prime?
True
Let g = 13 + -4. Suppose 4 = 5*o + g. Is -15*o/((-12)/(-116)) composite?
True
Suppose -4*y + 4*b + 5530 = 90, 0 = y + 4*b - 1335. Suppose g + y = 2*m + 2*g, -2704 = -4*m - 4*g. Is m composite?
True
Let l(i) = 4 - 3*i + 0 - 3 + 2*i. Let u be l(-4). Suppose -3*v - 105 = -3*c, u*c + 5*v - 175 = -0*v. Is c composite?
True
Suppose 4*n + a - 50015 = 33379, -n - 4*a = -20841. Is n a prime number?
True
Suppose 6 = f + 13. Let k be 252/2 - 14/f. Let r = k + -33. Is r a prime number?
False
Let j = -5 + -61. Suppose 4*p = -955 + 199. Let c = j - p. Is c prime?
False
Let k(s) = s**3 + 68*s**2 + 48*s + 59. Is k(-66) prime?
False
Suppose 0 = -a + 4*w - 14, 0 = -2*a + w - 4 - 3. Is (a + 1)*1490/(-2) prime?
False
Suppose 3*x - 20 = -x - 5*p, -4*x - p + 4 = 0. Suppose x = 4*g - 0*g - 2676. Suppose -446 = -5*d + g. Is d composite?
False
Let i(y) = 18*y**3 - 4*y**2 - 2*y + 3. Suppose 6*a + 2 = 20. Is i(a) a composite number?
True
Let j = 580 + -2356. Suppose 0*x + x + 9 = 0. Is x/(-18)*(2 - j) a prime number?
False
Let m be (-7)/((-9)/6 + 1). Let t = m - 12. Suppose -t*a - 318 = -4*k, 49 = 5*k - a - 356. Is k a prime number?
False
Suppose -4*j + 471 + 4532 = 3*v, -2521 = -2*j + 5*v. Is j a prime number?
False
Let n(b) = -44*b + 29. Let d(k) = -43*k - 7 + 31 + 4. Let m(h) = -6*d(h) + 5*n(h). Is m(11) a prime number?
