l. Are x and f non-equal?
True
Let j = -0.11 + 0.11. Which is smaller: -2/15 or j?
-2/15
Let q be (-2)/(-12) + (-105)/(-18). Which is smaller: q or 5?
5
Suppose 0 = 2*i + 2. Let o(b) = 0*b**2 - 2*b**2 - b**2. Let n be o(i). Which is smaller: n or -2?
n
Let j = 40/351 + -1/27. Suppose 3*z - c - 1 = -3, z - 5*c = -10. Which is greater: z or j?
j
Let d(v) = -28*v - 45. Let j(f) = -7*f - 11. Let u(w) = 2*d(w) - 9*j(w). Let t be u(-4). Which is smaller: t or -20?
-20
Let n be (21/9 - 1)*3. Suppose -4*u = 12 - n. Let l be (-2 + (-20)/(-6))/u. Which is greater: 0 or l?
0
Suppose 2*y = -0*y - 3*i + 1, -y = -3*i + 4. Let o be ((0 - -6)*-1)/(-1). Let u be o/40 - 12/16. Is u < y?
False
Let a = 2.6 - -0.4. Let s = a - 3.2. Let c = s + 0.2. Is c < 1/4?
True
Let a = 0 + -0.2. Let p = 3.6 - 1.6. Is p less than or equal to a?
False
Let k = 16 - 14. Suppose -2*q + 12 = 4. Let d = q - k. Which is smaller: d or 1?
1
Let s = 1.6 - 0.6. Which is greater: s or 1/3?
s
Let p = -3 - -4. Let x be 0 + (-9)/3 + -3. Let m be (-4)/16 + x/(-88). Is m at least p?
False
Let t be (28/6)/(2/3). Suppose 5*o - p - 39 = 0, t - 2 = 3*o + 4*p. Suppose o*u = 2*u. Which is greater: u or 2?
2
Let s = 82 + -86. Which is bigger: -0.01 or s?
-0.01
Suppose 10*l + 11 = 1. Which is smaller: l or 4/15?
l
Let o be 26/(-4) + (-3)/(-6). Let c be (8/(-3))/4*o. Suppose -c*j = -j + 6. Do j and -1 have different values?
True
Let y = -4 + 3. Let u = 4 - 3.6. Let r = -1.6 - u. Does r = y?
False
Let z = 0 - 0. Suppose 4*d + v - 39 = -2*v, 0 = 4*d + 4*v - 44. Let y be (2/(-12))/(2/d). Are y and z unequal?
True
Suppose -2*v + 9 = 45. Let j be (-2)/(-12)*v/4. Which is greater: 0 or j?
0
Let b = -2.2 + 0.2. Let d = -1.95 - b. Let c = -0.05 + d. Which is smaller: c or -4?
-4
Let w(c) = -c**3 - 7*c**2 + 9*c + 4. Suppose -4*u = -2*n - 24 - 8, -3*n - u = 20. Let s be w(n). Is -4 less than or equal to s?
True
Let m = -0.32 + 0.02. Let x = -0.5 - m. Let z(c) = -c**3 + 8*c**2 + 2*c - 14. Let j be z(8). Which is bigger: j or x?
j
Let y = 18 - 17.8. Which is bigger: 2/5 or y?
2/5
Let c(n) = -n + 4. Let g be c(2). Let r be (-3)/(g/(4/3)). Let i = 1168/9 - 130. Do i and r have the same value?
False
Let a be 1 + (-1 + 0)*-11. Suppose 14 = -2*c - 4*m, 2*c + 2*c - a = 2*m. Which is bigger: 2/13 or c?
c
Let j = 9.8 + -9.8. Is j bigger than 9/8?
False
Suppose 6 - 1 = 5*b. Which is greater: b or 3?
3
Let u be (-7 - 52)*(-1)/(-36). Let s be -3*(-16)/54*1. Let l = u + s. Is l bigger than 0?
False
Let h = 0.07 - 0.13. Let z = 1.94 - h. Is 1/3 at most as big as z?
True
Let d = 11 - 11.16. Let s = -0.26 - d. Which is smaller: s or 0?
s
Let v be (-8)/12*24*3/(-4). Are v and 12 equal?
True
Let p be (-1 - 11/(-18))*-10. Is p bigger than 4?
False
Suppose -8 - 4 = 4*a. Let h = 199 + -803/4. Which is bigger: h or a?
h
Let t = 5 + -5. Let f = -1 - t. Let s = 0 - f. Which is greater: s or -1?
s
Let p(z) = -z - 3. Let r be p(0). Let u(q) = -q**3 - 3*q**2 + 2. Let i be u(r). Let j be -2 + 4 - i*1. Which is smaller: j or -1?
-1
Let a be 3*(4/1)/(-12). Is a bigger than -2/7?
False
Let t be (-19)/10 - 8/12. Let r = 17/21 + 19/14. Let k = r + t. Are k and 0 equal?
False
Let d = 21 - 18. Let o = -3/4 + 1/4. Let r = o - -4. Which is smaller: r or d?
d
Let d = -1051/78 - 9/13. Is d at most as big as -15?
False
Let o = 6 - 9. Let f be (-2)/o*(-2)/1. Is -2 <= f?
True
Let w be 4 + -1 + 4/(-4). Let g be (3 + -5)*(-2)/w. Which is smaller: g or 2/3?
2/3
Let o be 14/6 + (-3)/9. Let i(f) = -f**3 - 8*f**2 - f - 9. Let d be i(-8). Is o < d?
False
Let s = -32 - -29.9. Let f = -2 - s. Is -4 at least as big as f?
False
Let o = 68 - 69. Is 0 at least as big as o?
True
Suppose -5*g + 3*o = -50, 2*g + 3*o + 0*o = -1. Suppose 2*b = -3*l - 5, 5*l + 10 = -g*b + 2*b. Which is smaller: 4 or b?
b
Let n(f) = -2*f - 15. Let i be n(-8). Which is bigger: i or 0?
i
Suppose 3*l = 2*s - 16, 0*s + 6 = -3*s - 3*l. Suppose -y + 86 + 7 = 0. Let t be (-4)/(-22) + y/33. Is s less than t?
True
Let r be (-1)/(-4)*-2*-6. Let q be (-1 + r)/(10/5). Let b be (-9)/(-4) - 3/12. Is b not equal to q?
True
Let i(h) = h - 9. Let d be i(8). Let v be 3046/(-14) - 2*1. Let a = v - -220. Does a = d?
False
Suppose 6*v = v + 5. Does v = -2?
False
Let p = -221 + 151. Let l be 1/(-5) - p/(-25). Which is smaller: -2 or l?
l
Let f = 0.09 - -0.41. Is 0 > f?
False
Suppose 0 = 4*w + g - 6*g + 172, 0 = -4*w + 2*g - 172. Is -45 bigger than w?
False
Let q = -78 + 433. Let l = q - 5323/15. Is l not equal to 1?
True
Let v be (26/39)/(-1*4/6). Is -2/3 >= v?
True
Let n = -9.5 - -9. Which is smaller: n or 3?
n
Suppose -3*y = -5*y + 14. Suppose -5*a - r = -12, -6 = -y*r + 4*r. Let h be (-2)/12*(-3 - -7). Which is bigger: h or a?
a
Let w = 0.1 + -0.6. Let t = w - -0.5. Let a = -1 - -0.9. Which is smaller: t or a?
a
Suppose a - 3*s = 2*a + 3, 0 = -a - 2*s - 2. Suppose 0 = -a*j + 5*j. Which is greater: -0.8 or j?
j
Let r(g) = g**2 - g - 1. Let l be r(2). Is 10/11 > l?
False
Suppose 4*z = 4*r - 32, 5*r = -0*r + 15. Let k = 6 + z. Does k = -4/15?
False
Suppose 2*w = -138 - 100. Let g = w + 597/5. Suppose -2*d = d - 5*l + 17, 5*d - l = 1. Which is bigger: g or d?
d
Let b be (-16)/(-32) + (-90)/4. Is -22 >= b?
True
Let d = -2 - -13. Let a = 6 - d. Which is smaller: -4 or a?
a
Let r(b) = -b**3 - 2*b**2 + 5*b + 1. Let a be r(-3). Is 0 != a?
True
Let p = 1 - 1. Let r = 64 + -131/2. Which is bigger: r or p?
p
Let s(i) be the second derivative of 5*i**3/6 - 11*i**2/2 - 2*i. Let w(b) = -b + 1. Let j(f) = s(f) + 4*w(f). Let l be j(5). Does l = 0?
False
Let z = -1 - -1.2. Which is greater: z or 8?
8
Let k be 0 + (-1 - 3) + -4. Is -9 <= k?
True
Let w(r) = r**2 - 7*r. Let c be w(5). Let d = -15 - -6. Which is greater: d or c?
d
Let u = -19 + 14. Is -3 > u?
True
Let k = 0 + -4. Suppose -2*n - z = z + 28, 3*n - 3*z = -18. Let g = n + 5. Which is smaller: g or k?
g
Let o be 15/6*(-40)/(-25). Suppose n + o = -n. Is n less than -6?
False
Suppose -12 = 106*o - 108*o. Which is smaller: o or 5?
5
Let g = -10 + -2. Let x be 3*(-4)/g*1. Is x at most as big as -1/14?
False
Let x = 17707/265 - 334/5. Are 1 and x equal?
False
Let y = -8 + 8. Let f be 0 + (-2)/16*2. Which is greater: f or y?
y
Let m = 4 - -11. Do 15 and m have different values?
False
Let o = -8 + 11. Let m = -8/3 + o. Is m at most 0?
False
Let f = -168173/87 - -1933. Which is smaller: f or 1?
f
Let m = 214615/3956 + -1/1978. Let t = -54 + m. Is 0 less than t?
True
Let q(x) = 2*x**2 - x + 2. Let w(k) = k**3 + 8*k**2 + 8*k + 9. Let m be w(-7). Let i be q(m). Which is bigger: i or 1?
i
Suppose 0 = -4*c - 4*j + 5 + 31, 2*c - 2*j = 2. Let m = 484/93 + -27/31. Is m greater than or equal to c?
False
Suppose -4*w = 5*i + 14, -w - 14 = 4*i - 5. Let u = 27 + -55/2. Which is greater: u or i?
u
Let x be 0/(3*-1) - -4. Suppose -3*p - 2*p - 24 = b, -p = -2*b - x. Is p greater than -4?
False
Let i(t) be the first derivative of -t**4/4 + 7*t**3/3 - 2*t**2 - 7*t + 2. Let n be i(6). Let k(a) = -2*a + 7. Let d be k(n). Are d and -3 equal?
True
Let i(q) = -q**3 + 11*q**2 + q - 8. Let s be i(11). Let o be 1*(s - (3 + 0)). Which is bigger: 1/16 or o?
1/16
Let u be (-8)/70 + (-4)/(-10). Let k(r) = -2*r - 15. Let y be k(-7). Which is bigger: y or u?
u
Let o be 8/((6/(-24))/(5/(-4))). Is 41 less than or equal to o?
False
Suppose 2 = -x - 4*h + 2*h, -3*x = -h + 20. Is 1/3 less than x?
False
Suppose 0 = 4*y + 3*k - 2, 4*k = 3*y + y + 12. Let s be (-2 - 1 - -3)*-1. Suppose 12 + 2 = -2*h + 3*w, s = -w + 4. Is h not equal to y?
False
Let q(i) = i**2 + 6*i - 7. Let u be q(-7). Let v = 118 + -477/4. Which is greater: u or v?
u
Let p(w) = -w**2 - w + 1. Let r = 3 + -6. Let q be p(r). Let b = 8 + q. Is 2 <= b?
True
Let a = -43 - -35. Is 7 >= a?
True
Let r(f) be the third derivative of 0 + 0*f + 5/3*f**3 + 3*f**2 + 1/12*f**4. Let s be r(-7). Is -4 equal to s?
True
Suppose -2*f + f = 3. Let u = f + -2. Is -4 < u?
False
Suppose -45 = -2*l - 3*m, 2*l + 2*l - 4*m = 40. Suppose -l = -3*x, g - 1 = -4*x + 20. Let b be (-1)/(-3) + (-4)/(-6). Is g > b?
False
Let t be (-1 - -1 - 3) + 3. Which is smaller: -1/17 or t?
-1/17
Let s = -589/3 - -198. Which is bigger: s or 2?
2
Suppose 2*u + 2*u = 0. Suppose 2*k + 2*k - 16 = u. Let a be 21/18*k/7. Which is bigger: -3 or a?
a
Let f(r) = 13*r + 5. Let h be f(-2). Let d be 3