 bigger: 0 or w?
0
Let a be 2/11 - (-20)/11. Let j be (-10)/8*a - -1. Which is smaller: j or -1?
j
Suppose 52 = 4*b + 3*i, b - 2*i = -3*i + 14. Let v be ((-12)/45)/((-12)/b). Which is bigger: v or 4?
4
Suppose 24 = 2*q - 2*t, 0 = -3*q - 5*t + 7 + 5. Let j be (29 + -8)*2/6. Which is smaller: j or q?
j
Let w = 3 - 1. Suppose z = -0 - w. Suppose 0*v - 5*s - 14 = 4*v, 3*s = -6. Is v bigger than z?
True
Let p(v) = -12*v - 4. Let r be p(2). Let c be (24/r)/(5/(-14)). Which is smaller: c or 2?
2
Suppose -5*t = 3*s + 9 - 202, 4 = -4*t. Which is greater: 65 or s?
s
Suppose -p - 5*t - 10 = -3*t, 0 = 3*t + 15. Let u(m) = -m + 11. Let a be u(8). Is a bigger than p?
True
Suppose 0 = 5*o + 17 + 3. Suppose -132*h = -131*h + 3. Which is smaller: o or h?
o
Let s = -91 - -639/7. Is s equal to 5?
False
Suppose 25 - 9 = 4*p - 5*r, -r = p + 5. Let m be (-6)/(-7)*(-42)/(-6). Suppose -y = -m*y. Is p at most y?
True
Suppose -5 + 2 = -3*n. Let r be (18/21)/((-4)/28). Let k be 2/n*2/r. Is -1 at least as big as k?
False
Suppose 3*t + 2*s - 8 = 0, 3*s - 16 = -5*t - s. Let m(w) = w**3 + w**2 - 2. Let r be m(t). Let n be (3/r)/(9/12). Is n less than -3?
False
Let u(t) = t - 2. Let q be u(2). Suppose 0 = 5*d - 4*d - 2. Suppose d*l - 6 = -2. Is q less than l?
True
Suppose 4*g + 2*p - 24 = 0, -2*g - 8 = 4*p - 20. Suppose -4*x - g = -7*x. Is x less than or equal to 2?
True
Let j be 3/(-2358)*-1173 + 3/(-2). Is j less than or equal to 0?
True
Let a be (-36)/(-10) + 4/10. Suppose 4*r + a*o + 12 = -0*r, 4*o + 7 = r. Let s = -5 - -3. Which is greater: r or s?
r
Let t be 6/(-6)*1 + -2 + 4. Let f = 3189/29 + -110. Which is bigger: f or t?
t
Let z(f) = -2*f - 6. Let q be z(-4). Let v be 75/10*q/3. Is v bigger than 9/2?
True
Suppose -2*z = -0*z + 12. Let a be ((-4)/z)/((-5)/15). Let n be (10/a)/(3 + 1). Which is smaller: n or -1?
n
Let m be (-4)/(-10) - (-889)/(-1960). Which is bigger: m or 1?
1
Let u = 201/4 + -52. Which is smaller: u or -2?
-2
Let s = 12.9 + -13.2. Is 23 at most as big as s?
False
Let b = 1.8 - 1.6. Is b at least 1.2?
False
Let u be ((-1)/10)/(1/(-2)). Let r(t) = t**2 + 6*t - 1. Let o be r(-6). Is o less than or equal to u?
True
Suppose 46 = -4*o + u + 12, 3*o + u = -29. Let m be (3 - (-5 + 3)) + -14. Are o and m unequal?
False
Let m be ((-8)/(-6))/2*9. Let k be ((-1)/(-2))/(8/m). Are -1 and k equal?
False
Let t = 40 + -85/2. Which is smaller: t or -4?
-4
Suppose -6 = -a + 2. Let h = 11 - 2. Is a smaller than h?
True
Let i = 5 - 0. Suppose 3 + 2 = i*b. Let j = -128/3 - -43. Which is greater: b or j?
b
Let t = 0.4 - -5.6. Let g = 4 - t. Which is bigger: g or -1?
-1
Let v = 451/2 + -925/4. Let q = v - -61/12. Suppose 4*b + 8 = 4. Is q smaller than b?
False
Suppose 2*b - 1 + 7 = 0. Let d be 10/6 - (-4 - (-3 - 2)). Which is smaller: b or d?
b
Let a = 0 + 0.05. Let l = a - 2.05. Let m = 78 - 548/7. Is m less than l?
False
Let x be 7 - 8 - (-7)/(-4). Let k = -17/6 - x. Which is smaller: 0 or k?
k
Let f(m) = -m**3 + 5*m**2 - 5 + 5. Let i be f(5). Suppose -3*s + 8*s = 0. Is s less than i?
False
Let x be 2 - -1 - (-19 + 0 + 2). Which is greater: 1 or x?
x
Let u = -10 + 5. Is u at least as big as -1/6?
False
Suppose -2*h = -3*n + 2, -5*n + 3 = -0*h - 3*h. Suppose 2*q + 6 - 2 = 0. Let a be -1*q/(-4)*2. Do h and a have the same value?
True
Suppose z - 2 = 2, t + z = 6. Let x = -1.1 - -0.1. Which is greater: x or t?
t
Suppose 2*w - 2*m + 8 = 0, -6 = 2*m + 2. Are -7 and w non-equal?
True
Let b(d) = -d**3 + 5*d**2 - 5*d + 2. Let t be b(4). Let p be -4 + 1 + (-1 - 38/(-12)). Are p and t equal?
False
Suppose -36 = 2*w + w. Let c = -12 - w. Which is smaller: c or 4?
c
Let o be (-2)/(-7) - (-57)/21. Suppose -n + 4*n = -2*v - 16, -o*v - 6 = 0. Let l be 16/42 + n/(-14). Are l and 2 unequal?
True
Suppose 4*i = 3*k - 2*k - 30, 2*k = -4*i + 108. Let g = k + -140/3. Is 0 greater than or equal to g?
True
Suppose 2*r + 1 = 7. Suppose -2*u + 3*l - r = -4, 0 = -3*u - 4*l - 7. Let n = -13/6 - -235/114. Which is greater: u or n?
n
Let h = 96 - 95.96. Is -1 equal to h?
False
Let i be ((-51)/(-10))/((-18)/15). Which is smaller: i or -5?
-5
Let a = 8 + -10. Let w(s) = s**3 + s**2 + s - 1. Let t be w(0). Let l be 2*t/2*0. Is l smaller than a?
False
Let q(r) = r**3 + r**2 - 4*r. Let o be q(-3). Let j = -7 - o. Is -2 greater than j?
False
Let t = -1 - -9. Suppose t*h = 5*h + 15. Suppose -3 - 7 = -h*v. Which is smaller: v or 3/2?
3/2
Let s(o) = -o - 8. Let a be s(-9). Let c = -9722821/136 + 285985/4. Let j = -90/17 + c. Is a less than or equal to j?
False
Suppose -8*h = -4*h + 3*a - 4, -5*a + 14 = 3*h. Suppose 5*q + 23 = 2*l, -3*l + q + 10 = -8*l. Is h less than or equal to l?
True
Let n(u) = -u**3 + u - 22. Let h be n(0). Let q be 3/(-6) - 15/h. Which is bigger: 1 or q?
1
Let w = -9 - -9.06. Let h = -1.969 - 0.091. Let t = w + h. Which is smaller: t or -1?
t
Let o = 1.4 - 7.4. Let k = 4 + o. Which is bigger: k or -4?
k
Suppose -3*n + 5*o = 4, 0 = 4*n + 3*o + 2*o - 53. Which is smaller: n or 0?
0
Let m(a) = -a**3 + 2*a - 1. Let w be m(1). Let b = 2/520941 - 169826896/33861165. Let p = -60/13 - b. Do p and w have the same value?
False
Let q be (-32)/(-24) + 1 + -3. Which is greater: -20 or q?
q
Let g be ((0 - 1) + 1)/(-2). Let w be ((-1)/11)/((-110)/(-12) + -9). Which is smaller: w or g?
w
Let i be 15/3 + 39 + (-3)/3. Which is bigger: 42 or i?
i
Let w(k) = k**3 - k**2 - 2*k - 1. Suppose 0 = -4*t + 2*v + 16, -5*t + 0*t = -v - 14. Let j be w(t). Let i be 2 + -4 + j + 3. Which is smaller: 3/5 or i?
i
Let d(m) = 2*m - 4. Let p be d(3). Let x be (2/(-4))/((-2)/8). Suppose -2*i + 6*i - 7 = 5*q, 4*q = x*i - 2. Which is bigger: i or p?
i
Let f = 0.6 + -2.5. Let v = -1.1 + f. Let a = 1.3 + -0.3. Is v != a?
True
Let l be (-6)/(-10) + (-1728)/3105. Suppose 1 - 3 = -2*k. Which is smaller: l or k?
l
Let f be (1 + 0 - 2)*-3. Let z(c) be the first derivative of c**3/3 - 3*c**2 + 2*c - 1. Let v be z(6). Which is smaller: v or f?
v
Suppose 2*c - c + g = 4, 2*c = -3*g + 13. Is 3/67 > c?
True
Suppose -4*n - 3*r = 22, -n - 4*r = -3*n. Is n >= 2?
False
Suppose -3*w + 38 = -5*t, -4*t - 2*w - 52 = w. Which is smaller: t or -9?
t
Let o = 3 - -1. Suppose o*u = 2*u. Let a = 290/3 + -96. Is a > u?
True
Let m = -10 + 12. Let g be (0/3)/(2*m). Is g != 15?
True
Let j be (-45)/25 + 4/10. Let s = -24 + 23. Which is greater: s or j?
s
Let l = -2.31 - 0.09. Let k = -1 - l. Let u = -0.4 + k. Which is smaller: 0.3 or u?
0.3
Let q = -67 - -51. Is 2 < q?
False
Suppose -3*v - 2*q - 8 = 14, -4*v - 41 = 5*q. Let l be (-233)/4 + 5 + v. Let i = -57 - l. Is i <= 1?
True
Let j = 26 + -18. Let p = 10 - j. Are p and 2 unequal?
False
Let z be (80/(-15))/((-1)/(-3)). Let l be (-32 + -2)*58/z. Let j = l - 124. Is j equal to -1?
False
Let u be 5 - (-5)/(15/(-9)). Which is bigger: u or 3/2?
u
Suppose b - k - 50 = 0, k + k + 53 = b. Let l = 26 - b. Let u be 6/l + (-88)/(-210). Which is bigger: -1 or u?
u
Let g(z) = -z**2 + 3*z + 1. Let b be g(2). Let v be (-3)/((-45)/10) - -1. Which is smaller: b or v?
v
Let l = -39.4 - -43. Let y = l + -3. Let z = -0.5 + y. Which is smaller: -1 or z?
-1
Let l = -0.9 + 1. Let i = 10887 - 555191/51. Let p = -4/17 + i. Which is smaller: l or p?
l
Suppose 3*q - 25 + 7 = 0. Let z be 1 + (-8)/q + 0. Let u(p) = p + 2. Let n be u(-3). Which is smaller: z or n?
n
Let l(i) be the first derivative of i**4/24 + 3*i**2/2 + 3. Let p(r) be the second derivative of l(r). Let j be p(-3). Which is smaller: j or -2?
j
Let x be -9 + ((-24)/(-36) - (-2)/(-3)). Do -5 and x have different values?
True
Let w = 18 + -17. Which is smaller: -2/37 or w?
-2/37
Let y be 3*2/6 + 6. Suppose y*q - 5*q = 8. Which is smaller: 3 or q?
3
Suppose 0 = -6*k + 2*k + 20. Suppose 4*f - k = 3. Suppose c + f*g = 6*g - 9, 2*c + 4 = g. Which is greater: c or 1/7?
1/7
Let y be 0 + (-1)/1*-2. Suppose 5*f - 6 = 2*x + 18, -3 = x + y*f. Which is bigger: x or -6?
-6
Suppose -2*s = -7*s. Suppose 3*n = -9, 2*n + s = -4*a - 2. Is 1 greater than a?
False
Let y = 0.2 - 1.2. Let j = -112 - -111.8. Which is smaller: j or y?
y
Let s = -3 + 3. Suppose 2*j - 3*x + 0 = 1, s = -4*j + 5*x + 3. Let c(d) = -d**2 + 6*d - 3. Let o be c(5). Do j and o have different values?
False
Suppose 3*s + g = 2, -2 = -3*s + 2*s - g. Suppose -p + 3*p = -4. Let z = s - p. Which is smaller: 1 or z?
1
