is smaller: f or -7?
-7
Suppose -r + 6*r + 445 = 0. Let l = r - -625/7. Are -0.05 and l equal?
False
Let k be (2 - 1)*-2 + 2. Suppose k = -0*s + 5*s. Suppose -4*j + 0 + 4 = s. Is 0 at most j?
True
Suppose 2*x = 12 + 2. Do x and 7 have the same value?
True
Let q = -1.7 + 1.5. Let f be 4/6 + (-5)/3. Is f at most as big as q?
True
Let k = 10 - 7. Let q be k/2*12/27. Which is smaller: q or -2/5?
-2/5
Let n(g) = -g - 5. Let a be n(4). Let w be (-2)/a - 184/342. Let l = -8/95 + w. Is l less than or equal to -0.2?
True
Let m = -1.7 - -1.79. Let c = m + 0.11. Which is greater: c or -4?
c
Let a = 1 + -0.9. Do a and -2/5 have the same value?
False
Suppose 0 = -o - s - 2, 0*o - 10 = o + 5*s. Is 5/6 equal to o?
False
Suppose 15 = u - 2*a, -a - 3*a - 12 = 0. Let k = 9 - u. Is k bigger than -0.06?
True
Suppose 4*t + 22 = -2*x, x - 3*t = 2*x + 10. Which is greater: x or 1?
1
Let r be 1/(-3)*0 + 1. Is 1 < r?
False
Suppose -c = -4*g + 20, 0 = c + 5*g - 18 + 2. Let f be (-4)/c*(-2 + 1). Are f and -1 non-equal?
False
Let y(d) = d**2 - 12*d + 9. Let b be y(11). Is 2 >= b?
True
Let r be 2/4 - 10/4. Let h be (1 - 2/1) + -3. Which is bigger: r or h?
r
Let l = -35 + 36. Which is greater: l or 2/5?
l
Suppose 0 = 5*l + 2*y - 26, 5*y + 33 = 4*l - 1. Let w = 11 + -6. Which is smaller: w or l?
w
Let f(t) = t**3 - 7*t**2 + 6*t - 3. Let m = 17 - 29. Let y = 18 + m. Let g be f(y). Is -4 <= g?
True
Let q = 0.54 + -0.44. Is q > 13?
False
Let c = -2.16 + 0.16. Let r be -2*1/(-4)*1. Which is smaller: c or r?
c
Let l be 69/195 - (-2)/50*-5. Let a(p) = -p + 6. Let r be a(6). Which is greater: r or l?
l
Let v = 162/35 - 52/7. Let t = -13/5 - v. Let k = 18 - 19. Are t and k nonequal?
True
Let j = 4 - 1. Let x(i) = 4 - 3*i**2 + 2*i + i**j + i - 8*i. Let g be x(4). Is g at most as big as 0?
True
Let o = 27 + -17. Are 21/2 and o nonequal?
True
Let n = 1/12 - -7/204. Which is bigger: -1 or n?
n
Let p = 2 - 2. Suppose -4*d = m + 5, 0*m - m - 3*d - 4 = p. Is m greater than -2/5?
False
Let u be (-104)/(-14) - (-24)/42. Is 7 < u?
True
Let t = -8 - -2. Let j = t + 9. Let b = -2 + j. Which is bigger: b or 0.4?
b
Suppose 9*n - 7*n = 0. Does -1/3 = n?
False
Suppose 15*n - 13*n = 0. Let i be 5*2/(-10)*-3. Which is greater: n or i?
i
Suppose p + 2*p = 0. Let x be (-3)/(p - -3)*3. Let o = x - 0. Which is bigger: -4 or o?
o
Let c(m) = -m**3 + 7*m**2 - 6*m + 6. Let v be c(6). Let b = -6 + v. Suppose b = f - 3*n - 11, 6*n = 3*f + 3*n - 9. Is f equal to -3?
False
Let u be 2*(-2)/28 - (-212)/1876. Is u equal to 1?
False
Suppose 0 = -2*g + c + 2*c - 9, 4*c = 20. Suppose -2*o - b = 2*b + 5, -5*o = g*b - 1. Which is smaller: 3/4 or o?
3/4
Let b be 10/100 - 1/(-10). Are -1 and b equal?
False
Let p = 769/5 + -2741/20. Are p and 18 equal?
False
Suppose 4*p + 8 = 32. Let r be (18/(-15))/(p/(-20)). Suppose 0 = -d - r*d. Is d smaller than -1?
False
Let n be 1 + -1 + -1 - -27. Suppose -4*y - 2*k + 1 + 5 = 0, y - 5*k = -n. Is -2/21 less than y?
False
Let h(n) = -2*n + 2. Let p be h(-4). Suppose 5*k + 5*l = 0, -4*k + 5*l = k + p. Is k equal to -0.1?
False
Let i be 1/3*81/9. Is 3 > i?
False
Let g = 31 + -153/5. Let m = -33 + 32. Is m greater than g?
False
Let l = -0.3 - -0.4. Let m = l - 1.1. Do m and 0.3 have different values?
True
Suppose 5*g - 3*v + 6*v + 284 = 0, v + 168 = -3*g. Let h be 4/14 + g/21. Which is greater: -1 or h?
-1
Let c(h) = -41*h**3 - h - 1. Suppose -2*x + y = -0 - 1, 0 = 2*y + 6. Let d be c(x). Suppose -2*l - 3*l - d = -4*a, 21 = -a - 5*l. Which is bigger: 3 or a?
a
Let l be (2/(-5))/((-64)/30). Which is bigger: l or -1?
l
Let p = 4 - 3. Is p not equal to -0.05?
True
Suppose 8 = -16*r + 14*r. Which is bigger: r or -5?
r
Suppose 0 = -5*o + 2*o - 3. Is -1/14 less than or equal to o?
False
Let c be 1/3*(-108)/45. Which is smaller: c or 0?
c
Let c(g) = 1 + 3*g**2 - 5*g + 4*g - 4*g**2. Let z be c(-2). Is -1 < z?
False
Let i(b) = 2*b + 1. Let r be i(-1). Let n be r/11*(0 + 2). Which is bigger: n or -1?
n
Let p be 57/(-17) + 3 - 0. Which is smaller: 1 or p?
p
Let d = 21 - 12. Which is greater: d or 6?
d
Let k be (-5)/7*1 + 1. Let f(w) = w + 1. Let m be (-3)/5 - (-4)/(-10). Let s be f(m). Is k at most s?
False
Let v(t) = t**2 + 8*t + 7. Let u be (-3)/(-3) - (6 + 0). Let y be v(u). Let c = y - -33/4. Which is smaller: c or -1?
-1
Suppose 15 = -5*m + 95. Let h be 3*(2 - m/6). Let o be (-9)/(-6)*h/6. Which is smaller: 1/3 or o?
o
Let a = -81 + 407/5. Suppose -4 = 2*c + 2*c. Which is smaller: a or c?
c
Let c = 41 + -29. Let p = c - 12.1. Which is greater: -0.3 or p?
p
Let u(i) = -i - 8. Let v be u(0). Let y be 22/(-18) + v/(-36). Do y and -1 have the same value?
True
Let x = -1/583 - 17483/4081. Let t = x - -4. Which is smaller: t or 0?
t
Suppose 0 = 3*z + 2*m + 2 + 2, 4*z + 13 = 5*m. Let d be ((0/(-3))/1)/z. Is d > 4/15?
False
Let v = 11 - 6. Let u = 5.1 - v. Let h be 5/(-33) - (-2)/6. Is h >= u?
True
Let h be 1*(-2 + 2 + -4). Which is smaller: h or -5?
-5
Suppose 0 = -5*m - p - 22, 0 = 3*m + 3*p + 4 + 2. Is m >= -8?
True
Let g be (-24)/9*(-369)/12. Suppose 2*p + 2*q = -g, q + 229 = -5*p + 2*q. Let o = -224/5 - p. Is -1 > o?
False
Let z = -0.18 - -0.08. Let d = -2.99 + 3. Which is greater: z or d?
d
Let l(j) = j + 10. Let v be l(-9). Is v at least -2/21?
True
Suppose -20 = -2*g - 2*g. Suppose g*i - 5*s - 4 = 11, -s = 5*i - 3. Let b be ((-9)/(-6))/(2*-3). Does b = i?
False
Let x = -0.7 + 3.7. Let c = -4 + x. Let i = -7.6 + 8. Which is smaller: c or i?
c
Suppose -5*v = -5*b - 65, -2*b - 2*b + 3*v = 49. Is b <= -11?
False
Let m = -4 + 0. Let n = m + 12. Let o be (-10)/3*12/n. Is -6 less than or equal to o?
True
Suppose -8*h - 5 = -3*h. Suppose 2*q = -5*g + 42, -4*g - 5*q + 22 = 2. Let p be (-2)/g + 9/(-30). Is p greater than h?
True
Let c = -97 + 677/7. Are -1 and c unequal?
True
Let j = 6 - 4. Let h be 0/((-7)/((-7)/j)). Is h <= -4/3?
False
Let h = 177/2 + -90. Do 4 and h have the same value?
False
Let h = -5 - -2. Let l = 2 + h. Let u = -2 - l. Which is smaller: -2/5 or u?
u
Let b(i) = i**2 + 2*i - 1. Let h be b(4). Suppose 2*a + w - 6 = 3, -3*w = -4*a + h. Which is bigger: a or 4?
a
Let r be 9/(-27)*1*9. Let f(l) = -l**3 + 10*l**2 + 11*l - 1. Let b be f(11). Are b and r nonequal?
True
Let m(w) = -7*w - 10. Let r be m(-7). Let i = -118/3 + r. Is i <= 1/2?
True
Let b be 6/9*(0 + 3). Suppose b*l + 2*l = 4. Which is smaller: -2/13 or l?
-2/13
Let n = 3 + -6. Let p = n - 11. Let o be (-4)/14 - 4/p. Which is bigger: -2/7 or o?
o
Let f = 267 - 1329/5. Let a = -23/15 + f. Let j be (-4)/4 + (-6)/(-4). Which is greater: a or j?
j
Let w(r) = r**2 - 5*r**2 - 5 + 3*r**2 + 7*r. Let s(p) = p**2 - 4*p + 1. Let h be s(5). Let g be w(h). Which is greater: -1 or g?
g
Let n(g) = g**3 - 4*g**2 - 5*g - 1. Let w be n(5). Which is smaller: w or -4/3?
-4/3
Let u = -54 + 50. Is u less than -7?
False
Let a be ((-60)/24)/((-2)/4). Let v = 1.97 - -0.03. Is v at least as big as a?
False
Let n be ((-3)/5*23)/(-3) + -3. Which is smaller: n or 3?
n
Suppose r + 0*r + 2*k = 3, -r - 3*k + 4 = 0. Let v be (-1 - (-6)/4)*1. Which is smaller: r or v?
v
Let c = -0.05 - -0.02. Let d = -2/61 - -136/427. Is c <= d?
True
Let q = 2.942 - 0.042. Let s = q - 3. Which is smaller: -2/7 or s?
-2/7
Let k(r) = r - 6. Suppose -24 = -y - 3*y. Let b be k(y). Is b bigger than 0?
False
Suppose 0*h - 5*h - 160 = 0. Is h > -33?
True
Let b be (4 + 6)*(0 + 2). Let f be ((-42)/b)/(6/5). Which is smaller: 0.1 or f?
f
Let d be (-2)/9 - (-29)/9. Let w(o) = 5*o**3 + 4*o**2 + 3*o. Let j be w(-2). Let c be (-6)/(-9) - j/9. Which is smaller: d or c?
d
Let r be -2*(4/70)/2. Is -0.2 at most r?
True
Let r = -0.2 - -0.2. Let z = r - 0. Let j = -0.1 - -0.2. Which is greater: j or z?
j
Let r be (-2)/4 - 3540/(-7176). Which is smaller: 1 or r?
r
Let v be -2 + 2 - (-4 + 3). Let w be v/(-1) + (-20)/(-28). Is w greater than 0?
False
Let b = -466/3 + 158. Is b bigger than 2?
True
Let t(i) = -i**2 - 6*i + 5. Let a be t(-6). Let r be (a + -2)/3*1. Let y be 2/(-15)*(-6 - -3). Which is greater: r or y?
r
Suppose 0*a + 5 = -5*a. Let o be (2 - a)/(51/2). Which is smaller: 0.1 or o?
0.1
Let y = -1081/28 - -159/4. Which is smaller: 0 or y?
0
Let g = 17 + -9. Suppose j + j + 3*w = 4, 3*j - 4*w = 40. Is j less than or equal to g?
True
Let z be (-2)/10 - 327/15. Let i be (0 - 0)*11/z. Whic