. Is h bigger than 137/3?
False
Let n(r) = r**3 - 43*r**2 - 139*r + 58. Let c be n(46). Which is smaller: c or 37/3?
c
Let w = -0.6 - 0.3. Let q = 0.5 - w. Let c = 2.4 - q. Is -1/2 greater than or equal to c?
False
Let q(a) = -12*a**2 - 37*a + 8. Let u be q(-4). Is -26 smaller than u?
False
Suppose -320*q + 329*q - 162 = 0. Does q = 16?
False
Let w(o) = o**2 + 14*o + 9. Let c be w(-10). Suppose -5*t - 96 = -2*t. Which is greater: c or t?
c
Let z = 1230 - 1231. Which is bigger: 0 or z?
0
Let h(g) = 4*g - 24. Let i be h(13). Suppose -4*m - 44 = -3*w, -4*m = -w + i + 16. Is m smaller than -10?
True
Let g = -0.195 - -0.015. Let v = 0.9 + 0.1. Which is bigger: v or g?
v
Suppose 5*w + 2*n + 6 = 4*n, 4*w + 12 = -2*n. Let q = w - -2. Let o = -9/34 - -1/68. Is q < o?
False
Let s = -201209/43 - -4679. Which is bigger: s or 0?
0
Let v(x) = -9*x + 30. Let a be v(19). Which is bigger: a or -140?
-140
Let j(b) = -b**3 + 7*b**2 - 9*b + 15. Let s be j(6). Let d be s/6*28/(-1). Let f(w) = -w + 18. Let y be f(d). Which is greater: y or 14/5?
y
Let l(m) = m**2 - 7*m - 8. Let t be l(8). Suppose -2*s + 6*s = t. Let d be 0/(-4) - (-2 + 100/48). Is s at least as big as d?
True
Suppose 10 = 5*o + 3*m, -10*o - 4*m - 8 = -14*o. Which is greater: -32 or o?
o
Let l be 186/16*4/21. Let m = 4/71 - 667/497. Let c = l - m. Is c equal to 5?
False
Let q = -69.2 + 54. Let z = 15.37 + -0.37. Let d = z + q. Which is smaller: d or -2/3?
-2/3
Let b be 50/24 - 12/(-48). Let r = 31 + -24. Let z = r - 6.9. Which is bigger: b or z?
b
Let p be (((-8)/7)/4)/(-1). Is p at least 0.29?
False
Let v = 4 + -2. Suppose 0 = -g + v*g - 4. Let n be 6/g*(-8)/126. Which is smaller: n or -1?
-1
Suppose -5*p - 15 = -4*f, 0*f - 3 = 2*f + p. Suppose s + s = f. Suppose s*g = -g. Is g at most as big as -3/4?
False
Let i = -859.9 + 860. Suppose 0 = 3*b + 2*b + 13070. Let v = b + 264012/101. Which is smaller: i or v?
v
Suppose 2*l + 42 = -r, 18 = -l + r - 0. Let s(c) = c**3 - 7*c**2 - 13*c + 37. Let w be s(8). Let j be 5/w*8/l. Which is smaller: -1 or j?
-1
Let v be 4/7*189/54. Let p be 12/(-42) + 23/7. Which is smaller: p or v?
v
Let q = -7.7 + 8. Let f = -241/7 - -2637/77. Which is greater: q or f?
q
Let t be (-1)/2 + (-64)/(-880)*65. Does t = 4?
False
Suppose -l = 4*k + 138, 0*k + 5*k = -15. Which is greater: l or -127?
l
Let h be -2*((-304)/(-12))/((-8)/12). Which is greater: h or 78?
78
Let m = -0.123 - -0.023. Are m and 0.0557 equal?
False
Suppose -29*n - 48 = 19*n. Which is bigger: 4/131 or n?
4/131
Let i be (-3712)/(-96) + 2/(-3). Which is smaller: 455/12 or i?
455/12
Let g = 0.081 - -71.919. Let u = g + -72.39. Do 1 and u have the same value?
False
Let m = -171 + 357/2. Is 9 <= m?
False
Let o = -0.07 + 0.07. Let z = o - -0.07. Let j be (-4)/(-3) - (2 - 5/3). Which is greater: z or j?
j
Let x be (-2412)/(-1222) - 1 - 1. Let n = x + -174666/3055. Let h = n - -57. Is h greater than 0?
False
Suppose -4*s + 5*x = -7, 3*s + 0*s = -3*x + 12. Suppose -s*g + 444 = 3*n, n = -9*g + 7*g + 148. Is n at least as big as 148?
True
Let i(z) = z**2 + 4*z - 8. Let d be i(-6). Let h = 5 - 2. Suppose 0 = a + 5*l + 16, 4*a = l - h*l + 8. Is a equal to d?
True
Let f(z) = 9*z**2 - 5*z. Let n(p) = 8*p**2 - 4*p. Let g(x) = -3*f(x) + 4*n(x). Let r be g(1). Let q be 7/56 - (805/40)/(-7). Which is smaller: r or q?
q
Let m(o) = -o + 2. Let g be m(-2). Let k(y) = y**2 + 5*y - 2. Let h be k(-7). Let z be g/h + 10/6. Is 2 equal to z?
True
Let a = 1317/2 + -14709/22. Are a and -11 unequal?
True
Let c(h) = h - 1. Let q be c(-4). Suppose 3*o + 10 = 5*a + 2, -2*o = -2*a + 8. Are o and q equal?
False
Suppose 10 = 7*c - 2*c. Suppose 3*w = -3, -c*b = -6*b - 2*w - 2. Suppose d + d = b. Which is bigger: d or 7/6?
7/6
Let p(k) = 18*k**3 - k**2 - 2*k - 1. Suppose 0 = -z - 1. Let c be p(z). Let t(r) = 4*r + 1. Let j be t(-5). Do c and j have different values?
True
Let a = 81.52 + -18.42. Which is greater: -1 or a?
a
Suppose 0 = -y - y. Suppose 0*f = f + 3*j - 8, -2*j - 4 = 0. Let a be f/(-35) + (-2)/(-10). Which is smaller: a or y?
a
Let o(y) = y**3 + 5*y**2 - 6*y + 3. Let g be o(-6). Which is smaller: -2 or g?
-2
Suppose -4*c + 4 = -2*j, -2*j + 10 = 2. Let u(h) = h**2 - 2*h. Let w be u(c). Let x be w/(-6) - 24/(-16). Is x != 4/15?
True
Suppose 0 = -3*l - 2*b + 8, -3*b = -5*l - 2*b + 9. Suppose -2*c = l - 6. Which is bigger: 3/5 or c?
c
Let d = 778 + -778. Is -0.057 not equal to d?
True
Let x = 764242/207 + -3692. Which is smaller: x or 1?
x
Let k(l) = l**3 - l**2 - l - 1. Let y be k(0). Suppose 3*x = 4*m + 4*x - 212, 0 = x. Let a be m/(-215) - (-2)/10. Which is smaller: a or y?
y
Let m be (-66)/(-10) + (-12)/20. Suppose -m*n + 396 = 5*n. Is n less than 36?
False
Let z(v) = v + 26. Let d be z(-18). Let l be 6/d*72/27. Is -7 at most as big as l?
True
Let a be 0 + -3 - 1 - (-136)/32. Do a and 1/5 have different values?
True
Let t be ((-5)/(-10))/(2 - -1). Let x = 0 - -2. Let v be (1/10)/(x/(-5)). Is v bigger than t?
False
Let d(i) = -i**3 + 6*i**2 + 8*i - 5. Let v be d(7). Suppose -10*m + 12*m = -v. Are -2/7 and m nonequal?
True
Suppose 264*j - 896 = 260*j. Which is smaller: 225 or j?
j
Suppose 2*i + i - 6 = 0. Suppose -2*b = i*b. Does b = -1/9?
False
Let j be 10/(-30)*(90/74)/(-1). Let v = -389/777 + j. Which is smaller: 1 or v?
v
Suppose -2*s - 2*s = -4. Let g = s + 1. Suppose -5*d + 23 = -g*o, 2*d = o + 4 + 5. Is -5 at least as big as o?
False
Let x(n) = n + 7. Let v be x(9). Let b = v + 5. Let k = -24 + b. Which is smaller: k or -5/2?
k
Let o = -13 + 14.7. Let z = -4.1 + o. Let f = -2.29 - z. Which is greater: -1 or f?
f
Let x = 193/38383 + 3/293. Let c = 252/655 + x. Which is smaller: c or -0.2?
-0.2
Let t = -13 - -25. Let c = -0.123 - -2.043. Let z = -2.02 + c. Is z less than t?
True
Suppose -11*s = -130 - 1124. Which is bigger: s or 113?
s
Suppose -2769*k + 2758*k = 0. Is k bigger than -2/4765?
True
Suppose 13*s + 13 = 14*s. Let f(n) = n**3 - 13*n**2 - n + 17. Let p be f(s). Is 7 greater than p?
True
Let h = -3448/3 - -1150. Let g = -2/11 - -60/209. Which is smaller: g or h?
g
Let v = 1052160/23 + -45754. Is -9 at least as big as v?
False
Suppose 5820*r - 5818*r - 118 = 0. Is 63 bigger than r?
True
Let n = -1707 - -1541. Is n at most as big as -166?
True
Suppose 47 = 4*d - 5*m - 5, 0 = -2*m - 8. Let h be 2/d - 95/(-20). Suppose -x = -h*x + 4. Is x bigger than -1?
True
Let p be 2525/(-18) - 8/36. Let z = p + 148. Is z <= 7?
False
Let g be (4/(-10))/((-4)/20). Let q(h) = h**3 - 2*h**2 - 5*h - 3. Let d be q(4). Let m = d - g. Which is greater: 5 or m?
m
Suppose 5*k + 9 = 29. Suppose k*b - 24 = -v, -5*v - 5 = 2*b + 1. Is 8 equal to b?
False
Let j = -7.9 - -10.8. Which is greater: j or 10/11?
j
Let r(b) = 3*b + 136. Let j be r(22). Does 203 = j?
False
Let u be 1615/68 - (-1)/4. Suppose 2*q - 5 + u = -5*k, k - 3 = 3*q. Let b be (3/4)/(5/(-8)). Is q at most b?
True
Let c be 2*(-1 + (-10)/(-28)). Let h = -15 + 14. Let k be -3 + 0 + 1 - h. Which is smaller: c or k?
c
Suppose -4*a = 2*a - 36. Suppose -a*k = -k. Which is smaller: -2/33 or k?
-2/33
Let d = -1 - 0. Suppose -12 - 6 = -2*n + 4*r, -5*n + r = -9. Let o be -2 - (n*-2 - (-1)/1). Is o less than or equal to d?
True
Let l(j) = -j**3 - 14*j**2 + 15*j + 10. Let v = -87 + 72. Let i be l(v). Is i != 4?
True
Let p be (-132)/(-30) + (-4)/10. Suppose -p*y - 16 - 16 = 0. Let h = -10 - y. Is -3 smaller than h?
True
Let x(i) = i - 19. Let r be x(21). Let h be (-4)/(r + 5/(-2)). Which is smaller: 26/3 or h?
h
Let i = 0.2 - 0.2. Let n = -1.8 - i. Let a = 1652 - 6607/4. Is a > n?
True
Suppose 40 - 28 = -4*f. Is -2/19 at most as big as f?
False
Suppose 2*x + 36 = -4*i - x, 3*x = -i. Let b be -8*((3 - 2) + 15/(-10)). Suppose -b*w + w = 36. Is w smaller than i?
False
Let o(g) = 3*g - 49. Let p be o(17). Suppose -2*y = p*z + 8, -25 = 3*z + 2*z. Do y and -1/78 have the same value?
False
Suppose 71 + 121 = -3*l. Let h = l + 72. Let a be ((-24)/(-10))/((-3)/(-10)). Is h at most as big as a?
True
Let z be (-10)/140*-14 - (-10)/(-6). Let d = -4 - -8. Let a = -4.5 + d. Which is smaller: z or a?
z
Let z = -1/11 - 17/55. Suppose 3*d - 2*d - 5*u = -17, 4*u = 4. Let c be 7/(-12) - 3/d. Which is smaller: c or z?
z
Let g(k) = k**3 - 9*k**2 + 19*k - 34. Let o be g(7). Which is greater: o or -5/47?
o
Let w = 10 - 8. S