 4 - 6. Which is greater: 3/7 or x?
x
Let l(z) = z + 2. Let m be l(-1). Let u be (m*(-2 - -4))/(-7). Which is smaller: u or 1/4?
u
Suppose 3 = 3*b - 5*g, 5*b + 2*g + 4 = 40. Which is smaller: b or 5?
5
Suppose -3*f + 4*x - 11 - 2 = 0, -5*f + 4*x = 19. Let a be (0*f/(-6))/(-1). Is a >= -3/8?
True
Let k be (5/10)/((-4)/32). Which is greater: -24/7 or k?
-24/7
Let a = -20/199 - -6230/2587. Let r = 111/65 - a. Which is greater: -1 or r?
r
Let x be ((-6)/(-81))/(4/42)*2. Which is smaller: 3 or x?
x
Let d(q) = -2*q. Let x be d(-2). Suppose 0*k = x*k. Let t be (1 - k) + 0 + -1. Are -3/8 and t nonequal?
True
Let w = -1 + 3. Let u = 8 - 11. Let c = w + u. Which is smaller: c or 0?
c
Let l = -1.96 + 1.6. Let z = l + 0.02. Let c = z - -0.04. Which is smaller: c or 1/3?
c
Let i = -117 - -116. Let l be (-6)/(-2)*(-9)/24. Which is smaller: l or i?
l
Let b be 28/(-8) + (-2)/4. Let c be (-2)/(-8) + (-15)/b. Let h(m) = m**3 - 3*m**2 - 5*m + 3. Let p be h(c). Do p and -3 have the same value?
False
Let q be 2/(((-3)/2)/(-3)). Let v = 4 - -14. Let o = -13 + v. Is o < q?
False
Suppose 2*n - 8 = n. Suppose -n*k - 15 = -3*k. Which is greater: 0.1 or k?
0.1
Let y(x) = x + 1. Let z be y(3). Let f = 5 + z. Which is smaller: 8 or f?
8
Let a be (-4)/6 + 3/(-9). Let y = a + 1. Suppose 0 = -2*x - y - 6. Which is smaller: x or -4?
-4
Let y = -7 - -3.8. Let z = -0.03 + 3.03. Let t = y + z. Which is bigger: 1 or t?
1
Let f be 2 + 1 + 0 + 0. Let y(s) = -s**2 + 3*s + 2. Let x be y(f). Is x smaller than 2?
False
Let u be 1*(-5 + 0) - 1. Let d be (-1118)/(-12) - u/(-12). Let i = d + -94. Do i and 0 have different values?
True
Let q(n) = -n**2 - 5*n + 1. Let s be q(-6). Let b = 0 + s. Let g = -5 - b. Do -3/4 and g have the same value?
False
Suppose p - 2*v - 3 = 0, 10 = -4*p - 4*v + v. Which is smaller: p or -7/4?
-7/4
Suppose -3*v + 35 = -13. Which is greater: v or 18?
18
Let w = 6.8 + 0.2. Let f = 7.24 + -0.24. Let k = w - f. Which is smaller: 2 or k?
k
Let z(r) = -3*r**2. Let d be (-9)/(-7) + 18/(-63). Let p be z(d). Let o be 2/12 + p/(-9). Which is smaller: 0 or o?
0
Let x be 2/7 - 48/756. Which is smaller: x or 1?
x
Let p(q) = -q + 43. Let s be p(26). Is 18 greater than s?
True
Let l be (658 - 0) + 11 + -15. Let g be (-2)/(-9) - l/27. Which is smaller: -23 or g?
g
Suppose -3*v + 14 = 8. Are 14/11 and v equal?
False
Suppose 4*g = 2*g. Let q be -1 + g + 4/4. Suppose s - 5*w = 22, q = s - w - 2*w - 14. Which is greater: 4 or s?
4
Suppose 0 = 2*s - 2 - 2. Suppose 3*o - s*o = -9. Is o greater than or equal to -9?
True
Let m = 0.1 + 0. Let v = m - 0.3. Let p = -31 + 32. Which is bigger: p or v?
p
Let v be (-4)/(-20)*(-10)/3. Let h be -6*((-10)/4 + 2). Suppose -4*q = -h + 11. Which is greater: v or q?
v
Suppose -2*i - 3*i = -u - 9, 2*u + 6 = -2*i. Is i > 4/15?
True
Let z = 0.82 - 0.8. Let p = -0.02 - 0.1. Let b = p + z. Is 0 smaller than b?
False
Let m be (-8)/252 - (-1 + 1). Let p = m - -20/63. Let g = -1/260 + 157/260. Which is bigger: g or p?
g
Let p(v) = -v + 8. Let z be p(6). Which is smaller: z or 4?
z
Suppose 4 = -3*j + 13. Which is bigger: j or 5?
5
Let t = 4 + -6. Let m = 4 - 2. Let a be 2 + 1*(-3 + m). Is t greater than or equal to a?
False
Let c = 5.9 - 0.9. Let w = c + -3. Let x = w + -2. Which is smaller: 0.1 or x?
x
Let s = -0.991 - 0.049. Let m = s + 0.67. Let d = m - -0.07. Which is bigger: d or -0.1?
-0.1
Suppose 0 = g + g + 22. Which is bigger: 0.1 or g?
0.1
Let b be (-1 - 1)*20/(-184). Let n = 113/115 + b. Which is smaller: n or 1?
1
Let c be (0 - 0)*3/6. Suppose 0*w + w = -5*q - 11, 0 = -4*q - 3*w. Let x = 4 + q. Is c less than x?
True
Let b(c) = 12*c - 3 - 5 - c**2 - 2*c + 0*c. Let k be b(6). Suppose -k = v - 5*v. Is v equal to 4?
True
Let y(o) = -o + 2. Let d be y(2). Let u(h) = h - 20. Let m be u(23). Suppose d*p = -m*p + 3. Which is smaller: p or 0?
0
Let h be -1 + -1 - 1/((-231)/455). Which is smaller: h or -1?
-1
Suppose -5*b - q + 0*q = -15, -4*q - 8 = 3*b. Let k be (b/6)/((-2)/6). Which is greater: -0.2 or k?
-0.2
Let m(g) = -15*g - 7. Let y be m(-3). Is y bigger than 38?
False
Let v be -1 + (-1)/(2/(-8)). Suppose -6 = -4*f + v*f. Which is bigger: 7 or f?
7
Let r = 0.02 - 1.02. Suppose y = -y - 20. Let a = y + 14. Is r bigger than a?
False
Let w = -1.9 + 22.2. Let l = w + -20. Is -0.4 less than l?
True
Let v(q) = -9*q**2 + q**3 + 5*q**2 - 4*q - 3 + 6*q**2. Let p be v(-3). Suppose t + 1 = -5*y + 4, p = -t - 2. Which is smaller: y or 2?
y
Suppose 2*f = 2*b - 10, -3*b - f - 5 = f. Which is greater: b or -0.1?
b
Let p = -0.8 - -0.6. Let t = p + -1.8. Which is greater: 2 or t?
2
Let m = 127 + -1013/8. Which is smaller: m or -0.3?
-0.3
Let m = 13 - 9. Let l be (6/m + -2)*-2. Which is smaller: l or -1/31?
-1/31
Suppose 5*z - 3*z = 22. Let f be z/22*(0 + -2). Which is smaller: 0 or f?
f
Let n(f) = f**3 + 6*f**2 - 2*f - 7. Let s be 6/33 - (-68)/(-11). Let j be n(s). Suppose -j*u + 10*u = -10. Is u greater than or equal to -2?
True
Suppose 4*m + 3*c + 28 = -2*c, 0 = 2*m - 2*c - 4. Suppose 3*x + 0 - 3 = 0. Let u = x + m. Which is smaller: u or -1/3?
u
Suppose 0*r = 5*r + 55. Let q(g) = g**2 + 12*g + 13. Let v be q(r). Which is smaller: v or 1?
1
Let c = 0.059 - -0.941. Which is smaller: c or 25?
c
Suppose -5*l + 20 = 4*z + 5, -4*z = -20. Let q be (-50)/(-60) + 6/(-9). Is q bigger than l?
True
Let m be 3/(-42)*-7 + (-5)/18. Is 5/4 at most as big as m?
False
Let s = -0.084 - 0.016. Is s > 4/21?
False
Suppose 5*f - 3 - 4 = -2*x, 2*x - 5*f - 17 = 0. Let t(w) = -w**3 + 7*w**2 - 5*w + 7. Let u be t(x). Is u < 13?
False
Let w(r) = -r**3 - 13*r**2 + 15*r + 13. Let o be w(-14). Is -8/7 != o?
True
Let h be 0 + (5 - 1)*10/5. Which is smaller: 48/7 or h?
48/7
Let q be 60/8*4/(-5). Let g be 1 + -4 - q - 7. Which is greater: g or -3?
-3
Let a be (1/(-2))/(1/8). Let c = -3 - a. Suppose 5*y - 3*i - 1 = 4, -5*i = 0. Are y and c unequal?
False
Let w = 3 - 11. Which is smaller: -10 or w?
-10
Let y be 2*(-1)/(-2 - 0). Let m be 1/5 - 18/40. Let j = 1/2 + m. Are y and j equal?
False
Suppose -2*g - 5*r + 8 = 0, -4*g + 44 = 2*r - 6*r. Is 9 >= g?
True
Suppose s + 36 - 32 = 0. Which is bigger: -38/11 or s?
-38/11
Let c be (2/(-6))/(7/18). Suppose -s - 2*s + 12 = 0. Suppose 5*p + s = -1. Which is bigger: c or p?
c
Let d be ((-1)/2)/((-2)/16). Suppose -b + 11 - 2 = 2*a, b = 4*a - 3. Let y be 0 - (-3)/(3/b). Which is bigger: y or d?
y
Let p = 7/8 - 19/40. Which is greater: p or 0?
p
Let l(g) = 2*g + 34. Let m be l(-16). Which is greater: 4/5 or m?
m
Let f = 0.1 - 0.3. Let u = 40 - 40.5. Is f bigger than u?
True
Let u = -6.1 - -7.5. Which is bigger: -0.2 or u?
u
Let g = -21.92 + -0.08. Which is smaller: g or 0?
g
Let y(t) = -t**3 - 8*t**2 - t. Let s be y(-8). Let d be (s/10)/(4/(-10)). Which is bigger: -3 or d?
d
Let u = 3 + -5. Let n = 0.05 + -3.05. Let w = -2.9 - n. Is u at most as big as w?
True
Let j(i) = i**3 - i**2 - 2*i - 7. Let z be j(0). Are z and -19/3 non-equal?
True
Let c = 28 - 16. Let h be (c/(-9))/((-20)/6). Which is bigger: h or 1?
1
Let g be 60/36 + 2/6. Suppose -3*n - 6 = 0, g*l + 9 + 7 = -4*n. Is -5 bigger than l?
False
Suppose -4*j + 8 = -3*o - 3, -j + 2 = 0. Let m = 2 + -1. Let b be 4/21 - m/3. Are b and o non-equal?
True
Let t be -1 + (-2 - -4) + 5. Let q = 35 + -29. Let x = q - t. Is x at most 1?
True
Let k = 2 - -1. Let c = -2 + k. Let d = 4.8 - 5. Which is smaller: d or c?
d
Let c be (-9)/(-63)*(-1)/2. Which is greater: c or 0?
0
Suppose 0*h = 4*h - 40. Let o be (8/(-30))/((-12)/h). Let m = o - -8/45. Is m less than 0?
False
Let w be 24/(-56) + (-8)/(-14). Is w greater than or equal to 1?
False
Let k(o) = -o - 5. Let t be k(-4). Let s = 0.166 - -0.034. Which is smaller: t or s?
t
Let a be (-34)/(-8) + 1/(-4). Suppose o + 3 = a. Let h = -33 - -33. Which is greater: o or h?
o
Let n = -79 + 397/5. Is 1 < n?
False
Let a = 0.23 - -0.37. Which is bigger: 3 or a?
3
Let q(b) = -b**2 - 7*b - 7. Let n be q(-6). Let c be (-6)/15 + n/(-15). Let k = -0.04 + -0.46. Is c at least as big as k?
True
Let y = -0.07 - -47.07. Which is bigger: y or -2/3?
y
Let z be ((-13)/(-4))/(8/(-64)). Let d be -10 + 13 - z/(-8). Is -4 less than d?
True
Let i be 2/7 - 9/7. Let z be (1 - 2)*(i - -2). Is z <= -2/29?
True
Let q be (1 - (-2)/(-4))*-2. Let c be 42/35*(-5)/4. Is q less than or equal to c?
