True
Let g be 2/6*3 - -3. Suppose g*x + 39 = 115. Is x composite?
False
Suppose -2*w - 3 = 9. Let q = w - -6. Suppose q*f - 68 = -2*f. Is f a composite number?
True
Let m(a) = -a**3 + 8*a**2 - 8*a + 9. Let z be m(7). Let j = z + 3. Suppose j*s - 163 - 582 = 0. Is s a prime number?
True
Let h = 7 + 77. Suppose 2*d = -2*d + h. Is d a prime number?
False
Let h(p) be the second derivative of p**3 - 9*p**2/2 - 9*p. Is h(5) composite?
True
Let w(p) = p**3 + 4*p**2 + 2*p. Let t be w(-3). Suppose -o = 3*o - 76. Suppose -o + 64 = t*l. Is l prime?
False
Let g be (0 + (-1)/(-3))*0. Suppose l - 17 = -g. Let k = l + -2. Is k a prime number?
False
Let w be (6/8)/((-1)/(-8)). Let c be (-4)/w + (-10)/(-6). Is ((-2 - -15) + -2)*c prime?
True
Suppose 0 = 5*x + 79 - 404. Is x a prime number?
False
Let l(p) = 0*p - 5*p + p**2 + 3 - p. Let n be l(6). Let s(b) = 5*b**2 + b + 1. Is s(n) composite?
True
Let j(v) = v + 9. Let b be j(-5). Suppose g = -b*x - 2*g + 2555, x - 635 = -2*g. Is x composite?
False
Let c = 117 - 64. Is c a composite number?
False
Let o(g) = g**3 + 17*g**2 + 14*g + 11. Is o(-15) prime?
True
Let g(c) = -188*c + 23. Is g(-6) a composite number?
False
Suppose -14 = 2*a + 4*x, -3*a + 2*x - 13 = 4*x. Is (2*a)/(4/(-58)) composite?
True
Suppose 0 = -3*t + 992 - 251. Is t a composite number?
True
Suppose 0 = -q + 6*q - 4595. Is q composite?
False
Let f be -1 - (-2 + 8)/(-3). Is (-2)/(f/1) - -13 a composite number?
False
Suppose 2*u + 16 = -h, -5 = 3*u + 7. Is -4*(-1)/(h/(-934)) a composite number?
False
Let w(y) = y**3 + 4*y**2 - y - 2. Let i be w(-4). Suppose -2*j = i*j. Suppose 4*v + j*v = 140. Is v a composite number?
True
Let n be 1*0/(-3 + 1). Suppose n = -3*j - 3*y - 0*y + 210, 4*j - 4*y = 240. Is j composite?
True
Let f(n) = 143*n**2 + n - 4. Is f(-2) a prime number?
False
Let b = 5096 - 2169. Is b a prime number?
True
Let h = 36 - 26. Let x = h - -12. Is x composite?
True
Suppose -108 = 5*d - 4*d. Let y = d + 167. Is y prime?
True
Suppose 5*z - 79 = -5*x + x, -z = -x + 22. Is x a prime number?
False
Suppose 4 + 68 = 4*b. Let y be b/4*(-2)/(-3). Let p(o) = 2*o**3 - 5*o**2 + 3*o - 3. Is p(y) composite?
True
Let f = 7 + -9. Is (1/3)/(f/(-318)) a prime number?
True
Let i = -1 - -2. Suppose -4 = -4*s, -38 = 5*y - s - 12. Is (-425)/y + 0/i a composite number?
True
Let y = 884 + -247. Let w = y - 446. Is w a composite number?
False
Let o(n) = -10*n**2 + 8*n - 1. Let m(u) = 9*u**2 - 7*u. Let h(t) = 4*m(t) + 3*o(t). Is h(-5) prime?
True
Let k(t) = t**3 + 2*t**2 - 5*t - 2. Let g be k(-3). Suppose g*a + 595 = 5*c, -119 = -c - 5*a - 0*a. Is c a prime number?
False
Suppose 5*d + 40 = -5*x, -3*d - 20 = 5*x - 2*d. Suppose 12*k = 7*k - 45. Let z = x - k. Is z a prime number?
False
Suppose 5*w + 6*g = g, 5*w - 3*g - 16 = 0. Suppose 0 = z - w*l - 25, 6*z + 3*l = z + 99. Is z a composite number?
True
Suppose 5*c = 2*l - 6 - 157, -4*c = 4*l - 368. Is l a composite number?
False
Let u(v) = -2*v**3 + 4*v**2 - 14*v - 7. Is u(-10) prime?
False
Let q(k) = k - 3. Let p be q(5). Suppose 7*v - j = p*v + 227, -v = -2*j - 49. Let x = 10 + v. Is x composite?
True
Let l(d) = 5*d + 35. Let w(v) = 2*v + 12. Let g(p) = 6*l(p) - 17*w(p). Is g(-8) prime?
False
Suppose -2*z = 4*c - 494, 747 = 3*z + 4*c - 0*c. Is z a composite number?
True
Suppose -3*z - z = 0. Suppose -p + 111 - 26 = z. Is p composite?
True
Let q(l) = -l**3 - 2*l**2 + 2. Let s(b) = b + 4. Let m be s(-6). Let g be q(m). Suppose -g*v = -6*v + 76. Is v composite?
False
Let j(p) = 12*p**2 + p + 1. Is j(-2) a composite number?
False
Let a = -759 - -1467. Suppose 2*x = 2*z + a, -5*x + 8*x = -12. Let h = -41 - z. Is h prime?
True
Let a(c) = 15*c - 12. Is a(15) a prime number?
False
Suppose 49 + 131 = 4*o. Suppose -3*z - 3*j = -o, -4*z + 2*j = -0*j - 36. Is z prime?
True
Suppose 156 = -5*z + 16. Is (-7)/(z/(-8)) + 48 a composite number?
True
Is (-67)/(-2) - (-9)/18 a composite number?
True
Suppose z + 37 = -5*v, -4*v = -9*v - 5*z - 45. Let t = v + 2. Let g(u) = -6*u - 7. Is g(t) prime?
True
Let c = 9 + -5. Suppose 0*x - c*m = -3*x - 14, -3 = -4*x + m. Suppose t = -3*n + 28, -3*t + x*t + 4*n = -7. Is t a prime number?
True
Suppose -3 = t - 23. Let g = t + -9. Is g a composite number?
False
Let t(u) = 2*u**2 - u. Suppose -j - 3 + 4 = 0. Suppose 5*s = -3*v + j, 5*v - s - s = 12. Is t(v) a composite number?
True
Suppose o - 2*i - 21 = -0*i, -2*o - 3*i = -7. Let u(b) = -b**3 + 12*b**2 - 9*b + 1. Is u(o) a composite number?
False
Suppose 0 = -b - 2*b. Is 77/(1*(1 - b)) prime?
False
Let i be (-2)/(-5)*503*5. Let l = i - 449. Is l prime?
True
Let j = 158 - -179. Is j a prime number?
True
Suppose 4 = 3*c + 2*y, -5*c + 3*y - 6 = -0*y. Suppose -11 = 4*t - 3. Is (-14)/t - (c + 0) a prime number?
True
Let b be 0 + 8/2 + 0. Let t(f) = -f**3 + 3 + 4*f**2 + 0*f**3 + 2*f**3. Is t(b) a composite number?
False
Let i(q) be the second derivative of -25*q**3/2 - q**2/2 + 11*q. Is i(-2) prime?
True
Is 17/((-3)/6 + 1 + 0) composite?
True
Let m(f) = f**3 + 4*f**2 + 2*f + 6. Let r be m(-4). Let k = -2 - r. Suppose -3*j + 76 - 13 = k. Is j a composite number?
True
Suppose -5*y + 3*w + 2*w + 960 = 0, -2*y = -5*w - 387. Is y a prime number?
True
Suppose 2*b - 85 = 3*p, 5*p = -3*b + 48 + 32. Is b composite?
True
Let p(x) = 4*x - 5. Let g(a) = a**3 + 6*a**2 + 2*a - 4. Let m be g(-4). Suppose -20 = -4*c, 5*j - 2*j - m = -c. Is p(j) prime?
False
Is 286/(-8)*(5 + -9) a composite number?
True
Let r = 168 + -26. Is r composite?
True
Let w(f) = -2*f**2 - f + 6. Suppose -20 = 4*z + 4. Let b be w(z). Is b/(-8) + (-1)/2 a prime number?
True
Suppose 0 = -q + 2*q - 684. Suppose -56 = 4*z - q. Is z composite?
False
Let z(v) = v**3 + 6*v**2 + 5*v + 3. Let m be -7 - (-3 + -2 - -3). Let i be z(m). Suppose i*j + 4*k - 166 = -2*j, 3*k + 3 = 0. Is j a composite number?
True
Suppose -r + 4*r = 0. Let p(x) = x + 3. Let g be p(r). Suppose g = 2*v - 3. Is v a composite number?
False
Let r(s) = s**3 + 10*s**2 - 9*s - 1. Is r(-10) composite?
False
Let s = -121 + 642. Is s a prime number?
True
Suppose 0 = q - 0 - 2. Suppose 134 = q*i - 0*i. Is i a prime number?
True
Let j = 3 - 0. Suppose -j*d = -d - 374. Is d prime?
False
Suppose 0 = 5*c + 5*t - 1065, 5*c - 4*t - 331 = 716. Is c a composite number?
False
Let h be 4/(-6) + 46/6. Suppose -4*m + 74 = -2*v, 3*m - h = 4*v + 41. Suppose l + m = 6*l, 0 = 2*c + 4*l - 38. Is c a prime number?
True
Suppose 0*h + h = -13. Suppose -5*r + 0*d = -d - 117, -r = -5*d - 33. Let o = h + r. Is o a prime number?
False
Let u(x) be the third derivative of x**5/60 + 5*x**4/24 - x**3/6 - 2*x**2. Is u(5) a prime number?
False
Suppose 0 = -5*c + 24 - 4. Is c composite?
True
Let t(s) = -s**3 + s - 612. Let l be t(0). Let z = l - -1093. Is z a composite number?
True
Suppose 4*u + 3*d = -d - 4, -2*d = -2*u + 10. Suppose -2*x - u*x + 364 = 0. Is x a prime number?
False
Let i(b) = -8*b**3 + b**2 + b + 2. Let h(f) = f**3 - f + 1. Let n(q) = -h(q) + i(q). Let w be n(-1). Suppose w*l = 4*l, -l = 5*g - 95. Is g composite?
False
Suppose 0 = y + t - 4, -4*t + 7*t - 2 = 2*y. Suppose 4 = -m + 2. Is m/(y/1) + 7 prime?
False
Suppose -c - 3970 = -6*c. Is c a composite number?
True
Let q(o) = o**3 - 8*o**2 - o + 10. Let k be (-3 - -1) + (12 - 2). Let i be q(k). Suppose -i*r - r + 435 = 0. Is r prime?
False
Suppose -m + 15 - 67 = 0. Suppose -6*i + 5*i = 5*u + 57, 2*u - 393 = 5*i. Let a = m - i. Is a composite?
True
Suppose 3*a - 2 - 1 = 0. Is -2*a - (-111)/3 composite?
True
Let t = 1801 + -1190. Is t a prime number?
False
Let y = 10 - -37. Let f = 85 - y. Is f a prime number?
False
Let z = -1 + 1. Suppose z*b + 8 = 2*b. Suppose -5*o + 10 = 0, b*s + 8*o = 3*o + 62. Is s composite?
False
Suppose -2*q = 5*w - 21, -2*w + w + 25 = 3*q. Suppose 2*i = q + 62. Is i a composite number?
True
Let h be (-5329)/(-7) + 4/(-14). Suppose h = 5*f + 6. Suppose 0*o + 2*o - f = z, 5*z = 15. Is o composite?
True
Suppose 65 = -v - w + 223, 3*w = -15. Is v prime?
True
Let p(n) = -2*n + 8. Let c be p(7). Let v be 15 - -1 - (0 + 2). Is v + 2/c*-3 composite?
True
Suppose 3*c - r - 237 = r, -216 = -3*c - 5*r. Is c a prime number?
False
Let s be (-33)/4 + 1/4. Let u(p) = -p**3 - 6*p**2 + 12*p + 1. Is u(s) composite?
True
Let v = 4246 + -2787. Is v composite?
False
Suppose 2*b + 115 = 2*y + y, 