 0 = -5*u - 4*v - v - 15. Let w = 4 + u. Is w at most as big as -2?
True
Let c be (27/(-18))/(3/8). Is c > -7?
True
Suppose -3*k - 9 = -5*v, k - 4*v = -2*k - 9. Let g = 5 + k. Let m be 10/8 - g/8. Is 0 at most as big as m?
True
Let q be (-2)/(-10) - ((-84)/160)/3. Is 1 < q?
False
Let k = -12.04 - -12. Let c = 1 + -1.04. Let q = k - c. Which is bigger: 0.2 or q?
0.2
Suppose 4*w = 5*f + 17, 2*w - 3*f - 7 = -2*w. Let u be (3/6)/(w/(-8)). Let b(m) = m**2 + 7*m + 7. Let l be b(-6). Which is greater: u or l?
u
Let z = -0.12 + 0.19. Is z at most as big as -1?
False
Let b(j) = j**3 - 5*j**2 + 2*j - 6. Let g be b(4). Which is smaller: -15 or g?
-15
Let i(o) = o**2 + 11*o + 12. Let x be i(-9). Let b = 6 + x. Is b greater than 0?
False
Let f be (-1)/((-2)/2*-1). Which is bigger: f or 3?
3
Let l = -19 + 20. Let g(d) = d**2 + 5*d - 4. Let o be g(-6). Is l at most o?
True
Let z = -313/1169 - 3/167. Let m = 0 + -1. Is z smaller than m?
False
Let u = 18 + 7. Suppose 0*h = 5*h - u. Let j be h/(-2) - (-3)/(-6). Which is smaller: -2 or j?
j
Let r = -66 - -61. Which is smaller: -4 or r?
r
Suppose 3*j + 28 + 8 = 5*y, 5*j + 10 = 0. Suppose -5*i - 4*g - y = 2, 0 = -3*g - 6. Do i and 2 have the same value?
False
Let l = 3 + -15. Let y = l - -12.2. Do 5 and y have the same value?
False
Let o(k) = k**2 - k - 1. Let i be o(-1). Let b be 2/(-6) - (-40)/30. Are b and i unequal?
False
Suppose 0 = 5*h - 2*h - 51. Let a = -17 + h. Which is smaller: 2 or a?
a
Let p be 6/(-42) - (1 - 47/(-14)). Is -6 at most p?
True
Let b be 12/(-9) - 4/6. Let y be ((-8)/10)/(b/(-10)). Suppose -2*g + 11 = -h, -3*g + 27 = -3*h + g. Which is greater: y or h?
y
Let b = -1/2 - 1/6. Is 8/3 <= b?
False
Let a = 3 + -1. Let j be 4/(4 - -4)*8. Let c be (j/3)/((-4)/(-12)). Is a at least as big as c?
False
Let z be (-6)/(-4)*(-4)/(-3). Let t = -0.13 - -0.43. Are z and t non-equal?
True
Suppose 0*j = 4*j. Suppose 0*c = -3*c - 36. Let q be -2 + j + c/(-7). Which is smaller: q or 1/4?
q
Suppose q + 0*q = 3. Suppose -q*i - 4*h - 58 = 0, 29 = -3*i + h - 9. Let f be (0 - 0) + i/(-2). Which is smaller: f or 6?
6
Let j = 0.05 + -0.15. Which is bigger: j or 14?
14
Suppose 6 = -2*j + 82. Let r be (-2)/(-6) - (-50)/j. Let s = -6/19 + r. Is s greater than 1?
True
Let p(v) = -3*v - 5. Let j be p(-4). Let g(m) = m**3 - 6*m**2 - 7*m + 1. Let b be g(j). Which is smaller: b or 2/7?
2/7
Suppose o + 6 = -2*o. Is -3 at least as big as o?
False
Let v = -0.4 - 0. Let j = v + 1.4. Let x = j - -1. Does 0 = x?
False
Let t = -12 - -26. Is -0.1 less than or equal to t?
True
Suppose -6 = -3*b - 4*g + 1, 2*b = 4*g - 2. Which is bigger: 2/3 or b?
b
Let d = 126 + -1628/13. Is 0 less than d?
True
Let g be -3 + -1 + (-44)/(-10). Let k = 0.1 + -0.2. Let l = k - -0.1. Is l < g?
True
Suppose -25 + 46 = 3*r. Suppose -s + 9 = 2. Is s <= r?
True
Suppose n + 3*c + 10 = 2, n + 12 = -5*c. Which is greater: 4 or n?
4
Let w = -508 - -510. Let d = -6 + 6.4. Is d <= w?
True
Let l(k) = -k**2 + 5*k - 3. Let c be l(3). Suppose 3*m = 7*m + 28. Let d be (m/(-14))/(1/6). Is c smaller than d?
False
Let z = -46 + 35. Is -1 > z?
True
Let u = 32.04 - 0.04. Let a = u + -21. Let g = 11 - a. Is g greater than -1?
True
Let q = 4/33 - -5/231. Let v(r) = -5*r - 3. Let w be v(-1). Suppose 25 - 23 = w*c. Do q and c have the same value?
False
Let w = 0.034 - -0.216. Which is greater: -2/3 or w?
w
Let v be (-3)/((-132)/(-30) - 5). Is 19/5 <= v?
True
Let a(c) = -c**2 - 4*c. Let i be a(3). Let s be 2*(-1 - i/18). Are 0.2 and s equal?
False
Let v = -16/3 + 6. Let q = 6.4 + 1.6. Which is smaller: v or q?
v
Let b = 0 - -0.06. Let o = -1.8 + 1.64. Let s = o + b. Is s <= -1/3?
False
Suppose 0 = -4*r + 3 + 9. Let n(x) = x**3 - 3*x**2 + x + 2. Let s be n(r). Suppose s*u = 20 + 10. Is u <= 6?
True
Let x = 51.7 - 52. Let h = 1 + -2. Which is smaller: x or h?
h
Let l(v) be the third derivative of v**5/30 - v**4/6 + v**3/2 + 4*v**2. Let j be ((-1)/(-2))/(1/4). Let c be l(j). Is 2 bigger than c?
False
Suppose -3*r = -4 - 2. Suppose 5*m = l - 6, 5*m + 16 = -2*l - r. Is m less than -2?
False
Suppose w = -22 + 26. Suppose 0 = 5*y + 4*b - 21, -3*y + b = 3*b - 13. Is w smaller than y?
True
Let p = -2.27 - -2. Which is greater: 1 or p?
1
Let o = 2 - 1. Let d = 2 + o. Suppose -d*w + 16 = w. Is 4 != w?
False
Let k be (-2)/(-5) + 6/10. Let j be ((-2)/(-15))/(k/(-3)). Let h = 6 + -7. Are j and h unequal?
True
Suppose 4*q + 8 = 0, 6*q = 3*w + 4*q - 40. Suppose -3*a + 8*a - 3 = -4*i, 5*a = -25. Suppose 0 = 3*b - i*b + w. Which is smaller: 3/2 or b?
3/2
Let a(g) = -g**3 - 8*g**2 + 10*g + 10. Let n be a(-9). Let t be (n/3)/((-55)/(-15)). Is 1 not equal to t?
True
Let o(s) = -s**2 + 5*s - 1. Let l be o(3). Let r = 26 + -20. Which is smaller: l or r?
l
Let y = 97 + -98. Let r = 9/11 - 221/297. Does r = y?
False
Suppose 4*n - 5 = -1. Suppose -2*o + 1 = 3, -n = 5*c - 4*o. Let f be (-2)/(-4)*3/(-6). Is c less than f?
True
Suppose 0 = -5*y + i + 7, -y + 2*y + 2*i - 8 = 0. Which is bigger: y or 6/11?
y
Let b = -1.25 - -1.73. Is b less than or equal to -2/3?
False
Let f be (-1)/((9/(-24))/3). Suppose -12 - f = -5*p. Let t be 6/p*(-16)/108. Do t and 1 have the same value?
False
Let u(i) = -2*i**2 + 9*i + 9. Let q be u(-7). Let n be (-92)/q + (-1)/2. Do 0 and n have different values?
True
Let g be (2 + -4 + 3)/(-8). Let s(u) = -u**2 + 4*u. Let a be s(4). Which is smaller: a or g?
g
Suppose 14 - 46 = 4*q. Does q = -8?
True
Let w be ((-3)/(-4))/((-18)/12). Suppose -3*m - 27 = -3*l - 0*m, 2*l = -4*m - 12. Let q be (-6)/4 - (-2)/l. Which is bigger: q or w?
w
Let m = -3 + 2. Let q = -13 - -12. Let h be (-25)/15*3/q. Is h < m?
False
Let f = 0 - -20. Let t = 20.1 - f. Which is smaller: t or 2/17?
t
Let f = -94.26 - -94. Is 0 greater than f?
True
Let i be (8/(-24))/(1/3). Let w be 0 - (-5)/(5/2). Let x = w - 3. Is x at most i?
True
Let s be (0/(-2))/(0 - -3). Let f = s + 2. Let r(j) = j**2 - 2*j - 1. Let y be r(3). Is y < f?
False
Let d(k) be the first derivative of k**2/2 + 3*k - 2. Let m be d(3). Let g(a) = 3*a - 3. Let f be g(3). Is f at least m?
True
Suppose -2*k = k. Suppose 0 = 5*p - 3*y + 8, k = 2*p + y + 3*y - 2. Suppose -3 = -5*i + 2. Is p equal to i?
False
Let a be (-3)/35 - 2/(-7). Which is smaller: 0 or a?
0
Let p be 6/10*(-6 - -5). Which is smaller: p or -1?
-1
Let g(f) = -f**2 + 6*f - 9. Let r be g(2). Do r and 1/53 have different values?
True
Suppose 2*h = -r + 16, 3*r - 18 = -0*r + 4*h. Which is bigger: 12 or r?
12
Let v = 470/7 + -19284/287. Which is smaller: v or 1?
v
Let p = 2.9 + -3.9. Is -1.1 at least p?
False
Let t(g) = g**3 - 12*g**2 + 2. Let m be t(12). Suppose -4 = m*p - 0. Is -2 greater than or equal to p?
True
Suppose 3*f = 5*h + 10 + 9, 4*f - 29 = 3*h. Suppose 0 = 7*m - 3*m - 28. Which is smaller: f or m?
m
Let p be (-96)/(-336) - 78/7*2. Which is greater: p or -19?
-19
Let k(d) = -d - 7. Let r be k(-12). Suppose -x + 16 = -3*t, 0*t - r*t - 29 = -4*x. Is 2/27 < x?
True
Let k be (2 + 2/(-2))*227. Let l = k - 2953/13. Which is bigger: -1 or l?
l
Let r = -7 + 11. Suppose -3*a = -2*t + 4*t + r, 3*a = -3*t - 9. Which is smaller: a or -0.1?
-0.1
Suppose -3*g - 2*p - 17 = -6*g, 5*g = -2*p + 7. Let y = g - 9. Does -6 = y?
True
Let n = 30 + -29. Which is greater: n or -2/7?
n
Let u be 3/5 + (-60)/(-25). Let j = 0 - -5. Let k = j - u. Which is smaller: 5 or k?
k
Let t(y) = -3*y - 36. Let h be t(-8). Which is greater: h or -8?
-8
Let s = 15 - 6. Let c be (-4)/(-48) - s/12. Which is smaller: -0.06 or c?
c
Suppose 24 - 20 = -4*x. Let v = -3/152 + 379/3800. Is x equal to v?
False
Let n = 5 + -3. Let i be (n/8)/(10/(-48)). Which is bigger: -2 or i?
i
Let u = 11 + -9.2. Let f = 2 - u. Is 1 <= f?
False
Let y = 5 + 4. Let v = 6 - y. Let u = 1 + v. Is u less than 0?
True
Let s be (-7)/((-14)/(-4)) + 6. Suppose -s*v - 3*w + 14 = 0, 0 = -4*v + v - 2*w + 10. Suppose -7*c = -v*c. Is c at most as big as -2?
False
Suppose 9*x = 5*x. Is x at most 7/5?
True
Suppose -4*l + 16 = -24. Suppose -4*g = g + l. Which is bigger: 2 or g?
2
Let q = 308/5 - 62. Suppose -3*x + 8 = -x - 5*m, x - 3*m - 5 = 0. Which is bigger: q or x?
q
Let i = 325503501173128737/74515 - 4368294989834. Let o = -2/14903 - i. Let j = o - -75. Which is greater: j or -1?
j
Let w = 5.4 - 5. Let r = 0.9 - w. Which is bigger: -1 or r?
r
Suppose -4