-9) a prime number?
True
Suppose -5*l + 16 = -24. Suppose 4*i = -l, 2*k - 91 = i + 437. Is k composite?
False
Suppose -2*r + 149 = 5*t, 0 = -2*r - r + t + 249. Is r composite?
True
Let z = 16 - 14. Is ((-1)/z)/(3/(-186)) composite?
False
Let t(v) be the third derivative of v**5/10 - v**4/24 - 2*v**2. Is t(-1) prime?
True
Suppose -9 = -3*x - 3. Suppose -z = x*z - 669. Is z composite?
False
Suppose -5*j = -2*j + 9. Let i(s) = -s**3 - 2*s**2 + s + 2. Let r be i(j). Let x = r - 1. Is x composite?
False
Let l = -3571 + 5438. Is l prime?
True
Let z(x) = -x**2 - 6*x - 7. Let l(m) = -m**2 + 3. Let h be l(-3). Let a be z(h). Is a/((-3)/(-174)*-2) a prime number?
False
Let x(c) = -19*c - 3. Let r be x(-8). Let z = r - -139. Let i = z + -203. Is i prime?
False
Suppose 4*g - 26 = -0*g - 3*j, -j + 14 = 2*g. Suppose -g = -3*p + 22. Is p composite?
True
Let m(o) be the second derivative of 8*o**5/5 + o**2/2 - 2*o. Is m(1) a composite number?
True
Let y = 570 + -67. Is y a prime number?
True
Let j = 40 + -18. Let w = -7 + j. Is w a composite number?
True
Let h(o) = 5*o**2 - 2*o - 4. Is h(-5) a prime number?
True
Suppose 2*a + 2*g = 0, 0 = 3*a - 7*a - g + 12. Suppose -3*t + 609 = -2*m, 0*t + 810 = a*t - 2*m. Suppose 2*v = -v + t. Is v a prime number?
True
Let g be (-1)/5 - 22/(-10). Is (g - 1) + 528/4 a prime number?
False
Let f = -3 - -6. Suppose 0 = -4*j - 0*j. Suppose 4*i = -f*z + 260, 65 = i - 3*z - j. Is i a prime number?
False
Is 18/(-30) - (-193488)/30 a prime number?
True
Suppose 0 = -0*h + 3*h + 9. Is 88 + (h - (-8)/2) composite?
False
Let v be -2*(0 - 2 - 17). Suppose 0 = 4*d - 12, 2*d = -n + 173 + v. Is n prime?
False
Let h = -155 - -273. Is h a prime number?
False
Is (4/3)/((-4)/(-894)) prime?
False
Suppose h - 61 - 51 = 0. Suppose -l + 0*x + x = -h, 569 = 5*l + 4*x. Is l composite?
False
Is (1/(-3))/((-4)/5364) prime?
False
Let s = -43 - -89. Let x = 79 - s. Is (0 + 2)*x - -1 prime?
True
Let l be (-3 - 17) + (-2)/(-1). Is ((-122)/(-6))/((-2)/l) a prime number?
False
Let c be (-8)/(-60) - (-86)/30. Suppose 2*u + 139 = c*u + 2*i, 4*i - 133 = -u. Is u a prime number?
False
Suppose g = -g. Suppose 6*p - p + l - 153 = 0, -4*p - l + 122 = g. Is p prime?
True
Let s(t) = t**3 + 5*t**2 - 7*t. Let h be s(-6). Let f be 9/h*40/(-6). Let n = f + 33. Is n a composite number?
False
Suppose 182 = 4*f - 114. Suppose w + f = 2*b + 2*w, 0 = b + w - 39. Is b prime?
False
Let k(l) = 30*l**2 - 3*l - 2. Suppose -12 = -2*f - 2*f. Is k(f) composite?
True
Suppose 5*g - 2286 = 179. Is g a prime number?
False
Let z = 854 - 3. Is z prime?
False
Suppose 8*y - 12*y = -44. Is y a composite number?
False
Let v(y) = 3*y**2 + 3*y + 1. Suppose -2*d - 19 = 4*k - 47, 3*d = 2*k + 10. Suppose 2*c + 0 - d = 0. Is v(c) prime?
True
Suppose g + 3*a = 4643, 0*a = a - 2. Is g a composite number?
False
Suppose 3*w - 85 = -19. Is w a prime number?
False
Let h(j) = -j + 25. Let i be h(13). Suppose -y + 43 = i. Is y a composite number?
False
Let s = -2 - -7. Let c(r) = 2 + 2*r**3 + r**2 - 7 - r**3. Is c(s) prime?
False
Let z be 4/(-4)*(-98)/(-1). Let g = 301 + z. Is g composite?
True
Suppose 0 = -s + 4*s - 6, -3*t = -3*s - 159. Is t prime?
False
Let m(u) = u**2 + 2*u + 14. Suppose -10*w = -14*w. Is m(w) composite?
True
Let i be -1*9*-1 - -1. Suppose i + 15 = 5*r. Suppose -5*w = y - w - 47, r*w - 15 = 0. Is y a prime number?
False
Suppose -i + 245 = 54. Is i composite?
False
Let y(h) = 25*h**2 + 19*h**2 - 6*h**2. Let j be y(-1). Let v = j - 23. Is v composite?
True
Suppose -2*k + k + 131 = 4*d, 0 = 3*k - 2*d - 379. Is k composite?
False
Let m be ((-134)/6)/(2/12). Is m*(7/(-2) + 3) a composite number?
False
Let h = -242 - -445. Is h a prime number?
False
Let j = -5 + 6. Let s be 3/2*(1 + j). Suppose -4*i = -4*y + 128, -s*y - 3*i + 0*i = -114. Is y a composite number?
True
Let d(b) = -3*b - 3. Let n be d(-3). Let x be 127 + n/(5 + -2). Suppose 0*j + x = 3*j. Is j a composite number?
False
Let j = -42 - -94. Let f = -26 + j. Is f prime?
False
Let r(t) = -23*t + 31. Is r(-8) composite?
True
Let b = -483 - -338. Let v(l) = -10*l - 1. Let z be v(7). Let r = z - b. Is r composite?
True
Let l(w) = w**3 + 7*w**2 - 3*w + 4. Let h be l(-7). Let u = 60 - h. Is u/1*6/6 a composite number?
True
Suppose -5*v + 4*t - 5*t + 4667 = 0, 5*v = -3*t + 4661. Is v a composite number?
True
Let s be -3*(248/3)/4. Let o = s - -117. Is o prime?
False
Let c(w) = -254*w**3 - 1. Is c(-1) composite?
True
Let t(w) = -w**3 + 4*w**2 - 5*w + 7. Is t(-5) prime?
True
Let q = 695 - 358. Is q a composite number?
False
Let y(d) = -d**3 + 4*d**2 + 5*d + 1. Let g be y(5). Let v be (1 + 78 - 2) + g. Suppose 3*c = 411 + v. Is c prime?
True
Let o be (-1)/(-3)*23*12. Suppose 6*c - 2*c - 20 = 0. Suppose 0 = -c*v + v + o. Is v composite?
False
Suppose 4*z = 4*c + z - 77, c - 28 = -z. Is c a prime number?
True
Let m = 49 + 23. Let o = m - 23. Is o prime?
False
Suppose n = 5*n - 4*m - 1032, 3*n = 5*m + 772. Is n composite?
True
Let s(d) = d**2 + 2*d + 3. Let a be s(-3). Let v be (-9)/a + (-221)/(-2). Let n = v - 56. Is n composite?
False
Suppose -3*w = -4*o - 2 - 9, -3*w + 5*o + 16 = 0. Let r = -3 - w. Suppose 4*h - 26 - 26 = r. Is h a prime number?
True
Let v be (-2 + 6)/(-2 - -4). Suppose v*i = 17 + 1. Let p = 15 - i. Is p composite?
True
Let n(p) = 3*p + 3. Let i be -4*3/(-6) + -4. Let v be (i/(-4))/(1/20). Is n(v) a prime number?
False
Let p = -383 + 714. Is p prime?
True
Suppose -10195 - 7304 = -3*d. Is d composite?
True
Let t(j) = -j**2 + j - 1. Let c be t(1). Is c/(-1 + 108/109) composite?
False
Suppose -3*n + n + 652 = 2*u, -2*u - 3*n = -647. Is u composite?
False
Let f = 726 - 299. Is f composite?
True
Let z be -405 + (0 + -2)*1. Let x = z + 696. Is x a prime number?
False
Let m(y) = 32*y**2 + 2*y + 3. Is m(4) prime?
True
Let p be (1 + 0/3)*-21. Let a = 17 - p. Suppose a = -2*m + 4*m. Is m composite?
False
Suppose 1965 = -9*j + 14*j. Is j composite?
True
Is 17634*(68/(-24) - -3) a composite number?
False
Let f(v) = -431*v + 51. Is f(-16) prime?
True
Suppose 2*h - 254 = -0*h. Is h prime?
True
Let p(v) = v**3 - 7*v**2 + v - 10. Let c(b) = b**3 - b**2 + b. Let j(g) = -2*c(g) + p(g). Suppose -5*q + 5*k = 25, -4 = 3*k - k. Is j(q) a composite number?
True
Let o = -100 - -354. Suppose r = -r + o. Is r composite?
False
Suppose -2*q + 1319 = 4*w + w, 1931 = 3*q - 2*w. Is q a prime number?
True
Is (326/(-6) + -1)*24/(-16) composite?
False
Let d = 200 - 108. Suppose -2*s + 2*c = -141 + 51, 3*c + d = 2*s. Let l = s - 22. Is l a composite number?
True
Let z = -11 + 7. Is z/(24/(-309))*2 a composite number?
False
Is (-7)/((-35)/15) + 142 a prime number?
False
Let q(o) = 48*o**2 + 5*o + 1. Is q(-4) composite?
True
Let n = 464 - 270. Suppose -n = -q - q. Is q composite?
False
Suppose -x = 3*w - 3*x + 14, 20 = -5*w + 5*x. Let l = -10 - w. Is (-933)/l - (-2)/(-8) prime?
True
Suppose 4536 = 5*f + s, -2*f + 3*s = -0*f - 1811. Is f a prime number?
True
Suppose -5*b = -2*o + 5, 4*b + 4 = -0*b. Let f(t) = t + 49. Is f(o) composite?
True
Suppose 2*c - 4*x = 532, 0*c - 5*x = 4*c - 999. Let f = c + -117. Is f a composite number?
False
Let t be 24/(-56) + (-3)/(-7). Suppose t = -0*a + 4*a - 844. Is a a prime number?
True
Suppose 4*j + 12 = 2*j + 5*k, -3*k + 4 = 2*j. Let q(b) = 162*b**2 - 2*b - 1. Is q(j) a prime number?
True
Let t = 18 + 161. Is t a composite number?
False
Suppose 3*d = -7*h + 3*h - 169, -77 = 2*h - d. Let c = 59 + h. Is c a composite number?
False
Suppose 3*v + 5*d - 13 = 0, -3*d - 4 = -2*v + 11. Suppose -5*k + 215 - v = 2*q, 0 = 5*k + 4*q - 203. Is k prime?
True
Suppose 6*l - 791 - 15439 = 0. Is l a prime number?
False
Let y(k) = 124*k + 5. Is y(3) a composite number?
True
Let u(a) be the first derivative of a**5/20 - a**4/3 - 7*a**3/6 + a**2/2 + 2*a - 2. Let m(z) be the first derivative of u(z). Is m(6) a prime number?
True
Let q(c) = 2*c**2 + 12*c + 5. Let k be q(-8). Suppose 2*m - 8 = 0, 4*m = -2*p - 4 - 0. Let s = k - p. Is s composite?
False
Let f(v) = -3 - 7*v**3 - 3*v**2 + 1 + 2*v**3 + 5*v + 1. Is f(-4) composite?
False
Let z = -111 + 75. Let s = z + 61. Suppose 3*p - 2*p - s = 0. Is p a composite number?
True
Let z(l) = -8*l**2 + 5*l - 3. Let h(o) = o**3 + 8*o**2 + 6*o - 3. Let d be h(-7). Let a be z(d). Let q = a - -158. Is q a co