r 1?
1
Let h = 1 + -3. Let l be (-1)/((-350)/191) - (-9)/(-18). Let j = l + 6/25. Which is smaller: j or h?
h
Suppose 6*u - 3*u = 3. Let w = 7402 + -155438/21. Which is smaller: w or u?
w
Let m(b) = -8*b - 129. Let k be m(-16). Which is smaller: -20/43 or k?
k
Let k be 202/2 - (-2 + -2). Let w = k - 84. Is w at most as big as 22?
True
Suppose 3*b - 16 = -7. Let c = b + -8. Are -5 and c unequal?
False
Suppose -5*l = -0*l - 100. Suppose 2*y = 7*y + l. Let i be (-91)/(-4) - y/16. Which is smaller: 22 or i?
22
Let d be ((-1 - -1) + 21)/2. Let l = -11 + d. Do 0.06 and l have the same value?
False
Let j = 6.387 - 0.387. Which is greater: 0.9 or j?
j
Let l be (62/(-651))/(1/3). Let j be (-4)/20 - (-106)/5. Is l greater than or equal to j?
False
Let d be 12/5 - 1 - 1. Let n = 10438 + -10383.03. Let w = n + -55. Which is smaller: w or d?
w
Let r = 2.4 + -2.8. Let i = r - -2.4. Suppose 0 = 5*n - 3*d + 15, -n - 1 = 4*d - 21. Is n < i?
True
Let o(b) = -b**2 + 3*b - 2. Let a(c) = -2*c**2 + 7*c - 3. Let w(g) = -3*a(g) + 5*o(g). Let l be w(7). Is l at least -1?
True
Suppose -60 = -3*r + 102. Let d be 6/27 + (-12)/r. Let v be 1 - 2/(-8)*-3. Which is bigger: v or d?
v
Let t be 96/(-2)*(-10)/(-8)*-1. Suppose g - t = 4*g. Which is smaller: -21 or g?
-21
Let l(d) = -d**2 + 4*d + 1. Let b be l(2). Let p be ((-10)/(-3))/((-4)/(-6)). Suppose 1 = 2*g + 5*q, -p*g + 18 = -3*q - 0*q. Is b bigger than g?
True
Suppose n + 10 = 8. Let l = -373 - -2607/7. Which is smaller: l or n?
n
Let s be -1 - ((-3)/12 - 3). Is s bigger than 10?
False
Suppose 0 = c + 3*c. Suppose -d + c = -3. Let g = 386 - 386.3. Which is smaller: d or g?
g
Let p be ((-1176)/64)/((-531)/66). Let h = 2/59 - p. Is h at least as big as -2?
False
Suppose 2*r - 112 = 6. Is r greater than 1?
True
Let n = 864 + -863. Is n bigger than 1709?
False
Let c be (-3 - -2)/(-2 - (-3)/1). Let z be (-37)/(-3) - (-2)/(-6). Suppose a = 5*a + z. Which is bigger: a or c?
c
Suppose -2*b - 3*p = 31 + 1, -2*b = -p + 16. Which is smaller: b or -12?
-12
Let x = 747 + -747.27. Is 1/3 at most as big as x?
False
Let m be (15/4 + -2)/(39/(-52)). Is m > -2.2?
False
Let s be (12/(-14292))/(((-35)/30)/(-7)). Is 0 > s?
True
Let v = -0.2 - -1.2. Suppose 2*g = -3*l - 65, -37 = 3*g - 2*l + 41. Which is bigger: v or g?
v
Let r be -1 + (7/(-7) - 231/6). Is r < -41?
False
Suppose 4106 - 956 = -15*l. Is -210 greater than l?
False
Suppose -5*p = -8*j + 6*j + 15, -5*p - 3*j + 10 = 0. Are p and -7/75 unequal?
True
Let s be 2*42/136*(-116)/(-870). Which is greater: s or -1?
s
Let m(d) = -d**3 - 7*d**2 - 13*d - 79. Let a be m(-7). Are 25/2 and a nonequal?
True
Let w = -0.1696 - -0.3856. Which is smaller: -1 or w?
-1
Let p = 6.252 - 0.672. Let v = p - 19.69. Let s = v + 14. Are -1 and s non-equal?
True
Suppose 12*g + 5*g = 374. Suppose -10*l = l + g. Is l equal to -1?
False
Let y = 5 - 7. Suppose -4*l + 2*l - 12 = 0. Let k be 45/l*(-1)/(-6). Which is bigger: y or k?
k
Let x(s) = -5*s**2 - 4*s + 5. Let q be x(2). Let g = 28 + q. Which is greater: g or 7?
7
Let o(g) = 2*g - 46. Let k be o(24). Suppose k*r = -4*q + 4 + 54, q + 4*r = 25. Is q less than 15?
True
Suppose -3*o + 3*z - 4 = -1, 2*z = 3*o + 2. Let p be 42/(-40) + (-2 + 3)*1. Is p at most as big as o?
True
Let w = 75 + -81. Let p be (-55)/30 + 1/w. Which is smaller: p or -1/4?
p
Let z = -0.079 + 0.038. Let h = z - 0.059. Are -2/11 and h nonequal?
True
Let s = -8 + 13. Let x = 5.5 - s. Let o = 0.4 - x. Is o > -1/3?
True
Suppose -17*y + 3 = n - 14*y, -4*n + 2 = 2*y. Let x be ((-2)/3)/((-44)/30). Is n at most as big as x?
True
Let q = -2.9 - -0.4. Let v = 0.033 + 2.267. Let d = v + q. Is d smaller than 3?
True
Let c = 88 - 15. Let n = c + -95. Does -22 = n?
True
Suppose 4*c - 30 = -c. Let u = 6 - c. Let g = 415 + -23653/57. Which is smaller: u or g?
u
Let p = -49 + 30. Let u = 29.27 - -0.73. Let y = u + p. Is y < 0?
False
Suppose 4*f = l + 61 - 334, -4*f - 271 = l. Let g = f + 478/7. Is g bigger than 28/3?
False
Let j = 0.0158 + -38.9158. Let d = -39 - j. Let p = 4.08 - 4. Which is smaller: d or p?
d
Let f = 13 + -50. Let y = f + 37.2. Let x = 1.9 - 2. Is y > x?
True
Let w = 1.16 - 1.1. Let c = w - -0.14. Let b = c + -0.3. Which is smaller: b or -2?
-2
Let p be (-2)/7 - 10/14. Let r be 1 - (2 - p)/(-3). Let t = -82 + 79. Is r greater than or equal to t?
True
Let f = 105 - 108. Let c = 0.022 - -3.078. Let d = -3 + c. Which is smaller: f or d?
f
Suppose -2*v - 5*y = -8, -5*y - 5 = -3*v + 7. Let b be ((-136)/85)/((-6)/15). Are v and b non-equal?
False
Let i be (-6 + -18)*10/(-15). Is 16 less than i?
False
Let v = -7/138 + 187/4140. Which is greater: -1 or v?
v
Suppose 4801 = -104*y + 71985. Is 644 bigger than y?
False
Let l be 1/(-4) + (-22)/(-88) + 0. Is -8/9 equal to l?
False
Let a = -727.6 - -639. Let u = 59.3 + a. Let v = 29 + u. Which is greater: v or 3?
3
Let h be (-3)/(-12) + 31/4 + -1. Suppose 0 = h*j - j + 6. Is j at most 2/29?
True
Let p be ((-1)/((-10)/4))/((-118)/118). Is 7.04 less than p?
False
Let f = -43 - -27. Let w be ((-108)/f)/3 + -2. Let u = 0.4 + -0.2. Which is bigger: w or u?
w
Suppose -18 = -0*x + 3*x. Let w be (-6)/(x/(-9)*-3). Let o be ((-1)/2)/((-6)/30). Which is greater: w or o?
w
Let b = -8 - -11. Let a = 73.1 + -73. Which is greater: a or b?
b
Let i be (2/2)/(1/298). Let t = 199 - i. Is -99 less than t?
False
Let s(l) = -l + 1. Let t(q) = 7*q - 12. Let g(i) = -s(i) + t(i). Let y be g(0). Do -8 and y have the same value?
False
Let s be (16/20)/((-3)/5). Let n = 20097/20 - 3801/4. Let k = n - 55. Which is smaller: k or s?
s
Let o be (3/12)/(4/(-1137)). Let z = 71 + o. Is -1 greater than or equal to z?
False
Let d be 28/7 - 38/7. Let w be (3 + -3)/((-1)/(-1)). Suppose 5*f + 10 = -w. Are d and f nonequal?
True
Let r be (10*(-10)/(-150))/(10/(-39)). Are -3 and r equal?
False
Let x = -16 + 9. Let u = x - -9. Suppose -m + u = m. Which is smaller: -1/6 or m?
-1/6
Let a = -5289/7 - -753. Which is bigger: a or 0.7?
0.7
Let j = 0.3 - 1.3. Let l = 0.06 - 9.06. Let q = -8.8 - l. Is q less than j?
False
Suppose 0 = 2*c + 8 - 22. Is 12 >= c?
True
Let r = 141796/329 - 431. Is r at least as big as 0?
False
Let x = 26 - 28. Let r be (-125)/(-441) - (-6)/(-27). Let a = r - 162/245. Which is greater: a or x?
a
Let n = -427 + 428. Which is smaller: 2/43 or n?
2/43
Let l(d) be the second derivative of d**4/12 - d**3/2 - d**2 + d. Let k be l(4). Which is greater: k or 7/3?
7/3
Let f = -556/13 + 43. Let n(c) = -c**2 + 5*c - 1. Let a be n(5). Which is bigger: a or f?
f
Suppose 0 = b - h + 4, -2*h + 3*h - 10 = 3*b. Let l = 2123 - 8505/4. Is l at most as big as b?
True
Let m be -2 + 17 + -6 + 31. Which is smaller: 45 or m?
m
Suppose -4*b = 1 + 31. Let h = b - -15. Let v = 2 - h. Is v > -4?
False
Let z(d) = d**3 - 8*d**2 - 11*d + 44. Let p be z(8). Which is bigger: 6 or p?
6
Let s = 26.3 + -26.3. Which is greater: 6 or s?
6
Let x be (-2 - (-4)/(-4)) + 6. Suppose 12 = x*t + 3*t. Suppose 5*y + t*a - 4*a = -51, -3*y - 4*a - 15 = 0. Is y <= -9?
True
Let n = -713 - -713. Which is bigger: 14/17 or n?
14/17
Let f = -26 - -24. Let q = -3 - f. Let z = 0 + q. Which is smaller: z or 0.2?
z
Let a = -1354 + 1160. Which is bigger: -193 or a?
-193
Let m be (-40)/25 - 8436/665. Which is smaller: -15 or m?
-15
Let q = 265 - 264. Which is greater: q or 0.13?
q
Let n be (-122)/10 + 10/50. Let w be 287/n + 9/12. Let l = w - -23. Is l greater than or equal to -1?
True
Let b be (47 - 43)*2/28. Is b > -0.3?
True
Let i(h) = h**2 + h + 8. Let d be i(0). Let a = d + -73. Let u be a/(-40) + (-1)/8. Is u at least 1?
True
Let s(o) = o**2 + 10*o + 11. Let a be s(-9). Let v(k) = k - 1. Let y be v(2). Let u = a + y. Which is smaller: u or 2?
2
Let f = -0.049 + -67.951. Is f at most as big as -2?
True
Let k = -1.672 - -898.672. Let v = k - 889.02. Let h = v + -8. Is h smaller than 0.3?
True
Let r be -6*5/(-30)*-1 + -5. Which is greater: r or -8?
r
Let r = -1 - -1. Let c = -204 + 228.2. Let w = -24 + c. Which is greater: r or w?
w
Let q be -1*(7 - 10) + -1. Let j = 83 - 659/8. Which is smaller: q or j?
j
Suppose -4*n + 167 = -n - 4*x, 4*n - x = 240. Let u = n - 61. Which is smaller: u or -3?
-3
Let l = -7.67 - -7.27. Is 2 >= l?
True
Let m = 37 - 295/8. Let b = -1505/3576 - 18/149. Let o = b - m. Do o and -7 have different values