 1/(2 + 10/(-6)). Suppose -1 = v*f + 2. Is -3*(102/(-9) + f) a prime number?
True
Let x(a) = -a**3 - 6*a**2 - a - 8. Suppose -2*n + 3*n = -6. Let m be x(n). Let j = m - -25. Is j a composite number?
False
Suppose 124 = h - 585. Is h prime?
True
Suppose 3*a = -a + 20. Suppose a*w + 10 = 0, c + 2*w = -2*c + 251. Is c a prime number?
False
Is (-8794)/(-30) - 14/105 a composite number?
False
Suppose -j - l = 0, 14 = j - 4*l - 11. Suppose v = -0*v - 4*h + 7, -j*h = 4*v - 61. Is v prime?
True
Suppose 0 = 2*s - s + 45. Let w be s/(-12) + 1/4. Suppose -2*d + w*a - 89 = -3*d, -2*d + 160 = 2*a. Is d a prime number?
False
Let l = 12 + 37. Let q = 29 - l. Let x = q + 39. Is x prime?
True
Let q be (172/16)/((-2)/(-16)). Suppose -4*x + q = -210. Is x composite?
True
Let i be (-3 + 2 + 2)*3. Suppose i*f - 42 = f. Is f a prime number?
False
Suppose 2 = -a + 7. Suppose a*k + 3*u - 250 = 0, 0*k + 5*k = 4*u + 285. Is k prime?
True
Let p = 123 + -66. Is p prime?
False
Let s = 3 - -2. Suppose -3*z = -s*z - q + 130, 0 = 3*z - 4*q - 217. Is z a prime number?
True
Suppose 0*u - 84 = u. Let r = 169 + u. Is r a composite number?
True
Suppose 9441 = 4*p - 4387. Is p prime?
True
Let f(u) = 5*u + 8. Let p be f(7). Let i(l) = -1 + 26*l + p*l - 18*l. Is i(4) a composite number?
True
Suppose -2*a = -2*l - 4, 3*l + 0 - 3 = 0. Let g = a - 0. Suppose 5*y = g*d + 1049, -919 - 144 = -5*y - 4*d. Is y prime?
True
Let w(o) = -o - 1. Let b(q) = -4*q - 9. Let f(p) = b(p) - 6*w(p). Let n be f(3). Suppose 4*a - 158 = 5*u, n*u = 4*a - 2*a - 80. Is a a composite number?
False
Let f = 851 + -592. Is f composite?
True
Suppose -c + 1 = -12. Suppose 0 = -c*n + 9*n + 868. Is n a composite number?
True
Suppose 533 - 3174 = -3*m - 4*c, 0 = 3*m - 3*c - 2676. Is m a prime number?
True
Let a(g) = -g**2 + 10*g - 6. Let s be a(9). Suppose s*t + 489 = 6*t. Is t composite?
False
Suppose 2*k + 2*k - 800 = 0. Suppose 0 = -3*a + 181 + k. Is a prime?
True
Let r(a) = -a**2 + 8*a + 2. Let m be r(8). Suppose 0*c - 74 = -m*c. Is c a composite number?
False
Let k(i) = 4*i - 7. Let o(f) = -17*f + 27. Let d(c) = -9*k(c) - 2*o(c). Let t = 104 + -111. Is d(t) prime?
True
Let d = 11 + -7. Suppose 4*p - 304 = d*q, -2*q - 13 = -p + 64. Suppose -r - 105 - p = -2*k, 0 = -4*r - 8. Is k prime?
True
Let l = 44 + -9. Suppose -3*o - l = -206. Is o a prime number?
False
Suppose -3*k - 3*x = -x - 494, -2*k - 2*x = -326. Suppose -d + 1 = -3. Suppose -u + 2*y = -133, 3*y = -d*u + 331 + k. Is u a prime number?
True
Let a be 4*-2*(-3)/4. Let t be 20/6 - (-3)/(-9). Suppose -t*h - 99 = -a*h. Is h prime?
False
Let o(d) = 2*d**2 + 2*d + 7. Let s be (-7)/2*(-6)/(-3). Is o(s) a prime number?
False
Let u(b) = -2*b**3 - 9*b**2 - 2*b - 9. Is u(-6) a composite number?
True
Suppose 13 = -3*k - 2*x, -k + 5*k + x + 14 = 0. Suppose -5*c - j - 4*j = -165, -3*c - 2*j = -103. Let b = c + k. Is b a prime number?
False
Suppose 3*n - 470 = -b + 1960, -2*n = 3*b - 1627. Is n composite?
False
Let d(u) = u**2 + 2*u - 13. Suppose 2*h + 12 = 3*i, 4*h = -2*i + 3 + 5. Let j = -14 + i. Is d(j) composite?
False
Let f = -159 + 76. Let w = -30 + f. Is (-2)/(-2)*(0 - w) composite?
False
Let z(y) = 13*y**3 - 2*y**2 - y - 1. Is z(3) composite?
True
Suppose 5*a = 2*f + 10, a + 0*f - 20 = 4*f. Let k be -2*(a - 2)*1. Suppose 0 = -k*l + 8, 0 = 4*w + 4*l - 3*l - 310. Is w a composite number?
True
Let o = 9 + -2. Suppose 4*s - 37 = 5*u + o, 0 = u - 3*s. Is (-27)/u + (-2)/8 composite?
False
Let l = 7 - 4. Suppose l*r + 0*t - 3*t + 9 = 0, r = 4*t - 12. Suppose -c + 79 = -r*c. Is c a prime number?
True
Suppose -2*x - 5675 = -3*l - 4*x, 5*l = 4*x + 9495. Is l prime?
False
Suppose -5 = -3*v + 2*v. Suppose v*z = -0*z + 185. Is z prime?
True
Let s = -14 - -23. Let v = -13 + s. Is (59/4)/((-1)/v) a prime number?
True
Suppose -c - 4 = 5*l, 3*l = -3*c + 7*c + 16. Let b be (-340)/c - 0/(-1). Suppose -5*s = -10 - b. Is s prime?
True
Let g = 198 - 71. Is g a composite number?
False
Suppose 0 = -5*f + 2*f + 27. Let a = f - 5. Suppose -a*q = -8*q + 52. Is q a prime number?
True
Let f(j) be the second derivative of j**4/4 + 3*j**3/2 + 5*j**2/2 + j. Let h be f(-7). Suppose 2*p - p = h. Is p prime?
True
Is 2/((-1288)/(-428) + -3) composite?
True
Let q(i) = -i**2 - 9*i + 13. Let w be q(-10). Suppose -5*m = w*u - 137, -58 - 42 = -2*u + m. Is u a prime number?
False
Let q = -109 - -250. Suppose -3*l + 522 - q = 0. Is l composite?
False
Let m(t) = -422*t - 3. Let z be (3/9)/(3/(-9)). Is m(z) a prime number?
True
Suppose -9*t + t + 4168 = 0. Is t composite?
False
Suppose 0 = -s - 92 + 17. Let o = 46 + s. Let u = 50 + o. Is u prime?
False
Let a(d) = -2*d**3 - d**2 + d + 1. Suppose 5*p - 1 = -21. Is a(p) prime?
True
Let g(j) = -95*j**3 - 2*j**2 - 4*j - 2. Is g(-2) a prime number?
False
Let b(t) be the first derivative of 4*t + 7/3*t**3 - 1 + 2*t**2. Is b(-3) prime?
False
Let b be 0/(-2) - (4 + -6). Let y = b - -1. Suppose -3*i + 6*g - y*g + 138 = 0, 0 = -2*i - g + 95. Is i prime?
True
Let f(l) = 366*l - 11. Is f(3) composite?
False
Suppose k = 3*d - 9788, -5*d + 13034 = -d + 2*k. Is d composite?
True
Let q = 516 - 211. Is q composite?
True
Let k = 2 + -11. Let f be -2 - k*(0 - -14). Suppose 125 + f = 3*i. Is i a prime number?
True
Let j = -138 + 215. Is j prime?
False
Let d be (-2)/10 - (-576)/80. Is (203/d)/(2/14) a composite number?
True
Let f be (-2)/6 + 44/(-12). Let o be 1 + 11 + (f - -5). Is o/(-2)*(2 + -4) composite?
False
Is (4/5)/((-8)/(-220)) composite?
True
Suppose 0 = 4*m - 4*w - 5444, -2*m + 3026 - 304 = 3*w. Is m composite?
False
Suppose -4*z - 4 = -3*p, 0 = 4*p + z - 2*z - 14. Let g(b) = -b + 3. Let v be g(p). Is 1*v + -7 + 15 a composite number?
False
Let d be 1 - (-831 - 0)/3. Let q = -64 + d. Suppose 35 + q = 3*b. Is b composite?
False
Let f(x) = -x**2 - 6*x - 1. Let c be f(-3). Let n = -5 + c. Suppose 3*h + 3 = 2*h, n*s = -3*h + 12. Is s composite?
False
Let r(d) be the first derivative of 71*d**2/2 + 1. Let t be r(3). Suppose -t = -4*l + l. Is l a composite number?
False
Suppose 0 = 8*p + 1984 - 5816. Let a(b) = b**3 + 5*b**2 + 3*b + 5. Let r be a(-4). Is p/r + 2/(-9) prime?
True
Let s(g) = 39*g + 17. Is s(12) a composite number?
True
Let x = 2 + 3. Suppose p - 22 = 3*w, 6 = 4*p - x*p - 4*w. Is p a prime number?
False
Suppose -15 = -5*c + 2*x, 0 = -3*c - 0*c + 5*x - 10. Suppose 2*t - 5 = -0*l + 3*l, 2*l - 3 = -c*t. Is -2 + t + 0 + 15 a prime number?
False
Suppose -219 = -j - 60. Is j composite?
True
Suppose -1 = -4*o + f + 4*f, 3*o - 21 = -3*f. Is 2*23/o*2 prime?
True
Suppose 291 = -5*r + t + 88, 5*t = -4*r - 145. Let l = r + 73. Is l a composite number?
True
Suppose 6 = -3*y - 3. Let a(n) = -5*n**3 - 31*n + 34*n + 0*n**3 + n**2 - 4. Is a(y) a composite number?
False
Suppose 6*t - t - 15 = 0. Suppose -2*u - u - 12 = -t*j, j = 1. Is 0*u/6 + 131 a composite number?
False
Let b(q) = -2 - 1 + 2 + 2*q**2 - 6*q. Let l = 8 - 2. Is b(l) a prime number?
False
Let z = -5 + 54. Is z a prime number?
False
Suppose 0 = -4*w - 8, 5*u + 0*w - 5*w = 40. Let z(c) = 4*c**2 + c - 1. Is z(u) a composite number?
False
Let u(d) = d**3 + d + 37. Let m(p) = -p + 2. Suppose 4*t - 2*c - 12 = -0*t, -4*t + 5*c + 18 = 0. Let b be m(t). Is u(b) a composite number?
False
Let y = 5 + 2. Is y prime?
True
Let r(l) = l**2 - l + 3. Let d be 2 + -3 - (-3 + -2). Suppose -3*z + 4*i - 11 = 0, 0*z = -d*z + 3*i - 17. Is r(z) composite?
True
Suppose -3*g + 479 = -4*c, 0*g - 4*c + 463 = 3*g. Is g prime?
True
Let s(g) = -g**2 - 2*g + 7. Let x = -18 + 13. Let a be s(x). Is (-468)/a + 1/2 prime?
True
Let l(s) be the second derivative of -s**5/10 - s**4/4 - 2*s**3/3 - s**2/2 + 2*s. Is l(-3) a composite number?
True
Let g(x) = -16*x - 4. Suppose -1 = -2*u - 7. Let s be g(u). Is (-3)/(30/s)*-5 a composite number?
True
Let v(u) be the third derivative of 3*u**2 + 2/3*u**4 - 1/6*u**3 + 0 + 0*u. Is v(5) composite?
False
Is -2*(-2)/1 - -1617 a prime number?
True
Suppose -618 = 2*f - 4*f - 2*x, -x + 616 = 2*f. Is f prime?
True
Let j = -445 - -166. Let o = 512 + j. Is o composite?
False
Let r = 29 - 40. Let o be (r/2)/(2/4). Is 1*o*(1 - 6) prime?
False
Let l = 102 - -34. Suppose -4*a + z = -z - l, a - 4*z - 27 = 0. Let i = a + -21. Is i composite?
True
Let w(h) = -2*h**3 + 2*h**2 + 2*h - 2. Let c be w(2). Let f = 17 + c. Let 