is greater: g or -0.2?
g
Suppose -6 = -3*m - 0*m. Let d be (m/(-8))/(6/16). Which is greater: d or 0?
0
Let j = -16 + 15. Let c = 9 + j. Which is greater: c or 9?
9
Let y be 2/(-8) + (-2)/(-8). Let j = -43 + 47. Suppose d = -y*q + j*q + 9, -d - q = 1. Is d > 4/7?
True
Let z = -0.07 - 1.43. Let k = 9.5 + z. Let w = k + -6. Which is smaller: -2/7 or w?
-2/7
Let p be (-1)/((-8)/3 - -3). Let t be (-60)/10*(-4)/p. Let r = -2 - t. Are r and 5 unequal?
True
Let u = 3.8 + 1.2. Let f = -4.9 + u. Which is smaller: f or -0.1?
-0.1
Let r be (-1 + 0)/((-814)/204 - -4). Is -102 smaller than r?
False
Let l = 16 - 16. Which is bigger: l or 0.05?
0.05
Suppose 4*x - 3*l = 434, 5*l = -x + 4*x - 331. Let j = x - 1603/15. Which is smaller: -0.1 or j?
-0.1
Let g = 117 + 7. Let m be (3 - g/22) + 3. Is -1 >= m?
False
Let c(t) = t**3 - 8*t**2 + 7*t + 2. Let u be c(7). Let b = -8 - -6. Which is greater: u or b?
u
Let n be (-2)/((-10)/30 + (-62)/(-78)). Which is smaller: -5 or n?
-5
Suppose 3*p = -0*p. Which is bigger: -2/11 or p?
p
Let d = -13 + 18. Suppose 0*s = -d*s + 5. Is s at least as big as 1?
True
Let f = 20 - 12. Suppose -f = -5*j - 3. Let o(i) = i**2 - 5*i - 7. Let k be o(6). Is j not equal to k?
True
Suppose 0 = 3*b - 8*b. Is b < -4/9?
False
Suppose -69 = 3*a - 24. Let l = a - 1. Let u be (0 - -2)/((-4)/l). Is 7 not equal to u?
True
Let i(o) = -o + 17. Let n be i(15). Suppose 3*s - n - 1 = 0. Is s <= -4/13?
False
Let r(f) = -f**3 - 5*f**2 + 7*f - 1. Suppose 2*n + 24 = -3*b - 0, 2*b - 3*n = -3. Let y be r(b). Let s = y - -4. Which is greater: -1 or s?
-1
Let p be (-4)/(-6) + 3/9. Let y = -570/13 + 44. Is y not equal to p?
True
Let q be (326/(-8))/(-1) + (-1)/(-4). Is 42 less than q?
False
Let g(h) = -h - 8. Let r be g(-9). Are 0.5 and r equal?
False
Let a = -100/3 - -33. Let l(v) = -v**2 + 5*v - 4. Let b(s) = -5*s - 1. Let k be b(-1). Let o be l(k). Is o less than or equal to a?
False
Let g = 0.0554 + 24.2446. Let w = g - 24. Which is bigger: 4 or w?
4
Let q be (-9 - -6)*(-2)/(-6). Let k = 2 - q. Are k and 4 nonequal?
True
Suppose 0*q + 5*q = -10. Let c = -3 - -6. Suppose 5*y + c = r, -4 = -5*y - 4*r - 17. Which is greater: q or y?
y
Suppose u + 4 = 5*u. Is 2/149 greater than u?
False
Let f be 4/(-6) + 28/6. Suppose -f*k + 2 = -3*k. Is 3 at least as big as k?
True
Let r = 37/6 - 35/6. Is 0.7 greater than r?
True
Let o = 5/39 + -6/13. Are o and 1/6 equal?
False
Let w(s) = s**2 + 4*s + 4. Let h be w(-7). Let q be ((-3)/(-25))/(5/h). Which is smaller: q or 2?
q
Suppose 0 = 3*y + 4*t - 4, 5 = -2*t + t. Suppose 0 = 4*z - y + 56. Let r be 7/35 - z/(-10). Which is smaller: r or 1/4?
r
Let d = 41/105 - 2/35. Which is greater: 4 or d?
4
Let p = -17 + 31. Let t = p + -14.1. Is t less than or equal to 0.4?
True
Let w = 1 - 2. Let j be 3 - w/((-2)/4). Let l(m) = m**2 - 6*m + 4. Let a be l(5). Do a and j have the same value?
False
Let o be (2 + 0)/(-14 - 0). Is 2/3 greater than o?
True
Let n = 134/2385 - 16/159. Is 1 at least as big as n?
True
Let l = 141 + -141. Is 1/38 at least l?
True
Let h = -9 - -13. Suppose 4*y - 4 = a - 2, 3*y - h*a = -5. Let u = 0.25 - 0.45. Which is smaller: y or u?
u
Let z = 42435/514 - 15/257. Let t = 315/4 - z. Is t at least as big as -3?
False
Suppose -3*v - 60 = 7*r - 6*r, 3*v = 5*r + 264. Which is smaller: r or -55?
-55
Let j be (-2)/5 - 46/10. Let a(t) = 2*t. Let f be a(-4). Let v be f/(-70) + 2/j. Is 0 smaller than v?
False
Let q = -6.15 + 0.15. Is q <= -0.1?
True
Let x be 16/(-10)*25/(-10). Which is smaller: x or 3?
3
Suppose 83 - 23 = 3*b. Which is bigger: 21 or b?
21
Suppose -5 - 3 = -2*z. Suppose 0 = -3*d + z*d. Which is bigger: -1/4 or d?
d
Let p = 8 + -8. Suppose 0 = f - p - 2, -5*f + 22 = 2*b. Is b != 6?
False
Let q(x) = x**3 - 12*x**2 - 12*x - 12. Let b be 1*(-2 + 5) - -10. Let f be q(b). Which is smaller: 4/5 or f?
4/5
Let p(k) = -k**3 - 7*k**2 + 8*k + 4. Let x be p(-8). Let s = 1.07 + -0.07. Which is smaller: s or x?
s
Let k be (-21)/(-9)*3*-2. Which is smaller: -15 or k?
-15
Let x be 8/2 + -6 + 8. Suppose -3*a + 15 = -x. Suppose 5*v - 27 = -a. Which is smaller: 5 or v?
v
Suppose -2*h + 0*h + 2*j = -4, 3*h + 5*j - 38 = 0. Which is smaller: 8 or h?
h
Let l = 4 + 10. Let y be (4 - 4) + 10/l. Does y = 2?
False
Suppose 10 = -p - 0*v + 3*v, 3*p - 5 = 2*v. Suppose -u + 0 = w + 4, -5*u - 36 = w. Let o(f) = f**3 + 8*f**2 + 4. Let l be o(u). Is l bigger than p?
False
Let l be 5/2*8/30. Let k(x) = -2*x - 14. Let y be 4/(-14) - (-47)/(-7). Let t be k(y). Which is bigger: l or t?
l
Let w be (1 + 5)*6/24. Is 1 equal to w?
False
Let t = 12 + 0. Suppose 3 = 3*q - t. Suppose q*n + 0 = 3*y - 5, 2*n = 2*y - 6. Which is smaller: 1 or n?
1
Let g = 0 - 0.05. Let b = 0.05 - g. Are b and -8 nonequal?
True
Let l = 40 - 39.8. Which is bigger: l or 2/5?
2/5
Let o(x) = -2*x**2 + 2*x + 17. Let h be o(-4). Is 1 at most as big as h?
False
Let k be 0 + 60196/(-68) - -2. Let n = k - -883. Which is bigger: 1 or n?
1
Suppose 4*f + 614 = -5*y, -2*f - 3*f = -20. Which is greater: -127 or y?
y
Let u = -3/28 + 17/28. Let r = 29 + -45. Let f be r/(-40) - 8/70. Is f greater than u?
False
Suppose g + g = -3*v - 8, 4 = -3*v - 4*g. Suppose 4*a = -s + 9, -3*s = -a - 4 + 16. Are v and s equal?
False
Suppose 0 = -z + 3*u + 13, -4*u = 5 + 11. Let x be z/(-3 + 2)*-1. Which is smaller: x or -1?
-1
Let k = -52.3 - -52. Let n = 5 - 3. Suppose -n + 0 = g. Is g bigger than k?
False
Let r = -141/532 - -2/133. Let d = 8 - 8.1. Is d greater than r?
True
Let p(l) = -l**3 - 7*l**2 - 6*l. Let f = -10 + 4. Let j be p(f). Suppose -o - 2*o + 18 = j. Is o > 5?
True
Let l be 2/(-11) + 14/(-44). Let a be 1 + 1 - 2 - -2. Let q be (2*-1)/(-2) - a. Which is smaller: l or q?
q
Let z = 17 + -18. Is z greater than or equal to -2?
True
Let o = -0.2 - -0.1. Let v = 0.03 + -0.03. Let l = o + v. Which is smaller: l or -0.3?
-0.3
Suppose b = -3 + 4. Suppose -i = 4*v - 9, b - 3 = -4*i + v. Let n(k) = -k**3 - 3*k**2 - 4*k - 2. Let w be n(-2). Which is bigger: w or i?
w
Let g = 1295525/4 - 6316337/20. Let q = g - 7944. Let v = -120 + q. Is -1 at most as big as v?
True
Let m = 31.1 + -31. Which is bigger: 0 or m?
m
Let f = 11 - 11. Let u = -137/45 - -22/9. Is f at least as big as u?
True
Let y = 8 - 8.8. Let w = y + 0.6. Which is smaller: 1 or w?
w
Suppose 5*z - 25 = 0, -4*s + 5 = 2*z - 21. Suppose -d - 4*o + 11 = 0, 0*o - 14 = -2*d - s*o. Let g be (-16)/(-10) - 6/(-15). Which is greater: d or g?
d
Let f(w) = 2*w - 10. Let i be f(11). Let u be (-65)/(-20) + 9/i. Which is bigger: 0 or u?
u
Let a be 15/(-6)*(-8 - -2). Let l be (4/10)/((-3)/a). Suppose 0*r - 5*r - 5 = 0. Which is greater: l or r?
r
Suppose -4*u + 2*n - 34 = -u, -2*n = -4*u - 46. Let g be (-234)/u*4/(-6). Is 1 bigger than g?
True
Let c be -1 + (-436)/(-30)*9. Let k(l) = 33*l**2 + 3*l + 3. Let p be k(-2). Let t = p - c. Which is smaller: -1 or t?
-1
Let s = 4 - 3. Let i = -0.7 - 0.3. Let a = -2 - i. Is s bigger than a?
True
Suppose -4*x + 8 = -0*x. Let u(n) = -6 + 8 + x*n - n. Let b be u(-2). Is b greater than or equal to 0?
True
Let f(o) = o**2 - 2*o. Let x be f(3). Suppose 5*a + x*d = -16, 3*a + 3*d = -0*d - 12. Which is bigger: a or -1/4?
-1/4
Let c(m) = -m**2 + 3*m + 4. Let q be c(4). Suppose q = -2*h - 2 - 0. Is h greater than 1/9?
False
Let i be 2/(-26) - 0/1. Is i < -1?
False
Let z be ((-1)/1)/1 + -5. Let a(o) = -o - 9. Let g be a(z). Which is greater: g or 2?
2
Let v = 9 - 7. Let m = v - 1.9. Which is greater: m or 2?
2
Let n(s) = -3*s**2 + 6*s + 10. Let l(k) = -k**2 + 1. Let p(v) = -4*l(v) + n(v). Let w be p(-4). Which is greater: w or 1/2?
1/2
Let y be (2/(-3))/((-28)/(-546)). Does -2 = y?
False
Let y(z) = -z**3 + 16*z**2 - 14*z - 15. Suppose -5*k - 40 = -115. Let s be y(k). Is 1 smaller than s?
False
Let f = 1.04 - 0.04. Is 4/5 > f?
False
Let j = -188/7 + 27. Let m be 2/(1/(1 + 0)). Let t(h) = h**2 - h - 2. Let i be t(m). Which is bigger: i or j?
j
Suppose 3*t = 2*p - 31, 0*p = 4*t - 2*p + 38. Let i be ((-1)/t)/((-7)/(-14)). Does i = -3?
False
Let c be (4 + 0)*10/8. Suppose -c*k + 2*s + 22 = 0, k - 5*s - 4 - 5 = 0. Let w = 7 + -3. Are w and k nonequal?
False
Let n be 1/2*-6 - (-1 - 1). Which is greater: n or 5/33?
5/33
Suppose -2*w = -5*b + 3 - 29, 3*b - 3*w = -12. Let k be 4/30 - b/(-45). Which is smaller: k or -2/53?
-2/53
Let j