 is bigger: 1 or u?
1
Suppose -20 = 5*r, 4*u + r + 4 = 12. Are 4 and u equal?
False
Let v be 1/(-5) + 6/5. Is v < 3?
True
Let p be (6/(-9))/1 + 20/15. Is 0 at most as big as p?
True
Let b = -0.1 + 0.3. Let z = b + 0.8. Let x = 0.005 + -0.105. Which is smaller: x or z?
x
Let i be -2*2 - (3 + -32). Is 24 less than i?
True
Let x(a) be the first derivative of -a**2/2 + 7*a - 1. Let q be x(6). Suppose -r = 2*v + q, 4*r + 4 = -v - 3*v. Is 2/3 < v?
False
Let c = 1/5 + -8/15. Is c <= 0?
True
Suppose 3*j + 4*f = -38, -2*f = -4*j - 4*f - 44. Which is smaller: 1 or j?
j
Let w = -150 - -1052/7. Let z = 49 + -48. Is z less than w?
False
Let f be 4 + (-102)/21 + (-3)/(-1). Which is greater: f or 1?
f
Suppose 5*x - 7 = 2*o, -1 = 4*o + x + 2. Let n be o + 1 - 3 - 1. Which is greater: n or -3?
-3
Let n = -1 + 4. Let x = 0.02 - -2.98. Let b = x - n. Is -2 bigger than b?
False
Let h(d) = d**3 + 8*d**2 - 10*d. Suppose -2*x - 2*x = 36. Let u be h(x). Let z(f) = -3*f - 4. Let m be z(-4). Is u greater than m?
True
Let b be (-11)/5 + 2*1. Let p be (0 - 1)/(-3 - -2). Let m be (-2 - 2/(-1))/p. Which is greater: m or b?
m
Let r(z) = z**3 - z**2 + z + 4. Let p be r(0). Let c be (6 - (-92)/(-16)) + (-38)/(-8). Which is smaller: c or p?
p
Suppose 3*a = a + n + 3, 5*a - 2*n = 9. Is 0 > a?
False
Let d(c) = -c**3 - 8*c**2 - 8*c - 8. Suppose -21 = 2*l + l. Let s be d(l). Let n = -0.1 + -0.9. Is n at most s?
True
Let h = 7.19 + 0.31. Let k = h - 8. Let m = k + 0.6. Is 2/7 > m?
True
Suppose 0 = -4*r - 8 + 4. Let h(w) = 2*w. Let z be h(r). Are 2 and z nonequal?
True
Let p be (1 + -7)*1*-2. Let n(u) = -u**2 - 8*u + 1. Let y be n(-6). Are y and p equal?
False
Let f = 33 + -21. Suppose 2*r + r + f = 0. Does -2 = r?
False
Let b be (-2)/(-2)*(-7)/(-1). Suppose 36 = -5*y + 5*q - 44, -2*y = 4*q + 14. Let c = b + y. Which is smaller: -4 or c?
c
Suppose -5*d - 3*q = -23, -5*q = -5*d - 0*q + 15. Suppose -n + 3*l = 4*l - 2, d*n + l = 5. Let y be (-2)/6 - 2/(-24). Which is smaller: y or n?
y
Let n be (6/36)/((-1)/(-15)). Which is bigger: 2 or n?
n
Suppose -y = -0*y + 3, i - y - 3 = 0. Is i at least as big as -2?
True
Suppose -l + 13 = 2*m, 0*m + 5*m = 3*l + 38. Which is smaller: m or 8?
m
Let v = 1889/117 + -137/9. Do 2 and v have the same value?
False
Let l = -2.1 - -2.01. Let j = -0.19 - l. Is -2/11 at most as big as j?
True
Let s be (-4)/(32/(-12))*-32. Let i = s - -430/9. Which is smaller: -0.3 or i?
-0.3
Let w(v) = -v - 12. Let o be w(-11). Which is bigger: o or 1/25?
1/25
Suppose -41 = 2*l - 49. Which is smaller: l or -3?
-3
Suppose 4*q = -0*a + 5*a - 7, 5 = -5*q + 5*a. Suppose v + q*v + 12 = 0. Let z = v - -5. Does z = 0?
False
Let k = 16 + -31/2. Is k at most 0.3?
False
Suppose 0*z - 6 = -2*z. Suppose 1 = f + 3*w - 0*w, z*f + 4 = -2*w. Is f at least as big as -3?
True
Suppose 1 = 6*i - 5. Which is bigger: i or -6/17?
i
Let a be 14/(-16) - (-4)/(-32). Let m be (-8)/(-6)*(-1)/3. Which is greater: a or m?
m
Let z(k) be the second derivative of -4*k**2 + 1/20*k**5 + 1/2*k**4 + 2*k - 1/6*k**3 + 0. Let s be z(-6). Are -1 and s nonequal?
True
Suppose -4*a + 3*a = 0. Suppose a = 5*u - 15, 1 - 5 = -5*d - 3*u. Let r be ((-4 + 0)/20)/1. Is r smaller than d?
False
Let m = -7 + 28. Let c be 14/35 + m/(-15). Which is smaller: c or 0?
c
Let c = -161019/6145 - -4/1229. Let j be (-1 - (-46)/(-6))*3. Let o = j - c. Which is greater: 1 or o?
1
Let z = 30 - 15. Let k be (-4)/(z/21 - 1). Let m be 4/k + 4/(-63). Is 1/4 >= m?
True
Let z = -7.3 + 7. Is 14 != z?
True
Let h = 12 + -13.3. Let l = -1 - h. Is -1 >= l?
False
Let s = 98 + -308. Let q = -1892/9 - s. Is q at least as big as -1?
True
Let y = 25 + -23. Let t = 0.1 + -0.1. Is y smaller than t?
False
Suppose 0 = 2*x - 3*x + 10. Let w be (-8)/x*6/(-24). Which is smaller: w or 1?
w
Let p(u) = -u**2 - 4*u + 7. Let q be p(-6). Let m be q*1*2/(-2). Suppose 4 = m*v - 1. Which is smaller: v or -1?
-1
Let z = 22 + -11. Does z = 10?
False
Let o = -12 + 12.2. Let n = 0.1 - o. Which is smaller: n or 0?
n
Let b be (-3)/6 + (-13)/2. Is b != -11?
True
Let r = -5.6 - -5.5. Which is smaller: r or 19?
r
Suppose -2*m - 2*d = 4, -8 = -2*d - 0*d. Suppose 2*q - 8 = 2*v, v - 2*q = 6*v + 27. Are v and m non-equal?
True
Let o(d) = d - 1. Let q be o(5). Let u = q + -6. Let x = -8 - -6. Is u greater than x?
False
Let j = 4 + -2. Let l be j/(-3 + 2 + -1). Let r = l - -2. Is -2/17 at most r?
True
Let t = 481/4 + -125. Do t and -4 have different values?
True
Let g = -1 - -9/5. Let i(s) = -s - 1. Let j be i(-3). Is g at most j?
True
Let r be (-24)/(-4) + 0 + -2. Suppose 4*c = 3*c + r. Suppose 0 = -3*m + m + 4. Which is greater: c or m?
c
Let k = 9.3 - 8. Let f = k + -1.2. Let g = 0.2 + -0.2. Which is smaller: g or f?
g
Let o(c) = 2*c**2 - c - 1. Let m be o(-1). Let r = m + -2. Which is smaller: -3/5 or r?
-3/5
Let k be 8 + -9 - 13/(-12). Which is greater: 1 or k?
1
Let g = 5.85 - -0.15. Let v = -0.04 + -6.06. Let p = v + g. Do p and 6 have the same value?
False
Let w be ((-6)/2 - -2)*-3. Suppose -w*f - 9 - 9 = 0. Is f greater than 3?
False
Let r be 14/3 - (-2)/(-3). Suppose r*d = 7*d - 9. Are d and 2 unequal?
True
Let h be (44/(-108))/(2/(-156)). Let b = 32 - h. Which is smaller: 1 or b?
b
Let z be -2 + 0 + 2/3. Let s = 2113/6 - 353. Let g = z - s. Which is bigger: 4 or g?
4
Suppose 4*v + 4 = -2*z + 8, -v = -3*z - 1. Is v != 1/27?
True
Let y = 1 - 1. Suppose i = 5*i + 128. Let t be (2/2)/(i/(-8)). Is y < t?
True
Let k be (-2)/2 + 18/14. Suppose 5*g = 7*g - 6. Suppose 3*j = -g, -f = 2*f + j - 2. Is f greater than k?
True
Let a = 28.5 - 31. Are -0.1 and a non-equal?
True
Let k be ((-1)/3)/((-4)/12). Is -1/45 at most as big as k?
True
Let r = 15 + -8. Let f = r - 7. Are 2 and f equal?
False
Let p(v) = -7*v**2 + 2*v - 3. Let b(q) = 15*q**2 - 5*q + 6. Let a(r) = -6*b(r) - 13*p(r). Let y be a(-2). Are -1 and y nonequal?
False
Let a be -1*(-2 + (-3 - (-1 + 0))). Which is smaller: 6 or a?
a
Let v be 3*(2/3 - 0). Suppose 2*b - 3*b + v = 0. Let k = 2 - 3. Are k and b nonequal?
True
Let h be 4/(-145)*(-15)/(-6). Is h less than -1?
False
Let i be (18/16)/(2/4). Let r be (36/(-15) - -2)/(1/(-5)). Do r and i have different values?
True
Let u be ((-2)/(-5))/(7/315). Let m be (1/6)/(4/u). Which is greater: 1 or m?
1
Let g be (-6)/(-2)*(-6)/(-10). Let o be (1 + -6)/(115/(-69)). Which is smaller: g or o?
g
Let g be (2 - 6/(-12))*(-4)/1. Is g at least -10?
True
Suppose 2*v = -0*v + 4. Which is bigger: v or -2?
v
Let l be (-4)/(-10)*5/21. Let q = -5/21 - l. Which is bigger: q or 0?
0
Let v = 2.2 - 1.9. Is v bigger than -2?
True
Let l = -3066 + 1201871/392. Let x = l + -767/6664. Which is bigger: 0 or x?
0
Suppose p - 3*u = 2*u - 30, -4*p + u - 25 = 0. Is -6 != p?
True
Let b(p) = -5*p + 19. Let f be b(6). Is -12 at most as big as f?
True
Let y = 113/10 - 54/5. Which is smaller: 35 or y?
y
Let s = -0.06 - 2.34. Let a = -2 - s. Which is bigger: a or -1?
a
Let q(a) = a**3 + 6*a**2 + a + 8. Let l be q(-6). Let m = -4 + l. Which is bigger: -5/2 or m?
m
Suppose -3 = -4*z - 2*x + 25, 2*x = -8. Suppose -2*l + z = v, -5*l + 0*l = 4*v - 30. Is l smaller than 2?
False
Let l = 20 - 22. Which is smaller: l or 2?
l
Let t(l) = l**2 + 5*l + 2. Let b be t(-4). Suppose 440*g + 8 = 438*g. Is b at most as big as g?
False
Suppose 14 = -5*v - 16. Let c be (-1)/v*3*0. Suppose 24 = 4*s - 2*d, -3*s - d - 3 + 11 = c. Which is greater: s or 5?
5
Let t(y) = -2*y**2. Let l(d) = d**3 + 3*d**2 + 2*d - 1. Let s be l(-2). Let p be t(s). Is p smaller than -2?
False
Suppose f - 1 = 3. Suppose d = -f*u - 23, 5*u + 5 = 4*u. Let g = -107/3 - -36. Which is smaller: g or d?
d
Let v(c) be the second derivative of 1/3*c**3 + 0 + c - 3*c**2. Let n be v(4). Which is smaller: 1 or n?
1
Let n = -2 - -2. Let b = 1 + 0. Is n less than b?
True
Suppose -4*p - 3 = -5*p. Suppose -p*a + 3 = -3. Which is bigger: a or 4?
4
Suppose -q - 2*h - 14 = 3*h, -4*h - 10 = 2*q. Are 15/7 and q equal?
False
Suppose -3*a + 4 = 31. Is -8 greater than a?
True
Suppose 2*x - 2*o - 42 = -2*x, 5*x = -2*o + 66. Let t be (2/x)/((-20)/15). Suppose -1 - 1 = 2*p. Are t and p equal?
False
Let l = 5 + -7. Let f = 6 + l. Let d be f/(-5) - (-5)/(-25). Is d at most as big as -3?
False
Let b(a) = -1. Let w(r) = r**2 - 4*r - 3. Let o(x) = 3*b(x) + w(x). Let j be o(5). Is -2/7 greate