27289887037/16179. Let h = q + 2/5393. Let j = h - 31. Which is greater: 1 or j?
1
Let c be 1 + 2 - (-4 - -6). Which is smaller: 10 or c?
c
Let c(i) = i**2 - 6*i - 1. Let h be c(6). Let p be h - 3/(27/(-6)). Which is greater: p or 2/3?
2/3
Let l be (-2 + 1)*1 + (-75)/(-35). Which is smaller: l or 1?
1
Suppose -8*z = -7*z + 9. Let y = z - -3. Which is smaller: y or -7?
-7
Suppose 5*r - 20 = -l - 0*r, 5*r = -4*l + 20. Let t = -37/2485 + -3/71. Do t and l have different values?
True
Let k be ((-6)/(-88))/((-3)/(-24)). Let n(v) = -v - 1. Let u be n(-3). Which is smaller: k or u?
k
Let p = -5 + -1. Let l = -0.076 - 5.824. Let w = l - p. Which is bigger: w or -6/7?
w
Let g = 0.52 - 0.49. Let p = -124 - -123.03. Let a = g - p. Which is bigger: -0.1 or a?
a
Let x be ((-28)/(-12))/(-1) - -2. Is 1 > x?
True
Let q = 4 + -2. Is -0.6 at least q?
False
Let t = -62 + 63. Which is smaller: 2/63 or t?
2/63
Let v(q) = -q**2 + 7*q + 4. Suppose 2*y = 4*b + 2, -4*y + b + 19 + 6 = 0. Let d be v(y). Let t be 25/60 - d/6. Is t != -1/3?
True
Let a be (6/(-9))/((-3)/(-9)). Let w = 0 + a. Do -2 and w have the same value?
True
Let c be (1/2)/((-174)/24 - -6). Is -13 at least c?
False
Let n be (5/(-40))/(3 + -2). Let q = 6 - 2. Let x = 5 - q. Which is smaller: n or x?
n
Suppose -j + 4*m + 7 = 0, 0 = -2*j - 5*m + 2*m - 30. Is j greater than -8?
False
Let p = -21/33352 - 122234261/1300728. Let f = 94 + p. Let r = 4/13 + f. Which is bigger: r or 1?
1
Let m = -1.68 + 1.76. Which is smaller: -1/2 or m?
-1/2
Suppose -4*c = 2 + 14. Let v = c + 4. Suppose 0 = -5*d + 1 + 4. Is d at most v?
False
Let v = 5/26051 + -65987223/208408. Let i = -317 - v. Let c = 0.3 - -0.7. Is i greater than c?
False
Let d(t) = t**3 - 4*t**2 - 7*t + 6. Let b be d(5). Let q = 3 + b. Is 0 at most q?
False
Let y(z) = z**3 - z**2 - 4. Let g be y(0). Let s be (-2)/g*24/(-27). Which is smaller: -1 or s?
-1
Let r(y) = 6 - y**3 + 5*y**2 - 6 - 4*y. Let j be r(4). Is j at least as big as 1/6?
False
Let y(o) = 5*o - 4. Let a be y(3). Suppose -a*g = -12*g. Are 4/9 and g nonequal?
True
Let a(v) = -v + 6. Let x be a(4). Let p be x - -2 - 0 - 2. Suppose -4 + 2 = p*i. Which is greater: 1/3 or i?
1/3
Let w = -49 + 54.8. Let u = 0.02 - -5.98. Let n = w - u. Which is greater: n or -1?
n
Suppose 2*d + 2*d = 0. Suppose d = -2*y + 6 + 4. Is y > -0.1?
True
Let j(m) = 6*m + 4 - 9*m**2 + 4*m**3 + 5*m**3 - 5*m**3 - m**3. Let u(t) = -t**3 + t**2 - 1. Let p(a) = j(a) + 4*u(a). Let x be p(-6). Is x less than -2/3?
False
Let q be 1/3 - (-148)/(-462). Let f = 236/385 - q. Let z = 0 - 1/3. Is f greater than z?
True
Let v = 7 + -51/7. Which is bigger: v or 0.21?
0.21
Let i = -46063/26 - -1771. Let j = -2/13 - i. Let m(w) = -w + 6. Let f be m(5). Which is smaller: j or f?
j
Let g = -52 + 35. Which is greater: g or -18?
g
Let i = -74 + 73. Which is bigger: 0.052 or i?
0.052
Suppose 0 = -3*y - 2*y + 20. Suppose -8 = 4*c + y*f, 4*f + f = -2*c - 4. Let q be (2 + c/1)*1. Is 0 != q?
False
Let k = 5 - 1. Let u = 0 + k. Let y = -6 + u. Which is smaller: y or 1?
y
Suppose 0*s - 6 = -2*s. Let m be s*(-2)/12*-3. Do 3 and m have the same value?
False
Let r(s) = 2*s - 11. Let j be r(8). Let c = 4 - j. Is -2 bigger than c?
False
Let f = -30.3 + 2.3. Let c = f - -28.44. Let n = c + -0.04. Are n and -0.1 nonequal?
True
Let n(r) = -r + 3. Let w be n(3). Let d = 1/18 + -131/90. Is d smaller than w?
True
Let m = -10 + 9.8. Let z be (4 + -6)/(10 - 1). Are z and m equal?
False
Let r = 1 - -5. Suppose 3*u + 2*o = 0, -3*o + 5 = -2*u - r*o. Which is greater: u or 4?
4
Let m be 0 + (-2)/2 + 0. Let u = -0.31 - -0.3. Let y = -0.99 + u. Is m at most as big as y?
True
Let r be 1/(((-2)/(-2))/(-1)). Let h be 12/(-45)*3*-35. Let l be 3 - (148/h + -2). Is r < l?
True
Let p be (2/(-4))/((-2)/4). Let b(w) = -w**2 + 8*w. Let c be b(7). Let i = -4 + c. Is p bigger than i?
False
Let s(t) = -t**3 - 4*t**2 + 16*t - 1. Let m be s(-6). Is m <= -0.2?
True
Suppose 0 = -3*g - 2 - 7. Suppose 15 = -0*c + 4*c + 3*n, -2*c + 2*n + 4 = 0. Let q be (-1)/c + (-40)/15. Is g at least q?
True
Let h(o) = -9*o - 19. Let m(w) be the second derivative of 5*w**3/6 + 5*w**2 + 2*w. Let g(q) = -6*h(q) - 11*m(q). Let z be g(5). Does 2/11 = z?
False
Let n = -965 - -970. Let m be 0 - 0 - 2/(-2). Is n at most as big as m?
False
Suppose -4*p + 0*p - 8 = 0. Let r be (0 + 0 - -2)*p. Is -4 less than r?
False
Suppose 3*z - 46 - 53 = 0. Let a = z + -84. Let c be a/63 + 4/6. Are c and 1 non-equal?
True
Let o(q) = 4*q + 2. Let v be o(-3). Does v = -10?
True
Suppose -p = 5*c - 15, 0*p - 2*c = -p + 8. Let v = p + -14. Suppose 2*t - 4*a - 10 = 0, -3*a - 7 = -t + 3. Is v > t?
True
Suppose 0 = 9*g - 9 - 0. Is 8/9 greater than or equal to g?
False
Suppose 0 = 5*m - 30. Let f be (m/(-135))/((-6)/10). Let n = 13/189 + f. Is 1 at most n?
False
Let w(d) = d**3 - 2*d**2 + d - 2. Let s(u) = -u**3 + 2*u**2 - 2*u + 2. Let a(x) = 2*s(x) + 3*w(x). Let t be a(2). Is t != -3?
True
Let z = -158/3 + 829/15. Suppose 0 = 262*u - 255*u - 28. Is u at least as big as z?
True
Let d = 29 - 17. Let t = d + -12.1. Are t and 2 non-equal?
True
Let f = 0.04 + -0.14. Which is bigger: f or 2?
2
Let m be (4/(-5))/((-4)/10). Suppose -5*o + 18 = -m*o. Is o less than 5?
False
Suppose 3*n - 28 = -91. Let k be (-8)/(-12) + 4010/n. Let y = k + 190. Which is greater: -0.4 or y?
y
Let b(j) = -j + 1. Let m be b(-3). Suppose 12 = -m*l + 4*q, 6*l - 2*l = -3*q - 26. Let i(w) = w**2 + 4*w - 6. Let n be i(l). Which is greater: n or -2/3?
-2/3
Let a = -2.39 + -0.71. Let z = -3 - a. Which is smaller: z or 3?
z
Let m = -6438145556421416/134308387942035 - -11841/819128399. Let u = -24/10931 - m. Let k = u - 48. Is 0 bigger than k?
True
Let n(q) be the second derivative of q**5/20 + q**4/3 - q**3/6 - 2*q**2 + 6*q. Let c(l) = -l**2 + 4*l + 8. Let g be c(6). Let j be n(g). Is j > 1?
False
Suppose 2 = m - 2. Suppose m*p = 2*p. Suppose a = 4 - 3. Which is smaller: p or a?
p
Suppose -4*q = -5*c - 33, 0 = -4*q + 5*q + 5*c - 27. Suppose 0 = -s - 2*s - q. Which is smaller: s or -5/2?
s
Let k(n) = 7*n - 3 - 3*n**2 - 7 + 4*n**2. Let m be k(-8). Let l be ((-4)/(-6))/(m/3). Which is greater: l or 2/11?
2/11
Suppose 2*t = -2, 11 = -3*x - 2*t + 42. Let b be (-6)/14 - x/(-42). Is 1 at least as big as b?
True
Suppose 129 = -10*b + 7*b. Is b < -42?
True
Let t = -0.9 - 0.1. Let b = t - -0.93. Is b greater than 0.1?
False
Let q(y) = y + 12. Let u(n) = -n - 11. Let k(b) = 3*q(b) + 4*u(b). Let x be k(-6). Let c be 3*(6/27)/x. Do c and -1 have different values?
True
Let m(x) = -2*x - 5. Let f be m(-4). Let r be -19 + (-3)/4*-4. Let g = r - -20. Which is smaller: f or g?
f
Let c = -974 + 976. Let q = -122 + 32. Let v = 365/4 + q. Is v <= c?
True
Let x = -1 + 1. Suppose 0 = -3*h + 6*h - 3*g + 6, 0 = -5*h - 2*g - 3. Let d be 1/(-45) - h/(-5). Which is bigger: d or x?
x
Let z = -0.3 + -0.7. Let j(w) = 7*w**2 - 49*w - 2. Let y be j(7). Which is greater: z or y?
z
Suppose 0*x - 4*o = -x + 2, 20 = -2*x + 2*o. Let g = x - -8. Let h be g/8*(-2)/(-6). Is 2 equal to h?
False
Let m = -1/19 - -41/57. Is -0.34 at most as big as m?
True
Let m = 37/5 - -81/35. Which is greater: 10 or m?
10
Suppose 5*l - 4*l + 6 = -5*p, 0 = -3*p - 4*l + 10. Let u = p + 0. Is -3 less than u?
True
Suppose 4*o - 7*o + 4*g + 28 = 0, 0 = -5*o - 4*g + 4. Let m = 8 + -8. Suppose 0 = 5*n + 15, 4*d + 4*n - 6*n - 18 = m. Is d equal to o?
False
Let y be (-16)/(-24) - 10/6. Let g be (-2)/70 - (-3 + 3). Is y greater than or equal to g?
False
Suppose -10 = 4*q + 2*c, -5 = 3*q + c + 3. Suppose 1 + 4 = -5*d. Is d at most q?
False
Let p(w) = w**3 - 5*w**2 + 3*w + 4. Let q be p(4). Is q equal to 1/4?
False
Let i = -9 - -14. Suppose -i*r - 11 + 3 = -3*b, 4*b - r = 5. Are 1/6 and b non-equal?
True
Let i(z) = z**2 - 17*z - 3. Let w be i(15). Which is smaller: w or -34?
-34
Suppose 2 = n - 1. Suppose c - 17 = -5. Suppose 2*q - 6*q = -c. Is n not equal to q?
False
Suppose 18 = 4*o + 6. Suppose 5*c = 25, s + o = -s + c. Suppose -x - 2 = -3. Is s at least as big as x?
True
Let k be ((-2905)/14)/((-94)/424). Let o = -936 + k. Which is smaller: o or 0?
o
Let d be 15/(-10)*(-34)/(-3). Is d greater than or equal to -17?
True
Suppose -4*d + 4 = 5*l - 37, 5*d - 2*l = 10. Let t(y) = d*y - 4*y**2 + 5*y**2 - 1 + 0 - 3. Let u be t(-5). Is -1/6 sma