). Let i be (-3 + (-35)/(-15))/(h/36). Do i and -3 have the same value?
False
Let i be 2 + 125/(-20) - (-15)/12. Is i at most -23?
False
Let k = -1644.9733 + 3.0733. Which is greater: -1 or k?
-1
Let m be (-4)/16*-12 + 109/(-37). Let v = 1664 - 46593/28. Which is smaller: v or m?
v
Suppose -4*n + 20 = 5*p, 3*p - 7*n - 12 = -4*n. Let a be (-1)/(((-8)/p)/(-6)). Let y be 2 + ((-64)/6)/2. Is y <= a?
True
Let q be (228 + 9/(-3))*(1 - (-10 - -14)). Which is smaller: 1 or q?
q
Suppose -17*g - 10098 = -28*g. Let j = 1062 - g. Is j at least 145?
False
Let y = -9404713/109676 + -1/27419. Let z = -86 - y. Which is greater: z or 0?
0
Suppose 1364 - 1392 = -7*n. Is n bigger than 121/38?
True
Let x(w) = -10*w + 12. Let k = 79 - 81. Let m be x(k). Let f be -2*(-14 + 3/(-1)). Is f at most as big as m?
False
Suppose 0 = 9*p - 24*p + 9030. Suppose -2618 = -591*u + p*u. Is -239 not equal to u?
True
Let i = -2634913/10 - -263268. Let g = -122 + -101. Let r = g - i. Is 0.5 < r?
False
Let v be 6/3*(-335)/10*-1. Suppose -5*k + v = -188. Let i = k + -50. Is -2 smaller than i?
True
Suppose 10*h = -48 - 32. Let u be h/60 - (0 - 1986/45). Let z be 45 - (0 + 0 + 1). Is u at least as big as z?
True
Let g be (0 - 1)/(-1) - 21. Let c be 1/4 + 1325/g. Let o be -26*((-850)/(-20))/17. Which is greater: c or o?
o
Let v(c) = c**3 - 4*c**2 + c + 4. Let x be (4 + 1 + -6)*-3. Let f be v(x). Let p = -13.59 - -13.5. Are p and f non-equal?
True
Let f be (75/(-490))/((-408)/(-252)*-3). Is f not equal to 1?
True
Let f = -19 + 19. Let h be ((-72)/10)/(2/(-5) + f). Let l be (0 - 60/h) + 5. Are l and 2 unequal?
True
Let r(l) = l**2. Let u be r(-1). Let b(m) = 14*m + 1. Let t be b(-2). Let n be -2 + 15/(-102)*t + -2. Is n equal to u?
False
Let q = 79 - 313/4. Let w = 7770 + -7885.09. Let z = 115 + w. Which is smaller: z or q?
z
Let y = -7165 - -7166. Which is smaller: y or -3/2033?
-3/2033
Let l = -8423 + 1474031/175. Does l = 1?
False
Let x = -37 - -36.971. Let k = x + 0.089. Which is greater: k or -1?
k
Let z be (-1 - -7) + -9 + 11854/2. Is 5926 greater than z?
True
Let z(x) = 17*x**2 - 108*x - 658. Let l be z(-6). Which is smaller: 601 or l?
601
Suppose 5*u + 9 = -51. Suppose 5*l - 183 = -2*s, 0 = -4*s - 5*l + 3*l + 406. Suppose -10*c = -2*c + s. Is u < c?
False
Let o = 2.1 - -0.2. Let m = o - -3. Let i = m + -4.3. Which is smaller: -2/55 or i?
-2/55
Let v = -446243/4695 - -411/313. Is -94 bigger than v?
False
Let h be -4 - -4 - (136 - 16/4). Let l be (-13)/52 + (-87)/h. Is 1 less than l?
False
Let o = 6 - 4. Let p(s) = -3*s**2 + 38*s + 355. Let w be p(-6). Which is smaller: o or w?
o
Let n be (33/(-6))/(26/(-364)). Suppose 0 = 5*s - 25, 6*t + 2*s - 322 = 2*t. Is n less than or equal to t?
True
Suppose -3*f - 1654 = 1325. Let r = f + 622. Which is smaller: r or -370?
r
Suppose 249*t - 252 + 3 = 0. Is t smaller than 39/100?
False
Let v be ((-1323)/(-70) + -20)*(-4)/11. Is v >= 1874?
False
Let p be ((-4)/(5 + 19))/((-1)/(-932)). Let v = p - -152. Which is greater: v or -3?
-3
Let p = 76 + -46. Let x = p - 27. Let i be (x/2)/(57/646). Is 16 greater than i?
False
Suppose 18*u - 19*u = -5*f + 6, 4*u = 4*f + 8. Suppose 2*c + 242 = -5*h - 266, -f*h - 751 = 3*c. Which is greater: c or -248?
-248
Let f be 18/(-287)*55/770. Is f at least as big as 1?
False
Let j be -5 + 2 + (-1204020)/204. Let d = j + 5907. Is d < 1?
False
Let d = 74.391 + 0.109. Let m = -4.5 - d. Let l = m - -79.2. Is -9 smaller than l?
True
Suppose -800 + 23 = -3*y. Let q be 195/y + 5 + (-190)/35. Is q not equal to -1?
True
Let d = 0.9 + 2.1. Let f = -0.4792 + 24.6092. Let b = 24 - f. Which is smaller: d or b?
b
Let o be ((-2)/2 - -4)*1. Suppose -79*i + 65*i = 168. Let r be (7 - (-90)/i)*-2. Which is greater: r or o?
o
Let q be (32/(-208))/((-32)/52). Is 11/403 >= q?
False
Suppose o - 4*w = -15, -2*o + 7 = o + w. Let b be (-14)/18*12579/(-140). Let x = b + -279/4. Which is smaller: x or o?
x
Let i be (-3 + 30/9)*((-3358)/161 + 20). Let m = 3.1 - 2. Which is smaller: m or i?
i
Let a(p) = 236*p - 2236. Let x be a(8). Which is bigger: x or -366?
x
Let w = -1748 - -544. Let g be ((-908)/w)/1 - (-3)/(-7). Which is smaller: 1 or g?
g
Suppose 0 = -5*i + 14*i - 1197. Suppose -5*p = -w + 127, 5*p + 8*w = 7*w - i. Let d = 8 + -36. Is d at least p?
False
Suppose w + 1 + 9 = 3*c, 4*w + 4*c - 8 = 0. Let k be (-232)/10*45/(-18)*2. Let m be (-4 - 0 - k/(-52)) + 1. Are m and w equal?
False
Let u = 14200.6 + -14085. Which is smaller: -5 or u?
-5
Let h = 7 + -13. Let r(i) = 53*i**2 + 491*i + 113. Let b be r(-9). Is h greater than b?
True
Let d = 2864 + -2864.4. Which is greater: d or 43?
43
Let s(y) = 116*y + 38. Let b be s(-6). Let v = 657 + b. Is v >= 281?
False
Let t be 3/(-9) + (-5755110)/18936. Let v = t + 1217/4. Suppose 0 = f - 2*u - 9, 5*f - 31 + 21 = 3*u. Is v bigger than f?
True
Let l(x) = -64*x**2 - 3*x + 4. Let a be l(-4). Let d be (0 - -4)*a/64. Is d bigger than -63?
False
Let h be ((-5)/(-10)*0)/3 + 91. Let d = h + -117. Is -29 >= d?
False
Suppose 4*l = 3*i - 0*l - 17, -5*i = 2*l - 37. Suppose 201*j - 340 = 464. Which is greater: i or j?
i
Let b(u) = -17*u + 23. Let o(m) = m**2 - 1. Let v(z) = -b(z) - 2*o(z). Let a be v(7). Suppose -5*d + 183 = 4*i - 10, a = 4*d - 2*i - 144. Are d and 36 unequal?
True
Let c = 29.518 - 29.118. Let m = 5/29 + 13/261. Is c at most m?
False
Let j = -354761/222 - -1598. Which is smaller: -1 or j?
-1
Let t(k) = -82*k - 329. Let o be t(-4). Which is bigger: o or 4/5305?
4/5305
Suppose 74 = -13*u + 35, 4*u = r - 180. Which is smaller: 165 or r?
165
Let n(w) = -w. Let q(k) = 6*k + 13. Let t(c) = -4*n(c) - q(c). Let o be t(-8). Suppose -9 = -o*u + 6. Is 4 <= u?
True
Let h be (-4 - 0) + (-23)/(276/(-96)). Let y(v) = 9 + 10 - 6 - 3*v + 2*v. Let j be y(10). Which is smaller: h or j?
j
Let z be (38478/(-484) - (-1 + 1))*(-56)/(-6). Which is smaller: -744 or z?
-744
Suppose 5*d = 3*d + 476. Suppose d = t + t - a, 2*t = 5*a + 222. Which is greater: 119 or t?
t
Let t be 6/14 + (5418/735 - 7). Which is smaller: 579 or t?
t
Suppose -15*w + 13 + 12 = 10. Do w and -4/4029 have the same value?
False
Suppose 8 = 13*q - 15*q, q = 4*y + 44. Let t be y/9*4/8*-6. Is 33/7 less than t?
False
Let k = -197 + 201. Let x be (k/5)/(21/(-1050)). Is x at least as big as -37?
False
Suppose 79*n - 53 - 1792 = 284*n. Is n > -100/11?
True
Let x = -2 - -4. Let i be (-8)/(-20) - (-112)/20. Let r be (70/(-385))/((-2)/i). Is r greater than or equal to x?
False
Let f = -21809 - -20257. Which is smaller: -1553 or f?
-1553
Let z(h) = -h**3 + 6*h**2 - 2*h - 7. Suppose 327 = -6*k + 3*k. Let s = k + 114. Let o be z(s). Which is bigger: 7 or o?
o
Let v = -38 - 184. Let j be (-40)/30*v/8. Let z = j - 257/7. Which is smaller: z or -30?
-30
Let a be (44/(-5))/((-6)/30). Suppose 23*d - 18*d = -230. Let l be (10/10)/(-1 - a/d). Are -70/3 and l equal?
False
Suppose -14*c = 11*c + 19 + 6. Which is smaller: -1/17413 or c?
c
Suppose -3*a = -4*g + 40, -3*g = a - 8*g + 6. Let k be (12/a + (-3)/12)/3. Is 0.18 greater than k?
True
Let y(f) = 631*f - 1713. Let u be y(3). Which is smaller: 184 or u?
u
Let s = -0.25323 - 28.04677. Is 2.2 equal to s?
False
Let b be (-8)/(-1124)*(-49)/(-245). Which is bigger: -1 or b?
b
Let d = 1234 + -1172.1. Let n = d + -63.2. Is 18 smaller than n?
False
Let v be (36 - 10)*(1 - 9/6). Let f(s) = s**3 + 3*s**2 - 2*s - 3. Let p be f(-4). Which is smaller: v or p?
v
Let y(p) = -p**3 - 61*p**2 - 84*p - 1423. Let r be y(-60). Let k = 1 + 4. Which is smaller: r or k?
k
Let r(z) = 16 + 13*z + 4*z**2 - z**2 - 2*z**2. Suppose j - 68 = 3*x - 31, 5*x + 4*j + 56 = 0. Let t be r(x). Which is smaller: 5 or t?
t
Let z = -0.0108 + 58.6108. Let s = 59 - z. Which is smaller: s or 1/6?
1/6
Let x = -464 - -476. Let o be 9/x*(-14)/21. Is o at least 140?
False
Suppose 4*b - 2 = -2*j, j + 1 = -0*b - 3*b. Suppose j*f + 330 = 2*o, -194 = -11*f + 14*f - 2*o. Which is smaller: -67 or f?
f
Suppose -138 = -s + 3*z + 107, -2*z = -3*s + 756. Let a = 253 - s. Let p = 4.7 + -5. Is p <= a?
False
Let f(p) = 2*p**2 + 122*p + 1662. Let o be f(-35). Let w be 318*((-1)/(-2) - 1). Which is bigger: w or o?
o
Suppose -4*a = 1 - 869. Let v = 217 - a. Which is greater: v or -1/46?
v
Let q = -60/43 + 6934/5031. Let r be ((-20)/50)/((-1)/10). Let v be 0/((r*-1)/4). Is q le