f = 0.01 + r. Which is greater: f or 0.2?
0.2
Let j(n) = -n**3 + 9*n**2 + 2*n - 15. Let f be j(9). Which is smaller: f or -1/3?
-1/3
Suppose f - x + 0*x = 0, 4*f + x + 5 = 0. Let v = 281 - 5621/20. Is v at most as big as f?
False
Suppose -f = -2*z - 8, f - 10 = 3*z - 0. Which is smaller: z or -8/3?
-8/3
Let f(d) = d - 2. Let w be f(0). Let c be -5*((-33)/(-18) + w). Is 1/4 != c?
True
Let d = 0.4 + -0.4. Let h = d - -5. Let t = h + -5. Which is smaller: t or -1?
-1
Let z = -1310/3 + 433. Is z at least -3?
False
Suppose 4*v + 0*v = 16, -v + 4 = -5*i. Is -1 at least as big as i?
False
Let t = -553/5 + 111. Are t and -2/5 equal?
False
Let j = -21.1 + 22. Let a = j - 1. Which is smaller: -1 or a?
-1
Let f = 11 + -8. Suppose f*c + 5*z = -2*c - 10, c - 2 = z. Is -1/5 < c?
True
Suppose 5*x + 3 = 8. Is x bigger than -0.7?
True
Let v(x) = 10*x - 151. Let q be v(15). Let p be 4*-2*6/16. Which is smaller: q or p?
p
Let t = -3.83 - 0.07. Let g = 0.1 - t. Let z = 5 - g. Which is smaller: 0.3 or z?
0.3
Suppose -9*n + 8 = -5*n. Which is smaller: n or 2/15?
2/15
Let f be ((-5 - -23)/(-3))/(129/(-2)). Which is bigger: 0 or f?
f
Suppose 2*b - 8 = 0, 3*b - 3 = -3*k + 30. Let h = k + -7. Which is bigger: h or 6/7?
6/7
Let f = -5/31 - 28/403. Which is bigger: f or 1?
1
Let c = -34.2 + 34. Is c equal to -5?
False
Suppose -w + 6 = -5. Let r = 8 - w. Is -5/2 < r?
False
Suppose 7*y - 4*y + 9 = 0. Let f = -3 - y. Which is smaller: f or 3/7?
f
Let u be ((-14)/4 + 3)/(84/16). Which is bigger: u or 2/5?
2/5
Suppose 0 = -5*d + 4*d - 3. Suppose -11 = 5*w + 4. Is w equal to d?
True
Let j be ((-56)/(-40))/((-6)/5). Let f = 1/2 + j. Is -1 > f?
False
Let l = -3 + 0. Let x = 2.97 - 0.07. Let b = l + x. Is 1 > b?
True
Let z be 80/14 + 2/7. Let j = z + -1. Which is smaller: 0 or j?
0
Let o = -2114 + 1326. Let r = -7082/9 - o. Let s(k) = k**2 + 5*k + 1. Let g be s(-5). Do r and g have the same value?
False
Let d(g) = -3*g**2 + 1. Let u be d(1). Which is smaller: 0 or u?
u
Suppose 3*i - g = 43, 2*i + 0*g = -2*g + 34. Let c be (i/(-6))/(-5)*-2. Is c > -2?
True
Let q = -1 + -1. Suppose -3*y - 15 = 2*y, -2*g + 10 = -2*y. Suppose -g*l - 2*i + 6 = 0, 3*l + 17 = 2*l + 3*i. Is l greater than q?
False
Let t = 8 - -5. Suppose 0 = -5*f - t + 33. Suppose f*v + 0*v + 4 = 0. Is v < -1?
False
Suppose 4*h = -z + 12, 0*h - z + 8 = 2*h. Suppose n = h - 3. Is n greater than -5?
True
Suppose -4*h - 11 = -4*w + 5*w, 0 = 5*h - 10. Is w less than -16?
True
Let o be (-7 - 9/(-3))/(-2). Are 5 and o nonequal?
True
Suppose 2*o + 8 = 2*p + 4, 3*p = -o - 10. Let h be 0 - 3*(p - -1). Which is smaller: h or 2?
2
Let g = -97 + 97. Which is smaller: g or 1/195?
g
Let m = 47.2 - 47. Which is greater: m or -14?
m
Suppose -b - 4*b = -25. Let z = 4 - b. Let p = 2 - 1. Is p smaller than z?
False
Let c = -79 - -79. Which is bigger: c or 0.05?
0.05
Let m = -0.05 - 0.05. Let x = 8.1 + -10. Let s = x + 2. Which is smaller: s or m?
m
Let j(z) = 2*z**2 - 9*z - 1. Let d be j(7). Is 33 not equal to d?
True
Let m(x) = 5*x + 3. Let l be (-2)/4 + 6/4. Let i be m(l). Do 8 and i have the same value?
True
Suppose i - 5*g = 5*i + 9, -2*i - 5*g - 7 = 0. Which is smaller: -6/13 or i?
i
Suppose 13 = 3*l + 4*h, -2*l - h + 4*h = -3. Which is smaller: l or 5/3?
5/3
Let l(q) = 0 + 9*q + 3*q**2 - 9 - 2*q**2. Let d be l(-10). Let h = -4 + 3. Is d at least as big as h?
True
Let m(a) = 2 + 19*a**2 + 8*a + 7 - 20*a**2. Let v be m(9). Which is smaller: v or 2/27?
v
Let b = 2/43 - 55/258. Let l = -1.1 + 1.3. Is b less than l?
True
Let i be 4/(-8)*(1 - -1). Let j(g) = 7*g**2 - 2*g - 1. Let m be j(i). Suppose 4*w - m = -n, -2*w + 4 = -3*n + n. Is w not equal to 2?
False
Let g = -0.304 - -0.034. Which is greater: -1 or g?
g
Suppose 3*v + z = -7 - 0, 2*v + z = -6. Which is smaller: -10/7 or v?
-10/7
Let y = -20 + 20. Suppose y = 2*j + 3*k - 14, -11 = -3*j - 3*k + 7. Are 2 and j unequal?
True
Let k = -0.04 + -0.21. Let n = 0.3 + k. Which is smaller: n or 1?
n
Let w = -9 - -11. Which is smaller: 0.3 or w?
0.3
Suppose -3*d = d - 3*d. Which is greater: d or 6/13?
6/13
Let n = -1 + 0. Let c = -6/19 + 79/190. Which is greater: c or n?
c
Let g = 8/589 - -14032/7657. Let b = g + -251/143. Is 1 smaller than b?
False
Let c be 2/4 - (-9)/2. Suppose -c*f - 4 - 6 = 0. Let a = 0 + -2. Do f and a have the same value?
True
Let j be 8*(1 + 21/(-12)). Let w = -6 - j. Let n be (0 - (-3)/4)/3. Which is smaller: n or w?
w
Let a(n) = -n**2 + 3*n - 3. Let l be a(1). Are l and 3/23 non-equal?
True
Let s be 6/9 + -4 + 3. Is 0 greater than or equal to s?
True
Let u = -0.32 - -0.02. Let m(f) = -f + 8. Let g be m(5). Let x be -1*g + 88/32. Is u less than or equal to x?
True
Suppose -4*t = -t. Let w = 290/9 - 4667/144. Which is smaller: t or w?
w
Let f = 2 + -10. Is f less than -8?
False
Let g be (-3)/6 - 3/(-52). Let l = g - -9/13. Let x(k) = -k**2 + 10*k - 20. Let s be x(7). Is l < s?
True
Let x be 1/(2 - 0) - (-1305)/(-2570). Which is greater: x or 1?
1
Let z = 6 + -8. Let j = z + 6. Let s = -5 + j. Do -3 and s have the same value?
False
Let z(x) = 2*x + 12. Let h be z(-6). Are 2/5 and h non-equal?
True
Let n = -1 + -6. Is n >= -20/3?
False
Let r(o) = o**3 - 4*o**2 - o - 2. Let f be r(4). Let b be 1 + 3 + 80/(-8). Is b at most f?
True
Let q = 34 + -32. Is 16/5 at most as big as q?
False
Let m be 104/6*(-27)/(-99). Which is bigger: m or 6?
6
Let t(z) = 2*z**2. Let o be t(-1). Suppose -o*r - 3 + 1 = 0. Which is smaller: r or -3?
-3
Let g = 0.037 + 1.863. Is -2/5 <= g?
True
Suppose 0 = 4*x + 1 - 5. Suppose -2*w + 5 = -x. Is 3 >= w?
True
Suppose -m - 4*m = 0. Suppose -2*a - 1 + 3 = 0. Is a equal to m?
False
Let x = -804 - -26534/33. Which is smaller: x or 0?
0
Let b be (-18)/(-4) - 2/4. Let i(x) = -x**2 + 9*x - 6. Let d be i(7). Suppose -r + d*f = 3*f + 18, -4*f + 8 = -4*r. Which is bigger: b or r?
b
Let g = 48 + -289/6. Which is greater: -1 or g?
g
Let x = -10 + 15. Suppose -3*p = 4*b - 8, 4*p - 22 = x*b - 1. Which is smaller: 2/9 or b?
b
Let h = 0.05 - 0.25. Let i = 13 - 13.1. Which is smaller: h or i?
h
Let c(s) = -5*s. Let u(h) = 55*h. Let i(x) = 65*c(x) + 6*u(x). Let r be i(-1). Is r < -4?
True
Let m(g) = -g**2 + g - 1. Let f be m(1). Let n be ((-1)/(-4))/(f/(-4)). Are -2/5 and n unequal?
True
Let c = 3901147/168 - 23221. Let f = c + 1/84. Which is greater: 0 or f?
f
Suppose -k + 17 = 7. Let j be (-21)/(-15) - 4/k. Which is smaller: 2/3 or j?
2/3
Let i be (6/81)/(1/(-3)). Let g = 3.53 - 3.4. Let q = 0.03 - g. Which is smaller: i or q?
i
Let d = 0.35 + -0.16. Let m = -0.27 + d. Is -2 at least as big as m?
False
Let x be 3 + 3/27*-23. Which is greater: x or 1?
1
Let f = 66 + -464/7. Which is smaller: 1 or f?
f
Let c = -1 + 1. Let u = -0.2 - c. Which is smaller: u or -2?
-2
Let y = 9.07 + -1.07. Is y not equal to 0?
True
Let b = 0.03 - -0.97. Let r = -0.1 + 0.1. Let j = b - r. Is 2/9 != j?
True
Suppose 3*o - 4*o - 1 = 0. Let i = -332 + 992/3. Which is bigger: i or o?
o
Let r = 1688/475 - 66/19. Suppose -12 = 3*m, 0 = 3*h + 4*m - 9*m + 16. Let n be 3 - h/(-16)*4. Which is bigger: n or r?
r
Let w = 0.08 - 3.08. Let z = -5 - w. Which is greater: z or 0.2?
0.2
Let t(f) = 2*f**2 - f**2 - 5*f - 7*f + 7. Let n be t(11). Let k be (n + 3)/(2/4). Is k at least as big as -2?
True
Let x = 4 + 0. Let g(c) = -c**3 - 2*c**2 - 1 + x*c + 0*c**2 - c. Let w be g(-3). Is -2 at most w?
True
Let b be 0 + -1 - (-482)/(-6). Let l = b + 82. Let r(o) = -o**3 - 3*o**2 - 2*o + 2. Let j be r(-2). Is l equal to j?
False
Let v be 78/(-60) - 3/6. Are v and -3 equal?
False
Suppose 5 - 25 = -5*r. Suppose 8 = r*p - 8. Suppose 5*o + 2*b - 8 = 22, -2*o = -2*b + 2. Is p at least o?
True
Let x = -36 + 52. Suppose 18*c - 18 = x*c. Is c greater than 10?
False
Suppose 3*q + p + p + 29 = 0, 0 = 5*q + p + 60. Let h = -14 - q. Is h greater than 0.5?
False
Let a = 4 - 6. Which is smaller: a or 0?
a
Suppose 8 = -4*v + 3*n, 2*v - 4*n - n = -18. Suppose -4*p = 10 - 2. Let d be (1/p)/(2/(-4)). Is d at least as big as v?
True
Let t(q) = q + 1. Let a be t(0). Suppose -2*b - 8 = -5*p, 5*b = p + 2 + a. Which is bigger: p or 4?
4
Let v be (12/16)/((-3)/72). Which is smaller: v or -17?
v
Let g = -1.1 + 1. Let x = 1.1 + -1.3. Is x > g?
False
Suppose -5*i + 225 = -75. Let k be 234/i + 2/(-5). Let c = k + -11/3. Which is smaller: -1