 167 + r. Is y composite?
True
Let i be 1*(-2 - (2 - 9)). Suppose -m = 2*m + l - 1175, i*l = -m + 401. Suppose -t - m = -5*k, 3*k - 104 - 153 = -5*t. Is k a composite number?
False
Suppose -i - 604 = 4*y, 4*i + 3*y + 1963 = -388. Let z = i + 821. Is z composite?
True
Let c(y) be the first derivative of 64*y**2 - y - 3. Is c(1) prime?
True
Is (-5)/((-10)/42)*1 a prime number?
False
Let v(g) = 73*g**2 + 1. Is v(-2) composite?
False
Suppose 4*z - 4 = 8. Suppose 2*y - 718 = h - 55, -z*h = -3*y + 1002. Is y prime?
False
Suppose 0 = -6*j + 7*j + 2. Let b be 177/j - (-2)/(-4). Let w = b + 208. Is w a prime number?
False
Let g = 100 - -3503. Is g a prime number?
False
Suppose p = -3*o - 1392, -3*o + 3*p = -5*o - 928. Let h = o - -723. Is h a composite number?
True
Suppose -2*a = 4*b - 20, 13 = 3*a + 2*b - 13. Let i(g) = g**3 - 7*g**2 - 9*g + 11. Let q be i(a). Suppose 2*m = 3*x + 33, q*x + x + 93 = 5*m. Is m composite?
True
Suppose -56*r + 54*r + 106 = 0. Is r prime?
True
Suppose 2*k = 2*x - 2292, -x - k + 1156 = -0*k. Is x a prime number?
True
Let o(t) = t**2 + 18*t + 11. Let x be o(-17). Is (-4041)/x*(-10)/(-15) a composite number?
False
Let b(o) = -55*o - 27. Is b(-8) composite?
True
Let p be (-3 + -3)/(12/392). Let w = p + 489. Is w a composite number?
False
Suppose 0 = s + 4*y - 499, 2*s + y = 6*y + 1011. Is s a composite number?
False
Suppose -2*f = -3*d - 111, -4*f - 4*d = -9*f + 260. Suppose f = -y - 3*y. Let x = 1 - y. Is x a prime number?
True
Let d = 1 - 9. Let y(s) = s + 8. Let j be y(d). Suppose j = t - 3*t + 28. Is t composite?
True
Let n(o) = -8*o**2 + 5*o + 9. Let t(j) = -j**2 + 1. Let r(v) = -n(v) + 6*t(v). Let b be r(5). Suppose -d + b + 9 = 0. Is d composite?
False
Suppose -5*v + 3 = 63. Let d = 1 - v. Is d composite?
False
Let f = -75 - -202. Is f prime?
True
Let s = 4 - 1. Suppose 0 = -m - s*m + 4*i - 12, 3*i + 6 = 0. Let d = 36 + m. Is d a composite number?
False
Suppose 3*y + 76 - 247 = 0. Suppose 2*n = 5*n - y. Is n a composite number?
False
Suppose -4*a + 20 = -4*c, -1 = 4*c + 19. Is 86/((-2 - -4) + a) composite?
False
Let y(b) = b - 1. Let u(v) = 11*v - 3. Let q(z) = -u(z) + 2*y(z). Let d be q(-1). Is (-2)/d - (-2180)/25 composite?
True
Let x = 88 - 22. Suppose 188 + x = 2*l. Is l a composite number?
False
Let k(j) = 2 - 1 - 432*j + 0 - 2. Is k(-1) composite?
False
Let d be ((-20)/(-8))/((-2)/72). Let j = -28 - d. Suppose 3*a = a + j. Is a a composite number?
False
Suppose -2*p = 3*o + 58, -48 = 2*o - 5*p + 4*p. Let r = o + 48. Let m = r - -39. Is m a prime number?
False
Is 4765/(-3 + 8) + 0 a composite number?
False
Suppose -f = -4*v + 2716, v - 2*v + 679 = -4*f. Is v composite?
True
Let p(u) = -u**3 - 7*u**2 - 2*u + 8. Let g be p(-7). Let v(b) = b**2 + 6*b - 9. Let j be v(-8). Let z = g - j. Is z composite?
True
Let c(n) = n**3 + n**2 + n. Let f be c(-3). Let v be (-1497)/f + (-2)/7. Let z = v - 18. Is z prime?
True
Let m = -15 + 21. Let l = -3 + m. Is l a composite number?
False
Let w(p) = -p + 13. Let r be w(7). Suppose 4 + r = 5*f. Is -2*f*(-21)/12 a prime number?
True
Suppose -2*c + t = -t - 9934, 5*t = 4*c - 19872. Is c a prime number?
False
Let s(z) = 158*z + 13. Is s(3) composite?
False
Suppose 5*i + 1 = 11, b - 4*i = 471. Is b a prime number?
True
Suppose -3*n + 7*n - 4 = 0. Let t be n/2 + (-27)/(-6). Suppose 10 = -t*j + 165. Is j prime?
True
Suppose 5*j = -2*m + j + 26, m - 3*j + 7 = 0. Suppose -y - 3*y = -412. Suppose 20 = -5*x, -3*a = -4*a + m*x + y. Is a a prime number?
True
Is 1*-3*(-83)/3 a composite number?
False
Let w = 5 - 5. Suppose 3*a - 528 = -w*a. Let y = a - 125. Is y a prime number?
False
Let q be 48/((-9)/(-3) - 2). Let r be q/22 - (-8)/(-44). Suppose -r*o = o - 93. Is o a prime number?
True
Suppose 2*d + 81 = 395. Is d a composite number?
False
Is (1 + (-33)/2)*-2 a prime number?
True
Suppose -v + 1566 = 4*d, -4*d - 5*v + 792 = -782. Is d prime?
False
Let c be 2 + 1*(2 - 0). Suppose 0*h - c = h, v - 4*h - 69 = 0. Is v a composite number?
False
Let t = 2 + -5. Let w = t + 4. Suppose -2*m = -13 - w. Is m prime?
True
Suppose 6*m = m + 45. Suppose -1 = -5*r + m, 2*y + 5*r = 116. Is y prime?
True
Let k = 161 + 152. Let r = 210 - 125. Suppose j = -5*u + r, -6*j + 3*u = -j - k. Is j a composite number?
True
Suppose 0 = 2*c - 4*c + 2*l + 2, 2*c + 3*l - 17 = 0. Suppose 0 = 3*q + c*r - 5095, 0*q - 3*q = 2*r - 5087. Is q a prime number?
True
Suppose 0 = -11*h + 2960 + 2397. Is h a prime number?
True
Is 0/(-7) - (-2630)/5 composite?
True
Suppose 4*v = 4*g + 16, 4*v + 2*g = -g - 5. Let s = 3 + v. Suppose 0*b = 5*m - 3*b - 428, s*m + b = 339. Is m composite?
True
Suppose 0 = 2*x - y - 0*y - 75, -2*x + 2*y + 74 = 0. Is x a composite number?
True
Suppose -4*q = -3*q - 2. Suppose 4 = k, 5*g - q*k = 2*k + 1409. Suppose 5*r - 2*d - g = 0, 7*r = 3*r - 5*d + 195. Is r prime?
False
Is (42/(-28))/((-3)/182) prime?
False
Suppose 5*k - 514 = 3*k. Is k a composite number?
False
Suppose -3*r + 637 = 4*t, -3*r + 4*r + t = 212. Is r composite?
False
Let z = -27 + 42. Is 2319/z + 4/10 a composite number?
True
Let f be (-40)/(-6) - 1/(-3). Suppose -4 = -2*x, -l - 2*x = -f*x - 42. Suppose l = -2*w + 6*w. Is w composite?
False
Let d(l) = -2*l + 18. Let y be d(12). Let r = y - -9. Suppose 4*s = r*s + 11. Is s a prime number?
True
Is (-5)/(-15)*3*493 composite?
True
Suppose -5 = 2*n - 7, -2*p - n = -6099. Is p prime?
True
Let v(r) = -r**2 + 3*r + 8. Let f be v(6). Let b(w) be the second derivative of w**5/20 + 11*w**4/12 - w**3/6 + 3*w**2/2 + 2*w. Is b(f) a composite number?
False
Let g(j) = -23*j**2 + j + 5. Let m be g(-4). Let o = 528 + m. Is o composite?
True
Suppose 2273 = 7*w - 1332. Is w prime?
False
Let m be ((-12)/9)/(-1)*6. Let b = m - -23. Is b a composite number?
False
Is (36/(-8))/9*-6982 a composite number?
False
Let n(m) = -70*m + 23. Is n(-15) a composite number?
True
Suppose -254 = -c - c. Is c a composite number?
False
Let l be -4*(-3 - (-27)/12). Suppose -p = l*p - 188. Is p prime?
True
Suppose 2*s = -c - c + 68, 5*c = 5*s + 170. Let f = -24 + c. Is f composite?
True
Is (2/3)/(30/12915) prime?
False
Is ((2 - 0) + 0)/(4/13722) prime?
False
Let v = -43 + 170. Is v prime?
True
Suppose -4*k + 0*s + 3*s + 1205 = 0, 5*k - 5*s = 1505. Is k composite?
True
Let l(q) be the first derivative of -17*q**2/2 - 4*q + 4. Is l(-3) a prime number?
True
Suppose -18*u = -15*u - 66. Is u composite?
True
Let x(k) = -k**2 - 2*k + 8. Let v be x(8). Is -1*1*(v + -7) prime?
True
Suppose -4*i + p = -208, -2*i + 71 + 43 = 2*p. Is i composite?
False
Suppose l - 5*h = -3*l + 8, h = 4*l - 8. Suppose 0 = 4*m + k - 12, 2*k - 9 = -3*m - 2*k. Suppose 575 = m*p + l*p. Is p a prime number?
False
Let r(t) = -3*t - 7. Let f be r(-10). Suppose -2*g - 3 = -9, 2*g - 120 = -3*y. Let v = y - f. Is v composite?
True
Suppose -2*l + 7 = -l. Let v = 65 - l. Is v composite?
True
Let b(s) be the third derivative of 3*s**5/20 + s**4/24 - s**3/6 + 3*s**2. Is b(-3) prime?
False
Let w = 848 + -592. Suppose -w + 76 = -5*l. Is 2/(-9) + 764/l prime?
False
Suppose 0 = r - 3*r. Suppose r = q + 4*p - 2*p - 287, 5*p + 20 = 0. Suppose 5*k = 5*s + q, 2*k = k + 3*s + 67. Is k a composite number?
True
Let n(l) = 18*l**3 - 2*l**2 - l - 2. Let d be n(-3). Let o = d + 753. Suppose 2*s - o = -2*y, -4*y + 504 = -3*s + 8*s. Is y composite?
True
Let f = -550 - -867. Is f a composite number?
False
Suppose -4*y + 0*c = -c + 237, 231 = -4*y - 5*c. Let h = 99 - y. Is h composite?
True
Let q = 204 + -133. Is q prime?
True
Let c be 6 + -9 + 59*1. Let l = c + 237. Is l a prime number?
True
Let w(q) = -16*q**2 + 3*q - 4. Let y be w(-5). Let b = -162 - y. Is b a prime number?
True
Suppose 25 = v + 4*v + z, 2*z + 6 = 4*v. Suppose 0*g - 476 = -v*g. Is g composite?
True
Suppose -4*w + 1563 = -w. Is w composite?
False
Suppose -v + 639 = 3*q - 109, -4*q + 4*v + 1024 = 0. Is q composite?
False
Suppose 590 = -0*g + 2*g. Is g a composite number?
True
Suppose -2*l + 13 = 5. Suppose -l*y + 475 = 3*q, -3*y - q = q - 356. Is y a prime number?
False
Let q(v) = 542*v**2 - 1. Let k be q(1). Suppose k - 33 = 4*n. Is n prime?
True
Let h(t) = 41*t**2 + 3*t + 6. Let k be h(5). Suppose -k = 3*w - 3020. Is w/12 - (-3)/18 prime?
False
Let h be (-3)/(-9) + (-28)/(-6). Suppose -60 = -0*i - h*i. Is (-5 - (0 + -3)) 