e (0 - 0)/(2 - 4). Let b be (-5)/4 + 1 - w. Which is smaller: b or p?
p
Let f = -6 - -5.6. Let y = -43 + 55. Let o be 4 - 13/(26/y). Is f bigger than o?
True
Let j(p) = -4*p**2 - 13*p - 3. Let k be j(7). Let o be k/(-165)*-3 + 4. Which is smaller: o or -2?
-2
Let b be 4 + (14/28)/(83/(-660)). Suppose -4*a - 12 = -2*m, -3*a - 3*m + 5 = -m. Is b greater than or equal to a?
True
Let z(f) = 2*f - 4. Let r be z(4). Let b be ((-96)/420)/(r/10). Is -2 less than or equal to b?
True
Let i = -1079 - -25897/24. Do i and -3 have the same value?
False
Let n = -8.84 + 8.82. Is n less than 0.1?
True
Let r = -0.021 - -4.821. Let j = -5.8 + r. Let h = -0.2 + 0.3. Is h at most j?
False
Let d be -8 - -5 - 1*-10. Suppose -h = 5*m - 13, -m - m + d = h. Which is bigger: m or 4?
4
Let a be (-3 - 7 - -9)*93. Do -93 and a have different values?
False
Let a = 29.988 + 0.012. Let s = 3936.93 + -3967. Let v = s + a. Is -0.1 at least as big as v?
False
Let k = -69 + 79. Let l = k - 10.02. Is 0.3 != l?
True
Suppose g = 6 - 2. Let n be ((-13)/g + 2)*4. Let q be (616/(-33))/28*9. Which is bigger: q or n?
n
Let x = -7.8 - -6.2. Which is smaller: x or 2/37?
x
Let n be (-525)/6930*(1 + (-446)/440). Is n > 1?
False
Let o be (16/14)/(-2) - 12/28. Which is greater: o or -20/11?
o
Let n be (-28)/238 + 189/17. Let u be (0 - 0)/(n + -7). Is 2/9 smaller than u?
False
Let m = 25.734 - 25.78. Which is bigger: m or -1.3?
m
Suppose -13*d - 138*d = -24*d - 1270. Suppose -3*u + 6*u - 6 = 0. Which is greater: u or d?
d
Let a(y) = -2*y - 9. Let c be a(-6). Suppose -5*g + 18 = -2*g + c*m, -4*g + 4*m - 8 = 0. Let z = 4/31 - -50/93. Which is bigger: z or g?
g
Let n = 0.6 + -3. Let q = n + 6.4. Let d = -4.09 + q. Which is bigger: d or 0?
0
Let o be (-11 + 13 - -3)*(-4)/8090. Do 0 and o have different values?
True
Let b(l) = -l**3 + 8*l**2 - 7*l - 45. Let o be b(5). Is o at most as big as -21?
False
Let s be 32/5 - (-6)/(-15). Let v = -28 - -31. Is v greater than or equal to s?
False
Suppose 42*d - 9*d = -33. Let n be (-35)/10*(7 + -1). Is d at most n?
False
Let w be 15/10*(-2)/3. Let y = 3 + w. Suppose -3*m = -5*p + y*m + 20, -p - 6 = m. Is p <= 2?
True
Suppose 0*a - 5*a + 565 = 0. Let c = a + -227/2. Is 0.03 less than c?
False
Let d = -5/67 + -347/737. Let g = -1662 + 3325/2. Is g bigger than d?
True
Suppose 0 = -3*j, -4*x = -j + 1 + 3. Which is bigger: 4/139 or x?
4/139
Let i = 1227 - 729. Which is greater: 1 or i?
i
Let a = -14/169 - 11929/845. Is a at least -2?
False
Suppose -4*y = l - 6324, -4*y + 2053 = -4*l - 4251. Let w = y + -1044. Let d be (-1)/(-4) - 118/w. Which is smaller: d or -1?
-1
Let o(q) = q**3 + 6*q**2. Let f be (-40)/(-12)*-3*1. Let i = f - -4. Let p be o(i). Which is smaller: 2/15 or p?
p
Let k be -1 - -3*20/6 - 1. Let y be k*5/(-150)*10/12. Let r be (2/(-3))/((-2)/6). Which is smaller: r or y?
y
Let w = 0.1196 + 163.8804. Which is smaller: -2 or w?
-2
Suppose -6*y + 20 = -2*y. Suppose y*r = -i + 3*i - 4, -2*i = -4*r - 2. Is r bigger than -1?
False
Let r = -128 - -126. Which is bigger: r or -3?
r
Let c = -32 + 35. Suppose -3*f + 18 = c*r, -2*f + 26 = 5*r + f. Let u = 6 + -6.1. Which is greater: u or r?
r
Let o be 32/(-112) - (-74)/14. Suppose -2*i - 2*p = -0*p - 6, 15 = o*p. Is -6/29 >= i?
False
Suppose 4*u + 1 = 9. Suppose -4*p - u*q = -14, 2*p - q - 1 = 4. Suppose -p*r - 3*r - 42 = 0. Which is bigger: r or -8?
r
Suppose 0*a - 27*a + 6534 = 0. Is a >= 241?
True
Let y(b) = b**2 + 31*b - 1648. Let q be y(28). Suppose -24 = -4*o - 0*o. Which is smaller: o or q?
q
Let y = -93.77 - -95. Let n = y - 6.23. Which is bigger: 0.2 or n?
0.2
Let v be -5 - -7 - (1 + 3). Let u be 4*(-1)/v*11. Which is smaller: u or 67/3?
u
Let i = -13.9 + 13.7. Which is bigger: 0.003 or i?
0.003
Let x = -26 - -39. Suppose -2*v + v + x = 0. Suppose 4*p + 4*y = -20, -36 + v = 4*p + 3*y. Is -9 < p?
True
Let c be (4 - (0 - (-4 + 3))) + -8. Let y be c/(-30) - 46/420. Suppose 4*n + 0*j + j = -2, 0 = -4*n + 3*j - 10. Are n and y nonequal?
True
Let p(t) = t**2 - 6*t + 4. Let k be p(5). Let j(g) = g**3 + 4*g**2 - 15*g - 16. Let a be j(-6). Let d be (a/14)/((-24)/28). Which is smaller: d or k?
k
Let i = 2.9 + 9.1. Let o = i + -11.95. Are 1/3 and o equal?
False
Let r = 6 - 4. Suppose 0 = -o + 5*a - 2, -a - r = -o. Suppose -4 = 4*f, 2*j + o = 6*j + 5*f. Are j and 2/5 unequal?
True
Let c be (-2)/(-4)*(90/385)/3. Which is greater: 0 or c?
c
Let u = -31 + 44. Let o = u + 1. Which is greater: o or 1?
o
Let n = 20.5 - 20.58. Which is smaller: 6 or n?
n
Let n = 385 + -206. Let b = -19 - n. Let i be (-12)/(-54) - 208/b. Does 2 = i?
False
Suppose -3*r + 5*r + 5*a = 28, -2*r + a = -52. Suppose -26 = 2*d + r. Let v = -23 - d. Is 1 smaller than v?
True
Let i = 334.2 - 77.2. Which is bigger: i or -1?
i
Let b be (1821/(-35) - 15)/(3/(-10)). Which is bigger: b or 222?
b
Let o(b) = -4*b - 46. Let c be o(-12). Let y be (c/9)/(4/(-39)) + 3. Do y and 2 have different values?
True
Suppose 6*r - 22*r + 48 = 0. Which is bigger: 36/13 or r?
r
Let w(c) = 5*c - 6. Let r(q) = -11*q + 13. Let y(a) = -6*r(a) - 13*w(a). Let x be y(-3). Suppose 0 = 2*f - 5 + 9. Which is bigger: f or x?
f
Let o(d) = -d. Let u(n) = n**2 + 8*n - 12. Let l(h) = -4*o(h) + u(h). Let z be l(-13). Is 3/29 at most z?
True
Suppose 0 = -2*k - k + 6, -5*i - 14 = 3*k. Let z be i/(-3) - 16/(-24). Suppose -3*y - 2*w = 19, y + 3*w + 21 = -y. Is z less than or equal to y?
False
Let a(n) = -n**3 + 9*n**2 - 7*n - 6. Let v(g) = 2*g**3 - 18*g**2 + 14*g + 11. Let i(d) = 7*a(d) + 3*v(d). Let p be i(8). Are p and -23 non-equal?
True
Suppose -4*i - 1 + 121 = 0. Suppose 3*r + 3 = i. Are 9 and r equal?
True
Suppose 3*s - 561 = 2*f, s - 376 = -s + 2*f. Is s != 185?
False
Suppose 5*h - 6 - 4 = -5*n, 0 = -4*h + 3*n - 6. Is h at most 3/4?
True
Let l(d) = 10*d**2 + 2*d + 2. Let k be l(2). Let q = k + -152/3. Which is smaller: 1 or q?
q
Let i(t) = 2*t - 153. Let n be i(17). Is n equal to -119?
True
Let r be (-6)/(-27) + (-47)/171. Let p(u) = -u**2 - 10*u + 13. Let c be p(-11). Suppose 2*m - 4*f + 22 = -0*m, 3*m - 7 = -c*f. Is m at most as big as r?
True
Let m = 4.84 + -12.03. Let a = m - -7. Let p = -8.81 + a. Are -1/3 and p equal?
False
Suppose -4*o = -9*o - 10. Let k(m) = -m**3 - 10*m**2 - 10*m + 1. Let w be k(-8). Let z be o/(-9) + w/9. Is z not equal to -5?
False
Suppose -v - 3*f = -430, v + 1277 = 4*v - 4*f. Is v > 427?
False
Let h(t) = -2*t - 21. Let f be h(-12). Suppose y - 16 = -f*y. Which is bigger: y or 2?
y
Let w be -10 + (18 - (-9)/(-1)). Which is greater: w or -12?
w
Let l(j) = -j**2 + 12*j - 11. Let t be l(11). Let n be (48/(-10))/((-3)/(-10)). Do n and t have different values?
True
Let x = 720 + -730. Which is smaller: x or -0.07?
x
Suppose 10 = -5*d - 3*n - 2*n, 3*n = 3*d + 18. Let c(y) = 79*y - 157*y + 80*y + 8. Let m be c(d). Which is greater: m or -4/7?
m
Let m = -65203/13 + 5011. Is -6 equal to m?
False
Let o be (-2316)/60*(-10)/(-4). Are o and -96 nonequal?
True
Let h = -6.4 - 1.57. Let p = -0.03 + h. Let x = p + 10. Which is bigger: 2/3 or x?
x
Suppose -297 = 5*d - t, -3*t = -8*d + 5*d - 171. Which is bigger: -59 or d?
-59
Let q = 12 + -13. Let u be (160/66 - 2)*6. Let p = 459/176 - u. Which is smaller: p or q?
q
Let u(y) = -y + 22. Let a = 0 + 0. Let w be u(a). Suppose -3*d - 4 = 3*f + 5, -2*f = -5*d - w. Which is smaller: f or -2/29?
-2/29
Let f = -24/5933 + -2781521/261052. Let p = 43/4 + f. Which is smaller: p or 0?
0
Let u = -20.9 - -8.9. Suppose -4*i = i - 10. Let v be 2 - (2/(-7) + i). Which is bigger: v or u?
v
Let f be 2/(-6) - 34/6. Let h be 23 - (10/(-2) + 5). Suppose -30 = t - h. Is f at most t?
False
Let n = 5 + -4. Let c be n + 1 + 1 - -6. Let g = 0.09 + -0.09. Is c greater than g?
True
Suppose -41*q + 30*q = 209. Let p(f) = -8*f + 5. Let m be p(3). Are q and m non-equal?
False
Let f = -39.7 - -39.6. Which is smaller: f or 1/27?
f
Let y(p) = -p + 8. Let a be y(4). Suppose 3*h - a*g = 204, g = -0*h - 3*h + 219. Let l be 8/(-4)*(-2)/h. Is 0 greater than l?
False
Let w(v) = v**3 + 4*v**2 - 1. Let j be w(-4). Let s(z) = z + 10. Let b be s(-8). Let d be b*(-5)/9 - -1. Is d <= j?
False
Suppose 0 = 3*n + 79 - 115. Which is smaller: -20 or n?
-20
Let d = -25 - -21. Let f be ((-2)/6)/(d/336). Let h = f + -29. Is h greater than or equal to -1?
True
Let w be ((-1)