*b - 3. Let q be s(3). Let y be (1 + q/2)/(25/(-20)). Which is bigger: y or v?
y
Suppose 14 = -3*a + 5*c - 12, -5*c = 3*a - 14. Which is greater: -7 or a?
a
Let z be (-25)/100*(-1 + -3). Which is bigger: -2/667 or z?
z
Let o = 283 - 225. Which is bigger: 60 or o?
60
Let q = 208 + -202. Is q less than or equal to 17/3?
False
Suppose 0 = -3*f - 2*f + 25. Let d be 4 - ((-2)/(4/(-4)) + -13). Suppose -f = 5*i - d. Which is smaller: 3/2 or i?
3/2
Let c = -2907 + 415703/143. Which is smaller: 0 or c?
0
Let a = -27.5 - -28.5. Is -389 at most a?
True
Suppose 6 + 84 = -3*h. Let w = 29 + h. Is -9/11 >= w?
True
Let v = -106.89 + 107. Which is bigger: v or -1?
v
Let b = 20.03 - 0.03. Let c = -22 + b. Let k be (-4)/(-5)*2 + -2. Is k less than or equal to c?
False
Let h = -62/3 + 1093/51. Which is greater: 0 or h?
h
Let u = 555.8 - 556. Which is smaller: u or -72?
-72
Let a = 36 + -35.23. Let x = 1.07 - a. Are x and -2/5 equal?
False
Let z(l) = l - 1. Let b(n) = -2*n + 3. Let o(t) = 2*b(t) + 5*z(t). Let a = -2 - -3. Let k be o(a). Is 8/11 greater than or equal to k?
False
Let g be (7 + -1)*(-6)/28. Let l = 8 + -8.1. Is g <= l?
True
Let x = 10 - 10.02. Suppose 4*l = 3*j + 2, 5*j - 3*l + 6 = l. Which is smaller: x or j?
j
Let q(b) = -b**3 + b**2 - 93. Let i be q(0). Which is smaller: -96 or i?
-96
Suppose 0 = -2*k + 5*s + 990, 10*k + 2*s + 978 = 12*k. Which is smaller: -0.1 or k?
-0.1
Suppose -3*f + z - 2*z - 9 = 0, 0 = 4*f - 3*z - 1. Let s be 3*4/(-14) - f. Let o be (0/(-1))/(4/4). Which is greater: s or o?
s
Let w(h) = -h**2 - 3*h - 7. Let d be w(-5). Let g be 1698/(-90) - 6/45. Which is smaller: g or d?
g
Suppose 2*d - 3*d - 58 = 0. Let r(a) = 2*a**2 + 198*a - 882. Let f be r(-103). Is d at most f?
True
Let r be ((-4)/(-6))/(6/9). Let t(d) = -d**3 + 8*d**2 + 17*d + 34. Let v be t(10). Suppose 0 = v*a + 7 + r. Is 0.06 at most as big as a?
False
Suppose -3 = -3*v - 6. Let t(i) = i + 4. Let y be t(-5). Let o be 1 + y + (-2)/(-5). Are v and o equal?
False
Suppose -5*x = -4*b - 2135424, 2*b + 1906372 = 3*x + 625118. Let o = 324156974/759 - x. Let y = 1/69 - o. Is y greater than or equal to 1?
False
Let g = -60 + 8. Suppose 42*v + 5*v + 45*v = -92. Is v > g?
True
Suppose 10 = 2*u + 7*b - 4*b, -19 = -u - 5*b. Let l be 200/962 + 4/(-26). Which is bigger: u or l?
l
Let o = 2.286 - 0.106. Is o less than -2?
False
Let b be 42/(-8)*2/8. Let h be (-2)/11 + (-32676)/(-10560). Let f = b + h. Does f = 2?
False
Let x(t) = -18*t + 17. Let i be x(1). Which is smaller: i or -6/11?
i
Let t = -0.27 + -3.73. Which is smaller: t or -3/7?
t
Let p(d) = d + 5. Let y be p(-6). Let g be (-1 + (-6)/(-9))*(-4)/(-12). Is y bigger than g?
False
Let f = -5 + 5. Suppose -5*r + r + x + 120 = f, 2*r - 60 = -4*x. Is r > 30?
False
Let y = -5595/176 + 316/11. Which is smaller: -2 or y?
y
Let h = -0.049 - 2.951. Let j = 1 + h. Which is bigger: 7 or j?
7
Suppose -4 = -o + 14. Let m = 6 + -6. Let c = 19 - m. Is c at most o?
False
Suppose -1 + 22 = -7*u. Let o(h) = h**3 + 3. Let n be o(u). Which is smaller: n or -23?
n
Let x(i) = -i - i**3 + 20*i**2 + 2*i - 12*i**2 - 11*i**2. Let y be x(1). Let h = 5 + -9. Is h bigger than y?
False
Let w(j) = j**2 - 5*j - 6. Let y be w(6). Let n be (y/(2 - 3))/1. Let q = 1161.9 - 1163. Which is smaller: n or q?
q
Let m = -30 - -24. Let r be -3*5/(10/m). Which is smaller: r or 11?
r
Let v = 14 - 8. Let o = v + 4. Let w = 0.2 - 0.1. Which is bigger: w or o?
o
Let q be 2 + (48 - (2 + -2)). Suppose 672 + 3778 = 89*n. Is n < q?
False
Suppose -q - 3*q - 3*g = 54, 65 = -5*q - 5*g. Let z = 8 + -11. Is z greater than q?
True
Let l = 32 - 33.4. Let d = -1 - l. Which is smaller: -1 or d?
-1
Let n be 10*3/12*6. Let g be 46/(-36) + n/10. Does -1 = g?
False
Let f be (-116)/(-290)*(-610)/(-4). Which is greater: 60 or f?
f
Let t = 43 - 43.5. Let o = 1.5 + t. Is o at least as big as 0.29?
True
Suppose -3*y = r + 2*y - 23, r - 3*y = -17. Suppose -60 = -2*w - 2*w. Which is bigger: w or r?
w
Let k(i) = -i**2 - i + 1. Let d be k(-2). Let w = 2 - d. Suppose w*n = -n + 8. Is 5/7 > n?
False
Let u = -252 + 252.1. Which is smaller: u or -222?
-222
Suppose -25*i = -24*i. Let b = -8132/13 + 626. Which is bigger: i or b?
b
Suppose 0 = 4*l - 2*s + 434, -l + 5*l = 3*s - 435. Let i be ((-15)/l)/(2/16). Is i not equal to 0?
True
Let u = 22 + -26. Let i be ((-18)/u)/((-15)/(-40)). Let b be 0 + 2 + -4 + i. Is 9 equal to b?
False
Let h be 50/15*-9*(-4)/(-6). Let w be 3/(-15) + (-14)/h. Which is smaller: 6/7 or w?
w
Let s = 468 - 433. Are s and -1/12 non-equal?
True
Let a be ((-2420)/(-1195) - 2)/3. Let s = a - -235/478. Does s = -3?
False
Let d be -5 + 10 + (-2 - 10 - -4). Which is smaller: d or -54?
-54
Let s(t) = t - 1. Let b be s(-3). Let x = b + -8. Let g = -96 + 83. Is g smaller than x?
True
Let j be 8/44 - (-31158)/(-396). Is j at most as big as -78?
True
Suppose -4*z + 7*z - 84 = 0. Suppose 3*u - z = -5*x, 0 = 2*u - 3*x + x + 8. Which is smaller: 3/23 or u?
3/23
Let r = 53 - 28. Suppose -6*x + r = 5*p - 3*x, 5*p - 4*x = 25. Let s be (p/15)/((-1)/(-24)). Which is smaller: s or 6?
6
Let h(f) = f**3 + 10*f**2 + 17*f - 8. Let m = 42 + -50. Let y be h(m). Which is greater: -50/3 or y?
y
Suppose 5*l = -92 + 102. Does 12/19 = l?
False
Let h = 10 - 6. Suppose -6*m + 10 = h. Let s = 5/41 + 73/410. Which is bigger: m or s?
m
Let o(y) = y - 10. Let g be o(10). Suppose 2*a = 4*a + 34. Let v = -11 - a. Which is smaller: v or g?
g
Let p be (-31)/(-1*(-1 + 2)). Suppose -2 = 2*l, -5*h - 6*l + 33 = -4*l. Suppose 3*f + p = h. Is f < -8?
False
Suppose -2*u + 27 + 7 = 0. Let r = 112 + -449/4. Which is bigger: u or r?
u
Let r(l) = l + 3 + 12 - 3*l - 21. Let u be r(0). Is u != -6?
False
Let b = -33 + 32. Is b < -21/16?
False
Let r(n) = -n**3 - 9*n**2 - 7*n - 7. Let h be r(-8). Let s be (h/132)/((6/(-4))/3). Do 0 and s have the same value?
False
Let m = 7781/140 + -388/7. Suppose -3*l = -4*l. Is m at most as big as l?
False
Let a = 68 - 71.7. Let b = a - -3. Is b at least as big as -5/4?
True
Let t = -50312/43 + 1170. Let j be (-172)/(-1118) - (-3)/(39/11). Which is smaller: j or t?
t
Let y = 63 + -35. Let h = y - 28. Let o(d) = d**3 - d**2 - 2*d + 1. Let g be o(2). Which is bigger: h or g?
g
Let q be ((175/45)/5)/((-130)/(-15)). Is q > 1?
False
Let t(u) = -u**3 + 10*u**2 + 11*u + 75. Let j be t(11). Which is greater: 67 or j?
j
Let u(a) = 66*a - 11. Let v be u(2). Let c = -121 + v. Which is bigger: c or -1?
c
Let l = -11 + -3. Let b = 637 - 651. Is l > b?
False
Let b = -19.02 + 19. Let l = 20.82 + -21. Let g = b + l. Which is bigger: g or -1?
g
Let c(f) = -5*f + 101. Let p be c(21). Which is greater: p or -3?
-3
Let q(m) = m**3 + 6*m**2 - 25. Let w be q(-5). Which is bigger: 6/461 or w?
6/461
Let b be 6181/(-1848) + (-6)/16. Let n = 1/33 - b. Which is smaller: 4 or n?
n
Let y be (-6)/(-27) - (-141)/27*-1. Let u be (-1)/y + 48/(-15) + -1. Is u less than or equal to -30/11?
True
Let b be (8/(-42))/(8/(-12)). Let l(r) = 3*r - 21. Let j be l(7). Suppose j*g = -4*g. Which is greater: g or b?
b
Let j = -9.6 + 6. Let t = j + -0.4. Which is smaller: -7 or t?
-7
Let t = -45 + 58. Suppose 85 = -3*d + t. Do d and -24 have the same value?
True
Let u = 168 - 173. Suppose -c + 4*c = -4*w + 3, -9 = w + 4*c. Suppose w = -3*s - 0*s. Does u = s?
False
Let y be (-2 + 1)*(-133)/(-19). Let n(z) = z**2 + 9*z + 13. Let j be n(y). Which is smaller: j or 4/9?
j
Let b be (88/6)/(3 + 8/(-3)). Let p be (1/8)/(2/b). Which is smaller: 3 or p?
p
Let w(n) = -n**3 + 2*n**2. Let d be w(2). Suppose d = 5*k - k - 52. Let r = 6 + 7. Is r not equal to k?
False
Let g = 15 - 14. Let y = 0.12 + 0.28. Is g smaller than y?
False
Suppose 0 = 3*x - 4*i + 40, -4*x - 6*i - 24 = -4*i. Let l(a) = -a - 4. Let w be l(x). Let b be w - 7/(21/12). Is 1/18 less than b?
False
Let g(u) = u**3 - 24*u**2 - 11*u - 175. Let r be g(25). Is 175 less than or equal to r?
True
Let p = 2782 + -976478/351. Is p bigger than 1?
False
Suppose -6*l - 8 - 34 = 0. Let i be l/(-3) + (-2)/6. Let u be (3 - 4)/(6/(-4)). Is i less than or equal to u?
False
Let z = 149 + -150. Which is bigger: z or 1/3?
1/3
Let f = -1232 - -1232. Is 0.0444 at most f?
False
Suppose 8*y = 13*y. Let z = -3243/17 + 191. Is y at least z?
False
Let o(l) = -11*l**2 - l - 2. Let t be o(2). Let s be ((-2)/(-34))/(12