/6 - (-17)/34. Which is bigger: w or 5?
5
Let h(b) = -2*b**2 + 40*b + 12. Let a be h(20). Is 1/7 at most as big as a?
True
Let k = 1 - -2. Let f(t) = 6*t**3 - t**2 + 3*t - 1. Let v be f(1). Are v and k nonequal?
True
Let c be (12/15)/(546/(-160)). Let w = c - 2/39. Which is bigger: 1 or w?
1
Let l be (-5 - -9)/(0 + 1). Suppose l*x - 1 = -5. Which is smaller: x or 2/57?
x
Let d = 6.5 + 1.5. Is d at most as big as 0.1?
False
Let c be ((-25)/15 - -4) + -4. Which is smaller: -1 or c?
c
Let i = -2 + -6. Let f be 5 - (-63)/(-7) - 5. Which is greater: f or i?
i
Suppose -10 = -3*f + 8. Suppose 2*w - f = w. Let d be (-6)/(-9)*3/w. Which is bigger: d or 0?
d
Let d(f) = -f**3 + 7*f**2 + 4*f + 4. Let q be d(7). Suppose q = 2*s + 30. Does s = 4?
False
Let l be (0 - 3)/(15/(-40)). Let b be (8/(-20))/(l/190). Which is bigger: b or -9?
-9
Let b be (-2)/(-4) + (-5)/2. Let r be (6/(-4))/(1/b). Suppose 2*j - 2*t = -18, 17 + 14 = -4*j + r*t. Which is greater: -1 or j?
-1
Let v be 132/(-21) - 4/(-14). Let r be (1*3)/(v + 7). Does 1 = r?
False
Let l(r) = r**2 + 7*r - 5. Let p be l(-7). Let m be 10/(-4)*6/p. Suppose -4*s - 16 = -2*z, m*s + 0*s = -12. Is z less than or equal to 0?
True
Let b be -3*(1 - 0) + -3. Let h be 104/48 - (-1)/b. Which is smaller: 0 or h?
0
Let u = -202 - -1006/5. Let h = u + 1. Is h bigger than 1?
False
Suppose 5*c = -49 + 14. Let v(o) = o**3 + 8*o**2 + 6*o - 1. Let i be v(c). Let y be i/27 - 26/198. Which is greater: 1 or y?
1
Let i be (-2 - 24/(-10))*5. Let m be 8/i - (3 - 1). Let s = 19/6 - 8/3. Which is smaller: m or s?
s
Let m be (-1*(-4)/(-12))/(5/12). Is m at most -1/5?
True
Let o be 8/(-30) - 4/(-6). Let h(a) = -a - 6. Let s be h(-7). Is o at most s?
True
Suppose 3*n = 4*v - 27, 2*n = 2*v + 11 - 27. Let g be (-2)/(-5) - (-8)/5. Which is greater: v or g?
v
Let j = 9 - 6. Suppose -f + 8 = j*f. Which is smaller: 3 or f?
f
Let l = 254/7 + -36. Suppose -3*x + 3 + 6 = 0. Suppose 3*a + 6 = 0, -8*a - 13 = -x*y - 3*a. Which is smaller: y or l?
l
Suppose w = -4*w. Which is bigger: w or -1/36?
w
Suppose -y = -2*a + 15, -2*a + 5 = 2*y + a. Is -7 < y?
True
Let k be (-2 + 4)/((-5)/2). Let j be ((-21)/2)/(-15 + 5). Let m = j + k. Which is smaller: m or 0?
0
Let p be (6/(-27))/1 + 615/(-27). Is p < -1?
True
Let v = 2 + 0. Let x = 10 + -13. Let t = x + v. Which is smaller: t or -5?
-5
Let a be ((-75)/4)/((-2)/8). Let t = -153/2 + a. Suppose -2*c + c = 5*v + 23, v + 7 = -c. Do c and t have the same value?
False
Let b be (-33)/6 + 2 + 3/3. Suppose -3 = -5*m + 2*m. Let k = -3 - m. Does k = b?
False
Suppose 63*z = 59*z. Let w(p) be the third derivative of -p**4/24 + p**3/6 - p**2. Let y be w(z). Which is bigger: y or -2/17?
y
Let i be (-1)/(-4) + 65/(-20). Let b be 1*(-4 + 3) + i. Which is smaller: 0.1 or b?
b
Let k = -17 - -18. Let p = 0.08 - 4.08. Which is greater: k or p?
k
Let s be ((-3)/9)/(2/(-132)). Let p be s/5 - (-20)/(-50). Suppose -f + 1 = d, -d - p*d = 3*f - 1. Are d and -3 non-equal?
True
Let x = -20 - -24. Suppose -4*s - 21 = -5*y, 0 = -x*s - 3 + 7. Which is greater: y or 2?
y
Let g(h) = 24*h**3 - h**2 + 1. Let c be g(-1). Let t = c + 17. Is t less than or equal to -7?
True
Suppose 2*b + 18 = 4*b. Suppose b = n + 2*n. Suppose u - 3 = z, n*u - 14 = z + 3*z. Which is smaller: 0 or u?
u
Let p = -8/7 - -1. Let j(g) = g**2 - 2*g - 2. Let l be j(3). Which is bigger: l or p?
l
Suppose 0 = -3*a + 14 + 1. Suppose -4 = -5*m - h - 1, a*m + 2*h - 6 = 0. Is m > 2/5?
False
Suppose 3*p = 4*u - 2*p - 23, 0 = 3*u + 2*p. Let r be 3*3/18*u. Which is smaller: r or 5/4?
r
Suppose 4*h - 3*v + 76 = 0, 7*h + 98 = 2*h + 3*v. Let f = h - -17. Suppose -2*u + 3*u = -5. Is f <= u?
True
Let b(t) = 6*t + 7. Let f(c) = 5*c + 6. Let w(j) = -4*b(j) + 5*f(j). Let n be w(-2). Let x = n - 1/3. Is x bigger than 0?
False
Let c be 6/279*(-2)/(-4). Let i = -191/465 + c. Suppose 20 = 5*h - 3*q, 30 = -0*h + 5*h - 5*q. Which is smaller: h or i?
i
Suppose -3*d + j = 0, j = -6*d + d - 8. Is -11/5 at most d?
True
Let v = 1.005 - 0.005. Which is smaller: -20 or v?
-20
Let i = -0.03 - -0.03. Which is bigger: -0.4 or i?
i
Suppose -3*x - 20 = -4*u, 0 = x + u + 1 + 1. Let i be 1*(9 + (-3 - -2)). Let n be (-2 + x)/(12/i). Are n and -4 equal?
True
Let m = -15 - -26. Let n = 1 - -9. Is n greater than m?
False
Let z = -31.6 - -32. Which is bigger: -0.2 or z?
z
Let f be (-3)/1 + (-5)/1. Let b = f - -9. Let o = -2/129 - -137/516. Is o equal to b?
False
Let y = 36.2 - 36. Is 3 at least y?
True
Let g = -14 - -9. Let z = g - -4.9. Are z and 1 unequal?
True
Let p be (-3)/(((-1)/(-1))/1). Let o be 2/p*(-9)/4. Which is bigger: o or 2?
2
Suppose 5*h - 3*l = 12 + 2, -h - 5 = 2*l. Suppose a + 6 = 4*a. Is a equal to h?
False
Suppose 0 = 2*i - 4, 3*k - i = -23 - 12. Which is smaller: -10 or k?
k
Let m = 0.1 - 0. Let o = -106/7 - -2657/175. Is o bigger than m?
False
Let m be -4 + 51/6 - 4. Are 0.6 and m unequal?
True
Suppose -5*t = -3*r + 268, 96 = -2*r + 3*r - 3*t. Are r and 81 unequal?
False
Suppose 0 = -3*l + 3*d + 12, -3*d - 12 = -4*l - 1. Let b be (l/(-2))/(1/2). Let h be b*(1 - (-9)/(-6)). Is h less than or equal to -1?
False
Suppose -n + 6 = 3. Suppose 0 = 7*z - n*z + 4. Which is bigger: 1/5 or z?
1/5
Let l = 1/315 + 17/1260. Which is bigger: -1 or l?
l
Let i be (-2)/7 - (-629)/119. Let v = -5 - -7. Which is smaller: v or i?
v
Let z be (-245)/(-28) + 1/4. Which is smaller: 11 or z?
z
Let i be ((-45)/6)/(-4 - -1). Let p(x) = x + 8. Let d be p(-6). Which is smaller: d or i?
d
Suppose 8*y - 24 = -2*q + 5*y, -47 = -5*q - y. Let m = -4 - -7. Suppose 2*w + w - r = q, 0 = r - m. Is w smaller than 5?
True
Let h = -43 - -43. Let d = 0.2 - 0.1. Which is bigger: h or d?
d
Let j = 2/108455 + -8264323/2819830. Let k = j + 42/13. Which is smaller: k or 0?
0
Let t be (-4)/24 - (-52)/168. Is t smaller than -1?
False
Let z = 1.7 + -2.7. Let i = 3 - 3. Let f = 0.1 + i. Which is smaller: f or z?
z
Let s = 36 + -20. Do 17 and s have the same value?
False
Suppose 4*u + 4 = -2*x - 6, 34 = -4*x - u. Let k be (6/10)/(x/45). Is -7/3 at most k?
False
Let g(i) = -i + 2. Let w be g(1). Let x(v) = v**3 - 2*v**2 + 2*v - 2. Let o be x(2). Is o equal to w?
False
Let o be (-2 + 4)/((-1)/(-1)). Is o less than -2?
False
Let c be 1 - (112/(-52))/(-4). Is 0 > c?
False
Suppose -3*d + 2*d = 0. Suppose 0 = 2*y - 2 - d. Let o be 1*(-1)/4*1. Is y at most as big as o?
False
Let v(t) = t**3 + 2*t**2 - 3*t. Let z be v(-3). Suppose -2 = -g - z. Suppose g*r = -r. Which is bigger: r or 4/3?
4/3
Let h = 412/7 + -59. Suppose -14 = c - 3*z, 2*z = -3*c + 6*z - 17. Is h > c?
False
Suppose 3*r - 4*d = -r + 8, 0 = -3*r - 3*d - 6. Suppose a - 4 = f, 4*f + 17 = 3*a - r*f. Are -5 and a unequal?
True
Suppose 3*i + 2*w + 12 = -w, -3*i = -4*w - 2. Is i < 0?
True
Let l = 4 - 0. Suppose l*z + s - 4 = -s, -5*s = -z + 23. Is z bigger than 2?
True
Let w = 22 - 28. Is w <= -3?
True
Suppose -3*b - 14 = 2*s + 3*s, 0 = 2*b + 6. Is s less than 9?
True
Let z be (-1*(2 + -3))/1. Let q be 4/(-16) + (-33)/(-100). Is z < q?
False
Let k = -0.442 + 0.042. Is 5 less than k?
False
Let n(c) = c**3 + 7*c**2 - 7*c + 10. Suppose 44 - 4 = -5*l. Let h be n(l). Let g be 1/2*h/11. Which is bigger: 0 or g?
g
Let k = 7 - 6. Let l = -1 + k. Which is bigger: -2/7 or l?
l
Let h be (-3)/6*(-1 - -1). Let d = 0.3 - -0.2. Let k = -0.3 + d. Which is smaller: h or k?
h
Suppose -3 = 3*y - 18. Let l(z) = z - 4. Let v be l(y). Is 1 smaller than v?
False
Let z(a) = -4*a**3 + a - 1. Let j be z(1). Let u be 70/(-20) - 2/j. Is u not equal to -5?
True
Let r = -1.24 + 0.14. Let o = r + 0.1. Which is greater: -4 or o?
o
Suppose 0 = 31*y - 28*y - 3. Which is greater: y or 1/73?
y
Suppose 2*v + v = -4*a - 76, -v - a = 27. Which is smaller: v or -2/7?
v
Let p = -1.9 - 0.1. Which is bigger: 5 or p?
5
Suppose 0*l = -2*l. Let z = -251/44 - -82/11. Let q = z + -2. Which is greater: q or l?
l
Let t = -0.2 + 0.5. Is 0.2 >= t?
False
Let f = -11 + -4. Which is greater: -27/2 or f?
-27/2
Let j = 53/248 - -5/31. Is j at least as big as 0?
True
Suppose 0*l = 3*l + 3. Let p(n) = -n**3 + n**2 + n. Let r be p(l). Let o = 1 - 1. Which is greater: o or r?
r
Let t(v) = 2*v**3 - v**3 - 2*v + 1 + v - v. Let o be t(1). Suppose 4*b + o = -4. Do 1/7 and b have the same value?
False
Let y(z) = z**2 - 3*z - 5. Let s be y(4). Let f 