t most as big as 24/7?
True
Let r be (-7)/189*6/7. Let p = r - -197/252. Which is greater: p or 0.1?
p
Let i be 8/6 + (-81)/14. Let w = 23/7 + i. Is w at most 0?
True
Let v = -0.02 - -12.02. Let x = -1 + v. Let y = -10.8 + x. Which is greater: 1/2 or y?
1/2
Let z = -5.99 + -0.01. Let o = 5 + z. Which is smaller: o or -0.3?
o
Let v be (-12)/(-24)*0/(-1). Which is smaller: v or 2/11?
v
Suppose 4*a = 2*g + 16, -g = 4*a - 5 - 5. Let s be (-1 - -2)*(-6 + a). Is s at least as big as -2?
False
Suppose 5*q - 10 = -0*q. Let d be 16/(-6) + 1/(-3). Let c be (q + -1)*d/3. Is -2 at most as big as c?
True
Suppose -37*a + 39*a = 0. Let n = -65/4 + 16. Which is greater: n or a?
a
Let q(y) = -y**2 + 5*y + 2. Let i be q(4). Let z = 5 - i. Is -1 > z?
False
Let f(a) = a**2 + 7*a + 4. Let l be f(-6). Let n be (-3)/l*(-56)/(-4). Suppose -d = -3*j - j, 0 = -4*d - 5*j - n. Are d and 0 unequal?
True
Let f be 0 - ((-291)/12 - -3). Let h = -431/20 + f. Suppose -3*s = -0 - 3. Which is smaller: s or h?
h
Let t be -2*25/(-10) - 0. Is 8 > t?
True
Let n = -372/17 + 22. Is 1 less than n?
False
Let q = 0.22 + -1.22. Do -9 and q have the same value?
False
Let z(f) = -f**2 - 19*f - 7. Let r be z(-17). Which is bigger: 28 or r?
28
Let i be (-351)/162 - (-6)/2. Which is smaller: 1 or i?
i
Let a = -146/5 - -149/5. Is 1/5 less than or equal to a?
True
Suppose -3*s = -2*m + 3*m + 4, -3*m = 3*s. Which is bigger: -0.2 or m?
m
Let b be (9/(-24))/((-6)/4). Suppose -2*v - 15 = 3*v. Let c be (v/3)/(1/1). Is c < b?
True
Let v be 1/(2*1/(-4)). Let s be 2/6 - v/(-6). Is s at least 3?
False
Let m be (-1184)/56*2/(-16). Let f = 59/70 - m. Which is smaller: -1 or f?
f
Let n = 18 + -18.1. Is -4/5 less than n?
True
Let y be (-5)/12 + 12/48. Let c = -0.2 - -0.3. Let b = -0.2 + c. Which is smaller: y or b?
y
Let a be ((-1)/(-3))/((-1)/(-6)). Let s be 925/(-55) + (-4)/22. Let u = s - -35/2. Is a greater than u?
True
Let p = 0.36 - 0.313. Are p and 2/5 equal?
False
Let n be 10/15 - 1/(-3). Let x be n - (-2)/(4/(-14)). Let f = 8 + x. Is 3 less than f?
False
Let u = 27141549 - 324808943/12. Let d = -74181 + u. Let v = d + 44. Are v and 0 equal?
False
Let k(z) = -z**2 + z + 1. Let m be (-7)/(-5) - (-4)/(-10). Suppose -a + m + 4 = d, 0 = -2*d + 4*a - 14. Let x be k(d). Which is bigger: x or 2/3?
x
Let f = 169217 + -2880074/17. Let v = f - -199. Let w be (-4 + 3)*(-1 - -1). Is w greater than v?
True
Let l(v) = -v**3 + 5*v**2 - 3*v + 2. Let n be l(4). Let m = -4 - -11. Which is bigger: m or n?
m
Let h = -1 - 2. Let o be -1 + 4/h*-3. Which is greater: o or 4?
4
Let p(w) = -w**3 - 18*w**2 + 42*w + 39. Let o be p(-20). Is o greater than -16/11?
True
Let m be 34/26 - (4 - 0 - 2). Is -2 at most m?
True
Suppose -a + 7 - 3 = 0. Let z be (5/10)/((-2)/a). Is -1/7 smaller than z?
False
Let u(i) = 5*i - 1. Let z = -3 - -4. Let g be u(z). Let k = 1 + g. Is k less than 4?
False
Suppose 2*t = -14 + 16. Which is smaller: -2/63 or t?
-2/63
Let q = 82 - 248/3. Suppose 5*l - 2 = 3, -4*y = -5*l - 7. Suppose -v - y*v + 8 = -4*z, 5*z + 10 = 3*v. Which is bigger: z or q?
q
Let t be (-6)/(-2)*6/(-18). Let z be (-1)/1 - t - 0. Is 2/3 smaller than z?
False
Let n be (-2)/(-4) + (-9)/(-2). Suppose 3*o = -n - 1. Let i be o/7 + (-38)/(-84). Is i less than -1?
False
Suppose -33*c + 34*c - 12 = 0. Which is smaller: c or -1?
-1
Let n = 26/51 - 3/17. Let r be (-12 - -4)*(-1)/2. Let u be (r - (-1 + 5))/(-1). Which is smaller: u or n?
u
Let k be ((-4)/6)/((-7)/(-6)). Let w = 2 + -4. Let n be 2 + w + (0 - 2). Which is smaller: n or k?
n
Let u = 2 - 2. Suppose 0 = 4*i - u + 4. Let c be (-15)/(i - 2)*-1. Which is smaller: -1 or c?
c
Suppose 6*r - r = -25. Let y = r - -7. Let o(x) = 5*x**2 - 1. Let f be o(-1). Which is smaller: y or f?
y
Suppose 3*l + 0*l = 45. Suppose 4*u - l - 5 = 5*d, -4*u + 20 = -2*d. Suppose d = 2*y - 3 - 1, -2*k = y. Which is smaller: 1/3 or k?
k
Let l(x) = 10*x**3 - 1. Let a be l(1). Let z be ((-2)/(-3))/((-6)/a). Which is greater: z or -1/24?
-1/24
Let q = 31 - 27. Is q bigger than 5?
False
Suppose -8 = -3*q - 2. Suppose 2*x + q*x = -8. Which is smaller: x or -1/2?
x
Let n = -0.06 - 0.44. Let d = n - -0.5. Let a = 0 - 1. Which is bigger: d or a?
d
Let x = 0 + -1. Suppose -2*i - 3*g = 2*i - 148, -4*i = 2*g - 148. Let j be i/28 - 6/8. Which is smaller: j or x?
x
Let q = -5181/2 + 2644. Let r = 14993/119 + -2455/34. Let f = q - r. Which is greater: f or -1?
f
Suppose 2*d + 52 - 18 = 0. Let m = 18 + d. Let y be 1/26*(2 + 0). Which is smaller: y or m?
y
Let q = 0.1 - 0.3. Do 3 and q have the same value?
False
Let s(q) = -q**2 + q. Let p be s(3). Let o be 9/6*(-16)/6. Let c = o - p. Which is greater: c or 0?
c
Let g = -1/153 - -311/765. Is -6.3 >= g?
False
Let o = 33 - 23. Is 11 >= o?
True
Suppose 5*t = 2*k - k - 20, -8 = 5*k + 2*t. Let a = -17 + 67/4. Which is bigger: k or a?
k
Suppose 2*g - 6 = 14. Suppose -13*f = -g*f + 3. Do 0 and f have the same value?
False
Let g be -2 + (-3)/6*-58. Which is bigger: 29 or g?
29
Let k = 5 + 2. Let v = 4.8 + 1.2. Let w = v - k. Which is smaller: 6 or w?
w
Let i be ((-3)/30)/(8/(-20)). Which is smaller: i or -2?
-2
Suppose -r = -0*r - 3. Suppose 0*d + 5*d - 4*l - 2 = 0, -4*d + r*l + 2 = 0. Let q = 2.1 - 2. Which is greater: d or q?
d
Let x = 0.04 + -4.04. Let y = x + 4.4. Let a = y - 0.3. Is 2/3 bigger than a?
True
Suppose 7 = -s + 8. Is -3/13 >= s?
False
Let l = -0.2 + 0.1. Suppose -28 = 21*r - 25*r. Which is greater: r or l?
r
Let a(o) = -o**3 - o**2 + 2*o + 1. Let j be a(-2). Suppose 4*p - 66 + 338 = 0. Let g be 4/26 - p/(-273). Which is smaller: g or j?
g
Let v = 2/51 - 59/204. Is 0.01 != v?
True
Suppose 98 = -8*b - 38. Is -2 greater than or equal to b?
True
Let r(h) = -h + 3. Let m be r(2). Let o be 1216/(-162)*1/20. Let a = o - 2/81. Do a and m have the same value?
False
Let j = -2.108 + 0.108. Suppose -q + 4*q = -27. Which is smaller: q or j?
q
Let n = 9.01 + -9. Let y = -0.99 - n. Is -2/3 equal to y?
False
Let u be (2 + 9/(-4))/(2/4). Let o = 0 - 1. Which is smaller: u or o?
o
Suppose 0 = 4*x - 2*x + 4. Let g = x - 0. Is -3 < g?
True
Let d = 3.3 - 0.3. Let u = -4 + d. Let f = -8/15 - -118/165. Which is smaller: u or f?
u
Let c be 3 - -1 - -2*(-110)/28. Which is smaller: -3 or c?
c
Let q = 123/7 + -17. Which is smaller: 1 or q?
q
Suppose 0 = -3*t + 5*w - 70 - 34, 0 = 2*t - 5*w + 71. Is t != -34?
True
Let h = 6365 - 82942/13. Suppose 2*y = 32 - 2. Let p = h + y. Which is greater: p or 1?
1
Let t = 58 - 60. Let o(w) = w**3 - w**2 + 6. Let i be o(0). Suppose -4*f = -2 + i. Is f smaller than t?
False
Suppose 0 = -4*k - 3*u - 5, 5*k + 0*u + 3*u = -7. Let b = 2 - 4. Is k at most as big as b?
True
Let a = 274 + -3010/11. Which is smaller: 1 or a?
a
Let j(s) = s**3 - 8*s**2 - s + 5. Let m be j(8). Let w = m - -6. Let h be 4/13*w/6. Which is smaller: 0.1 or h?
0.1
Suppose 3*j - 18 = 2*j. Let u = 19 - j. Is u <= 1?
True
Let b(a) = 3*a + 2 - 2*a - 2*a + 1. Let r be b(3). Is 2/5 smaller than r?
False
Let q(u) = -u**3 + 10*u**2 - u + 11. Let z be q(10). Which is smaller: z or -2/53?
-2/53
Let v(s) = s**3 + 6*s**2 - 5*s + 14. Let o be v(-7). Let p be 13/(-15)*(-5)/(-2). Let j = -155/66 - p. Is o <= j?
False
Let l be 33/390 - 4/20. Let h = 73/182 + l. Let t = 0.1 + 0. Which is greater: t or h?
h
Suppose -b - 3*g + 7 = 2*g, 4*g + 4 = 4*b. Suppose -3*a = 1 - 10, -1 = -5*f - b*a. Is f equal to -1/3?
False
Let w be 26/8 - 3/12. Suppose 8*c = w*c. Which is smaller: -1/35 or c?
-1/35
Suppose 235 = -0*b + 5*b. Let t = b + -421/9. Suppose -3*n = -4*n - 1. Are t and n nonequal?
True
Let l(o) = 3*o + 9. Let j be l(-11). Let m be ((-9)/j)/(9/(-15)). Which is smaller: -2 or m?
-2
Let y be -1 + (-1 - 3*-1). Let w = -1/51 + 157/204. Is y <= w?
False
Suppose 2*o + 2*o + 2*c + 128 = 0, 78 = -3*o + 3*c. Let u be 3 + 4/o*22. Is -1 bigger than u?
False
Let m be (-6)/(-4)*(-8)/3. Let w = -7 - m. Let p be w*6/14 - -1. Which is smaller: p or 4?
p
Let u = -27 + 30. Suppose l - u*a = 13 - 5, -2*l = -3*a - 7. Is l greater than or equal to -2?
True
Let s = 1 - 16. Which is greater: 1 or s?
1
Suppose 0 = 5*w - 14 - 11. Suppose -2*z = w*d + 3, 3*z = 5 - 17. Suppose -50 = -6*g - 62. Which is smaller: d or g?
g
Let n be (4/35)/((-6)/15). Is 0 < n?
False
Let b(k) = k**3 + 2*k**2 - 3*k - 1. Let y be b(-3). Let t(j) = j**2 + 