/4 + (-1)/(-4) a composite number?
True
Suppose -l + 116 - 22 = 0. Suppose -5*f + 267 = 3*p, f + f = 2*p + l. Is f prime?
False
Let c be 1*(7 - (-2)/(-1)). Suppose -4*o + c = -7. Is (-33)/(-4)*8/o composite?
True
Let u(r) = -6*r + 1. Let s(q) = 6*q + 3. Let w be s(-3). Is u(w) prime?
False
Let j(m) = 1 + 9*m + 1 + 101*m + 75*m. Is j(1) a composite number?
True
Let q(b) = -b + 1. Let u be q(-1). Is (-23*u)/((-10)/5) a composite number?
False
Let j(k) be the third derivative of -k**6/120 - k**5/12 - k**4/6 - k**3 - 2*k**2. Let o be j(-7). Suppose 45 = 3*f - o. Is f composite?
True
Suppose -2 = 5*a + 3*m - 3, -2*m = a + 4. Suppose a - 18 = -4*l. Suppose -z = -l*z + 177. Is z a prime number?
True
Suppose 2*m = -0*q - 3*q + 223, 2*m = -5*q + 373. Suppose -4*u + q = -145. Is u prime?
False
Let l = -99 - -188. Is l composite?
False
Let q(i) = -12*i - 5. Is q(-5) prime?
False
Suppose -3*m - w + 61 = -6*w, -w + 66 = 4*m. Suppose -2 = -q + m. Is q composite?
False
Let s = 5274 + -3343. Is s composite?
False
Let t(y) = 3*y**2 - y - 10. Let p be t(-10). Let h = 517 - p. Is h prime?
False
Let z be (-1)/(2*(-1)/2). Suppose -17 + z = -4*r. Is (-4)/(-8) - (-306)/r a prime number?
False
Suppose 3*s - 2*s - 7 = -n, s = n + 1. Suppose -s*m = -m + 6. Is m*(555/(-6))/5 prime?
True
Let t = -16 - -173. Is t composite?
False
Is 2/3 + (-3)/9*-5197 prime?
True
Let a(t) = t**3 + 8*t**2 + 4*t - 2. Is a(-7) a composite number?
False
Suppose 740 = 13*t + 285. Is t composite?
True
Let x(z) = -4*z**3 + 7*z**2 - 4*z + 16. Is x(-7) a prime number?
True
Suppose 3*s + 3*t - 288 = 0, 3*s - 283 = -t - 3*t. Suppose 69 + 51 = 5*j + 5*f, -f - s = -4*j. Is j a composite number?
True
Let o(i) = -i**3 + 6*i**2 + 7*i + 5. Let m be o(7). Suppose 0 = -a - 5*x + 210, m*x = 3*a - 5*a + 415. Is a composite?
True
Let n(i) = -3*i**3 + i**2 + 3*i + 6. Let l(r) = 7*r**3 - 2*r**2 - 7*r - 12. Let k(h) = 2*l(h) + 5*n(h). Is k(0) a composite number?
True
Let w = -20 + 50. Let t = w - -21. Is t a prime number?
False
Suppose 0 = 5*h + 5*m + 20, -2*h + m = -2 + 1. Let c(u) = -5*u**2 + 1. Let a be c(1). Is 4*9 + (h - a) prime?
False
Suppose 3 = -3*j, 4*o = 5*o + 2*j. Suppose 2*i + 73 - 193 = o*n, -2*n = 4*i - 210. Is i a prime number?
False
Suppose 0 = -3*t + v + 385, 3*t - 365 = -0*v - 4*v. Is t composite?
False
Let m = 171 - 76. Suppose 5*u = m + 180. Is u a prime number?
False
Let y(k) = k**2 + 1 - 2*k + 2*k. Let h be y(-1). Is 172/h*(-1)/(-2) a prime number?
True
Let p(t) = -t**2 - 8*t - 3. Let k be p(-5). Let i = 97 + k. Suppose -3*h = o - i, h - o - 39 = -0*o. Is h a composite number?
False
Let x(p) = -p**3 + 9*p**2 + 5*p + 3. Let o be x(9). Let f = 8 - 5. Suppose -f*u = -u - 2*l - o, -3*l = -2*u + 53. Is u composite?
False
Suppose -2 = u + 4*r + 3, 0 = -2*r - 8. Let t be (-2)/5 + 12/5. Let p = t + u. Is p a composite number?
False
Let n(i) = 3*i**3 - 2*i**2 - 3*i + 7. Is n(6) a prime number?
False
Suppose 2*z = 3*k - 4, 20 = 5*k - 2*k + 2*z. Let d = -1681 + 2539. Suppose 2*u + 284 = 4*v - 588, -5*u = k*v - d. Is v composite?
True
Suppose -977 - 308 = -5*v. Is v a prime number?
True
Let i = -1 - -1. Suppose 5*p - 37 + 7 = i. Is (-34)/(3*p/(-63)) composite?
True
Let s = 22 - 3. Is s a prime number?
True
Let h = -470 - -777. Is h composite?
False
Let p = -572 + 1185. Is p prime?
True
Let t(h) = 8*h**3 - 3*h**2 + h + 4. Let x be t(3). Suppose -541 = -5*d - x. Is d a composite number?
True
Is ((-43)/(-2))/((-14)/(-28)) prime?
True
Suppose 3*i - 27 = -3*l, 5*l = 5*i - 0*i + 5. Suppose 5*p - 35 = -15, -5*p - l = -s. Is s prime?
False
Let r(o) = -5*o - 8. Let w be 7/3 + 2/(-6). Suppose -p + 3 = -3*m, -w*p + m = 6*m + 27. Is r(p) composite?
True
Let z(p) = -p**3 + 4*p**2 - 4*p + 5. Let u be z(4). Let s = 15 + u. Is s prime?
False
Is 11 + -7 + 217*1 a composite number?
True
Suppose 2*u - 2 = u. Is u/((-6)/(-471)) - 2 a composite number?
True
Let b(a) be the third derivative of a**5/60 + a**4/24 - 19*a**3/6 + 5*a**2. Is b(-8) prime?
True
Let f(g) = -3*g**3 - 1. Let a be (2/8)/(2/8). Let b be f(a). Is (-438)/b*(1 - -1) a composite number?
True
Let h = -12 - -19. Suppose 3*q + 212 = h*q. Is q a composite number?
False
Let a = -2 - -59. Is a a prime number?
False
Let t = -12 + 15. Suppose t*b = -0*b + 195. Is b composite?
True
Suppose 2*o = -2*x + 634, -5*o + o = -x + 327. Is x composite?
True
Suppose 4*z = -4*a + 3*a + 11, 2*a = 4*z - 26. Let t(l) = 3 + 8*l**2 + 5*l + l + l**3 - l. Is t(a) a composite number?
False
Let y(h) = h**3 - 12*h**2 + 13*h + 27. Is y(16) prime?
True
Is (1 + 3)*15/(-20) + 400 a composite number?
False
Let t(u) = u + 97. Let g be (-1)/3*(2 + -2). Is t(g) composite?
False
Suppose 7 = 4*h - 1. Suppose 0*p = 3*p - 4*q - 169, -h*p + 3*q = -114. Is p a prime number?
False
Suppose t - 2*v + 7 = 30, -41 = -2*t + 5*v. Is t prime?
False
Let r(b) = -b + 2. Let y be r(5). Let n(q) = -q**2 - 3*q. Let t be n(y). Suppose 3*u + 515 = 4*s, -4*s + 2*s - 5*u + 277 = t. Is s a prime number?
True
Suppose 3*j - 501 = -3*z, -5*z + 0*j = -3*j - 803. Suppose -48 = 5*g - z. Is g a composite number?
False
Let u(n) = 5*n. Let c be u(1). Suppose c*m - 17 - 3 = 0. Is (-921)/(-2)*m/6 prime?
True
Let g(c) = 10*c - 11. Suppose -2*h + 16 = 3*i - 6*h, -2*i - 5*h = -26. Is g(i) prime?
False
Suppose -5*b - 5*z = -825, -8*b + z = -3*b - 801. Is b a composite number?
True
Let h = 2517 - 1603. Is h a composite number?
True
Let z(n) = 16*n**2 - 2*n - 3. Suppose 8 = m - 5*m. Is z(m) composite?
True
Let a be -7 + (-2)/(-4)*4. Let z(v) = 2*v**2 - 5*v + 7. Is z(a) composite?
True
Let j = 9 - 7. Suppose 0*r + 4*z = -4*r, 14 = j*r - 5*z. Suppose -r*g + 82 = 5*s, 0 = 5*g - 5*s - 159 + 24. Is g composite?
False
Let h be (-4)/6 - (-1)/(-3). Let x be (1/(-2))/(h/20). Suppose 2*t = -n + x - 1, 5*n - 3*t = 32. Is n a composite number?
False
Suppose -2*q + 4*z = -0*q - 12, -2*q + 3*z + 9 = 0. Suppose q*a = -a + 161. Is a prime?
False
Let m = -9 + 10. Let i be ((-7)/(-3))/(m/6). Suppose -4*d = -i - 222. Is d a prime number?
True
Suppose 8*u = 5*u + 21. Suppose 0 = -5*w - 4*r + 916 - u, 177 = w + 2*r. Is w composite?
True
Let u be (-1 - -3) + -1 + 1. Suppose -6*v = -4*a - v + 303, -u*v - 152 = -2*a. Is a prime?
False
Suppose 4*l = 6*l - 4306. Is l a composite number?
False
Let q = 274 + 135. Is q a composite number?
False
Let f = 3832 - 2175. Is f composite?
False
Let d = -8 - -12. Suppose b - 94 = 5*a, b + d*a + 5 = 72. Is b a composite number?
False
Let k = -4 + 9. Suppose -j - k*r = 2*j + 146, 3*r - 114 = 3*j. Let f = j - -75. Is f composite?
True
Let s = -6 + -1. Let d(b) = b**2 + 6*b + 8. Let w be d(s). Suppose 5 + w = 5*u. Is u a composite number?
True
Let q = -4 - -8. Suppose -q*k = -8 - 0. Suppose 3*j = j - k*y + 78, -10 = -2*y. Is j prime?
False
Let s = -24 + 15. Is (-8 - s) + 8*23 prime?
False
Let i be -2*1/(-2) - -2. Suppose -u + 7 = 3*u + v, i*u + 4*v = -11. Is u composite?
False
Suppose -4*r + 3516 - 1400 = 0. Is r a prime number?
False
Is (-3)/5 - (-1596)/60 a composite number?
True
Let y(r) = -191*r + 4. Is y(-5) a composite number?
True
Let j be (43 - 5)*(-3)/(-6). Suppose 48 = -6*a + 2*a. Let r = j + a. Is r composite?
False
Suppose -5*v + 322 + 343 = 0. Is v composite?
True
Suppose -19 = -2*r + 21. Suppose 2*h = -2*h - r, -2*i + h = -35. Is i a composite number?
True
Let c(j) = -2 + 3 - j**3 - 4 - 2 + 6*j + 5*j**2. Is c(5) prime?
False
Let q be ((4 - 2) + -2)/2. Suppose q*r = -r + 35. Is r composite?
True
Let j(x) = -x**2 - 5*x + 1. Let l(k) = k**2 + 2*k. Let g(y) = -3*j(y) - 7*l(y). Let o be g(3). Let m = 17 - o. Is m prime?
True
Suppose 122 = -5*o + 337. Is o composite?
False
Let n = -206 - -343. Suppose -n = -5*q - 22. Is q a composite number?
False
Suppose -6*s + 5*s + 9 = 0. Suppose 0 = -2*o + 133 + s. Is o composite?
False
Let x be (2/6)/(3/621). Suppose 4*o = -5*g + 227, -5*g - 3*o = -298 + x. Is g prime?
True
Let f(z) = z**3 + 8*z**2 - 17*z + 35. Is f(17) prime?
True
Suppose 0*n = 2*n - 2258. Suppose -4*b - 3*s + 1504 = 0, 2*b - 5*b - 2*s + n = 0. Is b composite?
False
Suppose -2*k - 2*k = 4*o - 44, 0 = k - o - 5. Let g(b) = 2*b**2 - 2 + k*b - 2*b - 1 + 0. Is g(-6) a composite number?
True
Let p = 196 - -11. Let c = p + -140. Is c a composite number?
False
Suppose 0 = 2*h - 2*t, 0 = -4*h + 3*t + 3 + 1. Suppose 