or 0.1?
s
Let n = -4 + 5. Is 2 smaller than n?
False
Let s = 1.04 + -0.04. Let t = 1.6 - 2. Which is smaller: s or t?
t
Let k(a) = a**3 - 9*a**2 - 16*a + 139. Let i be k(9). Suppose 4*m - 4*q = m - 31, -3*q = 2*m - 2. Is m greater than i?
False
Let d = 12 + -7. Let a be -3 + 6/3 + d. Are a and 5 equal?
False
Suppose -3 + 15 = -2*c. Let o be (-36)/(-15) + c/15. Let z be 1/o*(-7 + 5). Is -2 at least as big as z?
False
Let l = -256/3 + 86. Let b = 8 - 7. Is b at most as big as l?
False
Suppose -4*w - 2*b = -6*b, 0 = -3*w + 4*b - 2. Suppose 3*a = w*a. Suppose 0*d - 2*d = -8. Which is greater: a or d?
d
Let q be -3*1/(1 + 0). Let j(n) = -n**3 - 4*n**2 - 4*n. Let k be j(q). Which is smaller: -1 or k?
-1
Let x = -3 - -23. Suppose -x - 16 = 4*u. Let g be u/(-51)*2/3. Is 0 < g?
True
Suppose -z + 3*u = 377, 3*z - 2*u + 1131 = -3*u. Let n = z - -5651/15. Is n bigger than 1?
False
Let t = -64 + 66. Let l = 2 + 0. Is t equal to l?
True
Suppose -5*k = 5*p - 45, 3*p = 4*k - k - 3. Suppose j + 0*j = -4. Let x = p + j. Which is smaller: -3/8 or x?
-3/8
Let w(r) = r**2 + 5*r + 1. Let d be w(-5). Let u be ((-6)/(-231))/(3/7). Is d smaller than u?
False
Suppose -3*v = 2*n - 9, 1 + 0 = -5*v + 2*n. Let j be ((-3)/9)/((-6)/12). Is j bigger than v?
False
Let h be 133/175 + (-2)/2. Which is greater: h or -1?
h
Let z = 1.3 - 1.2. Let d be (-6)/21 - 46/(-112). Is d bigger than z?
True
Let z = 0.17 - -5.03. Let b = 5 - z. Is 1/3 > b?
True
Let v = -502569/1026968 - -129/3131. Let h be (-67)/(-205) - (-2)/(-5). Let j = v - h. Do 1 and j have the same value?
False
Let z(x) = x**3 - 7*x**2 - 7*x + 7. Let h be z(8). Let s = -19 + h. Which is greater: 0.3 or s?
0.3
Suppose -4*b - 2*n - 36 = -3*n, -2*b = -2*n + 18. Does -9 = b?
True
Let a = -2/11 + 19/44. Let h = -14.1 + 13.1. Which is greater: a or h?
a
Suppose 2*y + 0*y - 2 = 0. Is 6/5 < y?
False
Let a = -64 + 64. Let t(r) = -r. Let g be t(-2). Let f be (-8)/(-14)*3 - g. Is a less than or equal to f?
False
Let c be ((-3)/6)/((-1)/(-1)). Suppose -2*z + 5*m = 14, 5*z + m - 26 = -7. Let b = z - 5. Is c > b?
True
Let c be 4/20*(-110)/(-6). Let u = c - 10/3. Does 1 = u?
False
Suppose 2*s - 4 - 2 = 0. Suppose -l - 2*y = -4*l + 4, 2*y = -s*l - 16. Which is smaller: -4 or l?
-4
Let o be (1 + -1)/((-1)/(-1)). Let w be 4/22 + (-7 - -1 - -6). Is w less than o?
False
Let q = -198/5 - -39. Let h = 2 - 3. Let z = h + 2. Which is smaller: q or z?
q
Let p be 23/(-18) - (-4)/(-18). Suppose 3*w + 0*w = -3. Which is bigger: w or p?
w
Let l be (-2 - (-5 - -4))/(1/1). Which is greater: l or 1/10?
1/10
Suppose -y + g - 6*g = -18, 0 = 2*y - 5*g + 9. Which is smaller: 6 or y?
y
Let a be (-2)/(-4) - 1/(-2). Let s be a/((-2)/2) - 0. Let t = -465 + 465.1. Is s at least t?
False
Let s = 23 - 37. Which is smaller: s or -13?
s
Suppose 4*k = -5*y - 20, y = -0*k - 3*k - 15. Let w = 12 - 9. Suppose 1 = w*r - 2. Is r bigger than y?
True
Let x = -3/32 + -43/224. Which is greater: x or -0.26?
-0.26
Suppose 3*d + 11 = 2. Do -27/8 and d have the same value?
False
Let t = 6 + -13/2. Suppose -3*z + 6 = 0, -z = -4*y - 4*z + 46. Let q = y + -11. Which is bigger: t or q?
t
Suppose -4*g - 12 = 5*i, 0*g - 32 = 5*g + 2*i. Let v = g - -26/3. Which is bigger: v or -3?
v
Suppose -3*w - j - 4 = -4*w, 0 = -4*j - 8. Suppose 4*m = -w*z - 38, 6*z - 2*z = -m - 48. Is -2 at most z?
False
Let r = -14 - -13. Let h = -0.2 + 0.4. Is r != h?
True
Let p = 1 + -0.8. Which is smaller: -23 or p?
-23
Let h = -0.02 + -0.08. Which is bigger: h or -17?
h
Suppose 4 = -2*k + 3*k. Let w be 10/35 + k/(-14). Let f = 114 + -1940/17. Do f and w have the same value?
False
Let l = 4.26 + -0.26. Which is greater: 2/3 or l?
l
Let z = 12.69 + 0.31. Let w = -13.2 + z. Which is bigger: 0 or w?
0
Let c be (1 + 15/12)/(-3). Is -2 at most c?
True
Suppose 2*c - 5 = -3*c. Let i(g) = g - 2 - c - 5. Let p be i(6). Are p and -1/2 non-equal?
True
Let p(u) = 3*u - 3. Let g be p(2). Let v = -4 - g. Let r be 2/v - (-92)/28. Which is smaller: 4 or r?
r
Let k = -17 - -9. Let m = 4 - k. Let i be (4/18)/(16/m). Which is greater: -2 or i?
i
Suppose 0 = -2*r - 5*j + 9*j + 18, -8 = 3*r + j. Let u = 53 - 56. Let b be r - 1/(u/3). Which is smaller: -2/3 or b?
-2/3
Let c = -45/8 - -47/8. Is 26 != c?
True
Suppose 5 = 5*m - 15. Suppose -i + 7 + m = 0. Is 10 at most i?
True
Let b(m) = m**2 - m**3 + 5*m**2 - 4*m**2 + m. Let p be b(-1). Suppose 0 = -2*q + 6*q - 12. Which is greater: q or p?
q
Let k(q) = 7*q**2 - 2*q + 1. Let r be k(1). Suppose -x = -3*p - 6, r = 3*x + 3*p - 0*p. Let o be (-2)/7 + (-69)/(-21). Is x > o?
False
Let u = -8 + 14. Let n be u*(-2)/(3 - 7). Which is smaller: -1 or n?
-1
Let z be (1 - 0)*1*-1. Let y be (2 - 0) + (-488)/2. Let g = 2180/9 + y. Which is smaller: g or z?
z
Suppose 1 = -3*j + 4*t + 35, 3*t = -3*j + 6. Let w = 6 - 3. Suppose w*p - z - 6 - 5 = 0, 3*z = p - 17. Which is smaller: p or j?
p
Let p = -33 + 32. Let y = -3 - -1. Which is smaller: p or y?
y
Let u(s) = s**3 + 2*s**2 - 3*s + 3. Let y be u(-3). Suppose -3*l = 3*x - y, 14 + 3 = -3*l + x. Which is bigger: l or -3?
-3
Let m be -26 + (-3 + 3 - -2). Let c be 4/m + 26/(-60). Which is greater: c or -1?
c
Let l(f) = -f + 9. Let v be l(6). Suppose 0 = 3*s + 58 + 59. Let j = -75/2 - s. Is j >= v?
False
Let z be (-5)/(-30) + 2/6. Let w(o) = 6*o - 3. Let j be w(6). Let a = j + -100/3. Is a less than z?
True
Let a be (-34)/(-10) + (-4)/10. Suppose -1 = -o + a. Let l = -3 + o. Is 0 < l?
True
Let x = -0.26 - -0.16. Is -12 <= x?
True
Let j = -14 - -14. Let p = -0.6 - 3.4. Is j >= p?
True
Let g = 0 - 1. Let b be 4 + (-234)/63 - 16/105. Which is smaller: g or b?
g
Suppose 4*n = 3*v + 23, 5*n = 6 + 19. Let q(r) = -r**2 - 2*r - 2. Let y be q(-2). Let c = y - v. Which is bigger: c or -2?
c
Suppose -4*o = -6*o + 12. Let u = -6 + o. Let p = -43 - -127/3. Which is smaller: p or u?
p
Suppose 4*i = m + 9 + 46, -25 = -2*i + 3*m. Let t = i - 43/3. Is t at most 0?
True
Let b be (1 - 4) + (-1)/(-1). Is -2 equal to b?
True
Let x(i) = -i**2 + 7*i - 4. Let j be x(3). Suppose -2*a + 19 = -m, -2*m - 50 = -5*a + m. Which is greater: j or a?
j
Let f be ((-15)/(-12))/((-1)/(-4)). Suppose 10 = -5*j + f*y, -3*j - 8 = 2*y - 2. Which is greater: j or -1/2?
-1/2
Let f = 0.38 - 0.48. Suppose -3*c - 13 = 5*n + 3, -4*n = 2*c + 14. Do f and n have the same value?
False
Let s = -139/4 + 35. Let c(a) = a + 7. Let f be c(-8). Which is greater: s or f?
s
Let a be 11684/180 + 6/27. Let r = a - 65. Let x be (0 - -2)/2 - 1. Which is smaller: x or r?
x
Let u = 2451.07 - 2468. Let w = u - -17. Let d = -0.23 - w. Is d at least as big as -2/5?
True
Let p be 1*1/((-3)/(-60)). Let m be 2/(-5) - (-38)/p. Let z(v) = -v**2 - 9*v + 12. Let x be z(-10). Which is greater: m or x?
x
Suppose -15*m - 10 = -14*m. Let l be ((-3)/(-15))/(6/m). Is l at least 0.5?
False
Let w = -2 + 1. Let l(c) = -2*c - 2. Let u be l(-2). Which is greater: w or u?
u
Let v be ((-48)/20)/3*1. Which is bigger: 0 or v?
0
Let k(m) = 3*m + 5. Let u(n) = 2*n + 2. Let y(c) = 6*k(c) - 10*u(c). Let w be y(5). Are w and -2/15 unequal?
True
Suppose 0 = -3*n + 17 + 25. Which is greater: 13 or n?
n
Let n be (-234)/(-970) + 1/(-5). Do 0 and n have different values?
True
Let p = 74 + -116. Let d be 2/(-8) - p/104. Suppose -1 = -4*n + 3*n. Is d less than n?
True
Let b(f) = 2*f**2 + 5*f + 2. Let g be b(-3). Suppose -3*x - 7 = -25. Which is greater: x or g?
x
Suppose -2*k = -k + 4*l - 1, 55 = 5*k - 5*l. Let c = k - 7. Suppose c*i = i. Is i greater than or equal to -2/17?
True
Let v(g) = g**3 - 13*g**2 - 14*g - 23. Let h be v(14). Is -23 less than or equal to h?
True
Let d = 2 + -9. Let m be 1/(-1)*70/d. Let h be 8/10*5/m. Which is smaller: 1 or h?
h
Let d = 23/7 + -209/70. Suppose 2*n = -3*n - 5. Which is smaller: d or n?
n
Suppose -2*p - 5*a = -p - 1, -3*p = -2*a + 65. Let h = -56/3 - p. Which is smaller: h or -0.3?
-0.3
Let y be 2*2/(-8)*-14. Which is smaller: 22/3 or y?
y
Let y = -9 + 12. Let h(o) = o**2 - 6*o + 4. Let w be h(5). Which is smaller: w or y?
w
Let l = 34 - 101/3. Which is greater: l or 1/2?
1/2
Let j = 11 + -14. Is 2 < j?
False
Let y = 9 - 8. Suppose 2*c - 4*c - y = -5*m, 0 = 2*c + 4*m + 10. Let i = -43/70 + 3/14. Which is smaller: i or c?
c
Let r = -344/5 - -69. Let l = 0.3 - 0.2. Which is smaller: r or l?
l
Let m(x) = 8*x + 4. 