r: -2 or u?
-2
Let f = 3 + -6. Let i be (-7)/30 - (-7)/(-42). Which is bigger: i or f?
i
Let i = -13 - -17. Suppose 35 = -5*l - 5*q - 0*q, 0 = -i*l - q - 16. Are l and -4 non-equal?
True
Let a = -48947/137790 - 1/3062. Let z = 756 - 34018/45. Let s = z - a. Which is bigger: s or -3?
s
Suppose 10 = 4*b - 2*v, -5*b + 13 = -2*v + 1. Is -1/11 greater than b?
False
Let s(w) = -w**2 + 2*w. Let m be s(-2). Let t = m + 11. Suppose -3*n - 2 = -4*p - 21, t*n - 3*p = 15. Is 0.1 > n?
False
Let x = -31/6 - -14/3. Let v = 0 - 0.2. Is v < x?
False
Let u = -1.13 + 0.13. Suppose -5*j = 2*q - 4, -4*q + 32 = j - 3*j. Let a = 2 - q. Which is bigger: u or a?
u
Let k = 1 + -1.1. Let m = 0 + k. Let g be (-1)/(-1) - (-2)/(-1). Which is smaller: g or m?
g
Let k = 3 - -32. Let g be (-8 + 3)*2/k. Let n be (2 - (1 + 2)) + 1. Which is greater: g or n?
n
Let d(v) be the third derivative of v**5/60 - v**4/3 + v**3/3 + 3*v**2. Let z be d(7). Let u = -4 - z. Which is smaller: u or 3/4?
3/4
Suppose 0 = 5*f + 5*l, -3*f = -3*l - 7 + 1. Which is smaller: 2/15 or f?
2/15
Let i be -2 - (1 + -1)/(-1). Let l be 2/8 - (-15)/(-44). Which is smaller: i or l?
i
Let o = -0.13 + -0.87. Let n = -4.2 - -4. Let p = n + 0.2. Do p and o have the same value?
False
Let k(h) be the second derivative of -h**4/12 + 11*h**3/6 - 6*h**2 + 6*h. Let v be k(10). Let z = 0.2 + -0.3. Does z = v?
False
Let f(d) = -d**2 - 7*d - 27. Let g be f(-9). Which is smaller: -44 or g?
g
Let x(a) = -a**2 - 4*a + 1. Let h be x(-4). Which is greater: h or 1/3?
h
Suppose -4*z = 5*k + 36, 5*z = 2*z - k - 16. Let o(q) = -q + 3. Let f be o(z). Let r(g) = -g**2 + 6*g + 9. Let m be r(f). Which is smaller: 1/2 or m?
1/2
Suppose f + 0*f - 1 = 0. Is f at least -10?
True
Let p = -5.54 + 6. Let i = 3.56 - p. Let c = 0.9 + i. Which is smaller: c or -0.1?
-0.1
Suppose 0 = 13*m - 4*m - 153. Which is smaller: 15 or m?
15
Let v = 0.077 + -0.077. Let y = -8 + 11. Which is bigger: v or y?
y
Let p(a) = a**3 + 5*a**2 + a. Let d be p(-5). Let t be 5/18 + d/10. Which is smaller: 0 or t?
t
Suppose 3*w - 8 = 2*a + 2*a, -4*a - w + 8 = 0. Let q(i) be the first derivative of -i**2/2 - 3*i - 1. Let m be q(-4). Is a <= m?
True
Let w = 0.03 + 0. Let d = w + -2.03. Let v be (1/(-5))/(12/(-40)). Which is bigger: v or d?
v
Suppose 4*w + 6 + 6 = 0. Let d be 2 + 4/2 + w. Which is smaller: d or 0?
0
Let c = -8 + 7.9. Let r = -0.09 - -0.06. Is c not equal to r?
True
Let i be 2*(52/(-16)*1 + -4). Is i equal to -14?
False
Suppose -8 = q + 3*s, 0*q + s = q - 4. Let z = q - -3. Is 4 less than z?
False
Let o = -6.1 - -1.1. Let v = 4.7 + o. Let x = -0.3 - v. Is -0.4 at most as big as x?
True
Suppose -2*k = -6*k - d - 9, 4*k + 3*d = -11. Let w = 1 + k. Let h = -58/183 - 1/61. Is h >= w?
True
Let j be 2/(-7) - 6/(-21). Let k be (1/1 - j) + 0. Let d = -1 - -1. Which is smaller: k or d?
d
Let a = 0.2 - 0.2. Let z = 807/7 + -115. Which is greater: a or z?
z
Suppose 2 - 5 = 3*o. Which is smaller: -1/4 or o?
o
Let j = -7 - -4. Let u be (-6)/j*2 + -1. Let n be (4 - u)*2/11. Which is bigger: 0 or n?
n
Let o = -11.7 - 0.3. Let n = -9 - o. Is n equal to 1/3?
False
Let u(g) = g - 1. Let x be u(3). Suppose 4*m = 2*m + x. Let w be ((-4)/(-6))/((-11)/3). Is w <= m?
True
Let h(o) = 2*o**3 + 5*o - o**3 + 36 + 0*o**3 + 5*o**2 - 30. Let x be h(-4). Which is smaller: 7 or x?
x
Let d = -4 + 3. Let w be d*3 - (-3)/1. Let c = 5/4 + -1. Which is smaller: c or w?
w
Let l = 30 - 27. Do 1 and l have the same value?
False
Let t be -1 - (0 + 3/6*-2). Which is smaller: t or -8/7?
-8/7
Let z = 6 + -9. Let f be 1/(-4) - (-90)/8. Let c = 10 - f. Which is smaller: c or z?
z
Let c(p) = -p**2 - 5*p + 2. Let t be c(-5). Let s be (0 + (-2)/(-4))*-2. Let l be s/((-2)/6) - 1. Is t < l?
False
Let i(n) = n**2 + 12*n + 2. Let p be i(-7). Is -33 < p?
False
Let n = -10 - -8. Which is bigger: n or 11?
11
Let j(n) = -2 - 8 + 3 + 3*n - 5*n. Let h be j(-3). Is 0 less than h?
False
Let u be -3*12/(-9) - 210/49. Suppose c + 1 = -0*z + 4*z, -3*c = 3. Which is smaller: z or u?
u
Let q = 0 - 0.3. Let t = -0.2 - q. Let i = 2 + -1. Which is smaller: t or i?
t
Let z be ((-2)/4 + -1)*-4. Suppose s - z = -3. Let w = 6 + -4. Which is smaller: w or s?
w
Let p = 6/73 + 116/365. Let l be (3 - 5)*(-1)/(-5). Which is smaller: l or p?
l
Let g(x) = 4*x. Let k be g(1). Suppose -5*r - k = -14. Let m be ((r - -1) + 3)/2. Which is smaller: 2 or m?
2
Let l(p) = p**2 + 4*p - 6. Let r be l(-5). Let d be r + 6/2*1. Suppose 2*w - 2*m + 7*m = -3, d*m = -2. Which is greater: w or 3/8?
w
Suppose 5*c = 2*c. Let g be 2/(c + 1 + 8). Suppose 5*q + 0 = -5. Which is smaller: q or g?
q
Suppose 18 = -3*g - 0*g. Let b be ((-2)/g)/((-2)/(-24)). Do 4 and b have the same value?
True
Let s(b) = -b**2 + 5*b - 1. Let t be s(4). Let f = 13 - t. Do 11 and f have different values?
True
Let z(k) = -k**2 + 12*k - 32. Let q be z(5). Are 2 and q non-equal?
True
Let u = 9430/119 + -2304/17. Let v = u + 56. Is 0 equal to v?
False
Let q = -61 + 60.8. Which is smaller: 0.1 or q?
q
Let m(f) = f**3 - 6*f**2 - f + 7. Let y = 4 + -2. Let s be y - -2 - (1 - 3). Let d be m(s). Is 0 > d?
False
Let j(w) = -w + 9. Let y be j(9). Let f be y/18 + (-19)/5. Is f not equal to -4?
True
Let t be (-1 - -3)*1/(-2). Let k = -5 - t. Let f(u) = -5*u - 3. Let w be f(0). Is w at most as big as k?
False
Let n be 44/198*(-16)/2. Is -3 less than or equal to n?
True
Suppose 5*n + g = -g - 50, -2*n + 4*g - 44 = 0. Let w be (-21)/n*4/14. Is w at most as big as 1?
True
Let g = 20.2 + -20.1. Which is bigger: g or -0.021?
g
Let q be 2/5*(-4 - 1). Let w be (0 + -2)/2 - q. Which is smaller: -1/5 or w?
-1/5
Suppose -5*b = -7*b. Is b < 9/8?
True
Suppose -2*a + p = -0*p - 12, 5*p = -3*a + 18. Let g be ((-3)/(-9))/((-21)/18). Is a smaller than g?
False
Let p = 18/7 - 190/63. Which is smaller: p or -0.2?
p
Let n = -3 - -8. Let b = n - 3. Is -2 less than b?
True
Suppose -4*u - 20 + 159 = 5*f, 0 = -4*u - 16. Which is smaller: 30 or f?
30
Let s = -7 - -5. Let u = s + -2. Let o be 28/(-45) - u/18. Which is bigger: 0 or o?
0
Suppose 5*r - 8 = j, -23 - 18 = -5*j - 2*r. Let b(n) = n**2 - 5*n - 3. Let l be b(j). Which is smaller: l or 10?
10
Let m = 28 + -12. Is 16 not equal to m?
False
Let k = -1/267 - -295/7476. Is k >= 0?
True
Let j(x) = x**3 + 4*x**2 + 4*x - 4. Let s be j(-4). Which is smaller: -19 or s?
s
Suppose -3*s - 13 = -4*r, 9 = -5*r - 1. Is s bigger than -5?
False
Suppose -4*s - s + 20 = 0. Suppose 0 = s*v + v. Suppose 0 = b + 5*a - 4 - 7, v = -2*b - a + 13. Which is greater: b or 7?
7
Let n be (5 - 2)/((-3)/(-3)). Suppose 6 = -n*y + 3. Is 0 at least y?
True
Let n = 12 + -11.9. Is -13/7 <= n?
True
Let c be 18/4 - 10/(-20). Is 6 < c?
False
Let p = -35/3 + 12. Are p and -0.04 equal?
False
Let a be (((-399)/(-56))/((-1)/12))/(-3). Is 30 equal to a?
False
Let m = 81 + -83. Is 0.2 >= m?
True
Let a be (-4)/(-70)*15/21. Does 1 = a?
False
Suppose 0 = 4*g + 4. Is g smaller than 1/3?
True
Let k be (-4)/18*-3 - 0. Let n be (6/10 + (-2)/(-5))*1. Which is smaller: k or n?
k
Let w = -0.3 - -2.3. Let t = 6 - 5. Let f = -1.1 + t. Is w smaller than f?
False
Let y = -145 - -991/7. Are -2 and y equal?
False
Let h be 96/14 - (-3)/21. Let w = h - 6. Let t = -421/7 - -60. Are t and w non-equal?
True
Let s(a) = -a + 6. Let h be s(5). Let x be -7*(-1 + h - -1). Which is bigger: x or -8?
x
Suppose -2*u + 2 = -10. Let l be 4/u*(-1)/4. Let k = 0.1 - 0.2. Is k smaller than l?
False
Let z(d) = -d - 3. Let v be z(5). Let h = -4 - v. Is h equal to 3?
False
Let s = 5 - 13. Let n = s + 7. Is n > -6?
True
Let h = -24 + 70/3. Is h smaller than 5?
True
Let c be -2*1/((-6)/(-9)). Let k be 3/9*9/1. Let v = c + k. Is 1/4 >= v?
True
Suppose -2 = -n - 0. Suppose -3*z + 4*b + 5 = -12, n*z = -b + 4. Let x = -2 - -6. Is z less than x?
True
Suppose 3*a - 5*v - 44 = 0, 4*v - 52 = -4*a + 9*v. Which is smaller: a or 6?
6
Let p = 25 - 20. Suppose -a + 4*z = p, -2*a + a - 2*z + 19 = 0. Are a and 11 equal?
True
Let s(j) = 2*j - 3. Let f(g) = -3*g + 4. Let b(x) = -5*f(x) - 7*s(x). Let h be b(3). Let a be 8 + 4 + -6 + -2. Does h = a?
True
Let i be 8/60 + 84/45. Which is smaller: i or 4?
i
Suppose 2*b + 31 = 37. Is 5 smaller than b?
False
Let x be (-84)/(-63) + (-86)/6 + -2. Are -16 and x equal?
False
Suppose -4*m = -2*w + m - 12, 0 = 4*w - 2*m + 8.