= 3*c - 6*c. Is (1/(-3))/(v/(-1896)) a composite number?
False
Let o(m) = -45*m + 8. Let p(c) = -44*c + 7. Let r(q) = 2*o(q) - 3*p(q). Is r(4) prime?
True
Let r(g) = -g**3 - g**2 + g - 1. Let p(m) = -m**3 - 2*m**2 - 1. Let a(s) = 2*p(s) - 3*r(s). Is a(4) prime?
True
Let l(w) = 0*w + 2*w**2 + 0*w**2 - w - 8*w**3 - 1 - w**2. Is l(-1) a composite number?
True
Suppose 209 = 2*v - 21. Is v prime?
False
Is (5/(-20))/(2/(-7096)) composite?
False
Suppose 3*v + 3*b = -15, 0*v + 3*b = 4*v - 1. Is (-33)/((-1)/v + -2) prime?
False
Suppose 90 - 278 = a. Let s = a + 497. Is s prime?
False
Let t(q) = -5*q**2 + 6*q + 80. Let m(r) = 6*r**2 - 7*r - 81. Let p(g) = 6*m(g) + 7*t(g). Is p(0) a prime number?
False
Suppose -3*b + 164 = 3*k + 2*b, b - 107 = -2*k. Is k prime?
True
Let i(w) = w. Let y(v) = -116*v**3 - v**2 + 6*v + 1. Let n(d) = -5*i(d) + y(d). Is n(-1) composite?
True
Let o be ((-1)/3)/((-4)/60). Suppose 3*d - q = -3*q + 13, -o*d + 13 = -q. Is 2 + d/(6/16) composite?
True
Suppose 3*q - 8*q + 3*a = -557, -339 = -3*q + 3*a. Is q prime?
True
Let u(v) = -4*v**3 + 5*v**2 + 4*v - 6. Let x(h) = -3*h**3 + 4*h**2 + 3*h - 5. Let y(z) = 2*u(z) - 3*x(z). Is y(4) prime?
True
Suppose 740 = 5*h + k, 0*k + 432 = 3*h + 3*k. Is h prime?
True
Suppose u + 85 + 130 = 0. Let p = u - -312. Is p*2/(-2)*-1 composite?
False
Suppose -877 = -3*z + 2*z. Is z a composite number?
False
Let w(b) = -b**3 + 5*b**2 + 6*b + 2. Suppose 5*j - 15 = 15. Is w(j) composite?
False
Let h = 35 + 124. Is h a prime number?
False
Let c be 0 - 127 - (1 + 0). Let b = 51 - 55. Is b/1 - -3 - c prime?
True
Let r(t) = t + 11. Let d be r(-6). Suppose 0 = d*y - 407 - 518. Is y composite?
True
Let u(r) = 337*r**2 + r + 1. Is u(-1) prime?
True
Suppose -2*v - b - 39 = -15840, 0 = -v + 5*b + 7906. Is v prime?
True
Let z be (-5)/(-1 + (4 - 2)). Is 291/15 + 2/z a composite number?
False
Let t = 956 - -1367. Suppose -2*k + 5*h + 1149 = 0, -4*k + 6*h = h - t. Is k prime?
True
Suppose 6*p - p = 25. Suppose p*j = 5, 0*h - 2*j - 260 = -2*h. Is h composite?
False
Suppose 3*p - 4*n = 285, n = 2*n + 3. Is p a prime number?
False
Let b(s) = 2*s**2 - 3*s - 22. Is b(-5) prime?
True
Let l = 1598 - -503. Is l a composite number?
True
Let r = 80 - 55. Let u = 12 + r. Let h = u - -318. Is h a composite number?
True
Suppose -2*w - 7*w = -1683. Is w composite?
True
Let y(p) = -p**3 + 6*p**2 + 8*p - 2. Let c be y(7). Suppose -59 = -4*q + c. Suppose 2*d = 54 + q. Is d a prime number?
False
Let f(o) = -8*o + 7. Let a be f(4). Is -4 - (a - (-3 - -4)) composite?
True
Let y = 9 + -5. Let i(r) = -7*r**2 - 5*r + 2. Let n be i(y). Let w = -91 - n. Is w a prime number?
False
Let p(c) = -c**2 + 77*c**3 + 0*c**2 + 0*c**2 + 0 + 1. Is p(1) composite?
True
Suppose -4*o + 5*t + 31 = 3, -4*t = 3*o + 10. Suppose 31 = o*i - 61. Is i a prime number?
False
Let w(l) = 15*l. Let m be w(1). Suppose 0*t - m = 2*t + 3*f, 0 = -4*t + 3*f + 15. Is 33/3 - (0 - t) a prime number?
True
Let t(x) = 32*x + 9. Is t(6) prime?
False
Suppose 5*r = -5*d + 270, -3*r - 2*r = -4*d + 171. Let v be 1/4 - 113/4. Let b = d + v. Is b a prime number?
False
Let a = 277 + 39. Is (-1*a/4)/(-1) prime?
True
Suppose -1466 = -6*b + 2728. Is b a composite number?
True
Suppose -13 - 5 = -2*c. Suppose 1 + c = -5*o. Is ((-10)/(-3))/(o/(-6)) composite?
True
Let y(a) = -1 - 2*a**3 + 2*a**3 - 5*a - a**3. Is y(-5) prime?
True
Let l be (3 + -2)/((-2)/8). Let c(x) be the first derivative of x**4/4 + 4*x**3/3 - 3*x**2 - x - 4. Is c(l) composite?
False
Let t = -80 - 138. Is t/(3/(-1) - -1) a composite number?
False
Let y(w) = 6*w + 1. Suppose -p + 12 = -3*b, -3 + 18 = -5*b. Suppose -j - 9 = -5*j - 3*x, 2*j + 3*x - p = 0. Is y(j) composite?
False
Suppose 2*d - 1130 = -3*d. Let w be d/4*(18 - -2). Suppose 0 = -4*f - 102 + w. Is f a composite number?
False
Suppose -3 = 3*a - 18. Suppose b = 5*v - b - 57, 2*v = a*b + 6. Suppose 0 = -2*s + g + v, 3*s + g + 4*g = 26. Is s composite?
False
Suppose -13 = -5*h + 27. Let x = -222 - -456. Is x/10 + h/(-20) composite?
False
Suppose 0*y = -y + 470. Is 2/(-6) - y/(-15) composite?
False
Suppose -5*k - 10 = -10*k. Suppose 10 = 5*f + k*b - 0*b, 3*f = 4*b + 6. Suppose f*p + 2 = 3*p. Is p prime?
True
Let y(i) = -43*i**3 - 3*i**2 - 3*i - 2. Let n be y(-2). Suppose 0 = 2*s + s - n. Suppose -d - f = 2*d - 366, s = d - 3*f. Is d composite?
True
Let r(d) be the third derivative of d**5/10 - d**4/12 + d**3/2 - 8*d**2. Is r(5) a prime number?
False
Let w(p) = 23*p + 7. Let a be w(-8). Let f = -71 - a. Is f prime?
False
Let d = -5 - -17. Suppose -5*n + 32 = -3*b, -3*b - b - d = n. Suppose -n*z + 498 = -2*z. Is z a composite number?
True
Let q be (-2)/3*-3 - -3. Suppose -q*y + 4 + 6 = 0. Suppose -3*w = -5*h + 35, -y*h = -0*h + 3*w - 14. Is h composite?
False
Let q(x) = -3 + 1 + x + 12*x + 4. Is q(5) a prime number?
True
Let b be -3*(21834/(-1))/(-3). Is b/(-45)*(-5)/(-2) composite?
False
Is (-2871)/(-36) + 3 + (-1)/(-4) a composite number?
False
Let y be (3 - (-8)/(-2))*1. Let l be 251 + (3 - 1) + y. Suppose 887 = 5*p + l. Is p a composite number?
False
Let c(n) = n**3 + 10*n**2 - 15*n - 1. Suppose -5*u = -0*u + 50. Is c(u) composite?
False
Let m be 4/(-10) + (-64)/(-10). Let c(p) = -p**2 - 6*p + 2. Let k be c(-6). Suppose q - 39 = -m*f + 2*f, k*f = -5*q + 177. Is q a composite number?
True
Is 26/(-91) + 268/7 prime?
False
Suppose -4*y = -2*y + 4*s - 4, -5*y - s - 17 = 0. Let o(p) = -3 - 31*p - 16*p + 10*p. Is o(y) a composite number?
True
Suppose 829 = 4*v - 5*g, -1049 = -4*v - v + 2*g. Is v a composite number?
False
Let b be 0 + 4/(4/3). Suppose -2*u + 3*z = -26, -b*u - u - 4*z = -52. Is u a prime number?
True
Suppose 11*d - 15*d = -6244. Is d composite?
True
Let r be 24/(-108) + 4/18. Suppose 3*j - 42 = j. Suppose r*m = m - j. Is m a composite number?
True
Let i = 4 + -5. Let u be (0 - i)/(2/10). Is (-6)/5*u/(-1) a composite number?
True
Suppose -h - 25 + 111 = 0. Let m = -30 - -63. Let s = h - m. Is s prime?
True
Let d(k) = 88*k + 1. Suppose -w + 2 = -0. Let o be d(w). Let i = o - 14. Is i a composite number?
False
Let c(y) = -10*y - 7 + 7. Let m be c(2). Let x = m - -69. Is x a prime number?
False
Suppose -5*k + 12864 = l, -3*l + 2570 = -2*k + 3*k. Is k a prime number?
False
Let w(l) = -90*l**3 + 2*l - 3*l + 0*l - 2*l**2 + 0*l. Let y be w(-1). Let z = 144 - y. Is z prime?
False
Suppose 173 = 2*k - 21. Is k prime?
True
Let c(j) be the third derivative of -j**4/3 + 5*j**3/6 + j**2. Let r be c(-4). Let d = r - 15. Is d prime?
False
Suppose -262 = -l + 31. Is l composite?
False
Suppose -4*w = 5*n + 27, 0 = -5*w - 4*n + 18 - 54. Let s = 2 + w. Is (15/s)/(-1)*10 a prime number?
False
Let m(l) = 3*l**3 - 2*l**2 + 2*l - 1. Let c be m(1). Suppose 0 = -z + c*z - 8. Suppose -3*h + 25 + z = 0. Is h composite?
False
Let y(a) = -a**3 - 11*a**2 + 2. Let x be y(-11). Let z = 23 - x. Suppose -z - 55 = -4*s. Is s a prime number?
True
Let k(a) = -a**3 - 9*a**2 - a - 6. Let r be k(-9). Suppose -2*v + 43 = r*n, 2*v - v = -n + 22. Let w = 68 + v. Is w a prime number?
False
Suppose 1 = 2*i - 7. Let n be (1/(-2))/((-1)/4). Suppose n = 3*y - 7, 4*z = -i*y + 40. Is z a prime number?
True
Let k(l) = l**3 + 3*l**2 - 2*l. Let y be k(-3). Let p be y*(1 + (-2)/4). Suppose p*z + 102 = 5*n - z, 12 = n - 5*z. Is n a prime number?
False
Let t = 1 - -1. Suppose -5*x = -43 - 62. Suppose -t*b + x = b. Is b a composite number?
False
Suppose 0 = 4*g - 294 - 2. Is g prime?
False
Let g be (-10)/6 - 6/(-9). Let x(j) = -222*j**3 - 2*j - 1. Is x(g) prime?
True
Let m be 22 - (-1 - 1 - -2). Suppose 0 = 2*d + j - 3*j - 10, -5*j = -4*d + m. Suppose -37 = -d*n + 20. Is n composite?
False
Let c be (-29277)/(-27) - 2/(-3). Suppose 5*d - c = -160. Is d a prime number?
False
Is (-2142)/(-4) + 4*3/8 a composite number?
True
Let n be (-36)/8 - 6/(-4). Let y be -1*(-25 + n) - 2. Let l = -11 + y. Is l prime?
False
Suppose -24 = 3*k + k. Is (-190)/k - 2/3 composite?
False
Suppose -2*h + 5*h = -12. Let d(q) = 3 + 0 - 5*q - 5*q**2 + 7*q**2. Is d(h) a composite number?
True
Let r(a) = -158*a**3 + a**2 + 2*a. Is r(-1) prime?
True
Suppose -1296 = -5*w + u, 3*w + 8*u = 4*u + 773. Is w a prime number?
False
Let d(x) = x**3 + 4*x**2 - 4*x + 7. Let c be d(-5). Suppose -4*g + c*g + 154 = 0. Suppose -g - 316 = -3*s. Is s a prime numb