14 - -17. Do q and i have the same value?
True
Suppose 0 = -3*d - 3*f - 12, 2*d - f = 6*d + 1. Let x = -1 + 1.3. Let j = x - 0.3. Which is greater: d or j?
d
Suppose -3*w - 3*q - 51 = 2*w, 3*w = 5*q - 17. Let n = 9 + w. Which is greater: n or -8/7?
n
Let k = -4 - -9. Suppose -10 = -4*x - k*g, 2*x + 10 = -x + 5*g. Does x = 3/5?
False
Let u(a) = -a. Let x be u(-2). Let q = -433/4 - -109. Is x > q?
True
Let l(n) = -3*n**2 + 2*n - 2. Let z be l(2). Let g be ((-16)/z)/(4/10). Suppose g + 1 = i. Is 4 <= i?
True
Let y be (4/(-6))/((-80)/(-48)). Which is smaller: -2 or y?
-2
Let z be 11352/12690 + 4/(-18). Let o = -6/47 - z. Is o >= -1?
True
Let a be 69/(-10)*4/(-9). Let b = 17/5 - a. Is 0 smaller than b?
True
Let w be 5 + (-3)/3*1. Suppose -2*m + 5*z - z = -36, -3*m + 44 = w*z. Is m greater than 16?
False
Suppose 0 = 3*p + 107 + 1. Is p smaller than 1?
True
Let u = 0.01 + 0.99. Let g = -54.7 + 57. Let m = 0.3 - g. Which is smaller: m or u?
m
Let f = 2473/11 + -225. Let w be 1 + (3 - 12/3). Which is smaller: w or f?
f
Let f be 0 + (2 + 2 - 1). Suppose -h - 4*t - f = 0, 0 = 5*h + 4*t - 1. Let g be (24/18)/(h*-2). Is g bigger than -2?
True
Let j(b) = 4 + 4 - 2*b - 4. Let x be j(6). Let t = x - -6. Which is smaller: -4 or t?
-4
Suppose 3*z + 40 = -5*z. Is -2 <= z?
False
Let d be ((-2)/(-8))/((-4)/28) - -2. Are d and -1 nonequal?
True
Let m = 0.11 + -0.1. Let s = -0.09 - m. Which is greater: s or 0.3?
0.3
Suppose 3*b = 4*b - 8. Suppose -7*s = -3*s + b. Suppose 2 = -m + 1. Is m at most as big as s?
False
Suppose 15 = -3*x, -4*q - 47 = -0*q - x. Which is smaller: -10 or q?
q
Let q = -5.2 - 2. Let w = 7 + q. Which is smaller: 1 or w?
w
Let b = 4.3 + -4.81. Let n = 0.09 - b. Which is greater: -2/5 or n?
n
Let o(s) = 14*s + 38. Let m be o(-7). Which is bigger: -59 or m?
-59
Suppose 30 = 3*q + 2*q. Let z(k) = 2*k - 9. Let l be z(q). Suppose 6*c = l*c + 15. Does 4 = c?
False
Let p = -2.099 - 0.001. Let x = -0.1 - p. Suppose -4*q - 5*v = -10 - 5, 4*v - 12 = 0. Is q less than or equal to x?
True
Let r(w) = -w**2 + 3*w - 3. Let q be r(2). Is 3/73 bigger than q?
True
Let n be ((-9)/(-6) + -1)*0. Suppose 4*b + 9 = 3*x - b, -3*x - 2*b - 12 = n. Let h be x/8 + 7/28. Is 5/6 >= h?
True
Let c be (-4)/7*(1 - 7/14). Is c >= 1/3?
False
Let h = 0.2 - -1.9. Let d = -1.8 + h. Which is bigger: -0.1 or d?
d
Let f(v) = v**2 + 4*v + 1. Let m be f(-3). Let k(z) = -2*z - 9. Let r(h) = -4*h - 18. Let a(p) = -9*k(p) + 4*r(p). Let o be a(-6). Which is smaller: o or m?
o
Suppose a = -g - 0*g + 7, -3*g + 17 = 2*a. Suppose t = -4*k + 17, -3 + 25 = 2*t + a*k. Which is smaller: t or 6?
t
Let b(s) = -s - 8. Let j be b(-10). Suppose 5*o + 5*z = 40, -3*z = -4*o - j*z + 42. Is 9 >= o?
False
Let c be -3 - (-3 + 1)/2. Let b = -5.1 + 5. Is b bigger than c?
True
Let p = 8 + -3. Suppose 0 = -3*m + v - 1, -16 = -m + p*m - 5*v. Let r be (-1)/m*(5 - 6). Is -1/8 >= r?
False
Let p = 30 - 19. Suppose 3*x + 0*x - k = 0, -4*x = -5*k + p. Which is smaller: 2/21 or x?
2/21
Let z(j) = -j**3 + 4*j**2 - j + 3. Let d be z(4). Suppose 0*x + 2*x - 4*x = 0. Which is bigger: x or d?
x
Let c = -2.2 - -0.2. Let l = -3.2 - -3.4. Which is bigger: l or c?
l
Let d be ((-4)/(-21))/((-6)/(-9)). Let j = -4 + -10. Let k = j + 13. Is k greater than d?
False
Let i be 63/15 - (-4)/5. Let l = i + 1. Which is bigger: 7 or l?
7
Suppose 3 = k - 1. Suppose 0 = -0*t + k*t. Which is bigger: 2/5 or t?
2/5
Let o(s) = 4*s - 11. Let z(r) = -r + 4. Let f(m) = 2*o(m) + 7*z(m). Let x be f(-9). Let n be (x/(-3))/((-1)/2). Is -2 < n?
False
Let c(w) be the third derivative of -w**4/24 + w**3/2 - 3*w**2. Let b be c(6). Is -1 at most as big as b?
False
Let q(l) = -7*l**3 + 3*l**2 - 3. Let n be q(2). Do n and -46 have the same value?
False
Let h = -4.92 - -5. Let v = h - -2.52. Let f = v + -0.6. Are -2/5 and f equal?
False
Suppose 3*o - 13 + 40 = 0. Let n = 22 + -30. Is n >= o?
True
Suppose -4*o = -0*l - 2*l + 430, -o = 2*l + 105. Let b = -11586 + 57397/5. Let c = o - b. Is 0 at most as big as c?
False
Let f be (-2)/(-10)*(-85)/(-6). Let t = 7/3 - f. Let x = 3 + -3.4. Which is smaller: x or t?
t
Let b = 0 + 1. Let q be (-3)/(b + 2)*-1. Let f be 5/(-3) - (-2)/3. Which is smaller: f or q?
f
Suppose l + 3*l - 4*c = 168, -l + 44 = -2*c. Suppose -4*a - 5*t = l, -2*a = -5*t - 6 - 4. Is -2 smaller than a?
False
Let d be 1/(-3) + (-22)/(-30). Suppose 1 + 1 = m. Let u be 0 - m - 12/(-3). Which is smaller: d or u?
d
Suppose r = 2*r + 1. Which is smaller: r or 1/32?
r
Suppose 3*o - 10 = -2*o. Suppose o*j = -4*h, 3*h - 26 = -0*h + 5*j. Suppose -h*k + 7*k - 5 = 0. Is 1 != k?
False
Let l be 6/22 - (6 + -6). Is l not equal to -1?
True
Suppose r - f - 3 = 0, -6*r - f = -3*r - 5. Let g(m) = m**2 + 2*m + 3. Let s be g(-2). Is r greater than s?
False
Let s be 1 + 3/3 - 4. Let p = -4 - s. Is p at least -3?
True
Let q = 121/250 + 2/125. Which is smaller: 1/4 or q?
1/4
Suppose 26 - 16 = -2*l. Which is smaller: -6 or l?
-6
Suppose -3*f - 10 = -5*q + 1, 3*f - 17 = -2*q. Suppose 5*t = v, 0*v + v + q*t = 0. Which is smaller: 1/2 or v?
v
Let q be (3 - (-1)/(-1)) + -8. Let h(t) = -3*t**2 - 2*t. Let p be h(-1). Which is bigger: q or p?
p
Let g be 30/2 + (-1 - 0) + 1. Is 15 at most as big as g?
True
Let f(g) = g**2 - 18*g + 17. Let n be f(13). Is n < -46?
True
Suppose -3*h + h = 4*h. Which is smaller: -1/3 or h?
-1/3
Suppose -6*c - 10*c = -16. Which is greater: c or -1?
c
Let n = 0.5 - 0. Let h = 0.5 - n. Is 2/9 != h?
True
Let s(o) = -3*o**3 - o**2 + o + 1. Let y be s(-1). Is y > 1?
True
Let a be (-2)/((-1)/(-2)*-1). Suppose -a*o = -3*o - 1. Suppose 1 = -5*s + 6. Is s less than o?
False
Let j be (-1)/(-5) + 146/20. Let l = j + -22/3. Let y(o) = -o**3 + 6*o**2 - 4*o - 6. Let u be y(5). Which is bigger: u or l?
l
Let l = -0.3 - -0.2. Let b = l - -0.3. Let k = -19.6 - -20.6. Are b and k non-equal?
True
Suppose -16 - 4 = -4*d. Suppose d*u = 3*v - 5 + 2, 3*v - u = 3. Suppose -a + 5*p = 2 + v, -2*a + 2 = -2*p. Is 1 greater than a?
False
Suppose 14*n + 1 = -41. Let i be (-2)/(-2)*0/(-2). Let h = n + i. Which is smaller: h or -2?
h
Suppose 0 + 1 = -t. Let u = 38/53 + -1984/2915. Are t and u equal?
False
Let g = 28 + -9. Is 20 equal to g?
False
Let q = 1 + -3. Which is greater: q or -6/11?
-6/11
Let w = 1.5 + -15.5. Let g = w - -10. Which is smaller: -1 or g?
g
Let i(p) = -p**3 - 2*p**2 + 4*p + 2. Let v be i(-3). Is v at least -11/6?
True
Let s be (-9)/3 - (-2302)/(-14). Let g = s + 168. Is g smaller than 1?
True
Let f = 10 + -10.1. Let p = f - -0.4. Which is greater: p or 2?
2
Let l = -0.2 - -0.4. Let q = l - 1.2. Let x = -1 + q. Is -0.1 < x?
False
Let x = 1.2 - 4.2. Does x = -3?
True
Suppose -3*r - h - 7 = r, -2*h - 3 = -3*r. Let q = -135 - -2159/16. Is r less than or equal to q?
True
Let k = 5 + -2. Let b = k + -2. Is 2/7 < b?
True
Let t = -49/60 - -5/12. Do t and 4 have different values?
True
Suppose 0 = -2*j + 6 + 4, -j - 7 = -4*q. Let p = q + -2. Which is smaller: p or 4?
p
Let s(b) = b - 5. Let p be s(5). Suppose -v - 3 = 2*z + 8, v + 4*z + 21 = p. Which is bigger: 1/6 or v?
1/6
Let k = 7706/105 - 510/7. Let v be ((-26)/325)/((-42)/(-130)). Let f = k + v. Which is smaller: f or 0.5?
f
Suppose 16*c + 16 = 17*c. Which is smaller: 17 or c?
c
Let k = 1.6 - 1.3. Which is greater: k or 0.1?
k
Let b(l) = -l**3 - 2*l**2 + 5*l. Let r be b(-3). Which is smaller: -5 or r?
r
Let z be 2/(-3) - (-56)/21. Suppose -j + 2 = -r, -2*r + 5*j = z*r + 10. Is r greater than -2/19?
True
Let t = 2891/27 - 107. Which is smaller: 2/5 or t?
t
Let w be ((-9)/2)/((-3)/4). Let n(q) be the third derivative of -q**5/60 + q**4/4 - q**3/3 + 2*q**2. Let f be n(w). Which is bigger: f or -1?
-1
Let j = 4760/23 + -207. Which is bigger: -1 or j?
j
Suppose 5 = -7*s + 2*s. Is s less than or equal to -7/3?
False
Suppose 3*m = -m - 2*r, 0 = 4*r. Which is smaller: m or 1/87?
m
Let f(s) = s**3 + 5*s**2 + 2*s + 7. Let l be f(-5). Is l less than 3?
True
Let d be ((-2)/10)/((-12)/70). Let m = 0 + 1. Which is greater: d or m?
d
Suppose 0*d - 5*d - 2*g = -21, 0 = 5*d + 3*g - 24. Suppose -2 - d = -5*b + 4*m, 2*b + 2*m = 2. Is b smaller than 3?
True
Let x(c) = 2*c**2 + 19*c + 8. Let a be x(-9). Do -2 and a have different values?
True
Let z(s) be the third derivative of s**6/120 - s**4/12 - s**3/3 - 6*s**2. Let a be z(-2). Is a >