e 18/24 + 23/(-4). Suppose -4*l - 6*m + 3*m = -19, l = 2*m + 2. Suppose 3*r + 3*a = -27, 4*a - 2*a + 26 = -l*r. Is r greater than or equal to s?
True
Let f be (6/(-4035))/((3 + -1)/(-10)). Which is bigger: f or -1?
f
Let b = 7 + 4. Let n(v) = -106*v + 437. Let r be n(4). Is b equal to r?
False
Let z(y) = 8*y**2. Let g be z(-1). Suppose 7*d - 54 = d. Let c = d - g. Which is smaller: c or -2/19?
-2/19
Let l = -185 - -172. Let p = -6.94 - 0.06. Let a = p - l. Which is bigger: -3 or a?
a
Let n = 4 - -2. Let u(p) = -14*p - 14*p + 1 + 22*p. Let t be u(-1). Does t = n?
False
Let m be 140/(-48)*360/112. Is -10 equal to m?
False
Let t(r) = -r + 5. Let z be t(2). Let o be z/(-8)*1/6. Are 0 and o equal?
False
Let f(p) = p**3 - p**2 + p + 5. Let q be f(2). Suppose 2*x - 5*t + q = -2*t, 2*x = -4*t + 24. Is 4/7 > x?
False
Let u = 44699/21 - 2128. Let b = 6/7 - u. Which is smaller: b or -1?
-1
Let g be 4/18 + 48/27. Let l = 0 + -2. Let f be 40/75*(-3)/l. Which is bigger: f or g?
g
Let n = -61.03 + 61. Is -6 at most as big as n?
True
Let z(d) = 3*d**2 + 23*d - 48. Let n be z(-11). Is 63 <= n?
False
Let s(n) = -n**3 + 10*n**2 - 26*n + 13. Let m be s(6). Do 95/39 and m have the same value?
False
Let h(q) = 2*q + 17. Let u be h(-8). Let c be (-4)/u + (-3)/(171/(-222)). Suppose w - 2*w + 1 = 0. Which is smaller: c or w?
c
Let q = 620 - 825. Is -202 >= q?
True
Suppose 0 = 3*a - 6*a - 474. Let h = a + 179. Let o be 23 - 2/2 - 2. Which is bigger: o or h?
h
Let r be (-11)/9 - 0 - (-74)/333. Let g = -6 + 9. Let v be (-5)/g - (-3 + 2). Which is smaller: v or r?
r
Let f = 543/5 - 542/5. Do -26/5 and f have the same value?
False
Let z = -2/13 - 87/26. Is z bigger than 14?
False
Suppose 4*j + 1 = 3*j. Let k be (-261)/(-270) + j + 0. Suppose s + 3 = 4*s. Is k at least s?
False
Let k be (-2)/(-237)*(-75)/275. Is -1 < k?
True
Let s = 2606 + -2517. Is s >= 625/7?
False
Let o be (-3)/(-5)*(-70)/(-63). Suppose -5*v = -2*i - 20, -51 = -v - 47. Is i <= o?
True
Let n = 673.8859 - -0.1141. Which is greater: n or -1?
n
Let k(w) = w**3 - 13*w**2 + 9*w + 3. Suppose -13 + 109 = 8*p. Let c be k(p). Is -33 equal to c?
True
Let j = -41/57 - -1/19. Which is smaller: 3 or j?
j
Suppose 4*k - 5*i + 790 = 0, -2 = i - 0. Let t = -4601/23 - k. Suppose 3*s + 2 = s. Which is smaller: s or t?
s
Let s = -0.2 - 4.8. Let k be 15/(-6) + (7 - 5). Is k < s?
False
Let d = 33 - 23. Let n be (66/(-18))/((-20)/60). Which is greater: d or n?
n
Let x be -6 - ((6 - 16) + -5). Let q be (-3)/(-2)*3/(-6). Is x < q?
False
Suppose 62*s = 67*s - 10. Is s != 41/13?
True
Let r(h) = -2*h**2 - 10*h - 15. Let c be r(-5). Which is smaller: c or -95/6?
-95/6
Let u = 71 - 64. Suppose -x = 2*x - 27. Is u greater than x?
False
Let l = -1/85 + 103/1530. Let h = -673/5 - -135. Is h at most as big as l?
False
Let r = 1.062 + -0.062. Is r <= 285?
True
Suppose 0 = 2*w + w - 639. Is 212 equal to w?
False
Suppose -15 = -0*w + 5*w. Let c = -3 - -4. Suppose -3*h = -2*o - c, -2*h + h = o + 8. Is h at least w?
True
Suppose 0 = 29*n - 25*n - 200. Let m = n - 4. Which is smaller: m or 45?
45
Let v(r) = r**2 + 7*r - 9. Let w be v(-8). Let p = 1 - -3. Suppose 5 = -h, b + 0*b + p*h = -17. Is w <= b?
True
Suppose -4*a + 2*x - 36 = x, 3*x = a - 2. Let j be (2*(-2)/320)/(a/(-25)). Which is smaller: j or 1?
j
Let i(y) = 2 + y**2 - 2 + 2 - 1. Let m be i(-2). Let r be (-18)/48*(m - 3). Which is greater: r or -2?
r
Suppose 3*r = 5*r - 106. Which is smaller: r or 51?
51
Let y be 2/(-6)*(-2)/(-14). Let g(c) be the first derivative of c**2 + 16*c + 28. Let r be g(-8). Which is smaller: r or y?
y
Let l be (-4)/(-14) - 166/(-7). Suppose 0 = u + 3*u - l. Let g be 161/(-35) - u/(-10). Do -4 and g have the same value?
True
Let m = -119/6 + 139/12. Which is bigger: -8 or m?
-8
Suppose 24*m - 840 = 9*m. Are m and 56 nonequal?
False
Let l = -62.8 - -62. Let m = 0.5 + l. Is -1/3 less than or equal to m?
True
Let r = -176 + 100. Let x = r - -76.3. Is x <= -0.1?
False
Suppose -5*d + t = -87, 2*d = -t + 18 + 14. Suppose 0*j - 16 = -2*j + 2*g, 4*j - d = g. Suppose 5*u = 53 - j. Which is greater: 9 or u?
u
Suppose 33*s = 16*s - 21*s. Is 2/993 at least as big as s?
True
Let q be (81/(-54))/(3/4). Which is greater: -18/17 or q?
-18/17
Let t(o) = -24*o**2 - 8*o - 35. Let v be t(-5). Is -594 equal to v?
False
Suppose 0*i + 12*i - 48 = 0. Suppose -5*z + 11 = -i. Is z at least 2?
True
Let f(h) = -21*h**2 + 14*h + 35. Let l(g) = -4*g**2 + 3*g + 7. Let x(n) = 2*f(n) - 11*l(n). Let t be x(6). Let b be 10/t - (1 + -1). Which is smaller: b or -1?
-1
Let m = 78 - 50. Let g = m + -27. Which is smaller: g or 6/11?
6/11
Let x = -25/57 - -2/19. Suppose 3 = 3*i + p - 0, -5*p = 0. Is i != x?
True
Let f = -6.194 + 0.094. Let i = f + 4.1. Is -13/5 at most as big as i?
True
Suppose 3*f - 2*t + 181 = -112, -4*f - 409 = t. Let x = f + 106. Suppose 7 = 3*h - 2*h. Which is greater: x or h?
h
Let h be (-32)/(-240) + 34/(-30). Which is smaller: 19 or h?
h
Let b be (-2)/(16/18) + 2. Let g = -30 - -6. Let i be 2 + 0 + 68/g. Is i equal to b?
False
Suppose d = -d. Suppose -3*i + i - p + 103 = d, 3*p = 5*i - 285. Let w be (i/(-4) + 2)*2. Do -23 and w have the same value?
True
Let i = -1658 + 1671. Is 0 <= i?
True
Let v be 2 - (0 - 1/(-1)). Let i = -81577031/1207909794 + 1/436226. Let b = -2/213 + i. Which is bigger: b or v?
v
Let q be 1/3 - ((-1270)/15 + 1). Is 85 greater than or equal to q?
True
Let o be 6/(-5)*5/(-1). Let a(l) = 4*l**2 - 128*l + 3. Let m be a(32). Suppose o*k - 9 = m*k. Which is smaller: k or 2?
2
Let z(j) = 13*j + 6. Let a be z(-3). Let b be (-3*4/a)/2. Let q = -1/2 - -1. Is b smaller than q?
True
Let w = 0.7709 - -0.2291. Which is greater: -234/11 or w?
w
Let g be (-2*3)/(48/(-1136)). Which is smaller: -0.1 or g?
-0.1
Let z = -228158777/6075 - -37557. Which is greater: 1 or z?
1
Let t be -4 - -4 - (-6)/3. Suppose -1250 = 3*i + 2*i. Let o be i/(-72) + 10/(-45). Are o and t equal?
False
Let q be ((-5)/15)/(22/30732). Let n = q - -466. Let j(d) = d**3 + 5*d**2 - d - 5. Let g be j(-5). Is n at most as big as g?
False
Let j = 6 + 0. Let i be j/(-39) - (-361)/65. Let a = -86/15 + i. Is 0 < a?
False
Suppose 8 = 3*p - 4. Suppose 4*q = v + 32, -q - 3 = v - p*v. Suppose -4*d + 4*t + 44 = 0, -5*d - 5*t + 29 = -6. Is d > q?
False
Let r = -43.4 + 256.4. Which is greater: r or -0.1?
r
Suppose 3*o - 2133 = -3*h, -5*o + 927 = h + 208. Which is smaller: h or 708?
708
Let u = 68.3 + -71. Let t = u - 0.3. Which is smaller: -21 or t?
-21
Let b = -253/62 + 9/2. Do b and -1 have the same value?
False
Let u = -42 - 282. Let a be (-153)/u - (-2)/(-8). Is a less than 0?
False
Let s = 8467/5 + -1720. Which is greater: -27 or s?
s
Let y = -2.05 - -0.05. Suppose -6*i = -8*i + 86. Let a = i + -45. Is y at least as big as a?
True
Let r be (-4)/(-6)*(-15)/(-10). Which is greater: r or 59/5?
59/5
Suppose -58 - 54 = -3*g + 2*o, -g = -o - 38. Let h = -45 + g. Which is smaller: 0.1 or h?
h
Suppose 2*u - 3 = x, -3*u - 17*x + 7 = -21*x. Which is smaller: 1/1509 or u?
1/1509
Let h = 0.4081 + 0.0919. Which is smaller: 0.031 or h?
0.031
Suppose 0 = 2*t + t - 4*b + 8, -t - 4*b = -24. Which is greater: t or 5?
5
Let i be (-105)/(-36)*(-2 + (-592)/(-28)). Which is greater: i or 55?
i
Let w(u) = -2*u**3 + 4*u**2 + 2*u + 1. Let n be w(-3). Let j be 17/n*10/4. Let x = 128/105 - -4/35. Which is greater: j or x?
x
Let t = 2399 - 16830/7. Let n = t + 5. Let i = -17 - -16. Which is bigger: n or i?
n
Let f be (-2)/3*1701/42. Is -27 equal to f?
True
Let q be (-62298)/270 + (-15)/25. Which is smaller: -232 or q?
-232
Let p be 6/21 - 12/(-7). Suppose -3*o + 16 = p*y, 4*o - 3 = y + 11. Suppose -3 = -y*x + 21. Are x and 12 nonequal?
False
Let k be 6435/105 - ((-15)/21 + 1). Is k less than 64?
True
Let m = -20 - -20.5. Let z = 0.16 - m. Is 0.1 not equal to z?
True
Let l(s) = s**3 - 10*s**2 + 18*s - 7. Let m be l(8). Suppose -m*g = -g - 8. Which is bigger: -2/5 or g?
g
Let g be ((-2 - -1) + 1)/1. Let h = 101251/150 + -675. Which is smaller: g or h?
g
Let g(f) = -31*f - 496. Let x be g(-14). Is x > -64?
True
Let q = 5 - 3. Let b be q/4*(-8)/34. Let u be (-2 - -5)*4/(0 - 12). Are b and u non-equal?
True
Let t = 35 + -21. Let o = t - 13. Suppose 0 = 5*l - o + 6. Which is bigger: -6/25 or l?
-6/25
Let v = -20.15 - -0.15. Let w = -31