ater: k or 0?
0
Suppose 40 = -9*w + 13*w. Is w smaller than -2/9?
False
Let c be (2*1 - (-10)/(-5))/1. Which is smaller: c or -1/20?
-1/20
Suppose 0 = -3*a + 9 - 21. Let t = -1 - a. Let y be t/(-6) + 3/6. Is 1/10 not equal to y?
True
Let w(h) = h**2 + 12*h - 6. Let f be w(-12). Let z(a) = -3*a - 4. Let p(s) = s. Let n(i) = -2*p(i) - z(i). Let q be n(f). Do -4 and q have the same value?
False
Let d = -4 - -8. Is d <= 2?
False
Let o be (-3 - -2)/((-422)/4). Let s = o + -221/1055. Let q = 2 + -2. Is q at most as big as s?
False
Let a = -1.98 + 4.01. Let b = -0.03 + a. Which is smaller: 0.1 or b?
0.1
Let v = 19.8 - 26. Let a = -1.2 - v. Let p = 35 + -34.9. Which is bigger: a or p?
a
Let q = -10 - -9.8. Let u = -0.017 + -4.183. Let a = q - u. Which is bigger: a or -1/4?
a
Let n be 3 - 4/2 - 2. Suppose k + k - 2 = 0. Which is bigger: k or n?
k
Let t = 9 - -9. Suppose -5*w + 3*w = t. Let m be -5*(-5)/(75/w). Is m less than or equal to -5?
False
Let n(d) = -5 - 4 - d**2 - 7*d + 0*d. Let o be n(-6). Which is bigger: -1 or o?
-1
Let j = -12 + 11.75. Let b = j + 1.75. Which is smaller: 0 or b?
0
Let b = 215 - 308. Which is bigger: b or -92?
-92
Let w = 2 - 4. Let s = 6 - 2. Let d = w + s. Which is smaller: 1/2 or d?
1/2
Let f be 48/36 + (-2)/6. Let y be (1/(-2))/((-2)/4). Is f less than y?
False
Let j be 4/(32/2) - (-2)/(-8). Is j not equal to 1/175?
True
Let y = -99 + 98.9. Which is greater: y or 19?
19
Let y = -50 - -55.1. Let p = 5 - y. Which is bigger: 1/4 or p?
1/4
Suppose 0*h - 12 = 3*h. Let d be 5/3*(-6)/h. Let r(p) = p**2 - 3*p - 2. Let o be r(4). Which is smaller: o or d?
o
Let r = 95919/488 + 4808/61. Let d = r + -275. Which is smaller: 1 or d?
d
Let q be 10/(-2)*132/(-30). Suppose -5*v = 12 - q. Is v bigger than 2?
False
Let p = -30 - -33. Is 20/9 less than or equal to p?
True
Let u be 13 - 2 - (-10)/5. Which is greater: u or 14?
14
Let u be (-6)/(-8)*2*6. Let d be (-3)/u - (-8)/(-3). Which is bigger: d or -2?
-2
Let w(l) = 2*l - 3. Let d be w(-2). Which is smaller: d or -6?
d
Let z be 17/(-4) + 4/16. Let s be (-2)/(12/(-5) + 2). Suppose 5*h + 40 = -3*y, 3*y - 5 = s*h - y. Is h greater than or equal to z?
False
Let r(x) = -x**3 - 9*x**2 - 7*x + 10. Let u be r(-8). Suppose 18 = u*a + a. Let n be ((-2)/2)/(21/a). Is 1 <= n?
False
Let y = 0.39 - 0.09. Is -2/9 at most y?
True
Let r be (-4)/2 - 66/(-30). Is r bigger than 0?
True
Let t = -5.6 - -11. Let u = t - 4.44. Let p = 0.04 + u. Which is smaller: p or -1?
-1
Let w(r) = -r**2 - 6*r + 5. Let v(z) = -z**2 - 5*z + 4. Let p(a) = -4*v(a) + 3*w(a). Let j be p(-2). Which is smaller: j or -1/4?
j
Let v be 5/(-1) + (-12)/(-3). Is v at least -2/5?
False
Let i(y) = 7*y - 2. Let g be i(6). Suppose f + q + q = 2, 0 = 5*f - 5*q - g. Are f and 6 unequal?
False
Suppose -4*x + 2*r = x - 87, -4*r - 22 = -2*x. Are x and 19 equal?
True
Suppose -z - 5 + 1 = 0. Let d be (-1)/z + 12/16. Does d = 1/9?
False
Let z = -7 - -6.7. Which is smaller: 4 or z?
z
Let h(m) = m**3 + 2*m**2 + 5*m - 6. Let a be h(-3). Which is greater: -29 or a?
-29
Suppose 4*n = -o + 6*o + 3, o + 5 = 3*n. Let q be n*(-2 - -1)*1. Let l be 4*(-1 + 2 + q). Are l and -4 equal?
True
Let z be 38/14 + (-2)/(-7). Let x(r) = r**3 - 3*r**2 + r - 1. Let s be x(z). Which is smaller: 4/3 or s?
4/3
Let x = 4 + -4. Suppose 3*j + 2*g + x = -6, 0 = -4*j - 3*g - 9. Are -2/9 and j unequal?
True
Let h(m) = -6*m**2 - m + 4. Let p be h(3). Let l = p + 213/4. Let r = -1 - -1. Which is smaller: l or r?
r
Let x = 204.8 + -205. Is 16 at most as big as x?
False
Let c be (-12)/42 + (-50)/(-28). Let x = 4 - 2. Which is bigger: x or c?
x
Let r = -32 + 30. Let p = 2/81 - 338/567. Are r and p unequal?
True
Let a = -15.13 + 15. Let x = a - -1.13. Is 7 smaller than x?
False
Let y(p) = -3*p - 25. Let v be y(-10). Which is greater: 9 or v?
9
Let o(x) = 2*x - 4. Let v be o(4). Suppose -3*f = -v*m + 6*m + 5, 4*m - 2*f - 30 = 0. Is m smaller than 1?
False
Suppose 1 = -u - z, -3 = u + u + z. Let h = 6 + u. Is h >= 5?
False
Suppose -4*p + 189 = -2*p + m, 5*p + m - 465 = 0. Let j = 281/3 - p. Is 2 greater than j?
True
Let a = 47.893 - -0.107. Which is smaller: a or 0?
0
Let x = -4 - -1. Let v = -0.9 + 2.2. Let c = -1.6 + v. Which is greater: c or x?
c
Let h be (-12)/8*82/6. Let b = h - -21. Which is bigger: -1 or b?
b
Let q = 36.2 + -36. Is 1 >= q?
True
Let g(a) = -a + 5. Let i be g(6). Let y = 14 + -14. Which is bigger: i or y?
y
Let q(n) = n - 8. Let k be q(6). Let v be (-1 - -3) + 0 - k. Let w be (-160)/72 + v/18. Is -3 bigger than w?
False
Let d(j) = -j**3 - 14*j**2 + 13*j - 6. Let a be d(-15). Let c be (3/10)/((-18)/a). Is 1 at most as big as c?
False
Let w = 0.2 + 0.6. Let m = 4 - 5. Let z = w + m. Is -1/2 smaller than z?
True
Let s be 3/(1/2*1). Which is smaller: 8 or s?
s
Suppose 0 = q - 1 + 4. Suppose 2*d - 10 = -2*u, 2*d = 1 + 3. Let m = u + q. Is m at most as big as -1?
False
Let p = 81 + -77. Which is smaller: p or -1?
-1
Let h(y) = -y + 2. Let v be h(2). Let d = v + -1. Let k be 0*(1 - 2)*d. Which is smaller: k or 2/9?
k
Let j(h) = h**3 + 1. Let n be j(2). Which is greater: 2/5 or n?
n
Suppose 0 = -w - 4 - 19. Let t = 12 + w. Are t and -11 nonequal?
False
Let n = 13 + -10. Suppose -2*k = -5*l + n*l, 5*l - 8 = -3*k. Which is smaller: k or -1/21?
-1/21
Let f be 9/6 - 19/14. Which is bigger: f or 0?
f
Let x be (15/10)/(3/4). Let o be -1 - -5 - x - 1. Does 2/3 = o?
False
Suppose 5*z + 3 = -2*c, 0 = -0*c - 3*c - 2*z + 1. Suppose -s - 2*s - 4*r = 14, 5*s + 25 = -5*r. Let p be 14/4 + 9/s. Are p and c equal?
False
Let l(f) = -f**3 + 6*f**2 + 4*f + 4. Let y be l(4). Let g be 2 + (-164)/y - -1. Is g greater than -1?
True
Let h be (-3468)/(-4590) + (-12)/10. Suppose 0 = b - 6*b. Are b and h nonequal?
True
Let m = 128 + -129. Which is smaller: m or -14/23?
m
Let i be (-31)/(-6) - 1/6. Let m(u) = -u**2 + 4*u + 4. Let w be m(i). Is w at least 1/4?
False
Let t be (-25)/175 + 1 + 477/7. Is t greater than or equal to 69?
True
Suppose -x - 3*r + 3 = -r, 0 = -r + 2. Let q be 65/70 - x/(-2). Let k = -3/20 - -13/20. Is q equal to k?
False
Let b = 10 - 0. Suppose b = -2*c - 2. Is -7 bigger than c?
False
Let g be (2/(-640))/((-2)/5). Is g at most as big as 1?
True
Let z = 2 - 1. Suppose 0*a + 4 = 2*a. Let m be a - 5 - 13/(-5). Is z at most as big as m?
False
Suppose 5*x = -4*c + 21, -3 = 4*x + 9. Let h = c + -3. Which is greater: 5 or h?
h
Let c = 0.07 + -0.17. Is c less than -0.05?
True
Let z = -7 + 6.9. Which is greater: -8 or z?
z
Let g = -0.06 + -3.94. Let q = g + -3. Is q bigger than -1?
False
Let k = -58/3 - -20. Let g = -4 + 4.03. Let u = 0.13 - g. Which is greater: k or u?
k
Let k be (2 - 2) + 3*1. Suppose -2 = 4*o + 2*v - 0*v, 0 = -k*o - v. Is -2/31 less than or equal to o?
True
Suppose -3*r + 5*r + 34 = -5*u, -2*r = -6. Let p = u - -10. Suppose -t - p*t + 9 = 0. Which is bigger: t or 4?
4
Let q = -1 + 5. Suppose 0 = 4*y + q. Is y greater than or equal to 1?
False
Let l = 5 - 2. Suppose 0 = l*p - 6*p. Which is greater: 1/2 or p?
1/2
Let a = 76/7 + -712/63. Suppose -4 = -2*u - 3*h - 11, 2*u - 3*h = 23. Let c be u/(-5) + 1/(-5). Which is smaller: c or a?
c
Suppose -4*w - 4 = -0*w. Let s = 4735/9 - 526. Is s < w?
False
Let n be (3/2 - 2)*2. Let u be 6/9 + (-1781)/(-24). Let y = 75 - u. Which is bigger: y or n?
y
Suppose 32 = -4*g + 12. Let r(q) = -q**3 - 6*q**2 - 4*q + 4. Let v be r(g). Does v = 4/11?
False
Let v be 2/9 - 316/(-36). Which is smaller: v or 10?
v
Let g = -0.09 + -0.91. Let x be 1/((-2)/4) - 11. Which is greater: x or g?
g
Let l = 0.19 + 8.81. Let i = l - 9. Which is bigger: i or 2?
2
Let z(g) = g**3 + 6*g**2 - 5*g + 3. Let s be z(-6). Let f be (-2 - (-78)/s)/2. Suppose -3*h - 2 = 1. Which is greater: f or h?
f
Let j = -1 - -2. Let t = 1/23547 + 10996442/164829. Let m = -67 + t. Are j and m equal?
False
Let i = 0.71 - 0.51. Do -0.08 and i have different values?
True
Let r = 26694 - 132763/5. Let p = r - 141. Let n = 2 + -1. Is p at least as big as n?
False
Let z be 2/(-3) - (-11)/(-33). Let d be (2 + -2)/(-3 - z). Is -3/4 bigger than d?
False
Let i be (-1)/6 + 15/(-40). Let n = i - -1/6. Suppose 4*y + 0 = 4. Which is bigger: n or y?
y
Let a(f) = -f + 1. Let w be a(-3). Suppose 5*y + w*t = 11, -2*y - 1 = -5*y - t. Does y = -1/4?
False
Let n = 6 + -6. Let b(m) = m - 6. Let c 