6*o - 4. Which is bigger: w or o?
w
Let f = -20/3 + 6. Let w be 2/(-13) + (-324)/(-1937). Let x = w - -284/1043. Is x at least as big as f?
True
Suppose -t + 1 = 2*b, 2*t - 9 = -t. Let o be 4/18 - 128/90. Is o > b?
False
Let i(z) = 26. Let f(o) = o - 1. Let s(c) = -2*f(c) - i(c). Let n be s(-12). Is 3.1 at least as big as n?
True
Let z(j) = -4*j - 18. Let b be z(-6). Suppose -b*x + 2*x = 24. Do x and -10 have the same value?
False
Let h = -31 + 44. Let x = -60 + 69. Let a(j) = -2*j**2 + 20*j - 6. Let d be a(x). Which is greater: d or h?
h
Let l = 72.8 + -75. Let b = l - 4.8. Is -1/3 < b?
False
Let y be (-4)/16 + 142/(-8). Suppose 0 = 6*a - 9*a + 84. Let s = a + y. Is 2 < s?
True
Let w(d) = -38*d - 607. Let f be w(-16). Let q be (1 + -2)/(5/(-2)). Which is bigger: f or q?
f
Let t = -27.3 + 27.2. Which is smaller: 187 or t?
t
Suppose 0 = -6*g - 0*g + 138. Suppose -i + g + 2 = 0. Suppose 0 = 2*t - i + 9. Does 6 = t?
False
Let g be -1 + 5 - (2 - 0). Suppose -11*t + 13*t = u + 7, -5*t = -20. Suppose 5*r - u = w, 5*r - g*r = -4*w - 50. Which is bigger: w or -12?
w
Let s(k) = 80*k - 442. Let w be s(24). Is w at least as big as 1478?
True
Suppose -4*k + 5*i + 384 = -6, 0 = -4*k + 3*i + 386. Is k at least 0.1?
True
Suppose 5*d + 2*p + 2 = 2*d, 5*d = -5*p. Suppose -17 + 19 = 2*h. Let b be h/1 - 0/d. Is b <= 1?
True
Let a = 2643/4991 + 29/161. Is 2 at least as big as a?
True
Suppose -5*p + 2*p = 5*z - 112, -z - 53 = -2*p. Which is smaller: p or 24?
24
Let m(u) = -139*u - 2223. Let i be m(-16). Let t be 2/(-64) + 0/3. Which is bigger: t or i?
i
Let y be (-59)/((-7)/(42/(-4))). Let x = 3895/44 + y. Is x greater than -1?
True
Let h = -341 - -81841/240. Is h equal to -2?
False
Let h = -0.2 - -0.18. Let j = -583.7 + 584. Is j equal to h?
False
Suppose -w - 18 = -4*b + w, -3*b + 4*w = -11. Let y(t) = -7*t**3 + t**2 + 3*t**2 - b*t**2. Let l be y(-1). Is l bigger than 6?
False
Let i = -114/5 + 365/16. Let d be -2 - (-1 + 4)*-1. Which is greater: d or i?
d
Let b(d) = -d**3 - 4*d**2 - 1. Let l be b(-4). Let g be 752/3894 - 58/319. Which is bigger: g or l?
g
Let n(g) = -2*g + 4. Let q be n(2). Suppose 17 = -h + 5. Let u be 6/2 + 35/h. Which is smaller: u or q?
q
Suppose 1 = -t - 0*t. Let s(f) = -f**3 - 2*f**2 - 6*f + 3. Let j(u) = -u**3 - 3*u**2 - 7*u + 4. Let c(g) = 5*j(g) - 6*s(g). Let b be c(2). Are b and t equal?
False
Suppose 9*j + 30 = 6*j. Let i(u) = -u**3 - 4*u**2 + 1. Let c be i(-3). Which is greater: j or c?
c
Suppose 0 = -4*s - 2*p + 22, -4*s + 6 + 11 = 3*p. Let x be (-87)/(-12) + (-2)/s. Is 3 at most as big as x?
True
Let a(v) = 2*v - 12*v + 7*v - 5. Let c be a(-3). Are c and 4 nonequal?
False
Let h = -98 + 494/5. Which is greater: 3/10 or h?
h
Let y = -32 - -31.958. Let w = y + 0.052. Which is smaller: 3 or w?
w
Let u be (-221)/51*(-138)/(-2). Let f be (-322)/u + -1*(1 + 0). Let j = 0 - 0. Is f less than j?
False
Let d = 47.81 + -48. Let p = d - -0.07. Is p equal to -1?
False
Let b = -190 - -184. Which is bigger: 1 or b?
1
Let b be 80/2 - (-4 - (-1 - 1)). Suppose 6*n - b = 3*n + 3*k, -n - 4*k = 6. Which is greater: 12 or n?
12
Let k = -729 + 759.3. Let v = k - 30. Which is greater: -4 or v?
v
Let m be (-7 - -7) + -2 + -20 + -2. Which is smaller: -176/7 or m?
-176/7
Let b be (-87)/(-58)*152/174 - 2. Which is bigger: b or -2?
b
Let m = 82 + -82. Let l(b) = -b**2 - 7*b - 4. Let y be l(-6). Which is greater: y or m?
y
Let m(w) = -4*w**2 - 32*w - 20. Let u be m(-7). Is 10 <= u?
False
Let v = -0.126 - 109.874. Let q = v + 106.32. Let t = q + -0.32. Which is smaller: -1 or t?
t
Let n be (-28 + 29)/(2/(-8)). Let x be 6/(-2) + n/(-4). Is x at least as big as -3?
True
Let g = -808 + 34739/43. Is g != -1?
True
Let b = -562.9 + 616. Which is greater: b or -1?
b
Let v be ((-2)/(-4))/((-54)/(-28) - 2). Is v at most as big as 1?
True
Let d = 7 + 46. Let r = -52.97 + d. Are r and -3 equal?
False
Let l = 11.12 + -11. Let x = 0.05 - l. Let c = x + -2.93. Which is smaller: c or 1?
c
Let r(s) = -s**3 - 5*s**2 - 5*s - 25. Let d be r(-5). Are d and 3/43 nonequal?
True
Let o = 26/35 - 8/7. Suppose -3*c = -7*c + 12. Suppose y = y - c*y. Is o greater than y?
False
Let a = 76.84 - 84. Let d = a + 0.16. Let p be (-516)/430 - (-4)/(-5). Which is greater: p or d?
p
Let i = -51 + 126. Let h = i - 75.1. Let k = -215/3 - -71. Which is smaller: h or k?
k
Let r(f) = 59*f**2 - 173*f - 2. Let i be r(5). Is 608 > i?
False
Let h be (-4)/(-51)*(-6)/(-4). Let d(f) = f**2 - 5*f - 2. Let i be d(6). Suppose 1 = 2*t - 5, t = i*a - 1. Which is bigger: h or a?
a
Suppose 11 = 14*y - 3. Is y greater than -2/111?
True
Let d = 9 - 13. Let k = -3.2 - d. Let m = -53/15 - -16/5. Which is smaller: m or k?
m
Suppose -7*n + 780 = 108. Which is smaller: 98 or n?
n
Let g = 38 + -36. Suppose 0 = -4*n + 2*n + g*p, -n = 4*p + 15. Is n != -3?
False
Let n(v) = -3*v - 8. Let b be n(-4). Suppose 0 = -s + 3 + 4. Suppose -b*l + s = 11. Which is smaller: l or -4/7?
l
Suppose 0 = 6*h - 3*h. Suppose 0 = 3*i + 2*u + 10, h*i - i - 4*u = 10. Let a be ((-5)/2 - i)*0. Which is smaller: a or 1/22?
a
Suppose 3*b - 192 = -4*l, 11*b = 7*b - 4*l + 252. Which is smaller: 67 or b?
b
Suppose t - 4*s = -2, -4*t = -16*s + 17*s - 43. Is -2 less than t?
True
Let b be (-13 + 0)/((-2)/(-26)). Let k be 1 - -1261*4/30. Let u = b + k. Which is smaller: -2 or u?
-2
Let z = 985 - 492. Let p = 1913/4 - z. Is -16 <= p?
True
Let i = 1 - -1.8. Let b = -1.8 + i. Let f = 0.8 - b. Is -2/7 greater than or equal to f?
False
Let y be 81 + -77 - (-26)/(-7). Suppose -3*h = -2 - 7. Let a be (-2)/(-2) + -5 + h. Which is bigger: a or y?
y
Let d = -279 - -280. Is 5/36 not equal to d?
True
Suppose 0 = 3*q - 3*s - 24, 2*q - s = 3*s + 24. Suppose 0 = -3*z - 4*n - 46, 3*z + 6 = q*n - 32. Let y be ((-7)/z)/(2/(-8)). Which is smaller: y or -7?
-7
Let v be 3/(-12) - (-8125)/260. Which is bigger: v or 24?
v
Let p(c) = c + 5. Let z be p(-3). Suppose 0*f + z*f = 8. Suppose 2*a - 22 = f*u + 4, 0 = -5*u - 25. Which is smaller: a or 1?
1
Let c = 130 - 139. Which is greater: -55 or c?
c
Let p be (0 + 1)/(6/18). Let i be (-1)/((-148)/48 + p). Let u(h) = h - 13. Let z be u(i). Which is smaller: z or -9?
-9
Let p be 2/(-4) + 30/52. Is p at most 0?
False
Suppose k = -2*k. Suppose 0 = 4*f + 76 - k. Is -17 smaller than f?
False
Let w be 3/9 - 54/10. Let t = 22/5 + w. Let p be 9 + -9 + (5/(-2) - -1). Which is smaller: t or p?
p
Let t = -815 - -10588/13. Is 1/2 > t?
True
Suppose -2*q + 30*q - 560 = 0. Suppose -2*o + 17 = -o. Are o and q non-equal?
True
Let b be (-50)/(-24) + 6/9. Let o(q) = -3*q**3 - 4*q**2 - 2*q + 2. Let a be o(-1). Is b < a?
True
Let r be (-74)/(-14) + (-4)/14. Suppose 2*t + 14 = -3*s, 28 = s - 5*s - r*t. Let v be 24/(-2)*s/3. Which is smaller: v or 6?
6
Let y be (-36)/50*(33 - 3038/93). Let k = -29/10 + 12/5. Which is greater: k or y?
y
Let o = 12 + -12. Is o less than 1/223?
True
Suppose 17*n + 106 - 38 = 0. Which is greater: n or 9/5?
9/5
Let w(l) = l**2 + 14*l + 5. Let f be w(-14). Suppose 4*s = -5*p - 17, 3*p - 5*p + 46 = -f*s. Do s and -9 have the same value?
False
Let v be ((-2)/4)/((-14990)/(-80)*4). Which is smaller: 1 or v?
v
Suppose 499 = 7*r - 1811. Is 0.1 not equal to r?
True
Suppose -2*l = -q - 580 + 220, -10 = -5*l. Which is greater: q or -355?
-355
Let o(q) = 114*q + 10. Let l be o(1). Which is smaller: l or 122?
122
Let z be (-256)/(-48) - (-1)/(-3). Suppose -2*o + 5 = o + 2*x, 0 = o + z*x - 19. Which is smaller: o or 27?
o
Let r = 30 - 21. Let b = r + -10.2. Is 1 != b?
True
Let z = -0.8 + 1. Let y = 3.96 + -0.16. Let h = y + -4. Do h and z have different values?
True
Suppose j = 3*b + 3 - 1, -3*j - b = -6. Let a be (-2 - 19)*(j - (1 - -3)). Is a at least 41?
True
Let j be 3/8 - (-1)/(-2). Let l = -1/136 - 539/680. Let p = -7/15 - l. Which is smaller: j or p?
j
Let t(q) = q**2 - 2*q - 3. Let i be t(3). Let j = -122/3 - -371/9. Which is smaller: i or j?
i
Let y = 6.4 + -7. Let b = -0.7 - y. Suppose 3 + 7 = -2*c, z - c - 3 = 0. Is b less than or equal to z?
False
Suppose 1 = -2*t - 1. Let i be 15/22*25/((-750)/40). Is i at most as big as t?
False
Let w = 2.35 - 0.36. Let z = 56.99 - 57. Let n = w - z. Which is smaller: n or 3/4?
3/4
Suppose 5*m - 18 = 2. Suppose -4 = g + 2*y, -3*y - m = -y. Let r = -26/5 + 98/15. Is r equal to g?
False
Let j(v