mposite?
False
Suppose 2*r - 1898 = 4*n, r - 7*n + 11*n = 925. Is r a prime number?
True
Let n(i) = i**3 - 5*i**2 - 6*i + 3. Let q be n(6). Is (798/9 - q)*3 a prime number?
True
Suppose 3*g = w - 160 - 433, -2*w = 2*g - 1186. Is w prime?
True
Let m(h) = -h + 5. Let f be m(0). Suppose 4*b - 77 - 53 = 2*u, u = f*b - 161. Suppose -5*i + 127 = b. Is i a prime number?
True
Suppose -9 - 9 = -3*f. Let m(n) = 2*n - 3. Let g be m(f). Let b = g - -2. Is b a prime number?
True
Let x be 3/12 + (-18)/8. Let s(z) = 2*z**2 - 4*z - 1. Let b(k) = 2*k**2 - 3*k - 1. Let m(g) = x*s(g) + 3*b(g). Is m(-4) a prime number?
False
Suppose q - 7415 = -4*m, -5*m - 20 = -0*m. Is q a prime number?
False
Is 11/77 + (-25520)/(-14) a composite number?
False
Let l(c) = -45*c**2 + 3*c + 2. Let k be l(3). Let q be k/(-2) + 3 - 0. Suppose 2*j + 5*w - q = -0*w, 3*j - 291 = -3*w. Is j a composite number?
True
Let b = 277 + 160. Is b a prime number?
False
Let z = 5 + -2. Suppose -2*p = z*p - 1255. Is p a composite number?
False
Let b(a) = a**3 + 3*a**2 + 2*a + 2. Let l be b(-2). Suppose 2*h + 60 = -10. Is l*(h/2)/(-5) prime?
True
Is (12592/32)/(6/4 - 1) composite?
False
Suppose -n + 100 = -6*n. Let z = 14 - n. Suppose -3*k = -71 - z. Is k a composite number?
True
Let a = -20 + 9. Let f(c) = -4*c + 9. Is f(a) a prime number?
True
Let l(q) = -5*q - 4. Suppose -2*s + 2*x + 4 = 0, -s + 9*x - 4*x - 2 = 0. Let a = s + -6. Is l(a) a prime number?
True
Let p(g) = g**2 + 16*g + 9. Let n be p(-7). Let c be (4/(-2))/(4/n). Let a = c - 8. Is a a prime number?
True
Suppose -2*h = 35 - 849. Is h composite?
True
Is 127995/120 - 2/(32/(-6)) a composite number?
True
Suppose 0 = 5*f - 3*f + 738. Let l = 673 + f. Is 8/36 + l/9 a prime number?
False
Let t(m) = -148*m - 3. Is t(-2) a prime number?
True
Is 33068/(-16)*(-5 + 1) prime?
False
Let g(s) = -s**2 - 13*s + 14. Let d be g(-11). Suppose 2*q = d + 2. Is q a composite number?
False
Let c = -52 - -99. Is c prime?
True
Let z(h) = -h**2 - 7*h - 10. Let w be z(-7). Let u be ((-64)/w)/(1/20). Suppose -2*g + u = 5*b, -2*g = -5*g + 3*b + 171. Is g a prime number?
True
Let s = -60 + 162. Let k = s - 20. Is k a prime number?
False
Suppose -2*c - 30 + 232 = 0. Let h be 2/(2 + -1)*c. Let w = -123 + h. Is w a prime number?
True
Let b = 230 + 849. Is b a composite number?
True
Let d(w) = -3*w**3 + 4*w**2 - 3*w. Let s be d(3). Let f = s + 77. Is f composite?
False
Let s(l) = 75*l**3 - l**2 + l + 6. Let j(d) = 76*d**3 - d**2 + d + 7. Let b(y) = 5*j(y) - 6*s(y). Is b(-1) a prime number?
True
Suppose 2*u - 202 = -54. Is u a prime number?
False
Is 1662 - (5 + 2 + -2) composite?
False
Suppose j = -6 - 31. Is -1*0/(-3) - j a composite number?
False
Suppose 0*c + y - 7 = -4*c, 4*c + 2*y = 2. Suppose -n + 5*i = -87, -5*n + 126 = -c*n + 2*i. Is n a prime number?
True
Suppose 2*v = -v + 12, -5*h - 3*v = -27. Suppose 0 = -2*n + 4*x + x - 2, h*x = -3*n + 18. Suppose 3*s + 4*l - 49 = 0, 97 = s + n*s - l. Is s a composite number?
False
Let h(o) = 0 - 3 + 11*o + 4 + o. Is h(8) composite?
False
Let v = 6 - 3. Suppose -5*c - 26 = v*f, f = -4*f - 4*c - 26. Is -1*((-23 - f) + -1) a composite number?
True
Is ((-75)/5 - -1)*-1 a prime number?
False
Let a = 91 + -65. Let r be (4/6)/(4/(-6)). Let z = r + a. Is z composite?
True
Let m(x) = -2*x**2 - x + 479. Is m(0) prime?
True
Let g = -3 + 6. Suppose -4*h + 16 + 4 = v, g*v + h - 16 = 0. Suppose 0 = -2*r - v*p + 35 - 1, -4*p + 91 = 5*r. Is r a composite number?
False
Suppose -2*k = -0*k - 10. Suppose -2*l + 806 = 2*b, -4*b + 1584 = -k*l + 2*l. Suppose -2*a + 2*m + 266 = 0, -4*a + a + b = 3*m. Is a a composite number?
True
Let n(c) = c**3 - 7*c**2 + 6*c + 3. Let o be n(6). Let z(d) = 16*d - 2. Is z(o) composite?
True
Let p(h) = 117*h**3 + h**2 - 1. Let c be p(-1). Let g = c + 200. Is g composite?
False
Suppose 0 = 5*s - 0*s. Suppose t - 142 - 42 = 5*u, s = 3*t + 3. Let y = -18 - u. Is y a prime number?
True
Let h(r) = 2*r**2 + 4*r + 3. Let f be h(-6). Let j = f - 25. Is j prime?
False
Let r be (-233)/((0 - -4)/(-4)). Suppose -152 = -5*i + r. Is i composite?
True
Suppose 0 = -33*q + 31*q + 5906. Is q composite?
False
Suppose 418 = s - 5*z - 255, -4*s - 4*z + 2692 = 0. Is s a composite number?
False
Is (-452)/(-2)*4/8 composite?
False
Let p be (1 - 5)*(-1 + 2). Is 12/p - (-41 - -1) composite?
False
Let b(n) = n**2 + 7*n. Let w be b(-8). Suppose -y + k = -3, -w = -4*y - k + 3*k. Suppose 4*m - 57 + y = 0. Is m prime?
False
Let i = 35 - -39. Is i a prime number?
False
Let j(l) = -25*l + 37. Is j(-6) composite?
True
Let y(u) = u**3 + 5*u + 1101. Is y(0) a prime number?
False
Let d be (8/3)/((-1)/3). Let s(v) = -v**2 - 7*v + 10. Is s(d) a prime number?
True
Suppose 12*y = 9*y + 447. Is y composite?
False
Suppose -l = 3*l + 44. Let q = 4 - l. Suppose 40 = p - i, -q = 4*i - 9*i. Is p composite?
False
Let b(v) = 26*v**3 + 6*v**2 + 5*v - 5. Let j(o) = 25*o**3 + 5*o**2 + 4*o - 4. Let z(g) = -4*b(g) + 5*j(g). Is z(1) composite?
True
Let k = -1847 + 2736. Is k a composite number?
True
Let g be (9/6)/((-6)/(-8)). Suppose -g*r - 2*r = -1172. Is r a prime number?
True
Let z(v) be the third derivative of 13*v**4/24 - 13*v**3/6 + 4*v**2. Is z(8) prime?
False
Suppose 0 = 2*f - 4*f - 5*y + 8, 0 = y. Suppose -4 = -4*m - f*k, 0 = -m + 4*m + 4*k - 2. Suppose m*i = -0*i + 130. Is i a composite number?
True
Let p = 11 + -6. Suppose 4 = -p*w + 39. Let t(c) = -c**2 + 13*c - 3. Is t(w) a composite number?
True
Let h(s) = 123*s**2 - s + 7. Is h(3) composite?
True
Let d be 36/3 + 6 + -3. Let j = d + 10. Is j a composite number?
True
Let t be 10/(-4)*-68*1. Let b(k) = -26*k**2 - 1. Let q be b(2). Let u = t + q. Is u composite?
True
Suppose -3*t = -4*t + 205. Is t a composite number?
True
Suppose -4*z - 4*x + 7396 = 0, z - 1857 = -6*x + x. Is z a composite number?
False
Suppose 0 = 15*t - 10*t - 725. Is t prime?
False
Let q be 318/(-4) + (-5)/10. Let t = q - -289. Is t a composite number?
True
Let a(o) = -5*o**3 + 7*o**2 + 9. Is a(-8) composite?
True
Let s = 71 + 302. Is s a prime number?
True
Let k = 5 + -1. Suppose g - 2*r - 8 = 139, -k*r = -g + 153. Is g a composite number?
True
Is -1*(-38 - 4/(-4)) a prime number?
True
Let b(m) = -m**2 + 2. Let c be b(0). Suppose c*n = -0*n. Suppose -h + 0*h + 3 = n. Is h a composite number?
False
Let o(y) be the third derivative of y**6/120 + 3*y**5/20 - 5*y**4/24 - 3*y**2. Let b be o(-7). Suppose 0 = -4*p + 3*p + b. Is p a composite number?
True
Suppose 7*d + 2*d = 7767. Is d prime?
True
Let k = 12 - -32. Suppose 0 = 4*f - 0*f - k. Is f a prime number?
True
Let o(a) be the second derivative of -a**5/20 + 7*a**3/6 - a**2/2 - a. Let r(b) = -2*b**2 - 3*b - 3. Let v be r(-2). Is o(v) a prime number?
True
Let h = 1631 + -72. Is h composite?
False
Let c = 1 + 0. Let y be -1 + (7 - 2) - 2. Suppose y*w - 115 = c. Is w a composite number?
True
Let c = -17 + 3. Let x = c - -8. Is ((-21)/(-9))/((-2)/x) a prime number?
True
Suppose 2*g + n - 624 = -257, 4*g + 4*n - 724 = 0. Suppose g = 2*p + p. Is p a composite number?
True
Suppose -3*q = 4*t - 12, 3*q + 4*t = -q + 16. Suppose -q*u - u = -425. Is u a composite number?
True
Let z(x) = 112*x**2 + 3*x - 2. Suppose 3 = p + 2*m, 3*m = -0*p + 3*p. Is z(p) a composite number?
False
Suppose 156 = -3*u + d, 3*u + 2*u = -d - 268. Let p = 18 + u. Let v = p + 58. Is v composite?
False
Suppose 5*h - 40 = -0*h. Suppose 5*y - 4*y + h = 0. Is y*30/(-3) - 1 prime?
True
Let j(m) = m**3 + 8*m**2 + 3*m + 25. Is j(-6) prime?
True
Suppose -4 + 20 = 4*q + n, 4*q - 4*n = 16. Is (-68 - -1)/((-4)/q) prime?
True
Let x(w) = -36*w + 1. Let g(j) = -j**3 + 4*j**2 + 5*j - 1. Let n be g(5). Is x(n) prime?
True
Suppose -b - b + 226 = 0. Is b a composite number?
False
Let u = 2 - -1. Suppose 478 = u*s - s. Suppose 4*b + 133 = 5*c - 2*c, -5*c + s = 2*b. Is c prime?
True
Let n = 182 - -111. Is n a composite number?
False
Let f = 4 - -2. Let l = f - 1. Suppose -l*d + 75 = -0*d. Is d prime?
False
Let x(d) be the third derivative of -2*d**6/5 + d**5/30 - d**3/6 - 4*d**2. Is x(-1) prime?
False
Suppose -2*u + 8 = -0*u. Let w = u - -1. Suppose h - 19 = -w*y, 72 = 5*h - 0*y + 2*y. Is h composite?
True
Suppose -v - 2 = -0. Let a = v - 64. Is 2/((-3)/a*4) prime?
True
Suppose -3*v = v - 3*l - 8, -v - 3*l = -2. Suppose -h + 221 = -2*k