be 0 - 1*(0 + -1). Is (1 - 2)*-31*y a prime number?
True
Let m = 168 - 434. Is 1/(-3)*(-7 + m) a composite number?
True
Let u(a) = -2*a. Let g be u(2). Let v = g - -6. Suppose -434 = -2*q - 4*b, -5*q + 0*q + v*b = -1121. Is q a prime number?
True
Suppose -2*k + 50 - 6 = -4*j, -j = 3. Is k/8 - (-465)/1 a composite number?
False
Let i(o) = 3*o**3 + 9*o**2 - o + 3. Let f(u) = 2*u**3 + 8*u**2 + 3. Let q = 11 + -7. Let b(c) = q*f(c) - 3*i(c). Is b(4) prime?
True
Let z(w) = -2 + 6 - 3*w - 2. Let i be z(-2). Is i + -1 - (-2 - 0) prime?
False
Let a be -2 - 0/1 - -6. Suppose -5*h + 35 = -5*q, 2*h + a*q + q = 7. Suppose -2*k = -148 - h. Is k a prime number?
False
Let d be (-10)/(-1) + (-2 - -1). Suppose -a - 2*g + d + 4 = 0, 1 = -3*a + 2*g. Suppose a*w = 5*w - 18. Is w prime?
False
Let h be ((-3)/6)/(4/(-32)). Suppose -h*q - 3*j = -1034, 411 = 2*q - 2*j - 99. Is q a composite number?
False
Suppose -4 = 3*c - 2*c. Let x be (-22)/8 + 1/c. Is ((-3)/(-1))/x*-79 prime?
True
Let a(t) = -t**3 + 9*t**2 + 4*t + 1. Let y be a(8). Let f = -39 + y. Suppose 5*w = f + 47. Is w composite?
True
Let j be 0 - (-1*1 - 27). Let g = -12 + 17. Suppose -g*c = -c - j. Is c a composite number?
False
Let l(a) = a**2 - 6*a - 13. Is l(-12) composite?
True
Suppose 0 = l - 204 + 59. Suppose 0*v = 2*v + 2*o - 76, 0 = 4*v - 3*o - l. Is v composite?
False
Suppose 0 = 4*w - 25 - 7. Let y = -5 + w. Suppose -5*p + y*t = -179, t + 3*t - 8 = 0. Is p a composite number?
False
Let v be -1 + 2 + 3 + 0. Suppose -2*h + 240 - v = 0. Is h a composite number?
True
Let p(u) = u**3 + 2*u**2 - 4*u + 2. Is p(2) a prime number?
False
Let f = -7 - -9. Let p(w) = 5*w**3 - 2*w**2 + w + 1. Is p(f) prime?
False
Let n be 6/4*2 - -481. Let m = -249 + n. Is m prime?
False
Let m = -4 - -7. Let w(v) = 706*v - 4. Let q be w(m). Is q/10 + 4/(-10) prime?
True
Is 5 + -2 - (-1 - 303) a composite number?
False
Suppose -2*b = -220 - 568. Is b a prime number?
False
Suppose 0 = y - 2*y. Suppose y*p - 38 = -2*p - 5*w, 3*p + w - 57 = 0. Suppose a = 75 + p. Is a prime?
False
Let r be ((-12)/(-10))/(2/5). Suppose -u - u - 2*p = -138, 0 = -r*u + 2*p + 197. Is u prime?
True
Let m = 1130 + 467. Is m composite?
False
Is 7632/32 + 1/2 a composite number?
False
Suppose -4*g - 1515 = -v - 0*v, -4*g = 4*v - 6040. Is v a composite number?
False
Let t(n) = 9*n**3 - 2*n**2 + n - 1. Let x = 7 + -5. Is t(x) a prime number?
False
Let z(v) be the third derivative of v**6/120 + 13*v**5/60 + v**4/24 - 17*v**3/6 + 3*v**2. Is z(-12) composite?
True
Suppose 0 = -s - 0*s + 5*v + 26, -s - 3*v + 2 = 0. Let k(r) = r**3 - 10*r**2 - 3*r - 9. Is k(s) a prime number?
True
Let c be (-12)/(-28) + (-135)/21. Let t = c - -16. Is t composite?
True
Let j = 10 - 6. Suppose -80 = -2*z + 3*v, 50 = 4*z - 3*z - j*v. Is z a composite number?
True
Let a(z) = -z**3 + 6*z**2 + 7*z + 10. Let o be a(7). Suppose -o*d - 481 = -11*d. Is d a prime number?
False
Let t(g) = 5*g**3 + 3*g**2 - 9*g. Let p(o) = -9*o**3 - 6*o**2 + 17*o. Let h(a) = -a**2 + 5*a + 6. Let s be h(5). Let r(k) = s*p(k) + 11*t(k). Is r(5) prime?
False
Let i be ((-8)/(-5))/(-4)*-5. Let z be i + 0/(4/2). Suppose -z = -2*t + 4. Is t composite?
False
Let x be 5/(-10)*(0 - -14). Let a = x - -7. Suppose -3*s = a, s - 435 = -3*p - 2*s. Is p a composite number?
True
Let f(w) = 2*w**3 - 4*w**2 - 3. Let y be f(6). Let i = y - 152. Suppose -4*x = i - 401. Is x prime?
True
Suppose 0 = l - 114 - 30. Suppose m - 53 = -r, -4*r - 5*m + 68 + l = 0. Is r prime?
True
Let q be ((-2)/6)/((-2)/(-6)). Let m = 3 + q. Is (3 + -1)*65/m a prime number?
False
Let t = 0 - 57. Let i = 83 + t. Let g = i + -12. Is g a prime number?
False
Let p(m) = 112*m**2 - 3*m + 1. Let d = -25 + 27. Is p(d) prime?
True
Let b(u) = u**3 + u**2 + u + 3. Let h be b(0). Suppose 3*i - 20 = 2*m, -9 + 59 = -5*m - h*i. Let t = m - -21. Is t composite?
False
Let l(p) be the third derivative of p**4/24 + p**3/2 + 3*p**2. Let u be l(-7). Let f = u + 71. Is f composite?
False
Let v(o) = -o + 6. Let f be v(7). Let z = f + 1. Suppose z*x = 5*x - 50. Is x a composite number?
True
Let w = -34 - -68. Let f = w - -19. Is f composite?
False
Let s(l) = -5*l**2 + 5*l. Let h(b) = -5*b**2 + 6*b - 1. Suppose -5*c - 4 + 19 = 0. Let n(f) = c*h(f) - 4*s(f). Is n(-2) a prime number?
False
Let p be 60/6 - 6/(-2). Suppose -4*g + 3*g = 2*q - 11, 0 = 3*g + 2*q - p. Suppose h + 2*j - 71 = 0, j + g = 4. Is h a prime number?
False
Let k(l) be the second derivative of l**5/20 + l**4/12 + l**2 - l. Let h be k(-2). Is 0 - (0 + h - 51) a prime number?
True
Let s(a) = -a**3 - 5*a**2 + a - 2. Let x(i) = i**2 - 4*i + 5. Let n be x(4). Suppose 2*k + 35 = -n*t, 4*k - k - 21 = 3*t. Is s(t) a prime number?
True
Let f = 54 - 17. Suppose 4*s = 4*o + 84, o + 2*s + s = -f. Is (-5)/o + (-214)/(-5) a prime number?
True
Let j(k) = 18*k**2 - 3*k + 3. Let w = 2 - 0. Let x be j(w). Suppose -u = -3*z - 30, 2*z + x = 2*u + u. Is u composite?
True
Suppose -19*p + 21*p - 194 = 0. Is p a prime number?
True
Let d(h) = -4*h**3 - 1. Let n be d(-1). Suppose 0 = -4*z - 5*r + 16, 0 = -n*z - 2*r + r + 1. Is 0 + z - 0 - -36 composite?
True
Let h(v) = -v**3 + 12*v**2 + 11*v - 9. Is h(10) prime?
False
Let h = 69 + 10. Is h prime?
True
Let i(g) = -g**3 + 3*g**2 + 5*g - 3. Let r be i(4). Let u = -1 + r. Suppose 52 = -u*z + 4*z. Is z prime?
True
Let d(q) be the third derivative of q**5/60 + q**4/6 + 5*q**3/6 - q**2. Let k be d(-4). Suppose -26 = -k*t + 9. Is t a composite number?
False
Let u(r) = -r**2 - 7*r + 7. Let j be u(-8). Let l = 22 + j. Is l composite?
True
Suppose 32 = -r + 5*r. Let f(z) = -3 + 5 + 2*z**2 - 5*z - z**2. Is f(r) prime?
False
Suppose -4*g + 207 + 601 = 0. Is g composite?
True
Let p = -468 - -679. Is p composite?
False
Suppose 0*o - 3*o + 4*p + 16 = 0, -4*p - 24 = -5*o. Let w(k) be the third derivative of 7*k**4/24 + 5*k**3/6 + k**2. Is w(o) a prime number?
False
Suppose -5*w + 9 = -21. Suppose 2*b = w*b - 132. Is b prime?
False
Let h = -254 - -130. Let w = -73 - h. Is w prime?
False
Suppose 4*q + 3 = 39. Let r(p) = -p**2 + 14*p - 8. Is r(q) prime?
True
Suppose 3*i + 5907 = 3*n, 3*n - 2*i - 2*i - 5903 = 0. Is n prime?
True
Let p(l) be the third derivative of 47*l**5/30 + l**4/12 - l**3/6 - 2*l**2. Is p(1) a composite number?
True
Let m = -54 + -13. Is 1/((-135)/m - 2) prime?
True
Suppose -485 = -4*t - t. Suppose 3*w + 4*s - 85 = -0*w, -3*w + 2*s + t = 0. Is w a prime number?
True
Suppose 36 = v - 4. Is (5/4)/(2/v) composite?
True
Let w = 3990 - 2263. Is w prime?
False
Suppose 2*d + 9 = -1. Is (-2)/d + 48/5 a prime number?
False
Is (1959/(-12))/((-1)/4) a prime number?
True
Let f = -258 - -605. Is f a composite number?
False
Let i = 33 + -16. Let l = i + -10. Suppose 0 = -2*o + l*o + 4*c - 615, -391 = -3*o + 2*c. Is o prime?
True
Is 2287 - (-3 - 10/(-2)) a composite number?
True
Let j = -2977 - -6140. Is j a composite number?
False
Suppose 2*r + 94 = 4*r. Is (-1 - 1)/((-2)/r) prime?
True
Let j be 288/(-1) + (3 - 5). Let r = -129 - j. Is r a composite number?
True
Suppose 0 = -3*h + 25 - 10. Suppose 0 = -h*s - 5*r - 495, -2*s + 5*r - 68 = 130. Let t = 188 + s. Is t a prime number?
True
Suppose 5*v - 2415 = 5*c, 3*c - 1421 = -3*v - c. Is v prime?
True
Is (-367)/(-2) - (-33)/22 prime?
False
Suppose -3*y + 3*t = 4*t, -4*y - t = 0. Suppose l - 91 = -5*x + 185, y = 5*x - 4*l - 271. Is x composite?
True
Let f = -915 + 1604. Is f a composite number?
True
Let r(b) = -b**3 - 7*b**2 - 9*b - 5. Let t be r(-6). Let a = -6 + t. Is a composite?
False
Suppose 0 = -4*r - x + 247, 3*r = -3*x + 101 + 82. Is r a prime number?
False
Suppose 4*g = -3*w + 29, -13 = -4*w - g + 4. Is 1315/15 - 2/w a composite number?
True
Let l be ((-236)/(-10))/((-1)/(-5)). Suppose -4*p + 509 = -3*s, -4*p = -5*s - l - 381. Is p a composite number?
False
Let a = 249 + 380. Is a a composite number?
True
Let a(w) = 7*w**3 - 16*w**2 + 18*w - 20. Let s(t) = 11*t**3 - 24*t**2 + 27*t - 30. Let u(p) = 8*a(p) - 5*s(p). Is u(7) composite?
True
Let u be 1/(3/15*1). Suppose 16 = -z + u*z. Suppose 5*f - z*k - 168 = -k, -2*k - 167 = -5*f. Is f prime?
False
Is 0 - (-176 - 9 - (1 - 3)) a composite number?
True
Let j = 1058 + -669. Is j prime?
True
Let z(b) = 3*b**3 + 8*b**2 + 5*b + 4. Suppose -3*d = 5*a + 16, 18 = -2*d + a + 3*a. Let l be z(d). Let n = 