m/10 + 16/5. Suppose b*t + 2 = -4. Do t and 0 have different values?
True
Let p be (-6)/2*(-1)/4. Let o = -7 - -8. Is o at least p?
True
Suppose 4*a + 1 + 3 = 0. Let x = a - -6. Suppose x*s = 5*n - 10, -3*s - 3*n = s + 1. Is s greater than 3/8?
False
Let j = -3828/13 - -14656/39. Let q = j + -80. Is q at least as big as 0?
True
Let c(o) = o**2 - 5*o - 4. Let s be c(5). Let a = -10 + 10. Is a >= s?
True
Let z be ((-55)/(-10))/((-2)/24). Which is greater: -1/3 or z?
-1/3
Let o = 692 + -695. Let q = 20 + -9. Suppose -5*r - 3*g - 7 = 0, 0*g + 2*g = 3*r - q. Which is smaller: o or r?
o
Suppose 5*v = 3*j - 6, -2*j + 7*j - 2*v = 10. Let f be j/8 - 81/36. Let o = 2 - 1. Which is smaller: f or o?
f
Suppose 5*r + 5*h = 0, r - 6*r + 6 = -h. Is r >= -1?
True
Let g be 9*6/(-9)*1. Let k = 26 + -37. Let m = k - -5. Is g at most m?
True
Let k = 9 - 2. Let b = -8 + k. Is b < 0.2?
True
Let f = 27 + -25.9. Let w = f - 1.2. Which is greater: w or -1?
w
Let z be (-2)/(-14)*(-2 + 0/(-1)). Which is smaller: z or 9?
z
Let l be (-23)/(-14) + -7 + 6 + -1. Are l and -1 unequal?
True
Suppose -2*n - n + 12 = 0. Suppose -3*g + n = -2. Let k be (9/18)/(1/g). Is 1 at most k?
True
Suppose 14 - 2 = 2*o. Suppose 5*v + 0*v + 3*s - 44 = 0, -1 = -v + 2*s. Is v not equal to o?
True
Let c = -3 + 3. Let n = -5 + 5. Is n bigger than c?
False
Let i(m) = -m**3 - m**2 - 2*m + 2. Let f be i(0). Suppose d + 2 = -3*q - 4, 2*d + q = -f. Is -3/13 <= d?
True
Let b = 59474 + -42385. Let p = b + -119404/7. Let o = -31 + p. Which is greater: o or 1?
1
Let y be 1*-1*(2 + -6). Suppose 6*l = 2*l - y. Which is smaller: l or 3/8?
l
Let b(u) = -4*u**2 + 9*u + 21. Let r be b(6). Which is greater: -68 or r?
-68
Suppose 1 = -5*s + 51. Let a be 5/s - (-15)/2. Let g = a + -6. Is g bigger than 2?
False
Let l = 445 + -1791/4. Which is greater: l or 2/3?
2/3
Let f be ((-723)/90)/((-2)/(-52)). Let p = -209 - f. Which is smaller: p or -1?
-1
Suppose -2*w + 5*h + 16 = -6*w, -5*w + h = 20. Is w < -2?
True
Let k be -11 + -1 + -3 + 1. Let g = k + 10. Let h(r) = r**3 + 5*r**2 + 4*r - 3. Let i be h(g). Which is smaller: i or 0?
i
Let p(h) = -h**2 + 4*h + 1. Let c be -2*(45/6)/(-5). Let g be p(c). Which is smaller: g or 2?
2
Let y = -13.4 + 13. Let p = -8 - -7.7. Let c = p - -1.3. Is c at most as big as y?
False
Suppose -2*f - 3*f = -2*z + 23, 24 = z - 5*f. Let h be (-1)/(z - (-6)/9). Is h > 5?
False
Let b be (-6)/(-8)*-19*(-4)/(-12). Is b < -5?
False
Let x be (12/9)/(4/6). Let h be 4/x - (-34)/(-12). Is h >= -2?
True
Let j = 22.6 - -3.4. Let v = j - 20. Is 0 >= v?
False
Let u be ((11 - 6)/(-10))/((-9)/(-4)). Let k(p) = p**3 + 6*p**2 + 4*p - 2. Let j be k(-5). Suppose 3*f - 6 + j = 0. Is f <= u?
False
Let w = 4.06 + -0.06. Is w greater than -2/7?
True
Let c = -26/11 - -776/319. Which is smaller: -3 or c?
-3
Let v = -0.067 - 0.033. Which is bigger: v or 9/2?
9/2
Let y = 21 + -21. Is 23 >= y?
True
Let p = -81 + 109. Is p smaller than 26?
False
Let y = -13/33 + -1/165. Let c = 184 - 184. Is y less than c?
True
Let s = -38 - -34. Is -33/7 <= s?
True
Let d = 7 + -2. Which is smaller: 1 or d?
1
Let x be 2 + -3 + 1/(-5). Let k be ((-16)/(-20))/((-4)/10). Let n = k + 1. Which is greater: n or x?
n
Let x = -0.9 + 0.6. Let o = -0.8 - -0.7. Let c = o - -1.1. Is c < x?
False
Let o(d) = d**2 - 7*d + 5. Let v be 5 - (-1 + (2 - 2)). Let h be o(v). Do 2/63 and h have different values?
True
Let r = -0.4 + 0.3. Let y = -16 - -16.6. Let d = -3.4 - y. Is d less than r?
True
Suppose -2*l + 4*h = 2*l, 8 = 3*l + 5*h. Which is greater: 1/30 or l?
l
Let a be 1*-3*(-2)/6. Is a >= -1/34?
True
Let t = -18 + 35. Does t = 17?
True
Let u = 29/62 + 1/31. Let r = 5 + 0. Suppose r*c + 0 = 5. Is c bigger than u?
True
Let h(v) = -2*v - 9. Let q be h(-4). Which is greater: q or -11/8?
q
Let q(h) = h - 1. Let t be q(0). Let b(i) be the third derivative of i**4/24 - 5*i**3/3 + 4*i**2. Let a be b(9). Is t bigger than a?
False
Let j(l) = l**3 - l**2 + 8*l - 3. Let w be j(2). Is w at least 17?
True
Let z(l) = 65*l**3 - l**2 + 5*l - 3. Let s be z(1). Which is greater: 0.2 or s?
s
Let i = -57.06 - -58. Let r = i - -0.06. Is 3 smaller than r?
False
Suppose 3*z = -8 - 16. Let q(v) = v**3 + 7*v**2 - 7*v + 9. Let l be q(z). Let d be (l + -1 - -2) + -1. Which is smaller: d or 6/5?
d
Let q be 1 + -3 - (2 + -1). Is -21 bigger than q?
False
Let v be (10/(-15))/((-1)/18). Let z be (8/(-20))/(v/2763). Let w = z + 92. Do w and 0 have the same value?
False
Let b = 0 + 0. Let g be (-26)/(-143) - 392/(-22). Suppose 3*r + 0*r + 3*a - g = 0, b = a - 3. Is 3 at most r?
True
Let m = 10 + -2. Let u be 2/m - 11/12. Which is greater: -1 or u?
u
Let r = -1659/319 + -193801/37323. Let n = -138/13 - r. Which is bigger: n or -1?
n
Let c be (0 - 2)/((-12)/3). Is c greater than 2?
False
Let g = 220 + -148. Are g and -1 unequal?
True
Let w = -21 + 31. Let t be (5/((-5)/(-18)))/(-4 + 6). Which is smaller: t or w?
t
Let i = -9 - -8. Which is greater: i or -3/2?
i
Let s = 3 - 2. Suppose -1 = 5*h + 4*m - 22, -h - 2*m + 9 = 0. Does h = s?
True
Let u = -20 + 18. Which is bigger: 1/6 or u?
1/6
Let p(q) = -q + 14. Let c be 994/84 + 2/12. Let w be p(c). Which is bigger: 3 or w?
3
Suppose 0 = 5*l, 2*j + 2*l = -l. Which is greater: j or -3/5?
j
Let y = 2205/16 + -138. Is 0 bigger than y?
True
Let s be 1/(-4) - (-723)/3. Let x = s - 239. Is 2 >= x?
True
Suppose 0 = -0*y - 3*y - 9. Let l be (-12)/(-3)*y/(-4). Suppose l*q + 1 = -3*s - 5, -s + 4 = -2*q. Is s less than or equal to -1?
False
Let b be -18*(12/8 + -1). Is b at most -9?
True
Let i = -21 + 19.9. Let j = -0.1 - i. Let p = -0.01 - 0.99. Is p greater than j?
False
Let k(l) = -l - 29. Let r be k(-18). Do r and -9 have different values?
True
Let h = -10 - -8. Which is bigger: h or -1?
-1
Let m = 0 - -3. Let z = m - 5. Let j be -6*(-5)/(45/z). Which is greater: 0 or j?
0
Let l be (-2 - -4) + 2 + 0. Let s(w) = 2*w - 12. Let y be s(8). Suppose l = y*j + 16. Which is smaller: -2 or j?
j
Let y = -16 + 18. Suppose s - 5*r = 0, -y*s - s - 5*r = 0. Let t = -7 - -10. Which is smaller: s or t?
s
Let f be 26/5 + (-2)/10. Suppose f*n = 5*z - 30, -4*z + 3*n = 2*n - 9. Let a = z - 1. Which is smaller: a or 2?
a
Let r be 3 + 233/(-91) + (-6)/21. Suppose 5*s + o = 3*o + 18, -5*o - 16 = 2*s. Suppose -l - s*l = 2*w - 3, 3*l + 15 = 4*w. Which is smaller: l or r?
l
Let h = -4.67 - -0.07. Let v = 0.4 - h. Is v > 0.1?
True
Let n be -2 + (3/3 - 0) - -24. Is 21 equal to n?
False
Let w(q) = -q**3 - 7*q**2 - q - 8. Let u be w(-7). Which is smaller: 1/3 or u?
u
Let x(g) = 6*g**2 + 2*g. Let c be x(-4). Let a be c/14 + (-2)/7. Let h(i) = -i**3 + 7*i**2 - 7*i - 1. Let w be h(a). Are w and 1/2 unequal?
True
Suppose -7 - 1 = -r. Let x(b) = b**3 - 8*b**2 - b + 6. Let t be x(r). Is t equal to 0?
False
Suppose -5*l + 34 = -3*b - 16, l - 10 = -4*b. Let m be l/(-8) + (-1)/(-4). Suppose -8*i + 31*i + 23 = 0. Is m greater than or equal to i?
True
Let w = -6 - -8. Let m = -2.1 + w. Do m and -0.2 have different values?
True
Let u be (-20)/4*1*(-3)/15. Which is bigger: u or 1/15?
u
Let q = -0.149 + -0.051. Which is smaller: 2/7 or q?
q
Let c be 4/15*(-12)/8*1. Which is greater: c or -1?
c
Suppose 9 + 11 = 4*d. Let x be (-1)/d*-1*5. Which is bigger: 2 or x?
2
Suppose 0 = o + 2*o + 18. Suppose 5*s = 2*w + 82, 2 + 3 = -5*w. Let q be s/o*(-4)/48. Do -1 and q have the same value?
False
Let l = 16762/37 - 453. Which is smaller: 2 or l?
l
Let d be ((-1)/(-5))/(18/10). Suppose 0 = t + t. Which is bigger: d or t?
d
Let f = 51647/55 + -939. Is f smaller than 1?
True
Suppose s - 3*s = 0, 5*a = s + 5. Which is bigger: a or 2/21?
a
Let c be (-30)/205*7/14. Which is greater: c or 1?
1
Let h be 31/28 + 1/(-4). Suppose 2*j + 4 = 4*v - 6, 4*j = 4*v - 20. Which is bigger: v or h?
h
Let p(a) = 2*a**2 + 8*a - 41. Let j be p(-8). Which is bigger: 25 or j?
25
Let s be 265/(-770) - 1/2. Let g = 3/11 + s. Is g not equal to -1?
True
Suppose -y = 2*f - 7, 2*f - y - 3*y = 2. Let q be ((-3)/3)/((-3)/15). Suppose q*z - z - 12 = 0. Is z smaller than f?
False
Let g(t) = t**2 + 6*t - 2. Suppose w + 14 = -w. Let q be g(w). Let l be (-62)/20 + (-2)/q. Which is bigger: -4 or l?
l
Let k be (0 - 0)*(6 + -5). Let p be 1 + 1/3*k. Which is smaller: -1 or p?
-1
Let f be (-1 + 1)*(10 + -9). Suppose f = 6*o - o. Is -7 equal to