0 - 122/(-120). Let z = -2/3 + i. Suppose 32*t - 71 = -39. Which is smaller: t or z?
z
Suppose 9 = -3*h + 24. Suppose 0 = h*u - 123 - 17. Suppose -5*g + 4*s + 140 = 0, 3*s - 158 + 18 = -5*g. Is g <= u?
True
Let d = -0.34 + -34.66. Let b = -22 - -52. Let c = b + d. Is c equal to -3?
False
Suppose -25 = -28*w - 30 + 33. Let i = -1/57 - -259/11514. Is i at most w?
True
Let o = 50 - 47. Let l = 2 - o. Let h be 405/423 + (l + 0)/1. Which is smaller: -1 or h?
-1
Let z = -411 + 410. Let p be (-1 + z)*((-125)/(-10))/(-25). Is p smaller than -1/130?
False
Let v(n) = -2206*n**2 - 2*n + 3. Let u be v(1). Is u at most as big as -2204?
True
Suppose -5*u - 63 = -26*u. Let r be u*9/((-27)/(-28)). Are r and 29 equal?
False
Suppose 20 - 70 = -50*q. Let c = 380/29 + -43613/3335. Which is smaller: c or q?
c
Suppose -t = -2*d - 4*t - 13, 4*t + 16 = -4*d. Let j be (19/d*1)/((-47)/(-141)). Are 59 and j nonequal?
True
Let s(t) = 148*t - 3551. Let i be s(24). Which is greater: -7/811 or i?
i
Suppose -6140 = -5*g - 5*h, 6*g + 4*h + 154 = 7516. Do g and 1225 have the same value?
True
Let a be (24 + -13)*(-2)/6. Let n = -9/2 - a. Let m = -24 + 23. Which is greater: n or m?
n
Let z be (-10)/7*(-470)/20. Let h = -13402/399 + z. Is 1/2 at most as big as h?
False
Let v = -144 + 149. Suppose 4*z - 683 = -x - 53, -v*z + 777 = -4*x. Is z at least as big as 157?
True
Let u(d) = d**3 + 7*d**2 + d + 6. Let s be u(-7). Suppose -4*p = 3*y - 90, p + y + 4 = 27. Suppose 8*v - p = -5. Do v and s have the same value?
False
Let h = -157/730 - 27/146. Let m = -0.0153 + -301.9847. Is h less than m?
False
Let l = 909/590 + 7/118. Suppose 6*f + 4 = 4*w + 3*f, 2*f - 20 = -3*w. Which is greater: l or w?
w
Let j be ((-2)/8)/(12/192). Is 2/11 greater than j?
True
Let t = 28 - 17. Suppose -t*h = -6*h. Suppose -3*o + h*o = -30. Is o at least as big as 7?
True
Suppose 3*k = 6*k - 48. Suppose -2*g + 4*z + k = 0, g - 3*z - 14 = 2*z. Which is bigger: g or -22?
g
Let r be (140/(-80))/((-7)/2). Is -625 less than r?
True
Suppose -5*v - 5469 = -2*n, 19*v + 5*n = 15*v - 4428. Which is bigger: v or -1100?
v
Let q be (-3 - -5)*3*(-1 + -1). Let y(a) = -a**3 - 13*a**2 - 14*a - 13. Let j be y(q). Let x = 22 - j. Which is smaller: 5 or x?
5
Let x(y) = -15*y + 46. Let p be x(0). Suppose 4*d - p + 90 = 0. Which is bigger: d or -57/5?
d
Let z = 2277.4 + -2881. Let f = -600 - z. Is f at most -3/2?
False
Let j be ((-2)/(-1778))/((-64)/(-3136)). Is 1 > j?
True
Let l be 3/17*(-20)/((-1260)/(-61089)) - 5. Which is bigger: l or -177?
l
Let x = -11259 + 11260. Let i = 513 + -48. Let v = i + -8827/19. Is v less than x?
True
Let v(g) = -2*g**3 - 4*g**2 + 24*g + 23. Let c be v(3). Which is smaller: 2157 or c?
c
Let f = -85328088/397 + 214932. Is -1 less than f?
True
Suppose c = -2*g - 4546, 5*g + 11362 = -0*c - 4*c. Let r = g + 31853/14. Let v = -12/7 + r. Is v at least -1.6?
True
Suppose -j - 5*f = -2, 2*j - 20 = -5*f + 9. Are j and 66 non-equal?
True
Let o = -10652 + 10704. Is -7 < o?
True
Let n(y) = -y - 1. Let p(w) = 8*w - 76. Let r(k) = 4*n(k) - p(k). Let v be r(6). Which is bigger: 3/91 or v?
3/91
Let x = 639 - 324. Suppose -3*c + x = -d, c - d + 55 = 162. Suppose -100*l + c*l + 4 = 0. Is l less than 3/25?
True
Let b = -8138 + 8138.25. Is -117 >= b?
False
Let p = 6303836021/15679 + -402056. Which is bigger: p or 1?
1
Let o be (42/2 - 2) + (-4 - -1). Let j(i) = i**2 - 8*i - 53. Let s be j(o). Are 76 and s non-equal?
True
Let y be -6 + 1 + 12392/(-1056). Let c = y - -184/11. Is 1 <= c?
False
Let s = 7297.28 + -6831. Let k = s + -466. Is -1/6 greater than or equal to k?
False
Let o = 3125 - 3090. Which is smaller: 2/9 or o?
2/9
Let a = -115 - -115.7. Let r = 34 - 34.24. Let k = -0.18 - r. Is a at least as big as k?
True
Let h = -14630 - -14629. Which is smaller: h or 2/40113?
h
Suppose 4 + 2 = 2*g. Let z = -18 + g. Suppose -4*w + 5*x = 9*x + 48, 0 = -2*w + 5*x - 31. Is z not equal to w?
True
Let y = -2009 - -2008. Is y at least as big as -26/457?
False
Let r be 4/(-28) + (-3069)/(-21). Let f = r - 145. Suppose 5*o = -u + 75, -7 = -2*o + 4*u + f. Which is bigger: 10 or o?
o
Let j = -6966 + 6668. Does j = -2?
False
Suppose -158*y - o = -154*y - 3, -3*y - 5*o = -15. Which is smaller: 32/331 or y?
y
Let j = 1344 - 1320. Is -2 at least as big as j?
False
Let a = -7125.99 + 7126. Which is bigger: a or -81?
a
Let f = 4/68687 + -378847/5325989980. Let m = -5404541/232620 - f. Let d = m + 125/6. Which is smaller: -1 or d?
d
Let a = -3275 + 13097/4. Is 181 > a?
True
Suppose 9*k + 8*k + 100 = 12*k. Which is smaller: k or 18?
k
Suppose 325*y = 328*y + 2481. Which is smaller: y or -3311/4?
-3311/4
Let f = 10 + -22. Let b = -40 - -45. Suppose -4*g + 13 = -b*g. Which is smaller: f or g?
g
Let j be ((-10)/(-30))/(1/(-36)). Let f be (-8)/(-3) - (-8)/j. Is 73 > f?
True
Let t = 0.23 + -0.11. Let g = 314 - 318. Which is smaller: t or g?
g
Suppose 0 = -333*s + 328*s + 15. Is 1 bigger than s?
False
Suppose 2*b = s + 5, 0 = 2*b + 21*s - 20*s + 9. Which is smaller: b or 19/407?
b
Let k(f) = 8*f + 32. Let v(g) = -10*g - 44. Let u be v(-4). Let j be k(u). Let w be 24*(-1)/7 + 2. Which is bigger: w or j?
j
Let y = 1378.7 - 1282. Is -1 bigger than y?
False
Let u(h) = -h**2 + 43*h + 12648. Let l be u(136). Are -1737 and l equal?
False
Let l = -1246 + 1983. Let a = 736.979 - l. Is a at most -1?
False
Let d be -2*(-5)/(-28)*(-72 + -86). Is 56 smaller than d?
True
Let m be (-43)/(-4) + 5/20. Suppose -3*d + x + m = 0, -x = -0*d - 2*d + 9. Let h be (d/1)/(-16) + (-20)/96. Which is smaller: h or 1/17?
h
Let m be (16 + 928/(-64))*(-1)/(-17). Let n = 1 - 0.7. Which is greater: n or m?
n
Let t(s) = -s**3 - 4*s**2 - s + 7. Let r be t(-3). Let m be 392/17 - 14 - 9. Which is smaller: r or m?
m
Let f = 22.1 - 20.26. Let m = f + -54.84. Is m != -1?
True
Let g = -1485 - 3161. Which is smaller: -4647 or g?
-4647
Suppose -4*o + 21 = -3*r - 2, -5*o - 5 = 3*r. Let n be o/(-30) + 2/(-6). Which is bigger: n or -123?
n
Suppose t = -3*q + 53, 0 = -153*t + 154*t + 5*q - 41. Which is smaller: 85 or t?
t
Let l = -31.071 - -32.071. Let v = 58.998 - -0.002. Let z = v + -50.9. Which is bigger: l or z?
z
Let f(r) = 2*r**2 - 48*r + 62. Let l be f(23). Suppose -l*d + 1268 = -3596. Is d less than 303?
False
Let g be (-1)/(-3)*(-3165)/825. Let u = g - 3/55. Which is greater: 0 or u?
0
Let n be ((-540)/2)/(15/(-195)*-13). Let j be 40/n*2/(-20)*3. Which is greater: j or -1?
j
Let n = 8861/3 - 2954. Let c = 15 + -8. Is c smaller than n?
False
Suppose -34 + 14 = -5*o. Suppose o*y = -3*l - 82, -2*y = -l + 2*l + 40. Which is smaller: y or -8?
y
Let h be 1 + 0 - (-56)/(-55). Suppose 4*n = -4*w + 36, 3*w - 2*n - n + 3 = 0. Suppose 2*d - 3*c - 3 = 0, 0*d + w*d = -2*c - 2. Is h smaller than d?
True
Let g = 36 - 40. Let f = g - -10. Suppose 3*o + 3 = f*o. Which is smaller: o or -20?
-20
Let j = 14617 - 55599/4. Which is smaller: j or 718?
j
Let h be (1 + -1 + -1)*65/(24570/(-88032)). Are h and 232 non-equal?
True
Suppose 99*o - 100*o = 18 - 5. Which is bigger: o or 146/9?
146/9
Let n = 7988 - 1912. Which is greater: n or 6077?
6077
Suppose 34 = z - 5*s, -z - 4*s = 4*z - 54. Suppose m - 15 = -z. Let o be -2*(226/(-4) + m*-1). Is o greater than or equal to 115?
True
Let t be (12/(-15))/(2/(-40)). Suppose t*o - 189 = 7*o. Let j be (-4 + 1)*(-35)/o. Which is smaller: j or -1?
-1
Let u = -12.05 - -12. Let z = -794.6 - -794. Is z at least as big as u?
False
Let h be (0 - 1916/16)/(55/44). Let q = -311 + 216. Which is bigger: q or h?
q
Let w = 61 + -66. Let k be (-35)/w*12/21 - -20. Suppose k*m - 28*m = -220. Is 56 at least as big as m?
True
Let u(l) = -l**2 + 5*l + 5. Let x be ((-45)/27)/((-2)/6). Let p be u(x). Suppose -13*a - 18 = -7*a. Is a greater than p?
False
Suppose -623 = -5*p - t, 0*p - 3*t - 363 = -3*p. Suppose -685 = -87*o + 11. Suppose -p = -o*s - 4. Is s < 14?
False
Suppose 2*r + 252 = -4*r. Suppose 124*v = 121*v + 2064. Suppose 12*u + v = -4*u. Is u smaller than r?
True
Let h = 4534 - 4535. Which is bigger: -21.65 or h?
h
Let k = -276035905/34 + 8119388. Let r = -685 + k. Which is greater: 1 or r?
1
Let h = -3264/9953 + -2939623424/288637. Let o = 10186 + h. Does o = 1?
False
Let w(n) = n**3 - 12*n**2 - 32*n - 4. Let f be w(14). Let s = f + 57. Let i be ((-36)/2)/s*(-4)/(-20). Whi