= 58 - 59. Suppose 0 = 4*v + v. Which is bigger: v or g?
v
Let g(v) = -v**2 - v + 11. Let r be g(-4). Which is greater: 3/17 or r?
3/17
Let u be (6/5)/((-15)/(-100)). Suppose -4*r - c + u = -6, r + c - 2 = 0. Suppose -z - 1 = o, r*z = -4*o + o - 4. Is 2 not equal to o?
True
Suppose 14 = -2*z + 5*l, -l + 0 = 3*z + 21. Which is smaller: 0 or z?
z
Suppose -9 = -3*t, 0*w + 3*t - 4 = -5*w. Let q = -143/3 + 7585/159. Is w greater than q?
False
Let w be 1/(-5) + 153/15. Let z be w/12*(-54)/(-60). Is 0 >= z?
False
Suppose 0 = -f + 2*f + v, 4*v = 4*f - 32. Suppose 4 = -0*q + f*q. Is q != -2/23?
True
Let f be 3/(-4) - (-60)/(-48). Is -4 bigger than f?
False
Let h = -9.84 - -10. Let m = h + -0.09. Let a = -0.43 - m. Is 1 greater than or equal to a?
True
Suppose 5*t - 3*t = 0. Which is bigger: -4.1 or t?
t
Let k be (9/24)/(6/4). Let y be (-3 + 5)/(1 + 0). Suppose y*w = 2*x - 3*w - 23, x + 4*w = -21. Which is smaller: x or k?
x
Let r be 8/(-110) + (-2)/10. Let s = 27/22 - r. Suppose -5*q + 4 = -6. Which is smaller: s or q?
s
Let f(s) = s + 19. Let b be f(-17). Do -3 and b have the same value?
False
Let b = 857/77 + -76/7. Is -0.1 at least as big as b?
False
Let i = -3917/15 + 261. Let m = 0 - 0.1. Which is greater: i or m?
m
Let j be (-3)/(-3 - 0) + -11. Let d be ((-12)/j)/(6/15). Let q(i) = -2*i - 4. Let w be q(-3). Is d at least as big as w?
True
Let n = -2 - 2. Let k = -4 - -7. Let i = k + n. Which is greater: -1/3 or i?
-1/3
Let j be -3 - (-15*1)/1. Is j greater than or equal to 2/7?
True
Suppose 3 - 35 = 4*m. Let b = 276 + -283. Are b and m nonequal?
True
Suppose 3 = -4*f - 1. Which is smaller: f or 0?
f
Let f be (4/6)/((-1)/6). Let p = 40 + -41. Let c be (1 + p)/(f + 6). Which is bigger: c or -1?
c
Suppose 0 = 5*u - 10. Suppose d - 20 = -u*d + 4*h, 2*h = d - 10. Which is smaller: 3/8 or d?
d
Let b be -3 + (-4 - -4) + 2. Which is smaller: b or 4/25?
b
Suppose 0 = -5*r - 2*r + 14. Which is smaller: r or 16/7?
r
Suppose -39 = -2*y - y. Let t(b) = -3*b**3 - 4*b**2 - 6*b - 8. Let a be t(-2). Is y at most a?
False
Let i = 0 + 2/9. Which is bigger: 1 or i?
1
Let w = -8 - -7.1. Let s = w + -0.1. Is s greater than -2/11?
False
Let j be ((-1)/9)/((-4)/6652). Let f = -185 + j. Is 0 < f?
False
Let v = -9644/411945 - -2/4735. Which is smaller: v or 0?
v
Let p = 1 - 0. Let b = -0.1 - -0.3. Do p and b have different values?
True
Let a = 5 - 14. Let o(s) = -s**3 - 8*s**2 + 11*s + 9. Let x be o(a). Which is bigger: x or -8?
-8
Let j be 6/4 + 5764467/(-54). Let b = -106633 - j. Let m = 115 - b. Which is greater: -1 or m?
m
Suppose 206*b + 56 = 199*b. Suppose 5*f + 25 = -10. Which is smaller: b or f?
b
Let r = -91 - -91. Which is bigger: r or 5?
5
Let k = 105 - 104.95. Let b be (-2 + 1)*1 + 0. Is k > b?
True
Suppose -2*x - 4*s + 18 = 0, -3*x - s - 8 = -2*s. Is 1/14 less than x?
False
Let f(i) = -i**3 + 6*i**2 - 4*i - 5. Let v be f(5). Suppose -2*k - 8 + 0 = v. Let u be 6/27 - k/(-9). Does 0 = u?
False
Suppose 5*i = 7 + 8. Suppose 5*x - 13 = -i*a, -a + x = 4*a - 31. Is a greater than 7?
False
Let v be -2*(9/18)/(1*-1). Let b be ((-21)/33)/1 - -1. Which is bigger: v or b?
v
Let b(r) = -2*r + 1. Let u be b(2). Which is smaller: -2 or u?
u
Suppose 5*b + 47 = 2*z, 5*b = -0*b - 25. Is 12 at least z?
True
Let s = 2 + -3. Let c = -0.206 - 0.024. Let r = c + 0.43. Which is bigger: s or r?
r
Suppose -2*l - 1 + 5 = 0. Let s(w) = w**3 - 5*w**2 + 7. Let a be s(5). Let b(p) = -p**2 + 6*p + 7. Let v be b(a). Which is smaller: l or v?
v
Let j = -12 + 10. Is -2 at most j?
True
Let m(z) = -z**2 - 10*z - 11. Let k(a) = a**2 - 7*a - 9. Let v be k(7). Let f be m(v). Is f >= -2?
True
Let i = -2/57 - -175/114. Does 2 = i?
False
Suppose -6*r + 7 = -2*r - l, -3*r + 2*l = -4. Suppose y - 3*b - 4 = 0, -3 + 6 = -y - 4*b. Which is smaller: y or r?
y
Suppose 27 = 2*u + 25. Which is smaller: u or 5/6?
5/6
Let h(v) = v**3 - 4*v**2 + 4*v - 2. Let p be h(3). Is -2/5 at most as big as p?
True
Suppose -2*y + 4 = -6*y. Let h = -195/4 - -49. Which is bigger: h or y?
h
Let l be 16/18*(-15)/20. Is 0.03 at most l?
False
Let r(v) = v**2 - 7*v - 1. Let b = 3 + -1. Let u(t) = 2*t**3 - 2*t**2 - t + 1. Let s be u(b). Let z be r(s). Are -2/9 and z unequal?
True
Suppose 12 = -2*b - b. Let t(v) = -v**3 - 3*v**2 + 5*v + 3. Let y be t(b). Which is bigger: y or 4/11?
4/11
Let k(p) = p. Let v be k(-4). Let l = 2 - v. Let q(j) = j**3 - 3*j**2 + 4*j - 7. Let o be q(3). Is l less than o?
False
Let j(v) = 2*v**2 - v - 1. Let p be j(-1). Suppose 0*m = m + p*q - 23, -130 = -5*m + 5*q. Let t = m + -174/7. Is t greater than 0?
True
Let f be 1/1 + (2 - 1). Suppose f*o = -0 + 8. Suppose -i + r = 2 - 11, 25 = i - 5*r. Does o = i?
False
Suppose 1 = -3*z - a + 2, -4*z - a = 0. Does -1 = z?
True
Let t be 106/28 + -2 + -2. Suppose -x + 5*l = 4, -2*x = -5*x + 3*l. Is t <= x?
True
Let f be -2 + 1 + (-4 - -5). Is 1/13 greater than f?
True
Suppose d + 36 = -3*d. Let b = d - -23. Let r be b/6 + (-12)/(-18). Which is smaller: r or 1?
1
Let c be 18/(5*6/(-224)). Let g = -135 - c. Which is bigger: -0.1 or g?
-0.1
Suppose -2*s - 4 - 6 = 0. Let c = 5 + s. Let i be 1*(c/2 - -1). Is 4/9 > i?
False
Let a = 4 + -10. Let u = -9 - a. Let h = u + 2.7. Which is bigger: h or 2/5?
2/5
Let w = 69 - 625/9. Is w < -0.05?
True
Let o be -1 - (6/(-24) + 22/(-8)). Which is smaller: o or 0.014?
0.014
Let m = -33 + 36.4. Let u = -0.4 + m. Let g = u - 3.1. Which is smaller: g or 3?
g
Let h = 62 - 61.9. Which is bigger: 8 or h?
8
Let o = -1268237/284844 + 1/94948. Let x = -30/7 - o. Which is smaller: 0 or x?
0
Let v = 3 - 3. Which is greater: -12 or v?
v
Suppose -5*m - 2*d = -2*m - 12, -m + 4*d - 10 = 0. Let f be (-18)/(-24) - m/4. Let i(b) = 3*b - 4. Let a be i(4). Are f and a equal?
False
Let t = 1.2 - 1.3. Is t != 5?
True
Let k = 4168/9 + -472. Let r = k + 82/9. Let z = -5/9 + r. Which is smaller: -1/4 or z?
z
Let z be 30/(-9) + 8/(-12). Which is bigger: z or -5/2?
-5/2
Let v(u) = 4*u - 6. Let i be v(4). Which is smaller: i or -1/4?
-1/4
Let z(o) = -2*o - 3. Let d be z(-3). Suppose -d*g - 1 = 5*t, -3*t - 5*g + 4 = 11. Are t and 1 non-equal?
False
Suppose -5*x = -0*x - 30. Suppose -3*w = -5*m + x, -4*m + 2*w + 3 = -m. Let b = m + -2. Does 3 = b?
False
Suppose 11 - 2 = 3*a. Let i(z) = -z**3 + 8*z**2 + 4. Let v be i(8). Which is greater: a or v?
v
Suppose 3 = 5*t - 2. Let f be t/(-3 - (-10)/4). Let u be ((-6)/(-16))/(3/f). Is 0 at least as big as u?
True
Let i = -16.11 + 16. Let n = 1.89 - i. Which is smaller: n or 5?
n
Suppose 0 = r - 6*r - 5. Let d = 2 + r. Suppose -2*q + 3*m + 13 = 0, -m = -0*q - 4*q + 11. Which is greater: q or d?
q
Let h be ((-6)/(-20))/((-24)/(-20)). Which is smaller: h or 3?
h
Let g be 2/5 + (-94)/385. Let u be 2 + (-228)/231*2. Let b = g + u. Is b != 0?
True
Let h(r) = -2*r**2 - 2*r - 1. Let u be h(-1). Let m be 2*(6/(-4))/u. Let v = m + -8/3. Are v and 1/6 equal?
False
Suppose 0 = 3*q - 8*q + 10. Suppose 0*s + q*s - 2 = 0. Which is smaller: 0 or s?
0
Suppose 4*x + 3 = -3*b - 3, -b - 7 = 3*x. Which is smaller: 1 or b?
1
Let a(b) = 2*b - 9. Let c(g) = -8*g - 4. Let i be c(-4). Suppose 3*t = -t + i. Let q be a(t). Is 5 at most q?
True
Let o = -3 - -3.1. Let d = -0.04 + 0.04. Let m = d + o. Which is smaller: m or -1?
-1
Let x(z) = z**3 + 4*z**2 - 8*z - 5. Let u be x(-5). Suppose -2*f = -0*f - u. Let g = 6 - f. Is -2/9 smaller than g?
True
Let h = 0.108 - 0.008. Let w be 8/(-6)*(-12)/(-136). Which is bigger: h or w?
h
Suppose 6*y - 3*y - 144 = 0. Is 49 at least as big as y?
True
Let u = -145 + 156. Is u > 29/3?
True
Let n be (-30)/(-4) + 2/(-4). Let s = n + -6. Let z(u) = u**2 + 4*u. Let f be z(-4). Which is greater: s or f?
s
Let j = 9 - 9. Let x be (-3)/9 + 2/3. Which is smaller: j or x?
j
Suppose 2*q - 6 = i + 5, 0 = 3*i - 5*q + 31. Let z = 11 + i. Suppose 0 = -2*x - z*v - 28, 0*x = -4*x + 2*v - 6. Is x smaller than -3?
True
Suppose -2*z - 3 = b, -5*b - 5*z = 9 + 26. Let n = b + 11. Which is greater: n or 4/9?
4/9
Let d be -2*((-4)/(-8))/(-1). Suppose -5*x = -4*x - d. Is 2/41 bigger than x?
False
Suppose 4*c - c = 0. Let x(g) = g + 3. Let n be x(-4). Let w be n/(2 + -3)*0. Is w >= c?
True
Let w be 20/(-6)*-3 - -1. Suppose g - v = 2*v + 10, 4*g = 4*v + 24. Suppose -g*s - 5 - w = 0. Which is bigger: s or 0?
0
Let k = 0.2 + -0.7. Let n = -2