, -r - 14 = -3*g + 7*g. Let y(f) = -f**3 - 2*f**2 + 3*f - 2. Let s be y(-3). Is s at most r?
True
Let d = 3 - 2. Let x = 4918/11 + -41763/77. Let m = 95 + x. Which is bigger: m or d?
d
Let i = 4 + -1. Let j(c) = c**3 - 3*c**2 - 3. Let p be j(i). Is -4 < p?
True
Suppose 5*c + 10 = -0*c. Let r be 4/(-10) + c/(-5). Which is greater: r or -1?
r
Let f = 27/2 - 59/4. Which is bigger: f or -1?
-1
Suppose 2*x - 5*b + 9 = 0, 0 = 3*x - 7*x - 2*b + 42. Let h be x/(-6)*(-6)/(-4). Which is smaller: -2/3 or h?
h
Suppose -5*n - 5 = 0, y - 62 = -3*y + 2*n. Which is smaller: y or -1/2?
-1/2
Let n be 7*(-1)/((-7)/(-6)). Let r be 2*(1 - (-9)/n). Let i = 169/153 + -15/17. Which is greater: i or r?
i
Suppose -2*v + 3 - 1 = -3*q, 2*q - v = 0. Suppose 42 = w + w - q*m, -3 = m. Is w <= 19?
True
Let n = -2.39 + 2.5. Let p = n + 0.89. Which is bigger: p or -0.2?
p
Let l = -8.7 - -9. Let m = l + -0.5. Let i = 0.04 - -1.96. Do m and i have the same value?
False
Let i = 4 + 0. Suppose -i*u = 4*p, 0*p - 5*p = -3*u - 40. Is 4 smaller than p?
True
Let f = 139/7 + -19. Is -1/4 greater than or equal to f?
False
Let c(a) = a**2 + 22*a - 38. Let p be c(-24). Let u = 6 - 4. Which is smaller: u or p?
u
Let h be (-378)/30 + 8/(-20). Are h and -12 equal?
False
Let y = 1 - 2. Let u = y + 1. Let b(l) = -l**2 + 10*l - 26. Let n be b(6). Which is smaller: n or u?
n
Let t = 63/4 + -16. Which is bigger: 1 or t?
1
Let l = -13 - -40/3. Let y = -11/21 + 6/7. Is l at least as big as y?
True
Suppose 6*d + 12 = 3*v + 3*d, -2*v = 5*d + 20. Which is smaller: 4/11 or v?
v
Suppose 2*d = 6*d + 12. Let l = 2/161 + 1282/483. Let h = l + d. Which is smaller: h or -0.1?
h
Let z = 157 - 87. Let o be (-216)/z - (-6)/21. Let c = 117/40 + o. Which is bigger: c or -1?
c
Let k be ((-128)/40)/(4/70). Are -57 and k equal?
False
Suppose 4*f - k + 163 = 0, 3*k + 2*k = -25. Which is bigger: f or 2?
2
Let g = -385/174 - -40/29. Is g equal to -1?
False
Suppose 0 = 2*v + v + 9. Is -3 greater than or equal to v?
True
Suppose -7 = 4*f - 5*r, -3*f = -3*r - 0*r + 3. Which is bigger: f or -11?
f
Let z(p) = 8*p**2 - 2*p + 11. Let d be z(-5). Let t be (-2)/8 + d/52. Which is smaller: 5/2 or t?
5/2
Suppose 3*s - 2*g = g, -3*s = -5*g - 2. Let w = -32.3 - -32. Is s bigger than w?
False
Let d = 165 + -2144/13. Which is bigger: 0 or d?
d
Let j = -7 - 65. Let r be 2/11 - j/(-33). Which is greater: -3 or r?
r
Let b(l) = l**2 - 13*l + 9. Let v be b(12). Is v <= -3?
True
Suppose 2*c - 3 = -7. Let r = -2.01 + 0.01. Let z = -1.7 - r. Is c equal to z?
False
Let p(a) be the second derivative of -a**4/12 - 2*a**3 - a**2/2 + 7*a. Let l be p(-12). Let m(o) = -o**2 - 3*o + 1. Let w be m(-3). Which is smaller: l or w?
l
Let k be (-9)/(-4) + (-1)/4. Suppose -k*m = -5*m. Is 0 at least m?
True
Suppose w = -4*w + 20. Is 8 at least as big as w?
True
Let w = 86.77 - 87. Are w and -0.1 equal?
False
Suppose 0 = -7*c - 0 - 7. Is -18/11 at most c?
True
Let z(y) = -5*y + 31. Let h be z(19). Is h bigger than -64?
False
Let u = 72 - 71. Suppose -4*d = d + 20. Which is smaller: u or d?
d
Let c = -145 - -2462/17. Is c smaller than 1?
True
Let d = 4.3 - 5. Let u = 2/5 - 13/20. Is d less than u?
True
Suppose -4*n - 2*d = -386, -n + 40 = d - 54. Let k be -1*3 - n/(-36). Is -1 > k?
False
Let d(a) = -a + 2. Let k be d(-2). Are 6 and k non-equal?
True
Suppose 0*s = 3*s. Suppose 0 = -n - 5*l + 1, -2*l - 2 = -2*n + l. Which is bigger: s or n?
n
Let b = 3 + -3. Suppose -3*q + 9 = 0, b = 4*w - 5*q + 11 - 0. Suppose -2*h + 13 - w = 0. Is h bigger than 6?
False
Let d = -2.1 + 0.1. Let q = d - -6. Let y = q - 3. Is 5 < y?
False
Let j = 19 - 9. Let d be j*141/(-75)*-2. Let a = d - 38. Which is bigger: 1/4 or a?
1/4
Let x = 146/11 - 13. Do 1 and x have different values?
True
Let j(s) = s**3 - 2*s**2 + 2*s - 11. Let q be j(3). Let f be 6 - 0 - (-2)/(-1). Is q bigger than f?
False
Let q = 24.9 + -23. Which is smaller: q or 0?
0
Let f(m) = m**3 - 6*m**2 - 4. Let j be f(6). Suppose -1 = 2*p - p. Let i = p + -3. Does j = i?
True
Let c be (135/144)/((-1)/20). Let w = c - -18. Let j be 3/(-9)*(-6)/8. Is w != j?
True
Suppose -5*p - 2*t - 4 = 0, -3*p + 2*t + 4 + 0 = 0. Which is smaller: 2/111 or p?
p
Suppose -3*z - 50 = -734. Let l = -4329/19 + z. Which is bigger: l or -1?
l
Let t = -4 - -4. Is t equal to -5/9?
False
Let f = 0 + 0. Let u be (0 - 2/124)/((-2)/(-8)). Which is bigger: f or u?
f
Let r be (-20)/3934*274/5. Let d = 2/281 - r. Suppose 1 = -2*t + 5*t + 2*p, 5*p = 4*t - 9. Do d and t have the same value?
False
Let m be ((-16)/(-4))/(-4) + 2. Do -27 and m have the same value?
False
Let r(b) be the first derivative of b**4/4 - 2*b**3 + 2*b**2 + 4*b - 2. Let a be r(5). Does a = 2/15?
False
Let i = -22.6 + 23. Which is bigger: 0.9 or i?
0.9
Let a be (1 - 1) + (-2)/2. Let c = 1.4 + -13.4. Is c != a?
True
Let z = -13.9 + 19. Let x = z - 1.1. Which is bigger: x or 0.1?
x
Let w(i) = i**2 - 6*i. Let q be w(6). Let v(x) = x**3 - 8*x**2 + 7*x + 3. Let u be v(6). Let r be 2/(-2) - u/21. Which is greater: r or q?
r
Let m be -4 + (1 - 1 - -4). Suppose -l + 3 = 1, m = -3*a - l - 7. Which is smaller: -2 or a?
a
Suppose o - 5*o = 2*y + 18, 3*o - 4 = 2*y. Let z be ((-1)/14)/(o/8). Is -1/3 greater than z?
False
Let g be 5*-4*(-1)/(-2). Let q = g - -10. Let x be -2 - (q/(-2) + -2). Which is smaller: x or 2/11?
x
Suppose 5*q - q + 8 = 0. Let g(b) = b**3 + 3*b**2 + 1. Let w be g(-3). Let d be (-28)/(-20) - (1 + w). Which is greater: d or q?
d
Suppose 5*i = 4*i, -s - 6 = i. Suppose -11*v + 10*v + 3 = 0. Let k = v + s. Are -1 and k equal?
False
Suppose -2 = 9*z - 7*z. Is -6/17 at most z?
False
Suppose -z = 3*z - 20. Suppose -w - 3 = a + a, -z*w - a = 6. Which is greater: 1/36 or w?
1/36
Let g = 10 - 25. Which is bigger: g or -16?
g
Let r = 69 - 347/5. Let l be 2/3*2*3. Suppose -l*m = -5*m + 1. Is m >= r?
True
Let j(z) = -z**3 - 12*z**2 - 6*z + 46. Let l be j(-11). Is l at least as big as -61/6?
True
Let p = 245/3317 - 1/107. Which is greater: p or 1?
1
Let f(v) = -v**3 - 8*v**2 - 12*v + 2. Let t be f(-6). Which is smaller: t or -4/7?
-4/7
Let l = 49/2 - 24. Let w = 10 - 5. Let r = -3 + w. Which is greater: r or l?
r
Let c = 16 - 18. Let i(o) = -2*o**2 + 1. Let a be i(1). Which is smaller: c or a?
c
Let z be (-1)/5 + (-66)/(-30). Let q = -14 - -6. Let d = 17/2 + q. Is d > z?
False
Suppose 3*k + 12 = -3. Let f be (3 + -6)/(3/k). Is 5 <= f?
True
Let f(t) = t**3 - 7*t**2 - t + 8. Let n be f(7). Let v be (-5)/(-10)*6*1. Suppose v*p = -p. Which is greater: p or n?
n
Let l(r) = -r. Let n be l(-9). Is n at most 9?
True
Suppose 3*h - 9 = -0*h. Suppose 13 = -j + 4*x, 15 = -h*j - 0*x + 4*x. Is -2 <= j?
True
Suppose 6*f - 4*f = 10. Is 5 at most as big as f?
True
Let n = 0.02 + 0.88. Let s = n - 1. Is s smaller than -1/5?
False
Let n = -6 - -4. Let j(o) = -3*o - 4. Let l be j(-3). Suppose -4*t - l*v = -9*t - 10, 5*t - 2*v = -10. Is n > t?
False
Let o = -40 - -38.99. Let y = o - -0.01. Do y and 1 have different values?
True
Suppose 4*j - 36 = -0*j. Let x = -5 + j. Suppose -z + 2*z - 4*d + x = 0, 3*d = 3*z + 3. Is z smaller than -1?
False
Let d = -80 + 102.8. Let p = 23 - d. Which is smaller: p or 12?
p
Suppose 0 = -3*w, 2*o - 4*w + 7 = -7. Let m = -16 + 11. Let f = m - o. Is 4/3 at least as big as f?
False
Let z be (-2)/3 + 44/12. Let b be (6/(-3) - z)/(-1). Suppose b*g - 3 = 27. Are 6 and g equal?
True
Let m = -39 - -39. Which is bigger: 3/25 or m?
3/25
Let y be 3/(-4) - 118/120*1. Is y greater than or equal to -1?
False
Let t = -0.4 - 0.6. Suppose 5*j - 5*k - 20 = 0, -5*k - 15 = -3*j - j. Suppose -f + 4 = -o, -4*o + j*f = -8*o + 2. Does t = o?
False
Suppose t + 1 + 11 = 5*y, -2*t = -6. Suppose 3*a + 3*r + 9 = 2*r, 3*a = -y*r - 9. Let q be 7/a + 1/3. Is q bigger than -2?
False
Let i = -2/31 - 77/248. Is i greater than -0.1?
False
Let n(w) = -w**2 - 7*w - 7. Let p be n(-5). Suppose -p*g - 4 = 2. Let h be g/4*-6*-1. Is h greater than or equal to 1?
False
Let q = 2 - -4. Let r = -4 + q. Let i = 136/3 + -45. Are r and i unequal?
True
Let v = -11616647/3295480 - -2/82387. Let y = v + 25/8. Which is smaller: -1 or y?
-1
Let t = 17 + -16.1. Which is smaller: t or -1?
-1
Suppose -q - 1 + 4 = -2*w, w + 15 = -4*q. Which is smaller: 0.6 or q?
q
Let l be 0/((0 - -1) + -3). Let t = l - -1. Do -2/9 and t have differe