 4.3. Let u = w + 5. Which is smaller: u or 1/2?
u
Let t(i) = 1 - 3*i**2 + 4*i - 2*i**2 + 6*i**2. Let k be t(-3). Let c = -3 - -2.9. Which is smaller: k or c?
k
Suppose a - 4 = -2*l, 0*a + 3*l + 72 = 5*a. Let d = a + -8. Is d at most 0.3?
False
Suppose -3*x = 2*x. Suppose x = -0*u - 3*u. Let d be 2/(-3)*(-1 + -2). Do u and d have the same value?
False
Let l be -4 - 2 - -1 - 1. Let g(c) = 0 - c**2 - 4 + 0*c**2 + 3*c + 2. Let s be g(4). Are s and l non-equal?
False
Let f be 5/(-10) + (-13)/2. Suppose 7 + 11 = -3*h. Which is smaller: f or h?
f
Suppose 0 = 4*d - 16, 3*n = 4*n - 5*d + 21. Which is smaller: 7 or n?
n
Let g = -0.2 - -1.2. Let l(u) = u - 1. Suppose 0 = -2*b + b - 3, -4*p + 4*b = -16. Let i be l(p). Is i at least as big as g?
False
Let a be (-10)/(-5) - 0/(-2). Suppose -17 = -3*t - a. Which is smaller: 2 or t?
2
Let l = 430/7 + -61. Is l < 1?
True
Let p = -14 - -7. Let b = 5 + p. Which is smaller: b or -2/9?
b
Suppose -p + 13 = 5*g, 6*g - 2*g + 7 = 5*p. Let a = -6 - -8. Let b be 3/(a/(-4)*-9). Which is greater: g or b?
g
Let u = 2 - 4. Let v(l) = -l**2 + l + 1. Let t = 6 + -7. Let i be v(t). Which is smaller: u or i?
u
Let d = -5 + 4. Let x be d/3 + (-1)/3. Is x greater than -1?
True
Let o = 3 - 3. Let d(n) = -n**2 - 3*n + 2. Let z be d(2). Let m be -1 + -2 - 22/z. Is m <= o?
True
Suppose 36 = 11*d - 118. Which is greater: d or 15?
15
Let i be 2/(-2) + 5/4. Which is bigger: i or -1/3?
i
Suppose 4*u = -4*b + 1068, -2*u + 2*b = u - 821. Let m = 920/3 - u. Let l = -36 + m. Which is smaller: 0 or l?
l
Suppose 4*g - 2 = q - 32, 5*g = 2*q - 39. Is -6 at least g?
True
Let x(v) = -4 + 7*v + 9 - v**2 - 8. Let m be x(6). Is m != -1?
True
Suppose -5*t + 0*t = 5*n + 260, t = 3*n - 36. Let x = t + 145/3. Which is smaller: x or -5?
-5
Let k be 10/(-2) - (-15)/((-30)/4). Suppose 2*s = 3*s + 5*b - 13, -3*s - 13 = 2*b. Is s >= k?
True
Let r be (-2 - -1)/(1/(-1)). Suppose -3*a - 18 = -2*k + a, k = -3*a - 6. Let q = -1 + k. Which is greater: r or q?
q
Suppose 15 = 2*u + 5*b, -3*u + 6*u - 5*b = 10. Suppose 0 = u*h - 3*c + 9 - 21, 4*h - c = 4. Is 3/7 at least h?
True
Let o = -40 + 47. Let t = 8 - 6. Which is smaller: t or o?
t
Let m = 0 + 0. Let f be 2/(1 - 15/9). Which is smaller: f or m?
f
Suppose 0 = 2*p - h - 0*h, 2*h = -3*p. Let i be 2 - (p/3 - -2). Which is greater: 3/5 or i?
3/5
Suppose 5*l - 2*c - 10 = 0, -l + 0*c = 2*c + 10. Which is bigger: 1 or l?
1
Suppose 0 = -0*x - 5*x - 5. Let m = -1.96 + -0.04. Is x less than or equal to m?
False
Let n = -32 + 31. Suppose -p + 2 = -0*p - 2*w, -p + 5 = -3*w. Is p equal to n?
False
Let s be (-7)/4*26/(-182). Is s greater than or equal to -0.022?
True
Let g be (-6)/9 - 22/(-6). Let k be 8/(-4) - 1*-4. Do g and k have the same value?
False
Let u(c) = 2*c**2 + 3 - 3*c + 3*c**2 - 4*c**2. Let z be u(3). Is 5/2 <= z?
True
Suppose 2*l + 3*o = -9 + 23, 2*l = 4*o. Is 4 equal to l?
True
Let m = -42413 + 1781251/42. Let i = m - 1/14. Is -2 <= i?
False
Let m be (-32)/5 - 12/(-30). Let g = m - -9. Which is smaller: g or 4?
g
Suppose 2 - 19 = -v. Suppose 0 = 4*o + v + 3. Let i = o - -3. Are i and -1 unequal?
True
Let r = 5.74 + 0.16. Let a = 0.07 + -6.07. Let k = a + r. Which is bigger: -0.2 or k?
k
Let n be (35/(-25))/(3/(-15)). Suppose 4*i - n = -h, 7 = -2*h + 3*i + 21. Suppose 2*x - 18 = -x. Which is smaller: x or h?
x
Let m = 1 + 2. Let t be 1/(m + 8/(-3)). Which is smaller: t or 1?
1
Suppose -4 + 3 = -k. Let s = 88.4 + -76. Let q = 13 - s. Which is smaller: k or q?
q
Suppose -2*s - 4*h + 3*h = 1, -4*s + 13 = 5*h. Is -10/3 <= s?
True
Let k = 2/23 - -19/46. Let o = -1 + 1.1. Which is bigger: k or o?
k
Let k(h) = -18*h**3 + h + 1. Let v be k(2). Let x = v + 989/7. Is 1 at most as big as x?
False
Suppose -3*x + 15 = 4*j + 2, 4*x - 11 = j. Let y = j + -1. Which is bigger: y or 1/22?
1/22
Let r = 49 - 75. Which is greater: r or 2?
2
Let b be 1 - -1 - (-2 - -3). Is b > 1?
False
Let h be (-1)/2 + (-28)/(-88). Suppose -4*b + 4 = 0, 5*w + 3*b = -b + 9. Which is greater: h or w?
w
Suppose 5*v = 2*k, 2*k = 7*k - 25. Suppose 0 = -0*a - v*a - 2. Is a at least -3/2?
True
Let t = 20 - 28. Let r be 6/(-69) - 1224/207. Is t >= r?
False
Let z = -20 - -17. Which is smaller: z or -1/3?
z
Let u be (10 + 0)*((-126)/12 + 4). Which is bigger: -66 or u?
u
Let i be 3 + 1 + 146*(-1)/(-2). Is i bigger than 77?
False
Suppose -2*p + 4*k + 3562 = 0, -2*k = p - 6*p + 8913. Let z = p + -12454/7. Let r = z - 4. Which is smaller: r or -1?
-1
Let o be (-20)/6*(-18)/(-2). Which is smaller: o or -28?
o
Let d be (1*(3 - 3))/3. Let p = -469 - -103. Let o = p + 3298/9. Which is smaller: o or d?
d
Let t be -1 + 1 + (-1 - -3). Suppose -w + 3 + 2 = 0. Suppose 11 = w*m + 16. Is m less than or equal to t?
True
Let y be (1/(-2) - 1)*-2. Let j(w) = -w**2 - 2*w + 6. Let a(t) = -t + 1. Let h(p) = 5*a(p) - j(p). Let f be h(y). Is f > -2/3?
False
Let s = -31 - -18. Let g(z) = -z**2 - 14*z - 11. Let x be g(s). Is 1 at most as big as x?
True
Let f = 0.8 - 1.4. Let w = f + 0.6. Is w not equal to -0.2?
True
Let k(t) = t**3 + 6*t**2 - 7*t - 1. Let q be k(-7). Let i be (140/(-6))/((-2)/6). Let z be (-2)/(-3)*15/i. Which is greater: q or z?
z
Let b be 48/462 - 2/(-11). Let i = -0.1 + 0.1. Let l = i + -0.1. Which is bigger: l or b?
b
Let v = -73001/8 + 9112. Is -14 equal to v?
False
Let d = 0.72 - -0.28. Which is greater: 4/3 or d?
4/3
Let m = 7 - 15. Let z = 4 + m. Let y = -1.08 - -0.08. Which is smaller: y or z?
z
Let q be (18/(-10))/(1/(-5)). Let l be 3/q*3 - -1. Suppose -6 = -t + w, 6 = 5*t + 3*w + 16. Which is bigger: l or t?
l
Let q be -2 + 99 + -3 + 2. Let w be q/(-20) - 1/5. Are -2 and w non-equal?
True
Let n = -1151/7140 + 4/357. Which is smaller: n or 1?
n
Let v be (-45)/42 + 24/42. Which is smaller: -2/39 or v?
v
Let h = 2.7 + -2.6. Which is smaller: 0.17 or h?
h
Let v = -117 + 113. Is v > 1/5?
False
Suppose m = -m + 8. Let y = -2 + m. Let n = -3.1 - -3. Is n <= y?
True
Let l be (1 - 11)*3/12. Do -1 and l have different values?
True
Suppose 2*s - 3*s = 1. Is s >= 1/10?
False
Let v = 1 - -1. Let s be (-3 + v)/((-1)/2). Does 3 = s?
False
Let w = -9/28 - -87/140. Which is greater: w or 1?
1
Let l(m) = -m - 3. Let h(x) = 4*x + 13. Let f(v) = -2*h(v) - 9*l(v). Let b be f(3). Suppose i - 6 = -1. Which is greater: b or i?
i
Let u = -1 - 8. Let c be (-4)/(-18) + 11/u. Let a be (0/(-2))/(0 + 1). Which is greater: c or a?
a
Let u(b) = -3*b - 8. Let w be 1*(-3 + 0 + -1). Let h be u(w). Is h < 4?
False
Suppose 29 = -2*h + 3*h. Let z be (-2)/h*(-4)/(-8). Which is bigger: z or 1?
1
Let s be (-3)/(18/15)*-4. Let w = 13 - s. Let m = 5 - 5. Which is smaller: w or m?
m
Suppose 8 = -3*k + 11. Are -2/17 and k unequal?
True
Let g = -6 - -5. Let k be 6 + (-1 - (g + 2)). Which is smaller: -0.1 or k?
-0.1
Let u be ((-24)/30)/(4/(-30)). Which is smaller: 5 or u?
5
Let m = 2.7 - 2.48. Which is bigger: m or 2/7?
2/7
Let t be 3 - (0 - (-12)/4). Is -1/29 >= t?
False
Let i = 6 - 11. Let q = -5 - i. Let b be (-2)/((1 - 2)*-11). Are b and q unequal?
True
Let y be (-10)/4*(-48)/20. Let q be ((-4)/y)/(2/3). Is -4/7 less than or equal to q?
False
Let k be (-6)/5*40/(-16). Suppose -k*y - 1 = -4*y. Which is smaller: -2/15 or y?
-2/15
Let v = -202/3 + 66. Which is smaller: -1 or v?
v
Let i = 28 - 28. Let c be (i - 17/3)*-3. Which is smaller: c or 18?
c
Let q(l) = 4*l + 34. Let p be q(-7). Is p < 8?
True
Let q = 25.5 - 25. Which is smaller: -1 or q?
-1
Suppose -5 = -3*r + 4. Which is smaller: 4 or r?
r
Let b be (1/(-2))/(1/(-4)). Suppose -b*x = 3*x + 5. Is 0.04 less than or equal to x?
False
Let h = 1.19 + 2.81. Is h less than or equal to -0.09?
False
Let m = -3 + 3.6. Let d = 2.4 + m. Does d = -0.1?
False
Let a = -2 - -5. Suppose 1 = -4*n + n + 2*u, -6 = -a*u. Which is bigger: n or 3/4?
n
Let s = 1/84 - 19/28. Let k(a) = -a + 3. Let x be k(6). Let c = 3 + x. Which is smaller: s or c?
s
Suppose -3*j + 0*j = 0. Which is greater: j or 1?
1
Let j = -0.8 - -0.9. Which is greater: 0.12 or j?
0.12
Let i = -37 + 38. Is i < 8?
True
Suppose -5*o = -4*h - 98 + 38, 3*h = -3*o - 45. Is -16 greater than or equal to h?
False
Suppose 8*f - 65 = 3*f. Let k = -12 + f. Is -1/2 > k?
False
Suppose 0 = -4*q - 2*w + w + 40, -30 = -3*q - 5*w. Are q and 12 equal?
False
Suppose 7*k = 4*m + 3*k + 16, 16 = -3*m + 4*k. Which is