e
Suppose 0 = 4*i - 0 - 0. Which is bigger: -3/25 or i?
i
Let l(j) = -2*j - 8. Let o be l(-6). Let s be o/(-6) + (-10)/(-6). Which is smaller: s or 1/2?
1/2
Let m be (-30)/(-56) - (-2)/(-8). Let o = -623/3 - -208. Which is bigger: o or m?
o
Suppose -6*p + p = -2*c - 20, 3*c = 5*p - 35. Let n be 6/c - (-23)/(-5). Let s = n - -5. Is s at most 1?
True
Let n = 13.86 - -0.14. Let l = -14.2 + n. Do 2/9 and l have different values?
True
Let q be (-22)/231 - 8/14. Is q at most as big as 0.2?
True
Let z = -0.5 + -31.5. Which is smaller: 2 or z?
z
Let b = -6 - -16. Suppose o + 4*o + b = 0. Is -2 > o?
False
Let i(h) = -h**3 - 9*h**2 - 6*h - 4. Let x be (0 + -6)/((-6)/(-8)). Let j be i(x). Let y = j + 62/3. Are 0 and y unequal?
True
Let u = 17 - 15. Suppose r + 5 = u*r. Let x(s) = 4*s**3 - s**2 - s + 1. Let a be x(1). Which is bigger: r or a?
r
Let h be (-3)/(-6)*(2 - (1 + 1)). Which is smaller: h or 2/75?
h
Let r be (-2)/(-9) + (-2168)/36. Let c be 3/(-4)*r/18. Is c <= 3?
True
Let t = -2 - -6. Suppose -2*x - 5*g = 24, t*x - g + 87 = -x. Is -1/4 bigger than x?
True
Let c(n) = -n + 2. Let s be c(4). Let u = 6 + -2. Suppose h - 6 = 4*j, -u*h = -2*j - 2*h. Is s bigger than j?
False
Let f = 7 - 4. Suppose 8 - 19 = -4*l - 3*p, -2*p = -2. Is l > f?
False
Suppose 0 = 3*b - 4*b + g - 3, 0 = -b + 2*g - 3. Suppose -2*l + 0*a - 4*a - 12 = 0, -2*l - a = 0. Suppose 3*w - l = -11. Is w >= b?
True
Let x = 6 + -11. Is x bigger than -1?
False
Let d = -17 + 19. Suppose 0 = d*o + q - 2*q + 7, -3*q + 19 = -4*o. Does -1/15 = o?
False
Let f = 40/13 - 42/13. Suppose -17 = -o - 3*a, 3*o - 3 = -2*a + 13. Let d = o - 1. Is f < d?
True
Let q(z) = -z + 7. Let f be q(11). Let u be 3/((-2)/f - -1). Suppose 0 = v - 5*o + 18, o + 0 - u = v. Is -1 != v?
True
Let d(g) = g + 7. Let a be d(-8). Which is smaller: -6/5 or a?
-6/5
Let r be ((-21)/4)/(75/40). Is -4 bigger than r?
False
Suppose -5*a - 4*v = 185, -2*a - 5*v = -4*a - 107. Is -40 > a?
True
Let q be (2 - 2)*2/4. Suppose q = m - 4*m + 6. Let h = 3 + m. Does h = 6?
False
Let l = -0.92 - -0.72. Which is smaller: l or 48?
l
Suppose 0 = 5*z - c - 61, 2*c = -4*z + 3*c + 48. Suppose -4*j - 4*k + 5 - z = 0, 3*j = 5*k + 34. Is 2 greater than j?
False
Let i(c) = 9*c**3 + c. Let t be i(1). Suppose -l + 2*l - t = 0. Let z be 5/6 - 5/l. Which is bigger: 1 or z?
1
Suppose 4*l - 3 = 5. Let b(d) = -2*d - 11. Let x be (3 + -4)*(8 - 1). Let h be b(x). Does h = l?
False
Let g be (-6)/(-30) - (-51)/(-5). Let b be ((-6)/16)/((-15)/g). Which is smaller: 0.1 or b?
b
Let f(h) = -4*h + 44. Let a be f(16). Which is smaller: -19 or a?
a
Let q(s) = s**3 + 6*s**2 - 2*s + 5. Let c be q(-6). Which is greater: c or 16?
c
Let s be (1 + -3)*(-40)/(-48). Does -1 = s?
False
Let g = 2.1 + -10.1. Let o = g + 8. Which is smaller: -0.1 or o?
-0.1
Let k = -19 + 18. Is -1/8 greater than k?
True
Let z(i) = -i**3 - i**2 + 5*i + 2. Let p be z(-3). Suppose 3*n = -4*b, -n + 10 = 4*b - 6*b. Is n less than or equal to p?
True
Suppose 0 = -4*i + 4. Let l = 2 + 4. Let f be (0 + l/(-21))/1. Does i = f?
False
Let p = -4 + 10. Let d be (5/2)/(p/36). Which is smaller: d or 16?
d
Let d be (3/4)/(3/(-12)). Let m = -8 - -6. Which is smaller: m or d?
d
Let g = -6 - -7. Let d = -4597/7 + 658. Is g bigger than d?
False
Let r = 35.8 - 33. Let c = -3 + r. Which is smaller: -1 or c?
-1
Let z = -1208703/13 - -93091. Suppose -o = -2*o + 114. Let d = o - z. Which is smaller: 0.1 or d?
0.1
Let i be 4/6 + (-117)/(-27). Suppose 2*o = i + 3. Let a be ((-3)/(-2))/(3/8). Does o = a?
True
Let q be (-1)/(-4) + 9/(-68). Let k(d) = d - 1. Let o be k(2). Which is smaller: o or q?
q
Let y(k) be the third derivative of -k**6/120 + k**5/12 + 7*k**4/24 - k**3/3 + 3*k**2. Let r be y(6). Which is smaller: r or 3?
3
Let g be 3*3/(3*-3). Let d = g - 2. Suppose -2*v = -4*f + 10, 4*f = -3*v - 2*v - 11. Is d less than v?
False
Let p be (11 + -10)*(1 + 10). Suppose 0 = p*f - 16*f. Are -1/17 and f nonequal?
True
Let r(y) = -y**3 + 5*y**2 - 2*y + 7. Let f be r(5). Suppose -3*d + u - 5 = 0, 2*d - 13*u = -9*u. Which is smaller: d or f?
f
Let v = 0 + 5. Suppose -u - 10 + 3 = v*y, -5*u - 6 = -4*y. Let h(d) = d**3 + 3*d**2 + d - 1. Let t be h(u). Are 0 and t non-equal?
True
Let u = -19/90 + 2/45. Suppose -4*q = -3*q. Which is greater: u or q?
q
Let o = 3 - 3. Suppose o = -8*z + 4*z. Let g(n) = -n**3 - n**2 + 2. Let d be g(0). Is d > z?
True
Let c(v) = 2*v + 5. Let n be c(-6). Which is smaller: -4 or n?
n
Let l(w) = -2*w**2 - 3*w - 1. Let y be l(-3). Let o be (-8)/20 - 4/y. Which is bigger: -0.1 or o?
o
Let t be (-6 - -1)*(1 + (-53)/55). Does 1/5 = t?
False
Let l = -114/5 - -471/20. Which is smaller: -2/7 or l?
-2/7
Let s = -0.72 - -0.7. Let q = s - -0.22. Let p = q + -0.3. Is 2 >= p?
True
Let t = -315/4 + 4059/52. Which is smaller: -2 or t?
-2
Let b(j) = j**3 + j**2 - j. Let v be b(0). Do v and 0 have different values?
False
Suppose -1 = 4*q + 3. Let b be -1*(-1 + 3) + 2. Which is smaller: b or q?
q
Suppose -5*v + 28 - 1 = -4*o, 0 = o + 4*v - 9. Do o and -5/3 have different values?
True
Let j be (-6)/(-9) - (-4)/12. Is 1 at least j?
True
Suppose 0 = v + 7*v + 136. Is -16 at least v?
True
Let o be 2*(2 - (-1)/(-2)). Suppose 0 = -0*p + o*p. Which is smaller: p or 1?
p
Let h(n) = n**2 - 8. Let r be h(0). Let j be (-2)/(2/(r/(-10))). Is j bigger than 0?
False
Let j(p) = -p**2 - 5*p - 6. Let h be j(-4). Let r be (0/2*-1)/h. Let i = -3 + r. Which is smaller: -2 or i?
i
Suppose 5*l + 23 = -2*p, -4*p + 2*p = l + 3. Which is smaller: p or 0?
0
Let f = 1/22 + 61/110. Suppose -9*l - 1 = -10. Is l greater than or equal to f?
True
Let k = 2.4 - 2.2. Let c = 0 - k. Which is smaller: c or 0.8?
c
Suppose -2 = 2*b - u, 7 + 3 = -b + 5*u. Suppose b = 2*r + r + 9. Which is greater: r or -2?
-2
Let n(c) = 5*c - 3. Let q(k) = -11*k + 7. Let u(j) = -13*n(j) - 6*q(j). Let o be u(3). Is o at most 1/8?
True
Let u be 59/(-6) + 3/9. Let i = u - -10. Which is smaller: i or 1?
i
Let z(p) = -40*p - 6. Let f be z(2). Which is bigger: -87 or f?
f
Suppose -4 - 4 = 2*z. Is z bigger than -4?
False
Let l = -14 + 19. Suppose -3*f = -1 - 14. Is l < f?
False
Let u be 215/65 + 0 + -3. Which is bigger: u or 0?
u
Suppose 3*i + 161 = 4*c - 0*c, -4*i = -c + 193. Is i < -49?
False
Let r be (-48)/32*(0 + 2). Which is smaller: -12/7 or r?
r
Let n = 1 - -3. Let a = -1 - -1. Is n != a?
True
Let d = -0.6 - 0.4. Is d < 2?
True
Suppose 0 = k + 2*z + 1, 4*z = -k - 6 + 1. Let i be (8/(-10))/(2/(-10)). Is k != i?
True
Let m(o) = -o**3 + 2*o**2 - 2*o - 2. Let f be m(-2). Let n = 10 - f. Let a be 6/(-10) + n/20. Is -1 <= a?
True
Let y(b) = -b**2 - 7*b. Let j be y(-7). Suppose 2*k - 4*v + v = j, -5*v = k. Suppose 4*q + 2 = -2. Is k less than q?
False
Let k = 10 + -5. Suppose -g = -2*g + 4. Is k smaller than g?
False
Suppose 13*a - 10*a + 6 = 0. Which is smaller: 1 or a?
a
Let k be ((-10)/15)/((-2)/(-15)). Is k at most as big as 0.7?
True
Let d = 2 + -1.8. Suppose 9 = 4*c + 5. Is c at least as big as d?
True
Let l = 19 - 32. Do l and -58/5 have different values?
True
Suppose -3*z - 8 = -r - 2*z, -z = r - 2. Let h be (-2)/r - (1 + -1). Let y be 12/(-3 + 0) + 3. Do h and y have different values?
True
Suppose -l - 5*f = 4*l - 95, 4*l = -2*f + 66. Let i = -7 + l. Suppose 13 = -t - t + 5*x, t + 2*x = i. Is 2 less than t?
False
Let u = -26 - -27. Suppose 3*d - 4*d + 1 = 0. Let t be ((-2)/4)/(d/2). Which is bigger: u or t?
u
Let u be (-5 + 3)/(2/(-6)). Suppose 3 = -3*k - u. Suppose 3*t = t - 6. Is t at least as big as k?
True
Let h be (-1 - -2)*7 + -2. Suppose -l + 140 = -h*l. Let w be 64/(-322) - 10/l. Which is smaller: 0 or w?
0
Suppose 2*a = -3 + 1. Suppose 2 = 2*d + 2*p, 3*p + 20 = 3*d - 1. Suppose d*g = -3*l - 1, -2*l + 2*g + 6 = -2*g. Which is smaller: l or a?
a
Let u(j) = -j**3 - 5*j - 1. Let x be u(0). Is -10/13 > x?
True
Let z = 4 - 10/3. Let p = -0.4 - -0.4. Is z >= p?
True
Let j(r) = -r - 1. Let p be j(2). Let i be 33/12 + 2/8. Suppose -5*y = -i + 23. Which is smaller: y or p?
y
Let x = -6 + 8. Let h(q) = -2*q**2 - 9*q + 128. Let s be h(6). Is x at most s?
True
Let d(i) = i - 17. Let w be d(8). Is w equal to -8?
False
Let n be 5/3 - (-1)/3. Let l be (1 - 0)/((14 - 7) + -6). Is l at most n?
True
Let m = 133/5979 + -1542023/16639557. Let c = m + -2/121. Do 1 and c have different 