a prime number?
True
Suppose 0 = -5*n + o + 1652, -2*n + 1640 = 3*n - 5*o. Is n composite?
False
Let i(q) = 367*q**2 + q - 1. Let k be i(-2). Suppose 5*l = -0*l + k. Is l prime?
True
Let v(m) = 18*m**3 - m + 2. Is v(3) a prime number?
False
Let c = -279 + 578. Is c a prime number?
False
Let y be (-6)/4 - 27/(-6). Suppose 135 - 993 = -y*z. Suppose -5*n = -z + 21. Is n a prime number?
True
Suppose b + 36 = 4*i - 3*b, -i + 13 = -2*b. Let q(n) = 11*n - 4. Is q(i) composite?
True
Let f = 15 + -10. Suppose -7*y + f*y = -74. Is y a composite number?
False
Let x(r) = 4*r**2 - 8*r + 5. Is x(4) composite?
False
Let a(f) = -f - 7. Let w(m) = 6*m + 2. Suppose -6 - 2 = 4*t. Let k be w(t). Is a(k) a prime number?
True
Let t = -7 + 7. Suppose 0 = -3*a - 5*x + 137, t = 5*a + x + 5 - 248. Is a composite?
True
Suppose 0 = -4*j + 3*y + y - 28, 3*y = -j + 1. Let b(s) = -2*s**3 - 3*s**2 - 5*s + 3. Is b(j) a prime number?
False
Let y be (5/4)/((-5)/(-20)). Suppose y*o - 130 = -2*t + 57, 2*o + t = 75. Is o a prime number?
True
Suppose -4*q - 3*x + 193 = 0, 0 = -3*q - x + 185 - 44. Is q prime?
False
Suppose 1785 = 4*p + 269. Is p a prime number?
True
Suppose -30 = -4*p - 2*i, -2*p + 5*p + 2*i - 25 = 0. Suppose -4*n = 3*f - 8, 0 = -f + p*n + 9. Suppose 0 = f*x - 4*v - 171 - 129, 2*x - v - 152 = 0. Is x prime?
False
Let l(g) = -g**3 - 6*g**2 + 5*g + 8. Let a = -5 + -2. Is l(a) prime?
False
Let g(m) be the second derivative of m**4/3 - 11*m**3/6 + m**2/2 - 3*m. Let z(v) be the first derivative of g(v). Is z(8) composite?
False
Suppose -2*m + 5*b - 4 = 0, 2*m + b = 2*b + 4. Suppose 0 = -2*q - m*l - 118, -q = 2*q - 2*l + 177. Let c = -38 - q. Is c composite?
True
Let x(u) = 33*u - 11. Is x(18) composite?
True
Let p(x) = -110*x + 21. Is p(-5) a composite number?
False
Suppose -1 = k - 2, -k - 1100 = -3*a. Is a prime?
True
Let n(r) = 82*r**2 - r + 2. Let g(l) = l**2 + l. Let j(h) = 2*g(h) + n(h). Is j(-1) composite?
True
Suppose 0*n - 4*n = 436. Let u = n - -304. Suppose -3*c = 2*c - u. Is c prime?
False
Suppose 4*j - 2217 = -x - 0*x, x + 2760 = 5*j. Is j prime?
False
Suppose 4*z = -6*d + 2*d + 36, -5*d + 30 = 2*z. Suppose 4*u = z*n + 237, 0 = 2*u - 7*u - 3*n + 250. Is u composite?
False
Let h(z) = 43*z**3 + z**2. Let u be h(-1). Let v = u + 133. Is v prime?
False
Let l = 383 - -100. Let n = -253 + l. Suppose -n = -j - j. Is j composite?
True
Let m(n) = -15*n**3 - 4*n**2 + 6*n - 3. Let q = 10 + -6. Let a be m(q). Is (-4)/22 + a/(-11) composite?
True
Let s(v) = 5*v**2 + 2*v + 3. Let c be -2*(-3)/(-15)*5. Is s(c) prime?
True
Let w(r) = -19*r - 6. Let t(q) = 2*q - 1. Let j be t(-2). Is w(j) composite?
False
Suppose -d + v - 2 = -0*v, -5*d - v = -14. Let g be (4/10)/(d/270). Is 4/6*g/4 a prime number?
False
Let n(z) = z**2 + z - 6. Suppose 2*h + 20 = -2. Let u = 6 + h. Is n(u) a composite number?
True
Let i(p) = -p**2 - 2*p. Let b be i(-2). Suppose 0 = -q - j + 65, -260 = -4*q + 2*j - b*j. Is q a composite number?
True
Let o(q) = -7*q**3 - 2*q**2 - 4*q - 3. Is o(-2) a prime number?
True
Let v = 2138 + -1164. Is v a prime number?
False
Suppose 0 = k + 15 - 53. Let o = 85 - k. Is o a prime number?
True
Is 11/77 + 4542/7 a prime number?
False
Suppose -5*i + i = 3*q - 41, q - 3 = 0. Let v(a) = a**3 - 9*a**2 + 7*a + 10. Let b be v(i). Is (3/(-9))/(b/(-474)) a prime number?
True
Suppose -2*o - 177 = -5*o. Is o a composite number?
False
Let m(b) = b**3 - 8*b**2 + 8*b - 29. Is m(14) a composite number?
False
Suppose 2*p - 872 = -9*a + 7*a, -3*a + 430 = p. Is p a prime number?
True
Suppose -2*p = 2*m - m - 155, -305 = -4*p + 3*m. Is p a prime number?
False
Is (1557 - -4) + (-6)/3 composite?
False
Suppose 205 + 1178 = 3*l. Let c = l + -276. Is c prime?
False
Let g(r) = -53*r**3 - 2*r**2 - 2*r - 1. Let l be g(-1). Let j = -3 + l. Suppose 2*s = j + 25. Is s composite?
False
Let c(o) = -2*o + 5. Let x be c(3). Let n = x + 142. Is n composite?
True
Let d be 334/6*(3 + 0). Suppose f = 86 + d. Is f prime?
False
Let b(r) = 14*r - 7. Let u be b(5). Let n = u + -40. Is n a prime number?
True
Suppose -13 - 1 = -2*i. Is i composite?
False
Let k(w) = -w**3 + 2*w**2 + 2*w + 4. Let a be k(3). Is 219*a + 9/(-9) a composite number?
True
Let b be 1 + ((-1)/1 - 3). Let o(q) = -52*q + 3. Is o(b) a composite number?
True
Let a(d) = -d**2 + 5*d - 4. Let i be a(4). Suppose 4*j = -i*j + 452. Is j a composite number?
False
Suppose -l + 14 = -7. Suppose 5*o = 4*u - l, o + 0 - 7 = -2*u. Suppose -3*a + 14 = -u. Is a a prime number?
False
Let h = -158 + 301. Is h composite?
True
Let p = -10 + 12. Is p a prime number?
True
Let m = 52 + 411. Is m composite?
False
Let x(o) = -2*o - 160. Let b be x(0). Is -1*(2 + b)/2 a prime number?
True
Let x(s) be the second derivative of s**4/12 + 2*s**3/3 - 4*s**2 - 2*s. Is x(-9) prime?
True
Let r(v) = -v - 3. Let j be r(-5). Suppose 4*l = -j*b + 206, -l + b = l - 93. Is l a composite number?
True
Suppose -4*j + 5*d + 204 = 0, j - 264 = -4*j + 4*d. Suppose 0 = -5*i + 6*p - 2*p - 79, -i - 4*p - 35 = 0. Let b = i + j. Is b prime?
True
Suppose 5*p = -4*c - 12 + 47, 6 = -3*p + 3*c. Suppose 4*z + 0*t = -p*t + 696, -5*z - 2*t + 870 = 0. Suppose 0 = -4*u + u + z. Is u composite?
True
Suppose 2*v = -3*v + 830. Suppose v = 4*z - 166. Is z a prime number?
True
Let c be 2 + 1 - (-1 - 0). Suppose -c*j - 3*m + 22 = -2*j, 3*m - 7 = j. Suppose 4*d = -j*b + 296, -2*d + 180 = 2*b + 30. Is d a prime number?
True
Let j be ((-2)/(-6) + 3)*84. Let x be j - (-5 - (-4)/2). Suppose -34 = 3*a - x. Is a a prime number?
True
Let v = 62 + -16. Is v a prime number?
False
Suppose 9 = -4*p + 7*p. Let o = p - -2. Suppose -i - 60 = -o*i. Is i composite?
True
Let h(y) be the first derivative of 15*y**2/2 - y - 8. Is h(4) a prime number?
True
Suppose 0*a - 3*a = -6. Suppose a*f - 37 = -5*t, 5*f + 6*t - 3*t - 64 = 0. Is f a composite number?
False
Let t(k) = 21*k**2 - 2*k + 4. Let p be t(-4). Suppose -2*j - 605 = -5*j + 4*d, -j + 2*d + 203 = 0. Let i = p - j. Is i prime?
True
Let u be (1 + 1)*1*-5. Let f = u + 11. Is 14*f*34/4 a prime number?
False
Let p be 2 + (11 - 6/(-2)). Suppose 4*i + 4*s + p = 2*i, 3*i + 5*s = -19. Is i composite?
False
Suppose 37 + 254 = 3*j. Is j a composite number?
False
Suppose 0 = -2*b + 2 + 4, -5*b = -3*j + 8802. Is j prime?
True
Suppose 2*t - 318 = -4*q, -65 + 220 = 2*q - 3*t. Is q a composite number?
False
Let n = 3 - 1. Suppose c - 64 = 3*i, 2*c = 5*c + n*i - 137. Suppose -u + 2*u = c. Is u a composite number?
True
Let d = -641 - -1214. Is d a prime number?
False
Let q(a) = a + 7. Let l be q(-5). Suppose -4*g + 5*g - 644 = -4*c, 5*g = l*c - 322. Is c a prime number?
False
Let o = -143 - -99. Is 6 + -6 + 3 - o composite?
False
Let n be (10/(-4))/(-5)*-2. Let o = n + 6. Suppose -o*y + 4*f = -175, -4*y + 4*f = -139 + 3. Is y composite?
True
Suppose -24*q + 19*q + 1420 = 0. Let w = -157 + q. Is w prime?
True
Let d = 931 + 290. Suppose -4*l = -l - d. Is l composite?
True
Suppose 0 = 2*v + 3 + 1. Let h = v + 2. Suppose h = 2*k - k - 37. Is k a composite number?
False
Suppose -2*v + 5*v = 9. Suppose 3*f - 5*c = 678, 0 = -3*f - v*c + 532 + 122. Is f a prime number?
False
Let f = 12 - 7. Suppose -2*r - 4*m = 20, -53 = 8*r - 4*r - f*m. Is (-3171)/r - (-6)/8 a composite number?
True
Let u = 6 - 2. Suppose -3 = u*c - 151. Is c a prime number?
True
Let j be -3 + 56 - (-1 - -3). Let l = j - 32. Is l prime?
True
Suppose -a = 47 - 54. Is a a composite number?
False
Suppose 2*i = 3 + 3. Suppose 4*y - 180 = -4*p, -i*y - y = 4. Is p prime?
False
Let u(i) = 3*i**2 + 41*i + 41. Is u(18) a composite number?
True
Let v(c) = -c**3 + 6*c**2 - 4*c + 3. Let q be v(5). Is (-2)/(3/((-4452)/q)) prime?
False
Let n be -1*7 + (2 - 2). Let f = 21 + n. Is f a composite number?
True
Let p = 256 - 140. Suppose -3*h - s + 25 = -81, s = 3*h - p. Is h composite?
False
Let w(s) = -s**3 + 6*s**2 - 4*s - 7. Let o be w(5). Let t = 2 - o. Let r(i) = i**2 - i - 2. Is r(t) prime?
False
Suppose -145 = -5*u - g, -5*u + 3*u = -2*g - 70. Let v be -12*(0 + u/(-9)). Let o = v - 27. Is o prime?
True
Suppose -j + 3 = j - p, -2*p = -j + 3. Let a be (-8)/(-20)*595/j. Suppose 2*d - 84 = a. Is d prime?
False
Suppose -267 + 53 = -3*g + d, -2*g = -d - 143. Is g a prime number?
True
Let g be -43 - (2/(-2) - -2). Let j = g + 186. Is j compos