(-1)/3)/(n/(-6)). Which is greater: 1/17 or i?
1/17
Let t = -4 - -4. Let g(y) = -2*y**2 + y. Let q be g(-1). Let j be (q/(-9))/(3/9). Which is greater: j or t?
j
Let a be 3/5 + 30/(-50). Let v = 9217/19 - 485. Which is bigger: v or a?
v
Suppose -5*l + 7 + 13 = -4*t, 20 = 2*l - 4*t. Suppose -4*k = 5*d - 1007, -5*k - d - d = -1280. Let n = -5416/21 + k. Which is bigger: l or n?
n
Let d be (-26)/(-21)*3 - 3. Which is smaller: 0 or d?
0
Suppose 88*i - 100 = 84*i. Which is greater: 26 or i?
26
Let g(m) be the second derivative of -m**3/6 - 3*m**2 + 5*m. Let f be g(-2). Are -1 and f equal?
False
Let l be ((-2)/4)/(5/4). Let f be 1*(0 + -1)*1. Is l at least as big as f?
True
Let j = 0.06 + 0.07. Let x = -0.13 + j. Which is bigger: 10 or x?
10
Let l = -15 + 9. Suppose a + 1 + 0 = 0. Which is smaller: a or l?
l
Let l(g) = -1 - g - 1 + g**2 + 1. Let x be l(1). Is 2/9 less than x?
False
Let j = -6 - -6. Let w = 0 + j. Let o = 0.2 + -0.3. Is o greater than w?
False
Let a = 72 + -42. Suppose -5*u = q + 4*q + a, 0 = 4*u + 3*q + 19. Is u at least as big as 1/17?
False
Let f(l) = l**3 + 3*l**2 + 2*l + 2. Let r be f(-2). Suppose 4 = -y + r. Do y and -1 have the same value?
False
Suppose 0 = 5*x - h - 3, 5*x + 1 + 0 = 3*h. Which is smaller: x or -12?
-12
Let p be (-246)/12 + 3/(-2). Is -22 less than or equal to p?
True
Let q(l) = -l**3 - 6*l**2 + 7*l + 7. Let o be q(-7). Let m = 8 - o. Suppose m = -2*j - 7, -a - 14 = 3*j. Are -1/2 and a unequal?
True
Let u(r) = 6*r. Let s be u(-4). Let f be (9/s)/3*34. Let j = -4 - f. Is j at least as big as 1/3?
False
Let j = 2.9 + -3. Let h = -27.7 - -29. Let a = 2.3 - h. Is a at most j?
False
Suppose 0 = z + 1 - 0. Let r be -6*(2 - (-10)/(-4)). Suppose r*x = -2*x. Which is smaller: z or x?
z
Let v = 0.71 - 0.7. Is 0.02 > v?
True
Let m(n) = n - 1. Let x be m(2). Is 4/7 at most x?
True
Let t = -0.12 + 0.2. Is 0 bigger than t?
False
Suppose 5*c + 5*x + 10 = 0, -2*c - 3*x - 1 = 3. Is 0 less than c?
False
Let u = -6/25 - -118/75. Suppose -7 = 2*i - 4*i - o, -3*i + 23 = 4*o. Which is bigger: u or i?
u
Let c = -14.96 + 15. Are c and 0 unequal?
True
Suppose 34 = -4*n + 10. Let m be (-2)/9 - 2/(-9). Suppose 7*j - 4*j + 15 = m. Is n less than j?
True
Suppose -g + 2*i - i + 14 = 0, 3*i + 78 = 5*g. Let c be ((-9)/g)/((-1)/22). Which is smaller: 12 or c?
c
Let o = 64 + -59. Which is bigger: -0.7 or o?
o
Let h(k) = -k**2 + 5*k - 6. Let g = 14 - 10. Let m be h(g). Let z be m + 1/(2/(-2)). Is 2/11 not equal to z?
True
Let v = 0.23 - 1.23. Let p = 0.5 - 0.3. Let f = p - 0.3. Which is greater: f or v?
f
Suppose -7*m - 400 = -64. Does m = -47?
False
Let d = -10.6 - -11.63. Let w = d - 1. Which is bigger: w or -1/2?
w
Suppose 0 = 4*h - 3*h + 4. Which is bigger: h or -3?
-3
Suppose -7*w - 4 = -3*m - 3*w, -3*w - 3 = 5*m. Suppose 5*j + 3 + 2 = m. Which is smaller: -2/19 or j?
j
Suppose -2*b = 5*m + 148, 30 - 252 = 3*b + 4*m. Which is smaller: b or -73?
b
Let b = -36 - -59. Is 23 less than or equal to b?
True
Let i = -83 - -79.92. Let q = i + 0.08. Let g = -5.1 - -5. Which is smaller: g or q?
q
Let k = 2.9104 + -0.0004. Let a = k - -0.09. Is a bigger than -1?
True
Let k = 5/47 + -1749/94. Which is greater: -20 or k?
k
Let s(l) = 5*l**2 - l + 2. Let b(h) = h**2 - h. Let q(v) = -4*b(v) + s(v). Let f be q(-2). Let x be 4/2 - (1 - f). Is x != 1?
False
Let s be 265/(-4) - 6/8. Is -65 at least s?
True
Suppose 2*t - 16 = 4*t + 3*q, -4*q = -4*t - 52. Is t greater than -10?
False
Let b be (-12)/(4 - 15/6). Are b and -9 non-equal?
True
Let h = 0.4 - 0.3. Which is bigger: -1/3 or h?
h
Let h be 17/(-2) + 2/4. Let m = -1 - -5. Let c be ((-6)/h)/((-6)/m). Which is bigger: c or 1?
1
Let j = 63.037 + -63. Which is smaller: 1 or j?
j
Let l = 209.7 - 210. Let g = -0.7 - 0.3. Which is smaller: g or l?
g
Suppose -33 = 5*a - 8*a. Let w = -14 + a. Suppose 2*h - 2 = -8. Is h < w?
False
Let o be (-272)/(-2)*(-3 + 2). Let u = o + 954/7. Is 4/3 >= u?
True
Suppose g = 4*l - 0*g - 30, 0 = -3*g + 6. Is 8 at least as big as l?
True
Let v(b) = -b**2 + 6*b + 8. Let t be v(7). Let m = 0 - t. Let d = -91/132 - 2/33. Which is smaller: d or m?
m
Let i = 20 + -46. Which is bigger: 0 or i?
0
Let y(s) = -s**2 - 19*s - 3. Let r be y(-19). Let j(c) = -c**3 + 4*c**2 + 5*c - 3. Let g be j(5). Do g and r have different values?
False
Let t be (0/(-7))/(3 + 0). Are t and -4 equal?
False
Let l be (2/3)/((-2)/30). Is -10 smaller than l?
False
Let m = -47/90 - -1/45. Is m greater than 0.4?
False
Let u = -13 + 14. Let b be (7/21)/(u/9). Is b smaller than 3?
False
Let p = 7/16 - 29/48. Is p at least 1?
False
Suppose p = 5 - 6. Suppose -8 = -3*b + b. Suppose b*y + 3*r = -13, 6*y - 3*y + 15 = -4*r. Do p and y have the same value?
True
Let n(b) = b**3 - b**2 - 2*b + 2. Let i be n(2). Suppose i*r + 5*w - 19 = 0, 4*w - 14 = -r - 0*r. Suppose r - 1 = -y. Are y and -1 equal?
True
Let h(q) = -181*q**3 - q**2 - q. Let z be h(-1). Let o = z - 2354/13. Let n = -23/39 + o. Is n less than or equal to 0?
True
Let a(f) = 3*f**2 - 4*f. Let t be a(4). Let i be t/6 + 4/(-12). Are i and 1 unequal?
True
Let w = 641/4 - 164. Let y = -67/20 - w. Which is greater: y or 0?
y
Let k = 76.3 + -83. Let l = -7 - k. Let w = 0.2 + l. Which is bigger: 0.2 or w?
0.2
Let s be 3 + -4 + -2 + 4. Which is smaller: s or 2?
s
Let u = 0.05 - 0.04. Let n = u + -0.11. Let b = -0.1 + 0.1. Which is smaller: b or n?
n
Let f be (-50)/72 + (-1)/(-4). Let h = -2/3 - f. Which is smaller: 0.02 or h?
h
Suppose 0 = 4*n - 30 - 42. Which is bigger: 1/2 or n?
n
Suppose -7*r + 48 = -3*r. Suppose -3*k + r = k. Suppose 2*m + 2*d = -2, d - 3 = k*m - 0*m. Is -2/7 >= m?
True
Let f(k) = k + 6. Let i be f(-4). Is i not equal to 0?
True
Let f = -104 - -804. Let x be (-4)/14 - (-270)/f. Which is greater: -1 or x?
x
Let w(d) = d**3 + d**2 + 4*d. Let p be w(3). Suppose p = 4*o - 0*o. Suppose -o = -3*i - i. Is i greater than 3?
False
Let a(k) = -k**3 - 2*k**2 + k - 1. Let u be a(-3). Let z be (-6)/(-21) + u/7. Is z >= -1?
True
Let h = -3 - 0. Let m = -5 - h. Is -0.1 at least as big as m?
True
Let i be (-16)/36*(-3)/8. Let v(n) = n + 17. Let d be v(-13). Let j be 3 - 7/(14/d). Which is smaller: i or j?
i
Suppose 14 = 4*c + 2. Is 7 smaller than c?
False
Suppose 5*x + 45 = 2*x. Let j = x + 9. Which is greater: -7 or j?
j
Let j = -17 - -27. Which is smaller: -1 or j?
-1
Let d(w) = -w**2 - 8*w - 9. Let t be d(-7). Let m be 1/((1 - 0)*t). Do 2/11 and m have different values?
True
Let a = 0.2 - 0.1. Let z = -1.16 - -0.16. Are z and a nonequal?
True
Let n = 2.99 - -0.01. Let b = n + -5. Which is smaller: b or 2/7?
b
Suppose -2*u + 49 = -0*u - 5*f, 2*f = 5*u - 91. Is u less than 15?
False
Let j = 13.6 + -23.6. Which is greater: -1/6 or j?
-1/6
Let w = -284/5 + 1948/35. Are w and -1 non-equal?
True
Let j be 2*(-5)/2*-1. Suppose -45 = 2*f + 9. Let w be (-9)/f - 16/(-6). Are w and j equal?
False
Let l be 3 + 2*(-7)/4. Which is smaller: -5/4 or l?
-5/4
Let l = 57.4 - 51. Let z = l + -6. Which is smaller: 0.2 or z?
0.2
Let p be (-24)/2 + -2 + 3. Is p at most -10?
True
Let s = -0.13 + -0.09. Let z = -0.21 - s. Is z bigger than 1/5?
False
Let j = -0.15 - -0.1. Let o = j - 0.25. Let g = o + 0.2. Which is bigger: g or 0?
0
Let x = -2.9 + 3. Suppose -2*v = -5*v + 9. Suppose -g + 4 = -v*g. Which is greater: x or g?
x
Let q = -14/15 + 16/15. Is q at least as big as 1?
False
Suppose 0 = 2*y + 13 - 31. Which is greater: y or 8?
y
Suppose -3*h = -4*o - 5*h - 46, 0 = -4*h + 12. Which is greater: o or -11?
-11
Suppose -2*i - i - v = 1, 3*i + 2*v = 1. Let n(a) = 2*a**2 + 2*a + 4. Let j be n(-3). Let k = -16 + j. Which is greater: k or i?
k
Let v = 4 - 6. Let d be -2*((-9)/v - 2). Let b = 7.9 - 8. Which is smaller: d or b?
d
Suppose -4*q - 2*x = 12 - 46, -3*q = 4*x - 28. Let y(m) = -m**2 + 10*m - 12. Let n be y(q). Let j be -1 - n/((-16)/6). Which is greater: j or 1/6?
j
Suppose 3*n + 1 = 13. Suppose 1 = 2*b - 3*t, 4*b - 4*t - 5 = t. Suppose -4*z = p - 4 - 20, b*z + 3*p = 37. Is n greater than or equal to z?
False
Suppose -5*a + 47 + 28 = 0. Suppose -a = -0*d + 5*d. Which is smaller: -1 or d?
d
Let h = -22/1395 + 8/279. Is h greater than -1?
True
Suppose 0 = -2*r + 7*r + 95. Which is smaller: r or -18?
r
Let v = -14 + 10. Let j = v + 3.8. Which is greater: j or -4?
j
Let j = 2 - 2.11. Is 