r b?
b
Suppose -4 = -2*d - 0. Suppose -4 = -h + d. Suppose 4*u - 2*u - h = a, 0 = 2*a - u + 3. Which is smaller: 1 or a?
a
Let w = 23 + -22. Is w != -0.9?
True
Let s be 3 - (3/(-3) - -7). Let d(k) = k. Let f be d(-3). Is s smaller than f?
False
Let z be 3/6 - 3/(-3). Suppose 0 = 5*l - 6 + 1. Let x = 1 + l. Is x less than or equal to z?
False
Let z = -17 - -16.3. Which is smaller: z or -1?
-1
Let q be (-2)/(-6)*(1 + 14). Let n(k) = k**3 + 2*k**2 + k - 1. Let i be n(-2). Let d = q + i. Which is smaller: d or 1?
1
Let a = 13.8 - 4.8. Which is bigger: a or -1?
a
Suppose -10 = -r - 5*x + 9, -17 = r - 4*x. Let d = 1 + -2. Let a be d/7*1*-2. Is r at most a?
True
Let p(l) = -l**3 + 6*l**2 - 4*l - 3. Let w be p(5). Suppose -3*k - 11 = 4. Let o = 8 + k. Is w <= o?
True
Let z(w) be the third derivative of w**4/24 + 2*w**3/3 - 2*w**2. Let h be z(-4). Suppose 1 = -h*a + a. Which is smaller: a or -1/5?
-1/5
Let g = 11/69 - -4/23. Is 1 not equal to g?
True
Let f = -33.7 - -33. Suppose 14 = -a - 5*t + 3, 1 = -t. Let u be ((-1)/2)/(a/(-8)). Which is smaller: u or f?
f
Let y(s) = -s**2 - 8*s - 14. Let u(h) = -1. Let a(b) = 4*u(b) - y(b). Let k be a(-7). Suppose -3*g + k = 2*d, 0 = 3*g - d + 5*d - 9. Which is greater: g or 0?
0
Suppose -7*d + 3*d = 0. Let i = d + -18. Is -17 < i?
False
Suppose 0 = -5*x - p + 4*p, 0 = 5*x - 2*p - 5. Let s be 0 - (x + 39/(-12)). Let g = 1 + -1. Which is bigger: s or g?
s
Let z = 4.2 + -4.3. Which is greater: z or -0.04?
-0.04
Let y = 0.12 + -0.09. Let o = y - -0.17. Which is bigger: o or -0.3?
o
Let n = 3 + -2.9. Let p = 0.9 - 1. Let i = -0.1 - p. Which is bigger: i or n?
n
Let f = 15 - 13. Which is smaller: -8.2 or f?
-8.2
Let t = 2 + 1. Let w = 3.1 - t. Let d = -228 - -2050/9. Which is smaller: w or d?
d
Suppose 0*k - k + 2 = 0. Is 2 at most k?
True
Let o = 0.3 - 2. Let m = o + -0.3. Is -2/7 != m?
True
Let r be ((-4)/(-8))/(61/20 + -3). Is 10 less than r?
False
Let h = 35 - 31. Let m(q) = q**3 + 3*q**2 - q. Let y be m(-3). Let z = y - h. Is z < -1?
False
Suppose 2*o - 56 = -2*o. Let w = o + -9. Suppose f = w*g - 20, 4*f = -g + 5*g - 16. Is f > 2/13?
False
Let b = -28 + 111/4. Suppose 5*r - 9 = 4*c - 3, -3*c + 9 = 3*r. Which is smaller: b or c?
b
Suppose 5*q - 17 = v - 2*v, -3*q + 2*v = -5. Which is smaller: 1 or q?
1
Suppose 42 = -j + 4*a, j - a + 27 = -0*a. Let z = -13 - -18. Let k be j/(-8) - (-2 + z). Which is bigger: -3/2 or k?
k
Let y = -70 - -36. Let o be y/(-10) + (-1 - 2). Is o less than -2/5?
False
Let q be ((-2)/6)/(2/6). Let t be (-10)/(-45) - q/(-9). Suppose 0 = x - 0*x + 1. Is t greater than or equal to x?
True
Let n(r) = 3*r + 2. Let f be n(-3). Let v(i) = i**2 + 8*i + 5. Let d be v(f). Let y(t) = t**2 - 6*t + 5. Let k be y(5). Which is bigger: k or d?
k
Let m(u) = -u**3 - 9*u**2 - 8*u + 2. Let s be m(-8). Suppose -7 = -j - s. Let p = j - 4. Which is smaller: 0 or p?
0
Let u(w) = -4*w - 1. Let s be u(-1). Suppose 5*k - 4 = -q + 7, -q = -3*k + 5. Which is greater: k or s?
s
Let z = -11 + 15. Let y(w) = -2*w + 6. Let g be y(z). Suppose 3*b - 15 = 3*x, 0*b - 3 = -b. Is g at least x?
True
Let v(w) = w + 8. Let u be v(-6). Suppose -5*k = u*y + 5, 3*y - 1 - 3 = 4*k. Is k >= -2/7?
False
Let r = 17 + -22. Is r not equal to 4?
True
Let h = 114/7 + -3641/224. Which is smaller: -1 or h?
-1
Let a(b) = 13*b + 1. Let r be a(1). Let v be r/6 - (-3 - -6). Which is smaller: 0 or v?
v
Let j be 3/((-15)/265) + -4. Which is smaller: j or -56?
j
Let o(k) = k**2 + 17*k + 44. Let h be o(-3). Let f be (-28)/(-6) + (-4)/6. Suppose -f*v + 20 = 2*m, 0 = v - 3*m - 5 + 14. Which is smaller: v or h?
h
Let n = -2 - -11. Let s = -8.8 + n. Let b = -2 - -1.9. Which is smaller: b or s?
b
Let p(x) = x**3 + 3*x**2 + 2*x. Let y be p(-2). Let w be 2/(-30)*(-60)/126. Let t = 44/63 - w. Do t and y have the same value?
False
Let g = -16 + 15. Let y be (-15)/(-9) + 2/6. Let m be y + 4/(-5) + -1. Are m and g unequal?
True
Let d = -18 + 19. Let i = d + 2. Suppose -6 = -2*a - 0*a. Is a > i?
False
Let d(t) = 0*t - 8 - 4*t + 3*t + 2. Let h be d(-7). Let a be ((-13)/7 + 2)*-2. Is a greater than h?
False
Suppose 11*l + 180 = 20*l. Which is greater: 21 or l?
21
Let a be -1 - (-1 - (-1)/(-3)). Let q = -20 - -22. Which is greater: a or q?
q
Let d = -6 + 6. Let r = -4 - -4.2. Which is bigger: r or d?
r
Let z be (-189)/54 - 1/2. Is -54/17 > z?
True
Let n = 1 - 0.5. Let r = 1.4 - 2. Let u = r + n. Which is smaller: -4 or u?
-4
Let n = -93 + 89. Do -4 and n have the same value?
True
Let n = 0.1 + -0.3. Let w = -5 - -4.9. Which is smaller: w or n?
n
Let s be 3/9 + 7/(-3). Let y = -3 - s. Which is smaller: 1/8 or y?
y
Let n = -7 - -9. Let g be (-8)/36 - (-1136)/(-18). Let h = g + 64. Is h equal to n?
False
Let x = 5 - 22. Let m = x - -25. Let f(t) = t**2 - 8*t + 16. Let q be f(5). Is m equal to q?
False
Let i be 14/(-117)*-3 - 0. Let l = 4/13 + i. Does l = 0?
False
Suppose -3*y = 2*y. Suppose -5*v + n + 18 = 0, 3*n = 3*v + 2*n - 12. Suppose y = 2*w - v*w. Is w less than 3/4?
True
Let z(n) = n + 13. Let v be z(-9). Let o = 4 + -1. Suppose m - t - 24 = -v*m, 2*m - o*t = 20. Is 4 greater than or equal to m?
True
Let r = -89 - -90. Which is bigger: 2/43 or r?
r
Let q = -18 - -11. Which is greater: q or -2/5?
-2/5
Let m(a) = -a**3 - 7*a**2 - 5*a + 7. Let r be m(-6). Suppose 0 = -2*o + o. Let w = o + 0. Which is smaller: w or r?
w
Let a = 4 - 3.75. Let c = a - 0.11. Which is greater: -2/5 or c?
c
Suppose -27 = 3*m - 4*j, 0 = 3*m - 0*j - 2*j + 21. Is -2 >= m?
True
Let m(o) = -85*o - 1. Let c be m(-2). Let f = c - 1857/11. Are 0 and f nonequal?
True
Suppose -2*a + 3*b + 17 = 0, 2*a + b + 9 = 3*a. Is a less than or equal to 9?
False
Let h = -0.3 - -1.5. Let a = -0.6 + h. Let x = -0.5 + a. Which is bigger: 0.2 or x?
0.2
Suppose 4*w - 2*w = -6. Let s = -0.7 + -0.3. Are w and s equal?
False
Let v be 30/(-3*1)*-1. Suppose 2 + v = d. Let l be 11/(-4) + d/16. Which is greater: -4 or l?
l
Let r = -34.3 - -34. Which is smaller: r or -1/15?
r
Suppose 3 = -3*l + 8*p - 9*p, -3*p - 3 = 3*l. Is l greater than or equal to -8?
True
Let q = -1/6 + -1/18. Let i = -0.1 - -4.1. Let x = i + -3.8. Which is bigger: q or x?
x
Let i = 19 + -16.9. Let g = 3 - 2.9. Let p = i - g. Is 0.1 >= p?
False
Suppose -3*u + 1 = -8. Let z(m) = -m**2 - 3*m + 3. Let c be z(-5). Let s = c - u. Which is bigger: s or -9?
-9
Suppose -4*f - 1 = 3. Suppose 0 = -2*j - 5*v, -4*j + 5*v - 28 = v. Let d be (j/10)/((-1)/(-4)). Which is smaller: f or d?
d
Suppose -4*p + 7*p + 54 = 0. Let n be ((-2)/3)/((-24)/p). Which is greater: n or 0?
0
Suppose 21*b - 23*b = -38. Suppose -3*x - b = -5*g, 7*g + 2*x - 4 = 2*g. Let j = -1 - -2. Is j < g?
True
Let a = 22 - 12. Let t be (-3)/(-5) - 166/a. Let f be t/(-10)*(-40)/(-16). Are 5 and f equal?
False
Suppose -2*p + 7 = -1. Suppose p*l + 73 = 5*n - 12, -5*n = 4*l - 85. Which is greater: 16 or n?
n
Suppose 0 = 2*t + t + 3, 3*l = t + 16. Let c = -11 + 11. Suppose -m + l*a - 23 = 0, 3*m = 2*a - c - 4. Which is greater: 1 or m?
m
Suppose -o + 89 = -2*c, 3*c + 368 = 4*o - 2*c. Which is smaller: o or 98?
o
Suppose -11 = -8*j - 27. Is -8/9 equal to j?
False
Let b be (-2)/(-12) + 185/330. Is b less than or equal to 0?
False
Let b(g) be the first derivative of g**4/4 - g**2 - 2*g + 1. Let q be b(-2). Let v = 1074 - 1074. Which is smaller: q or v?
q
Suppose 0*m + 4*u = -4*m + 20, 0 = -4*u + 8. Suppose 3*f = 5*s - 13, -m*s + 5 = -4*f - 5. Is 2/7 at most as big as f?
False
Suppose -1 = 3*u + 44. Let b = u + 5. Let g be ((-2)/b)/(4 - 5). Does g = -1/4?
False
Let a(w) = -w**3 - 6*w**2 - 7*w - 2. Let r be a(-5). Let v(m) = m - 9. Let b be v(r). Let c = -0.24 - 0.06. Is b <= c?
True
Let m = 177.2 - 177. Which is bigger: -46 or m?
m
Suppose -4*n + 27 = -3*j + 5, -5*n - 3*j = -41. Suppose 5*d - 2*p - n = 0, -4*d + 3*p + 7 = -0*d. Is d smaller than 2?
True
Let g be 2/(1*(-1)/6). Let a be (-21)/g + 2/8. Suppose 2*w = u - w - 4, 3*w = -a*u - 1. Which is smaller: -1 or u?
-1
Let p = -1 - -2. Let q = -0.03 - -0.1. Let v = q - -0.03. Which is greater: p or v?
p
Let q(l) = l + 8. Let t be q(-11). Let u be (3/(-2))/(t/(-4)). Which is bigger: u or -9/7?
-9/7
Let p = -424/973 - -1/139. Which is greater: p or 1?
1
Suppose 0 = 4*z + 2 + 2. Is -2/55 at most as big as z?
False
Suppose -5*n - 6 + 1 = 0. Which is bigger: n