-5*m, 0 = -4*v + 3*m - 9 - 4. Let x be (705/(-365) + 2)*v/10. Which is greater: 1 or x?
1
Suppose 0 = -a + 4 + 14. Let h be (-4)/a - (-44)/36. Let j be ((-17)/(-68))/(23/8). Which is smaller: h or j?
j
Let r(n) = -5*n - 53. Let z be r(-10). Which is bigger: z or 190?
190
Let k = 57 - 34. Let w = 24 - k. Is -3 bigger than w?
False
Let g = 392/3 + -1186/9. Which is greater: g or -0.2?
-0.2
Let c = 61026832/285 - 214129. Let m = c + -2/57. Which is greater: 1 or m?
1
Let r be (-2)/10 - 1/(-5). Let c be 0 + (4 - (-76)/(-22)). Which is greater: r or c?
c
Let x(y) = -22*y**3 - y**2 - 5*y - 3. Let k be x(-1). Suppose k*v - 21*v - 2 = 0. Let c be (-1)/(-13)*(-1 - -2). Are c and v non-equal?
True
Suppose 0 = 9*v + 11 - 2. Let i be 6/15 + 68/(-145). Which is smaller: i or v?
v
Let g be 4361/5 - (132/12)/55. Is g >= 871?
True
Suppose -826 = -58*y + 44*y. Do y and 3 have the same value?
False
Let t be (-1)/((-1)/2 - 16/(-24)). Let z be 9/6*(-16)/3. Is z at least t?
False
Let w be 84/(-9)*(430/(-105) + 4). Is 0.07 at most w?
True
Let h = 42 + -713/17. Which is bigger: h or -1?
h
Let v = -17 + 30. Let y = -3/193 - -4831/386. Which is greater: y or v?
v
Let g be ((-1)/4)/(324/(-16)). Let q = 886 + -887. Which is smaller: q or g?
q
Let i = 820/11 - 74. Let j be (38/(-6) + 21 + -14)/(-1). Which is bigger: i or j?
i
Suppose 0*v - 4422 = 2*v. Let o be v/(-21) + 2/(-7). Let c be 4 + (o/4)/(-5). Which is smaller: c or -1?
c
Let p = 16.16 - 0.16. Let r = 12.4 - p. Let g = 2.8 + r. Do 1 and g have different values?
True
Let p = 0.2 + -0.7. Let r = -5.5 - p. Let l = 109 + -109. Which is bigger: l or r?
l
Let d = -2088 - -2182. Which is bigger: 88 or d?
d
Let b = 87/28 + -9/4. Suppose y + 31 = 4*y - 2*i, -3*y - 5*i = -17. Suppose y*z = 11 - 2. Which is bigger: z or b?
z
Suppose 4*u + 68 = 2*u. Let o = 172 - 149. Let n = o + u. Is n at least -11?
True
Suppose 22*d - 50 = 17*d. Suppose -2*y + d = 2*v, 4*v - 17 = -y - 0*v. Let h = 34 - 371/11. Which is smaller: h or y?
h
Let l be (-2325)/(-9) + (-1)/3. Suppose -4*q + l + 158 = 0. Let x be 74/312 - 16/q. Which is smaller: -1 or x?
-1
Let l = 128 + -127.998. Let a = -0.098 - l. Are a and -1.2 non-equal?
True
Suppose -6*v - 10 - 2 = 0. Let j be (-1 - v)*2/2*-3. Which is bigger: -1 or j?
-1
Let v be (-312)/(-572) - (-912)/22. Which is smaller: 208/5 or v?
208/5
Let r(u) = -16*u + 40. Let y be r(-8). Suppose -y*b - 70 = -173*b. Is b bigger than 53/4?
True
Let t = 57319/11 + -5207. Is 4 < t?
False
Let n = -101/2 - -517/10. Which is bigger: n or 0?
n
Let k(q) = q - 4. Let x(c) = c - 16. Let h be x(12). Let i = h + 8. Let w be k(i). Are w and -4/17 unequal?
True
Let w = 18 - 9. Let m = -5 - -25. Let q = m - w. Does q = 1/4?
False
Let v be 10/(-10)*(-11)/1. Suppose v*k - 6*k = 30. Is k bigger than 8?
False
Suppose -137 = 7*t + 255. Is -56 bigger than t?
False
Let q = 2.693 - -0.147. Let j = q + -0.84. Is 2/61 greater than j?
False
Let j = -14 - -25. Let c = -14 + j. Let v = c - -3. Are -3 and v equal?
False
Let t = 1/342 + 113/342. Which is greater: t or -2/23?
t
Let w = 2/9 - -1/9. Let o = -3287/15 + 219. Let n = o + w. Which is smaller: 0 or n?
0
Let z be (-475 - 3) + 9/3. Let l be z/250 - 2/(-5). Which is bigger: 3/7 or l?
3/7
Suppose z - 550 - 794 = 2*q, -4*z = -q - 5362. Is 1340 > z?
False
Let w = 62 + -18. Let m = -43.84 + w. Which is greater: 0 or m?
m
Let v(a) = a**3 - 3*a + 4. Let f be (10/(-8))/((-2)/40). Let q = f - 23. Let d be v(q). Are d and 4 equal?
False
Let y(g) = -182*g - 614. Let m be y(-6). Is m at most as big as 2?
False
Suppose -h + 32 = 7*h. Let s(l) = l**2 - 3*l - 5. Let p be s(h). Let r = 729/7 + -105. Do r and p have different values?
True
Let g = 22 + -159. Which is smaller: g or -136?
g
Suppose -51 = -5*g + l - 4*l, -5*l - 75 = -5*g. Let p be (g/(-4) + 3)/(-2). Suppose -5*z + b + 1 = p, 5*b = z - 2 - 3. Which is bigger: z or 3/4?
3/4
Let c be (-9 - 2/1) + 4. Let u be (c/3 + 2)*-12. Let o = -13.3 - -13. Which is greater: u or o?
u
Let h be (-2)/(-3) - (-10 - 192/(-18)). Is h < -4/63?
False
Let t = 0.3 + 0.8. Let p = t - 1. Let a(y) = y**3 + 7*y**2 - 20*y - 19. Let g be a(-9). Is p != g?
True
Suppose 5*v - 8 = -48. Let o = -3 + v. Let u = o + 10. Which is smaller: -2/3 or u?
u
Let p = 27 + -28. Let r be (-6 - -4) + (-1)/p. Which is bigger: -7/6 or r?
r
Let f(r) = -r**3 + 2*r**2 - 2*r - 2. Let k be f(2). Let g(n) = n**3 - 10*n**2 + 7*n + 3. Let w be g(9). Let t = k - w. Is t equal to 10?
False
Suppose 8678 = -z + 7745. Which is greater: -934 or z?
z
Let c = -49 + 51. Suppose -c*s + 5 + 48 = 3*w, w - 3 = 0. Which is greater: s or 21?
s
Let w(r) = -r**2 + 11*r - 53. Let g be w(11). Which is smaller: -4 or g?
g
Let o = -20/12018973 + 342997581854/78351684987. Let i = -180/41 + o. Let q = i - -3661/318. Which is greater: 13 or q?
13
Let j = 326 - 325. Is j less than -203/8?
False
Let r be 135/((21/(-2))/(-7)). Suppose -8*p - r = 6. Is p at most -11?
True
Let d be (5/3 + -2)*4/2. Is -0.17 <= d?
False
Suppose -5*r + 158 + 2 = 0. Let l = r + -31. Which is bigger: l or 4?
4
Let d be (-892)/19*75/(-2). Let o = d + -1760. Which is smaller: 1 or o?
o
Let s = 20 + -13. Suppose s*t = 5*t + 42. Let h = t - 19. Is h greater than 13?
False
Let k be 8*(-2 - (1 + -2)). Let o be (k/(-10))/((-1392)/(-120)). Is o at least 0?
True
Let y(o) = 2*o**2 + o + 2. Let b be y(-2). Let n be 3/(-7) - (-51)/21. Let u(f) = 5*f - 4. Let k be u(n). Which is bigger: k or b?
b
Let q be (84/(-90) - -1)*-5. Which is bigger: q or 0.02?
0.02
Suppose 5*n + 5*h = 2*n + 25, 22 = 4*n + h. Suppose n*x = -4*x. Let l = -154/13 + 2284/195. Is x != l?
True
Let d = 663/4 + -166. Let x be (2/3)/((-4)/(-6)). Let u be 9/(-6) + x/2. Which is bigger: d or u?
d
Suppose 0 = 5*b - 4*b, -2*g - 282 = -4*b. Let r be 3 + (-4 - g/33). Let m = r + -86/33. Which is greater: m or -10?
m
Let v be (-237)/(-2)*50/(-15). Is v >= -394?
False
Suppose 63 + 13 = 2*b. Let x = -19 + b. Which is greater: 18 or x?
x
Let x = -264 + 11882/45. Let j be 3 + -2 + 0*(-2)/(-8). Which is smaller: j or x?
x
Let u(d) be the third derivative of -d**5/60 - 5*d**4/8 - 4*d**3 - 13*d**2 + d. Let i be u(-10). Which is greater: 28 or i?
28
Let i = -0.092 - -0.192. Which is greater: i or -40?
i
Let d = -25 - -24. Let q = -0.01 - -0.31. Let z = q + 0. Which is smaller: d or z?
d
Let l = -53 - -55. Let w(p) = p - 3. Let f be w(4). Which is bigger: f or l?
l
Suppose 2*s - s = 1. Let i be ((-4)/132)/(s/(-9)). Which is greater: -1/4 or i?
i
Let x(f) = 9*f**3 + f - 1. Let k be x(1). Is k != 1/17?
True
Let z be (8 + -14)/((-3)/4). Let m(x) = 2*x - 11. Let p be m(z). Which is smaller: 2 or p?
2
Let m be (-44)/77 - 30/(-28). Let g = 2.9 + -3. Is g at least as big as m?
False
Suppose w = q + 44 + 12, 5*q = -3*w - 256. Is q at least as big as -163/3?
True
Let n be 12 - 17 - (2 - (2 + -1)). Is 0.22 less than or equal to n?
False
Suppose 0 = -2*g + 2*n + 8, -5*n + 10*n = 20. Let s be ((-14)/66)/((g/(-2))/8). Which is bigger: 0 or s?
s
Let x = 274/69 + -7550/1909. Let o = x + -1357/83. Which is smaller: -17 or o?
-17
Suppose 5*p - 3*q = 155, -81 - 36 = -4*p + q. Which is bigger: 27 or p?
p
Let g(k) = 10*k + 70. Let b be g(-7). Which is smaller: b or 1/14?
b
Let y = 74 + -73. Let g = 316/15 + -59/3. Is g >= y?
True
Let i(y) = y**2 + 14*y - 16. Let k be i(-15). Let f = -1 - k. Let a be 1 + (-1 + f)/(-1). Are a and 3 equal?
False
Let s be (14/5 - 3) + (-432)/1540. Let l = s + -1/11. Which is smaller: l or 0?
l
Let z be (-6)/16*(130/(-15) - -8). Which is bigger: -188/7 or z?
z
Suppose -2*r + r - 1 = 0. Let m(c) = c**3 - c**2 - c. Let t be m(r). Let o = 303 - 6968/23. Is t >= o?
False
Suppose -b + 506 = 2*t, 11*b - 3*t - 977 = 9*b. Is b less than 496?
False
Let v be 4/(-14) + (-1156)/(-28). Let b = v - 42. Is -2/19 <= b?
False
Let v = -8 - -20. Let c = 164 + -152. Is v <= c?
True
Let q(x) = x + 1. Let w(v) = v**3 + 5*v**2 + 8*v + 4. Let m(l) = -5*q(l) + w(l). Let d be m(-4). Suppose 16 - 1 = d*o. Is o at most 4?
False
Suppose -19*z = -16*z. Let y be -5 + 1 - (z + -1). Which is smaller: y or -2?
y
Let r = 137.65 - 172.65. Suppose 4*n = -u + 7, u - 4*n = -13 + 4. Which is bigger: u or r?
u
Let z(m) = -m**3 + 4*m**2 - 6. Let j(s) = -3*s**3 + 8*s**2 - s - 12. Let f(p) = -2*j(p) + 5*z(p). Let y be f(-3). Which is greate