+ 5*x = 104, -i*f + 175 = -2*x. Is f prime?
False
Suppose -17*m = -13*m + 8. Is 10/15*(-363)/m a composite number?
True
Let t(x) = 32*x - 2. Is t(5) a composite number?
True
Let x(t) = -24*t**3 + 5*t**2 + 11*t + 25. Is x(-6) a composite number?
False
Suppose -x + 5*l + 191 = 0, -2*x - 3*x + 997 = -4*l. Is x a composite number?
True
Let y(v) = -2*v - 6. Let s be y(-4). Let b(q) = 1 + 2*q - 2 + 18*q**2 + 12*q**s - 2. Is b(2) prime?
False
Suppose -10*w + 8*w = -382. Is w prime?
True
Suppose f + 670 = 3*f. Is f composite?
True
Let f(n) = -n**3 - 5*n**2 + 2*n + 2. Let g be f(-5). Let l = g - -2. Is (3 + l)*166/(-6) prime?
True
Let u(k) = -k**2 + 5*k + 2. Let g be u(5). Is 2 + 0 + (133 - g) prime?
False
Suppose -5*p = -p. Let q = -784 + 1148. Suppose 3*z + l = -p*z + 273, -4*z = -4*l - q. Is z prime?
False
Suppose 0 = u - 3*u + 266. Is u + (-1)/((-2)/(-4)) a composite number?
False
Let u(j) = 10*j**3 - 6*j**2 - 2*j - 3. Let l(v) = 3*v**3 - 2*v**2 - v - 1. Let t(g) = -7*l(g) + 2*u(g). Let a be t(3). Is a/(((-6)/(-117))/2) a prime number?
False
Suppose -35*d = -31*d - 28412. Is d composite?
False
Suppose -15 = -5*c, -2*q - 4*c + 32 = 8. Suppose -109 - q = -5*h. Is h a composite number?
False
Let f = 766 + -504. Is 2/(-3) + f/6 composite?
False
Suppose -2*s + 5 - 1 = 0. Suppose -2*j + 3*q + 30 = 0, 5*q = s*j + 2*j - 60. Is (j/9)/((-1)/(-9)) a prime number?
False
Let a be -1 - -45 - 0/6. Let v = a - 11. Is v prime?
False
Is 1/(-6) - ((-1924)/24 + 1) a composite number?
False
Is (-2 - (-4 + -1)) + 154 composite?
False
Suppose 0 = 3*h + 5*o + 105, -5*h - o + 70 = 245. Let p(d) = d - 5. Let s be p(-5). Is (-259)/h - (-4)/s composite?
False
Suppose 0 = 5*q - 85 - 100. Let w(j) = -4*j + 1. Let s be w(6). Let i = q + s. Is i prime?
False
Suppose -3*r = -h - 8*r + 43, -5*h = r - 215. Suppose 3*n + 5*y = 5*n - 13, -2*n = 5*y - h. Is n a prime number?
False
Let b be 157 - (-3)/(-4 - -1). Suppose -2*y + b = l - 65, -2*l - y = -436. Is l a prime number?
False
Let w = 587 + -354. Is w a prime number?
True
Suppose 4*r + 12 = 2*n, 4*r = 3*n - 5*n - 4. Is 34/(-6)*(-8 + n) composite?
True
Suppose 0 = -9*d + 4*d + 4*p + 261, -4*d + 4*p = -208. Is d composite?
False
Let v be ((-24)/3 + 0)*-2. Is 1320/v - 1/(-2) a composite number?
False
Let h(t) = t**3 + 8*t**2 + 6*t - 1. Let j be -10 - ((-9)/(-1))/(-3). Is h(j) composite?
True
Let t(f) = -f**2 + 6*f + 3. Let n be t(6). Suppose -n*c = -0*c - 6. Suppose 0 = c*z + 6 - 260. Is z a composite number?
False
Suppose 0 = 3*y - 2*p - 356, 4*y - 442 - 26 = p. Let i = 198 - y. Suppose 2*a = i + 88. Is a prime?
False
Suppose -3*h + 1874 = 5*d, -4*d + 5*h + 1514 = -0*d. Suppose 0 = -4*z - 60 + d. Is z composite?
False
Let g(m) = -m + 0*m + 17 - m. Is g(-7) composite?
False
Let a(h) = 155*h - 1. Let m be a(1). Suppose 2*p = 4*s - m, -80 = s - 3*s + 2*p. Is s a composite number?
False
Suppose -3*h + 5*u + 4342 = 0, 3*h + u - 1229 = 3083. Is h prime?
True
Let y(o) = -38*o - 7. Is y(-7) a prime number?
False
Suppose 25 = 5*d - 10. Let o(h) = h - 8 + 7 + 82*h**2 + d*h**2. Is o(1) composite?
False
Is 4/14 + 111/21*195 a composite number?
False
Let q(l) = l**3 - 3*l**2 - 4*l + 5. Let j be q(5). Suppose 0 = 4*o + o + 65. Let z = o + j. Is z a composite number?
True
Let w(m) = -171*m + 7. Is w(-4) a composite number?
False
Let d be (-70)/(-21) - (-2)/(-6). Suppose 4*n = 3*j - 103, 5*j + d*n - 177 = 7*n. Is j composite?
False
Suppose -9*a + 1407 = -2*a. Is a composite?
True
Suppose -i - 4*w - 459 = -2*i, 2190 = 5*i + w. Is i prime?
True
Let w(v) = -v**2 + 5*v. Let z be w(6). Let j(n) = -n**3 - 4*n**2 + 3*n - 1. Is j(z) composite?
False
Suppose -3*x + 1764 = -5*b, 5*x - 3343 + 425 = b. Is x a composite number?
True
Let y(p) = 10*p - 3. Is y(5) prime?
True
Let o(h) be the second derivative of h**3/6 - 3*h**2 + 3*h. Let j be o(11). Suppose 0 = 4*v + 16, -j*v + 80 + 11 = 3*r. Is r composite?
False
Let x be -3*2*1/(-2). Suppose x*z = -2*z + 40. Is 2*-22*(-14)/z composite?
True
Let w = 1071 - 602. Is w a prime number?
False
Let p(x) = -2*x**3 - 5*x**2 + 39*x + 7. Is p(-9) prime?
True
Let y = -2388 - -4427. Is y a prime number?
True
Let g(i) = 33*i**2 - i - 1. Suppose 4*x + 0*x + 15 = z, -4*z - 2*x + 6 = 0. Is g(z) prime?
True
Suppose 3*j + 5671 = 15082. Is j a composite number?
False
Let j(y) = -5*y**2 - y - 4. Let w be j(-7). Let k = 499 + w. Is k prime?
True
Let c(v) = -v + 8. Let u be c(5). Suppose -2*x + 5*a + 328 = 0, 5*x - 316 = u*x - a. Is x composite?
True
Suppose 2*u + 19 - 55 = 0. Suppose -5*i = u - 143. Suppose 3*n - i = 3*p - 7*p, 0 = -5*p - 10. Is n composite?
False
Let t = 15 - -367. Is t prime?
False
Let t = -20 + 8. Is (-2006)/t - (-5)/(-30) prime?
True
Let i be (-2 + 2)/(0 + -2). Suppose 4*s + q + q - 416 = 0, i = -4*s - q + 420. Is s composite?
True
Let h(d) = d**3 + 3*d**2 - 4*d - 4. Let v be h(-4). Let k(b) = b**3 + 4*b**2 - b - 1. Let j be k(v). Suppose 2*f = -j*f + 575. Is f prime?
False
Let h = -13 - -18. Let m(d) = -d + 1. Let z be m(-4). Suppose 0 = i - z*p - 64, -h*i + 13 = 4*p - 162. Is i a prime number?
False
Suppose -4*s = 4*m - 36, -5*s + 3 + 14 = -2*m. Suppose 0 = -2*t - 4*w + 274, s*t + 147 = 6*t + 4*w. Is t prime?
True
Let k be 86*-4*8/(-16). Let s = k + -93. Is s composite?
False
Let u = 97 - -12. Is u a prime number?
True
Let i be (-4)/(-2)*5/2. Suppose 120 = i*r - 4*s + 2*s, -4*r + 84 = -4*s. Is r a composite number?
True
Suppose 2*c = -5*y + 972, -4*y + 3199 - 1243 = 4*c. Is c a prime number?
True
Suppose 2*n = n - 3*v, 0 = -5*n + v. Let a = n - -2. Let r(c) = 4*c**3 + 2*c**2 - c - 1. Is r(a) prime?
True
Let t be ((-2934)/(-15))/(4/10). Let u = 18 + -12. Suppose -4*o + 2*a + 652 = u*a, -2*a = -3*o + t. Is o a prime number?
True
Suppose 0*b + 4*b - 1322 = v, 4*v = -3*b + 1001. Is b a prime number?
True
Suppose -238 = -4*v + 126. Is v prime?
False
Suppose -5*a + 4*w = -0*a - 411, -3*a + 5*w + 244 = 0. Suppose 0 = -n + 2*n - a. Is n a composite number?
False
Let x be (-6)/(-8) - (-33)/4. Suppose 0 = -5*i + x*i - 524. Is i composite?
False
Let s(z) = z**3 + 8*z**2 + 6*z - 5. Let a be s(-7). Suppose -a*p = i + 75, 271 = -5*p + 2*i + 61. Let k = 7 - p. Is k a prime number?
True
Suppose 0 = 2*v + 1 - 19. Let n = v - 9. Suppose r = -3*p - n*p - 6, -5*r + 34 = -p. Is r prime?
False
Let w = 133 - -160. Is w a composite number?
False
Let f = 199 + -100. Let n = f - -50. Is n a composite number?
False
Suppose 0 = 2*p + 2, -3*z - 5*p = 91 + 130. Let r = 139 + z. Is r composite?
False
Suppose -16 = -4*m, 1303 = 5*u - m - 2*m. Is u prime?
True
Let t = 9 - -26. Suppose 5*v - 140 = t. Is v a prime number?
False
Let q(y) = 22*y**2 - 4*y + 3. Let z be q(1). Is (-7)/z + 2372/6 a composite number?
True
Suppose -2*l - l = -h - 15, 5*h + 7 = -2*l. Suppose l*k - 216 = 232. Is ((-43)/4)/((-4)/k) a prime number?
False
Let w be (4/6)/((-5)/(-15)). Suppose 5*z + 2*k - 5*k = 385, 5*z - w*k = 385. Is z prime?
False
Let f = -203 + 92. Let y = f - -164. Is y a composite number?
False
Let o be (8/10)/((-4)/(-350)). Suppose -3*c = -v - c + o, -5*v - 3*c = -298. Is v + 1/(3/(-9)) a composite number?
False
Suppose 9 = -3*v - b, -1 - 2 = v - 2*b. Let c be ((-1)/v)/((-1)/3). Is -6*c/3*1 a prime number?
True
Let z = 84 + 19. Is z composite?
False
Let u be (2/(-3))/((-2)/12). Suppose 63 = u*y - y. Is y a prime number?
False
Suppose 153 = 3*d + 5*k, -2*k - 183 = -3*d + 3*k. Suppose -o - d = x - 0*o, -206 = 4*x - 2*o. Let z = -32 - x. Is z a composite number?
True
Let v = -37 + 80. Is v composite?
False
Let l(g) = g**3 - 7*g**2 + 16*g + 27. Is l(14) a composite number?
True
Is ((-3)/(-6))/((-6)/(-14916)) prime?
False
Let k = 627 - 304. Is k prime?
False
Let k be (0 + 9)/((-4)/(-4)). Suppose -2*n - d = -42, -4*d + k*d - 58 = -2*n. Is n a composite number?
False
Suppose -13375 = -6*v + 23411. Is v a composite number?
False
Let h = -7 - -9. Suppose -h*z = z - 75. Is z composite?
True
Let u = -25 - -55. Suppose -4*v = -u - 30. Is v a prime number?
False
Suppose -4 = 4*f - 24. Let g = -36 + 56. Let a = f + g. Is a prime?
False
Let x(d) = d + 3. Suppose h + 13 = -5*i, 3*h - 4*i + 4 = -h. Let k be x(h). Suppose -2*j - 189 = -5*v - 4*j, 3*v + j - 113 = k. Is v a composite number?
False
Is (-38)/(-2) - (-9 - -9) a prime number?
True
Suppose 2*j - 741 = 745. 