l?
l
Suppose 2*f = -3*r + 63, -5*f - 4*r + 141 = -2*r. Let b = 138/5 - f. Which is greater: b or -2?
b
Suppose 0 = 2*i - 3*n - 11, -3*i - 3*n - 5 + 14 = 0. Let q be i/(-26) + ((-530)/(-65) - 7). Which is greater: -0.29 or q?
q
Let a = -97.912 + 0.112. Let l = a + 84. Let f = 14 + l. Which is smaller: f or -0.06?
-0.06
Let h = 24 + -27.4. Let i = h + 2.4. Which is greater: -2/5 or i?
-2/5
Suppose r - 103 = -2*b, 3*r - b - 94 = 2*r. Is r greater than 96?
True
Let y be (-1)/(-3)*(-24)/(-4). Let p(n) = -n + 7. Let l be p(0). Suppose 2*s = -2*v - s + 7, -v + y*s = l. Which is bigger: v or 1/14?
1/14
Let v = 28 - 16. Suppose v + 12 = 4*f. Let k = 8 - f. Is 1 greater than or equal to k?
False
Suppose -2*z + 4*x + 0*x + 96 = 0, 0 = -3*z - 2*x + 104. Suppose 0 = -6*p - z - 88. Is p less than or equal to -20?
True
Let j = 50.992 - 1.792. Which is smaller: -2 or j?
-2
Suppose 10 = -3304*b + 3306*b. Which is greater: b or -39?
b
Suppose 33 + 31 = -16*z. Suppose -4*u = -3*u - 5. Suppose -3*m - x - u = -4, 2*x = 4*m + 8. Which is greater: m or z?
m
Let x = 2307/5 - 461. Which is bigger: x or 393?
393
Let p = 283/840 - 1/280. Which is smaller: p or -2/29?
-2/29
Let h be ((-2)/(-142))/(5/(-13 + -2)). Let j = h - -98/639. Which is smaller: -1/4 or j?
-1/4
Let g = -593 + 646. Is 53 > g?
False
Let d = 2 - -1. Suppose 10 = -0*s + 2*s. Let r be (-2)/4 + 15/s. Is r greater than d?
False
Let q be 15/20 - 41/(-4). Let n be 951/q*(-20)/(-510). Let i = n - 36/11. Which is greater: 0 or i?
i
Suppose 0 = -3*c + 3*y - 63, -2*c - 4*y - 48 = -0*y. Which is bigger: -133/6 or c?
c
Suppose -3*s - 61 = 14. Let x = 6 + s. Let p = -97/5 - x. Which is smaller: p or -1/44?
p
Suppose 2*w + 4*c + 44 = 2*c, -3*c = -w - 6. Let o be 20/(-3)*w/12. Suppose -5 = 5*m + o. Which is greater: m or -2?
-2
Suppose -p = -5*l - 29, 5*p + 2*l - 1 = 9. Let t be (3/6)/(20/136). Which is bigger: p or t?
p
Let d = -253 - -282. Is d >= -2/7?
True
Let h(q) = q**2 - 3*q - 4. Let f(v) = -3*v**2 + 9*v + 12. Let u(m) = -2*f(m) - 7*h(m). Let d be u(4). Let j = 2039 + -8161/4. Which is greater: d or j?
d
Let d(f) = 13*f - 34. Let s be d(3). Suppose -11*h - s*h + 64 = 0. Is h greater than 7?
False
Let v be 129/12 + (-2)/(-8). Let i(u) = 3*u**2 + 17*u + 3. Let k be i(-6). Which is greater: k or v?
v
Let v be 0 - (6/1)/(-3). Let o = -236 - -237. Is v at most o?
False
Let l = 11.23 - 4.41. Let a = 24.18 + -24. Let r = a + l. Which is greater: -0.1 or r?
r
Let a = -0.3 - 4.4. Let i = a - -0.7. Let q be ((-14)/8 - -1)/(-2 - -5). Which is smaller: i or q?
i
Let g = -40 + 47. Do 4/5 and g have different values?
True
Let f = 21 - 20. Let o = f - 5. Which is smaller: -8 or o?
-8
Let c = -19 - 9. Let g = c - -8. Let m = -21 - g. Is m at least as big as -2/5?
False
Let f = 1548 - 1434. Is 112 less than f?
True
Suppose 0 = 2*t - 4*t + 3*w - 246, 4*w - 8 = 0. Let b be (0 - (-11)/(-4)) + t/(-160). Which is smaller: b or -5/4?
b
Let b = -46289/29 - -1596. Which is greater: b or -1?
b
Let q(t) = -t**2 + 16*t - 49. Let y be q(11). Is 6 greater than y?
False
Let t = -19.2 - -19. Let v = -2 + 2.06. Let a = v + 5.94. Is t less than a?
True
Suppose 4 = 2*a - 0*a. Suppose -3*y - 10 = 2*x, 0 = -2*x + 8*y - 9*y - 2. Let d be -3*x + (6 - a). Is d greater than 1?
False
Let p = -120 + 272. Which is bigger: p or 151?
p
Let q = -55 - -160. Let k be ((-2)/6 - 91/q)/(-8). Is k > -1?
True
Let k = -20.54 - 0.46. Let z = 29 + k. Let s = 9 - z. Do -2/3 and s have the same value?
False
Let f be (-51)/(-85) + 89*(-1)/155. Let z = -2158/465 - f. Which is smaller: -5 or z?
-5
Let y = 219 - 3722/17. Let q be (0 - 0) + 1 + 2. Let b be -1*2/(q - 1). Is b equal to y?
False
Let t = 111 + -156. Let z be ((-30)/t)/(64/30 + -2). Does z = 5?
True
Let t be (-4)/3*(-8 - -2). Suppose -4 + t = 4*z. Let h be (39 + -35)*1/2. Is z equal to h?
False
Suppose -77 + 83 = -6*a. Is a != 1/115?
True
Let y(n) = 6*n + 1. Let i be y(0). Is 1/170 equal to i?
False
Suppose -4*p - 20 = -4*n, 5*p = -0*n - n + 5. Let k = 51 - 43. Suppose -5 = -0*w - 5*w, p = t - 3*w + k. Which is bigger: t or -2?
-2
Let f be ((-4)/(-2) - 4)/15. Let k = 161.8 + -148. Let m = k - 14. Is m > f?
False
Suppose 490 = -33*l + 38*l. Suppose -4*w + 14 = -l. Which is smaller: 27 or w?
27
Let x(q) = -q**2 - 10*q - 15. Let v be x(-6). Suppose -7*j + 6*j - v = 0. Which is greater: -6 or j?
-6
Let j(f) = 2*f + 4*f + f - 10 + f + f**2. Let s be j(-9). Let c be s + (-9)/(-3) + -2. Is -0.07 less than or equal to c?
True
Suppose -y = -3*j - 33, -2*y = 3*y - 3*j - 105. Which is smaller: 15 or y?
15
Suppose 4*i + 4*k = -16, 5*k = -0*k. Which is smaller: -60/19 or i?
i
Suppose -4*g = -5 - 3. Suppose g*q - t + 27 = 4*t, 5*q - 2*t = -99. Do -21 and q have different values?
False
Let b = -25 - -23.32. Let k = 0.32 - b. Let v = -2.1 + 2. Do k and v have the same value?
False
Let p be -77 + (8/12)/(7/21). Is 1.1 > p?
True
Let i = 0.9 - 0. Let r = 0.3 + -0.6. Let s = r + i. Which is bigger: s or 0.2?
s
Let h(v) = -v**2 + 2*v - 4. Let n be h(4). Let k be 2 + -16 + 2*(-5)/(-10). Is k smaller than n?
True
Let g(p) be the second derivative of p**3/6 - p**2/2 - 2*p. Let u be g(-8). Let n = u - -8. Which is smaller: n or 0?
n
Let f = -1.6 - -2. Suppose -2*m + 0*s - 2*s = -20, -5*m + 3*s = -82. Let r be 2/m - ((-165)/21 - -5). Which is smaller: f or r?
f
Let s = -216 - -5403/25. Is 1 not equal to s?
True
Let n be (-203676)/146190 + (-14)/(-10). Which is smaller: n or 0?
0
Suppose -13 = 3*a - 4. Let q(x) = 16*x - 16. Let r be q(-13). Let o be r/120 - (-2)/10. Which is smaller: a or o?
a
Let p(z) = z**3 + 36*z**2 - z - 33. Let a be p(-36). Which is smaller: -4/3 or a?
-4/3
Let x be (1 + -2)/(1/(-17)). Suppose o - 31 = 5*q - 0*o, -3*q - x = o. Let l be q/36*(-40)/(-2). Is l less than or equal to -4?
False
Let z = 3.8 - 4. Let d = z - -3.2. Is -0.3 greater than or equal to d?
False
Let a(i) = -i**3 + 3*i**2 + 20*i - 7. Let j be a(6). Which is bigger: -5.6 or j?
j
Let z = -0.018 + 19.018. Let u = z - 25. Is -0.3 at most u?
False
Suppose 0 = -c - t + 2*t, 20 = -5*t. Let v be 3*(24/(-9) - c). Is v equal to 3?
False
Let z = 7207670255/1557 - 4629204. Let c = 3/173 + z. Which is greater: -3 or c?
c
Let x = -64 - -130. Suppose 5*c + x = 2*k, 0 = -5*c - 3*k - 103 + 27. Let f = c - -15. Which is greater: f or -1/4?
f
Suppose -5*o - 7 = -5*x + 13, o - 1 = -4*x. Let b be 1/4*(70 + 0). Let u = b + -17. Which is smaller: x or u?
u
Let v be (-4)/((-2544)/1278) - 2. Is v less than -1?
False
Let i be (9/(-6))/((-1)/(-2)). Let k be 30/(-14) - (2 + i). Suppose p - 21 = -22. Which is smaller: k or p?
k
Let l be 84/(-112) + 1930/24. Does l = 80?
False
Let g be -4 - ((-33927)/(-90) + -4). Let w = 377 + g. Which is greater: 0 or w?
w
Let v be ((-21)/45)/((-140)/120). Let m = 3 - 0. Suppose 2*g - 5*p + 3*p = -6, m*g + p = -1. Which is bigger: v or g?
v
Let h be (-44 - -43) + 2/(148/87). Is h bigger than -1?
True
Let c = 2610.8 + -2611.8. Let w = -1 + 1. Let g = -0.05 - w. Which is bigger: g or c?
g
Let k = -91 + 59.2. Let d = -190 + 158. Let m = d - k. Is -2 smaller than m?
True
Let y be (-7)/35*-4*(-1)/2. Which is greater: y or 0.078?
0.078
Let x be (-501)/(-6)*(-4)/(-2). Let j be x/511 + 6/(-21). Which is greater: 1 or j?
1
Let q be 1/(-2) - 9/18. Let v(h) = h**2 + h. Let f be v(6). Let p = -2144/51 + f. Is q bigger than p?
False
Let v = 763.7 - 764. Which is smaller: -39 or v?
-39
Let b = -1453357/1198480 - -5/29962. Let h be ((-21)/(-32))/((-1)/(-2)). Let d = h + b. Which is bigger: -1 or d?
d
Let u be -15*-5*(8/12)/2. Are u and -1/4 unequal?
True
Let d be 35/(-20) - (1 - 4). Suppose -3*w = 3*i - 4*i + 8, 5*w = 5*i. Let u be (-1)/w*0 + 1. Which is greater: u or d?
d
Let w = 6907 + -1650769/239. Is 0 bigger than w?
False
Let a be (-1 + 1)/((-2)/2). Suppose 9*v - 5*v + 8 = a. Let p be (-41)/(-13) - v/(-13). Is p < 2?
False
Let o(m) = m**3 + m**2 - 16*m + 24. Let g be o(-5). Let d(r) = -r**2 + 6*r - 4. Let i be (-2 - -2) + 6 + -1. Let z be d(i). Which is smaller: g or z?
z
Suppose 0 = 4*r + 4*x - 20, 5*r + x = 5*x - 20. Suppose -z - z + 2 = r. Is 1/80 at least z?
False
Let u = -4559/3 - -1526. Is u > 7?
False
Let s = 337/2 - 189. Let i be (-7)/14*(-40)/(-1). Which is smaller: i or s?
s
Let f(s) = 6*s**2 - 2*s + 1. Let b be f(1). Suppose -2*n + 3 = -