Is -125 bigger than l?
True
Let q = 66.5 - 62. Let a = q + -4.3. Is a equal to 16?
False
Let k be 1/(-4) - (-30)/56. Let g = -0.129 + 29.129. Do g and k have the same value?
False
Let s(x) = -4*x**2 + x + 2. Let g be s(-1). Let v be 3/(-9) - 28/g. Let b = 15.9 - 16. Is b != v?
True
Let s = -302 + 301. Is -1/35 < s?
False
Let c be (7 + 1)/(2/(-1)). Let y be 2/(-6) + (-6)/c. Let l = -5/2 + y. Is l at least -1?
False
Let w = 1601/3 + -541. Let s be (4/(-5))/(3/30). Is s at least as big as w?
False
Let z = 12.3 + -26.3. Suppose -7 = -3*i + a - 3*a, 1 = 3*i - a. Which is greater: i or z?
i
Suppose m + 16 = 2*m + 4*h, -m = 3*h - 14. Let z = m - -75. Is 84 smaller than z?
False
Let r = 15 + -6. Let s be (6 + 402/(-72))*10/(-25). Is r bigger than s?
True
Suppose -4*z + 72 = -4*s + s, -2*z + 38 = -s. Which is greater: 2/13 or z?
z
Let o(g) = 15*g**2 + 3*g - 4. Let t be o(3). Let m be t/(-44) - (-6)/2. Is -3 greater than m?
False
Let f be (-12)/10 - -1 - (-208)/1430. Which is smaller: 0 or f?
f
Let f be (-230)/(-18) + (-4)/(-18). Let t = 596 + -582. Which is smaller: f or t?
f
Suppose 20 = 2*m - 4*a, 0 = 3*m - 4*a - 21 + 1. Suppose -7*y + 3*y + 4 = m. Is 12 bigger than y?
True
Let n = 0.212 - -0.018. Let j = n - 0.13. Let g be 4/10 - (-6)/10. Which is smaller: j or g?
j
Let m = 131 + -44. Let x be m/(3 - 0) + -2. Let w be ((-3)/x)/(4/(-12)). Is w < -0.06?
False
Let p be 60/25 + (-6)/15. Suppose -p*z - 122 = -3*v, -3*z = -2*v - 7*z + 60. Is 38 smaller than v?
False
Let o(b) = 2*b**2 - 89*b + 44. Let q be o(44). Which is greater: -8 or q?
q
Let l be 2 + 5 - (-84 + 81). Are l and -2/37 unequal?
True
Let o = 961/5 - 189. Which is bigger: 3 or o?
o
Suppose -15 = 5*x - 5*v + 15, 5*x - v + 22 = 0. Let n be (-5)/(-3)*(-14 - -11). Do x and n have the same value?
False
Suppose -15*s = -0*s - 3*s. Which is bigger: s or 12?
12
Let z(m) = -6*m + 188. Let i be z(38). Is i less than -41?
False
Let i = -8/779 - 16794/33497. Which is smaller: i or -2?
-2
Let l be (-11 + 1)/(-1 - 1). Let p be (-3 - -2) + -1 - l. Let z be (-5)/p*(-12)/15. Which is greater: 0 or z?
0
Let i(a) = -8*a - 108. Let t be i(-18). Do t and 41 have the same value?
False
Let u = 1/4175 + -16809/455075. Is 0.1 less than or equal to u?
False
Suppose -4*a = -a + 165. Let i be 4/a*(-5)/(-6). Are -1 and i non-equal?
True
Let s = 742 + -736. Let b(j) = j**2 + 4*j - 7. Let r be b(-6). Which is greater: r or s?
s
Let p = -0.0678 - -2.0678. Suppose 3 + 3 = -3*d. Let h be d/(-21)*(-6)/(-2). Which is greater: h or p?
p
Let g(i) = -i**3 - 3*i**2 - i + 3. Let t(s) = -s - 1. Let n be t(1). Let d be g(n). Which is greater: -1/66 or d?
d
Let n = -2 - -1.8. Let i = -130 - -70. Let v = i + 71. Which is greater: n or v?
v
Let g = 67 - 673/10. Which is smaller: 0.15 or g?
g
Let r = 3.29 + -3. Let q = -0.29 + r. Which is smaller: -2 or q?
-2
Suppose 16*t = 12*t + 1680. Suppose 5*q - 17*q - t = 0. Which is smaller: -36 or q?
-36
Suppose -17*r - 248 = -180. Does r = -53/20?
False
Let t(n) = n**2 - 14*n + 169. Let z be t(20). Is 289 >= z?
True
Let n(q) = -q**2 - 4*q + 3. Let p be n(-4). Let b(r) = -r**3 + 6*r**2 - 6*r + 7. Let v be b(5). Suppose g = v*a - 7, -4 - 7 = p*g - 4*a. Is g <= -1?
False
Let o(s) = -2*s**2 - 8*s - 4. Let b(l) = -1 - 4 + 3*l**2 - 4*l + 3 - 4*l**2. Let h(y) = -5*b(y) + 2*o(y). Let v be h(-3). Is v <= 2/27?
True
Suppose -7*u - 40 + 61 = 0. Let m be 2 + 0 + 0 - 2. Suppose y + 2*y - 12 = m. Which is bigger: y or u?
y
Suppose -4*r - 68 = -20. Let a be (1 + 3)*45/r. Let q = -15 - a. Is q >= 1?
False
Let u = -4.7 - -4. Let w = -0.03 + -0.62. Let x = w - u. Which is smaller: 1 or x?
x
Let s = 98656939279/4785 - 20617960. Let r = 3/145 - s. Which is greater: r or 1?
1
Let h be 2650/(-4)*(-1)/10. Let k = -7147/108 + h. Which is smaller: 1 or k?
k
Suppose -23*z + 25*z + 4 = -5*t, -5*z - 4*t + 7 = 0. Do -144 and z have different values?
True
Let q(m) = -10*m + 170. Let k be q(0). Which is greater: 172 or k?
172
Let m = 177 - 186. Let j = 0.7 - -0.3. Is m less than or equal to j?
True
Suppose 2*z + 3*l = 14, -2*z + 3*l + 4 + 22 = 0. Let h be z/16*16/40. Which is smaller: h or 25?
h
Let j = 22.1 - 23. Let w = j + -0.1. Let q = -3 - w. Which is greater: 6 or q?
6
Let h(n) be the first derivative of -n**2 + 57*n + 13. Let g be h(28). Is g > 13?
False
Suppose 20 = 4*w - 5*j + j, 15 = 3*w - j. Let r(n) = w*n - 17*n - 5 + 9*n. Let u be r(-5). Is u smaller than 9?
False
Let u(l) = -l**2 - 8*l - 15. Let p be u(-6). Let z be 6/(1*(5 + p)). Suppose z*g + j + 0*j = -2, -2*g - 16 = -3*j. Which is smaller: -5/6 or g?
g
Suppose -4*z - 56 = -y, 5*z + 95 = -3*y - 2*y. Let t be (-2 + (-8)/(-12))/((-2)/z). Does -68/7 = t?
False
Let v be ((-6)/(-2))/(-3)*(-42)/329. Is -1 bigger than v?
False
Let g = 115/11999 + -4/169. Let v = g + 80/639. Suppose 5*d - 5*x = 20, -17 = -3*d + 5*x + 1. Which is smaller: d or v?
v
Let z be ((-12)/8816)/((-18)/(-478)). Let k = z - -1/76. Which is smaller: 0 or k?
k
Let i = 29 - 33. Let l = i - -4. Let s = 0.1 - 0. Is s != l?
True
Suppose -4*d - d = d. Is d <= -2/591?
False
Suppose 2*i - 21 = 5*i. Suppose 7 = -4*j - 13. Which is greater: i or j?
j
Let o = 12/13 + -155/182. Let l = o - 32/7. Which is smaller: l or -0.1?
l
Let r(d) = 5*d + 4. Let y be r(11). Let h = 146 - y. Is 86 >= h?
False
Let p = 42 - 34. Suppose 7*d + p = 134. Which is smaller: d or 19?
d
Let b = -126 - -145. Which is bigger: -4 or b?
b
Let o be 50437/29*(-7)/(-21)*3. Let k = -1739 + o. Which is smaller: k or -1?
-1
Let o = 306.074 - 306. Is o less than 0.2?
True
Let u = 82/7 + -260/21. Is u <= -226?
False
Let a(q) = 285*q**3 + q**2 - 2*q - 3. Let n be a(-1). Let l be n/(-130)*-2 - -5. Is l at most 0?
False
Let x be (-4)/6*((-5 - -13) + -5). Which is bigger: x or -42/25?
-42/25
Let n = -1446510/251 - -5763. Is n >= 1?
False
Let t be (-2*(-1 - 3))/1. Suppose 13*y = 5*q + 11*y - 15, -12 = 3*q + 3*y. Let g be 4 - ((3 + -4)/(-1) + q). Which is greater: g or t?
t
Let b be (-1)/4589*11/22. Let y = b - -945349/137670. Let a = -31/5 + y. Is a less than 1?
True
Suppose -52*z = 2244 - 892. Is z >= -294/11?
True
Suppose 6*w - 118 = 7*w + 2*q, 2*q = 3*w + 330. Is -115 at least as big as w?
False
Suppose 0 = -2*z - 8, z + 80 = -2*n - 3*z. Let i be 1/((n/(-10))/4). Which is bigger: i or 2?
2
Let c = 176 - 171. Is 14 <= c?
False
Let j = -0.911 - -0.711. Is j at most 2/43?
True
Let n be (0 - 1)*48/(-112). Let f = -3.1 + 3. Which is greater: f or n?
n
Let p be (-39)/18 + 10 + 385/(-42). Which is smaller: -21 or p?
-21
Let w(a) = -6*a + 0*a - 24 - 6*a + 18. Let m be w(-2). Is 132/7 less than or equal to m?
False
Let l = -40 + 39.8. Let w(i) = i + 6. Let a be w(-15). Which is bigger: a or l?
l
Let i = -7 - -13. Suppose 0 = 5*x - i*x. Suppose -2*q - h - 13 = 2*h, -3*q - 3*h - 15 = x. Which is smaller: q or -4/3?
q
Let r be (3 + -2)*(-2 + 5). Suppose m = -2*v + r, 5*m - m + 4*v = 12. Suppose -p + 4 = m*p. Which is greater: 1/5 or p?
p
Let d = -3450 + 990151/287. Is 1 at most as big as d?
False
Let y be (3 + 2)/5 - 6*1. Let w(d) = d**2 + 3*d - 29. Let s be w(y). Which is greater: 1 or s?
1
Let t(b) = -b**2 - 2*b**2 + 12 + 16*b + 4*b**2. Let w be t(-15). Let o = w + -1. Does o = 0.1?
False
Suppose -2*x + 16 = 2*d, 4*d = -x - 0*d + 14. Suppose 0 = -5*h + x + 19. Suppose 0*v = h*v + 30. Which is bigger: v or -2?
-2
Let x = -131 - -82. Let p = x - -44. Is p <= -2/3?
True
Let g = 69 - 54. Let l be ((20/g)/1)/((-3)/1). Is -1 smaller than l?
True
Let q = 0.9814 - -30.0736. Let c = q - 0.055. Let p = c + -44. Is p less than or equal to -1?
True
Suppose -31*p + 26*p - 5 = 0. Is p > -7/5?
True
Let g = 235/26 + -20/13. Let a(y) = 2*y - 1. Let b be a(4). Suppose 0*p + b = p. Which is greater: g or p?
g
Suppose 3*h = 13*a - 11*a + 300, -h - 3*a = -111. Is 107 >= h?
True
Let r = -0.7 + 2.58. Let p = 0.12 + r. Which is greater: p or -0.12?
p
Let q = 731 - 38745/53. Let a = q + -49/106. Let c = -3 - -3.06. Do a and c have the same value?
False
Let p be 6/21 + (-1 - (-773)/1043). Which is greater: p or 1?
1
Let j = 1.3 - -5.1. Let k = j + -4.4. Which is bigger: k or -2/7?
k
Let y(w) = 2*w**3 - w**2 + 4*w + 4. Suppose 4*m - 36 = -5*u, -4*u - 4*m + 28 = -u. Let a be y(u). Let q be (-4)/(a/45) - -1. Which is smaller: -1 or q?
-1
Let v = 0.274 + 54.626. Let w = 54 - v. 