w(0). Which is smaller: q or i?
q
Let f be ((-34)/(-21))/(3/(-351)). Let y = 189 + f. Let u(d) = d**3 + 4*d**2 - 6*d - 6. Let l be u(-5). Which is bigger: l or y?
y
Let u be 0 - (-4)/(-24)*-2. Let w be (-1 + 2)/(1/1). Let s be (-2*w - -4) + -1. Which is greater: u or s?
s
Let p = -35/6 - -31/6. Let k = 324/5 - 65. Which is greater: k or p?
k
Let m be (-1 - 2) + 0 + 0 + -1. Which is smaller: -5 or m?
-5
Suppose n + 0 - 3 = 0. Suppose 7*g - n*g = 0. Which is greater: 2/15 or g?
2/15
Let f(a) = -2*a + 20. Let v be f(10). Which is smaller: -1/3 or v?
-1/3
Let p(z) = z. Let h be p(0). Let s = -2 - -1. Let a = s - 0. Is h greater than or equal to a?
True
Let q be -6*(5/(-3) + 1). Let n be (q/(-42)*-1)/1. Let o(z) = z**2 - 8*z + 6. Let w be o(7). Is w at most n?
True
Let m = -1 + 1. Suppose 24 = 6*x - 4*x. Let i be 3/x - (-6)/(-8). Which is greater: i or m?
m
Let l = -28/5 + 6. Suppose 2*h + 2 = 3*h. Suppose -2*x + 0 = -h. Which is smaller: x or l?
l
Let q = 1 + 4. Suppose 0*d - 30 = -5*d. Suppose -n - 15 = -d*n. Which is bigger: q or n?
q
Let u be 30/(-12)*8/(-10). Is 5/3 < u?
True
Let n be (-3 + 6)/(-3)*0. Which is smaller: n or 2?
n
Let j be (48 - (-3 - 2))/1. Is 55 <= j?
False
Let x = 12 + -21/2. Is 3 at least as big as x?
True
Let l(n) = -n**2 - 6*n - 6. Let y be l(-5). Let q = 13/3 + -4. Is q less than y?
False
Let q = -9103191/11690 + 3/1670. Let f = -781 - q. Let s = 2 + f. Is 0 <= s?
False
Suppose -15*w + 22*w - 7 = 0. Is 3/89 <= w?
True
Let o = -0.08 + 0.07. Let q = 1.99 - o. Is q at most as big as -2?
False
Let d = 4/37 - 385/3219. Which is bigger: -1 or d?
d
Let y = 173.2 + -173. Is y != 0.9?
True
Let t = -13 + 19. Let a be (-2)/3 - (-58)/t. Let o = -19/2 + a. Is 0 greater than or equal to o?
True
Suppose 2*w = w + 4*j - 15, 3*j + 5 = 4*w. Suppose -h - i + 1 = 0, 3*i - 14 = -5*h + 1. Is h greater than w?
True
Let a be (2 + 2 + -40)*3/(-9). Which is bigger: a or 4?
a
Let a = 0.497 + 2.993. Let b = -0.31 - a. Let s = b - -4. Are -1 and s non-equal?
True
Let g = -5 - -5. Let o = 2 - 1.9. Let i = g + o. Which is bigger: i or -0.2?
i
Let w(p) = p - 5. Let z(t) = t - 5. Let n(u) = -6*w(u) + 5*z(u). Let l be n(0). Let j be (7 + (2 - l))*-1. Is -4 greater than or equal to j?
True
Let m be 1 - (-1 + -3)/(-4). Let j be (-2)/(2/(-6)*-1). Let n be 3/2*(-4)/j. Which is smaller: n or m?
m
Suppose 0 = a - 4*a + 3. Let f = 8 - a. Suppose 2*h = -1 + f. Which is smaller: 1 or h?
1
Let b be (-1 - -2)/(-1 - 0). Which is smaller: -2/15 or b?
b
Let g = 0.023 - -5.977. Is g != 0.3?
True
Let b be 2/(6/(-9)) - -2. Which is bigger: b or -2?
b
Let w = -864/245 + 16/49. Which is smaller: w or -3?
w
Let t(q) = -q**2 + 9*q - 3. Let i be t(5). Let r = -22 - -39. Is i < r?
False
Suppose 4*q - 17 = 31. Let i = q + -21. Which is smaller: -8 or i?
i
Suppose -4*i - 373 - 543 = -3*a, -a - 5*i = -318. Let l be 57980/a - (-2)/11. Let m = -189 + l. Is m >= -2?
True
Let m = 1899/52 - -185/13. Let q = -51 + m. Which is bigger: q or -1/2?
q
Let i(r) = -r**3 - 5*r**2 + 7*r + 6. Let h be i(-6). Is h at least 2/27?
False
Let v = -20 + 4. Let k = -17 - v. Which is greater: k or -5?
k
Let c(k) = k + 2. Let w be c(-1). Let x = w + 1. Let i = -4 + 5. Which is greater: x or i?
x
Suppose 5*d = 0, -4*d - 56 = 4*o - d. Which is smaller: o or -13?
o
Let a = -0.05 - -3.05. Let r = 4.95 + 0.05. Let j = a - r. Does j = 0?
False
Suppose -7*f + 2*f + 25 = 3*v, -5*f + v = -5. Suppose 0 = -b + f*b. Let c be (b - 1) + 38/42. Which is smaller: 0 or c?
c
Let z(x) = 6*x**2 - 2*x + 2. Let w be z(1). Let j = -7 + w. Is j at least as big as -5/3?
True
Let y be 4*(14/(-8) + 1). Which is greater: -6 or y?
y
Suppose 2*l + 4*b = -b - 2, -3*b = 6. Is 15/4 smaller than l?
True
Suppose -5*v = -6*v + 1, -18 = -4*u - 2*v. Does u = 4?
True
Suppose 2*x = 8 - 4. Suppose 0*o + x*w - 2 = 3*o, -5*o = -w - 6. Is o at least as big as 3?
False
Suppose 0 = d - 149 + 150. Let v = -1 - 0. Let u be 8/6 + (-2 - v). Is d less than u?
True
Suppose 0 = -s + 2. Let h = -2 + s. Does -3/5 = h?
False
Let c = 0 - -1. Let w = -9915 - -70013/7. Let a = -87 + w. Is a at most c?
True
Let z be (-3 + 30/9)*57. Is z smaller than 18?
False
Let z = 9 - 8.9. Let i(n) = n + 1. Suppose 2*u - 5*u = 0. Let f be i(u). Is f at least z?
True
Let x = -5 - -1. Let y = -36.2 - -32. Let j = y - x. Is -0.1 > j?
True
Let n = -0.13 - 0.07. Which is greater: n or 1/3?
1/3
Let v(c) = -c**2 + 3. Let n be v(0). Suppose 13 = 5*a + n. Suppose -4 = b - a. Do 0 and b have the same value?
False
Let z be ((-1)/2)/((-4)/8). Let t be -3 - (-4 - 4 - -4 - -1). Which is smaller: t or z?
t
Let r(h) = 2*h**2 - 3*h + 3. Let f be r(2). Suppose 6 = -f*z - 14. Let d = z - -4. Is -1/2 at most d?
True
Suppose -12*i + 50 = -7*i. Suppose y - 5 = 2*a, -4*a + 3*a + 2*y = i. Let u = -32/15 + 203/60. Which is smaller: u or a?
a
Let i be 20/(-15) - 2/(-6). Are i and -2/55 non-equal?
True
Let o be 25/15*11*(0 + -1). Are o and -17 non-equal?
True
Let w = -5 + 4. Let k = 4 + w. Let a = -4 + k. Which is bigger: a or -2/7?
-2/7
Suppose 0 = 3*w + 4*w. Suppose w*o = -7*o. Let d be 8/(-26)*(-2)/(-4). Which is smaller: o or d?
d
Let w be 0 + (2 - (-2 - -4)). Suppose n - 5*n + 2*s = 6, 3*n + 3*s + 18 = w. Let a be (n - -1) + (1 - -1). Does a = -3/5?
False
Suppose 0 = -0*p - 3*p. Suppose a - 2*z = 4 - 2, p = 2*z. Which is smaller: a or 1/3?
1/3
Let d be (-2)/8 - (-2)/8. Let i be (-9)/(-12)*(-559)/(-3). Let f = -139 + i. Is f less than d?
False
Let r = -6 - -5. Let c = -1 - r. Let t = c - 0.2. Which is smaller: 1 or t?
t
Let z = 1443 - 13013/9. Is z at least as big as -4?
True
Let s be (-9)/6*16/6. Which is greater: s or -7?
s
Let v be 195/(-165) - (-4)/22. Which is bigger: v or -19/9?
v
Let h = 14 + -55/4. Which is smaller: -6 or h?
-6
Suppose -5*a = 5*b - 35, -5*a - b + 10 + 5 = 0. Let p = 19 - 19. Which is greater: a or p?
a
Suppose 0 = j + j - y + 1, 4*y = 3*j - 6. Let v = 12 + -13. Let h = j + v. Is -3 <= h?
True
Suppose g + m + 1 = -2, 6 = -3*m. Let d = 143 + -717/5. Which is smaller: d or g?
g
Let c = -925/66 + 83/6. Let b = 6 - 3. Suppose 0 = b*g - 2*g. Is c greater than g?
False
Suppose -w + 3*d - 8*d = 15, -2*d = 3*w + 6. Let h = 1 - w. Do 1/9 and h have the same value?
False
Let u = 0 - 0. Suppose 5*q - f = -19 + 7, -4*q = 5*f - 2. Let y be (2 - 4) + (2 - q). Which is smaller: u or y?
u
Let m be -1 + (0 - 0) - 4. Suppose 0 = -z + 2*i, -3*i = 3*z - i + 16. Which is greater: m or z?
z
Suppose -9*h - 15 = -12*h. Which is smaller: h or -11?
-11
Let b = -2/1891 - 24571/11346. Is -2 less than b?
False
Let n(h) = h**2 + 9*h + 2. Let j be n(-7). Is j != -12?
False
Suppose -4*i - 3*m = -58, 0 = -i + 2*i - m - 18. Let k = i - 9. Which is greater: k or 8?
8
Let b = -49/164 - -2/41. Is b > 4?
False
Suppose -5*x + 3*q = -2*x, 0 = -2*x + 5*q - 12. Let w(h) = -h**3 + 8*h**2 - 9*h + 17. Let n be w(7). Which is smaller: x or n?
n
Suppose -2*u + 4*f + 5 = 13, 10 = 5*u + 5*f. Which is smaller: 1/62 or u?
u
Suppose 0 = 4*l + 1 + 3. Let i = -1 - 39. Let v be 4/(-6) - i/75. Which is smaller: v or l?
l
Let w = -0.22 + 0.1. Let m = 14.12 + w. Which is bigger: -0.1 or m?
m
Let o = 1/521 - 2612/3647. Is o at most 0?
True
Let l = -8 - 5. Let z = -9 - l. Which is bigger: -1 or z?
z
Let a = -166.4 - -147. Let w = -20 - a. Which is greater: w or 1?
1
Suppose 4*t + z = -83, -6*t + t - z = 105. Let q be 1/(-2) - t/4. Which is greater: 7 or q?
7
Let q = -72 + 431/6. Is 4 smaller than q?
False
Let b = 20 - 13. Which is smaller: b or -1?
-1
Let t = 0.22 - 0.05. Which is smaller: t or 1?
t
Let o = -13 - 8. Are o and 0 equal?
False
Suppose 10 = 5*o, -c = -3*c + 5*o + 6. Let k = c - 8. Let w be (-12)/(-14) - (1 - 0). Is w greater than k?
False
Let c be (2/(-8))/1 + (-378)/24. Is c greater than -16?
False
Let m be (-14)/10*4/(-14). Is -2/31 at least as big as m?
False
Suppose -9*g + 4*g + 55 = 0. Is g less than or equal to 10?
False
Let x = 133/5 - 1453/55. Suppose 2 + 0 = -2*f. Which is smaller: f or x?
f
Let o = 41 - 165/4. Let p(s) = -s**2 - 4*s - 1. Let d = -7 + 3. Let f be p(d). Which is smaller: f or o?
f
Let m be (-2 - 0)/(12 - 2). Let h be 2*(6/2 + -1). Suppose -2 = -h*t + 2. Is m bigger than t?
False
Let t = 0 + -1/2. Let p = -4 + 5. Which is bigger: p or t?
p
Let c = 8 + -7.6. Let t = 0.5 - c. Is t at most as big 