e -3*q = -3*r + 3, -y*r + n*q = 2*q + 8. Is -3 at most r?
True
Let d be (-137)/36 + 3 + 3/12. Is d bigger than -1?
True
Suppose 4*w + 1 = 3*s + 9, -3*s = -2*w - 2. Let x(l) = l + 1. Let z be x(-6). Let y(i) = -i**2 - 4*i + 10. Let r be y(z). Is w at least as big as r?
True
Let u(a) = 4*a**3 - a**2 + a - 1. Let d be u(1). Suppose d*n = 4*n. Are -1/6 and n equal?
False
Suppose -13*v = -14*v - 2*p + 24, -2*v + 4*p = -48. Let k = -48 - -71. Which is smaller: v or k?
k
Let i(h) = 2*h + 15. Let n be i(-7). Is -1/19 smaller than n?
True
Let r(o) = -o**3 + 3*o**2 + 3*o - 1. Let g be r(3). Suppose 16 = -4*y, -4*b - y - 32 = -g. Is b at most -5?
True
Let z = -20 - -18.4. Let c = -0.4 + z. Is c <= -2?
True
Let y = -0.5 - -3.5. Let k = -0.32 - -3.52. Let h = y - k. Which is bigger: h or -1?
h
Let g be (4/8)/((-4)/10). Suppose 0 = 2*a - 6*a. Which is smaller: a or g?
g
Suppose 4 = 5*s - 3*s. Let t be 66/24 + s/8. Let v = t + -6. Is -2 greater than v?
True
Let f be 7/9 + (-2)/(-9). Let j = -2898659191/1152 - -2516197. Let y = 1/128 - j. Which is smaller: y or f?
y
Let g(i) = -2*i + 6. Let f = 11 + -8. Let y be g(f). Which is smaller: -4 or y?
-4
Suppose 2*a + 5 - 7 = 0. Let s = -2 - -3. Let m = s - a. Which is smaller: m or 2/7?
m
Suppose -4*j - 12 + 34 = -5*h, -j = -3. Let v be 4/h - (-455)/164. Let o = v - 1/41. Is 2 >= o?
True
Suppose 3*j = -h - 24, -j - 60 = 5*h + 2*j. Let b = -44 + 49. Let p = b + h. Is p at most as big as -3?
True
Let o = 0 - -0.07. Let n = o + 0.03. Is n less than -1.7?
False
Let i(s) = -s**3 - 7*s**2 - 6*s + 1. Let g be i(-6). Suppose -18 = -2*t - 4. Suppose -3*x + 0*u = -2*u - 11, -5*x = 3*u + t. Is g less than or equal to x?
True
Let u = -140/3 + 47. Let y be (12/8)/(2/4). Which is smaller: u or y?
u
Let p(d) = d**2 - 6*d + 5. Let z be p(5). Is z at least 1?
False
Let c be (2 - 2) + 1 - 1. Suppose 0*r + 2*r - 8 = c. Suppose r*t + t + 30 = 5*d, 2*t = -2*d + 8. Is 1/5 equal to t?
False
Let u(h) = 21*h**2 - 3*h - 4. Let p be u(-1). Is p at most as big as 21?
True
Suppose -152 = 5*r - 557. Which is bigger: 80 or r?
r
Let t(x) = x + 3. Let i be t(-3). Let b be 13/2*(-20)/(-6). Let c = -22 + b. Is i greater than or equal to c?
True
Suppose -w - 4*w - 65 = 0. Which is smaller: -12 or w?
w
Let a be 1/(-3 - (-147)/48). Do a and 17 have different values?
True
Let a be (0/(-2))/(2 + -2 - 1). Is -0.7 not equal to a?
True
Let z(s) = s**2 + 3*s. Let d be z(-3). Suppose -1 = t - d*t. Which is smaller: -0.03 or t?
t
Suppose 0 = -3*c + 5*m - 3, 5*c - 4*m + 1 = 4*c. Which is smaller: -1/10 or c?
c
Let d be (-1 + 7)/2 - 1. Let f be d - (-5 + (2 - 0)). Which is bigger: f or 4?
f
Suppose -d = 3*c + 7, -8 = c + 2*d + 1. Let j(y) = -y**2 + 5*y + 1. Let s be j(6). Let o(p) = -p**2 - 4*p + 3. Let q be o(s). Which is bigger: q or c?
c
Let m = -4 + 9. Suppose -i - 2*h = -0*h - 13, -3*i + 4*h = -39. Suppose 5*k - 7 - i = 0. Is m >= k?
True
Let u(l) = -l**3 + 6*l**2 + 6*l + 8. Let w be u(7). Is w equal to 2/33?
False
Let n be 16/(-4)*1/(-2). Suppose 2*f = 12 - n. Suppose f*t - t = 0. Are t and -4/3 nonequal?
True
Let o = 16/3 + -74/15. Is o at most as big as 27?
True
Let x(g) = -g - 5. Let i = 1 + 13. Let b be ((-42)/(-49))/((-2)/i). Let u be x(b). Do u and 2/25 have different values?
True
Let z = -7 + 4. Let u = z - -3.1. Which is greater: 1/4 or u?
1/4
Let q = -41 + 44. Which is greater: q or -16?
q
Let q = 0.2 - 0. Let g = -2.5 - 0. Let r = g - -0.5. Which is bigger: q or r?
q
Let z be (2/5)/((-607)/5). Let d = -2410/5463 + z. Is 1 < d?
False
Let y(h) = -h**2 + 4*h + 10. Let g(w) = 3*w**2 - 13*w - 29. Let f(s) = 4*g(s) + 11*y(s). Let d be f(9). Does d = 2?
False
Suppose 4*y - 3*y = -c - 4, -20 = -c + 5*y. Is -3 less than or equal to c?
True
Let x = -0.4 + 0.3. Let w = 3.3 - -0.2. Let b = w + -0.5. Which is smaller: x or b?
x
Let s(l) = -2*l**2 + 10*l + 5. Let a(p) = -p**2 + 5*p + 2. Let j(m) = -7*a(m) + 4*s(m). Let g be j(6). Let y = 0.2 - 0.1. Are g and y unequal?
True
Let g(h) = -4*h**2. Let b be g(-1). Let a = -2 - b. Let z be (1 + a)*(-2)/(-30). Which is bigger: 2/5 or z?
2/5
Suppose 0 = -3*z + 7 - 4. Is z > 3/13?
True
Let g = 869/6 - 145. Which is bigger: g or -27?
g
Let q(v) = 12*v + 3. Let c be q(2). Let w = -40 + c. Are w and -14 nonequal?
True
Let v = 0.051 - 3.351. Which is smaller: v or -1/2?
v
Let j = -0.1 - -6.1. Let v = 6 - j. Let k = -3 + 2. Which is bigger: v or k?
v
Suppose 3*x = 4*n - 10, -x - 1 = 1. Which is bigger: -1/96 or n?
n
Let s = 12 + -62/5. Is 2/5 less than or equal to s?
False
Suppose 4*w - 6*w + 4 = 0, -12 = 4*p - 4*w. Is p at most -4/33?
True
Let d = 66 - 67. Are 7 and d unequal?
True
Let h(b) = 3*b - 6. Let c be h(3). Which is smaller: c or 7/2?
c
Suppose 3*y - 6*y - 6 = 0. Do y and -1 have the same value?
False
Let g be (-1)/(-3) + 19/(-3). Let p be ((-57)/38)/(9/39). Which is bigger: g or p?
g
Suppose -3*u - 2 = -4*u. Suppose -5*g - 3*v + 21 = -6*v, -4*v = -4*g + 20. Which is smaller: u or g?
u
Let d = -1195/9 + 133. Which is bigger: -1 or d?
d
Suppose u - 4*u = -4*n + 3, -u - 9 = -4*n. Let x = n - 2. Is x at least as big as 4/9?
True
Let j be 2 + 1*(-1 + 5). Let x = -1 + j. Suppose -q + x - 2 = 0. Is q at least as big as 1/3?
True
Suppose 2*g + 65 = -55. Let c be 5/(g/(-9)) - 2. Which is greater: -2 or c?
c
Let i = 7 - 0. Let y be (i/(-2))/((-1)/(-2)). Is y bigger than -8?
True
Let w(o) = o**2 + 2*o. Let m be w(-2). Let n = -13.9 - -14. Is n greater than or equal to m?
True
Let i be (-28)/7*21/(-6). Which is smaller: 16 or i?
i
Let f = 5.9 - 0.9. Let i = f + -7. Let n = 0.5 - 0.8. Which is bigger: i or n?
n
Suppose -3*d - 5*t = -52, -d + 15 = t + 1. Is 9 at most as big as d?
True
Let t = -8 - -11. Suppose 2*w - t*w = 7. Suppose 4*m = -16 - 16. Is w less than or equal to m?
False
Suppose 0 = -2*z - 10 - 8. Is -11 >= z?
False
Let a(b) = b**3 - 4*b**2 + b - 4. Let h = -3 - -7. Let u be a(h). Let l = -0.02 + -1.98. Which is smaller: l or u?
l
Let f = -26 - -53/2. Let c be ((-3)/6)/((-9)/(-6) - 2). Which is greater: c or f?
c
Let d(k) = k**3 + 7*k**2 - 7*k - 10. Let v be d(-8). Let b be 3/18 - 15/v. Is b greater than -2/5?
True
Let w = 133/780 - 1/60. Let i be 18*(6/(-4) + 1). Let k be ((-6)/i)/((-2)/3). Which is smaller: k or w?
k
Let l be (-38)/(-8) + (-15)/20. Suppose l*s - 3 = 5*s. Which is greater: s or -5?
s
Suppose w = -3*n + 5, -1 = -3*w - 0*n - 2*n. Are w and -2/135 equal?
False
Let z = 0 + 2. Suppose -3*g = -g. Suppose 0 = 4*r + 4*a - 8, g = 6*r - r - 5*a - 10. Do z and r have the same value?
True
Let v = 0.31 + -0.3. Let i be ((-2)/4)/(4 - 95/20). Is v less than or equal to i?
True
Let b be 3/(1/(4/6)). Suppose -b*o = -z + 7, -2 = 5*o + 13. Is 12 >= z?
True
Let s = -34484/41 - -841. Which is smaller: s or 0?
s
Let o be ((-1)/(-1))/(16/(-80)). Let z be o - 3/(-6)*2. Which is smaller: -6 or z?
-6
Let u = -6.33 - -0.33. Which is greater: u or -2?
-2
Let w(k) = 2*k - 13. Let m be w(7). Suppose 2*d = -2*x - 6, m = x - d - 0*d. Is x >= -4/5?
False
Let x(p) be the third derivative of -3*p**4/8 - p**3/6 + 4*p**2. Let f be x(-1). Let a = -12 + f. Is -3 smaller than a?
False
Suppose 0 = -25*n + 23*n + 2. Do -43 and n have different values?
True
Let h(n) = 3*n - 14. Let r be h(7). Suppose -3*v = 3*p - r*v - 26, 3*p + 3*v + 9 = 0. Is 6/11 less than p?
True
Suppose m + 0*m + h = -4, 0 = 4*m + 5*h + 18. Let y be 20/(-15)*3/(-2). Let b be 1 + (-2 - (m + y)). Which is bigger: b or -2/5?
-2/5
Let o be (-24)/(-30)*(-3)/12. Is o < -2/3?
False
Suppose 90 = -5*m + 2*m. Let t be (-1)/(((-3)/m)/1). Let w be (-4)/25*t/(-12). Is -1 bigger than w?
False
Let k(s) = -s. Let x be k(2). Let r be x*(-6)/8 - 1. Which is smaller: r or 2?
r
Let x be (-2)/12 + 58/(-12). Let z be 6/(-2) - (0 + 1). Which is smaller: x or z?
x
Let j = 95 - 95.4. Which is greater: -18 or j?
j
Let z be (-6)/18 + 4/(-6). Let x = -41/30 - -1/30. Which is greater: z or x?
z
Let n = -3.1 - -24.1. Let f = n - 22. Which is bigger: 0.4 or f?
0.4
Suppose 0 = -j + d - 43, 47 = -3*j + d - 92. Are j and -49 equal?
False
Let a = 1/428 - 1719/2996. Let i = -8 - -8. Suppose 2*t + 2 + 2 = i. Is a smaller than t?
False
Let n = 21 - 25. Is n > -0.1?
False
Let j be ((-3)/(-11))/((-5)/10). Is 0 less than j?
False
Let z = 8 + -5. Suppose 0 = s - 4*c + 14, 2*s = -3*s + z*c - 2. Suppose -