s smaller: l or w?
l
Let o be (18/(-5))/(3/10). Let n be (o*(-3 - -2))/1. Let c be (-8)/n - (-13)/15. Is c less than 2?
True
Let t be (-4)/5*190/(-44). Which is bigger: 4 or t?
4
Let h(i) = -12*i + 2. Let g be h(-1). Is 14 not equal to g?
False
Let b(v) = v - 7. Let g(i) = -i + 7. Let q(m) = -6*b(m) - 5*g(m). Let y be q(6). Which is smaller: y or 2/3?
2/3
Suppose -w + 42 = 2*w. Suppose -2*m + 4*n = -16, -m + 0*m + 5*n + w = 0. Let c be (3/(-18))/((-2)/(-4)). Is m at most as big as c?
False
Let u = 0.1 + 0.9. Let r = u + -0.8. Suppose y = -y. Is y greater than r?
False
Suppose 2*z - 27 = 5*k, z + 2*z - 9 = 3*k. Let d be (-6376)/(-28) - 2/k. Let s = d + -3878/17. Is s at least 0?
False
Let m = -1.9 - -2. Let a = -14.1 - -15. Let u = a + m. Is u at most 0?
False
Let o = -613/54 + 14/27. Let c = 31/3 + o. Do 0 and c have the same value?
False
Let b(s) = -s**3 - 3*s**2 + 2*s - 2. Let n be b(5). Let v = 2110/11 + n. Which is smaller: 5 or v?
v
Let v = 10 + -11. Let j = -0.3 - 0. Let w = -0.3 - j. Do w and v have the same value?
False
Let h(g) = -6*g + 1. Let a be h(-1). Suppose -r - a = -4. Is -2 greater than r?
True
Suppose 2 = -s, -5*s - 12 = 2*m - 0*s. Let x be (-4)/12*(2 - m). Which is bigger: -1/14 or x?
-1/14
Suppose 0*a + 4*a = 3*r, 4*a - 4*r + 4 = 0. Suppose -a - 1 = c + 5*p, 3*p = -2*c - 1. Which is smaller: c or -1/3?
-1/3
Let n = -18 + -2. Is n greater than -20?
False
Suppose 5*a = -62 + 22. Is -15/2 bigger than a?
True
Suppose m - 2 = -3*f - 1, -f - 3*m + 11 = 0. Let u be (-3972)/(-1984) + f + -1. Let n = 981/5456 + u. Is n bigger than -1?
True
Let t = -7 + 14. Suppose t*g = 3*g - 16. Which is bigger: g or -2?
-2
Let n = -151/42 + 24/7. Is n bigger than 0?
False
Let d(v) = v - 4. Let f be d(3). Is 0 at most as big as f?
False
Let u = 42 + -6. Which is bigger: u or 35?
u
Let s(k) = -k**3 - 5*k**2 + k + 4. Let y(b) = -b**2 - 9*b - 5. Let n be y(-9). Let u be s(n). Which is smaller: -2/21 or u?
u
Let y = 1037/14946 - -5/318. Is 1 smaller than y?
False
Let q = 65 - 51. Which is greater: 17 or q?
17
Let x(i) = i**2 - 8*i - 5. Let f be x(8). Let c = -3 + 2. Let u be (-34)/8 + c/(-4). Which is smaller: f or u?
f
Suppose 18 = 6*z - 2*z + m, 0 = -2*m - 4. Suppose -o + 0*o + 18 = 5*d, z*d + 34 = 3*o. Let w = 9 - o. Is -3 at least as big as w?
True
Suppose -2*g + 4*y = 24, y - 1 = 4. Let d = 17 - 14. Let h be (3*g/d)/(-2). Is 1 greater than h?
False
Let s = 0 - -8. Do s and 8 have different values?
False
Let i = -10.05 - -10. Which is smaller: -1 or i?
-1
Suppose 0*z - 3*z - 3*i + 39 = 0, i = -4*z + 40. Suppose 6*s - 3*s = -z, -3*o + 18 = -5*s. Which is greater: 1/3 or o?
o
Let s(a) = a**2 - 9*a + 1. Let v be s(9). Suppose 4*b - 5 + v = 0. Is 1 at least as big as b?
True
Let l be -1 + -3 + 1 - -6. Suppose 0 = -l*u - 1 - 2. Is u less than -1?
False
Let i = 73 + -56. Which is greater: i or 2?
i
Let o = -0.37 + 0.17. Is -0.3 less than o?
True
Let d be 391/138 - 1/(1/2). Is d equal to 2/7?
False
Let n(k) = k**3 + 7*k**2 + 5*k - 7. Let u be n(-6). Let f = 75 - 1723/23. Which is smaller: u or f?
u
Let c be (2 + 1)*((-6)/(-9) + -1). Which is greater: c or 4/17?
4/17
Let c(z) = 2*z**3 + 2*z**2 - 1. Let x(j) = -3*j - 1. Let o be x(-2). Suppose -8 = y + 3*t + 8, 0 = -o*t - 25. Let k be c(y). Are k and 2/13 non-equal?
True
Suppose 3 = i - 4*i. Suppose 6*f = 3 - 21. Does f = i?
False
Let f be (4 - (1 + 4))*-1. Is f at most 5/16?
False
Let c be (-1)/(-1 - (1 - 1)). Suppose 1 = -5*y + 3*u, -4*y - 5*u + 10 = -2*u. Suppose -5 = -4*w - y. Is c not equal to w?
False
Let i = -0.11 + 0.01. Is i at most as big as 1?
True
Let l(i) = -2*i - 3. Let j be l(3). Let t = j - -9. Let c be (t/(3 + 0))/2. Which is smaller: 2 or c?
c
Suppose -g + 9 = -2*g. Let v be (-3 - g)/3*2. Which is smaller: 2/9 or v?
2/9
Let g(q) = -q**2 + 3*q + 2. Let v be g(3). Let y be (-2)/24 - v/8. Does 1 = y?
False
Let i be 20/6*(-30)/20. Is -5 at least i?
True
Let h(p) = 2*p**3 - 8*p**2 - 6 - p**3 - 10*p + 19. Let q be h(9). Is 2 greater than q?
False
Let q be (-5712)/(-77) - 4/22. Let u = 668/9 - q. Is u equal to -1?
False
Let m = -29 + 24. Is m less than 0.1?
True
Let z = 35 + -21. Suppose 9*u = z*u. Is u greater than -2?
True
Let m = -1.5 - -1.4. Which is greater: m or -1/6?
m
Let b(u) = u - 3. Let p(y) = -y**3 - 7*y**2 + 8*y + 8. Let r be p(-8). Let j be b(r). Is -1/3 <= j?
True
Let q(z) = -z**3 + 5*z**2 - 4*z + 5. Let v be q(4). Suppose -v*o - 25 = -10*o, 2*j = 5*o - 11. Which is bigger: j or 8?
8
Let m = -8.2 - 2.8. Let p = m - -10. Is p > -2?
True
Suppose 0*x = 3*x - 21. Suppose x*a = 2*a. Which is smaller: 4 or a?
a
Let d = 17.78 + -18. Let y = 0.32 + d. Which is greater: -7 or y?
y
Let f(y) = -y**3 - 7*y**2 + 6*y - 2. Let j be f(-8). Suppose -5*c - 2*d = 10, -2*d = -4*c - 4 + j. Does c = -2/13?
False
Let a = 74 + -2296/31. Is 1 at least as big as a?
True
Suppose 4*z - 6 = 2*z. Suppose z*o = -0*o. Let h = -0.01 - 2.99. Which is bigger: o or h?
o
Let l = 39/8 + -491/104. Let k = 34.2 - 34. Which is greater: k or l?
k
Let k = -92.2 - -93. Are k and 1 nonequal?
True
Let i = -71/441 + -3/49. Which is smaller: i or 0?
i
Let w = 33 - 100/3. Is w > 2.1?
False
Suppose 2*c - 5 = 1. Suppose -c*v = -7*v - 80. Let y be ((-16)/v)/((-4)/10). Is y greater than or equal to 1?
False
Let d = -0.132 + -0.068. Which is smaller: 2/5 or d?
d
Let o be -5 - ((-276)/63 + (-14)/49). Let p = 0.2 - 0.4. Let j = p + 0.2. Which is smaller: j or o?
o
Let r = 0.27 + -0.21. Which is smaller: -1/5 or r?
-1/5
Suppose 0*d - 4*d = 36. Let f be (2 - 4) + d/(-3). Is 1 >= f?
True
Let d = 127 - 70. Do d and -1/2 have the same value?
False
Let d(w) = w**3 + 4*w**2 + 3*w - 2. Let s be d(-2). Which is bigger: s or -6/43?
s
Suppose -i + 0*i = -4. Suppose 5*v + 1 + i = 0. Suppose -2 = -4*y - 2*o, 5*y + 20 = -0*y + 5*o. Is v bigger than y?
False
Suppose -y = -6*y - u + 5, y = -4*u + 1. Let w be 6/20 - (-7 + 7). Which is smaller: y or w?
w
Let x = -4.016 - -0.066. Let r = x + -0.05. Let a = -5 - r. Is a at least -1?
True
Let x = -3/79 + 1145/1027. Which is bigger: 2 or x?
2
Let u(w) = -w**3 - w**2 + 59. Let h be u(0). Suppose -d - 2*d - 2*c = 98, -2*d + 5*c = h. Let v be (d/4)/(1*-2). Which is greater: 3 or v?
v
Let m(t) = 4*t + 17. Let g be m(-7). Which is smaller: -4 or g?
g
Suppose 2 + 2 = -4*a. Let m be 0 + (2 - 1) + 0. Let b be (m - (-10)/(-14))/(-1). Is a bigger than b?
False
Let g(i) be the third derivative of -i**4/8 - i**2. Let b be g(-1). Let s be b/6*(-2 - -2). Is 0 at most s?
True
Let s = -61 - -68. Let m(a) = 3 - a - 2 + 5. Let p be m(s). Which is smaller: 1/12 or p?
p
Suppose -4*u - 3*x = -2 + 1, 0 = 3*u - 3*x + 15. Let m be u*2/(-4) + 2. Is m < 3?
False
Let a be (7 - 1)/((-30)/(-4)). Let q be ((-2)/15)/((-24)/54). Let t = a - q. Do t and -2/7 have the same value?
False
Suppose -r = -0*r - 3. Suppose 0 = -7*a + 2*a + 3*p - 15, 0 = 2*a - 4*p + 20. Let h = 3 + a. Is r less than h?
False
Suppose -c = 2*c - 3. Let m(h) = -h**2 - 3*h - 1. Let w be m(-3). Let r be ((-2)/10)/(2 + w). Is c >= r?
True
Let g(w) = -w**3 + 4*w**2 - w - 4. Let b be g(3). Is 3/4 <= b?
True
Let i(x) = -x - 4*x + 1 - 1. Let c be i(-1). Is 4 at most as big as c?
True
Let r = -2.93 - 0.07. Let k = -5/3 + 2. Which is smaller: k or r?
r
Let u = 103705 - 5703532/55. Let f = 23/5 - u. Which is greater: f or 1?
1
Let x be -3 - (1 + 0)*-4. Let j be (-7 + 1)/(x - 8). Is j at most 2?
True
Let k = -1/21 - -5/7. Is -1 greater than k?
False
Suppose -5*x = -3*f + 4*f - 25, -x + f = 1. Let m be 2327/(-20) + (-1)/x. Let t = m - -117. Which is smaller: -1 or t?
-1
Suppose -2*q + 4*q = -2*x + 24, 3*x + 2*q = 32. Are x and 7 unequal?
True
Let v(r) = -8*r - 2. Let q be v(-2). Is 77/6 smaller than q?
True
Let m be (-3)/(-1) - 124/40. Let f = 1/90 - m. Which is greater: 0 or f?
f
Let k(b) = -b**3 - 4*b**2 - 4*b. Let x be k(-3). Let v be (x/(-6))/(2/(-4)). Let n = -3/46 + -37/138. Is v < n?
False
Suppose 0 = -d + 4*d + 12. Let b = -2 - d. Is 0 not equal to b?
True
Suppose -4*n + 25 = n. Is n at most 2?
False
Suppose p + 11 = -v, 2*v + 34 = p - 5*p. Let n be 148/180 + p/10. Are n and 0 nonequal?
True
Let b(v) = -v**2 - 12*v - 8. Let a be b(-11). Suppose 2 = f + a. Let s be (4/(-48))/(f/(-10)). Is s greater than -2?
True
Let i be -7 - 2 - (5 - 6 - 3). Suppose -2*d + 23 = -0*d +