equal?
False
Let w = 51.997 - 52. Which is smaller: w or -2/5?
-2/5
Let x = 4.95 + -5. Let n = x + -0.05. Let m be 1*(-1 - (2 + -2)). Which is smaller: n or m?
m
Let t = 12 - 23/2. Let v = -23 + 24. Which is smaller: v or t?
t
Suppose -2*c = 9 - 7. Let s be 3/7 - (0 - c). Does s = -2?
False
Let i(x) = -5*x - 4. Let k be i(-3). Suppose -5*d + k = -9. Suppose 0 = -0*y + d*y. Which is smaller: 1 or y?
y
Let l(k) = -2*k**2 + 2*k + 3. Let a be l(-3). Suppose -o - 4 = -2*y, -2*o + 2*y - 5 - 5 = 0. Let x be o/a + (-1)/28. Which is smaller: -1 or x?
-1
Let n(l) = l**3 - 7*l**2 - l + 7. Let h be n(7). Let s be (-6)/(-18) + (-19)/9. Let w = -35/18 - s. Is h <= w?
False
Let d = -9 - -14. Suppose -d*h = -2 - 3. Let b = -244/585 + 2/117. Is h >= b?
True
Suppose -50 = -4*f - f. Is 0 less than or equal to f?
True
Let q = 33 + -32. Which is smaller: -2 or q?
-2
Let r be 17/10 - 2/10. Let w(u) = -u**2 + 6*u + 8. Let b be w(7). Which is smaller: r or b?
b
Let d be (-4)/6 + (-8)/6. Is d at most as big as -2?
True
Let b be (23 - 1)*6/12. Which is smaller: 10 or b?
10
Let n(b) = b + 3. Let v(o) = -o. Let a(h) = n(h) + 3*v(h). Let j be a(3). Is -1 < j?
False
Let r be ((-6)/(-4)*4)/2. Let n = 9/40 + -143/280. Which is bigger: n or r?
r
Let g = 221 + -222. Let f = 11 - 7. Suppose 5*c - 2*v = -20 + 4, -f*c - 5*v = -7. Which is smaller: g or c?
c
Suppose i + 0*j + 20 = j, 3*i + 4*j = -32. Let f = i + 11. Does f = -4?
False
Let l = 17 - 13. Which is smaller: l or -2?
-2
Let b = -7 + 5. Let q = b + 1. Which is bigger: -2 or q?
q
Let f = -12.6 - -12. Let i = f + 0.2. Is i < -1?
False
Let q = 6 + -6. Let i = q - 1. Let y = -2/3 + 1. Which is smaller: i or y?
i
Let k = -1/32 - 7/32. Which is bigger: k or 16?
16
Let b(s) be the second derivative of -s**5/20 + s**4/6 - s**3/6 + s. Let w be b(1). Let u be (1*(w + -2))/(-2). Which is smaller: u or -3?
-3
Let h = 0 + -0.5. Let n = 1.3 + h. Let d = n - 0.7. Is d less than 0?
False
Suppose -5 = 4*v - 61. Suppose 0 = -5*m + 3*b - 4*b + 14, -v = -m - 3*b. Let k be -2 - (-1 - m) - 2. Which is greater: -2/11 or k?
-2/11
Let t be 7/9 + -1 + 0. Let j(x) = 2*x**3. Let y be j(1). Suppose -2*m = -4*m + y. Which is greater: t or m?
m
Suppose 3*n = 3*k + 15, -3*n - 2*n = -3*k - 23. Is 5/24 equal to k?
False
Let o = 6 - 10. Are o and -10/3 unequal?
True
Suppose -3*r + 5 = -8*r. Which is greater: r or -9/5?
r
Let m be (-27)/21 + 4/14. Let k(d) = -77*d - 1. Let v be k(m). Let t = 379/5 - v. Is t > -1?
True
Let o(p) = -p**2 + 4*p - 3. Let f be o(2). Let v be 2/(-1 - f - -1). Suppose -4*k = 4*s - 6*k, -2*s - 4*k - 10 = 0. Is s less than or equal to v?
False
Suppose -4*p - 10 = -2*z, 4*p = -5*z - 0 - 3. Let v(m) = 1. Let l(y) = y**2 + y - 1. Let i(s) = l(s) + 2*v(s). Let k be i(p). Which is smaller: 2 or k?
2
Suppose 3*m - 12 = -15. Which is smaller: m or -2/203?
m
Let q = -4 + 5. Let r = 2 + q. Let l = -4 + r. Is l equal to 1?
False
Let y(d) = d**2 + 30*d - 68. Let n be y(-32). Let b = -57/2 - -26. Which is greater: n or b?
b
Suppose -49 = 3*t + 11. Let z = t + 18. Is -2/3 != z?
True
Suppose -8 = 2*p + 3*u - u, 4*u + 16 = 3*p. Which is smaller: p or 18/23?
p
Let j be (5 + (2 - 3))/(-1). Let p = -5 - j. Is p > 1/8?
False
Suppose -3*l - 24 = l. Let i be 2/l + (-2)/(-2). Let z = 4 - 2. Which is bigger: i or z?
z
Let x = 75 - 75. Let a be (-1)/(-3)*(-6)/10. Is a greater than or equal to x?
False
Let x be (-18)/22 - (-10 + 9). Which is bigger: -1 or x?
x
Let m(f) = f + 6. Let a be m(0). Suppose -a = -4*w + 18. Is w > 6?
False
Let l = 0 + 0. Suppose 3*d = g + 3*g - 16, l = -2*g + d + 6. Does g = 1/5?
False
Let w(k) = -k**3 - 4*k**2 + 2*k + 7. Let p be w(-4). Is -3 < p?
True
Let y = -8.4 - -9.4. Which is smaller: -13 or y?
-13
Let h(o) = -4*o + 4. Let l be h(3). Do -9 and l have the same value?
False
Let c be 126/(-15) + 4/10. Let t = -9 - c. Let o = 6/41 + -165/287. Which is greater: o or t?
o
Let n = 0.4 + 0.3. Let t = n - 0.8. Let h = -264/5 - -53. Is t less than h?
True
Suppose 2 = 2*f + 20. Let r be (-2)/f + 26/(-36). Is r at least as big as -1?
True
Let d = -48.944 - 0.056. Are -2 and d non-equal?
True
Suppose 3*q + 6 = -0*q. Which is greater: q or -5/6?
-5/6
Let a = -6 - 10. Let i = a + 6. Does i = -10?
True
Let k = -34 - -45. Is k <= 12?
True
Suppose -3*u + 3 = -0. Let h be 1 - u*(2 + 1). Let j be ((-28)/(-5) - 3) + h. Which is smaller: j or 1?
j
Suppose 14*s - 65 = 9*s. Is 15 not equal to s?
True
Let u = -11 + 8. Let d be ((-6)/36)/((-1)/(-10)). Is d greater than u?
True
Let n = -27 - -11. Let i be (-1)/(n/66) - 3. Which is smaller: i or 2?
i
Let w be (-80)/6*63/(-42). Which is smaller: 21 or w?
w
Suppose 5*t = -14 + 4, -3*t = -3*k - 57. Which is bigger: -23 or k?
k
Let z(b) = -b**3 + 12*b**2 - 9*b - 13. Let s be z(11). Which is bigger: s or 8?
s
Suppose 3*r - 8*r = 50. Is -11 > r?
False
Let o = 105 + -944/9. Is -1 at least as big as o?
False
Let a be (0 + (-2)/(-50))*2. Let j = 21 - 20. Is a at least j?
False
Suppose 2*n - 5*u = 0, 6*n - 2*u = 4*n. Let r be (-6)/(-8)*2/(-3). Is r less than n?
True
Suppose 3*i = 4*i + 1. Let y = i - -5. Let n(j) = -j + 11. Let x be n(8). Is y at most x?
False
Let r be (6/(-8))/((-10)/(-8)). Suppose 4*l = -5*s - 10, 3*s + l - 2 = -3*l. Let w = 5 + s. Which is smaller: r or w?
w
Let w be -2 - -2*(-3 - -4). Suppose -3*g = -g. Is g equal to w?
True
Let n = 33 + -53. Is -19 greater than n?
True
Suppose -j = j. Suppose -h - 5 + 0 = j. Are h and -5 equal?
True
Let f(l) = l**2 + 0 - 7*l - 1 + 8. Let h be f(6). Which is smaller: 4/3 or h?
h
Let k = -3.2 + 4. Let f = 0.7 - k. Which is smaller: f or 0.6?
f
Let g(s) = s - 1. Let v be g(6). Suppose -v*f - 4*a + 26 = -0*f, 2*f = 4*a - 12. Suppose 1 = y - f*y. Which is smaller: y or -2?
-2
Let k = -39 + 20. Let o = 19 + k. Which is smaller: 3 or o?
o
Suppose -3*m = 2*m + 240. Let x be -4 + -1*m/9. Which is greater: 0 or x?
x
Let f = -111 - -885/8. Let l = -1/24 - f. Is l equal to 1?
False
Let v = -0.94 + 0.64. Let l be ((-1)/2)/((-10)/8). Is v at least as big as l?
False
Let u = 1 + 1.6. Let l = u - 0.6. Is l at least as big as 1/3?
True
Let n = -49 - -34. Let r = 10 + n. Is r less than -4?
True
Suppose 0 = -4*h - 14 - 26. Let p be (2/h)/((-4)/5). Let n = -0.92 + -0.08. Which is smaller: p or n?
n
Let u = -17 + 101/6. Suppose 3*z = -2*z. Is u less than z?
True
Let b be 1 - 2 - -1*3. Suppose -b*l + 0 - 2 = 0. Let y = 7/17 + -45/68. Which is bigger: y or l?
y
Suppose 2*i + 0*i - 38 = -4*u, -u + 2*i = -12. Suppose -3 = -p + 2. Suppose p*o = x + u, -x = -2*o + 11 - 4. Is o >= -2/11?
True
Let v(f) = f**3 + f**2 - 5*f - 11. Let y be v(-2). Let j = 16 + -22. Is j smaller than y?
True
Let h be ((-2)/(-6))/(5/(-35)). Let q be 3*1 + 12/(-2). Which is greater: q or h?
h
Let f(i) = i**2 - 10*i - 17. Let g be f(8). Which is greater: g or -34?
g
Let c be (-3)/9 - 2/3. Let t be ((-222)/26 - c)/(-6). Let y = 12/13 - t. Which is greater: y or 0?
0
Let g = -21 - -14. Let w be 13/3 - g/(-21). Let h = -7 + w. Which is bigger: -3/2 or h?
-3/2
Let b(w) = -w**3 - 6*w**2 - 2*w - 9. Let x be b(-6). Is x < 0?
False
Let a = 17818/5 + -3673. Let x = 109 + a. Which is greater: 1 or x?
1
Let h(i) = i**3 + 3*i**2 - 7. Let x be h(-2). Is -4 at most as big as x?
True
Let f be (-3)/(-9) + (-39)/9. Let o be 4/12 - f/(-9). Suppose 0 = -5*u + 3*u. Which is smaller: o or u?
o
Let o = 0.22 - -1.88. Let d = 10.1 - o. Let k = 7 - d. Which is smaller: k or 0.3?
k
Let c(v) = v + 19. Let p be c(-13). Let k = p - 3. Let u = -7 + k. Which is smaller: u or -5?
-5
Let v be (2 + -3)*5/5. Is -4 > v?
False
Let j = -4 + 0. Let i = -1 - j. Is 0.2 bigger than i?
False
Let y be (-1 - -1) + (-1 - 2). Suppose 2 - 18 = 4*s. Let g = y - s. Which is smaller: -2/13 or g?
-2/13
Let k = 44 - 29. Let h be (-4)/6 - 34/(-6). Suppose -7 - 7 = -5*t - 4*r, k = h*t + 5*r. Is 2 > t?
False
Suppose 0 = 4*k - 6 - 6. Let m = -6 + 10. Let t be 12/8*m/3. Which is greater: t or k?
k
Let m = 8 + -6. Is m at least 31/5?
False
Let g be 8/5 - 9/15. Which is greater: g or -1?
g
Let s = 3/52 - 4/13. Let u = 21/296 - -2/37. Let n = s + u. Are n and 0 unequal?
True
Let g = 24 - 24.8. Let s = -1.8 - g. Which is greater: 3 or s?
3
Let u = 14 - 21. Let z(a) = a + 3. Let g be z(u). Is -5 not equal to g?
True
Let f be (4/3 - 1)*8. Which is bigger: 2 or f?
f
Le