4*1/v. Which is smaller: d or c?
d
Let a = 0.6 + 7.4. Let v = -8.1 + a. Is 0.1 > v?
True
Suppose 2*b + b = 0. Suppose 0 = -b*m + 2*m. Is 1 at least m?
True
Let f(d) = -2*d + 4. Let m be f(4). Let q = -5 - m. Let g be q/(3/6 - 0). Which is smaller: 1 or g?
g
Let y(t) = -7*t - 2. Let s be y(-2). Let k = s + -13. Is 2/19 greater than k?
True
Let n be -50*(0 + (-3)/6). Let l = -35 + n. Let q be (l/(-12))/(-1) + 1. Do q and 1 have the same value?
False
Let q be (1/2)/((-7)/28). Let u(v) = -4 + 1 + v**2 + 1 - v. Let m be u(2). Do q and m have the same value?
False
Suppose 0 = 4*o + r + 13, r + 9 = 4. Let l = 1 + -1. Let j be 1 - 3 - 0 - l. Do o and j have the same value?
True
Suppose -5*g + g + 16 = 0. Which is smaller: 5 or g?
g
Let g(q) = -5*q - 3. Let t be g(-2). Let x = 133 - 125. Which is smaller: x or t?
t
Let o be (-10)/12 + 8/12. Which is bigger: 8/7 or o?
8/7
Let t be (-152)/12*((-20)/8 + 1). Which is smaller: 20 or t?
t
Let l be -1*(2 - 2)/(-3). Let o = 9 + -3. Suppose l*g - o = -g. Which is greater: g or 7?
7
Let m = -111 - -111. Is m >= 10/9?
False
Let d = -61/990 + 5/198. Is 0 bigger than d?
True
Let z = 43.3 + -43. Is -10 at most as big as z?
True
Let j be (-2)/3 + (-2)/(-3). Let l = -1/11 + -8/33. Is l less than or equal to j?
True
Suppose 6 = c - 3*k - 6, -2*c + 15 = 3*k. Are 7 and c equal?
False
Let b(w) be the second derivative of w**5/20 + 2*w**4/3 - 3*w**3/2 - 3*w. Let r be b(-9). Suppose -5*x - 13 = 3*o + 27, 4*o - x + 15 = r. Are o and 0 non-equal?
True
Let m be -1 - (-1)/(-10)*-11. Let v(t) = 4*t**2 + 3*t + 4*t**3 + 1 - t**2 - 3*t**3. Let h be v(-2). Is m smaller than h?
False
Let g = -74 - -218/3. Is g greater than or equal to 2/3?
False
Let p be (82/(-2))/(10/(-10)). Which is bigger: p or -2/7?
p
Let j be 5/(45/(-96)) + 1/(-3). Is j at least as big as -12?
True
Suppose 2 = v - 3*v. Let u be 40/(-4)*(-2)/4. Suppose -4*c = h - 0*c - 16, -u*h - 12 = -3*c. Which is greater: h or v?
h
Let k(o) = 5 - 1 - 2 - o + 2. Let i be k(3). Let x be (2/4)/(1/12). Which is smaller: x or i?
i
Let j = 0.145 - -3.575. Let f = -0.28 - j. Is 1/3 greater than f?
True
Let i be -1 + -2 - (7 + -10). Is -1/20 > i?
False
Suppose 0*t - o = -2*t, 5*o = -5*t + 15. Let v be 0 - (-7)/5 - t. Suppose -2 = -3*j + 1. Does v = j?
False
Let l be (-108)/(-165) + 1/(-5). Suppose 4*w = 12, -4*j - 6*w - 5 = -9*w. Are l and j unequal?
True
Let l = 2.3 - 8.3. Is -3 less than or equal to l?
False
Let d(r) = r**2 - 9*r - 19. Let t be d(10). Which is smaller: -8 or t?
t
Let k be (-6)/2*(-12)/(-18). Let m be ((-4)/10)/(k/(-10)). Let j = m + 3. Is j less than or equal to 2?
True
Let n(v) = -v - 14. Let u be n(-16). Suppose 6 = 2*m + 2. Is m at most as big as u?
True
Let v(x) = 57*x**3 - x**2 + x. Let b be v(1). Suppose -4*n + 3*h = -b, -h + 9 = -4*h. Suppose -n = -3*z - 5*c, 4*z + 2*c - 4 = -2. Is 0 less than z?
False
Let h(s) = 2*s - 9. Let f be h(5). Are f and -3/49 nonequal?
True
Let x(r) = -r**2 + 14*r + 33. Let a be x(17). Is a != -16?
True
Let v(y) = -y**2 + 5*y + 3. Let s be (-25)/(-4) - (-2)/(-8). Let o be v(s). Do o and -3 have the same value?
True
Suppose 0 - 20 = -k. Is 2 smaller than k?
True
Let g = 73 + -113. Which is smaller: -39 or g?
g
Let p = 5 - 5. Suppose -5 + p = q. Is -6 bigger than q?
False
Let p = 0.5 + -0.3. Let b = p + -0.4. Let w = -3 + 3. Is w bigger than b?
True
Suppose -5*k + 4 = -1. Let d = 16 + -14. Is k bigger than d?
False
Let j(y) = -y**3 - 5*y**2 - y - 7. Let b = 1 + -6. Let a be j(b). Is a != 1?
True
Suppose 0 = 8*o - 10*o. Let m = -241 + 3131/13. Which is smaller: m or o?
m
Let w = -15.8 - -12.72. Let v = 0 - -0.08. Let y = v + w. Is 1/2 bigger than y?
True
Suppose -38 = -4*g + 26. Which is greater: 15 or g?
g
Let g(a) = a**3 - a**2 - a - 4. Let f be g(0). Suppose -25 - 7 = 5*m + 4*d, -21 = 3*m + 3*d. Is f < m?
False
Let q(c) = -c**2 + 7*c - 9. Let s be q(6). Suppose 4*p + 44 = -4*w, 4*p - 72 = 4*w + p. Let m be (-4)/10 - (-54)/w. Is s greater than m?
True
Let o be 7352285/300 + 2/(-3). Let l = o + -24501. Let m = -23/4 + l. Which is smaller: m or -0.1?
-0.1
Let v = -0.024 - 1.926. Let b = v - 0.05. Let u = b + 2. Is 2 >= u?
True
Let i(u) = -u - 4. Let m be i(-10). Let c be (-3)/(-1 + (-3)/m). Is 11/5 less than or equal to c?
False
Suppose n + 3*n = -36. Let g be (-2)/(-4) - n/6. Let j = g - -2. Is 3 != j?
True
Let l(k) = k + 5. Let m be l(0). Let z(b) = -6*b**2 + 95*b + 23. Let g be z(16). Which is smaller: m or g?
m
Let g be 22/(-1 - -16 - -3). Which is bigger: 2 or g?
2
Let c = 0.5 - 0.7. Which is smaller: -2 or c?
-2
Suppose 3*l + 25 - 4 = 0. Let t = -3 - l. Suppose -t*b - 2*v = -0 + 2, -2*b + 5*v = 7. Which is greater: b or -2/3?
-2/3
Suppose 2*a + a - 32 = -z, -a + 59 = 2*z. Which is greater: z or 28?
z
Let q(c) = c**2 + 8*c + 8. Let k = 17 - 24. Let f be q(k). Do 4/3 and f have the same value?
False
Let a be (-13 - -13)*(-1)/2 + -6. Let b be 19/(-4) - 6/24. Which is bigger: b or a?
b
Suppose 5 - 17 = 3*j. Let u be j/14 + (-180)/(-42). Suppose -2*t = -t - 2, 2*v = -t + u. Is 1 equal to v?
True
Let l = 1.1 + -0.1. Let h = 0.29 - -13.71. Let x = h + -8. Which is greater: l or x?
x
Suppose -2*a + 3*j = -1, 5*a - 5*j + 4 - 9 = 0. Let q be (-2)/6 + a/(-6). Let d(l) = -l + 4. Let p be d(5). Which is greater: p or q?
q
Let v be ((-4)/6)/(4/6). Let c = 0 + v. Let r = 223/5 + -45. Are c and r unequal?
True
Let z = -0.34 + 0.32. Is 2/3 at least as big as z?
True
Let k = -8/9 + 23/36. Which is greater: k or -0.3?
k
Let o be (-1)/(-2 - 3/2). Let x = 35 - 34. Which is smaller: x or o?
o
Let k = 16 + -17.2. Let m = k + 1.2. Which is smaller: 0.04 or m?
m
Let q = -0.82 + 0.82. Which is greater: 2/5 or q?
2/5
Let c be 60/45*6/(-2). Let t = -4 - c. Are 1 and t non-equal?
True
Suppose 5*v + 3 = -2. Let m = 12 + -6. Let c(p) = -p**3 + 7*p**2 - 7*p + 6. Let o be c(m). Is o > v?
True
Let y = 0 - -4. Let x(c) = c**2 + c - 2. Let j be x(-4). Let u be (y/j)/((-9)/15). Is u >= -2?
True
Let m be 0 + 0/4 + -3. Let k be (6/m)/(-2) - 0. Are k and -12 nonequal?
True
Let m = 2/37 - -255/74. Which is greater: m or 3?
m
Let j be -2*(-3 - 196/(-72)). Which is smaller: j or 0.05?
0.05
Let q be -1 + 23/7 + 2/(-7). Let w be 4/2 - 6/(-10). Which is bigger: q or w?
w
Let v be (1/(-2))/((-2)/4). Let d = 13 - 12. Let a be 0 + d + v/(-3). Is 2 at most a?
False
Suppose -z = 2*z + 9. Which is greater: z or -1?
-1
Let s be 5942/15 + (-6)/45. Let d = 2383/6 - s. Which is greater: 2 or d?
2
Let p(x) = -x + 4. Let m(b) = -b**2 - 4*b. Let s be m(-3). Suppose -s*k = -k - 8. Let c be p(k). Which is greater: c or -1?
c
Let n = 38745/43 + -901. Is n bigger than 1/4?
False
Let p = -2.1 + -1.9. Is p at most -3?
True
Let u = -7 - -8. Suppose u = 3*j + 4. Is j > 2/9?
False
Let s = 4.7 + 0.3. Let w = -42 + 41.9. Is s at least w?
True
Let y(p) = -p**3 - 7*p**2 - 4*p + 9. Let c be y(-6). Which is smaller: c or -7?
-7
Let j = 2 + -7. Let i = -4.6 - j. Let o = i - 0.5. Is -0.1 greater than or equal to o?
True
Suppose -w = -6*w - 15. Let g be (1/w)/((-2)/2). Let k = -2 + 1. Which is smaller: k or g?
k
Suppose 2*w + 44 = -3*o, w - 2*o = -w - 64. Let v = w + 23. Which is bigger: -8 or v?
v
Let l be ((-1)/(-6))/(22/(-99)). Which is greater: -1 or l?
l
Suppose -l - 3*l = 48. Let j be (-10)/(-4)*l/(-30). Is -1/12 greater than j?
False
Suppose 2*t + 1 = -3. Let n(u) = -u + 2. Let m be n(4). Let s be 6/(-4) + m/4. Is t > s?
False
Suppose -k = 4*q + q + 1, -4*k - 4 = 3*q. Which is greater: q or 4/5?
4/5
Let t(n) = n - 13. Let u be t(18). Let d be 2/6 - 140/(-21). Is d bigger than u?
True
Let m = 27 + -31. Is 2 at most m?
False
Let u = -15 - 3. Let p be (-4 + u/(-4))*2. Which is smaller: p or -1/22?
-1/22
Suppose -u - u = 0, 2*u - 6 = -2*i. Let m be -1 - (-10)/((-1)/(-1)). Let t = -7 + m. Which is greater: i or t?
i
Suppose 0 = 14*c - 11*c - 9. Suppose -c*j = -6, -3*j = 3*z + z - 34. Is z less than or equal to 7?
True
Let n = 0.1 - 15.1. Let i = 15.03 + n. Does i = 1/4?
False
Let b be (0 + -1)*2/2. Suppose -6 = -5*s - 5*g + 4, -3*s + g + 22 = 0. Let x be (2/4)/((-15)/s). Which is greater: b or x?
x
Let y = 0.12 - 1.12. Let f = -1 - -4. Let b = y + f. Is -1/4 greater than or equal to b?
False
Let r = 69 + 0. Is -1/4 >= r?
False
Let m(j) be the first derivative of j**3/3 - 3*j**2/2 + 4*j - 2. Let i b