er: v or -2?
v
Let s be (12/258)/(4/(-54)). Let w = s + -1999/172. Let k = w - -12. Which is greater: k or -1?
k
Let u = 66.06 + -66. Which is greater: u or -2/9?
u
Let j be 8/28 - 30/(-42). Which is smaller: j or -6/41?
-6/41
Let g = 2.88 - -0.12. Let p = g - 6. Let i = -1857/13 + 143. Which is greater: i or p?
i
Let v = -1 - -2.1. Let l = 8 - 7. Let g = l - v. Is 2 less than or equal to g?
False
Let d = 2 + -3. Let i(u) = -u**3 - 3*u**2 + 1. Let l be i(d). Is 1/9 at least as big as l?
True
Let r = -7 - -5. Let m = 12 + -12. Suppose 3*h - 2*s - 13 = m, -5*h + 0 + 10 = -s. Is h at least as big as r?
True
Let f(c) = -c - 2. Let g be f(-2). Suppose -4*x = -2*x - 10. Which is greater: x or g?
x
Let d = 6 - 8. Let r(b) = b**3 - 5*b**2 + 2*b + 4. Let v be r(3). Let a be ((-4)/8)/(d/v). Is a less than 0?
True
Let d = -17 + 18. Which is greater: d or 9/5?
9/5
Let u = 16 + -17. Let r be 1 + (-2)/((-2)/(-1)). Suppose 5*p + 3*m - 30 = r, 3*m = 17 - 2. Is u equal to p?
False
Suppose 4*q = -d - 4 + 15, 3*d - 5*q + 1 = 0. Suppose m + 0*p - 10 = 3*p, -5*m = d*p + 4. Let l = 85/29 + -3. Is l not equal to m?
True
Suppose q = -4*b - 14, -5*q - 19 = -2*b + 5*b. Let g = -2 + 4. Suppose -4*a - 2 = -2*a, -5*r - g*a = 12. Which is smaller: r or b?
b
Let a(z) = z**3 + 5*z**2 + 2*z - 5. Let q be a(-4). Which is greater: 2 or q?
q
Let w = -13 + 22. Which is smaller: -0.1 or w?
-0.1
Suppose -4*g = -0*g + 124. Is g <= -32?
False
Let t(r) = -r + 9. Let q be (-3)/(-3)*36/4. Let a be t(q). Which is bigger: -2 or a?
a
Let k be (1 - -1) + (-352)/174. Are k and -1 non-equal?
True
Let b = 19/2 - 46/5. Which is bigger: 0 or b?
b
Suppose -2*c - c = -6. Are c and 7/5 unequal?
True
Let z = 8.7 - 1.7. Let t = -1.9 - z. Let n = -9 - t. Which is smaller: n or -0.01?
n
Let v = -39 - -37. Is 5 less than v?
False
Let p = 5 - 17. Which is smaller: p or -9?
p
Let n = 1 + 6. Let v(g) = -g + 3. Let y be v(n). Let j be (-6)/(y - -2) - 1. Is j less than 3?
True
Let u(z) = -z**3 + 6*z**2 - 6*z + 7. Let v be u(5). Is v equal to -1?
False
Let z = 0.18 - -0.82. Does -1/2 = z?
False
Let i = 0.08 + -0.18. Which is bigger: -44 or i?
i
Let l = 9 - 9.1. Which is greater: l or -4?
l
Suppose -7*d - 20 = -9*d. Is 9 equal to d?
False
Let f(q) = -12*q**3 + q + 1. Let y be f(-1). Suppose 3*g + 3 - y = -5*j, -4*g = -4*j + 20. Suppose 0 = -5*h + 3*w, -h + 4*w = -0*h. Which is smaller: g or h?
g
Let g = 1813/585 + -40/13. Is g at most -1?
False
Let b = -9 - -8. Is -12 at least as big as b?
False
Suppose 0 = b - 5*j - 9, -3*b - j = 3 + 2. Let u be 2 - 3 - (-13)/9. Which is smaller: b or u?
b
Let u(y) be the third derivative of y**5/60 - 13*y**4/24 - 3*y**2. Let l be u(13). Is l less than -23?
False
Let d = 18.8 + -19. Let l(t) = t - 2. Let b be l(5). Let v = -3 + b. Which is smaller: v or d?
d
Let h(p) = p**3 + 6*p**2. Let l be h(-6). Let k(f) = f**3 - 3*f**2 + 2*f - 3. Let q be k(3). Suppose -4*g + 16 = l, -q - 7 = 2*b - 3*g. Is 1/6 bigger than b?
False
Let p be ((-4)/5)/(3/(-15)). Is 1 bigger than p?
False
Let h(c) = 9*c**2 - 2*c + 6. Let s be 76/16 - 1/(-4). Let l be h(s). Let r = 2433/11 - l. Is 0 smaller than r?
True
Suppose 0 = 2*u - 9 - 31. Suppose x - u = 3*x. Do -9 and x have the same value?
False
Let u(d) = -9*d**2 - 1. Let j be u(-1). Which is bigger: -11 or j?
j
Suppose 2 = -5*s + 7. Let b = 376/15 + -25. Is s greater than b?
True
Suppose 2*g = -4, 0*f - 3*f - 37 = 5*g. Let j = 13 + f. Which is bigger: 6 or j?
6
Let o be -3 + 1 - 34449/(-37). Let j = -929 + o. Which is greater: j or 0?
j
Suppose 0 = -4*h + 11 - 3. Let o be (8/12)/(h/(-30)). Is o at least as big as -11?
True
Let c(v) = -v**3 - 7*v**2 - v + 3. Let j be c(-6). Let x = 109/4 + j. Which is smaller: 1 or x?
x
Let y = 59 - 42. Let p = y - 35/2. Is p at least -1?
True
Suppose -2*a - 2*a + 8 = 0. Suppose -5 = -a*w - 1. Suppose -2*q + 3*o = 11, 5*q + w*o = -2*o + 7. Which is smaller: q or -2?
-2
Let o = -11 - -17. Let w(y) = -y**3 + 5*y**2 + 9*y - 4. Let m be w(o). Suppose 4*x - 3*c + 4*c - 15 = 0, -4*x - 2*c = -m. Does x = 4?
True
Let o = 1.935 - -0.065. Do 0 and o have the same value?
False
Let g = 0.7 - -3.3. Let f = g + -6. Which is smaller: 0.1 or f?
f
Suppose -3*q + 7*q - 652 = 0. Let p = 2447/15 - q. Which is smaller: p or 1?
p
Let w = -1.11 + -0.69. Does w = 2/5?
False
Let i(u) = u**2 - 5*u + 1. Let g be i(5). Suppose c + g = 8. Let y be -2*1/c + 0. Which is smaller: y or 1?
y
Let p = -7.7 - -7. Let k = p - 0.3. Let m = -3.04 + 3. Is m != k?
True
Suppose 5*t - 5*w = 5, 4*w + 4 = -2*t - 0*w. Let i = 2/3 - 5/12. Is t greater than i?
False
Let z = -5 + 3. Let f be (-2)/(-3) + (-13)/(-3). Is f at least z?
True
Suppose b = 5*l - 10, 3*l + 2 = b + 8. Suppose -a + l - 3 = 0. Which is smaller: a or -3/8?
a
Let p be ((-2)/(-24))/(4/(-6)). Let k = 2.54 + -0.54. Which is bigger: k or p?
k
Let x be (0 - (-4)/(-24)) + 2/4. Which is smaller: 8 or x?
x
Suppose -5*z - 60 = -5*f - z, 0 = 4*f - 4*z - 48. Which is smaller: 13 or f?
f
Suppose -9*v + 11*v = 36. Which is bigger: v or 17?
v
Let d = 1 + 6. Suppose -l = 2*y - 8 - d, -2*l = 3*y - 27. Which is greater: 10 or l?
10
Let s = -9 + 7. Is -6 not equal to s?
True
Let r = -77 + 58. Is r >= -17?
False
Let g = 37 + -39. Which is smaller: g or -8/7?
g
Let k be 19/(-45) - (-18)/81. Which is bigger: -1/2 or k?
k
Suppose -f = f + 12. Let z be 0 + -2 + (-8)/f. Which is greater: -2 or z?
z
Let j = 0.06 + -4.06. Let w = -3.23 + 0.23. Let g = 3 + w. Does g = j?
False
Let g = 0.5 - -0.5. Let t = -1.3 + g. Which is greater: t or 0?
0
Let n(b) = 4*b**3 + 9*b**2 + 14*b - 3. Let f = 14 + -9. Let c(q) = -q**3 - q + 1. Let x(t) = f*c(t) + n(t). Let a be x(10). Which is greater: -9 or a?
a
Let i(p) = -2*p - 6. Let k be i(-3). Which is bigger: 4/25 or k?
4/25
Let t(r) = r**2 - 3*r + 1. Let x be t(3). Let p(g) = 3*g**3 - 2*g**2 + 1. Let a be p(-1). Let k be a/(-12)*(-6)/(-2). Is k > x?
False
Let x = -1691 + 1176. Let t = 4127/8 + x. Which is smaller: t or 1?
t
Suppose 2*i - 3 - 7 = 0. Let o be (-12)/9*(2 - i). Is 3 at least as big as o?
False
Let i = -9 - -14. Let c be (0 + 0)/((-2)/2). Suppose i*h + 20 = -c*h. Which is bigger: -3 or h?
-3
Let c = 82/3615 - -290261/1706280. Let g = 1597/59 - 27. Let s = c - g. Which is greater: s or -1?
s
Let m = 104 + -151. Let r = -609/13 - m. Suppose -4*o = -5*l - 24, -4*o = -3*o - 5*l - 21. Which is smaller: o or r?
r
Let z be (0 + 0)*1/1. Which is smaller: 2 or z?
z
Let k be 0/(1 - (2 + 1)). Let o = 899/1188 - 2/297. Which is smaller: k or o?
k
Suppose 2*f - 918 + 174 = 0. Let r be -1 + 2 + f/(-380). Which is bigger: r or -1?
r
Let f be 2/(-7) - (-16)/7. Is 4 != f?
True
Let z be (-21)/90*337/(-7). Let n = z - 57/5. Let q = n + 5/6. Is -2 < q?
True
Suppose -5*s = -3*s - 6*s. Which is greater: 2/31 or s?
2/31
Let o be 2/4*2 + -8. Let u be 1 + 0/(-6) + -9. Which is greater: u or o?
o
Let r be (948/(-105))/(72/(-28)). Let m = r - 28/9. Which is greater: m or 3/14?
m
Let b = -6 + 7. Which is smaller: b or 4?
b
Suppose -s + 2 = 5. Is -5 greater than or equal to s?
False
Let k(u) = -3*u + 53. Let w be k(8). Is 29 at most w?
True
Let p = -117/4 + 29. Let q be -1*4*(-2)/4. Suppose 0 = 2*w - w - q*t + 10, -3*w - 10 = -2*t. Which is bigger: p or w?
w
Suppose 0 = l - 2*o - 7, 2*l + o = 2*o + 17. Suppose 3*f - 16 = f. Let u = l - f. Which is smaller: u or -2/9?
-2/9
Let j be (8/3)/(2/(-6)). Let g = 7 + j. Which is smaller: g or -1/2?
g
Let r(w) = w - 5. Let x be r(4). Are x and 1/29 equal?
False
Let m = 64/585 - -2/45. Let j = -1 + 2. Which is greater: j or m?
j
Suppose -4*v + y + 100 = 0, -y - 33 = -2*v + 19. Suppose -7*j = -3*j - v. Which is smaller: -0.1 or j?
-0.1
Let g be (12/5 - 0/4) + 2. Which is bigger: g or 3?
g
Suppose -g = 7 + 5. Let c be (g/14)/(3/21). Let d be (-2)/c - (-14)/(-6). Which is smaller: -5/4 or d?
d
Let z = -103380 + 828163/8. Let c = z - 140. Is 1 at most c?
False
Suppose 2*z + 7 = 5. Does 18 = z?
False
Let z = 51 - 51. Which is bigger: z or 1/8?
1/8
Let m = 0.04 + 0.06. Suppose 3*s - 4 - 2 = 0. Is m smaller than s?
True
Let i be ((-3)/(-1) + -9)/(-1). Suppose -3 = -2*m + 9. Is i at most m?
True
Let s be 3*((-154)/52 + 3). Is s less than 1?
True
Let x = -0.3 + 0.2. Let c = 134 - 135. Is x bigger than c?
True
Suppose -1 = -2*f + 1. Which is greater: f or 0?
f
Let u =