8 + 341/196. Which is smaller: 3 or b?
b
Let s be -2 + 4*84/152. Which is smaller: s or 1?
s
Let s be 6*-1*(-1 - -2). Suppose -3*z - 4*m + 23 = -0*z, -2*m + 4 = 0. Suppose -2*o + 3*o + z*w = 0, w - 16 = 3*o. Which is bigger: o or s?
o
Suppose 12 = -4*t + 5*z, 2*t - 2*z + 0*z = -4. Suppose 0 = -3*y + 6, -2*l - y = 4*y - 10. Which is bigger: t or l?
t
Suppose -5*p + 2*d - 7*d = -50, 0 = p - d. Let q = 9 - p. Let v = 8 - q. Which is bigger: v or 5?
5
Let g(m) = m**3 + 6*m**2 + 4*m - 4. Let t be g(-5). Let i be (t/(-1) - 0)*0. Which is smaller: i or 1/7?
i
Let j = 168.57 - 161.6. Let v = -0.03 - j. Let h = 8 + v. Which is greater: -2/11 or h?
h
Let h = 0.903 + 0.095. Let y = -0.012 - h. Let a = y + 0.01. Which is smaller: a or -3?
-3
Let q = 4 - 9. Let a = -6 - q. Is -2 at most as big as a?
True
Let g(l) = -l - 8. Let y be g(-7). Is y >= -2?
True
Let f be (2422/24)/7*3. Let x = -43 + f. Which is greater: -1 or x?
x
Suppose 3*s + 4*o + 17 - 1 = 0, 3*s = 3*o + 12. Let r = -1 + s. Is r smaller than -3/8?
True
Let m = -44 - -23. Let j be 5/((-30)/m) - -1. Are 5 and j unequal?
True
Let u = -59.83 - -60. Do -1/4 and u have different values?
True
Let j = 1.4 - 1.3. Let l = -0.17 - 8.83. Is j equal to l?
False
Let d = 0 - 0.3. Is 3 <= d?
False
Let v(t) = t - 6. Let x be v(7). Let z = 2 + -1.5. Let c = z + -0.3. Which is smaller: c or x?
c
Suppose 4*i - u + 6 = 0, -i + 3*u = -5 + 1. Let b(l) = 3*l**2 + 3*l**2 - 3*l - 2 - 7*l**2. Let c be b(i). Is c less than or equal to -1/2?
False
Suppose 0 = h - 9 + 1. Suppose -h = -3*t + t. Suppose -q + 0*q - 4*v = 13, -t*q + v + 16 = 0. Which is smaller: 4 or q?
q
Suppose -2*o - 13 = 2*q - 5, 0 = -3*o - 3. Let f be 270/(-63) - 2/(-7). Which is smaller: f or q?
f
Let m be ((-1)/2)/(54/(-1236)). Let j = m - 34/3. Which is greater: 0 or j?
j
Suppose -5*x + 12 + 3 = 0. Let c = -10 + 15. Which is smaller: x or c?
x
Let u = -2 - -4. Let c be ((-1)/18)/(1/u). Let f = 25 + -26. Which is smaller: c or f?
f
Let m = 2 - 2.25. Let r = -0.05 - m. Let b = -13 - -12. Which is bigger: r or b?
r
Let p(y) = 4*y**2 + 8*y - 8. Let j(v) = -7*v**2 - 17*v + 17. Let a(h) = -3*j(h) - 5*p(h). Let u be a(-11). Which is bigger: 0 or u?
0
Let d be (6/21)/(1/7). Is 6 bigger than d?
True
Let y(n) = n**2 + 8*n + 3. Let w be y(-5). Let l = 7 + w. Let g be ((-12)/30)/((-7)/l). Is 0 > g?
True
Suppose 0 = 2*l - 3*a - 13, -4*a - 25 + 8 = -3*l. Let b be (-6 + 7)/(l + 2). Let k = 14/3 - 9/2. Which is bigger: b or k?
b
Let h be 6/(-8) + (-2)/8. Suppose -w - 4*k + 13 = -3, -3*w = 3*k - 39. Suppose 2*o - w = 8*o. Which is smaller: h or o?
o
Suppose -15 = -0*k - 5*k. Let a be 2/(-5) + k/20. Let o be 3/(-20) - 4/(-10). Which is greater: o or a?
o
Let w(s) = -9*s + 6. Let b be w(-2). Are b and 24 non-equal?
False
Let j = 20 - 137/7. Which is bigger: j or -3?
j
Let k = 38.84 - 34.9. Let w = 0.06 + k. Let y = 3 - w. Which is smaller: y or 3?
y
Suppose -2*o = f + 6 + 6, f = -5*o - 27. Let d be (1 - 3)/2*f. Is d bigger than 2?
False
Let x = 29 - 40. Let a be (-4)/12 - x/51. Which is smaller: a or -1?
-1
Let d(n) = -5*n**2 - 2 + 0*n - 3*n + n**3 - 3 - 2*n. Let l be (-1)/(1/6*-1). Let s be d(l). Which is greater: s or 0?
s
Let o(r) = r**2 - r. Let v be o(-2). Let w be -3*(-4)/(4/3). Let y be 46/28 - w/v. Which is smaller: -1 or y?
-1
Suppose 0 = 12*s + 10 - 46. Let l be 5 - (2 - (1 - 0)). Which is greater: l or s?
l
Let g = 16597/19 + -873. Is 2 <= g?
False
Suppose 0 = -3*l + 9, -n + 0*n - l + 24 = 0. Is 20 equal to n?
False
Let x be 2/8 - (-150)/(-24). Let j be (-4)/(-22) - x/(-33). Suppose 5*d + 0*n = 2*n - 15, 3*d = -3*n + 12. Is j bigger than d?
True
Let m = -138 + 2350/17. Is m less than or equal to -1?
False
Let w = 17.51 - -4.19. Let p = -22 + w. Is 3 at least p?
True
Let t = 155 + -154. Which is greater: t or 30?
30
Suppose -20 = 5*x + 5*v, 0*v + 8 = 3*x - v. Let n = 6/37 - 128/333. Are n and x equal?
False
Let c be (9 - 9)/(2/(-1)). Which is bigger: c or -12/19?
c
Suppose 5*h - 14 = 3*h. Let s = -14 + h. Is -8 >= s?
False
Let n(y) = y**3 - 3*y**2 + 2*y - 3. Let b be n(3). Let u be (4/b)/((-7)/(-63)). Let z be (3/(-2))/(u/16). Which is smaller: z or -3?
-3
Let l = -43 + 43. Which is smaller: l or -19?
-19
Let d = -4 + 3. Suppose 2 + 5 = 5*k - 3*z, -4*z - 18 = 2*k. Let h be (-1 + 13/11)*k. Which is smaller: h or d?
d
Let h be 60/9 + (-4)/6. Suppose -h = w - 3*w. Is -1/4 less than w?
True
Let a = -6 - -11. Let q = a + -6. Which is bigger: 0.05 or q?
0.05
Let a(p) = -p**3 + 10*p**2 + 13*p - 16. Suppose -16 - 17 = -3*w. Let g be a(w). Do 6 and g have the same value?
True
Let k = -4 + 10/3. Which is smaller: 0.138 or k?
k
Let c = -1.7 - -5.5. Let f = c - 0.8. Do f and -0.2 have different values?
True
Let b be (7 + -1)*6/63. Suppose -3*c + 3 = -0*c. Which is smaller: c or b?
b
Let r = -13 - -28. Let z = r - 11. Which is smaller: z or 5?
z
Let t = -51 - -36. Let i be (8/(-66))/(1/t). Let o = i - 49/33. Which is smaller: o or 0.1?
0.1
Let i = -3 + 0. Which is smaller: i or -1?
i
Suppose 3*m - 43 = -58. Let y(a) = -3*a**2 + a - 1. Let r be y(1). Is m bigger than r?
False
Let i = -21.47 - -20.5. Let v = i + -0.03. Which is smaller: 2/7 or v?
v
Let s = -0.06 - 0.94. Let f = s + 6. Let j = 4 - f. Which is smaller: -2/5 or j?
j
Let y be (-16)/(-12)*(-3)/(-2). Let q(a) = 2*a - 18. Let x be q(9). Suppose x = l + y*l. Which is bigger: l or 1/10?
1/10
Let g be 4 - ((-3)/3 - 19). Which is smaller: g or 25?
g
Let w = 9/10 + -2/5. Let u be 2/8 + 0/7. Which is smaller: w or u?
u
Let k = 15 - 9. Suppose k*t - 2*t - 12 = 0. Let u = 3 - 1. Which is smaller: u or t?
u
Suppose 15*h - 2 = 17*h. Which is smaller: -4/19 or h?
h
Let o be -2*1*14/(-8). Suppose 0 = -5*s - 7 - 13, -5*u - 2*s + 12 = 0. Is o at least u?
False
Suppose 15 = z - 6*z. Let j = 1 + z. Let g be -2*(1 - 1 - j). Is -2 <= g?
False
Let i = 0.45 + -0.15. Are i and 5 equal?
False
Let s = 17 - 19. Which is smaller: s or 18?
s
Suppose 5*g + 6 = -g. Is 0.01 at least g?
True
Let y = 5 + -11. Let l = -5 - y. Is l at most as big as -4/9?
False
Let u(k) = -k**3 + 2*k**2 + 2*k. Let z be 6/(-15)*(1 - 6). Let c be u(z). Let t = 5 - c. Do 2/13 and t have different values?
True
Let f = 7 - 1. Let r be (-15)/(-6) - f/3. Are 10 and r nonequal?
True
Let w = 0.3 + -0.5. Suppose 3*k + 7*k - 30 = 0. Which is bigger: w or k?
k
Let q be 9/11 - (-2)/11. Let t(m) = -6*m**3 + m**2 + m - 1. Let v be t(q). Is v >= -3?
False
Let r = 7 + -6. Are -5 and r nonequal?
True
Let o = 11 + -7. Suppose -3*d = 3, 0 = 3*k + 4*d + o - 6. Let i be -8*4/14 + k. Which is bigger: i or 0?
0
Let y = 73/4 - 18. Which is greater: y or 1?
1
Let r be (-17)/18 - (-2)/3. Let g = -11/18 - r. Let q = 0.08 + 0.12. Are q and g equal?
False
Suppose 9*o + 12 = 39. Is o greater than -0.16?
True
Let y = -20.8 - -20. Let q = y + 2.8. Which is smaller: q or 5?
q
Suppose -8 + 0 = -2*h + 3*v, 5*v + 15 = 5*h. Is h >= 7?
False
Let j = 2 - 3. Let h(g) = -g**3 + 10*g**2 + g - 10. Let c be h(10). Let x(b) = -b**2 - b + 1. Let i be x(c). Which is smaller: i or j?
j
Let h(a) = a**3 + 13*a**2 - 11*a + 5. Let l be h(-14). Is l greater than or equal to -38?
True
Let c = 1 - 8. Which is greater: c or -9?
c
Let m = -8 + 0. Let l(s) = s**2 - 2*s - 2. Let h be l(-2). Let f = h + m. Which is smaller: -3 or f?
-3
Suppose -3*v = v - 5*t + 1, -4*t + 4 = -4*v. Let j be (-4)/(-18) - (-106)/9. Let l be j/(-7) + 6/(-21). Is l at most as big as v?
False
Let l = 10 - 8. Suppose 0 = l*z - 7*z + 20. Which is greater: 3 or z?
z
Let d(v) be the third derivative of -v**6/120 + v**5/6 + v**4/24 - v**3 + v**2. Let w be d(10). Which is bigger: 3 or w?
w
Let w(l) = l**3 - 2*l**2 - 5*l + 5. Let m be w(2). Is m at least -5?
True
Let n(j) = 2*j**2 + 2*j + 1. Let c be n(-1). Is -2 > c?
False
Let s(i) = i**3 - 3*i**2 - 3*i - 4. Let z be ((-3)/(-2))/(2/4). Suppose -8*l + 20 = -z*l. Let h be s(l). Which is smaller: 1/4 or h?
h
Let k = -1/756 + -79/1512. Which is smaller: k or 1?
k
Suppose -4*m = m. Let a = 5 - m. Let k be -3 + 4/2 - -6. Is k < a?
False
Let p = -0.05 + 4.05. Let r = 0 + 0. Which is smaller: p or r?
r
Let f be (6/9)/(4/(-84)). Is f smaller than -13?
True
Let v(f) = -f**3 - f**2 + f. Let s be v(1). Which is bigger: 3/31 or s?
3/31
Let j = 31 - 18. Let g = j + -10. Is 3 <= g?
True
Let y be (1/6)/((-5)/(-15))