the same value?
False
Let i be 0 - -1 - (-1 - 0). Suppose -2*l + 4 = -5*v, l + 4*l = 3*v + 10. Suppose v = i*f - f. Which is smaller: 2/7 or f?
f
Let u = 52 - 52. Which is bigger: -3/5 or u?
u
Let o(k) = 9*k**2 - 2*k - 1. Let n be o(2). Suppose -3*m + 11 = -3*a - 2*m, -n = 3*a + 4*m. Which is smaller: 0 or a?
a
Let z = -14 - -9. Let i = z - -6. Suppose 4*q + i = 5*k - 0, 5*k - q = 4. Which is smaller: 2 or k?
k
Let d be 1*(-1 - (3 + -4)). Let k be (d/1)/(1 + -3). Which is greater: -1/5 or k?
k
Let u(i) = i**2 - 7*i + 7. Let w be u(5). Let r = w - -5. Suppose -5*d = -3*j + 11, 5*d + 2 - 1 = -r*j. Is 2 at most j?
True
Suppose 4*l + 1 = 2*f - 9, -3 = 3*l. Suppose 3*h = b + 1, -2*h - 1 = b - f*h. Is b less than 2/5?
True
Let g(z) be the third derivative of -z**5/60 + z**4/12 + z**3/3 + 2*z**2. Let i be g(3). Are 0 and i equal?
False
Let a be (-10)/(-12)*(-12)/(-40). Let w = 0.12 + 3.88. Is w >= a?
True
Let w(b) = b + 4. Let a(r) = 1. Let t(i) = 2. Let p(c) = a(c) - t(c). Let m(d) = 2*p(d) + w(d). Let l be m(2). Which is bigger: l or 2?
l
Let v = 102 + 37. Is 140 smaller than v?
False
Let d = 2.9 - 13.9. Which is smaller: 2 or d?
d
Let h = 542 - 20056/37. Does 0 = h?
False
Let z = -1.95 + -0.05. Let n = -2 + 1.8. Which is bigger: z or n?
n
Let b(r) = r + 2. Let c be b(5). Let f = c + -9. Let s = -2 + 1. Which is smaller: s or f?
f
Let h = -3665/26 - -141. Let a(g) = g**3 - 3*g**2 + 3. Let y be a(2). Which is smaller: h or y?
y
Suppose -3*t + 5*t - 12 = 0. Suppose t = 3*u - 6*u. Which is smaller: u or -1/2?
u
Suppose -3*s - 3 + 9 = 0. Let f = 6 + -4. Is s greater than or equal to f?
True
Let n = -20 + 47. Which is smaller: 26 or n?
26
Let b = 21 - 15. Which is greater: 0.3 or b?
b
Let r = -0.14 + -1.26. Which is greater: r or 2/3?
2/3
Let u be (-3 + (-219)/(-81))*(-2)/24. Which is bigger: u or 1?
1
Let j(i) = -3*i**2 - i - 2. Let m be j(-2). Let p = 11 + m. Which is smaller: p or 1/7?
p
Let i = 2 - -2. Let t = i + -3. Which is greater: 0.2 or t?
t
Let k be 71/102 + (-40)/60. Which is smaller: -1 or k?
-1
Suppose 0 = c - 4*c + 3*x + 126, 2*c - 3*x = 87. Let q be 6/c + 37/(-156). Suppose 0 = 4*j - 5*s + 2*s - 16, -4*j + 5*s = -24. Is q <= j?
True
Let a = 4 + -4.3. Let l = 2.3 + -2. Let o = -0.7 - l. Is a > o?
True
Let z = -5.5 - -4.5. Which is greater: z or 22?
22
Let m = 13442/35 - 384. Is 1 smaller than m?
False
Let k be ((-1)/(-4))/((-63)/56). Do k and -1 have different values?
True
Suppose -22 = 4*l + 2. Which is smaller: l or -4?
l
Let o = 2/127 + -264/635. Which is smaller: 0 or o?
o
Suppose 0 = 2*g + 2*g - 12. Suppose 0 = -c + g*c. Is c >= 0?
True
Let u = -327 - -10784/33. Let r = -62/33 - u. Is r at least -2?
True
Let r = -7 + 4. Let o be 40/(-32) - (-3)/(-4). Do r and o have different values?
True
Let l = -75/47 + -1769/423. Let a = 40/9 + l. Is -2 less than a?
True
Suppose g - 1 = -6. Let k be (g - -6) + (-41)/24. Let j = k + 3/8. Which is smaller: 0.1 or j?
j
Suppose 2*p + 2*p = 0. Let j(x) = x + 8. Let i be j(-6). Suppose -3*g - 1 = -i*g. Is p less than g?
False
Let j(u) = 2*u - 5*u - u**2 + 2*u**2 - 4. Let f be j(4). Is 1/3 not equal to f?
True
Let p be ((-2)/(-10))/(8 + -2). Is p not equal to -1?
True
Let q = -0.92 + -0.08. Let l = -0.16 + 0.86. Let z = l + q. Which is smaller: -1/3 or z?
-1/3
Let n = -0.1 - -0.09. Which is smaller: n or 0?
n
Let t be (-10 - -5) + -1 + 12. Is 5 <= t?
True
Suppose -22*q + 11 = -11. Let h(f) = -f - 4. Let c be h(-3). Is q at most as big as c?
False
Let q = 11 - 10.91. Let x = 0.01 + q. Let o be (-2)/(-1) + (1 - 2). Which is greater: x or o?
o
Let i(z) = -2*z + 20. Let d be i(10). Suppose 2*q - 3 = -1. Let g be 0 + 0 - q/3. Is g greater than or equal to d?
False
Let r = 7 + -10. Let g be -2 + -1 + r + 3. Let l = -1 - 1. Is l < g?
False
Suppose -2*x + x + 16 = 0. Let j be (-20)/(x/(-4)) + -2. Is 5 at most as big as j?
False
Let w = 0 + 0. Suppose 4*y + 12 = 3*a - y, -5*a + 20 = -3*y. Suppose 6*h - 3*h = -5*u - 15, 0 = 3*h - a*u - 12. Is h less than or equal to w?
True
Let r(v) = v**3 - 2*v**2 - v - 2. Let f be r(3). Suppose -f = -0*u - 4*u. Which is bigger: -2/9 or u?
u
Suppose 3 = 3*z - 6, z - 3 = 5*v. Which is bigger: 1/132 or v?
1/132
Suppose 17*g - 17 = -34. Suppose -3*r - r + 40 = 0. Let i be 4/r - 27/30. Is g bigger than i?
False
Let j = 20 + 4. Is j >= 1?
True
Let f be ((-2)/6)/(8/(-120)). Suppose 5*a - 15 = 0, 5*i + f*a - 6*a + 38 = 0. Suppose 0*o = 4*o + 24. Are o and i unequal?
True
Let x be 193/(-33) + 5/(-15). Is x not equal to -7?
True
Let t = -55 + 387/7. Let k = -9 - -9. Is t at most k?
False
Let q be (-55)/99*(-2)/(-5). Let x(k) = k**3 + 5*k**2 - k - 6. Let y be x(-5). Is y smaller than q?
True
Suppose -5*s = -z - 23, 0 = -2*z + 4*z + 5*s + 61. Let p be (-6)/3 - 64/z. Is -2/7 less than p?
True
Let x be (-1 - 4)/((-1)/3). Suppose -5 = 5*n - x. Which is smaller: n or -1/4?
-1/4
Suppose 0*z - 10 = -3*q + 2*z, -q + z = -4. Let y(w) = w**2 - 7*w + 3. Let r be y(7). Which is bigger: q or r?
r
Let t = 35/62 - 2/31. Let i = 0.4 + -0.2. Let a = -0.3 + i. Which is greater: a or t?
t
Suppose 0 = -4*w + 17 - 1. Suppose w*k = 12, 3*f - 5*k = -0*k. Is f > 5?
False
Let f = -79 - -111. Suppose 4*i = -5*u + 15, -u - 5*i - 8 + f = 0. Do u and 2/13 have the same value?
False
Let c = -0.02 + 0.02. Let s be (4/8)/(3/(-4)). Which is smaller: s or c?
s
Let f(m) = -m**2 + 3*m + 76. Let y be f(10). Is y <= 8?
True
Let r = 1.3 + -0.8. Let m = -0.3 + -0.2. Let n = m + r. Which is bigger: -0.1 or n?
n
Let j = 2.24 - 0.24. Which is smaller: j or -1?
-1
Let b = 0.7 + -0.78. Let m = b + -0.02. Which is smaller: -0.04 or m?
m
Suppose 5*b = 5*m, 0*b + 35 = 2*b + 5*m. Let j be -3 - -1 - 10/(-6). Are b and j unequal?
True
Let f be (-1)/(10/1762)*2. Let v = f - -351. Suppose m + 4 = 2. Which is greater: v or m?
v
Let n be 3*((-2)/4)/(3/2). Which is greater: n or -4/25?
-4/25
Let y be 7/(-35) - ((-141)/330 + 0). Which is smaller: -1 or y?
-1
Let u be (18/(-8))/(12/32). Let m = u - -6. Let i = -5 - -7. Is i greater than m?
True
Let f = -11 - -7. Let u be (f/(-5))/(4/(-20)). Let i be u/(-10) + (-4)/5. Which is greater: i or 2?
2
Let s(h) = h**3 - 5*h**2 + h - 1. Let v be s(5). Are v and 16/3 non-equal?
True
Let a = 5 - 3. Suppose 3*z + 20 = 8*z. Is a equal to z?
False
Let f = 0 - 0. Let k(v) = -3*v**2 + 2*v**2 + 3*v**3 - v**3 - v**3. Let t be k(f). Is t at most 2?
True
Let h be 1 + 2 + 6/(-6). Suppose 4*t = h*t - 2. Which is bigger: t or 2/17?
2/17
Let o = -26 - -65/3. Let a be (2/6)/(14/170). Let l = a + o. Are 1/2 and l equal?
False
Let p be -8 + (-1)/2*0. Let x = 55 - 62. Are x and p nonequal?
True
Let c(t) = t**3 + 5*t**2 - 8*t - 6. Let v be c(-6). Let m be (-1)/(((-9)/v)/(-1)). Is -1 less than or equal to m?
True
Let x = 2558/7 - 366. Let k be 2*4*(-4)/32. Is k at most as big as x?
True
Let z(u) = -u - u + u - 1. Let h(c) = 2*c + 1. Let x(j) = -2*h(j) - 5*z(j). Let w be x(-4). Is -2 smaller than w?
True
Let o(t) = t**3 + 2*t**2 - 6*t - 3. Let n = -1 + -3. Let s be o(n). Let u(l) = -l**2 - 11*l - 2. Let r be u(s). Is r less than 0.2?
True
Let n(g) = 2*g**3 + 2*g**2 + g. Let r be n(-1). Let w = 4163/5 - 4591/5. Let c = w - -85. Is c at most as big as r?
False
Let a(w) = 7*w - 3. Let t(i) = 2 + 6 - 5*i - 15*i. Let p(g) = -11*a(g) - 4*t(g). Let d be p(-1). Which is bigger: d or -3/5?
-3/5
Let b be (-1)/(-49)*45 + -1. Let l = -86/147 + b. Let m = 127/3 + -43. Are l and m unequal?
False
Let i(l) = l - 1. Let z be i(9). Let a = -7 + z. Do 2/9 and a have different values?
True
Suppose 0*y - 2*y = 8. Is y smaller than -3?
True
Let f = 0.1 - 0.1. Suppose 2*i + 3*p - 15 = 8*p, -12 = -4*i + 4*p. Suppose 5*s - u + 3*u = 15, i = -3*s + 2*u + 9. Which is bigger: f or s?
s
Let l be ((-1)/(-14))/(6/(-720))*7. Which is greater: l or -61?
l
Suppose 184 = 4*f + 4*t, -5*f + 251 = -t - t. Which is smaller: 48 or f?
48
Suppose -5*v = -0*v - 30. Suppose -v*j = -j - 15. Let t be (-2)/6 + 1/j. Do -3/4 and t have the same value?
False
Suppose 30 = q - 5*g, 5*q - 5*g - 16 - 34 = 0. Let k(m) = -2*m**3 - 4*m**2 - 3*m - 1. Suppose 5*t + 2 = 4*t. Let n be k(t). Is n at most as big as q?
True
Suppose 5*o + a + 3 = 4, -3*a = 12. Let h be 2/(-5) - (-636)/(-4060). Let u = h + 12/29. Which is bigger: u or o?
o
Suppose 3*k + 16 = 7*k. Suppose p = 5*p + k. Wh