 + 50. Let w be (-223)/20 - ((-12)/5)/k. Which is smaller: w or -11?
w
Let a be (-4)/16 + 26/8. Let k be a/9*0 + -11. Let i = k + 11. Which is smaller: i or 2/3?
i
Let b be (-44)/55 + (-657)/(-840). Do b and -1 have the same value?
False
Suppose v - 2*v + 3*a - 5 = 0, -3*a = -3*v - 15. Let y be 4/((-3)/(-2) + -1). Let u be 6/y + (-57)/12. Is v > u?
False
Let p be (-2196)/1044 - 2/(-1). Which is greater: 1 or p?
1
Suppose -p - 5*z = -z + 43, -4*p + 4*z - 92 = 0. Let a be (-9)/(-6)*(-18)/p. Is 4/5 at least a?
False
Suppose -2 = -6*o + 4. Let c be (-1 - 0 - 1)/(-18). Is o less than c?
False
Let l(d) = -4*d - 14. Let v be l(-3). Let r be (-4)/(v/(-7) - (-8)/(-77)). Is -1 at least as big as r?
True
Let j be -2 + (-5)/5 - 297/(-45). Let q be 3/6*(-1 - -7). Is q equal to j?
False
Let x = -11/45 - 1/180. Is x less than -8?
False
Let w = -48.1 + 48.2. Let m = -12 - -18. Let j = 6.12 - m. Which is greater: j or w?
j
Let m = 95837 - 95876.137. Let h = m - -0.137. Is 0.2 less than or equal to h?
False
Let f = -217 - -227. Which is greater: 8 or f?
f
Let s = -44 + 1007/23. Is 3 smaller than s?
False
Let g be (-159)/(-105) - 216/120. Which is bigger: g or -0.0649?
-0.0649
Suppose 27 + 3 = -3*h. Let u be -4 + h/(-2) + 9. Let v = 10 - u. Is 0 != v?
False
Let p = -19343/2 + 9863. Let i = -195 + p. Which is smaller: i or -4?
-4
Let q = -172 - -687/4. Let p = 26 + -26. Which is smaller: p or q?
q
Let y = -5119/2210 + 4/85. Let s = 36/13 + y. Are 11 and s unequal?
True
Let f = 6.9 - -0.1. Let l = 0.35 - 0.52. Let r = -0.27 - l. Which is greater: f or r?
f
Let o(k) = 10*k. Let u be o(2). Let q be 2 + (-18 - (-1)/1). Let g = u + q. Which is greater: 7 or g?
7
Let m be 3*(4/6 + (-147)/207). Which is bigger: m or -1?
m
Suppose 0 = 2*j - 4*x + 146, -3*j + 4*x + 1 - 220 = 0. Is j less than or equal to -73?
True
Let j(y) = -y**2 - 6*y + 1. Let b be j(-4). Let i(u) = -59 - 12*u**2 + 29 + 26 - u**3 + 12*u. Let v be i(-13). Is v > b?
False
Let y be (-2)/7 - (-24)/(-14). Let t be 76/19 + 3*-364. Let n be (-2)/10 - t/(-560). Is y <= n?
False
Let b = -68 - -54. Let a be (3 + 38/b)/(117/21). Let g = 9 + -9. Which is smaller: a or g?
g
Let i = -1038 - -1039. Is i < -3/28?
False
Let c(s) = 118*s**3 + s**2 + 26*s + 24. Let a be c(-1). Is -114 smaller than a?
False
Let w be 0/(-7 - -12 - 3). Which is bigger: -7/13 or w?
w
Let t be 30*(5 - 10 - -6). Which is bigger: 23 or t?
t
Suppose 0 = 4*h + 39 + 41. Let f = 0.068 + 0.132. Is f bigger than h?
True
Let d be 3/1 - (0 - -7). Let v be (-224)/(-126) + d/(-18). Suppose 0*l - 6 = v*l. Which is smaller: 1 or l?
l
Let b be (0 + 2)*-2*95/10. Let c = 29 + b. Do -17 and c have the same value?
False
Let n = -26 + 34. Suppose 2*u = n*u + 18. Is u less than -2?
True
Let h = 3.8 - -1.2. Let u = 7 - h. Let d(v) = -2*v - 5. Let i be d(-5). Is i less than or equal to u?
False
Suppose -7*m = -6*m + 18. Let x be -21 - m - (0 - 2). Is 3/47 bigger than x?
True
Let f = 3.287 + -0.037. Let n = -2.4 - -5.7. Let z = n - f. Is -1 less than z?
True
Let i be (120/(-16))/((-6)/8). Suppose -5*h + i*h = -5. Is h != -4/17?
True
Suppose 0 = -4*h - 13 - 35. Let m = h + 22. Suppose 0 = 4*a - 14 - 6, -4*a + 14 = -3*z. Which is bigger: z or m?
m
Let y(a) = -4*a - 17 + 4*a - 18 - 3*a. Let v be y(-12). Is 10/7 smaller than v?
False
Let s(u) = -u + 8. Let v be s(9). Let l be (-26)/(-1)*(-1)/(-2). Let q be (-2)/2 + 15/l. Is q smaller than v?
False
Let c(b) = -5*b - 27. Let s be c(-9). Let i be (66/(-4))/(s/3)*-4. Which is greater: i or 10?
i
Suppose 6*u - 50 - 40 = 0. Let k be 72/30 - 6/u. Suppose 0 = 3*s - f, 3*s - 3*f - k = -8. Which is greater: s or -2/33?
s
Let u = -1869 - -1869.5. Which is bigger: u or 20.5?
20.5
Suppose 3*g + 83 = r - 0*r, 0 = -g + 2*r - 31. Let n(d) = -35*d - 165. Let w be n(-4). Is w smaller than g?
False
Let n = 1753 + -401433/229. Which is greater: n or 1?
1
Let x(s) = -4*s**3 + s**2 - 1. Let f be x(-1). Let k be (0 - 165/(-25)) + (-33)/55. Which is smaller: k or f?
f
Let d = 156.8 + -145. Let u = -12 + d. Which is greater: -4/9 or u?
u
Let m = 5 + 3. Suppose -4*d + 39 - m = 3*x, -2*d = -x - 23. Suppose -2*g = 3*g + d. Which is smaller: -3 or g?
-3
Suppose -3*j - w + 3*w - 4 = 0, 0 = -2*w + 10. Suppose o + 6 = -j*o. Suppose -4*b = -3*b. Which is bigger: o or b?
b
Suppose 0 = 4*q + 3*v - 471, -q - v = 2*v - 111. Which is smaller: q or 119?
119
Let o = 66 + 189. Which is smaller: o or 256?
o
Let g be 4/(-14) - 10/14. Let x = 366866/59 - 6218. Which is smaller: g or x?
g
Let f = 63/44 + -13/11. Which is bigger: -48 or f?
f
Let b = -1/13 + 16/39. Let q be 6/5 - (-44)/55. Suppose -q*p = 3*p. Which is smaller: p or b?
p
Suppose 43*p + 16094 = 17*p. Does p = -619?
True
Suppose 3*r + 21 = -3*h, -3*h = 3*r + 2*r + 29. Let y be ((-4)/6)/((-2)/h). Is 27 at most as big as y?
False
Let a = 0.99 - -0.01. Let o = -14 + 13.93. Let w = o + 0.01. Is w >= a?
False
Let h(z) = -z**3 - 4*z**2 + 4*z + 1. Let l be h(-5). Suppose -399 = -13*o + 6*o. Suppose o - 45 = 2*k. Is l bigger than k?
False
Let x be 4/(4/2) - -3. Suppose l + 3*q - x = 0, l + 7*q - 3*q - 6 = 0. Let h = -3.87 - 0.13. Is h greater than or equal to l?
False
Suppose -346 = -3*l - 331. Let z(p) = -p**2 + 8*p - 5. Let b be z(6). Which is smaller: b or l?
l
Let z(h) = h**2 + 2*h - 53. Let d be z(-9). Let a be 5/((-10)/d - (-9)/10). Is -52 greater than a?
False
Let q = 1715 - 1717. Are 71/3 and q equal?
False
Let z = 127/6 + -943/42. Is -0.5 at most z?
False
Let h be -27 - -33 - (-8888)/(-1476). Which is greater: h or 1?
1
Let s = -49 - -49. Suppose s = -17*r + 12*r. Which is bigger: 1/47 or r?
1/47
Suppose 898 = 2*w - 4*x, 1162 = 3*w - 2*x - 201. Is 459 < w?
False
Let h be (46/(-230))/(4/(-270)*-3). Let s(g) = -g**3 + 8*g**2 + 7*g + 12. Let i be s(9). Which is smaller: i or h?
i
Let g be (1*(-2)/3)/(16/192). Suppose 0 = -2*k + 5 - 3. Let d(c) = -7*c**3 - c. Let n be d(k). Is n less than or equal to g?
True
Suppose -27*n = 53*n + 400. Is 66 smaller than n?
False
Let l = -1.34 - -1.3. Let u = 0.26 + -0.4. Let p = u - l. Which is smaller: p or 2?
p
Let n = 0.828 + -0.628. Which is smaller: n or -47.6?
-47.6
Let n = 4.21 + 0.69. Let m = n - 5. Is 13 bigger than m?
True
Suppose -5*d + 2*t + 1052 = 0, -2*d + 220 = -d + 2*t. Let p = -1900/9 + d. Let m be 10/14 + (-8)/(-28). Is p at least as big as m?
False
Let n be ((-6)/16)/(63/(-28)) - 3. Let r = n - -3. Is 0.1 greater than or equal to r?
False
Let j be (-12)/102*(4 + 39/(-9)). Which is greater: 6 or j?
6
Suppose 0 = -5*m - 17 + 7. Let v be ((-27)/6)/(-9)*m/(-1). Which is bigger: v or 5/26?
v
Let c be (-6)/(-21) - (-5)/((-70)/186). Let z = c - -52. Is 38 at least z?
False
Suppose -q + 0*k + 12 = 2*k, 5*k + 22 = 4*q. Suppose 6*b - 4*b = q. Let g(n) = n - 4. Let r be g(b). Do -2 and r have the same value?
False
Let x(b) = b**2 - 5*b - 13. Let p be x(-6). Suppose 5*o + p + 12 = 0. Is o greater than -14?
True
Let g = 26011495166/8631 - 3013729. Let m = g + -7/137. Which is smaller: -1 or m?
-1
Let h = 399 + -441. Do h and -44 have the same value?
False
Suppose -26*a = -10*a + 3616. Which is greater: -227 or a?
a
Let y = -81.63 - -81.5. Which is smaller: -5 or y?
-5
Suppose 9*k = 5*k + 12, 6 = -j - 2*k. Let t(x) = x**2 + 8*x + 1. Let n be t(-6). Is n smaller than j?
False
Suppose 0 = 12*a - 6*a - 60. Let w(n) = -n**2 + 10*n - 1. Let v be w(a). Which is bigger: -3 or v?
v
Suppose -5*d + 126 = 131. Is d >= -2/543?
False
Suppose -2*u + 0*u = 2. Suppose 8*j + 17 = 33. Is j smaller than u?
False
Let u(w) = 3*w - 95. Let c be u(32). Which is greater: c or 16/11?
16/11
Let r be (-48)/(-36)*1/(-6). Which is bigger: -50 or r?
r
Let p = 8 + -20. Let b = p + 11. Which is greater: -5/7 or b?
-5/7
Let i(b) = 3*b**3 - 13*b**2 + 14*b - 21. Let y be i(6). Which is smaller: y or 244?
y
Let m(s) = s**2 - s - 14. Let f be m(-4). Is f != -2?
True
Let o = -19.44 - -18.2. Which is bigger: o or -0.1?
-0.1
Let n(m) be the first derivative of -m**2 + 6*m - 8. Let g be n(4). Let q be (g/32)/(3/(-30)). Which is bigger: 1 or q?
1
Let o be 36/(-30)*20/3. Let s = 10 + o. Let a be 4*(-3)/36 - 26/(-12). Which is smaller: s or a?
a
Let n = 249 - 249. Is 5/69 less than n?
False
Let d = 1.4 - 0.8. Let h = 0.7 - d. Let b = 0 + h. Which is smaller: -9 or b?
-9
Let y = 0.28 - 0.3. Let w = 5 - 4.7