2 - 3*d + 2. Let m be t(5). Let h = m - v. Is h a composite number?
True
Let x(b) = -b**3 + b**2 + b + 4. Let w be x(0). Suppose 5*j - w*j = 35. Is j a prime number?
False
Let b(f) = -f**2 + 7*f - 6. Let q be b(6). Let m(x) = -x**2 - x + 190. Let g be m(q). Is g/6 + (-4)/6 a composite number?
False
Let j(d) = -5*d**2 - 4*d + 9. Let a be j(5). Let o = a - -525. Is o a prime number?
True
Let p = 14 + -8. Suppose 0 = 3*o - p*o + 651. Is o composite?
True
Let f(g) = g**3 - 11*g**2 - 9*g - 14. Is f(12) prime?
False
Let h be (-123)/9 + 1/(-3). Let t be 12/(-21)*h/4. Is (-2)/3*(-267)/t composite?
False
Let y be 1/4 + 1/(-4). Suppose y = -5*g - 576 + 1891. Is g prime?
True
Let n(c) = c**3 - 1. Let j be n(1). Suppose 0*r - 2*o + 112 = 2*r, 5*r + 2*o - 277 = j. Is r composite?
True
Let d(x) = 3 - 20*x + 28*x - 2. Let f be ((-6)/(-8))/((-2)/(-16)). Is d(f) prime?
False
Suppose -1 - 9 = -2*c. Suppose -4*p - 9 = -3*z, c*z - z - 3*p - 19 = 0. Is z a prime number?
True
Let w(i) = 2*i**3 + 5*i**2 + i. Let p be w(-4). Let v = p - -111. Is v a prime number?
True
Let a(v) = -v - 15. Let t be a(-13). Is t*(-62)/4*1 composite?
False
Suppose -37 = -3*l + 4*p, 3*p + 10 = 4*l - 37. Let k(r) = 5*r**2 - r - 13. Is k(l) prime?
False
Let n(o) = 849*o**2 - 1. Let v be n(-1). Suppose -4*m + v = -1332. Is m prime?
False
Suppose 4*j - 2*d - 3*d + 79 = 0, -3*j - 64 = d. Let g = 2 - j. Is g a composite number?
False
Let a = 1 + -1. Suppose 2*c - 8*g + 3*g - 15 = a, -g = 5*c + 3. Suppose 2*v - 4 - 10 = c. Is v a composite number?
False
Let i(y) = -y + 2. Let c be i(0). Suppose -55 - 79 = -c*g. Is g a composite number?
False
Suppose -6 = 5*v + 9. Is (1 + v - -65) + 2 a composite number?
True
Let m = 634 - -33. Is m a prime number?
False
Suppose 4*g - 9*g = 0. Suppose g = -6*l + 7*l - 23. Is l a composite number?
False
Suppose -f - 2*f = -6. Suppose -37 = -f*s - 7. Is s composite?
True
Let w be 9*3*(-3)/(-27). Suppose -2*m - w*m - 2 = 3*s, 5*m = -s + 6. Is (-1)/s - (-187)/4 a composite number?
False
Let z(g) = 2*g + 0*g + 3*g**2 - 3*g + 5*g. Is z(-5) prime?
False
Suppose -b + 1152 - 397 = 0. Suppose b + 335 = 5*u. Suppose 0 = 4*t - 290 - u. Is t composite?
False
Suppose -84 + 19 = -5*v. Let f = 1 + v. Suppose 0 = -2*l + f + 56. Is l composite?
True
Suppose c + 0*c - 4 = 0. Suppose 0 = 4*v - c*w - w - 915, 0 = -4*v - 2*w + 950. Is v a prime number?
False
Let l = -621 + 2702. Is l prime?
True
Suppose -m - 22 = -5*b, 4*m + 46 = m + 5*b. Let d be 3/(-1 - 21/m). Suppose -2*p + 44 = -2*o, p + d*o - o = 38. Is p prime?
False
Suppose -4*d - 2881 - 1823 = -4*y, -20 = 4*d. Is y a prime number?
True
Suppose 2*m - 3997 = -4*l + 3473, 4*m - 20 = 0. Is l composite?
True
Let b(l) = 265*l**2 + 4*l + 2. Is b(-1) a prime number?
True
Suppose 4*r - 8635 = -r. Is r a prime number?
False
Suppose -s - 2 = -2*z, 0 = 3*s - 0*s - 2*z - 2. Suppose -s*w = 2*a + 4, w - a = 6 - 0. Suppose 64 = 2*c + 4*k, 0 = 5*c - 4*k + w*k - 100. Is c composite?
True
Suppose g + 4*s - 149 = 0, 0 = -2*g + 4*g + s - 312. Is g prime?
True
Suppose -4*v + 13 + 3 = 0. Let g = 7 - v. Is g prime?
True
Suppose 0*a - 78 = -a. Is (a/(-4))/((-3)/4) prime?
False
Suppose -2*a = -x - 7*a + 9, -3*x + 14 = 2*a. Suppose -5*l + 3*l = -x*i - 794, -i = -5*l + 1985. Is l composite?
False
Let t be 72/40 - (-1)/5. Suppose 2*v + 2*v + m - 333 = 0, t*v = -4*m + 184. Is v a composite number?
True
Suppose 0 = 2*j - j - d - 6, -d + 24 = 5*j. Suppose -x + 3*b = 15, 0 = -5*x + x - j*b + 8. Is x/(-9) - (-208)/6 a composite number?
True
Let d(j) = 3 - 3 + 36*j - 2. Is d(3) a composite number?
True
Suppose 0 = 5*a - 2 - 8. Let p(g) = -g**2 + g + 2. Let w be p(0). Suppose -w*k + 5*u + 30 = 0, -3*k + a*u + 117 = 2*k. Is k a prime number?
False
Let z(d) = -d**3 - 2*d**2 + 1. Let h be z(-2). Is (72/h)/3 - 3 prime?
False
Let j be ((-35)/14)/((-2)/(-8)). Let z(y) = y**2 + 7*y - 5. Is z(j) a composite number?
True
Let d be 3/(-9)*1*3. Let w(z) = 4*z**2 - 2*z + 1. Let x be w(1). Is 138/x - 1/d a composite number?
False
Let r(k) = k**3 + 8*k**2 - k - 7. Suppose -8 = -4*o - 5*u, 2*o - u - 2 = 2. Suppose v - 4*l + 27 = 0, -o*l = -3*v - 25 - 6. Is r(v) composite?
True
Suppose 5*w = 3*w - 3*s + 10, -2*w - 6 = -5*s. Suppose -w*o = -101 - 17. Is o a composite number?
False
Let g = 93 + 23. Let m = g + 95. Is m prime?
True
Let n = -9 + 13. Suppose 149 = n*f - 503. Is f composite?
False
Is 1*(-4 + (-5787)/6)*-2 a composite number?
True
Let d(k) = 13*k**2 + 10. Is d(3) a composite number?
False
Suppose -2*d + 2 = -3*d - i, 3*d + 5*i + 16 = 0. Suppose 452 = d*q - 5*h, h - 4 = 5*h. Is q composite?
False
Is 2*1*7405/10 composite?
False
Suppose -j - 4*j + 280 = 0. Let g = j + -31. Is g prime?
False
Suppose 399 + 245 = 4*r + 2*f, r - f = 161. Is r prime?
False
Let p(c) = 62*c + 39. Is p(23) composite?
True
Suppose -14*x + 13*x + 237 = 0. Is x a composite number?
True
Suppose -232 = -4*f + 4. Is f composite?
False
Suppose 3*j - 10708 = -3595. Is j a composite number?
False
Let x = 529 + -84. Suppose -65 = 5*s - 5*t - x, 2*s - 155 = t. Is s a prime number?
True
Let c(j) = j**3 - 6*j**2 - j + 3. Let s be c(6). Is (-2)/(-1) + s - -10 a prime number?
False
Let x be -1 + 5 + 0 + -1. Suppose 0 = -2*p + x*h + 13, h = -2*p + 3 - 2. Suppose c - j = 9, p*c - 14 = 4*j - 4. Is c composite?
False
Let d = -23 - -26. Suppose 0*j - j = 2*w - 125, d*j = -w + 350. Is j prime?
False
Let m be 51/6*2*15. Let z = 376 - m. Is z prime?
False
Is (-4)/8*4*-1 - -497 prime?
True
Suppose 0*s = 3*s - 6, 0 = 2*t + 3*s - 164. Is t prime?
True
Let u(q) = q**2 - 4*q + 7. Let l(k) = 2*k**3 - 2*k**2 + k. Let w be l(2). Is u(w) a prime number?
True
Suppose -25 = 5*s, 3*l + 2*s - 3*s = 14. Suppose -4*r = x - 80, -2*x + l + 5 = 0. Is r composite?
False
Let s(p) = -p + 5. Let w be s(7). Let v(g) = 103*g. Let u be v(w). Is 1/(-2) + u/(-4) prime?
False
Let g(p) be the second derivative of 2*p**4/3 + 2*p**3/3 + p**2/2 - 3*p. Is g(4) a composite number?
True
Let h be 8/(-6)*39/(-26). Suppose -h*y - y = -b - 232, b = -2*y + 163. Is y prime?
True
Let g = 377 - 227. Let z = -92 + g. Is z composite?
True
Let a(q) = 20*q**3 - 2*q**2 + 2*q + 2. Let n be a(2). Suppose -j + 519 = -4*b, 2*b - 5*j + n = -79. Let o = -52 - b. Is o composite?
False
Let w be 33*-1 + (4 - 5). Let s = 69 + w. Is s composite?
True
Let y be 2/8*(2 + -6). Let r = y + 3. Suppose 0*i + 3*i = -4*h + 499, -4*h = r*i - 494. Is h a prime number?
False
Suppose 5*t - 3*f = -4*f - 242, -2*f - 52 = t. Let m = t - -79. Is m a prime number?
True
Let a be 0*(-2)/(-12)*3. Suppose -3*n = 4*m + n - 212, a = -m - 4*n + 62. Let q = 124 - m. Is q a prime number?
False
Suppose 0 = 4*t - 7*t + 399. Is t prime?
False
Suppose 0 = 4*l - 3*l + 5*h + 23, -4*l = -3*h - 23. Suppose -2*v - 14 = 4*u, -3*v + 5*u = l*v + 5. Is (-4)/(-12) + (-140)/v prime?
True
Let o(z) = z**2 + 2*z + 1181. Is o(0) a composite number?
False
Let h(c) = c**3 - 9*c**2 + 1. Let o be h(9). Suppose -j - o = -4, 3*v - 4*j + 6 = 0. Suppose -4*a + 12 = 0, 323 = 7*m - v*m - 4*a. Is m a composite number?
False
Let n = 204 + -85. Is n a composite number?
True
Let s = -5 + 7. Let a(d) = -5*d**2 - d. Let w(p) = 4*p**2 - 1. Let u(q) = s*a(q) + 3*w(q). Is u(-4) a prime number?
True
Suppose 9 = l - 2*v, 0 = 3*l + 2*v + v + 9. Let f(j) = 348*j**2 - j. Is f(l) composite?
False
Let b(q) be the second derivative of 35*q**3/3 - 7*q**2/2 + 5*q. Is b(2) prime?
False
Suppose 4*k - 16 = 0, 5*u + 6*k - 7631 = 2*k. Is u composite?
False
Let v(m) = -m**3 + 13*m**2 - 2*m + 1. Is v(9) a prime number?
True
Let f(p) = -p + 12. Let i be f(6). Let k = -2 + i. Suppose -k*g + 0*m + 2*m = -146, 5*g = 5*m + 190. Is g a prime number?
False
Suppose 44 = -3*n + 5*n. Suppose -3*u + 77 = -n. Is u composite?
True
Let n(h) = -20*h + 1. Let r be n(5). Let j = -41 - r. Is j a prime number?
False
Let o be 1 - (-5*1 + 2 + 0). Suppose 4*p - 20 = 2*p - 4*i, -3*p + 4*i + 10 = 0. Is (-1806)/o*(-4)/p prime?
False
Suppose -2*s + 21 - 3 = 0. Suppose -3*g - q + 350 = 2*g, 5*g - 350 = q. Let d = g + s. Is d composite?
False
Suppose 0 = 2*z - 2*t - 152, 4*t + 8 + 0 = 0. Is z a composite number?
True
Suppose -3*z + 4*y = -1155, 0 = z + 3*y + 109 - 481. Let j = z + 320. Is j composite?
False
Let j be -1 + 171 + 1 + 2. Suppose -4*z + j = 41. Is z prime?
False
Supp