 0 = -4*z + 3*z + 4, -3*w - 43 = 5*z. Let n = -115 - -228. Suppose n = -4*t - 5*x, 14 = -5*x - 11. Which is greater: t or w?
w
Suppose 2*k - k = -5*x + 104, -x + 5*k = -26. Let z be ((-26)/78)/((-1)/x). Let h = 25 - 19. Which is smaller: h or z?
h
Let g = -35534 + 32889. Is -2641 less than or equal to g?
False
Suppose 12 = 3*r, -3*m + 47 = -8*r + 4*r. Let y = -170 - -158. Let p be (-132)/9*(-1)/((-8)/y). Which is greater: m or p?
p
Let s = 2352 - 2355. Which is smaller: s or -24/11?
s
Suppose -146 = -9*l - 164. Let i be 9*52/(-60) + l/(-5). Let h(v) = 2*v - 2. Let j be h(-3). Which is greater: i or j?
i
Let f = -8011.17 + 8011. Is -0.0073 bigger than f?
True
Let f = 795325/59551 - 414/31. Which is bigger: 0 or f?
f
Let h(s) = -1094*s - 2622. Let p be h(-6). Which is bigger: 3944 or p?
3944
Let m = 5519 - 2141. Let r be (18/9 - 6760/m) + 0. Is r >= -1?
True
Let d = -14 - -14.2. Let m = -20 + 22. Suppose 2*f - 28 = m. Which is smaller: d or f?
d
Suppose -5*m + 139 = 2*g, -2*g = 2*m - m - 31. Let o be (-3)/m*3/198. Let b = o + -1333/2079. Is b < -2?
False
Suppose -107*k - 30 = 398. Let g = -17351/126 + 1195/9. Which is greater: k or g?
k
Suppose 0*t - 3*s = -2*t - 165, -5*s = -3*t - 247. Suppose -c = -3*w + 90, -56*w + 55*w + 23 = 2*c. Let a = t - w. Which is smaller: a or -112?
a
Let m = 10427 + -10423.2. Is 2/27 != m?
True
Let h = 221/1314 - 21941/292. Let s = h - -75. Which is greater: -1 or s?
s
Let x = 13 - 30. Let v = -9.93 - -1.73. Let q = v - -7.2. Is q greater than x?
True
Suppose 196*p - 6625 - 10819 = 0. Is 88 at least as big as p?
False
Let n(s) = -5*s + 2. Let d be n(3). Suppose 4*c + x = -45, -22*c + 31*c = -3*x - 102. Which is smaller: c or d?
d
Suppose 17*v = 14*v - 4*s + 35, 3*v + 5*s - 37 = 0. Suppose y + 7 = 22. Which is smaller: y or v?
v
Let g = -15188.1606 - -15188. Is g < -2?
False
Suppose 2*l = -52 + 46, -2*l - 12 = -3*c. Is c bigger than 526?
False
Suppose -27 = 3*s + 3*z, -5*z = -s + 3*s + 24. Let c be 3*s/84 - 6/(-8). Which is smaller: -15.3 or c?
-15.3
Let g(y) = 92*y**3 - 14*y**2 + 31*y - 1. Let r be g(2). Is 752 not equal to r?
True
Let x = 9 + -9. Suppose 48*b = -121 + 745. Suppose -b*d - 3 - 23 = x. Are 0.13 and d nonequal?
True
Let n = 2.05 - 0.15. Let t = -1.9 - n. Let c = -3.8 - t. Which is smaller: 5/8 or c?
c
Let l be (4 - -2) + -4 - 1*(37 - -3). Which is greater: l or 5?
5
Let c = -288189/14 - -20561. Is -25 != c?
True
Let n = -252.7 - -251.7. Which is bigger: 1773 or n?
1773
Let r = 616 + -433. Which is smaller: 185 or r?
r
Let d = -111653 - -5247919/47. Which is smaller: 5 or d?
d
Let b = -76 - -30. Suppose 0 = o - u - 5, 7*o - 4*u = 2*o + 23. Suppose p = -0*p - m - 45, o*m = 3*p + 147. Which is greater: b or p?
b
Let a be -6*1 + (-312)/(-78). Let t(u) = u - 1. Let x be t(0). Let j be 50/4*x*4/a. Which is bigger: j or 24?
j
Let h(a) = -2*a**2 + 7*a - 17. Let p be h(2). Let c = 10 + -6. Let i = -12 + c. Which is smaller: p or i?
p
Suppose 3*l = v + 725 + 35, 3*v + 768 = 3*l. Which is smaller: l or 288?
l
Suppose -10*s + 6*s + 19 = o, -2*o = -2*s + 12. Suppose 24 = 8*v - s*v. Which is bigger: 20/3 or v?
v
Let b = 173 + -130. Let h be (-4)/(-10) + b/5. Suppose -5*c = r + 26, 5*c + h*r - 6*r + 18 = 0. Which is smaller: -7 or c?
-7
Let h = 19625 + -14071123/717. Which is greater: h or 1?
1
Let j = 3.586 - 3.26. Let o = j + -0.226. Let p be (-2 - (2 - 7))*5. Which is greater: o or p?
p
Suppose 40 = 59*u + 158. Which is smaller: -25/28 or u?
u
Suppose -5 = -2*i - 3*q - 17, 0 = -i + q - 1. Let s be (-6)/(-60)*-84*10/i. Is s != 29?
True
Let o be (1928/(-24))/(3/(-9)). Let t = 270 - o. Which is greater: t or 31?
31
Suppose -9 = -n + 3*i, 4*n - 14 = 2*n + 4*i. Let h(r) = 3*r**3 - 2*r**2 - 3*r + 2. Suppose t = 3 - 1. Let y be h(t). Which is smaller: n or y?
n
Let y(x) = x**3 + 13*x**2 + 10. Let f be y(-13). Suppose 4*p - 2*o + f = 0, 5*o = 3*p + 11 - 0. Let n = 0 - -1. Which is greater: n or p?
n
Suppose -b - 14*a = -18*a - 3, 0 = 21*a + 21. Let c be 82/(-320) + 15/25. Which is bigger: c or b?
c
Let s = 462713/17 + -27220. Which is bigger: -14 or s?
s
Let w = -27900 + 27742. Which is smaller: -941/6 or w?
w
Suppose 3*k - 3*y - 876 = 0, 2*k = -y + 307 + 292. Let v = k + -374. Is -77 at least v?
True
Let a be (-7)/168*-20*33/(-110). Let c = 2.13 + -0.69. Is c at least a?
True
Let h be 2/4*(-32 - -26)*(-6)/(-9). Let z be 2 - (4 + -1*2). Let n(j) = -j**3 + j**2 - j + 2. Let d be n(z). Does d = h?
False
Let w = -3013 + 3013. Is -9/193 != w?
True
Let b(a) = -a**3 + 14*a**2 - 8*a - 24. Let h be 76/190 - (-126)/10. Let d be b(h). Suppose 5*j - 215 = -2*o, 3*j - 4*o = -j + 172. Is j smaller than d?
False
Suppose 0 = -15*i + 11*i - 2*d + 20430, -3*i + 15340 = 5*d. Is 2/11 >= i?
False
Suppose -20*u + 11*u - 660 = -42*u. Which is smaller: u or 146?
u
Suppose -21*i + 4*m - 29 = -20*i, 2*m - 29 = i. Are i and -16 unequal?
True
Let h(o) = -2*o**3 - 13*o**2 - 5*o + 5. Let s = 112 - 104. Suppose 4*f + s = -16. Let m be h(f). Which is smaller: -2/19 or m?
m
Suppose -2*s + 63 = s. Suppose 0 = 3*p - s - 255. Suppose 3*x - 8 = f, 5*f + p = -5*x + 12. Do -14 and f have different values?
False
Suppose 38*a - 58 = 52*a - 16. Which is greater: a or 2/185?
2/185
Let x be (-7)/(-28) - (-490)/(-8). Let t = -57 - x. Let p be 10/(-30) + t/(-6) + 0. Is p > -1?
False
Let h be (-45)/((-675)/(-210)) - 1281. Are h and -10 equal?
False
Let r = -14.05 + 13.75. Which is greater: r or -26.93?
r
Suppose 2*l - 1962*f = -1958*f - 14, -5*l - f = -9. Suppose 3*k + 0 = 18. Let t be (k/(-22))/((-3)/(-2)). Which is smaller: l or t?
t
Let y be ((-426)/8)/((-1635)/218). Which is greater: 6 or y?
y
Suppose -129*a - 125*a - 42 = -248*a. Let p(w) = -w**2 - w - 8. Let h be p(0). Are a and h nonequal?
True
Let d = 3878 + -3541.6. Let g = -337 + d. Which is smaller: -7/6 or g?
-7/6
Suppose -6 = -l + f + 3*f, 0 = 3*l + 3*f + 27. Let g be l - (-1)/(1/13). Is g at least 0?
True
Let j = -11153 + 11093. Which is smaller: j or -106?
-106
Let q be (-2)/(-20) - (-79)/(-790). Is -115/111 greater than or equal to q?
False
Suppose 0 = -4*x - d - 4201, 5*x - d = -3*d - 5252. Let l be 0/(-2) - x/18. Let w = 59 - l. Are w and -4 unequal?
True
Let a(o) = 5*o + 17. Let g be a(10). Let u = g - 65. Suppose i = u*i - 5*i. Is 1/11 greater than i?
True
Suppose 3*b - 4 = 6*b + 2*i, 3*i + 6 = -3*b. Suppose x - 2*x - 5 = b. Let g be (17/(-5))/((-16)/(-20)). Which is smaller: x or g?
x
Suppose -2*x - 43 = -7. Let v be x/(-12)*2 - 157475/71. Let z = v + 2215. Is -1 < z?
True
Suppose 4*u - 606 + 419 = n, 2*n - 154 = -3*u. Suppose -2*m + 38 + 62 = 0. Which is bigger: m or u?
m
Suppose -2*p + 7*p - 55 = 0. Suppose 5*f = -5*s - 70, -s + 2*s = 4*f + 1. Let d be (-1 - -1 - s) + -33 + 32. Which is bigger: p or d?
p
Let u = 216658.8 - 216659. Let w be 1 - 1 - 15 - -1. Let r be -1 + 0 + w/(-18). Which is bigger: u or r?
u
Let j be (1 - (0 - -6))*(-456)/190. Let b(m) = -m**3 + 13*m**2 - 11*m - 11. Let r be b(j). Suppose 7 = -6*h + r. Is -2/37 at most as big as h?
False
Suppose 0 = -3*v + 3, -127*v + 118 = -5*n - 124*v. Is n < -27?
False
Let r = -1010.65 + 990. Let d = r - -21. Let h be (12/46)/3 + 1102/(-2622). Which is smaller: d or h?
h
Suppose 10*s - 495 = 115. Suppose 4*y + 202 = 3*b, b + 4*y + y - s = 0. Let a = 65 - b. Is a at most -1/24?
True
Let r(a) = 13*a**2 - 3*a - 17. Let m be r(-3). Suppose -m + 3 = 53*y. Suppose 0*p + 4*p + 24 = 0. Is p less than or equal to y?
True
Let q = 6067 + -539893/89. Is q less than or equal to 0?
False
Let a(i) = -3*i - 1. Let o(k) = -2*k - 2. Let g(w) = -3*a(w) + 4*o(w). Let l = 267 + -263. Let r be g(l). Which is smaller: r or 1?
r
Let p be (15/195)/((-7)/91). Is 2/6419 at least p?
True
Let c be (-23)/((-437)/95) + -1 + -5. Do 230 and c have the same value?
False
Let o = -169 - -847/5. Suppose -31 + 4 = -3*c. Let h = c - 8. Which is smaller: o or h?
o
Let k = -650 + 2867. Is k not equal to 2215?
True
Let g = 496 + -133. Suppose 6*w = 369 - g. Is -7 < w?
True
Suppose -5*j + 3*r = -12 - 5, -23 = -3*j + 5*r. Let a = -10151/147 - 394/49. Let z = 77 + a. Is z at least j?
False
Let t = 727 - 727.6. Let c be (-272)/(-360) - (0 - 4/5). Which is smaller: t or c?
t
Let g be (-640)/30 - -2 - (-2)/(-3). Is -18 greater than g?
True
Let s be ((6/20)/(21/35))/(4/(-584)). Which