(-2 + -1 - -4)*0. Let i be (-3)/(3 + w/(-2)). Is i greater than or equal to 16/5?
False
Let m(a) = -a - 10. Let n(w) = -w**2 - w - 10. Let v(r) = -3*m(r) + 2*n(r). Let y be v(-7). Let l be (-29)/y - (-2)/(-10). Is 1 equal to l?
False
Let r = -796 + 798.58. Which is smaller: r or 1?
1
Let d = 132 + -112. Suppose -d + 5 = -2*r - 5*k, 3*r = -5*k + 15. Is -1/46 less than or equal to r?
True
Suppose 4*d + 3*j - 140 = 0, 2*d - 5*j + 15 = 85. Let v = -38 + 36. Which is smaller: v or d?
v
Let k = -374.9 - -374. Which is greater: 1/9 or k?
1/9
Let x = -109 + 106.57. Let y = x + 0.43. Which is bigger: 0.03 or y?
0.03
Let m be 4/(-6) + ((-4676)/(-6))/14. Is m at most as big as 55?
True
Let h = -24.5 - 2.5. Let b = h - -29. Let s = 9/4 - 15/4. Which is greater: s or b?
b
Let j(d) = d**3 - 5*d**2 + 2*d + 4. Let q be j(2). Let k be q - -3 - 4*(-4)/(-16). Is k greater than -2?
False
Suppose 97 = 46*v - 363. Which is smaller: v or 12?
v
Let h(a) = 4*a - 5*a**2 - a**3 - 2*a**2 - 5*a. Let d be h(-6). Let q be 388/(-660) - 4/d. Which is greater: 0 or q?
0
Suppose -c + 10 - 1 = 0. Suppose -5*l + 10 = 0, -2*n + 10 = -l - 2*l. Let g(h) = -h**2 + 9*h + 3. Let u be g(n). Which is smaller: u or c?
c
Suppose -13 - 11 = -6*t. Let w = -21 - -38. Suppose 11 = -t*z - w. Is z at most as big as -5?
True
Let t(f) = -f + 8. Let q be t(6). Suppose 3*j = -q*j. Let m = -150 + 1352/9. Is j at most m?
True
Let r = -10.13 - -0.13. Let j = r - -10.04. Let b(s) = 2*s**2 + 18*s + 2. Let k be b(-9). Is k equal to j?
False
Suppose 4*w + 354 = 78. Is -68 at most as big as w?
False
Let l = 0.7 + 0.3. Let i = -1.52 - 1.48. Which is bigger: l or i?
l
Suppose -4*t = -8, 6*t = 5*n + t + 40. Let j(d) = 2*d**2 + 13*d + 5. Let h be j(n). Which is smaller: h or 2/57?
h
Let v = 43 - 54. Let b = v + 8. Suppose -1 + 2 = -n. Is n bigger than b?
True
Let q = -162 + 81.6. Let v = q - -80. Is -6 at most v?
True
Suppose 0 = n - 4 + 5. Let x = 52/33 - -1913/231. Let f = -10 + x. Which is greater: f or n?
f
Suppose 0 = -167*y + 164*y + 153. Is y less than or equal to 51?
True
Let p be 2/(-9) + 87/27. Let f be 6 + -4 - (p - 2). Let r be (f/(-2))/((-2)/(-4)). Is 1/18 at most r?
False
Let k = -37 - -36. Let y(z) = z**2 + 12*z + 13. Let d be y(-11). Which is greater: d or k?
d
Let a be 310/140 - ((-2)/(-2) - -1). Which is bigger: a or 1?
1
Let c be (-1375)/(-8325) - (16/(-18) + 1). Let d be 14/18 + (-2)/(-9). Is d at least c?
True
Let f = -1489 + 7476/5. Is f at least as big as 5?
True
Suppose 3*h - 12 = 0, 0 = -8*x + 13*x + 3*h + 138. Is -153/5 >= x?
False
Suppose u = -5*y - 4, -3*y + 3*u = y - 12. Let z = -0.56 - -0.624. Which is bigger: z or y?
z
Let d be ((-2)/4)/(75/(-10)). Suppose -7*s + 15 = -4*s. Suppose 3*h - s*i = -7, h - 3*i + 7 = 2*h. Which is smaller: d or h?
d
Let n = 67 + -505. Is n at most as big as -438?
True
Suppose 3*a = -3*o + 15, 4 = -2*a - 2*a + 2*o. Suppose -c + 8 = 32. Which is smaller: a or c?
c
Suppose 3*x + 5*r = 0, 0 = -3*x + 2*x - 4*r. Suppose y - 1 = -b + 3, x = 5*b + 3*y - 14. Is b at most 2/21?
False
Let i be 352 + (2 + -6 - 3). Let j = i - 345. Let n = 1002/13 - 77. Is n equal to j?
False
Let m = -32.3 - -3.3. Let a = -29.03 - m. Is a > 2/7?
False
Let x = 53/4 + -17. Which is smaller: -3 or x?
x
Let d = 932 - 932.4. Which is smaller: d or 82?
d
Suppose -26 = 3*q - 11. Let y be 4/14 - q/7. Suppose -4*c + 5 = 1. Is c at most y?
True
Suppose -47*h = -9*h - 23636. Is 621 at most as big as h?
True
Let q(f) = f**3 - f + 1. Let b be q(1). Let o be b*(1 + -1) + -1. Let s be 3 + o + (-50)/15. Is -1 smaller than s?
False
Suppose 0 = 5*b - 3*o - 155, -3*b + 44 = -2*o - 48. Which is bigger: 31 or b?
b
Let z = -11 + 16. Suppose z*g = 3*y + 87, 7*g = 4*g - 2*y + 37. Is g > 15?
False
Suppose 5*n + b + 2 = 0, 4*n - 5*b - 10 = -0*b. Let p be (1 + 2)/(6/520). Let q be 8/(-20) + 64/p. Is n smaller than q?
False
Let x = -496 + 497. Is x greater than 0.182?
True
Suppose -v + 5*n - 9 = 0, 0*v - 28 = -3*v + 4*n. Let x = -10 + v. Suppose -4*j + 22 = x. Which is bigger: j or 3?
j
Let n = 20244 + -1558756/77. Which is bigger: n or -1/2?
n
Let d = -691/1940 + 20/97. Is 0 less than d?
False
Suppose 22*a = -70*a + 3128. Let g(v) = 33*v**2 + v - 1. Let i be g(1). Which is smaller: a or i?
i
Let s be 5/(-20) + (-10)/(-8). Let g be 14/(-56)*(3 + (-17)/3). Is g greater than or equal to s?
False
Let o = -25117/14 + 1790. Let v = -53/7 - o. Which is greater: v or -3?
-3
Let h be (-27)/(-180)*4 + 249/(-25). Which is bigger: h or -8?
-8
Let d be 5 - (4 - 99/(-27))*-3. Let p = 38 + -11. Which is bigger: d or p?
d
Let x = 2608 - 2612. Let t = 1639/3 - 551. Which is smaller: x or t?
t
Let b = -1589 - -1590. Is 1/2176 bigger than b?
False
Let f = 98.6 - 98. Let d = -3.6 - -4. Let z = f + d. Is z != 0.4?
True
Suppose -4*s = s. Suppose -11 - 69 = 8*b. Let n be (-1)/(((-4)/(-20))/((-2)/b)). Is s less than or equal to n?
False
Suppose 0*x + x = 0. Suppose 5*w - 15 = m + m, 4*m - 4*w + 12 = x. Which is greater: 2/3 or m?
2/3
Let p be ((-18)/762)/((-2)/4 + -1). Do 1 and p have the same value?
False
Let u = -177 + -48. Let l = u - -1581/7. Suppose -3*m - 12 = m - 5*h, -4*h + 16 = 0. Is l at least as big as m?
False
Let l(a) = -2*a + 14. Let w be l(6). Suppose -w*y = 2*y + 4*j + 20, 1 = y - 2*j. Let g be y/(-18) - 40/(-48). Are 2/33 and g nonequal?
True
Let j(y) = 16*y**2 + y - 1. Let a be j(1). Let t be a/(-56) + 6/28. Is 1 at most t?
False
Let h = 49/4 - 12. Let w = -0.29 - -15.29. Let z = w - 21. Is h less than z?
False
Let t = -153.31 + 154. Let j = t - 0.39. Is 0.09 >= j?
False
Let g = -763.43 + 765. Which is bigger: g or 1?
g
Let q be ((-44)/33)/(9/3). Is 0 greater than q?
True
Let h = -33.5 - -32. Let a = 0.16 - -1.84. Which is greater: a or h?
a
Let p be (4 - 4)/(6 - 9). Is -13/23 less than p?
True
Let a = 593/5 + -119. Let d be 4/(-20) - (-16)/5. Suppose 3*l + 0*l = d. Which is smaller: a or l?
a
Let q = -22.48 - -4.28. Which is bigger: 0 or q?
0
Let m = -47 + 49. Let q = 0 - -0.5. Let f = 1.5 - q. Is m at least f?
True
Let z = -6 + 5.89. Let s = 0.21 + z. Is s < -0.06?
False
Let y = -281 + 280.61. Which is smaller: y or 20?
y
Let t be (-324)/7 - ((-4)/14 + 0). Is t equal to -46?
True
Let w be -2 + 4 - (-8)/1. Let l be 8/w*35/21. Let v = l + -2/3. Is 2 bigger than v?
True
Let s be 18/(-20) - (-8)/20. Let w be (219/365)/((1 - -1) + 0). Which is smaller: w or s?
s
Let o = -46 + 45.5. Let x = -73/3 + 505/21. Which is bigger: o or x?
x
Let m be 8 + ((-2)/3 - 8). Let h be (-1 + 1)/((-2)/2). Which is greater: m or h?
h
Let x be 5/52 + (-6)/195*-5. Is x bigger than -46?
True
Let c = -0.16 - -0.4. Let v = c + -0.06. Is -2/3 not equal to v?
True
Let n = -120/7 - -586/35. Is -1 greater than n?
False
Let g(r) = -30*r. Let t be g(-2). Let f be ((-36)/10)/((-24)/t). Suppose -2*h + 30 = h. Which is smaller: f or h?
f
Let s = 6 - 5.6. Let c = s + -0.4. Let i = 9.1 + -9. Do c and i have different values?
True
Let l = -929/3824 - -1708189/7743600. Let h = l + 1/81. Which is smaller: h or 0?
h
Let c be (0 - (-30)/(-12))*2. Is -37/6 at least as big as c?
False
Let k = 25 - 14. Suppose -2*u + t - k = -4*t, 5*t = 5. Let y be 14/u + (-2)/(-3). Is y > -5?
True
Suppose 10 = 5*j - 0*j, 5*q + 2*j = -4211. Let x = q + 1619/2. Let r = x - -33. Is r at least -6?
True
Let y be ((50/(-3))/1)/((-8)/12). Is 17 < y?
True
Let f be (-2)/2 + 0 - -13. Let b = 11339 + -11327. Is b not equal to f?
False
Let y = -2.6 - -23.6. Let k = 13 - y. Let m = k + 7.9. Is m less than -5/3?
False
Let z be 12 - (6 + -11)/(-1). Which is smaller: z or 8?
z
Let j be 322/(-4)*-2*-2. Let q = 116 + j. Let a = q - -1439/7. Which is smaller: 1 or a?
a
Let t = 63 - 88. Let c(m) = -m**3 - 5*m**2 + 17*m + 20. Let z be c(-7). Which is smaller: z or t?
t
Suppose -396 = 2*f - 6*f. Let w be (-1)/(-4) - f/12. Let l = 1596 + -1603. Which is smaller: w or l?
w
Let o = -216.6 + 214. Which is smaller: 2/7 or o?
o
Let b = 49 - 64. Let w be b/(-6)*(-6)/5. Is -19/11 smaller than w?
False
Let q = 1.52 + -1.01. Let r = 28.51 - q. Does -1/2 = r?
False
Let j = -27 + 541/20. Let c = -11997/20 - -600. Let i = c + j. Which is bigger: i or 0?
i
Let v = -9/125 - -1081/1125. Let y(k) = -k**3 + 134*k**2 - 644*k - 129. Let h be y(129). Which is smaller: v or h?
h
Let n = 0.08 + -3.28. Let q = 4.2 + n