 + b + 7. Let u be y(-9). Let w be u*(4 - (-156)/(-40)). Do w and 1 have different values?
True
Suppose -117*j + 115*j + 330 = 0. Which is greater: 166 or j?
166
Let x = -53 + 30. Let s = 24 + x. Let i be (1/2)/(1/3). Is i <= s?
False
Let p(v) = v**3 - 5*v**2 + 2. Let y be p(5). Suppose y*f - 9 = -5. Which is smaller: f or 4/5?
4/5
Let n = 0.9 - -0.1. Suppose 0 = -k + 5*c - c - 21, 4*k - 4*c + 24 = 0. Which is smaller: k or n?
k
Let j be (0 - (2 - 2) - -2) + -2. Which is greater: j or -2/23?
j
Suppose -2*w = -0*w - 14. Let v be (4/w)/(-1 - 1). Which is greater: 1 or v?
1
Suppose -3*k - k = 4. Are k and 1 non-equal?
True
Let n(u) = -10*u + 1. Let q be n(-5). Is q equal to 51?
True
Let a be ((-8)/(-126))/(1/(-6))*-3. Suppose 6*i = i + 10. Is a greater than or equal to i?
False
Suppose -4*v - 2*w + 5 = -5*w, w + 15 = 4*v. Suppose -b + x = 4, x + x - v = -b. Is b != -1?
False
Let j = 6 - -1.6. Let g = j + -7. Does g = -2/9?
False
Let v = 6 - 5.88. Let p = -0.02 + v. Do p and 2/7 have the same value?
False
Let w be ((3 - 0)/(-3))/(-1). Let j be 3/(-6)*340/(-42). Let r = -26/7 + j. Which is greater: r or w?
w
Let v be (6/(-10))/((-5)/25). Suppose v*p - k = 6, 2*k - k = p. Let w = 15 - 11. Is w < p?
False
Let p = -3 + 2.7. Let t = -0.3 - p. Let s = t + 1. Which is bigger: s or -0.2?
s
Suppose -5*k = n + 20, 2*n + 3*k + 0*k = -12. Let s be (0 + 1)*(0 - 1)/(-4). Are n and s nonequal?
True
Suppose 3*o = -6, 3*u = 5*o - o + 14. Suppose -3*g - 9 = 0, u*v + 5 = -g - 0. Which is bigger: v or 1?
1
Let y = -6 - -7. Let h = -3 + 4. Let r = y + h. Is 2 equal to r?
True
Let v = -2/55 + 246/715. Suppose -2*q = q. Which is greater: v or q?
v
Let n(q) = 10*q. Let b be n(2). Suppose 0*u - 4*u = -b. Let i be (0 - u)*2/6. Which is bigger: i or -3?
i
Suppose -5*r + 2*r = 72. Let m be (-10)/r - (-4)/(-6). Let p = -7 - -6. Are p and m equal?
False
Let k(u) = u**3 + 3*u**2 - 5*u - 1. Let c be k(-4). Let a(y) = 4*y**2 + 2 - 5*y**2 - c + 6*y. Let o be a(6). Is o greater than or equal to -1?
True
Let r be (-10)/16*(-18)/(-75). Which is smaller: r or 1?
r
Let c(m) = 2*m - 5. Let n be c(4). Suppose -2*j + 1 = -n. Which is greater: 0 or j?
j
Suppose -5*g - 6 = 14. Let t = 24 - 21. Suppose -t*m = 11 + 4. Which is smaller: g or m?
m
Let p = 17 - 5. Let g be (1620/(-4795))/((-26)/p). Let s = g + -2/959. Which is greater: 0 or s?
s
Let z be 3*1/(-5) - (-168)/(-120). Which is bigger: z or -10?
z
Let p(b) = 1 + 4 - 2 + b - 4. Let h = 2 - 1. Let k be p(h). Is k greater than 4/9?
False
Let h = -14 - -15. Which is greater: 1/12 or h?
h
Let d(b) = -b**3 + 6*b**2 + b - 6. Let l be d(6). Suppose 0 = -3*k - 3*j - 9, 0 = -4*k + 2*j + j - 5. Let f = k + l. Which is smaller: -3 or f?
-3
Let u be 26/(-110) - 21/(-35). Let v = 72/77 - u. Is v bigger than -1?
True
Let k = -18.3 - -17. Is 1 greater than k?
True
Suppose 0 = 4*r - 8*r + 20. Let i be ((-6)/(-30))/(1/r). Which is smaller: i or 3/23?
3/23
Let x(d) = -d**2 - 3*d + 10. Let u be x(-5). Is -2 < u?
True
Let k = 0.055 - 0.055. Does 1 = k?
False
Let d = 768/7 + -111. Does 0 = d?
False
Let x be (-1)/8 + 10/80. Is x equal to -3?
False
Let u = -0.8 - 0.2. Let o = -0.7 + u. Let g = o - -2. Which is bigger: g or 0?
g
Let p be (-8 + 14)*(-2)/(-3). Which is smaller: p or 1?
1
Suppose -72 + 17 = 5*a. Let d(j) = -j**2 + 3*j + 16. Let s be d(-4). Is s greater than a?
False
Let s = 0.3 + -0.2. Let w = 8 - 33. Let p = w + 26. Which is greater: p or s?
p
Let m = 38.2 - 39. Which is smaller: m or 1/4?
m
Let f = 10 + -7. Which is smaller: f or 3/2?
3/2
Let u be (8/8)/(1 - 2). Which is greater: -1/4 or u?
-1/4
Suppose 3*k + 3 = r - 49, -2*k = -4*r + 28. Are -19 and k equal?
False
Let t = -112 - -111. Which is bigger: -8 or t?
t
Suppose 5*n + 10 = 5. Do n and -2/99 have the same value?
False
Let i be (-1)/(-2 - -3) + 3. Suppose 10 = 3*k + 2*k. Suppose k*z + 0*z = 4. Is i >= z?
True
Let m be (-10)/(-14) + 20/70. Let b be (m - -2)*(-9)/(-216). Which is greater: b or 1?
1
Let a be 82/14 + (-2)/(-14). Suppose 0 = 3*s - 2*j + 1 - a, -j - 1 = -3*s. Which is bigger: s or 0?
0
Suppose -4*u + 6*u = 0. Suppose -5 + 15 = -2*s. Let o be (-4 - s)*u/(-1). Do 0 and o have different values?
False
Suppose 60 = -3*u + 13*u. Which is smaller: 5 or u?
5
Let l(q) = 3*q**2 - 6*q - 3. Let k be l(3). Let r(h) = -4*h**3 + 2*h**2 + 2*h + 1. Let a be r(-1). Which is smaller: k or a?
a
Let l = 85 - 70. Is l less than or equal to 16?
True
Let q be (-52)/12*(-3)/(-2). Is 0.2 at most q?
False
Suppose 0 = s - 0*s + 45. Let g be -4*(0 + s/(-6)). Let f be ((-2)/4)/(9/g). Which is bigger: 2 or f?
2
Let d(v) be the third derivative of 43*v**5/60 - v**4/12 + v**3/6 - 4*v**2. Let i be d(1). Let x = -124/3 + i. Which is smaller: x or 0?
0
Suppose 1 = m + k, -3*k = m - 4*m + 3. Is m at most -1/18?
False
Let i be (-67)/(-100) - (-15)/(-20). Let z(f) = f + 3. Let x be z(-4). Is i smaller than x?
False
Let q be ((-8)/150)/(((-700)/(-21))/(-10)). Let n = 662611/9841500 + 1/196830. Let z = q + n. Which is bigger: 1 or z?
1
Suppose 5*x - 2*w = 25, -6 = -2*x - 2*w + 4. Suppose x*q - 3*q - 20 = 0. Let t be (-1 - -2) + q/50. Which is greater: 1 or t?
t
Suppose -d = -4 - 1, -2*k + 7 = d. Let v be 2 + k + 0/2. Let l be 0*3/9*v. Are 1 and l equal?
False
Let y(r) be the third derivative of r**4/24 + 4*r**3/3 - 12*r**2. Let q be y(-7). Let k be (-1)/(-4) - 0/(-1). Which is greater: q or k?
q
Let q(a) = 2*a. Let c be q(-3). Let p = c - -9. Suppose -r + 10 = 4*r. Are r and p nonequal?
True
Let z = 5.7 + -3.7. Let p be 2/(-1 - 4/(-2)). Is z <= p?
True
Let u be (-1 - (-36)/30)*-1. Are u and -6 non-equal?
True
Let a(t) = t**2 - t - 5. Let o be a(3). Is o != 12?
True
Suppose -4*s + m + 3*m + 16 = 0, -4*s - 2*m = 14. Is s at least -5/42?
False
Let z(d) = -d**2 + d + 3. Let x be z(0). Let t = x + -4. Let s be -1 + t*0/(-1). Is 1 at least as big as s?
True
Let b = 1/299 + 14649/598. Let u = b - 26. Do u and -3 have different values?
True
Let q(v) = 4*v + 0*v + 10 - 3 - 3*v. Let z be q(-7). Which is bigger: 2/15 or z?
2/15
Let a = 1/16361578803 + 11164290573018085/840314325743277. Let r = -1/7337 + a. Let l = -13 + r. Which is greater: l or -0.3?
l
Let c = -0.9 + 0.9. Let n = c + 0.1. Which is greater: n or -3/7?
n
Let c(i) = i**2 - 5*i + 9. Let m be c(4). Which is bigger: 0.3 or m?
m
Let x = -1.2 - -0.2. Let b = x + 0.9. Let a = 0 + b. Which is smaller: -1/3 or a?
-1/3
Let h = 10 + -14. Let q(l) = -l**3 - 3*l**2 + 6*l + 7. Let a be q(h). Which is bigger: 1/9 or a?
1/9
Let n = 53 - 52. Are n and 1/8 equal?
False
Let i be 1/(-5)*(-21)/7. Is 1 bigger than i?
True
Let x be 18/(-9) + 0 + 1. Which is greater: x or -20/11?
x
Let q(s) = -s. Suppose 4*m = 5*u - 0*m - 36, m - 16 = -5*u. Suppose -4*z + 3 = -2*x - 3, -u*x = z + 3. Let b be q(z). Which is smaller: -3/5 or b?
b
Suppose 7*w - 2*w + 2*q = 1, 11 = 3*w - 4*q. Is w at least 4/37?
True
Let t be 9*(19/(-21) - -1). Let r be 0/((4 - (4 - 4))/2). Are r and t equal?
False
Let b = 83 - 88. Is b greater than or equal to -3?
False
Let p = 0.1 - 0.1. Which is greater: p or 2/57?
2/57
Let u be (-22)/(-7) - 3/21. Does -3 = u?
False
Let o be (-2*(-9)/12)/(-3)*4. Is o != -10?
True
Suppose 4*h - 5*h - 2 = 0. Let s be -3*(3/6 - 0). Let r = 1 + s. Which is smaller: h or r?
h
Let l = 8 - 6. Let y be l*3*(-1)/(-6). Let m be 2 - (0 - 1)*y. Are 3 and m equal?
True
Let t be (-12)/(-4) - (-67)/(-17). Which is greater: -1 or t?
t
Let z(u) = -u - 9. Let h be z(-8). Let p = 4.6 - -0.4. Which is bigger: p or h?
p
Let o = 15817/582 + -163/6. Which is bigger: o or 0?
o
Let t = 87 + -86. Which is smaller: -3 or t?
-3
Let t be 3/14 + 4/14. Let o(d) = 1 - 7 - 2*d + d. Let j be o(-6). Which is bigger: j or t?
t
Let n = -0.2 - 0.1. Let o = n + -8.7. Is o equal to 2?
False
Let q(a) = -a + 12. Let x be q(9). Suppose -x*l = 2*l - 5. Are l and 2 equal?
False
Let r = 67673/70 + -6572/7. Let f = r + -28. Is 0 less than f?
False
Let i(h) = 3*h**2 - 4. Let c be i(2). Is 6 at most c?
True
Suppose 3*k - 5*a + 6 = 0, -2*a = 3*k - 5*a. Do k and 12/7 have the same value?
False
Suppose 12 = -3*n - 9. Let m be (-2)/(n/3 - -1). Let o = 11/6 - m. Which is smaller: -1 or o?
-1
Suppose 5*w - 16 = 3*i, -2*i - 5*w + 48 - 17 = 0. Let x = -1 - -1. Let c = x - 0. Is i at most as big as c?
False
Suppose 0 = -2*i - 0*i + 2. Le