
False
Let h = -1.2 + 1. Let m = -0.3 - h. Suppose -3*l + y = -7*l + 1, -l - 4*y - 11 = 0. Which is bigger: m or l?
l
Let y = 48/7 - 46/7. Which is bigger: y or 0.7?
0.7
Let c = -1080/13 + 83. Which is greater: c or -1/5?
c
Suppose 3*u + 3*d - 31 = -2*d, -2*u - d + 9 = 0. Let y be (u - 66/14) + 3. Which is greater: -7 or y?
y
Let z(c) = -c**3 - 9*c**2 - 7*c + 10. Let y be z(-8). Suppose 0 = 2*a + y*a - 8. Suppose 0 = t - a*t. Which is bigger: t or -2/7?
t
Let h(l) = -2*l + 15. Let v be h(7). Which is bigger: 0.1 or v?
v
Let u = 20 + -33. Let v = -15 - u. Do -4 and v have the same value?
False
Suppose 3*b = -2*b - 15. Let s be -2 + (-2 - b) - 3. Let i be 9/(-6)*s/3. Is i > 3?
False
Let n = 81 + -1213/15. Let h be (-10)/(-35) + 4/(-14). Which is greater: h or n?
n
Let l = -12 - -23/2. Is l >= 3?
False
Suppose -6 = -2*o - o. Let s = 2 - 0. Let n be s + 14/(-8) + 0. Which is greater: o or n?
o
Let x(d) be the first derivative of -d**2 - 2*d - 1. Let k be x(-3). Suppose 0 = -2*f - k - 2. Is f > -3?
False
Let o(y) = -y**2 + 11*y - 8. Let n be o(10). Let t be n - 1 - 6/5. Is 1 >= t?
True
Let x = -6 + 6.6. Which is smaller: -1/4 or x?
-1/4
Let b = 2 - 2. Suppose -u + 1 = -b*u. Let f be 10/12*(-10)/25. Is u > f?
True
Let j(d) = -d + 4. Let o be j(0). Is o <= 4?
True
Let o = -4/151 + 577/4681. Which is smaller: o or 0?
0
Suppose -5*v + 2*w = -61, 0 = -v + 5*v - 3*w - 46. Suppose 0 = -4*l - v + 1. Is -3 at most l?
True
Let f = 14 - 6. Let k be 6/f + 117/(-252). Which is smaller: k or -2?
-2
Let f(p) = p**2 - 7*p - 7. Let w be f(8). Let j = 3 - w. Let g be -3*-1*(3 - j). Is g < 1?
False
Let k = -37/2 - -18. Let n = 0.08 + -0.17. Let c = -0.17 - n. Which is smaller: c or k?
k
Let c = 0 - 0.1. Let i = c - -0.1. Which is smaller: i or -4/7?
-4/7
Let z(w) = w**2 - 2. Let a be z(-1). Is a > -1/22?
False
Suppose 4*v - 3*i + 5*i = 0, 4*v = 3*i. Suppose 2*z + 4 = -0. Let h be (1 + (-1 - z))*1. Is h bigger than v?
True
Let y be -3 + 5 - (1 - 1). Suppose 0 = g + 1, -y*a - g = -11 - 68. Let h be 4/2 + a/(-22). Which is smaller: 1 or h?
h
Let t = -3.9 - 0.1. Let h = t + 4. Is h >= 3/4?
False
Let r = -175.3 - -168. Let f = -7 - r. Let l = 0 - 0.1. Which is greater: f or l?
f
Let c = 34.92 + -29. Let r = 0.08 + c. Let k = r - 6.06. Is k at least 0.1?
False
Suppose -3*h - 4*m - 123 = 0, -5 = -2*m + 1. Let f be (-2)/11 - h/66. Suppose 3*y = -x, -3*y - 4*x + 0*x = 9. Does f = y?
False
Let p be 3/(-3) - (0 + -1). Let o be 84/385*(-15)/6. Is o smaller than p?
True
Let n(d) = d - 16. Let u be n(12). Let z be (u/(-3) - 2)*3. Are -3 and z nonequal?
True
Let j(y) be the second derivative of -y**3/6 - 7*y**2/2 - 2*y. Let h(t) = -1. Let v(s) = 3*h(s) - j(s). Let k be v(-6). Which is smaller: k or -3/4?
k
Let s = 6 - 3. Let f = s - 3. Which is smaller: 2/5 or f?
f
Let g(o) be the third derivative of o**5/30 + o**4/24 - o**3/6 + 5*o**2. Let z be g(-2). Is z at most 6?
True
Let h = 2.616 - -0.384. Let j(u) = -u**2 + 7*u - 1. Let g be j(6). Which is smaller: g or h?
h
Let c = 6 - 6. Suppose -4*z - 8 = 0, -2*y - 2*y = z - 58. Let l be y/(-9) - (-1 + c). Which is smaller: -1 or l?
-1
Let t(u) = -u**2 - 8*u - 6. Let q be t(-8). Let c be q/2 + 7 - -2. Do 11/2 and c have the same value?
False
Let v = 1 - -1. Suppose v = 2*y - 4*y. Suppose 5*n = 3*l - 9, -3*l = n - 0*l - 9. Is y != n?
True
Suppose g = -3*g + 16. Is g at least 4?
True
Let y = 5 + -1. Let f be (6/8)/((-6)/y). Is f != 0?
True
Let a = 8 + 1. Let l = 14 - a. Suppose -2*f - l*j - 19 = 0, -f = -3*f - 4*j - 16. Is 0 < f?
False
Let p be (6/(-20))/((-6)/(-16)). Suppose 5*r + 16 = -g, -2*g + 5 = -g - 2*r. Is p bigger than g?
True
Let d = 6.8 + -10. Let x = 3 + d. Let h = 0 + -1. Is h > x?
False
Suppose -2*f + 13 = 5*o, 4*o = 3*f - f + 14. Suppose n + o = 4. Which is bigger: -3/8 or n?
n
Let g = 0.1 - 0.3. Let u = g + -0.2. Let c = u - -0.5. Is c smaller than -0.2?
False
Let m = -2569/5 - -511. Which is smaller: -2 or m?
m
Suppose -6 - 10 = -4*n - 3*r, -4*r = 2*n - 8. Let j be 9/n - (-1)/(-4). Suppose -3*y - 1 = -j*y. Which is smaller: y or -2/3?
y
Suppose 3*w - k + 0 + 2 = 0, -3*w - 10 = -5*k. Suppose w*o = -3*o + 15. Suppose o = 3*j + 2. Is -0.3 equal to j?
False
Suppose 5*c = 12 - 2. Is c at least as big as 14/11?
True
Let s be (2/4)/(2/4). Let g be (s + -3)/(-2) + -1. Let p(o) = o**2 + 7*o + 6. Let x be p(-6). Is g smaller than x?
False
Let r be 22/(-77) + 131/(-7). Let s = -2 + r. Which is smaller: s or 1?
s
Suppose -4*h - 14 = -2*h + 5*u, -h = 3*u + 9. Let a be 3/((9/h)/(-3)). Let q(y) = y**2 + 8*y + 8. Let s be q(-6). Is a at least as big as s?
True
Let z be (-2 + 5 + -4)*1. Which is smaller: -7/3 or z?
-7/3
Let p = -355709/167 - -2130. Which is smaller: 0 or p?
0
Let b = 20 - 22. Let l be 16/2 - (-1)/(-4). Let m = l - 15/2. Which is greater: m or b?
m
Suppose -23 = -3*l + 4*y, -4*l - 14 = -3*l + 3*y. Let j = -54 - -33. Let h be (j/(-6))/7*-4. Which is smaller: l or h?
h
Let u be 6/(-2) + -1032*1. Let z be (-48)/u - (-2)/(-15). Which is smaller: 1 or z?
z
Let o = 9 - 32. Is -23 < o?
False
Let f = 1 - 3. Is f greater than 7?
False
Let r(f) = f**2 + f + 3. Let d(s) = -s - 8. Let o be d(-8). Let w be r(o). Which is greater: w or 2?
w
Let y be (6/5)/(6/20). Let g be (-2)/(-6) - y/(-6). Suppose 0 = 11*w - 13*w + 4. Is g greater than or equal to w?
False
Let o = 4 - 2.6. Which is smaller: o or 0.1?
0.1
Let t = -0.037 + -5.163. Let m = t + 5. Which is bigger: m or 0.1?
0.1
Let a(d) = -7*d**2 + 2*d - 1. Let h be a(1). Let l = 0 + h. Let q(x) = -x - 6. Let i be q(l). Are 0 and i unequal?
False
Let x be 4/42*9*-1. Let b = 33/14 + x. Do 2 and b have the same value?
False
Let f = 280 + -5882/21. Let h be (1 - 3/2)*2. Is f smaller than h?
False
Let u = 74967/55 - 1363. Which is smaller: 1 or u?
u
Suppose 5*p = 4*g - 35, 8 = -2*p + 2. Which is greater: g or 2?
g
Suppose 0*l + 4*s + 26 = 5*l, -l + s = -6. Suppose -a - 2*t + t + 2 = 0, 4 = l*a - 5*t. Which is greater: 2/3 or a?
a
Let m be 35/(-15)*(-4)/98. Is m bigger than 0?
True
Let g = 15 - 10. Are g and 4 equal?
False
Let x = 24 - 25. Let c(k) = -k**3 + k**2 - 1. Let s(b) = 3*b**3 - 10*b**2 - 6*b - 1. Let i(h) = 4*c(h) + s(h). Let q be i(-5). Which is greater: q or x?
q
Let h = 20 - 20. Let o be ((-2)/4)/(1 + 4). Which is bigger: o or h?
h
Let t be (-2)/291*6/4. Let b = -207/1261 - t. Which is smaller: b or 1?
b
Let n be 5/(10/6) - 3. Which is smaller: n or 1/7?
n
Let k be (2/(-4))/((-1)/10). Suppose 0 = -3*d - 2*j + 4, 3*d = -3*j + k - 2. Is 1 bigger than d?
False
Let z(x) = -x + 2. Let r be z(3). Do r and -6 have different values?
True
Let f(o) = o**2 + 10*o + 6. Suppose -60 = 5*l - 15. Let g be f(l). Let s be g/(-4) + 13/(-12). Is -1 less than s?
True
Let g(t) = -t**2 + 6*t - 3. Let k be g(5). Let d = k - 2. Let n = -177 - -1595/9. Which is greater: n or d?
n
Let y(i) = i**2 - 9*i + 8. Let d be (-4)/(-22) - 668/44. Let q be ((-10)/d)/(2/24). Let c be y(q). Which is smaller: 2 or c?
c
Let v = -25 + 61. Is 36 equal to v?
True
Suppose -3*m - 2*y + 0 = 21, 2*y - 28 = 4*m. Let j = 5 - m. Let w be (4/j)/(1/3). Which is greater: 0 or w?
w
Let l(v) = v**2 + 6*v + 3. Let u be l(-2). Let x = -7 - u. Do x and -2 have different values?
False
Let r be 19/3 - 8/(-12). Suppose -y + 0*y = -r. Let b be y/(-28) + 2/8. Is -3 >= b?
False
Let q be (9/(-3))/(-6)*2. Let a be (-5)/15 - (-14)/30. Is q greater than a?
True
Let c be -2 + 10/(-2) - 2. Let m be (4/230)/(c/(-45)). Is m greater than 1?
False
Let s = 42 - 43. Which is smaller: s or -9?
-9
Let g = -0.2 + 0.1. Let r = -54 + 105/2. Which is bigger: g or r?
g
Let v = 28 - 20. Do 0 and v have different values?
True
Suppose 8*r = 13*r + 5. Which is smaller: r or 0?
r
Let o = -1.3 + 0.3. Let m = -1 + 0. Let f = m + 2. Which is smaller: o or f?
o
Let t = 2 + -1. Suppose 2*d + 9 = t. Let o be d/(-10) + (-28)/20. Which is smaller: o or -1/3?
o
Suppose r = 4, 4*y + 1 = y - 2*r. Let i = 0 - 0.1. Which is smaller: y or i?
y
Let f be 1/3*0 + 1. Suppose t = -3*i - t - f, 1 = -i - t. Is i not equal to 1/2?
True
Let v be ((-4)/(-5))/(286/(-165)). Which is smaller: 1 or v?
v
Suppose -y = 4*y - 15. Let u(w) = w**3 + 2. Let g be u(0). Is y at most as big as g?
False
Let b = 4 + -4. Let o = -19/14 + 6/7. Is o bigger than b?
False
Let c(m) = -21*m**2 + m + 2. Let z be