. Suppose 5*o - 11 = 2*x + i*x, 3*o - 14 = -5*x. Suppose -r = -j - 3*r - x, -3*j - r = 18. Which is greater: -10 or j?
j
Suppose -96*n - 38*n - 19162 = 0. Let r be (-1)/(-6) - 4325/30. Which is smaller: r or n?
r
Let o(i) = i**3 + 17*i**2 + 18*i + 22. Let l be o(-16). Let u be l/(-2) + ((-122864)/6464 - -14). Which is smaller: 1 or u?
u
Let t(l) = -38*l - 358. Let f be t(8). Is -663 >= f?
False
Let u be (40/(-80) - (-526)/12)*6/(-5). Which is smaller: u or -49?
u
Let s = 5 + -26. Let p = 398074 + -398094. Do p and s have the same value?
False
Let x = -4/71231 - 257428798/641079. Do -401 and x have different values?
True
Let r(w) = -583*w - 14. Let i be r(-1). Let b = 2822/5 - i. Which is bigger: b or -6?
b
Let t = -2.0938 - -0.0938. Suppose 37*i + 72 = 41*i. Which is bigger: i or t?
i
Let q(a) = -10*a**2 - 7*a + 102. Let b be q(-9). Which is smaller: b or -643?
b
Suppose 33*j = 32*j - 44. Suppose 1118 = -8*z - 18*z. Is j bigger than z?
False
Suppose 8*p + 6 = 38. Suppose p*y = 5*y. Suppose 0 = -2*z - y*z. Which is smaller: z or -10/9?
-10/9
Let f = -178 - -142. Let c be (-18)/f + (-82)/163. Which is smaller: c or 1?
c
Let q be -2013 - (0 + 3 + -1 + 1). Which is greater: q or -2017?
q
Let u(k) = k**3 + 3*k**2 - 9*k + 16. Let l be u(-5). Let g be ((-81)/12)/(l/440). Is g less than -269?
True
Let x(u) = -u**3 + 13*u**2 - 13*u + 8. Let d = -11 + 41. Suppose -3*p = -4*j - 40, -4*p - 2*j + d = -16. Let c be x(p). Is c greater than -14/3?
True
Let q = 34/11 + -104/33. Suppose -10*h = -6*h + 20. Let m(p) = -4*p - 19. Let l be m(h). Is l at least q?
True
Let c = 191 - 363. Let q = 158 + c. Is -16 smaller than q?
True
Let q = 0.10719 - 0.05719. Are 14/11 and q nonequal?
True
Suppose 5*y + 3*v + 9161 = -21440, 10*v = 5*y + 30705. Does -6125 = y?
True
Let h = 109.69 + -108.6. Suppose 5*f = 2*u - 4*u + 15, u = -3*f + 9. Which is greater: h or u?
h
Let n(b) = 2 + 7*b**2 + 12*b**2 + b - 20*b**2. Let y be n(-2). Let d = -3763 + 30065/8. Which is bigger: y or d?
y
Let m(s) = -14*s - 28. Let o be m(-2). Suppose o = q - z + 4, 8*q + 3*z - 12 = 3*q. Is q less than or equal to -5/124?
False
Let v be 20/13*39/338. Which is smaller: v or 0?
0
Let k = -885 - -885.367. Let w = -0.263 + k. Which is smaller: w or 4?
w
Suppose -965 = 5*p - 6*s, 3*s - 365 = 3*p + 211. Which is smaller: p or -180?
p
Let m = -34315 + 25168. Which is smaller: -9146 or m?
m
Let g be -53*31/5485 - (-63)/210. Is -1 less than g?
True
Let q be (3 + -3 - 4)*6. Let y = 7961 + -7985. Is q at least as big as y?
True
Let t = 11 + -15. Let p = -0.0111 + 1007.0111. Let z = p + -1006.4. Is t at least as big as z?
False
Let z(p) be the first derivative of -p**3/3 + 21*p**2/2 - 30*p - 22. Let o be z(23). Is -74 less than or equal to o?
False
Suppose 2*w + 4*u = -22, -3*w - 3*u + 7 - 46 = 0. Suppose -2*c = 2*c - 5*a + 4155, 2077 = -2*c + 3*a. Let o = c - -1024. Which is smaller: w or o?
o
Let f = -168.69 + 168.19. Are 1/30 and f nonequal?
True
Let a be (-5)/1 + ((-3)/(-18) - 13429/78). Is a greater than -190?
True
Let g = 0.3 + -0.3. Let o = 130 - 145. Let b = g + o. Is b not equal to 0.1?
True
Let w be 615/369 + (-12520)/(-102). Does -0.1 = w?
False
Let d = 23643 - 23642. Which is smaller: -8/2533 or d?
-8/2533
Let x = -4587055/13 - -352837. Let u = 19 + -33. Which is greater: x or u?
x
Suppose 0 = -5*a - 15, -2*r = 2*r - a + 257. Let x = 73 + r. Suppose 0*l - 4*l - f + 53 = 0, l + 2*f - x = 0. Is l not equal to 1/3?
True
Let c = 1912 + 9914. Is 11825 less than c?
True
Let s = -6502 - -6502. Let y = 225.1 + -235. Let o = y - -4.2. Are s and o non-equal?
True
Let g = 3289 + -1113. Is g greater than or equal to 2176?
True
Suppose -16 = b + 3*b. Let i be b/1 - -2*54. Suppose -45*l = -41*l + i. Are l and -26 equal?
True
Suppose 38*b - 65 = -27. Which is smaller: b or 226.5?
b
Let b = -3044 - -2833. Which is smaller: b or 8?
b
Let v = 210969/4 + -2742765/52. Suppose j + 3 = -0. Which is greater: v or j?
j
Suppose 3*k + 2*h = 174, -4*k + 3*h = -0*k - 249. Let r be (-10)/(k/306) - 3. Which is smaller: r or -52?
r
Let g(p) = 15*p + 85. Let i be g(-5). Let q be (-90)/75 - (-132)/i. Suppose -h = y - 15, 4*h = 3*h + 4*y. Is h greater than or equal to q?
True
Suppose 4*r + 16 = -20. Let j be 14/(-18) - (-2)/r. Let x be (-480)/(-750)*(-10)/22 + 50/250. Which is bigger: j or x?
x
Let b = 31 + -28. Suppose 16 = -b*v + 13. Let y = -88 + 428/5. Is v bigger than y?
True
Let f = 21858 + -21850.89. Which is smaller: 5/4 or f?
5/4
Suppose 31*s + 30728 - 118743 = -114*s. Which is smaller: 612 or s?
s
Let f = -2492 - -3386. Is f > -1?
True
Let f be (2/(-22) + (-1638)/2310)/((-4)/10). Which is bigger: f or 7/5?
f
Let m(p) = -p**2 - 2*p - 2. Let u(i) = i**2 + 5*i - 2. Let h be u(-5). Let z be m(h). Let t = -542/471 + 76/157. Which is smaller: t or z?
z
Suppose x + 53*o = 423, -43 = -2*o - 27. Let r(y) = -3*y - 1. Let f be r(1). Let k be 6/f*(-64)/(-108). Which is smaller: k or x?
x
Let q = 520 + -520.0518. Let j = -4.0518 - q. Is j greater than -1?
False
Let u = -6 - -64. Let n = 1759 - 3519/2. Which is greater: n or u?
u
Suppose 2*y = -2*z + 154, 4*y - 132 - 174 = -5*z. Let c = -81 + y. Is -7/13 smaller than c?
False
Let p = 1637/3280 + 3/80. Let n = 361/902 - p. Which is bigger: -3 or n?
n
Let x be -10 - 0 - 240618/(-23205). Which is smaller: x or 0?
0
Let z(l) = 9*l**2 - 9*l + 4. Let t be z(-8). Let b = -30642/47 + t. Suppose y = -2*y - 3. Is b at least as big as y?
True
Let w(p) be the third derivative of p**4/2 + 91*p**3/6 - 77*p**2. Let u be w(-9). Which is smaller: u or -15?
u
Let v = 1232.8 - 981. Let c = v + -252. Which is bigger: 50 or c?
50
Let z be (-14 + 336/70 + 10)/(4/(-10)). Is z at least as big as -215/98?
True
Let t be 40288/76 - (72/114)/6. Let n = 524 - t. Which is greater: n or 19?
19
Let b = -296.9 + 296.8. Let s = -535 + 536.586. Let x = s + -1.6. Is b greater than or equal to x?
False
Let t be 2/21 - ((-7563)/20475 + 0). Let v = t + -27/25. Which is smaller: 1 or v?
v
Let g = -3 - -7. Let u be (124 - 128) + -5 + 0/3. Is u smaller than g?
True
Let u = 2946 - 2946.1. Is u smaller than -222?
False
Suppose -s - 4*x = -266, 0 = -8*s + 10*s + x - 497. Suppose s*h - 15 = 241*h. Is h > 33/13?
True
Let o be -5 + 1*((-12)/(-12) - -1). Which is smaller: 10/41 or o?
o
Let h = 37 - 85. Let s be (-20)/h + (-5)/30. Let b = s - -5/12. Is 2/29 >= b?
False
Let y = 9374 - 9374. Which is bigger: -1/810 or y?
y
Suppose 66*l = -76 + 472. Suppose 5*t = 10*b - 7*b + 11, -l = -4*t + b. Do 2/797 and t have the same value?
False
Let c = 149 + -148. Let q be 39/26*(-4)/186. Which is smaller: c or q?
q
Let t = 27785/125154 - -3/13906. Which is bigger: 247/5 or t?
247/5
Let f = -756 + 649. Let l = f + 107. Is -113 greater than l?
False
Suppose 0 = 6*u + 11*u - 68. Suppose -3 = a, u*a = -4*t - 4 - 12. Which is bigger: t or -7/13?
-7/13
Suppose 0 = -2*w + 2*t + 209 + 127, 4*w + 3*t = 651. Suppose -2*y = -3*y + 5*s + 171, 5*s = 4*y - 669. Which is bigger: y or w?
y
Let b be 70/((-7)/1)*-5. Suppose 0 = -b*o + 57*o - 616. Which is smaller: 87 or o?
87
Let s = 13660 + -232286/17. Is -4 not equal to s?
True
Let x = 32 + -20. Suppose 10 = x*h - 17*h. Let l be ((-2)/12)/((-4)/(-18)). Is l greater than or equal to h?
True
Let g be (-8 + 97236/81)*6/(-8). Is g less than or equal to -895?
False
Let a = -5659 + 5658. Is a != 6/1075?
True
Let n = -66 - -62. Let z be n + (-4 + -1)/5. Suppose 4*m = 2*m + 2*y, -2*y + 6 = -5*m. Which is bigger: m or z?
m
Let x(i) = -7*i + 101. Let j be x(14). Suppose -4*v - 48 = -4*b, -5*b - j = -28. Which is smaller: -3.2 or v?
v
Let g(x) = -5*x**3 + 9*x**2 + 8. Let n(k) = -11*k**3 + 19*k**2 - k + 15. Let v(q) = 9*g(q) - 4*n(q). Let s be v(6). Which is smaller: -4/51 or s?
-4/51
Suppose h + 7*l = 4*l - 27, -h + 4*l - 13 = 0. Let m(y) be the second derivative of -5*y**3/6 - 89*y**2/2 + 19*y. Let a be m(h). Which is bigger: a or 18?
18
Let o = 12.07643 - 0.07643. Is -405 at most o?
True
Suppose 5*a = -5*j - 1695, -3*j + 8*j - 2*a + 1709 = 0. Is -340 not equal to j?
True
Let h = 2385 + -2394. Is h less than -19?
False
Let x(q) = -2*q**3 + 10*q**2 + 3*q - 27. Let l be x(5). Let o(r) = r**3 + 13*r**2 + 13*r + 10. Let u be o(l). Which is smaller: -0.34 or u?
u
Let b = -165 + 166. Let u be 2/17 - (b - (-1813)/(-1785)). Wh