(2 + -3) a prime number?
False
Let v(m) = 11*m + 9. Is v(10) composite?
True
Suppose 3*r - 2*r = 2. Suppose -r*k = -4*f + 140, -2*f + 6*f = 5*k + 140. Is f prime?
False
Let s be (-51)/(-9) + (-2)/(-6). Is 49 + s - (1 + -1) a composite number?
True
Suppose 2*s + 770 = 3*x + s, -3*x + 766 = s. Suppose 4*o - 4*y - x = 0, 3*o + 4*y = o + 116. Is o/(-4)*(-8)/4 composite?
False
Let m = 663 - 274. Is m composite?
False
Suppose 0 = -w - 4*z + 47, 2*w = -4*z - z + 97. Is w composite?
True
Let t(p) = -2*p - 35. Let a(c) = -3*c - 70. Let k(i) = -3*a(i) + 5*t(i). Is k(0) a prime number?
False
Suppose -1 = 4*l - 3*f, l - 2*f = 2*l - 8. Suppose -2*h + 38 = l*z, 5*h - z - 104 = -3*z. Is h a prime number?
False
Let i(y) = -y**3 + 7*y**2 + 12*y - 15. Suppose b + 6 = 4*b, 3*g - 2*b - 17 = 0. Is i(g) composite?
True
Let i(v) = v**3 - v**2 - v + 1. Let d(g) = -5*g**3 + g**2 + 3*g - 9. Let z(r) = d(r) + 6*i(r). Is z(6) a composite number?
True
Let u(z) be the third derivative of z**4/24 - z**3/2 + 2*z**2. Let t be u(2). Is 7 - (t/(-1) - 0) a prime number?
False
Let q(p) = -9*p + 30. Let j(a) = 5*a - 15. Let b(x) = 5*j(x) + 3*q(x). Let g be b(-13). Let d = 170 + g. Is d a composite number?
False
Let r be 14 + -2 + 0 + 1. Let y = -11 + 12. Let a = r + y. Is a prime?
False
Suppose -2*f = -7*f, -f - 12873 = -3*a. Is a a prime number?
False
Suppose 0 = z + z - 314. Is z composite?
False
Let m(n) = -n**3 + 12*n**2 + 14*n - 13. Let d be m(13). Suppose 2*x - 3*x + 371 = d. Is x a composite number?
True
Let s(z) = -15*z. Let j(q) = 16*q + 1. Let h(d) = -4*j(d) - 3*s(d). Let w be h(-4). Suppose -x + w = 4*a - 85, -2 = 2*a. Is x prime?
False
Let r = -1 + 5. Suppose -r*t + 12 + 12 = 0. Is 74/t - 2/(-3) a prime number?
True
Suppose 2*n - 1 = -0*g - g, 3*g - 3 = -2*n. Suppose c + n*c + 3*h = 8, 2*c - 5*h = -28. Is c - -7 - -1*16 a prime number?
True
Let c(b) = 5*b**2 + 9*b - 11. Let j = 1 + -9. Is c(j) a composite number?
True
Is 17*(-4)/(-2) - -3 a composite number?
False
Is (-10)/(-50) - (-5204)/5 composite?
True
Let x(s) = -10 - 7*s - s**2 - 6*s + 3*s. Let d be x(-9). Is 55 + 0/(-4 - d) prime?
False
Let t(o) be the second derivative of o**7/840 - o**6/180 - o**5/60 - o**4/12 - o. Let c(v) be the third derivative of t(v). Is c(-3) composite?
False
Suppose -3*f + 2*l + 61 = -3*l, -8 = -2*l. Let c = -18 + f. Is c a prime number?
False
Suppose -36070 = 6*w - 16*w. Is w a composite number?
False
Is ((4 - 0) + -483)/(1*-1) a prime number?
True
Let o(t) = t**3 + 16*t**2 + 16*t + 18. Is o(-13) a prime number?
True
Let q(g) = 3*g**3 + 5*g**2 + 3*g + 1. Let r(a) = 4*a**3 + 6*a**2 + 4*a + 2. Let m(w) = -3*q(w) + 2*r(w). Let z = 8 + -14. Is m(z) a composite number?
True
Let d(m) = -m - 2. Let t be d(-2). Suppose -g - g + 254 = t. Is g prime?
True
Let v = -658 + 1077. Is v composite?
False
Let w(z) = -11*z - 10. Is w(-19) a prime number?
True
Let c = 85 - -1762. Is c a composite number?
False
Suppose 5*y - 1115 = -5*o, -3*y + 4*o = 6*o - 669. Is y a composite number?
False
Is ((-33)/22)/(3/(-586)) a prime number?
True
Suppose -258 = -2*d + 5*z + 49, -4*d + 4*z + 596 = 0. Let m = 16 - 16. Suppose 0 = 3*h - g - 26 - 70, 5*h + 3*g - d = m. Is h composite?
False
Let q(s) = -7*s**3 + 2*s**2 + 5*s + 35. Is q(-8) a composite number?
True
Let c = -695 - -1396. Is c a composite number?
False
Let u(i) = i + 12. Let m be u(0). Let g(h) = 4*h - 17. Is g(m) a composite number?
False
Let a = 25 - 7. Suppose -3*m = a + 6. Let q(x) = -x**3 - 8*x**2 - 3*x - 5. Is q(m) composite?
False
Suppose 5*m + v - 15 = 0, -v - 3*v + 22 = m. Suppose -2*p + 4*p = -m*h - 86, -114 = 3*p - 2*h. Let a = -19 - p. Is a composite?
True
Let s = 839 + -277. Is s a composite number?
True
Let f(u) = -u**2 - 3*u - 4. Let g be f(-4). Is g/44 - 475/(-11) a prime number?
True
Let s(x) = x**3 + 9*x**2 + 5*x + 2. Let k be s(-6). Suppose 3*i + i + 5*j = k, 0 = 5*j. Let c = i - 10. Is c composite?
True
Suppose -8 = b + 3*b. Let s = 610 + -432. Is (b + -1)*s/(-6) prime?
True
Suppose -2*i + 218 = w, 2*i - 654 = -3*w + i. Is w a composite number?
True
Let x = 1458 - 491. Is x a prime number?
True
Let z be (-8)/(-2)*(7 - 8). Let h be (-3)/(3 - (-13)/z). Is (-9)/h - 331/(-4) a prime number?
False
Let y be -3*(-3)/6*2. Let w(x) = -x**3 + 2*x**2 + 3*x + 3. Let a be w(y). Suppose -2*c - 5*v = -c + 4, 5*v - 18 = -a*c. Is c composite?
False
Suppose -4*t = -2*o - 4918, -t = 5*o + 253 - 1455. Is t a prime number?
False
Suppose 5*p + 9 = z - 34, 6 = 2*p. Is z a prime number?
False
Suppose 3*l - 6973 = -3*d + l, -11605 = -5*d + 5*l. Is d a composite number?
True
Suppose 0 = -3*x - 7 + 16. Suppose 2*g = -c + 6*g + 127, 5*c + x*g - 658 = 0. Is c a composite number?
False
Let b = 5 - 25. Suppose 0 = q + 2*q + 129. Let z = b - q. Is z a prime number?
True
Suppose 0 = 4*f + f - 660. Suppose -27 = -3*w + f. Is w a composite number?
False
Suppose 0 = -5*c - 2*w, -4*c - 5*w + 16 + 1 = 0. Let z(b) = -19*b - 3 + 6 - 3 - 1. Is z(c) prime?
True
Suppose -l + 287 = 3*n, 5*l - 2*n = 1911 - 544. Let j = -118 + l. Is j a composite number?
False
Let b = -287 + 694. Suppose -4*h - h = -4*c + 522, b = 3*c + 4*h. Is c prime?
False
Let g(x) = 3*x**2 + 0 + 0 + 1. Let d be g(-2). Suppose 0 = -c + 72 - d. Is c prime?
True
Let k = -3 + 6. Is 0 + (3 - -121 - k) a prime number?
False
Let i = -67 - -227. Suppose -r + 6 = i. Let f = -101 - r. Is f a composite number?
False
Let b = 19 - -17. Let m be (3/(-2) + 1)*b. Is 4/m + 202/18 prime?
True
Suppose 0 = -4*x + y + 11 + 1334, -671 = -2*x + y. Is x prime?
True
Let n(p) be the second derivative of 17*p**4/3 - p**3/3 + p**2/2 + p. Let f be n(1). Suppose 44 = x - f. Is x a composite number?
True
Suppose 4*u = 38 + 442. Suppose -28 = -4*w + u. Is w a prime number?
True
Let w(g) = -g**3 + 15*g**2 - 8*g - 7. Is w(11) prime?
True
Let u(v) = v**3 - 5*v - 1. Let h be u(6). Suppose 3*t = -5*c + h, 4*c - 5*t - 76 = 72. Is c prime?
True
Is 3/(-18)*2 + (-230)/(-15) prime?
False
Let t(a) = 8*a - 2. Let w be t(2). Suppose -u + 3*n + 79 = -0*n, -4*n - 316 = -4*u. Let c = u - w. Is c a prime number?
False
Let a = 1118 + 681. Is a a composite number?
True
Let j(g) = -27*g**2 + g - 13. Let u(x) = 14*x**2 - x + 7. Let b(z) = -3*j(z) - 5*u(z). Let i = -10 - -7. Is b(i) a prime number?
True
Let z(w) = -w**3 - 2*w**2 - 3*w - 5. Suppose 4*l = l - 12. Let n be 2/l*-10*-1. Is z(n) prime?
False
Suppose 8*i - 21*i + 2678 = 0. Is i composite?
True
Suppose -6 = -18*c + 20*c. Is 8*c/6 - -163 a composite number?
True
Suppose z + 0*z - 9 = 0. Let x = 0 - z. Is 186/x*6/(-4) composite?
False
Let n(h) = -h + 1. Let r be n(-5). Let i(t) = -t**3 + 9*t**2 - 9*t + 5. Is i(r) a composite number?
False
Let f(m) = m**2 - 1. Let z be f(-2). Let s = 5 - z. Suppose s*i - 23 = x, -3*i + 0*x = 4*x - 51. Is i prime?
True
Let h be ((-2)/4)/((-3)/834). Suppose h = 2*u - 43. Is u prime?
False
Suppose 4*r + 351 = -4*a + 1091, 5*a = -4*r + 925. Is a a prime number?
False
Let o(y) = 43*y**3 - 2*y**2 + 1. Is o(2) prime?
True
Suppose 2*o = o - 4*g + 8, -5*o + 5*g = 10. Suppose t - 5*t + 252 = 4*a, o = 4*t - 3*a - 280. Is t composite?
False
Is -3 + 1 + 2 + 209 prime?
False
Let s be 61 - (-6)/(-3)*-1. Let g = s + 65. Let w = 3 + g. Is w prime?
True
Let n = 65 - -480. Suppose -5*m = 5*u - n, 4*u - 4 = -12. Is m composite?
True
Let h = -3 - 7. Is ((-132)/(-24))/((-1)/h) a prime number?
False
Is (465/12 - 4)*4 a composite number?
False
Suppose -737 - 719 = 4*t. Is -6 - -3 - t/2 a composite number?
False
Let a(b) = -8*b - 37. Is a(-13) composite?
False
Let x(l) = -3*l**3 + 2*l**2 + 3*l - 1. Is x(-4) a composite number?
False
Suppose 0 = -4*t + w + 17, -5*t = 5*w + 5 - 20. Is t/22 - (-1444)/44 a prime number?
False
Suppose -6*k = -k - 2740. Suppose k + 482 = 5*b. Suppose -3*g = -b - 67. Is g composite?
True
Let y(u) = u**3 - 3*u**2 - u - 1. Let a be y(3). Let w = a + 1. Let b(d) = -15*d - 2. Is b(w) composite?
False
Suppose -5*y = d - 54 - 57, 0 = d + y - 115. Suppose 0 = -v + 2 + d. Is v a composite number?
True
Suppose 0 = 5*o - 4*l - 450, -193 = -2*o - 2*l + l. Is o prime?
False
Is (-1)/3*-3*2794/2 composite?
True
Let z be (6/(-3))/(2/(-24)). Is (z - (2 + 0))*1 a composite number?
True
Suppose o = -2*j + 4*j - 159, -328 = -4*j + 4*o. Is j prime?
False
Let z = 62 - -125. Is z composite?