e (2/15)/((-6)/(-10)). Let i(c) = -c**3 - 7*c**2 + 5. Let w be i(-7). Let x = w + -4. Do x and v have the same value?
False
Suppose 132 = -4*g + 6*g + 4*x, -5*g = -2*x - 282. Let a = g + -294/5. Let h be ((-3)/(-1))/(9/(-6)). Which is smaller: a or h?
h
Let c = -44 - -20. Let u be ((-18)/4)/((-18)/c). Which is smaller: u or -2?
u
Let t be (2 + 30/(-12))*2. Let m(h) = -2*h - 5. Let k be m(-4). Suppose -5*r = -k*s - 7, 0*s + s - 11 = -5*r. Is t > s?
False
Let m = -1205/4 - -299. Is m equal to 1?
False
Let t = 4471/21 - 213. Which is greater: 0 or t?
0
Let q = 12 + -11. Let l = -1 + q. Which is greater: l or 1?
1
Let k = 1 - 1. Let a = 0 - k. Let u = 5 - 5. Is a at least as big as u?
True
Let b = -4 + 5. Let z be (0 + b)/(3/9). Suppose z = x + 6. Is 1 at least x?
True
Suppose 0 = -5*b - 2*s - 5, 4*s = -s - 25. Let v be (8 + b)/(-3) - 1. Let x be v + 2 + 14/6. Is x bigger than 0?
True
Suppose 2*a + a + 5*r + 21 = 0, r + 3 = 0. Let w(f) = f**2 + 10*f + 8. Let h be w(-9). Which is smaller: h or a?
a
Let i = 4.1 - 2.98. Let n = 0.12 - i. Let o = 5 + -4. Which is smaller: o or n?
n
Suppose -i + 1 + 1 = 0. Let p be i + (-5)/((-70)/(-32)). Let f = 1 + -1. Which is bigger: f or p?
f
Let j be 18/42 + 75/21. Do 3 and j have the same value?
False
Let y = -138 + 42. Let g be y/56 + (-4)/14. Is -3 less than g?
True
Let o = -5 + 4.9. Let q = 7 + -7. Which is greater: o or q?
q
Let j be (3 + 40/(-12))/((-3)/36). Is 3 <= j?
True
Suppose 143*u + 384 = 140*u. Which is smaller: u or -127?
u
Let m(h) = 3*h**2 + 2*h + 1. Let u be m(-1). Which is smaller: u or 3/5?
3/5
Let q = -0.2 + 0.3. Let v = -1.4 - -1.47. Let b = v + 0.13. Which is smaller: q or b?
q
Let k = 0.3 - 0.3. Let x = -1 - k. Let f = x + 0.9. Are f and 0 non-equal?
True
Let f be 5/(-10)*(-1 + -3). Suppose -f*s = -3*s. Let k = s + -1. Does k = 0?
False
Let y(b) = -b**3 + 5*b**2 + 7*b + 1. Let g be y(6). Let q = 389/51 - 22/17. Let c = g - q. Is c < -0.2?
False
Let i = 1229/10 - 123. Are -1 and i equal?
False
Let o be 2/(-10) - (-81)/5. Let x = -14 + o. Which is smaller: 1 or x?
1
Suppose -7*b + 11*b = 6*b. Let j = 1994 - 13875/7. Let u = j - 80/7. Which is bigger: b or u?
u
Suppose -6 = 2*t - 4*i + 2*i, 0 = -t - 4*i + 12. Is -2/53 != t?
True
Let g = -0.07 + 0.06. Let t = g + -0.19. Do t and -2 have different values?
True
Let o be 1/(((-20)/(-4))/(-20)). Let w(i) = -3*i. Let n be w(1). Does o = n?
False
Let k(l) = -2*l + 5*l - 10 - 4*l. Let b be k(-7). Let r = 3 + b. Which is smaller: r or -2/5?
-2/5
Let j = -14/29 - 263/116. Which is bigger: j or 0.1?
0.1
Let p = -32543/5 + 6632. Let g be (-5525)/45 + (-6)/27. Let j = p + g. Which is smaller: j or 1?
j
Let s = 5 - 9. Let l = -13.9 - -10. Let f = l - s. Is f >= 2/5?
False
Suppose -h + 3*a = 2*a - 10, -4*a = 4*h - 40. Let o be (-15)/(-21) + h/35. Which is bigger: o or -1/17?
o
Let v = -10.9 + 3. Let x = v - -8. Is 1/4 >= x?
True
Suppose -3*k - k + 4*v + 16 = 0, 3*v + 20 = -5*k. Let h be (-1)/(-4)*1 + k. Is h smaller than 0?
True
Suppose 23 = -2*v - 5*u, 4 = 5*v - u - 6. Which is smaller: v or 6/13?
6/13
Let j = 8 - 6. Let n = j + 2. Suppose -b + n = -3. Which is smaller: b or 6?
6
Let w(d) = -2*d + 3. Let b be w(6). Let v = b + 4. Which is smaller: v or -4?
v
Suppose -5*p + 4*m = 146, -5*m - 5 = p + 1. Which is smaller: p or -2?
p
Let q(b) = 4*b - 60. Let x be q(24). Which is greater: 37 or x?
37
Let k(h) = -h**3 - 3*h**2 + 4*h - 5. Let a be k(-4). Which is smaller: -4 or a?
a
Let l(t) = t**2 + 5*t - 5. Let p be l(-5). Is -4 < p?
False
Let i(r) = -5*r + 2. Let z be i(2). Is z >= -8?
True
Suppose 208 - 18 = 2*p. Which is greater: 94 or p?
p
Suppose 2*w - 31 = f, w - 5*f = 6*w - 70. Let v = 12 + -2. Let c be (-6)/w - (-24)/v. Which is greater: c or 3/5?
c
Let s be 0/1 - (-4)/(-1). Let t = 17/126 - -2/63. Which is smaller: t or s?
s
Let g = 38 - 17. Suppose -4*c - g = -7*c. Suppose 2 = 3*i - 7, q - c = -2*i. Is q < 0?
False
Suppose 0 = -y + 1. Let z = -3.7 + -0.3. Let i = z + 3.9. Which is greater: y or i?
y
Let p = -3 + 2.62. Let h = p - -9.48. Let c = h + -9. Is 2/31 <= c?
True
Let p = -235/24 + 49/5. Which is smaller: p or -1?
-1
Let y be 359/(-590) + (-135)/(-225). Are -1 and y non-equal?
True
Let s be (12/(-4))/(-3) - -6. Which is bigger: s or 8?
8
Let a = 27 + -17. Let h = a - 8. Is h at most -1?
False
Suppose 20 = -5*h - 10. Let c be 3 + h + (0 - -2). Which is smaller: -1/6 or c?
c
Let p be ((-1)/19)/(1/(-2)). Let x = p - 44/57. Let f be (2 + 4)*((-80)/(-36) + -2). Is x greater than or equal to f?
False
Let m(g) = -g**3 + 9*g**2 + 10*g. Let r be m(10). Let j(c) = -c**2 + c + 2. Let b be j(0). Let p be 0 - -1 - b/8. Is r smaller than p?
True
Let c = 2 + -3. Suppose 3*l + 30 = -7*l. Is c greater than or equal to l?
True
Let y = -3 + 1. Let o be (-87)/9 - y/3. Let j be (o/(-30))/(12/10). Which is smaller: -1 or j?
-1
Suppose 2*r + 0*r = -70. Is -35 > r?
False
Let v(t) = t**3 - 8*t**2 + 4*t + 7. Let p be v(7). Which is smaller: p or -13?
p
Let b(g) = g**2 + 3*g + 1. Let f be b(-4). Suppose -f*r = -4*r. Let t be ((-1)/(-4))/(10/(-8)). Is t smaller than r?
True
Let p = 10 + -8. Let s be 21/30*2 - p. Do 2 and s have the same value?
False
Let n = -1 - -1. Let m be 8/36 - (-68)/18. Let i be 91/(-147) + m/14. Is n greater than i?
True
Suppose -5*p + 2*p = 3*h + 9, -2*h + 2*p + 10 = 0. Let u(r) = -r + 10. Let b be u(8). Suppose c - b*a = 2 + 7, 5*a = -4*c - 16. Is c > h?
False
Let b = 11.2 + -2.3. Let m = 7 - b. Let l = m + 2. Which is smaller: -1/4 or l?
-1/4
Suppose 0 = 3*m - 0*m - 12. Suppose 0 = i + 3*y, m*y = -5*i - 0*i. Which is greater: i or -2/23?
i
Let p(g) = g**3 - 35. Let n be p(0). Which is bigger: n or -36?
n
Let w be (-4)/(-18) + 56/(-9). Let k be (-2 - -3)/((-3)/w). Is k at least as big as 1?
True
Suppose -3*w + 7 + 5 = 0. Let g = w + 0. Is g bigger than -0.1?
True
Let u = 766 - 747. Let k = -0.2 - -0.1. Is u smaller than k?
False
Let d = -945 + 1365. Let n be 129/d + 3/(-12). Which is greater: n or 0?
n
Suppose 4*u - 12 + 0 = 0. Suppose 2*o = -f + 11, -2*o + 11 + 2 = u*f. Which is smaller: f or 0?
0
Let z(i) = -5*i - 3. Let f(l) = -14*l - 8. Let q(r) = -4*f(r) + 11*z(r). Let x be q(-4). Is -4 < x?
False
Let i = 88 + -87. Which is smaller: 2/7 or i?
2/7
Let n be 2/(-4)*15/10. Is -2/5 at most as big as n?
False
Let f = 1.6 - 1.6. Let l = f + 0.2. Which is smaller: l or 0.7?
l
Let v(k) = -k - 2. Let r be v(-4). Suppose r*s - 4 = -2. Is 1 less than s?
False
Suppose -5*j - 7 = 83. Is j at least as big as -19?
True
Let f be (-150)/(-35) - 2/7. Is f smaller than 4?
False
Let q(s) = 9*s**3. Let d be q(1). Suppose 3*i + d = -6. Is i < -4?
True
Let r(u) = -2*u**2 - 10*u + 5. Let p be r(-5). Let i = 3 - 1. Suppose -2*l - i = 2*l - 2*j, -p*l - 1 = -j. Which is smaller: l or -3/7?
-3/7
Let g be (81/(-39) + 2)*-2. Let k be 3/(-6) + (-3)/6. Which is bigger: k or g?
g
Suppose 10*u - 5*u - 169 = -4*t, 0 = 5*u - 25. Let l be 0/2 + 9/t. Are -1 and l equal?
False
Let g(k) = -k**3 - 14*k**2 + 15*k. Let f be g(-15). Do 1/41 and f have different values?
True
Suppose f + 0*f - 1 = 4*c, -6 = 3*c + f. Let n be (c/2)/(4/48). Let l be 2/((-3)/n + -1). Is -4 >= l?
True
Let z be (-9)/3 - (-5)/(-80)*-34. Is z at most as big as 0?
True
Suppose -2*r - 13 - 7 = 2*c, -2*c = 5*r + 35. Let i = r - -4. Is 2 > i?
True
Let l(f) = 2*f**3 - 2*f**2 - f + 2. Let h be l(1). Which is greater: -0.02 or h?
h
Suppose 0 = 4*q + 66 - 18. Let h be q/(4/1) - 5. Which is greater: -9 or h?
h
Let y(l) = -3*l + 6. Let b be y(0). Are b and 23/4 nonequal?
True
Let u be (-1 - (-33)/24)/(35/20). Is 1 > u?
True
Let k be (-121)/(-65) + (-4)/10 + -1. Which is bigger: 3 or k?
3
Let j(a) be the first derivative of a**4/4 - 7*a**3/3 + 3*a**2 - 2. Let t be ((-8)/(-6))/(2/9). Let g be j(t). Which is smaller: -2/5 or g?
-2/5
Suppose -8 = 2*q + 8. Let x be q/(-10)*1/(-2). Which is bigger: x or 0?
0
Let h = -10 + 17. Suppose -2*i = -i - 2*q - 2, 0 = 4*i + 3*q - 41. Which is bigger: i or h?
i
Let k be (10/(-30))/(1*(-1)/(-21)). Are k and -7 non-equal?
False
Suppose -3*j + x - 15 = 5*x, j + 16 = -5*x. Which is greater: 4/15 or j?
4/15
Let g = -4 - -3. Let i be (17/255)/(1/(-6)). Is i less than g?
False
Suppose w = -3*w + 12. Suppose 0 = 2*f - h - 9, -5*f + 10 = -h - 14. Suppose -f*i + w*m + 10 = 0, 0 = 3*i - 0*m + 2