 r = 0.04 + 0.06. Which is bigger: r or g?
g
Let z = 147 + -139. Let i = 1 + -1. Is i greater than z?
False
Let c be 8/12*(1 - -8). Suppose 3*h - 9 = c. Which is greater: 4 or h?
h
Suppose -2*y - 3*a = -15, 3*y + 5*a = 5*y - 39. Suppose -y + 0 = -3*u. Suppose u*i - 5 = -i. Which is smaller: -0.2 or i?
-0.2
Let g be 16/28 + (-6)/(-14). Is -1/73 not equal to g?
True
Let t = -146 - -145. Is t bigger than 2/103?
False
Suppose 4*s = -s + 10. Let a be 2 + (-3 - s/8). Is 0 < a?
False
Let h(y) = y. Let k be h(-1). Let a(d) = -d**2 + 7*d + 10. Let u be a(8). Let c be ((-12)/(-45))/(u/(-3)). Is k less than or equal to c?
True
Suppose 6*h = 8*h + 2. Are -23 and h non-equal?
True
Let b = -65 - -62. Which is greater: -8 or b?
b
Let s be ((-50)/(-8))/(3/(-4)). Let u = s + 47/6. Let o be (-60)/160 - 3/(-8). Is u less than or equal to o?
True
Let v(g) = g - 20. Let o be v(21). Let t be 198/(-49) + 2 + 2. Which is bigger: t or o?
o
Suppose -2*l = -6 + 2. Let y = -0.3 + 0.4. Which is greater: y or l?
l
Let a(j) = j**2 + 4. Let m be a(4). Let p be (2 - 0)/((-70)/m). Let h = -1.1 + 0.1. Which is smaller: p or h?
h
Let v be 1*0*(1 - 2). Suppose 12 = 4*d - d. Suppose d = 4*m - g, -5*m + 5 = -g - v. Is 0 less than m?
True
Suppose 22 = -7*u + 8. Are u and -21/11 equal?
False
Suppose 10*w + 30 = 5*w. Let z = w + 5. Are z and -2/5 equal?
False
Let o = -3692/15 - -246. Which is greater: -1 or o?
o
Suppose 3*l - 4*l - 1 = -2*u, -5*l = 5*u + 35. Let j be 2/(l/(5/(-2))). Let o be (-1)/((-3)/(-1)) + j. Is 2 >= o?
True
Suppose 2*g = -1 - 7. Which is smaller: g or -2?
g
Let b = 84.9 + -76. Let o = 9 - b. Is o less than or equal to -2?
False
Let a = -79 + 102. Is a > -0.5?
True
Let m(z) = z - 1. Let k be m(0). Let t be 7/(-14) + 1 + k. Which is smaller: t or -1?
-1
Let l = -0.54 - -0.6. Let t = l - -0.94. Which is smaller: -4/3 or t?
-4/3
Let l = 7.7 - 8. Let n = l + -0.2. Let w = 31 + -32. Which is bigger: w or n?
n
Let k(m) = m**2 - 6*m + 3. Suppose a + 19 = 3*f + 3*a, 3*a = 2*f - 4. Let h be k(f). Let j be (-1)/h - (-9)/(-18). Which is smaller: 1 or j?
j
Let y be (-6 + -1 + -3)/2. Is -4 bigger than y?
True
Let y(i) = -i + 7. Let r be y(4). Suppose 0*k = r*k - 3. Which is smaller: -1/3 or k?
-1/3
Let o = -9593/217 - -309/7. Let r = 26 + -25. Which is smaller: r or o?
o
Let c = -2 - -6. Suppose -c*h + 3*h + 2 = 0. Suppose -3 - 8 = -2*f + 3*r, 3*f + h*r = -3. Which is smaller: -1/3 or f?
-1/3
Let y(b) = -2*b**2 - b + 1. Let p be y(-2). Let s = -10 - p. Let i = -2 - s. Which is bigger: 4 or i?
4
Suppose -l + 4*b = -6*l + 8, l + b - 2 = 0. Suppose v + l*v = 16. Which is greater: 15 or v?
v
Suppose 4*c - 3*c - 8 = 0. Let z(n) = -n**2 + 8*n. Let a be z(c). Is a < -3/7?
False
Let t be (-5)/((-945)/(-448)) + 0 + 2. Is t < -1?
False
Let h be (-1)/(21/(-6) - 0). Which is bigger: -1 or h?
h
Let j = 7.12 - 7. Let z = j - -0.08. Do z and -3 have the same value?
False
Let r be 1*4*3/4. Let w be (-4)/18 - (-79)/(-9). Let g = -6 - w. Is r at most g?
True
Let z be (-26)/24 + 3 + -2. Is 1 <= z?
False
Let c = 5 + -2. Suppose 4*u + c*l - 8 = 9, -l = 3*u - 14. Let o be -5 - -3 - (-14)/u. Which is greater: o or 1?
1
Let w = 4/19 + -119/114. Is -1 at least as big as w?
False
Let g = -389 - -221. Let z be (-366)/g - (-1)/(-4). Let r = 10/7 - z. Which is greater: 0.2 or r?
0.2
Suppose 3*o - 1 = 2. Which is smaller: o or -1?
-1
Let l = 239/54 + -9/2. Which is smaller: l or 1?
l
Let o be (-4)/8 - 38/(-4). Let w(b) be the first derivative of b**4/4 - 8*b**3/3 - 4*b**2 - 6*b + 4. Let n be w(o). Which is bigger: n or 4?
4
Let g = 12 - 13. Which is bigger: g or 3/10?
3/10
Let q be -3*(2 - (3 + 3)). Let t = 11 - q. Which is smaller: 2 or t?
t
Let l = 0.07 - -0.13. Which is smaller: -2 or l?
-2
Suppose 0*o = -4*o + 4. Let v = 0.13 + -0.02. Let y = v - 1.11. Which is greater: o or y?
o
Suppose 20 = 8*k - 4. Are -9 and k equal?
False
Let c(h) = -h - 7. Suppose k - 2*n + 0 = -7, n + 14 = -2*k. Let g be c(k). Suppose -s + g*z = -z, 0 = s + 3*z + 4. Is s < -1/3?
True
Let k be (0/((8 - 4)/(-4)))/(-2). Suppose -5*t = -o - 22, 3*o + 2 = t + 6. Let v be (-2*(-1)/1)/t. Are k and v nonequal?
True
Let j be (9/6)/((-6)/(-20)). Let y(i) = -i**2 + 4*i + 7. Let o be y(j). Suppose -2*n + n - 2*p + 5 = 0, -o*n + 7 = 3*p. Which is smaller: -2 or n?
-2
Let f be 0/(-18) - (1 + 1). Let z(a) = -a**3 - 4*a**2 - 5*a - 4. Let s be z(-3). Let y = s - f. Does y = 3?
False
Suppose -5*m + 33 = -4*c, 3*c = -m - 0*m - 1. Let i = 0.045 - 2.935. Let w = 0.11 - i. Which is smaller: c or w?
c
Let h = 0.3 + 1.1. Let v = 2.4 - h. Which is bigger: v or -0.1?
v
Suppose 9*b - 465 = 4*b. Are 94 and b unequal?
True
Suppose -3*c - 3*m - 30 = -3, c = 3*m - 1. Suppose 19 = -4*w - 5. Which is smaller: c or w?
c
Let p be (2/5)/(3/60). Suppose p*s = 3*s. Let v = -1/71 - -76/355. Is v at least s?
True
Let x be (-4)/18 + 52/(-9). Let g(m) = m**3 + 5*m**2 - 7*m - 5. Let u be g(x). Let q = 295/6 + -49. Is u at most q?
False
Let o be 24*(0 + 1/2). Let a be (-3)/o - 1/(-4). Which is smaller: a or 2?
a
Let f = -5 - -5. Let n = f - 3. Let l = 5 + -9. Is l at least as big as n?
False
Suppose 0*t = t + 14. Let a be (-75)/11 - t/(-77). Are a and -6 non-equal?
True
Let s = 11 + -7. Suppose -2*v - 8 = -3*c - 4, 12 = -v + 4*c. Is s at least as big as v?
True
Let i(z) = -9*z**3 + z**2 - 5*z + 1. Let s(w) = -5*w**3 - 3*w + 1. Let j(l) = -6*i(l) + 11*s(l). Let o be j(-5). Let t = o + 6. Is t at least as big as 1?
True
Let a be (0 - 2/9)/((-4)/3). Does a = -3/14?
False
Let f = 14 - 13.52. Which is smaller: f or -2?
-2
Let x be (-2)/(-7) + 12/(-28)*1. Which is smaller: x or 1?
x
Let h = -0.12 - -5.12. Let l = -8 + h. Let n = 2 - 3. Which is smaller: l or n?
l
Let o = 17.92 - 18. Is 0 not equal to o?
True
Let q = 56 + -27. Is q not equal to 28?
True
Let q = 9 + -4. Suppose -25 + q = -4*r. Which is smaller: 4 or r?
4
Suppose 0 = 5*g - 2*g - 30. Let q be 2/(-10) + (-2)/g. Suppose 5*m + 2 = -t - 2, -2*m = -2*t - 8. Which is greater: q or m?
m
Let f(y) = -y**3 - y + 1. Let p be f(0). Let q be p + ((-45)/12)/3. Let v = 0.2 - 1.2. Is q < v?
False
Let l be (-7)/(-35) + 31/(-5). Is -5 bigger than l?
True
Let j be (-4)/14 - (-12)/42. Let t be 2/9*12/16. Is t not equal to j?
True
Suppose 2*l = -5*w + 25, -w - 5 = -2*w + 4*l. Let k be ((-2)/w)/(1/(-10)). Suppose 0 = -5*a + 10 - 0. Is k <= a?
False
Let t = 1600/9 + -178. Is -7 less than or equal to t?
True
Let u(r) = -r**3 - r**2 - 20. Let l be u(0). Is l at most -19?
True
Let z be -2*(99/24 - 4). Let n = -0.1 - -0.1. Which is greater: n or z?
n
Let r(o) = o**3 - 8*o**2 - 11*o + 18. Let b be r(9). Is -2 less than b?
True
Let p = 5 - 4. Let d = -0.96 + p. Let w = -0.96 - d. Do -0.3 and w have different values?
True
Let f = -3104/15 + 207. Are -1 and f unequal?
True
Let k be (3/(-6) + -1)*2 - -4. Let t(x) = x**3 - 8*x**2 + 5*x - 3. Let g be t(7). Is k less than g?
False
Suppose -3*q + 4*q - 1 = 0. Which is smaller: -1/78 or q?
-1/78
Let k be (-9)/(-4) - 30/(-40). Let z be (4/(-12))/(k/9). Let r = 0.1 - -0.1. Which is smaller: r or z?
z
Let m = 79 - 31. Is 47 > m?
False
Suppose c - 2 = -3. Let j(m) = 4*m**2 - 1. Let h be j(c). Let b = h - 1. Is 4 smaller than b?
False
Let m = 23.909 - -0.091. Which is smaller: m or 0.1?
0.1
Let h be (20/(-8))/((-1)/(-2)). Is -3 bigger than h?
True
Let n = 42 - 41. Is n at least as big as -2?
True
Let f(v) = v**2 + 7*v - 1. Let q be f(-8). Is 6 at least q?
False
Let x = 16 - 7. Is 9 at most x?
True
Let y be ((-6)/(-4))/((-6)/(-320)). Let a be (y/(-9))/(294/9). Let g = a + -2/147. Which is smaller: g or 0.1?
g
Let s = 1 - 0. Which is greater: s or -4/11?
s
Let l = -23.919 - 0.081. Are -1/3 and l nonequal?
True
Let z = -16.33 + 0.33. Let o = z + 22. Let m = o - 5. Is m bigger than 3?
False
Let j be 18/12*4/(-189). Is j greater than 1?
False
Let i(c) = -c - 2*c - c**2 - 2*c + 13 + c. Let t be i(-6). Which is greater: -1 or t?
t
Let i = 161 + -135. Is 22 <= i?
True
Let b = 5.6 - -0.4. Let r = b - 6.07. Which is smaller: r or -1?
-1
Let w be (-10)/(-1) - 0/1. Suppose 2*o + 3*o = z - w, 0 = 5*z. Let t(q) = q**3 + q + 1. Let g be t(-1). Are o and g nonequal?
True
Let f be (1 + 136)/(2 - -1). Let m = f + -46. Let h(i) = i**2 - i. Let p be h(0). Which is smaller: m or p?
m
Let o = -83/2 - -42. Which is smaller: