u?
0.1
Let k = 18 - 18.18. Let g = k + -0.32. Suppose 0 = t + 2, n + t = -0*n - 2. Which is bigger: g or n?
n
Let d be (-4)/10 - 1 - -1. Let v = -19.1 - -19. Which is greater: d or v?
v
Let k(i) be the second derivative of 4*i**3/3 + i**2/2 - 4*i. Let u be k(3). Let f be (-77)/u + -5 + 8. Which is smaller: f or 0?
f
Suppose -11 - 5 = 4*u. Which is greater: u or -1?
-1
Suppose -5*u + 3*y = -51, 49 = 4*u + 3*y + 19. Are u and 1 unequal?
True
Let r = -20 - -12. Let t = r - -5. Is t greater than -3?
False
Let h = -18842 - -74931/4. Let r = h + 110. Let u = 2 + -1.9. Is u >= r?
False
Let y = -28051/19 - -1477. Is -1/4 >= y?
False
Let i be 2 - (1 + (2 - 3)). Suppose -2 = 2*o - 0*r - 3*r, -2*r = -2*o. Is i >= o?
True
Let a be (-5)/(5/6) + -1. Let k = -4 - a. Suppose -k*u - i = u - 21, 2*u - 4*i = 6. Which is smaller: 3 or u?
3
Let g = 19 - 19. Which is smaller: g or 1/2?
g
Let f be (-2)/10 + (-2)/(-10). Let v be 2/(-6) + (-10)/15. Are f and v unequal?
True
Let o(m) = m**3 - 8*m**2 - m + 7. Let i be o(8). Let p be (i/2)/((-5)/140). Let u be 1/(-2)*(-12)/p. Is 1 < u?
False
Let r = -2 + 1. Let n = 114 + -107.3. Let l = -7 + n. Is r at least l?
False
Let x be 1/7 - (6 - 6). Are -0.1 and x nonequal?
True
Let f = 13 + -6. Suppose -16 = -8*d + 16. Suppose f*c = d*c. Is -2/21 bigger than c?
False
Let y = 0 + 5. Let o = y + -2. Which is smaller: o or 2?
2
Let p = 7 - 0. Let l(t) be the second derivative of t**5/20 - 2*t**4/3 + 7*t**3/6 - t. Let y be l(p). Which is smaller: y or -2/5?
-2/5
Let c be (-90)/(-12) + -6 - (-22)/(-12). Which is greater: -14 or c?
c
Let d = -2 - -8. Suppose -k - d = k. Is k >= -4?
True
Let n = -152 - -167. Which is greater: 17 or n?
17
Let q = 2 + -2. Suppose 0 = -m + 2*m - 2*f - 13, q = -2*f - 8. Let o(h) = -5*h**3 - h**2 + h + 1. Let l be o(-1). Which is smaller: l or m?
l
Let o = -507 + 3049/6. Which is smaller: 1 or o?
1
Let t be (-4)/(-3) - 2/(-3). Let b be 63/(-14)*(-4)/6. Let z be -8 - (t - b)*2. Is z >= -7?
True
Let y(s) = 2*s + 1. Let j be y(5). Suppose 0 = 4*p + 1 + j. Is p less than -3?
False
Let y = 13.38 + -2.38. Suppose -2 = 4*x + h - 4, 0 = 4*x - 2*h + 4. Are x and y equal?
False
Suppose 2*c = -c - 33. Let o = -1 + 2. Which is smaller: c or o?
c
Let p = -0.028 - -0.028. Is p smaller than -39?
False
Let b(n) = -n - 5. Let x be b(-10). Let d = 9 - x. Which is greater: 3 or d?
d
Let g be (225/85 + 3*-1)*-3. Do 0 and g have the same value?
False
Let t = 3.02 + -3. Let l = -2.02 + t. Which is smaller: 1 or l?
l
Let t = -0.7 - -0.7. Let b = 0.1 + t. Let f = 0.5 - b. Which is smaller: 0 or f?
0
Let s = 176.3 - 177. Which is smaller: s or -4?
-4
Let j = 1 + 5. Let n be 120/18*3/2. Suppose u + 3 = n. Which is bigger: j or u?
u
Suppose -3*s + 14 = -s. Is s less than 8?
True
Let x(i) = -i**2 + 2*i - 1. Let r be x(2). Let s = r - -4. Suppose s*w + 2*w - 5*m + 20 = 0, m + 8 = -3*w. Is 1/3 >= w?
True
Suppose 2 = -y - 5*s, y + 4*y + s = 62. Which is smaller: 17 or y?
y
Let g = -19/3 + 20/3. Let l be -1 - (-2)/(8/10). Is l equal to g?
False
Suppose -10*l - 7*l = 17. Which is smaller: l or 2/63?
l
Let g = 0.922 - -0.078. Is 1 greater than g?
False
Let q be (-1 - (-2 + 3)) + -3. Let a = q + -1. Is a bigger than -8?
True
Let z be (-35)/(-3) + (-1)/(-3). Suppose -3*v - 3*t + 0*t = 0, -v - 5*t = 20. Suppose -5*c = 25, -n + 13 = -v*c - z. Which is smaller: 2/9 or n?
n
Let n be (-6)/(-4) + 45/2. Suppose 4*z = -h - 2*h + 4, -4*h + 4*z + n = 0. Suppose t + 10 = -h*t. Is t greater than -1?
False
Let t be -2 + ((-132)/(-2))/(-3). Let d be t/(-4) + -1 + -1. Suppose p - 6 = d*p. Is -2 greater than p?
False
Suppose 5*s = t + 12, 4*t + 0*s + 48 = s. Let q = t - -6. Is q less than or equal to -6?
True
Suppose -3*z - 1 = -5*f, 0 = 3*z - 2*f + 1 + 3. Suppose 0 = -0*p + 4*p. Let o = p - 0. Is o greater than z?
True
Let g = -24.5 + 18. Let w = 0.5 + g. Which is smaller: -0.1 or w?
w
Let y be (-1 - 0)*(1 - 2). Let m = -0.5 - 0.5. Let c = 1 + m. Is c >= y?
False
Suppose -9*x + 10 = -4*x. Suppose 2*p + 7 + 29 = 5*a, a - x*p - 12 = 0. Let g be (2/12)/(a/8). Which is bigger: 0 or g?
g
Let c = -12 - -6. Is 3 smaller than c?
False
Let f be (-7 + 6)/((-2)/(-446)). Let q = 1119/5 + f. Is q at least 0?
True
Let j = 6 + -5. Let x(i) = 3*i**3 - i**2 + 2*i - 1. Let r be x(j). Suppose -5*c = -2*d + 21, 0*c - 3 = -4*d - 3*c. Is d < r?
False
Let s(t) = 3*t + 3. Let h(a) be the second derivative of -2*a**3/3 - a**2 - a. Let x(l) = -4*h(l) - 5*s(l). Let w be x(7). Does -1 = w?
False
Let a(m) = -m**3 - 6*m**2 - m - 6. Let d be a(-6). Suppose -n - 4*n - 35 = d. Let c = n + 8. Is c <= 1/9?
False
Let n = 68 - 82. Which is smaller: n or -5?
n
Let v = 14 + -23. Let n be v + 1 + (-6)/(-2). Is n > -5?
False
Let a = -12 - -8. Let i be a/((-3 - 0) + 4). Which is smaller: i or -6?
-6
Let s = -22 - -23. Are 2/37 and s non-equal?
True
Suppose -b + 5*m = 11, 4*b - 18 = 4*m + 18. Is 25/2 bigger than b?
False
Let l be (-23)/(-7) + (-8)/28. Suppose 0*f = -l*f + 6. Let d = 89/140 - 1/28. Which is bigger: d or f?
f
Let x be ((-932)/34)/(26*8). Let p = 3/136 - x. Suppose -3 + 6 = 3*f. Is f at least as big as p?
True
Let i be 2/((-6)/(-9)) + -9. Let r = i + 8. Which is smaller: r or 3?
r
Let m = 18 - 17. Are m and 2/83 non-equal?
True
Suppose -3*y = -4*y + 4*y. Is 2/17 != y?
True
Suppose 5*z - 4*k - 67 = 0, -z - 2*z = k - 47. Let x be (-2 - -4) + z/(-5). Is x less than -3/11?
True
Suppose -1 = -4*c - a, -6*c + 2*c + 5 = 5*a. Let x(l) = -l**2 + 6*l - 1. Let v be x(6). Is c not equal to v?
True
Suppose -4*r - 5*y + 21 = 0, 2*r - 7 + 1 = 2*y. Suppose 3*d + 14 + 24 = -5*x, -16 = r*x. Let i be (2/d)/((-3)/9). Is i at most 0?
False
Let m(d) = 7*d**2 + 8*d + 3. Let j be m(6). Let r = j - 3027/10. Suppose 8 = 5*t + 13. Which is smaller: r or t?
t
Let v = -2.6 - -4.5. Let o = -2 + v. Let d = o - -0.1. Are d and 1/2 equal?
False
Suppose -2*s + 5 = -b, 5*s - 2*b - 5 = 3*b. Suppose v = -s*f + 6, v - 4*f = f - 3. Suppose -v*o = -3*o. Which is bigger: o or -1?
o
Suppose 2*q = -2*s - 1 - 1, -3*q + 1 = -s. Suppose k - 4*j = -2*k, 0 = -3*j. Is k smaller than q?
False
Let y be 4/(-6) + 4/15. Let r = -30 - -19. Let n = r - -11.1. Do y and n have different values?
True
Suppose -42 = 3*n - 9. Is n not equal to -9?
True
Let g = -3 - 1. Let z = -16.98 + 17. Let u = -0.98 - z. Which is greater: g or u?
u
Let p = -16 - -27. Let d = p + -11.8. Let l = d + 0.6. Which is greater: -3/5 or l?
l
Let f = 4 + -5. Let u be (f - 1) + 2 - 1. Is -2 less than or equal to u?
True
Let m be -1*(-2)/9 - 0. Let q = -13 + 18. Suppose 2*p + 3 = q. Do m and p have different values?
True
Let f = 0.04 + -0.04. Let a = -0.22 + 0.34. Which is smaller: f or a?
f
Let y(o) = -o**2 - 5*o + 1. Suppose -15 - 5 = 5*u. Let v be y(u). Suppose -2*z = -5*r - 14, 3*z - v - 2 = 4*r. Is z at least -2?
False
Let v = 2.05 + -0.05. Let b = -1.5 - -0.5. Which is bigger: b or v?
v
Let n(r) = r**2 - 1. Let u(j) = -3*j**2 - j - 2. Let k(f) = -2*n(f) - u(f). Let a be k(0). Let m(v) = v**2 + 9*v + 4. Let q be m(-9). Are a and q non-equal?
False
Let i(u) = u**2 + 5*u + 3. Let q be i(5). Suppose 0 = -2*j + 5*r + 10, -3*j - 5*r - 13 + q = 0. Let o be (8/12)/(j/(-6)). Which is smaller: -1 or o?
-1
Let d = 0.3 + -0.2. Let g = 4334/19 + -228. Which is greater: d or g?
g
Let j be (6/(-14))/((-12)/105). Which is greater: -1/4 or j?
j
Suppose 1 = -4*x + 9. Let z = 3 + -1. Suppose 2*n - z - 2 = 0. Is x less than n?
False
Suppose -1 + 3 = -2*f. Let r(j) = -j**2 - 9*j + 10. Let n be r(-10). Is f smaller than n?
True
Let n be (((-78)/(-4))/3)/(2/(-12)). Is -39 greater than n?
False
Let g = 1 - 3. Let p(y) = y**2 + y + 2. Let o be p(g). Suppose 0 = 2*b - o. Which is bigger: b or 3?
3
Let t be (-17)/(-4) + -1 + -2. Is 2 not equal to t?
True
Suppose 0*d - 15 = 5*d. Let m = 10 - 34. Let o be 2/5 + m/10. Which is greater: o or d?
o
Let s be ((-6)/4)/((-1)/(-42)). Let t be 2/14*s/54. Are 0 and t nonequal?
True
Let a = -1.49 + 1.68. Which is greater: a or -0.1?
a
Let m be ((-1)/(-1))/(5/(-15)). Let y(h) = -h - 2. Let l be y(m). Let i be (-3)/(9/7) + l. Which is smaller: i or -2?
-2
Let z = -24 - -406/17. Which is smaller: -2 or z?
-2
Let g(a) = -a**3 - 5*a**2 + 6*a - 1. Let o be g(-6). Which is bigger: o or 0.031?
0.031
Suppose -5*u - 3*h = 5, 5*u + 0*h - h + 25 = 0. Let a = u +