g(k) = k - 2. Let o(s) = -30*s + 15. Let l(j) = -4*g(j) - o(j). Is l(m) prime?
True
Suppose 3*y = -137 - 388. Let c = -30 - y. Is c prime?
False
Let a = 0 + -12. Let j(m) = -9*m + 11. Is j(a) a prime number?
False
Suppose -2*w + 36 = -4*j, 4*w + 3*j = 24 + 37. Let u(r) = -r**3 + 17*r**2 - 9*r + 21. Is u(w) a prime number?
False
Suppose 23701 = 5*p + 2*q, 0*p = 5*p + 3*q - 23699. Is p prime?
False
Let z be 25236/(-30) + 4/(-5). Let w = -461 - z. Suppose 3*p - 3*u - 381 = 0, -p + 4*p = 2*u + w. Is p a composite number?
False
Let d(y) be the second derivative of -2*y**2 + 1/3*y**3 + 3/4*y**4 - 5*y + 0. Is d(-5) prime?
True
Let u(v) = 8*v**2 + v + 4. Let p = -40 - -29. Let h = -8 - p. Is u(h) prime?
True
Suppose 2*t - 11 + 3 = 0. Let w be 2 + 12/(-4) - -1. Suppose -t*s + 2133 = -3*u - 1618, w = -5*s - 4*u + 4650. Is s composite?
True
Suppose 14*j - 18*j - w + 4232 = 0, 2*j - 2098 = 4*w. Is 30/(-75)*10/2 + j a prime number?
False
Suppose 0 = 2*n - 671 - 119. Is n a prime number?
False
Suppose 0 = -50*g + g + 6941487. Is g composite?
True
Suppose 0 = 18*f + 34*f - 3669692. Is f prime?
True
Suppose -2*b + 9 = -5. Let i(d) = -14*d + 19. Let f(t) = -7*t + 10. Let o(c) = -13*f(c) + 6*i(c). Is o(b) prime?
False
Suppose 5*z + 616 - 26 = 0. Let j = -33 - z. Is j composite?
True
Suppose 10*q + 61083 = 19*q. Is q composite?
True
Let z be 4662/147 + (-4)/(-14). Is -3*(514/4)/((-24)/z) prime?
False
Let b(k) = 33 + 21*k + 9 - 100*k. Is b(-19) composite?
False
Let h(m) = -m - 175. Let g be h(0). Let o be 0 + 302 + -2 + 6. Let c = g + o. Is c a composite number?
False
Let x be -3*174/36*378/(-1). Suppose w - x = -2*b, 3*w = -2*b + 5*b - 8226. Is b a prime number?
True
Let g be (7/21)/(3/351). Suppose 4*j - 1 = g. Is j a prime number?
False
Suppose 2*a - 43*b = -40*b + 3718, -2*a = 5*b - 3686. Is a a prime number?
False
Let y = 2802 - 408. Suppose 0 = 4*m - 58 - y. Let b = m + -326. Is b composite?
True
Suppose -4527 = 5*s - 4*z, 3*s - 5*z + 2213 = -511. Let f = -556 - s. Is f composite?
False
Suppose 2*p - 518 = 590. Is 3/15 + p/(-20)*-4 composite?
True
Suppose 2*a + 34 = -5*g, g + 2*a - 5*a = 0. Let k(o) = 4*o**2 + o - 17 - o. Is k(g) a prime number?
True
Let y = -18 - -18. Let r be y - (-368)/(-4) - 3. Let d = r + 244. Is d composite?
False
Let r = 8197 - 5427. Suppose -5*c - 914 = -l, -r = -3*l + c + 14. Is l prime?
True
Let i be 4/(8/(4/1)). Let y(l) = -i - 1 + 6 + 50*l. Is y(4) a composite number?
True
Let s(f) = -100*f + 5. Suppose -3*j = 0, 2*j + 5 = 5*m - j. Let o(c) = -c + 1. Let y(b) = m*s(b) + 4*o(b). Is y(-5) composite?
True
Let l be 5 - 12188/12 - (-2)/(-6). Let t = l - -2176. Is t a prime number?
False
Let n be ((-6)/4)/(9/(-30)). Let b = 21 + -18. Suppose 88 = s + 2*i + b*i, -n*s + 2*i = -413. Is s a composite number?
False
Let a be ((-12)/15)/((-4)/(-70)). Suppose -5*f = c - 2358, 0 = 3*f + 2*f + 5*c - 2350. Is 6/a + f/7 a composite number?
False
Suppose 0 = 29*r + 6*r - 540435. Is r a prime number?
False
Suppose -4*u - 5*l + 16 = 0, -4*u - 6*l + 7*l - 8 = 0. Is 22*8 - (u - (0 - -1)) prime?
False
Let n(l) = 106*l**2 + 8*l - 21. Is n(5) composite?
True
Let z(j) = 6*j**2 + 3*j + 17. Let b(c) = -c**3 - 4*c**2 + 6*c - 3. Suppose 4*m - 15 = 7*m. Let n be b(m). Is z(n) composite?
True
Suppose -3*o - 1 = -d, 0 = -3*d - 2*o + 5 - 2. Let h be d/4 + (-1019)/(-4). Suppose 0*f - 3*f + h = 0. Is f a prime number?
False
Let l(m) = -m**2 + 9*m + 11. Let d be l(6). Suppose 4*k - 199 = d. Is k composite?
True
Suppose 11045 = 3*b - t - 3*t, 0 = 5*b - t - 18414. Is b composite?
True
Let o be ((-15)/(-21) - 1) + (-62808)/(-14). Suppose -4*v - o = -2*m, 3*m - 6757 = -0*v - v. Is m composite?
False
Let a = -1243 - -3854. Is a a composite number?
True
Let r be 42*1/10*25. Suppose 5 - 27 = j. Let w = r + j. Is w a composite number?
False
Let y(q) = 119*q + 30. Let p be y(14). Let i = p + -977. Is i a prime number?
True
Suppose 3*q = -5*n - q + 18793, -5*q - 15059 = -4*n. Is n composite?
False
Let w(i) be the third derivative of 159*i**6/20 + i**5/60 - i**4/24 + i**3/6 + 13*i**2. Is w(1) a composite number?
True
Let p(n) = n**2 - 88*n - 49. Is p(-30) composite?
False
Suppose -2*r = -7*r + 40. Suppose 7 + r = 5*a. Let y(v) = -v**2 + 7*v + 1. Is y(a) a prime number?
True
Let v = -49142 + 71551. Is v a composite number?
False
Let f be (22/33)/(2/(-15)). Suppose -c = 2*m - 44 - 489, 5*m - 1334 = -2*c. Let a = f + m. Is a a prime number?
True
Let j(m) = -3*m**3 + 2 + 0*m**2 + 3*m + 3*m**2 + 4*m**3. Let t be j(3). Suppose -66 = -w + t. Is w composite?
False
Suppose 47*h - 52*h + 1265 = 0. Is h composite?
True
Let y(a) = -19*a**3 - 2*a**2 + 3*a + 2. Let n be y(-7). Suppose -5*s = -4*j + 12797, 2*j - s = s + n. Is j composite?
False
Suppose 554 - 184 = 5*n. Suppose 6*g = -n - 124. Let y = 58 - g. Is y a composite number?
True
Let l(u) = 33*u + 9. Let b be l(7). Suppose -4*x + 308 = -5*s, 5*x + s - b = 145. Is x prime?
False
Let v(x) be the first derivative of -2*x**4 + 3*x**3 + 6*x**2 - x - 5. Let t(p) = -7*p**3 + 9*p**2 + 11*p. Let h(w) = 7*t(w) - 6*v(w). Is h(5) prime?
True
Let g(a) be the second derivative of 22/3*a**3 + 5*a - 1/2*a**2 + 0. Is g(2) composite?
True
Suppose -2*d - 2*d - h = 12, -2*h = -d - 3. Is -2 + (-8)/d + (-757)/(-3) prime?
False
Suppose 2*h + v = 20512, -5*h = -0*v + 5*v - 51270. Is h/5 + -1 + 6/15 composite?
True
Suppose 514*i - 495*i = 773642. Is i composite?
True
Let t(u) be the first derivative of -10*u - 15*u**2 - 13 - 1/3*u**3. Is t(-13) a prime number?
True
Let b(a) = -a**3 + 15*a + 493. Is b(0) a prime number?
False
Let u(t) = 4*t**2 + 7*t - 128*t**3 + 4 - 3 - 192*t**3. Is u(-2) a prime number?
False
Let w(i) = 357*i - 5. Suppose n + 4*n - 37 = -3*b, 5*n = 25. Let q be w(b). Let a = q - 836. Is a a composite number?
False
Let t(p) = 3*p + 2*p**2 - p**3 + 4*p**3 + 3*p**3 + 2*p**2. Let h be t(5). Let g = h - 378. Is g composite?
False
Let l(x) = 14*x**3 - 9*x**2 + 2 + 3 + 8*x**2 + 18*x - 13*x**2. Is l(6) a composite number?
False
Let c be 0/1*(-5)/(-10). Suppose c = -2*k + 8 + 2. Suppose -j = -3*j + 5*l + 153, 2*j = -k*l + 203. Is j prime?
True
Suppose -53*x = 327914 - 1242111. Is x a composite number?
True
Let x(r) = -r + 2. Let u(t) = 14*t - 8*t - 10*t - 2 - t**2. Let l be u(-4). Is x(l) a composite number?
True
Suppose 6*u = 5*u - 2. Let t = u - -3. Suppose -t = -y, 808 = 6*a - a + 3*y. Is a composite?
True
Let r(i) be the second derivative of -i**5/3 + 7*i**4/24 + 2*i**3/3 + 7*i. Let h(l) be the second derivative of r(l). Is h(-7) a composite number?
True
Let l(t) = -t**2 + 9*t - 1. Let g be (-4)/6 + (-46)/(-6). Is l(g) a prime number?
True
Let l(q) = 13*q**2 - 11*q + 1. Let s be (-1)/(-4) + (-531)/(-36). Is l(s) a composite number?
True
Let c be (6/4)/(6/8). Suppose -5*w + u + 1447 = -c*u, 0 = w + 2*u - 279. Is w prime?
False
Suppose 11 = f - 3. Let o = -11 + f. Is -1 + (o - -184) + -1 a prime number?
False
Let o(t) = -t**3 - 10*t**2 + 19. Let q be o(-10). Suppose q*r - 805 = 14*r. Is r prime?
False
Let q be (-3)/15 + (-5851)/(-5). Suppose 2*t = 4*t - 4*x - 1178, 2*t - 2*x = q. Is t a prime number?
False
Let t(x) = 119*x + 13. Let b(y) = 238*y + 27. Let v(f) = -3*b(f) + 5*t(f). Is v(-6) a composite number?
True
Suppose -4*d + 13 = -5*n + 4*n, 18 = 4*d - 2*n. Suppose -1503 = 2*k - 7*k - 2*y, d*k - 590 = 2*y. Is k a composite number?
True
Let a = 1869 + -718. Is a a composite number?
False
Let i = -6208 - 1486. Is (12/(-8) + 1)*i a prime number?
True
Let l(i) = 14*i - 41*i + i + 7*i - 7. Let k be 124/(-12) + 1/3. Is l(k) a prime number?
False
Let j = -1690 - -1901. Is j prime?
True
Let x = -23 + 27. Suppose x*z + 2*n = 26, 4*n + 18 = -z + 3*z. Is (1 - 2)*(-2737)/z composite?
True
Let c = -2526 - -15313. Is c a prime number?
False
Let h(c) be the second derivative of c**6/360 + c**5/40 - c**4/8 + c**3/3 - 5*c. Let g(f) be the second derivative of h(f). Is g(-6) prime?
False
Suppose -12*p + 16*p = 4*z - 15216, -18975 = -5*z - 4*p. Is z a prime number?
False
Is (-32)/112 - (-563000)/14 a prime number?
False
Let r = -49 - -49. Suppose -3*o + 10*o - 5509 = r. Is o a prime number?
True
Suppose 148 = i - 311. Suppose 0 = 3*v - 948 - i. Is v prime?
False
Let l(w) = -31 + 233 + 2*w - 62 + 111. Suppose r = 2*d + 4, -5*r - 5*d - 6 = -2*d. Is l(r) prime?
