. Is o a prime number?
True
Let g(q) = -44*q + 27. Is g(-20) prime?
True
Let l(g) = 22*g**2 - 5*g - 2. Is l(-3) prime?
True
Let x(m) = m**2 + m - 241. Let s be x(0). Let i = 444 + s. Is i a composite number?
True
Let z be 1 - 2/(-2) - 10. Let u be 1/(-4) + 38/z. Is (26/6)/(u/(-105)) composite?
True
Suppose -5*i = -2*i - 861. Suppose 4*o = 309 + i. Is o prime?
True
Let b(q) = -q**3 - q**2 + 3*q - 2. Let i(l) = -l**2 - 7*l - 2. Let g be i(-6). Suppose 5 = -r + 2*j, 5*j - g = r + 4*j. Is b(r) a prime number?
True
Let d(s) = -34*s**3 + 2*s**2 + s. Let m be d(-4). Suppose -m = -i - 3*i. Is i prime?
False
Let r = 7 - 5. Suppose 25 = r*b - i, -2*b = -b - i - 11. Is b a prime number?
False
Suppose 2*j - 18 = -2. Let y be j/20*5/1. Suppose 4*b + 632 = 4*c, 3*b = -y*c - b + 346. Is c a composite number?
False
Let l(q) = -105*q - 3. Let u be l(4). Let x = -28 - u. Is x a prime number?
False
Suppose 0 = -2*t - 2*q + 96, -128 = -3*t + 4*q + q. Is t composite?
True
Let i be 0/(2 - (2 + 1)). Suppose 4*m + 0*m = i. Suppose -o + 5*o - 124 = m. Is o composite?
False
Let x(r) = 2*r - 2. Suppose v - 2 = -d, 2*d + 3*d - 5*v - 40 = 0. Let l be x(d). Suppose 5*p - f = 91, 34 = 2*p + f - l. Is p prime?
True
Suppose 9 - 25 = -2*r. Is (-8985)/(-45) + r/6 composite?
True
Let m(b) = b - 7. Let t be m(7). Let r = 43 + t. Is r a prime number?
True
Let i be (-6)/(-18) + (-2)/6. Suppose i = 4*v + 5*q - 2517, 2*v = -3*q - 54 + 1315. Is v prime?
False
Suppose -417 = -3*v - s, 2*s - 104 - 313 = -3*v. Let w = v + -68. Is w composite?
False
Let k be (-40)/(-30)*30/4. Suppose 3*v + 1045 = 4*u, k*u = 5*u - 5*v + 1280. Is u a prime number?
False
Let w(h) = -h**2 - 8*h - 3. Let z be w(-7). Is 1651/z + 1/4 a composite number?
True
Let m(s) = 18*s**2 - s. Let t be m(1). Suppose j + 7 = 3*l + t, 3*l - 14 = -5*j. Is 187/3 + j/(-12) prime?
False
Suppose 0 = 3*w - 4*w + 9. Let p = 68 - w. Is p a prime number?
True
Let u = -214 - -461. Is u a prime number?
False
Let a be (-2)/2 - (5 + -7). Let z be (-1)/(15/18 - a). Suppose 3*j - 200 = -z*l + l, -j + 5*l = -60. Is j composite?
True
Let w(l) = -11*l**3 + 2*l**2 - 1. Let p be w(-1). Let z = 32 - p. Suppose 2*j - 18 = z. Is j a composite number?
False
Let w = 1546 + 1563. Is w composite?
False
Let m(w) = 24*w - 5. Is m(14) prime?
True
Suppose 0*v = -b - v + 54, -b - 5*v = -38. Is b prime?
False
Let k = -1154 + 2005. Is k a composite number?
True
Let n(h) = 19*h**3 + 5*h**2 - 2*h + 1. Is n(3) a prime number?
False
Is ((-2)/6)/(2/(-1014)) a prime number?
False
Suppose -m - 62 = 84. Let f = 273 + m. Is f prime?
True
Is -3*2/9*-87 composite?
True
Suppose a - f = 42, 0*a = 2*a - 5*f - 84. Let d(n) = 2*n - 1. Let t be d(2). Suppose a = t*u - u. Is u a prime number?
False
Let i(l) = l. Let n be i(1). Suppose 0 = -2*f + 1 - 13. Is (-6)/f + n + 83 a composite number?
True
Let n = 9 - 5. Suppose n*q = -7 - 9. Is q*3/(-30)*95 composite?
True
Suppose 2*x - 3*d + 2*d = 187, 9 = 3*d. Is x a composite number?
True
Let m = 8 + -5. Let u = 2 - m. Is (-509)/(-4) - u/(-4) a prime number?
True
Suppose 4*r - 15441 = r. Is r composite?
False
Suppose 3*c + 0*c = 18. Let q(h) = h - 1. Let d be q(c). Suppose -r - 36 = -d*m + 66, 5*r - 120 = -5*m. Is m a prime number?
False
Suppose -2*g = 5*m - 484 - 132, 0 = -3*m + 2*g + 376. Let n = 203 - m. Is n composite?
False
Is (296 + (-1 - 2))/1 prime?
True
Suppose 5*g - 4*t = 226, 3*g + 3*t - 100 = 41. Let i(l) = l**3 - l - 2. Let x be i(2). Suppose -x*f = -g - 10. Is f prime?
False
Let l(v) be the second derivative of -8*v**3/3 - 15*v**2/2 - v. Is l(-7) prime?
True
Suppose t = 3*t - 8. Let d(y) = 5*y**3 + 10*y**2 - 8*y - 5. Let k(l) = -6*l**3 - 10*l**2 + 9*l + 5. Let v(x) = 7*d(x) + 6*k(x). Is v(t) composite?
False
Suppose -5*o - i - 213 = 2274, 5*o = 4*i - 2502. Is (o/(-18))/((-1)/(-3)) prime?
True
Let l(r) = r + 9. Let i be l(-9). Suppose 3*w + 2*k = 55 + 13, i = -w - 4*k + 16. Let d = 34 - w. Is d a prime number?
False
Suppose 0 = 3*w - 12, 5*t + 5*w - 580 = -0*t. Let x = -2 + 1. Let o = t + x. Is o prime?
False
Suppose 3*h - 291 = r + 3*r, -2*h - 5*r = -217. Let q = h - 43. Is q prime?
False
Let o(y) = -7*y + 1. Let a(b) = -3*b + 1. Let d(q) = 13*a(q) - 6*o(q). Let t be (-2)/(11/(-5) + 2). Is d(t) a composite number?
False
Suppose -3*q - q + 1134 = 5*t, -2*t + 4*q + 448 = 0. Is t prime?
False
Let d = -111 - -365. Is d a composite number?
True
Suppose 0 = d + 2*o - 5*o - 89, -4*d + 5*o = -342. Is d a prime number?
True
Is (-42)/(-35)*(-4990)/(-4) composite?
True
Let h(t) be the second derivative of t**4/2 + t**3/6 + t**2/2 - 5*t. Is h(-2) prime?
True
Suppose 2*m + 0*m = -2, -2*a + 3*m + 9 = 0. Suppose -4*v + 0*v - 908 = -4*s, 4*v = a*s - 677. Suppose 2*z - 5*l + s = 3*z, 2*l + 203 = z. Is z a prime number?
True
Let c(r) = r**3 + 9*r**2 + 2*r + 5. Is c(-5) prime?
False
Suppose -2*k = -6*k. Suppose -5*s = -3*y - 29, k*y + 6 = 3*s + 2*y. Is (1*-17)/(s/(-28)) composite?
True
Let z(g) = g + 1. Let p be z(8). Let h = p + -4. Suppose -h*l + 2*l + 3*f + 36 = 0, 0 = 3*l + 5*f + 4. Is l composite?
False
Suppose -4*t - 4 = 12. Let l(k) = k + 4. Let h be l(0). Is 11/h - t/16 a composite number?
False
Suppose -2*t - 11 = 3*g, -3 = -5*t - g + 2. Is -3*((-183)/9 + t) a prime number?
False
Let g = 4 - 59. Let x = g + 129. Is x a composite number?
True
Let c be (-1)/(1 + 422/(-421)). Suppose -m = -3*n - 135, -3*m - n - c = -6*m. Is m a composite number?
True
Let g = -2763 - -4420. Is g a composite number?
False
Suppose 4 = -3*f + 1. Let p = 80 + f. Is p prime?
True
Let r be ((-508)/(-3))/(2/3). Suppose -5*k - 79 = -r. Is k a composite number?
True
Let d = 18 + -8. Let k be (-4)/d*(-20)/8. Is (15/20)/(k/68) a composite number?
True
Suppose 3*f - 915 = -3*h, 151 = -3*f - h + 1070. Is f composite?
False
Let m(r) = -9*r**3 - 3*r**2 + 4*r - 1. Let q = 7 - 4. Let x be m(q). Let l = -170 - x. Is l a prime number?
True
Let b = -1 - -1. Suppose 0 = -4*m + s + 15, b*m = m - s. Suppose -1061 - 794 = -m*v. Is v a composite number?
True
Let v(a) = 2*a**2 + 9*a - 10. Let n be v(-9). Suppose -5*b + n = -94. Is b a composite number?
True
Let r(p) be the first derivative of 1/4*p**4 + 5/2*p**2 - 4*p + 7/3*p**3 - 1. Is r(-6) composite?
False
Let c be 4/(15/6 - 2). Let u = c - 5. Is (79/2)/(u/6) a composite number?
False
Let g(d) be the first derivative of 2*d**3/3 - 4*d**2 - d - 6. Is g(-6) composite?
True
Let l be ((-2172)/18)/(2/(-3)). Let y = l - 32. Is y a composite number?
False
Let h(b) = 14*b**3 + b**2 + 4*b + 4. Is h(5) composite?
True
Let c = 32 + -4. Is ((-3)/(-2))/(3/c) prime?
False
Is -3 - 2 - -5 - (2 + -3249) a composite number?
True
Let y(k) = -k + 158. Is y(0) prime?
False
Let b = -5 + 184. Is b prime?
True
Suppose 0 = -4*x + 3*x + 127. Is x prime?
True
Let z(f) = -5*f**2 - 3*f + 2. Let k(r) = -14*r**2 - 10*r + 6. Let p(d) = 2*k(d) - 7*z(d). Is p(5) composite?
True
Let w = -3 - -2. Is 23/2*(w + 5) a composite number?
True
Let i be (8/(-3))/4*-6. Let p be (70/(-15))/(i/(-6)). Let v(o) = -o**2 + 14*o + 4. Is v(p) a composite number?
False
Let l be (-3)/6*(0 + 0). Let p = 4 + l. Suppose p*g - i = 87, 3*g - 2*i = -0*g + 69. Is g composite?
True
Suppose -4*l = 2*t - 3486, 4*t - 5*l - 7915 + 995 = 0. Is t composite?
True
Suppose 2*d - 159 + 59 = 0. Let l = -7 + d. Is l a prime number?
True
Let w = 5 - -7. Is 8/w - (-1970)/6 prime?
False
Let d(c) = 35*c + 21*c + 3 - 4. Let b be d(3). Suppose -3*y + 4*q + 71 = 0, 5*y + 3*q + 39 = b. Is y a composite number?
True
Suppose -24 = 3*m + 2*b, -b + 9 = -4*b. Let t be (-3)/m*-6 + -3. Is (-4)/t - (-840)/9 a composite number?
True
Let r(x) be the second derivative of x**5/20 - 5*x**4/12 + x**3/2 - 5*x**2/2 + 8*x. Is r(9) a composite number?
True
Suppose 3*a - 1395 = 2*f + 2*f, -a + 463 = -2*f. Is a a prime number?
False
Let k(t) = 4*t**2 + 15*t + 26. Is k(-15) a prime number?
True
Suppose 0 = -4*r - 2*y + y + 882, 2 = -y. Is r a composite number?
True
Let j be (-91)/(-1) + -1 + 0. Suppose -m = 16 - j. Is m prime?
False
Let q = -4 + 3. Let a(w) = -2*w. Let m be a(q). Suppose 0 = -m*h + 3*h - 31. Is h a prime number?
True
Suppose -2*v = -4*j + 3*v + 31, -3*v - 1 = 2*j. Suppose -5*d - p + 55 = 0, -2*d - j*p + 4 = -0*p. Let l = d - 5. Is l prime?
True
Let w(b) = 178*b**3 - 2*b**2 + b. Is w(1) a composite numb