e g*j + 3 = 7. Suppose s + 5*n = -5 - j, 5*n + 2 = 3*s. Which is greater: -2/53 or s?
-2/53
Let c = 141 + -144.55. Let u = 1.45 - c. Is u greater than -26/3?
True
Let i(j) = 49*j + 17. Let k(v) = -24*v - 9. Let z(l) = 4*i(l) + 7*k(l). Let f be z(-3). Which is bigger: f or -81?
f
Let t be 65/(-7) - (-4)/14. Suppose -3*a + 404 - 389 = i, 3*i - 10 = -4*a. Which is greater: i or t?
i
Let l = -1.39 - -0.8. Let s = l - -0.59. Let u = 1.62 - -0.28. Is u less than or equal to s?
False
Let t = 626083/101255 - 13/9205. Suppose 5*h - 2*o - 29 = 0, h + 3*o - 23 = -h. Which is smaller: h or t?
t
Suppose -2*k + 4 = 0, 3*t + 0*k - 15 = -3*k. Suppose 2*j + 5*q = -2, -4*q + 1 = -j - t*q. Which is smaller: j or -4.5?
-4.5
Let y be (-136892)/(-90) + (-12)/162*3. Let a = 1515 - y. Is -7 != a?
True
Let y(d) = 17*d**2 + 87*d + 1266. Let l be y(-13). Which is greater: l or 12031/4?
l
Suppose k + 10 = -0*l - 5*l, 2*l + 28 = -2*k. Let x = -23 + k. Is x less than or equal to -9?
True
Let j = -18 - -19. Let g be (-8)/2192*((10 - 5) + -7). Is j at least g?
True
Suppose -2*y - 5*u = -10, 3*y = -0*u + 3*u + 57. Suppose 195 = 3*k - 4*b, -3*b = 2*b + y. Let w = k + -74. Which is smaller: w or -15?
-15
Suppose 176 = -22*p + 26*p. Suppose b - 3 = p. Is b < 48?
True
Let j be 1*(-2 + 1)/((-12)/(-60)). Let v = 28 + -39. Is v greater than j?
False
Let o = 648190/131 - 4948. Which is bigger: o or 0?
o
Let h = -2675810/307 - -8716. Let t be ((-3)/9)/(1/3). Which is bigger: t or h?
h
Let i = 37053 + -36956. Let j be 11/(-2*(-2)/36). Is j at most i?
False
Let d(k) = k**2 + 9*k - 75. Let z be d(-15). Suppose -z*f + 12 = -27*f. Is -16 at least as big as f?
False
Let t(l) = -2*l**3 + 9*l**2 + 47. Let n(u) = -3*u**3 + 17*u**2 + 92. Let i(d) = 3*n(d) - 5*t(d). Let j be i(-7). Are -2/7 and j non-equal?
True
Let d(z) = -20*z - 25. Suppose 0 = -21*k + 4*k + 289. Let x(t) = 7*t + 8. Let p(i) = k*x(i) + 6*d(i). Let b be p(-6). Are b and -8 nonequal?
False
Let y(g) = -g**3 - 11*g**2 - 13*g - 8. Suppose 4*o - o + 25 = -d, -3*d + 37 = -5*o. Let i be (o/(-6))/(2/(-15)). Let p be y(i). Is p > 22?
False
Let i(y) = y**3 - 11*y**2 + y - 11. Let o be i(11). Let k = 8330 + -4664. Let b be 6/(-117)*-3 - 603/k. Is o at least b?
True
Let f = -103 + 92. Let p be ((-9)/6)/(f/(1254/(-126))). Is 0 less than or equal to p?
False
Let i be ((-21010)/3)/10 + (-3)/((-18)/(-4)). Is i greater than or equal to -698?
False
Suppose 2*z - 3*z = -5*y + 27, z + 3*y = 5. Suppose 48*o - 37*o - 20 = 2. Is z != o?
True
Let h = -1104869 - -1104907. Let w(n) = n**3 + 2*n**2 + 2. Let b be w(-2). Let o be (38/4)/(b/8). Is o < h?
False
Let n be 12/(781/(-33)*(-18)/4). Let q = n - -116/1491. Which is bigger: 1 or q?
1
Suppose a = -7, 4*l - 7*a = -10*a - 17. Does -14/1643 = l?
False
Suppose 3*o = -4*v - 668, 6*v + 830 = v - 5*o. Let w = 118 + v. Is -51 != w?
True
Let z be 204/(-221)*1/(-4). Let o(p) = 3*p + 32. Let h = 90 + -101. Let q be o(h). Which is smaller: q or z?
q
Let y = 576 + -675. Let a = 26.8 - 27. Is y at most a?
True
Let s be (-2 + -8 + 9)/1. Is s at least as big as 10/229?
False
Suppose 4*h + 2*g = 180, 5*h = 2*h - g + 134. Let z = -10/97499 - -48554612/1072489. Is z < h?
False
Let n = 1616 - 1526. Do 0.1 and n have the same value?
False
Let l be (-860)/210 + 4 + (-3715)/21. Let p = -177 - l. Let y(d) = -d**2 + 4*d + 4. Let s be y(5). Is p bigger than s?
True
Suppose 35*f = 8*f + 7*f - 1840. Is -100 equal to f?
False
Let l = 28 - 17. Let m = 10 - l. Let i(p) = p**2 - 48*p + 1. Let w be i(48). Is m at most w?
True
Let t = -531366609/4676 - -113637. Is t less than 1?
True
Let s be ((-25)/4 - -1)/(3/(-4)). Let y(w) = w**3 - 10*w**2 + 37*w - 12. Let z be y(s). Which is smaller: z or 99?
99
Let c = 1150 - 1102. Is c less than or equal to 1.1?
False
Suppose -4*a + 0*a - 3*w = -9, -3*a = -4*w + 12. Suppose 3*x + a*x - x = 0. Suppose -3*g - 3*f - 6 = x, 4*f - 50 = 5*g + f. Is -7 less than g?
False
Let a = -8781 - -351247/40. Is 1 < a?
False
Let l be -7 + -939 + -6 + 7. Which is smaller: -948 or l?
-948
Suppose -2452*f + 2386*f + 792 = 0. Is f bigger than 502/41?
False
Let z = -1 + -57. Let y = z - -66. Let w = 8.05 - y. Is 2/5 at least w?
True
Let a be 471/(-314)*((-66)/111 - 0). Is 1 >= a?
True
Let w = -279.334 - -0.334. Let z = -256 - w. Suppose 0 = -5*i + 3 - 8. Which is bigger: z or i?
z
Let h be (-168)/(-36)*18/(-2037). Is h != -0.05?
True
Let i = -10 - -13. Suppose 5*x = i*p + 4, -2*p = -p - 5*x - 12. Let t be -3 - (0 + 3 + -7) - p. Are t and 9 unequal?
False
Let p = 81.54 + 0.46. Let d = -20 + p. Let m = 61 - d. Which is bigger: m or -3?
m
Let a be (-7)/(630/40) - (-286)/(-126). Suppose 9 - 29 = 5*d. Which is bigger: a or d?
a
Let h(i) = -i**3 + 7*i**2 - 7*i - 11. Let f be h(4). Let j(n) = -n**3 + 10*n**2 - 15*n - 4. Let a be j(f). Let s = 58 + a. Is s greater than or equal to 2/323?
False
Let a be (22/(-6) - (-8)/12)*-1. Suppose -5*f - 53 + 21 = a*o, -9 = f - 2*o. Is -6 != f?
True
Let t be 1 - 217/(-42) - (-14)/(-84). Is 0.01 at least t?
False
Let l = 6.323 - 6. Let j = 0.323 - l. Which is smaller: j or -29/2?
-29/2
Suppose 257 = 4*y + 97. Let c = -7478/7 + 7748/7. Which is smaller: y or c?
c
Suppose -5*t - 30 = -p, -34*p - t = -29*p + 6. Is -27/227 at most p?
True
Suppose -22729 = 2012*t - 1995*t. Is t greater than -1337?
False
Suppose 4*n + 2*m - 1478 = 0, -n - n + 5*m + 721 = 0. Suppose -36 - 208 = -2*w + 2*r, 3*w - 2*r = n. Let x = 247/2 - w. Which is smaller: x or -1/3?
x
Let v = -0.30633 - -2.30633. Which is smaller: 3848 or v?
v
Let j be 18*(-2)/(-6)*-35. Let f be 2/(-3)*(-56)/j. Suppose 0 = -2*l + 18 - 18. Which is smaller: f or l?
f
Let s = 46 + -46.033. Let v = -49 + 44.8. Let r = 5.2 + v. Is r greater than s?
True
Suppose s + 2*s - 5*x - 28 = 0, 0 = 5*s + 5*x + 20. Let i be (-1294)/(-5292) - 940/23030. Is s <= i?
False
Let m be (-1 + 1 + -226)*(-15)/(-30). Which is greater: m or -1451/13?
-1451/13
Let t be -72 - -79 - (-5 - 5). Are 31 and t equal?
False
Suppose -13 = -3*h - 2*c, h + 176*c - 175*c = 5. Which is smaller: h or 24/7?
h
Let c = 10952.5 - 12079. Is c greater than or equal to 0.1?
False
Let h be 38/(-40) + (-2)/8. Let j = 1073.73 - 1075. Let s = j - -1.17. Which is bigger: s or h?
s
Let s(c) = -8*c + 29. Let j be s(4). Let o be (5 + j)/((-20)/(-34)) - 3. Let k = -7.4 - 0.6. Which is smaller: k or o?
k
Let z = 117 + -117.1. Let k = -42.037 + 0.037. Is k at least z?
False
Suppose 3*v - 18 = 12*v. Let i be (45/(-20))/(v/8). Suppose t - o = 5*t + 6, -2*o - i = 5*t. Which is greater: 4/35 or t?
4/35
Let q = 1795/3 + -12379/21. Let j = 586/63 - q. Is -1 > j?
False
Let d be 25/(-7750)*-1570 + 2/(-31). Let v = 1 - -1. Suppose -5 = -v*p + 9. Is p smaller than d?
False
Let n be 347 - 341 - 14446/10. Do n and -1439 have the same value?
False
Suppose -4*o = 5*u - 25, -4*u - o + 7 = -13. Suppose m + 5 = -u. Let j be 7 + m + 34/(-16)*-2. Which is greater: 0 or j?
j
Let x be 14/4*(-90)/(-945). Is 401 greater than x?
True
Let n = 671 + -705. Which is smaller: -15 or n?
n
Let d = 7268 + -7269.9. Is 66 at least as big as d?
True
Let z be ((-4)/(-6))/(10/45). Let l be (z - (-1 + -3)) + (-2 - 0). Suppose l*i - 8 = 2. Which is greater: i or 19/8?
19/8
Let p = 0.0001 - 6.0001. Which is greater: 5/42 or p?
5/42
Suppose -o - z = -589, -5*o + 55*z - 59*z + 2948 = 0. Is 592 less than o?
False
Let r be 1/2 + (0 - (-18)/4). Let i be 2/(-1) - (42 + -2 + r). Let l = i + 47. Which is bigger: l or -3/10?
l
Suppose 34*b + 56 = -22*b. Is b equal to -4/1259?
False
Let o = -44 - -49.2. Let v = -7012 + 7018.2. Let s = v - o. Is s less than or equal to -2/9?
False
Let l(q) = -3266 + 0*q**2 + 11*q + 3274 - q**2. Let m be l(10). Is 18 greater than m?
False
Suppose 6*i + 4*f = -240, -4*f = i - 115 + 175. Which is smaller: -814/23 or i?
i
Suppose 3*k + 46 = -5. Let o = 37 - 32. Suppose -o*w - 16 = -4*w. Which is smaller: k or w?
k
Let z be (0 - (-88)/63) + 28934/333 + -88. Let w = 0 - -4. Suppose -5 = 2*n - n + 4*x, 1 = -5*n + w*x. Is n less than or equal to z?
True
Let g(w) = 28*w**2 - 41*w + 40. Let t be g(1). Let v(c) = -c**3 + 7*c**2 - 5*c - 3. Let o be v(4). Let d = t - o. Which is smaller: d or 3?
d
Suppose -73*a - 8162 = 4*a. Is -97 at least a?
True
Let w(n) = 16*n - 4. Let x be w(4). Let m be 2*(0 + 6 + 539/(-98))*62. Which is 