et x = m + 9.8. Do x and o have the same value?
False
Let c = -84 + 73. Let a be ((-15)/c)/(-5)*(-4910)/6. Let u = a + -223. Which is smaller: u or 2/7?
u
Suppose 3*v + l - 64 = 0, -2*l - 41 = -2*v - 3*l. Suppose 0*k - 3*k + 26 = -4*z, 3*k + 19 = -5*z. Let s be k + -2 + 44/2. Which is greater: s or v?
v
Suppose 3 = 3*n - 6. Let p be n/2*8/(-2). Let w = -10 - p. Which is smaller: w or -1?
w
Let c be (56/12 - 4) + (-7)/(-3). Suppose m + 117 = 2*j, 12*j = 9*j + c. Is m greater than -114?
False
Let i be (-10)/20*(-4)/(-72)*-2. Let b = 13.6 - -4.4. Let y = b - 18. Which is greater: y or i?
i
Let p = 11.802 + -11.7. Let f = p + -0.082. Let h = -22.98 - f. Which is smaller: -0.2 or h?
h
Let d = 111837 - 336405699/3008. Which is smaller: d or 1?
d
Suppose -3*v - 625 = 3*c + 236, -4*c + 5*v - 1121 = 0. Let n = 224 + c. Which is bigger: -61 or n?
n
Let y be 102/51*(0 + 28). Suppose -749 = -63*a + y*a. Is 107 at least a?
True
Suppose 14 = 18*v - 4*v. Let w be (v - 5 - 46)*(-2)/28. Is w at least 4?
False
Let k(i) = i**3 - 4*i**2 + 4*i + 2. Let z be k(2). Let d be (-7 - z) + (-4)/8*4. Which is smaller: -13 or d?
-13
Let w(a) = a**2 - 4*a + 16. Let g be w(7). Let d = -40 + g. Let c be -3 + -1 + 7 - (d + 0). Which is smaller: 4 or c?
4
Let u = 155/429 + -7/39. Let c = -22.2 - -15.9. Do u and c have different values?
True
Suppose q + 39 = -5*r + 15, 2*r + 20 = -3*q. Let i be 1 + 6/q - (-52)/(-8). Let p = i - 15. Is p smaller than -21?
True
Let a = 211 - 241. Let f be (a/(-260))/(3/(-12)). Is -1 < f?
True
Let y(q) = -q**2 + 3*q + 3. Let x be y(3). Suppose 0 = 32*a - 27*a - 100. Let f be x/15*a/24*-4. Which is greater: -12 or f?
f
Let f be 1/(0 - ((-1)/6 + 0)). Let o = 4311/848 - 9/424. Which is greater: o or f?
f
Let p be (-60)/27 + 2 + 40/18. Let s be (5 + -7)*1/p. Let t be 3/42*94/(-7) - s. Are t and -1 equal?
False
Suppose 553*f - 554*f + 63 = 0. Is f at most 1092/17?
True
Let n be 1 + 22/(-10) + 128*4/360. Which is greater: n or 53.45?
53.45
Let u(b) = 71*b**2 - 8*b. Let p be u(11). Let n = p + -7967309/937. Are 0 and n unequal?
True
Let l = -16556992/539 - -30718. Which is bigger: l or 0?
l
Let i(u) = -u - 50. Let h be i(-17). Let m be (22/h)/((6 - 3)/27). Which is smaller: -21 or m?
-21
Let t be ((-11)/(-22) - 1422/2820)/(-11). Is -1 smaller than t?
True
Suppose -407653 + 340 = 112*g + 389*g. Which is bigger: -819 or g?
g
Let z = 307023/573085 - 3106467517649/5811052099580. Let p = z - -5/8764. Which is smaller: p or 1?
p
Let b(j) = j**2 + 7*j - 93. Let l be b(-13). Let s be ((-5886)/(-90))/(3 - (-48)/l). Is s less than -1/4?
True
Let g be 20/(-3)*1134/(-108). Suppose 30*v = 35*v + g. Are v and -23 nonequal?
True
Let q = -335 - -305. Let t = -395/13 - q. Is 0 at most as big as t?
False
Let x be (2 - (-4)/8)*-12. Let s be (-1 + 132/x)*1. Is s less than -1/4?
True
Let y = 170 - 154. Let q be y/14*3 - 68/(-119). Which is greater: 6 or q?
6
Let y = -9.018 + 0.018. Let b = -8.81 - y. Let z = -0.09 + b. Which is smaller: z or -5/6?
-5/6
Let l = -23.71 - -0.21. Let b = l - 43.5. Is 0.1 != b?
True
Let y(t) be the third derivative of t**6/120 - t**5/6 + t**4/24 + 5*t**3/6 - 12*t**2. Let q be y(8). Let l be (-4)/(-6) - q/(-195). Is l not equal to -1?
True
Let p = -31949/13 - -2459. Let g = -136/117 + p. Let i be (18/42)/(12/(-42)). Is g smaller than i?
False
Let g = -1/44 - -35/5412. Suppose 0 = 2*c - 5 + 3. Is g <= c?
True
Suppose 4*v + 5*h + 4 - 9 = 0, 25 = 5*h. Let s be 1 - -2 - 15/v. Let l be (-1 - -2)*7 - 18/s. Are 1 and l non-equal?
True
Suppose -17*c = 2022 + 2755. Let q = 278 + c. Do 2 and q have different values?
True
Suppose 4*y - 35 = -27. Let l be -1 + (y - (-3)/((-6)/(-2))). Suppose -16 = -l*z - 3*a, 6*a = 4*z + 4*a. Is z > -8?
True
Let d(v) = 156*v + 1232. Let x be d(-8). Let s = -19475/1236 + 2/309. Is s greater than x?
True
Let m be 113 - 112 - (1 - (1 + 0)). Let g be -60 + 3 - (-1 + m) - 2. Which is greater: -61 or g?
g
Let v be (5 + (-99)/18)*-4. Suppose -482 = 4*h - v*z, -2*h + 45*z - 42*z = 235. Are h and -124 non-equal?
True
Let j be ((-24)/(-20))/((28/(-2340))/(-7)). Suppose 10*m - j + 252 = 0. Is 40 smaller than m?
True
Suppose -l = -5*j - 82, j = 3*l - 6*l - 26. Is -23 < j?
True
Let j = -8069/759 + 721/69. Let o = -6 + 8. Suppose 4*w = -2*t, -o*w - 2*w = 5*t. Is t bigger than j?
True
Suppose -6936 = 133*t - 121*t. Is t at least as big as -2893/5?
True
Let n = 249 + 267. Let t = 10323/20 - n. Suppose -6*q - 388 = -382. Are t and q equal?
False
Let a(w) = -7*w**3 - 3*w**2 - 3*w - 1. Let m be a(-2). Let t = m - 44. Suppose 6 = t*x + 1. Which is bigger: x or 1/9?
x
Let d = -8393616/31 + 19564961671/72261. Let y = d + -1/333. Which is smaller: y or -7?
y
Let r be (43/(-172) + 201/(-44))*2. Which is smaller: -9 or r?
r
Let m = -4734017/4 - -1183500. Suppose 5*v + 10 + 10 = 0. Is v equal to m?
False
Suppose -2*j + 4*b = -14 + 2, -4*j - 2*b + 14 = 0. Let h be 6/3 + -2 + j. Suppose 3*r + 16 = -l - 13, 0 = -l - h*r - 25. Which is greater: 0 or l?
0
Suppose 0 = -3*k - 0*k + 24. Let f be 13/(-26) - 126/k. Let p = -79.5 - -79.4. Is f equal to p?
False
Suppose 0 = -7*m + 4*m + 35295. Let n = m + -482337/41. Is 0 > n?
False
Let z = -241 - -243. Suppose 0*w - z*g = 4*w, -4*w = -g. Is w smaller than 113?
True
Let a be (-278)/(-4)*(160 + -20). Which is smaller: a or 9729?
9729
Let w be 48/(-84) + 130/7. Suppose -5*r = -w*r - 416. Let p = -18 - 12. Is p at least r?
True
Let g(r) = 47*r - 314. Suppose 5*z - 25 = -3*b - 2*b, -4*b - 36 = -4*z. Let s be g(z). Is 18 != s?
True
Let y = 2 + -1.98. Let s = -7.757 - 0.043. Let v = -5.8 - s. Which is bigger: v or y?
v
Let d(w) = 2*w - 3. Let p(a) = -33*a + 263. Let q(g) = 3*d(g) - p(g). Let x be q(7). Which is bigger: 2/111 or x?
x
Let a = 146 - 101. Let d = -45 + a. Suppose d*o = -2*o. Is o > -6.1?
True
Let i be (-10)/(-4)*30/(-75). Is -4/295 less than or equal to i?
False
Let g = -127 + 152. Let f be (2/(-16))/(g/(-100)). Which is smaller: 1 or f?
f
Let z be (-5415192)/522 + (-4)/58. Is z bigger than -10374?
False
Suppose 196 = 2*s + 2*x, -6*s + 7*s = -3*x + 100. Let c = 189/2 - s. Which is greater: -4 or c?
c
Let a = -49 - -48. Let z be a + (-2524686)/3537 + (-4)/18. Let w = 715 + z. Do -1 and w have different values?
True
Let h = -46.55 - -46.65. Is h greater than 0.0939?
True
Let l be (4 + -11 - -3) + -83. Let c = 97 + l. Which is smaller: 9 or c?
9
Let x = -9 + 7. Let u = -17 - -16.998. Let j = 0.238 - u. Which is smaller: j or x?
x
Let r = 598974/115 + -66950/23. Is 2298 at least r?
True
Let g be (-923)/(-213) + (-1126)/246. Which is smaller: g or 0?
g
Let g = -3.081 + 3284.081. Which is bigger: g or 1/4?
g
Let h(o) = 6*o + 47. Let q be h(-7). Suppose 2*s = 2*b, 0 = 3*b - 4*b + q*s - 8. Which is smaller: b or 26/29?
26/29
Let x be (-125)/(-126) - (-22)/99. Let j = -1871 - -1872. Do j and x have the same value?
False
Let c = -36931/3924750 - -2/26165. Let z = 2491/347250 + c. Which is smaller: -1 or z?
-1
Let b = 134210 + -222520187/1658. Which is greater: b or -1?
b
Let t be (-1778)/(-70) + -5 - (-4)/(-10). Let z be (-45)/t*(-128)/(-24). Is z at most -16?
False
Let k be ((-6417)/45 - 3)*-5. Let c = k + -10918/15. Which is smaller: c or -10?
-10
Let b be 4 - 5 - (-18)/20. Suppose 3*r = -0*r + 5*j + 25, j - 8 = -2*r. Suppose -2*y = -r*o + 3, 4*y - 2*o = -0*y + 2. Which is smaller: y or b?
b
Suppose -5*d + 171 = -4*s, -3*d = 2*d + 4*s - 139. Suppose 0 = 8*n - 254 - 906. Let x = n + -115. Which is bigger: x or d?
d
Let c = 11759/13 - 905. Let r = -246.9 + 247.3. Is c less than r?
True
Let c = 7341 + 13571. Which is smaller: 20911 or c?
20911
Let a = -0.108 + 0.638. Let k = a + -0.07. Let h = 0.26 - k. Are -13 and h non-equal?
True
Let s = 118522/5 + -23784. Are -79 and s nonequal?
True
Let v = -345 + 349. Suppose a - n = 3*n + 3, v*n = 5*a + 1. Is -4/79 at most as big as a?
False
Suppose -21372*f + 21405*f = -77055. Is f >= 0?
False
Let c be (-4258980)/(-5076) - (-10)/(-235). Is c less than or equal to 833?
False
Let t = -578 - -732. Let d be ((-66)/t)/(6/10). Suppose -2 = 2*z + l - 5, -2*z = -5*l + 27. Which is smaller: z or d?
z
Let r be (-13)/((-260)/585400) + -3 + (-2)/(-1). Which is smaller: r or 29270?
r
Let i = -1895/64446 + 802310191/2966127150. Let m = i + -2/1841. Is m less than or equal to 3?
True
Le