7) prime?
False
Let z = 1416 + -293. Is z a prime number?
True
Let l(f) be the first derivative of -f**4/4 + 13*f**3/3 - 3*f**2 + f - 1. Is l(7) prime?
False
Let d be (-486)/(-8) + (-1)/(-4). Suppose 0 = 5*s - b - 344, -s + 5*b = -3 - d. Is s prime?
False
Let g(w) = -73*w - 16. Let y(v) = -74*v - 15. Let a(s) = 4*g(s) - 3*y(s). Is a(-6) a prime number?
True
Let b = 1 + 0. Let y = b + -1. Suppose y*z + 5 = 3*z - 2*k, 5*k - 13 = -z. Is z prime?
True
Let t(d) = 2*d**3 - 7*d**2 + 5*d - 1. Is t(4) a composite number?
True
Let f be 0/(1 - 0/(-3)). Suppose -v - 6 = -f. Is 15/10*(-140)/v composite?
True
Suppose 2*n + 0*n = 0, -2*n - 308 = -4*g. Is g a prime number?
False
Let j(m) = m**3 + 3*m**2 - 4*m + 3. Suppose -3*x + 7*x + 16 = 0. Let z be j(x). Suppose 190 = 5*k - 5*g, z*g = -12 + 27. Is k prime?
True
Let f(w) = -w + 8. Let y be f(0). Let p be -5*(-3)/(-12)*y. Is 4/p - 471/(-15) a prime number?
True
Let s = 45 - 22. Let b = 31 + -45. Let l = b + s. Is l a composite number?
True
Let n(w) = -w**3 - w**2 + 1. Let z(d) = -4 + d**2 + 7*d**2 - 3 + 0*d**2 + 9*d**3. Let o(i) = 6*n(i) + z(i). Is o(4) a prime number?
True
Let g(s) be the third derivative of -s**5/60 + 7*s**4/12 + 7*s**3/6 + 2*s**2. Let z(l) = 5*l + 2. Let n(a) = -3*g(a) + 8*z(a). Is n(6) composite?
True
Suppose -2*o + 2*d + 5038 = 0, -6 = 3*d - 6*d. Is o prime?
True
Suppose -4*p = 2*s - 651 - 161, -2*p = -2*s - 406. Is p composite?
True
Suppose 0 = -3*t - 9*c + 4*c + 516, 0 = 3*t + 3*c - 516. Suppose -5*d = -5*z - t - 43, 4*d + 4*z - 172 = 0. Suppose -a + 0*a + d = 0. Is a prime?
True
Let z = 6 + -4. Let w(n) = n + 1. Let f be w(-3). Is z*(-3)/f - -16 composite?
False
Let m(q) = -q + 7. Suppose -1 = -d + 6. Let y be m(d). Let l = y - -11. Is l composite?
False
Suppose 15 = 3*m + 3. Let u be (-4)/((-32)/(-10))*m. Let t = 18 + u. Is t prime?
True
Suppose -2*f + 30 = 3*f + 3*z, -4*f = -4*z + 8. Suppose -t + 6 = -f*q, t - 6 + 2 = 2*q. Let s(c) = -11*c - 3. Is s(q) a composite number?
False
Suppose -4*c = -2*m + 18, -3*c + m - 26 = 2*m. Let w = -4 - c. Suppose 3*d = 3*z + 222, 0 = -w*z + z - 10. Is d a prime number?
False
Suppose -4*v - 5*f + 114 + 123 = 0, -3*v + 4*f = -139. Is v prime?
True
Let y(c) = -c**3 + 11*c**2 - 6*c + 9. Is y(7) prime?
True
Let z(u) = 21*u**2 + 1. Let q be z(1). Let s = q + -8. Is s composite?
True
Let h(c) be the third derivative of c**5/60 - c**3/3 + 3*c**2. Is h(-4) a prime number?
False
Let s(p) = -103*p + 7. Suppose -2*v + 2*a - 17 = -a, -2*v - 5*a + 7 = 0. Is s(v) a composite number?
False
Let d(v) = -226*v + 17. Is d(-4) a composite number?
True
Suppose d = 2*z + 303, -5*d - z - 112 + 1616 = 0. Is d a composite number?
True
Suppose 3*m + 42 = -5*c, -44 = 2*m + c - 3*c. Let b be 16*2*(-3)/3. Let x = m - b. Is x a composite number?
False
Let d(k) = -8*k**2 - 3*k + 5. Let j be d(-8). Is j/(-4) + 1/4 composite?
True
Let g = -170 + 251. Let p be (4/(-6))/(1/(-312)). Let l = p - g. Is l composite?
False
Let m(j) = -j**3 - 8*j**2 + 7*j + 9. Let g be m(-9). Is (-1)/(g/(-12) + 2) composite?
True
Let c(f) = 2 - 4 - 2 + 3. Let q(j) = j**3 - 10*j**2 + j - 14. Let g(r) = 3*c(r) - q(r). Is g(9) a prime number?
True
Let t be (-2)/4 - (-459)/6. Suppose i = -3*i + t. Is i prime?
True
Let l = 22 - -309. Is l prime?
True
Let g(t) = 8*t + 5. Suppose -3*f + 14 = 3*p - 7, 4*f = -5*p + 33. Suppose 4*s - 12 = f*s. Is g(s) a composite number?
False
Let a = 4 - 4. Suppose 2*u + 0*u + 2*s - 118 = a, u - 59 = -5*s. Is u composite?
False
Let l(k) = k**2 - k - 1. Let o be l(-2). Let f(j) = 2*j**2 - 3*j + 2. Is f(o) a prime number?
True
Let o be -2 + 2 + -2 + 6. Suppose -o*c = 3*i + 27, 0 = -c - 0*i + i + 2. Is 2*c/(18/(-105)) prime?
False
Suppose -3*a = -6*a + 1695. Is a a composite number?
True
Suppose 15 = -2*d - 3*d, 0 = p - 2*d - 321. Suppose -2*n - 61 = -p. Is n a prime number?
True
Suppose -4*z + 2 + 22 = 0. Suppose -3*q - a + 8 = 0, q + 32 = 5*q - 4*a. Suppose j + q = z. Is j composite?
False
Let u(q) = q + 1. Let s be u(-1). Suppose s*n + 40 = i - n, 5*n + 165 = 4*i. Is i a composite number?
True
Let y = -71 + 252. Is y a prime number?
True
Let c = 493 - 47. Is c prime?
False
Let d be (-3)/9 + (-7)/(-3). Let y be 12/14*(-28)/(-8). Suppose -m - y*m = d*h - 94, -h = -m - 32. Is h prime?
True
Let h(i) = -48*i - 6. Let g be h(-4). Let k = -91 + g. Is k a composite number?
True
Let o be 3249/15 + (-3)/5. Let g = -123 + o. Is g composite?
True
Let j(d) = 4*d + 14. Let v be 3/3*(9 + 2). Is j(v) a composite number?
True
Let f = 10 - 4. Let n be 25 - (f/(-3) + 0). Let h = n - 12. Is h prime?
False
Is 911/(2/4 - (-9)/18) composite?
False
Let l(t) be the first derivative of 8*t**3 + 9*t**2/2 + 10*t + 9. Is l(-5) a prime number?
False
Let y(u) = 27*u + 6. Let k be y(5). Let l = k + -46. Is l a prime number?
False
Let k be (-8)/12 + 4524/9. Let d = -291 + k. Is d a composite number?
False
Suppose 5*d + 17 = -13. Is (-188)/(-6) - (-2)/d a prime number?
True
Suppose 85 - 589 = -3*p. Let r = p - -19. Is r a composite number?
True
Let m = 242 + 95. Is m prime?
True
Suppose 18 = 2*h + h. Suppose -5*j - 4 - h = 0. Is 4/2*(-119)/j composite?
True
Let z(g) = -g**2 - 5*g + 1. Let u be z(-5). Suppose 1 = 2*r - u. Is r/3 - 224/(-12) prime?
True
Suppose -8 = -t - 3*t. Suppose -6 = -j - 2*d, t = 2*j - 2*d + d. Suppose -q + j*q = 53. Is q prime?
True
Let t = -99 - -217. Is t a prime number?
False
Suppose -4*b - 21 = q - 5, -3*q = 3*b + 30. Is 1938/4 - q/16 prime?
False
Let f(d) = -9*d**3 + 4*d**2 - 2*d + 2. Let c be f(-5). Suppose 7*o = 3*o + 3*n + c, -4*o + 2*n + 1234 = 0. Is o prime?
True
Suppose 15 = 3*b + 3*g, 20 = 4*g - 0. Suppose w + 0*w - 115 = b. Is w a composite number?
True
Let s = -15 - 176. Suppose u + 4*u + 680 = 0. Let y = u - s. Is y a composite number?
True
Let m(s) = s**2 - 4*s + 3. Let z be m(6). Suppose -d + z = 2*d. Suppose d*b - 42 = 13. Is b composite?
False
Suppose 4*a - 1855 - 18 = -5*d, -2*d + 756 = 5*a. Suppose -d = -3*y - 16. Is y prime?
False
Let w = -11 - -11. Suppose -4*u + w*u = -2708. Is u composite?
False
Suppose 4*u - k - 11 = 9, 0 = 3*k. Let y(b) = 2*b**3 - 8*b**2 + 2*b + 5. Is y(u) prime?
False
Suppose 3*h - 3*j - 640 = 425, 0 = -2*h - 3*j + 730. Is h prime?
True
Suppose -4*u + 4*v + v = 15, 5*u = 3*v - 22. Let n = u + 11. Is n composite?
True
Let q be (-4 - -3) + -1 - -14. Is 5/20 - (-3009)/q prime?
True
Suppose -n = 4*t - 1091 - 142, 0 = -n + 5. Is t a composite number?
False
Suppose -s + 3*n + 124 = 0, -3*s + 3*n = 5*n - 361. Is s a composite number?
True
Let o be (0 - -1)/((-2)/(-148)). Let p(f) = f**3 + 5*f**2 - f - 2. Let u be p(-5). Is o/u*6/4 a composite number?
False
Suppose 3*j + 5*u = -2*j - 175, -3*j = -2*u + 95. Let l = 121 + j. Let c = 203 - l. Is c prime?
False
Suppose 39 = -5*a + 14. Let u = a - -42. Is u a prime number?
True
Suppose 0 = -3*s - w + 2228, 5*s = -0*w - 3*w + 3712. Is s prime?
True
Let u(k) = -10 - 2*k + 4*k + k. Is u(11) a prime number?
True
Suppose -5*p - 2*f = 2*f - 1383, -5*p = -2*f - 1371. Suppose -3*r + 15 = 3*o, 0 = 3*o + 4*r - 8*r - 8. Suppose p = y + o*y. Is y composite?
True
Suppose -15*t + 55 = -14*t. Is t prime?
False
Let u be -1*6/(-3) - 7. Is 2*((-275)/2)/u a prime number?
False
Let x(d) = 3*d - 4. Let s be x(4). Let p = -6 + s. Suppose 0 = m - p*m - 4*o + 22, 0 = 2*m - o - 26. Is m prime?
False
Is (-97)/(-2)*(-408)/(-12) a composite number?
True
Let s(k) be the first derivative of k**5/4 - k**4/24 + 2*k**3/3 + 2. Let b(o) be the third derivative of s(o). Is b(6) composite?
False
Let n(p) = -3*p - 4. Let i be n(-3). Suppose 206 = -i*r - 679. Is -3*(2 + r/9) a prime number?
True
Let s(r) = -r**3 - 7*r**2 - 6*r + 1. Let k = 13 - 22. Is s(k) a prime number?
False
Let v(m) = 2*m**2 - 5*m + 5. Let f be v(5). Is 1/(-3) - (-5350)/f prime?
False
Let m = -28 - -29. Is (-1 - m)*2110/(-20) composite?
False
Let a(t) = 5 + 0*t**2 - t**2 + 0*t**2 - 10*t + 0*t**2. Suppose 0 = 5*i - 2*k + 6*k + 20, -5*i - 45 = -k. Is a(i) composite?
True
Let d be (-24786)/(-4) - 4/(-8). Suppose 4*n + d = 3*l, 2*l - 3*n = -l + 6195. Is l/7 - (-4)/14 a composite number?
True
Let a(d) = 7*d**2 + 5*d - 1. Is a(-5) composite?
False
Suppose -5*d + 0*a = -2*a - 18299, 3*d - 10979 = a. Is d composite?
False
Let y(j) = j**3 - 5*j**2 + 2*j - 5. Let r be y(5). Let m = 4