(-2)/(-7) - v/d composite?
False
Is 386*(5 - (1 + 3)) composite?
True
Let w be -6*((-6)/(-9))/(-1). Is w/(-6) - (-1077)/9 composite?
True
Suppose 2*u + 2*u - 12 = 0. Suppose u*z = -376 + 1045. Is z a composite number?
False
Suppose 3*v + 10 = 8*v. Suppose 5*g = v*g + 231. Is g a prime number?
False
Suppose 2*g + 1393 = 3*a, 1421 = 3*a + g + 4*g. Is a prime?
True
Let p = -23 - -25. Suppose -4*r = p*r - 276. Is r a prime number?
False
Suppose 31923 + 8652 = 15*x. Is x prime?
False
Let x = -943 + 1579. Suppose x = 5*r - 3*u, 0 = -2*r + u - 6*u + 273. Suppose 0 = 5*l + 3*n - 251 - r, 3*n + 94 = l. Is l composite?
False
Let l = -136 + 249. Is l a composite number?
False
Let s = -15 + 19. Suppose 1285 = 5*o + 2*q, -o = -s*o + 4*q + 797. Is o a composite number?
True
Let m(v) = -2*v**2 + 4*v + 8. Let r be m(-7). Is (-11 + 9)*r/4 a prime number?
True
Suppose 0 = w - 3*r - 754, -4*w + 5*r + 3816 - 807 = 0. Is w a prime number?
True
Suppose 26 = -5*z - 2*q, z + z + 2*q + 8 = 0. Let d be 2/z*-18*1. Is 3/(-2)*(-76)/d a composite number?
False
Let h be ((-4)/8)/(1/324). Let q = h - -342. Let z = 329 - q. Is z prime?
True
Suppose 3*o - y = -3*y + 1197, 3*y - 1996 = -5*o. Is o a prime number?
True
Suppose 5*z = 2*d - 17, 24 = 3*d + z + 7. Let m = d + 13. Is m a composite number?
False
Suppose 7*q = 2*q + 2870. Suppose 3*m - m = q. Is m composite?
True
Suppose -1700 = -3*j - 5*n, -533 = -j + 2*n + 30. Is j a composite number?
True
Let w be (-457)/(-3) + (-3)/9. Suppose 3*d - d = 2, -3*f - 310 = 5*d. Let l = f + w. Is l composite?
False
Suppose 3970 + 10400 = 10*a. Is a composite?
True
Is (4/12)/((-1)/(-843))*5 a prime number?
False
Let p(w) = -w**3 - 16*w**2 + 8*w + 26. Is p(-21) a composite number?
False
Let l(h) = 7*h**3 - 4*h**2 - 7*h + 5. Is l(5) prime?
False
Suppose 46*p = 45*p + 115. Is p a prime number?
False
Let k = -113 - -372. Is k a prime number?
False
Let i(p) = p**2 + 8*p + 6. Let h be i(-8). Let l(g) = g**3 - 2*g**2 - 2*g - 5. Is l(h) prime?
True
Let z(b) = 923*b**2 + 3*b - 7. Is z(2) prime?
True
Let q = 9 - 6. Suppose -q*c + 7 + 302 = 0. Is c prime?
True
Suppose -3*q + 12746 = s, 2*q + s - 4248 = q. Is q a prime number?
False
Suppose r + m - 6 = 0, 6*m - 3*m = -4*r + 20. Suppose q - 572 = -3*w, r*w - 4*q = 5*w - 578. Let g = 273 - w. Is g a composite number?
False
Let n(p) = -4*p**2 + 5*p - 5. Let i(s) = -7*s**2 + 11*s - 10. Let c(b) = -3*i(b) + 5*n(b). Let y = 8 + -16. Is c(y) a composite number?
True
Suppose 697 = v - 0*x - 3*x, 0 = v - 2*x - 695. Is v a prime number?
True
Is 11/44 - 1126/(-8) composite?
True
Let y = 2 - 0. Is 5/15*870/y a composite number?
True
Let j(p) = -p - 48. Let g be j(0). Let r = g + 83. Is r a composite number?
True
Suppose 1 = -5*a - 14. Let w be (-39)/(-9) + 1/a. Is (-33)/(1 + (-10)/w) prime?
False
Suppose j = -0 + 2. Let q be ((-21)/j)/(4/(-8)). Suppose -2*k = -3*k + q. Is k composite?
True
Suppose -5*l + 21032 - 3567 = 0. Is l a prime number?
False
Let g(n) = -48*n - 3. Let r be g(-7). Let x = -40 + r. Is x prime?
True
Suppose -q + t = -4, -22 + 6 = -4*q + t. Suppose h - 219 = q*a, -2*h + 4*a = 2*a - 468. Is h composite?
False
Let z = -25 - -24. Is (z + 0)*(-436 + -3) a composite number?
False
Is 149/((33/18 - 2)*-2) prime?
False
Let b(o) = -o**2 - 4*o - 13. Let h be b(-11). Let k(x) = 73*x**3 + x**2 - x. Let f be k(1). Let c = f - h. Is c prime?
True
Let u(s) = s**2 + 3*s + 2. Let d be u(-2). Suppose 6*k + 10 = k, -4*a - k + 674 = d. Is a a composite number?
True
Let b(w) = -74*w - 9. Is b(-13) prime?
True
Let m be 3*2*4/6. Let y be (2 - 4)/(2/(-436)). Suppose -m*c - y = -8*c. Is c a prime number?
True
Suppose -2*p - 41 = -121. Suppose 4*v - 16 - p = 0. Is v a prime number?
False
Let l be 2*(-3 + 2) + 0. Let z(d) = d**3 + 3*d**2 + 4*d + 2. Let y be z(l). Is -2*(y - 99/6) a composite number?
False
Suppose 0 = m - 3*c - 6 - 47, -2*m = c - 134. Is m a composite number?
True
Let q = 2 - 0. Let w(i) = -i + 0*i + 4*i - 5 + 6*i**q. Is w(-4) a composite number?
False
Suppose 0 = -v - 4*r + 3*r + 9, 0 = -3*v - 4*r + 30. Suppose v*g - g = 25. Suppose 5*t + g*i - 105 = 0, -2*t + 16 + 24 = i. Is t a prime number?
True
Let v = 1011 + 202. Is v composite?
False
Suppose 3*t - 9 = h, 5*h = 2*h - 9. Suppose p + t*u = 232, -2*u + 318 = -4*p + 1206. Suppose 5*y = -x + 255, -4*y + 4*x - 20 = -p. Is y composite?
True
Let d(o) = -3*o - 2 + 1 - 1. Suppose 4 = -j - g + 1, 5*j + g = -23. Is d(j) composite?
False
Suppose -b - v = -4*b - 2, -5*v = 3*b - 10. Suppose b*i + 28 = 2*i. Is i a prime number?
False
Let b = 345 - 78. Suppose -3*r = 2*r. Suppose r*a = -3*a + b. Is a a prime number?
True
Let i be ((-4)/5)/(2/50). Let m = -12 - i. Is (-6 + m)/(1/7) composite?
True
Let w be (-2 - (2 - 2)) + -4. Let v = w + 6. Suppose v = -5*z - 4*t + 46, 4*t + t + 15 = z. Is z composite?
True
Suppose 3*p - 65 = 148. Is p prime?
True
Let j be 132/1 - (1 + 1). Suppose -2*u - j = -2*l, -5*l + 130 = -3*l + 2*u. Suppose 3*h = p + l, 5*p + 39 = 2*h - 0*h. Is h a composite number?
True
Suppose k - 3*k = 106. Is (k + 1)/(2*-1) a composite number?
True
Let y(a) = a**3 + 5*a**2 - 2*a + 2. Let o be y(-3). Suppose -o = -5*b - 1. Suppose -b*n + 42 = -23. Is n a prime number?
True
Let j be (-2)/5 + (-1042)/(-5). Suppose 4 - j = -4*o. Is o prime?
False
Let y = 1154 + -165. Is y prime?
False
Suppose 3*t - 3*g + 4*g = -20, -g = 5. Suppose 0 = -2*p + 2 - 0. Is p + 81 - (-2 - t) prime?
True
Suppose 3*s + 2*s = 5*b + 570, -4*s + 441 = b. Is s composite?
True
Let w = -2 + 3. Let j be ((-40)/15)/((-2)/3). Is (-3 + j)*(54 + w) composite?
True
Let n = 12 - -39. Is n a composite number?
True
Let q = -10 - -14. Suppose 5*d = q*k - 69 - 1362, -713 = -2*k + 5*d. Is k composite?
False
Let x be ((-2)/(-5))/(2/(-10)). Is (212/8)/((-1)/x) composite?
False
Let o(g) = g**3 - 9*g**2 + 8*g + 5. Let j be o(8). Suppose 7*s + 2*t = j*s + 22, -4*t + 2 = s. Is s composite?
True
Let k(i) = -5*i**3 - 3 + 4*i**3 + 12*i**2 - 5*i**2. Suppose 4*q - 10 - 2 = 0. Is k(q) composite?
True
Suppose 0 = 2*l - 0 - 4, 3*l - 490 = -4*d. Suppose 0 = 2*y - 3*s - d, 0 = 3*y - s - 3*s - 181. Is y composite?
False
Let l = -53 - -102. Is l a composite number?
True
Let q(x) = 2*x**3 + 2*x**2 + 8*x**2 - x**3 + 8 - 2*x**3 - 4*x. Is q(7) prime?
True
Suppose 7*o - 11*o = 288. Is o/(-5) + 10/(-25) prime?
False
Suppose -p - 2 = t, 2*t + 2 - 4 = -5*p. Let z(v) = 2*v**2 + 7*v + 6. Let u(n) = -n**2 - 7*n - 5. Let r(y) = p*z(y) + 3*u(y). Is r(-7) prime?
False
Suppose 0 = -4*o + 592 + 764. Suppose 5*u - h = 2*h + 565, o = 3*u + 5*h. Is u a composite number?
False
Let x(n) = 2*n - 2*n - n**3 + 13 + 220. Is x(0) a prime number?
True
Is (-6)/(-15) - (-3933)/5 prime?
True
Suppose 0*g + 1 = g. Let o(s) = 0*s + 22*s - 2*s + 17*s. Is o(g) composite?
False
Let v = 110 - -209. Is v composite?
True
Let a(d) = -d + 8. Let m be a(10). Let f(w) = -9*w + 1. Is f(m) prime?
True
Let v be 17 + 0 + (-4)/(-2). Suppose -2*i + v = -i. Is i composite?
False
Let x = -13 - -14. Let w be (-19)/(-4) + (-2)/(-8). Is x + w/(5/38) composite?
True
Let p(u) = 3*u + 2. Let w be p(-2). Suppose -3*v - 60 = v. Is (-1 + w)*(v + 2) a prime number?
False
Let g = 2 - -1. Suppose -2*l - g*l = -145. Let o = l - 16. Is o a prime number?
True
Suppose 273 = t - 4*z, -10*z + 874 = 3*t - 11*z. Is t a prime number?
True
Let j be 10*21 + 0/(-3). Suppose -196 - j = -2*y. Is y a prime number?
False
Let q(c) = 111*c - 1. Let r be q(-1). Let k be ((-84)/(-8))/(6/r). Let f = k - -315. Is f prime?
False
Suppose -2*n = -2*z + 3*n + 7175, 5*z - 17963 = 4*n. Is z a prime number?
False
Let t(d) = 2*d**2 + 5*d + 2. Let c be t(-3). Let x(s) = 33*s - 2. Is x(c) a prime number?
True
Let w(m) = -230*m + 39. Is w(-11) a composite number?
True
Let o = -3 + 4. Is ((-1)/1)/(o/(-47)) prime?
True
Suppose 0 = -8*o + 7968 - 1672. Is o prime?
True
Suppose 133 - 340 = -3*i. Is i a prime number?
False
Suppose -d + 7 = -h, h - 2*h = -2*d + 12. Is 11/(-4)*6*h a prime number?
False
Let c = -112 - -197. Is c composite?
True
Let w = 1 - -1. Suppose 7*d - 3*d = 0. Suppose -w*j + j + 19 = d. Is j a composite number?
False
Let o(i) = 3*i**3 - 6*i**2 + 3*i + 2. Let q(j) = j**3 - 2*j**2 + j + 1. Let m(l) = 3*o(l) - 8*q(l). Let x be m(4). Suppose -x - 45 = -h. Is h prime?
True
Let t be (-1 - 29)*60/25. L