h is greater: -1/13 or z?
z
Suppose -17*l = 23 - 6. Which is smaller: l or -765?
-765
Suppose -4*t = -18*u + 23*u - 182, -2*t + 104 = -4*u. Let m be 100/t + (-3)/36. Is m > 28/23?
True
Suppose -41 = 3*h + 7. Suppose 16*v + 4697 = -1463. Let f = 371 + v. Is f bigger than h?
True
Let n(w) = -w**3 - 23*w**2 + 31*w + 147. Let y be n(-24). Let h be 105/10*216/y. Is -110 bigger than h?
False
Let w(j) = -369*j + 564. Let u be w(3). Is u less than -544?
False
Let i be (-15)/6*3/(15/4). Let o be (475/(-155) - -3)/i. Let z = -2 - -2. Which is smaller: o or z?
z
Suppose x = -4*i - 4*x + 184, 4*i + 3*x - 184 = 0. Suppose 4*g = 123 + 25. Suppose j = -5*z + i, 3*j + g = 3*z + 13. Which is bigger: 62/7 or z?
z
Let t be 185180/(-11575) - (-9 - 7). Is t bigger than -1?
True
Let m = -19440/67991 + 2/9713. Which is bigger: 2244 or m?
2244
Let w be ((-5 - -1) + 5)*(-1 + -44). Let s be 15935/w - 1/(-9). Is -353 > s?
True
Let g be 564/(-408) + 6/4. Is g at most 27?
True
Let w(v) = -3*v + 3. Let d be w(3). Let n(f) = f + 7. Let y be n(d). Let o be 3485/(-221) - (-1 + -15). Is y > o?
True
Let y = -166 - 28. Let m = y + 192. Is 23 smaller than m?
False
Let d = 286/5 - 13733/240. Let u(l) = l**2 - 45*l + 201. Let y be u(5). Which is smaller: d or y?
d
Let r be ((-1040)/240)/((-4)/1584). Are 1716 and r unequal?
False
Suppose 0 = -3*n + 4*u + 5, 9 = -26*n + 27*n - 5*u. Is 17 <= n?
False
Let q = -403808097/5050 - -79962. Which is bigger: q or -1?
q
Suppose -396848 = -307*w + 111*w + 219572. Which is smaller: 3138 or w?
3138
Let d(u) = u - 3. Let m(a) = 77*a + 5. Let w(q) = -4*d(q) + m(q). Let x be w(-1). Is 2 not equal to x?
True
Suppose 2*k = -3*k. Suppose k = -4*s - 29 + 5. Let q = 303 - 310. Which is smaller: s or q?
q
Let c = -100/17 - -6. Let p be 4/122 + 602768/30805 - 19. Is c at most as big as p?
True
Suppose -11*d + 208 = -3*d. Suppose -d*n + 145 = -21*n. Which is bigger: 27 or n?
n
Let c = 0.6294 - -1.3606. Is -8 <= c?
True
Suppose 37*n = 33*n - 8. Let a be 8/(-44) + (-40)/22. Let j be (-9 - n)/(a/(-5))*2. Is 1 greater than j?
True
Let h = 21 + -39. Let g = -1436 - -1416. Let w = h - g. Which is smaller: w or 10/7?
10/7
Suppose -3*s - 2*k = -4*s + 66, 3*k = -5*s + 278. Let r = s - 172/3. Let o(f) = -4*f + 5. Let j be o(4). Which is smaller: r or j?
j
Let k(g) = g**2 + 9*g + 10. Let s be k(-8). Suppose 0 = l + s*l - 18. Suppose 4*c + 2 = l. Which is smaller: c or -2?
-2
Let q be 71*(-1 + 2) - (3 - 4). Let l(g) = g**2 - 24*g + 29. Let p be l(23). Let a be (-4 + 58)*-2*(-4)/p. Is a at least q?
True
Let b(p) be the second derivative of p**4/12 - 7*p**3/6 - 3*p**2/2 - 13*p. Let n be b(4). Let x be 122/392 + (-1 - n/20). Which is greater: 0 or x?
x
Let j = -15499/10 + 1557. Do j and -0.18 have the same value?
False
Let m(w) = w + 4. Let s be m(-8). Let u be s*(18/14)/9. Which is bigger: 1 or u?
1
Suppose 234*f + 57301 = -132707. Which is bigger: f or -808?
-808
Let v = 137 + -204. Let r = 94 + v. Is 26 smaller than r?
True
Let f = 404/5 + -502577/6220. Is 1 less than or equal to f?
False
Suppose 0 = -2*v + g - 597, 5*g = 5*v - 447 + 1952. Is -300 > v?
False
Let y = 62 + -19. Suppose 38*z = y*z - 15. Let w be ((-3)/(-4))/(z + (-141)/(-8)). Is 0 less than w?
True
Suppose -4 = 2*d - 4*d. Let o be 1413/8424 - d/13. Is 1 at least as big as o?
True
Let n = 13535 - 13536. Is -8/733 at most n?
False
Let o be -37*(-2*1)/(20/30). Let f = 4599 + -13466/3. Which is smaller: f or o?
f
Suppose -1381 = -39*c - 6022. Let j be -1 + 4 - c/(-42). Which is smaller: -0.7 or j?
-0.7
Suppose -2*a + 42 = 4*a. Suppose 0 = -4*x + 2*n + 22, x + a = -0*x + 3*n. Suppose -7*c = -x*c + 1. Which is smaller: c or 1/16?
1/16
Let k = -16.14 + 13.54. Which is greater: k or -5/12?
-5/12
Let z = 4 - 3. Let f = -7/984 + 61/17220. Which is smaller: z or f?
f
Let a be (4/(-62))/((576/(-7368))/24). Which is smaller: a or 21?
a
Let b = 401.9 + -401.8. Is b greater than 483?
False
Let h(f) = -f**3 - 19*f**2 - 35*f - 150. Let n be h(-16). Are n and -361 equal?
False
Let m = 21155884/6613915 - 918/287. Is 1 smaller than m?
False
Let a = -1350641267/157976 + 418928/49. Let t = -6/403 + a. Is t > 3?
False
Suppose 2*j - 290 - 118 = 0. Suppose 5*i = 4*s + i + j, -2*i = 0. Let n(t) = -t**2 + 16*t + 284. Let d be n(28). Are d and s unequal?
True
Suppose 15*c + 4716 = 13*c + 7*d, -3*d = -18. Does c = -2333?
False
Let s be 3 + 2 + -12 + (-115276)/(-16928). Which is bigger: s or -0.4?
s
Let t be 519/7 + 6/7. Suppose -195*p + t = -190*p. Which is smaller: -1/4 or p?
-1/4
Let a be (6 + -10 + 3)*2. Let r be 18/(-3) + -3 + 1. Let b be (45/70)/9*r/a. Which is smaller: b or 0.92?
b
Let j be (-6153)/(-90)*4/2261. Let i be ((-257)/(-85) + -3)*8/(-12). Let d = i + j. Are 2/3 and d non-equal?
True
Let z be (1 - 20) + -2 + (-96)/16. Is -199/7 at most as big as z?
True
Let y(o) = o**2 - 9*o - 11. Let z be y(10). Suppose -t - 11*t - 72 = 0. Let m be 53/21783*(t - 0/2). Do m and z have the same value?
False
Let p be (764/10)/((-2)/(-75)*6). Let m = 481 - p. Let h = -1.1 + 1. Which is smaller: h or m?
h
Let r = -1.0101 + 14.0101. Is -9/10 smaller than r?
True
Let l = -523 + 2208. Suppose 2*s - h = -2*h + 5, -s - 5 = -2*h. Let o be 2 + l/(-565) + s. Is 0 <= o?
True
Suppose -4*s + 5*m - 85 = -66, 3*s - 5*m + 13 = 0. Which is bigger: s or 40.4?
40.4
Let h = 647.66 - -267.34. Which is bigger: h or 2/7?
h
Let h = 12 + -175. Let g = h - -162. Is g bigger than -2/1993?
False
Let l = 3.8 - 4.7. Let t = -12 - -12.8. Let r = t + l. Is -6 smaller than r?
True
Suppose -57*t + 8*t - 19344 = 44*t. Is t greater than -215?
True
Let a = 333 + -335. Which is smaller: -1.192 or a?
a
Let r = -54267/26 - -2087. Is -2 not equal to r?
True
Let b = 261145/2 - 128122. Is b > 2451?
False
Suppose 0 = -16*p + 12*p - 8. Let i be (4 - 4)*p/(-6). Let y be i*1/(-4) - (-8)/4. Which is greater: y or 12/13?
y
Suppose -21*y - 18333 = 70*y - 28*y. Does -293 = y?
False
Let z = 14139 + -14140. Let a be 0 + -1 + (-14)/(-20). Which is smaller: z or a?
z
Let c = 2/3295 - -121871/72490. Which is smaller: 3 or c?
c
Suppose -3*v + 26 = 2. Let s = 131062/301 + 18134/43. Let u = -857 + s. Which is smaller: v or u?
u
Let v be -2*50/(-20)*2/(-10). Which is smaller: v or -20/357?
v
Let y = -58.93 + 58.83. Which is smaller: 2/671 or y?
y
Let x = -146 + 145. Let h = -237 + 280. Which is smaller: h or x?
x
Let p(r) = -r**3 - 5*r**2 + 3*r + 9. Let d be p(-7). Let j = 129 - d. Let z(b) = -2*b**3 - 80*b**2 + 239*b - 775. Let o be z(-43). Which is smaller: j or o?
o
Let d be ((-120)/25)/(3*3/(-150)). Let t = 80 - d. Let b be t*((-1)/3)/((-1)/(-3)). Which is bigger: -1/7 or b?
b
Suppose 0 = -10*w + 2834 + 1586. Suppose 2*c - h = -2 - 174, 2*h - w = 5*c. Let a = -91 - c. Which is smaller: a or 2/71?
a
Let c = 156.52 + 2.48. Let h = c - 158. Is -2/103 greater than or equal to h?
False
Let x = 5657/142 + -239/6. Which is smaller: 1 or x?
x
Let n be 0/3 - 3 - ((-4360)/1084 - -1). Is -1 less than n?
True
Let v be (840/50)/((-6)/100). Let y = -264 - v. Is y < 26?
True
Let i = 553103 - 553095. Let d = 0.04 + -3.04. Let g = d + 2.9. Is i smaller than g?
False
Let q = -276 + 22081/80. Let f(i) = -i**2 + 42*i - 152. Let s be f(38). Which is smaller: q or s?
s
Suppose 0 = 5*b + k + 5, 3*b - k = 654 - 657. Let i = 104 + -1455/14. Is b bigger than i?
False
Let m be ((-1)/(-798))/((-5)/(-20)). Let p = m + -2839/9177. Let z = -21 + 22. Which is smaller: z or p?
p
Let j be ((-32)/(-28))/(3/28) + -3. Suppose q = -q + 58. Let n = -21 + q. Which is smaller: n or j?
j
Suppose t - 140*g - 22 = -136*g, 0 = -5*g - 25. Which is greater: 48/49 or t?
t
Let l(a) = 93*a**3 - 6*a**2 - 22*a - 5. Let c be l(-3). Which is greater: c or -2502?
-2502
Let b = -23 - -49. Let k be ((-12)/4 - -1) + 8 + 4. Suppose k*s - 164 = 106. Which is smaller: b or s?
b
Let a = 147 + -144. Suppose -4*q - 2*q = 96. Let w be 6/21*(a - (-52)/q). Which is smaller: 0 or w?
w
Let u = 47 - 82. Suppose -n + 3*v - 1 - 17 = 0, 3*n + v = -104. Let m = u - n. Is -11/6 greater than m?
True
Let t(j) = -408*j + 3262. Let q be t(11). Is -1226 smaller than q?
False
Let b be (9/(-6))/(6/968). Let j(a) = -15*a**3 + 223*a**2 + 23*a - 136. Let g be j(15). Which is bigger: b or g?
g
Suppose -24*p - 2*k = -23*p + 57, -4*p - 2*k = 198. Is p < -53?
False
Suppose 