gger than q?
True
Let t = 8 + -6. Suppose -t*n + 0*n = 0. Let m = 79/252 + -1/36. Which is greater: n or m?
m
Let h = 0 - -0.1. Let c = -13/14 + 71/84. Is c at least as big as h?
False
Let t = -1/2424 - -557/44440. Which is bigger: 1 or t?
1
Suppose 53*c = 54*c + 1. Let b be 1 - (1 + (-4)/(-86)). Which is bigger: b or c?
b
Let b = 7.2 - 7.1. Is b smaller than 4?
True
Let c = -21.2 - -23. Let r = c - 2. Which is greater: 1/4 or r?
1/4
Suppose -u - 3 = -k + 3*k, 4*k - 9 = 3*u. Suppose k = -q - 0*q. Let g = -2 + -1. Is g at most q?
True
Let w = 3.3 - 3.5. Is 2/5 at most w?
False
Let n(d) = -d - 3. Let m be n(-9). Is m > 6?
False
Suppose -w - 4*y + 19 = -0*w, w + y = 4. Is w < -1/14?
True
Suppose -16 = -5*f - 1. Suppose 4*n - 27 = f*y, -4*n + 0*y - 3*y = -21. Let t be (n/(-4))/(9/24). Is t greater than or equal to -3?
False
Let w = -5 - -9. Suppose k - 1 = w, 2*u + k - 17 = 0. Is 6 bigger than u?
False
Let v be 1 + -3 + 0 + 7. Let a = v + -6. Let n = -4 + 4. Is n at most as big as a?
False
Let n = 325.53 + -327. Let o = 0.51 + n. Let s = o + -0.04. Do 3/5 and s have the same value?
False
Let n = 110/23 + -1230/161. Is n > -3?
True
Suppose z = b - 5, -4*z = -0*z + b + 25. Which is smaller: z or -7?
-7
Suppose -2*y - 4 = -0. Let k be 5/(-5) + (-12)/y. Suppose k*b - t - 5 = 0, -5*b - 2*t = -t + 5. Is 1/3 <= b?
False
Let z be (-5938)/42 + (-2)/6. Let h = z - -142. Which is smaller: h or 11?
h
Let o(g) be the first derivative of -g**3/3 + 5*g**2/2 + 3*g + 1. Let z be o(5). Let q = z - 5. Is -3 >= q?
False
Let h be (3 + -4)/(-1 - 0). Suppose -3*q + 19 = -5*y, -2*y - 10 = -0*y. Which is smaller: q or h?
q
Suppose 6*g + 2*g + 192 = 0. Is -23 greater than or equal to g?
True
Suppose 4*l = -5*y + 76 - 177, 2*y + 3*l + 46 = 0. Are -17 and y equal?
True
Let o be (-1)/2 + (-29)/(-50). Suppose -5*m = 3*b + 20, 4*m + 4*b + 16 = -8. Is m != o?
True
Let q be 4/(-14) + 40/42. Suppose 2*k + k - 6 = 0. Let z be (3/4)/(3/k). Which is smaller: z or q?
z
Suppose 32*d - 30*d = -58. Which is smaller: -31 or d?
-31
Let q = 130 + -1171/9. Is 2 greater than q?
True
Let l(y) = -y**3 - 4*y**2 + 4*y + 7. Let j be l(-5). Let p be ((-6)/j)/((-3)/4). Is 2 < p?
False
Let n = -23/6 - -5/2. Let s = -0.03 + -0.17. Which is bigger: n or s?
s
Suppose 3*i = 27 - 0. Suppose i*q = 5*q + 60. Which is smaller: 14 or q?
14
Let a be -2*(-4)/6 - 2. Let u = a - -4/7. Which is bigger: u or -1?
u
Suppose -3*b = -8*b - 20. Let g = b + 10. Let n(o) = o**2 - o - 1. Let q be n(3). Which is greater: g or q?
g
Let d be 1/1 + (19 - 19). Is -10 smaller than d?
True
Let q be 4/14 - 23/7. Let h = q + 0. Which is greater: -5 or h?
h
Suppose -3*a + 3*j + 3 = 0, 3 + 2 = -5*a - 5*j. Let t = a - -2. Suppose -4*u = -t*u. Which is smaller: 1 or u?
u
Suppose 5*w - 2 = 4*d + 45, 5*d + 60 = 5*w. Let u = d + 23. Is u > 17/2?
True
Let w be ((-2)/(-8)*2)/2. Which is smaller: w or 0?
0
Let a be (-2 - -3)/(0 - -1). Which is greater: a or 2?
2
Let i = 53 + -48.9. Let q = i - 4. Let k = 0 - 6. Which is smaller: k or q?
k
Let r(z) = -z**2 - 2*z + 0*z**2 + 3 + 0*z**2. Let h be r(-3). Let w = 0 - h. Which is greater: w or 3/4?
3/4
Let l = -3 - -6. Let g = l - 2. Which is smaller: -1/4 or g?
-1/4
Let y be 24/3824*8/(-6). Is y greater than 0?
False
Let d = -0.12 + -2.88. Is d bigger than -3?
False
Let k = -51 + 51. Which is bigger: -12 or k?
k
Let d = -193/4920 + -1/410. Is d > 0?
False
Suppose -3 + 69 = 3*a. Which is smaller: 23 or a?
a
Suppose 2*w + 5 = -3*w + y, 0 = -3*w + 4*y - 20. Suppose 5*s = -w*s - 5. Which is smaller: 0.3 or s?
s
Let g be (126/4131)/((-2)/69). Let a = g - -16/17. Which is smaller: a or 1?
a
Let c be 6 + -2 + 0 + 10/(-2). Which is smaller: -0.8 or c?
c
Let t(h) = -h**3 - 4*h**2 + 6*h + 2. Let u be t(-5). Is u at least as big as 1/2?
False
Let z be (-2)/12*4*-3. Let q(m) = m + 2. Let t be q(-4). Let p be t/4 - (-10)/4. Is z bigger than p?
False
Let y be 1*4/(-4*1). Which is greater: y or -1/10?
-1/10
Suppose 0 = -2*i + 6 + 2. Let s be (-5)/(4/(3 - -1)). Let f be s - 0 - -3 - -7. Which is greater: f or i?
f
Suppose 3*y - 23 = -17. Which is greater: 0.3 or y?
y
Let r = -45 + 43. Let a = 8.1 - 8. Which is greater: r or a?
a
Let w(y) = -y**3 + 4*y**2 + 7*y - 7. Let j be w(5). Let q be (2 - -1)/j - 1. Which is bigger: q or -1?
q
Let u be ((-168)/(-32) - 10) + (-5)/(-1). Let h = -820/9 + 91. Which is smaller: u or h?
h
Suppose 366 = -0*x - 2*x. Let w = x + 1279/7. Let r be (-8)/(-14) + (-4)/14. Which is greater: w or r?
r
Let w be 7*(-1 + 2 + 0). Let l = -9 + w. Is l at most as big as 0?
True
Let v = -4.8 + -1.2. Suppose 5*y + 3 - 18 = 0, 5*y = 5*j + 50. Let g = 7 + j. Which is greater: v or g?
g
Let p = 17 - 15. Is p equal to 4/7?
False
Let y = 3 + -2.8. Let r = -105 + 107. Is r not equal to y?
True
Let m = -2.7 + 1.7. Let j = 4 + -4.15. Is m > j?
False
Let p be 148/168 - -3*2/(-9). Is p greater than -1?
True
Suppose -3*a + 4 = -5*w + 9, 0 = -3*a + 15. Suppose -5*q + 0 + 19 = 3*z, 2*z + w = 5*q. Is q <= 1?
False
Let z = 0 - -4. Let p be (-2)/(-1 + 0 + z). Is p at most as big as 0.2?
True
Let v = -51 + 51. Let t be 64/34 - (1 + 1). Let a = 23/51 + t. Which is smaller: a or v?
v
Suppose 10*m + 12 = 14*m. Do 9/5 and m have different values?
True
Let m = 30 + 42. Is 71 not equal to m?
True
Let l be (-3)/(-4)*4/(-1). Let u(w) = w**2 + 4*w + 1. Let d be u(-3). Let i = d - -2. Which is smaller: i or l?
l
Let p = 1 - -5. Let u(t) = t**2 - 6*t - 3. Let l be u(p). Let h = -2 - l. Which is smaller: h or 3/14?
3/14
Let u(v) = -4*v + 32. Let s be u(6). Is 7 > s?
False
Suppose -y - 4*x = -2*y - 2, 5*x + 8 = -4*y. Suppose -4 - 2 = 2*z, -4*z + 8 = -5*s. Which is bigger: s or y?
y
Let m(l) = -l**2 + 6*l. Let c be m(6). Which is greater: c or 3?
3
Let c(b) = 10*b + 6. Let d be c(-2). Which is bigger: 0.2 or d?
0.2
Suppose -3*z - z = 24. Let n be (-32)/36 - 4/z. Let j = -8 - -8. Which is smaller: j or n?
n
Let i = 63/5 - 188/15. Which is bigger: 2 or i?
2
Suppose 0 = -4*x + x. Suppose -4 = -2*c - 2. Which is greater: x or c?
c
Let x = -4.93 - 0.07. Is -1/2 >= x?
True
Let c = 0.03 + 0. Let g = 0.07 + c. Is g bigger than -3?
True
Let v = 8 - 5. Is 12 at least as big as v?
True
Let h(v) = -v - 9. Let y be h(-9). Let m = -15 + 8. Which is smaller: m or y?
m
Let h = 0.13 - 0.05. Let s = -0.02 - h. Which is greater: -1/4 or s?
s
Suppose p = -4*x + 4*p - 27, 2*x + 15 = p. Is x bigger than -7?
False
Let s = -5 - -5.03. Let c = 1.03 - s. Let g be 0/((-6)/(6/2)). Is g less than c?
True
Let c be 16 + 3*(-6)/9. Suppose q - c = -2*j, -j + 3*q - 12 = -2*j. Let o be 8/j + 2/(-6). Which is bigger: -2/13 or o?
o
Let h = -40 + 40. Is 1/3 at least as big as h?
True
Let h be (-2)/(-1*3/12). Suppose -3*c + h = -c. Let y be (c/6)/((-6)/9). Which is smaller: -2/5 or y?
y
Let f be (-2)/2*(-14 - -1). Let a = -12 + f. Which is greater: -3 or a?
a
Let f = -1/142 - -293/1278. Is f at most -1?
False
Let o = -3 + 0. Let i(g) = g**2 + g - 4. Let d be i(o). Suppose 2*p = -d*a + 8, -p + a = -3*a + 6. Is p less than 1/2?
False
Let h = 8516 + -59114/7. Let p = -71 + h. Let a(g) = -g + 7. Let s be a(7). Is s at least as big as p?
False
Let g(h) = h + 3. Let m be g(-3). Suppose 0*w + w = m. Is w < -2/7?
False
Let r(b) = -b**2 - 9*b - 6. Let y be r(-7). Let l = y + -6. Suppose -4*i + l*i = 6. Which is bigger: i or 0?
0
Let p(m) = m**2 + 7*m + 7. Suppose a = -a - 12. Let n be p(a). Are n and -2/41 unequal?
True
Let c = -165/7 + 167/7. Which is smaller: c or -3?
-3
Let n(g) = -3*g - 3. Let r be n(-1). Let m be (0 - 1)*4/10. Which is smaller: r or m?
m
Suppose 0 = 3*g + l - 5, -3*l + 9 = -6. Is 5/6 at most as big as g?
False
Let r = 2.4 - 13.4. Let b = 17 + r. Is -0.1 at least b?
False
Suppose 5*l - 41 = -3*m, 2*m = 3*m + 2*l - 15. Suppose 1 = a, 5*f + 0*a - 33 = 2*a. Let j = m - f. Does -2/17 = j?
False
Let y(u) = -u**2 + 7 + 5*u + 0*u**2 + 3*u**2 - 3*u**2. Let p be y(6). Suppose -1 = 5*o - 3*s + 1, 3*o + 4*s = 22. Do p and o have the same value?
False
Suppose 4*m = 3*m - 5*u - 20, -4 = u. Which is smaller: m or -2/51?
-2/51
Let k(g) = -g**3 - g**2 - 2*g - 1. Let i be k(0). Is -1 smaller than i?
False
Let f = 7 - 6. Which is smaller: 17 or f?
f
Suppose 0 = -4*z - 12 + 36. Let m = z + -3. Suppose 0 = 2*a - m*p - 1, 7 = 2*a + 5*p - 2*p. Is 2 smaller than a?
False
L