20. Suppose 2*a = -u + 3, a - 2*u - 3*u + 15 = 0. Which is smaller: z or a?
a
Suppose 5*v - 58 = h + 19, -4*v = -3*h - 66. Which is smaller: 14 or v?
14
Let a(b) = b**3 + 2*b**2 - 3*b + 2. Let q be a(-3). Let z(c) = c + 2. Let w be z(3). Suppose -1 = t, -6 = w*s - t - 17. Is q smaller than s?
False
Let c(u) = -4*u - 24. Let a be c(-11). Is a < 20?
False
Let q(j) = 2*j**2 + 2*j + 1. Let z be q(-1). Which is bigger: z or 2/85?
z
Suppose 5*z = 4*h - 16, -h = 5*z - 0 - 4. Do z and 5/54 have the same value?
False
Let z = -2 - -5. Is -1 less than z?
True
Let f(o) = o**2 + 11*o - 12. Let b be f(-12). Suppose c + 0*c - 1 = b. Is 8/5 less than c?
False
Let f be 2/6 + 1066/(-1290). Let v = 4/43 + f. Which is smaller: v or 0?
v
Suppose -4*n + 2 = p, -n + 1 = -3*p + 7. Suppose n = 4*g - 8*g + 24. Is 5 less than g?
True
Let r(u) = -3*u + 2*u + 8 + 2*u. Let c be r(-6). Let v be 2 + -2 + c/(-1). Do -2 and v have different values?
False
Let o = -596/9 - -66. Do o and 0.3 have the same value?
False
Let w = -0.049 + 2.049. Which is smaller: w or 0.053?
0.053
Let x = -53799/73 + 737. Let i = x + -665/292. Which is greater: -2 or i?
-2
Let w be 2 + (-3)/2 + 1/4. Which is bigger: 2 or w?
2
Let n = -0.11 - -0.1. Let w = n - -0.01. Is 1/6 greater than w?
True
Suppose 5*t = 20, 5*y + t = 2 + 22. Suppose 2*a - 4*a + b = y, -4*b + 16 = -2*a. Suppose 3*s = 4*w + 6, -3*s - 2*w - 3*w - 21 = a. Which is bigger: s or -3?
s
Suppose -4 - 8 = -v. Let h be v/10*(-20)/(-16). Suppose 4 = b + 2*w, 0 - 14 = -5*b - 4*w. Do b and h have the same value?
False
Suppose a + 4*a + 25 = 5*y, a + y = 5. Let g(f) = f**2 + 3. Let t be g(a). Let d(k) = 2*k - 2. Let h be d(2). Which is smaller: h or t?
h
Let l be -1*(0 - -3 - 8). Let v be 2/(-3) + (-17)/(-3). Let n = l - v. Is n at most 0?
True
Let j be 11/3 - (-6)/(-9). Let u be (3 - -21)*j/(-6). Let b be -1*(u/9 - -1). Which is bigger: b or 0.1?
b
Suppose 2*f + 3*u = -u - 16, -4*f + 4*u + 16 = 0. Which is greater: f or 15/19?
15/19
Suppose 0 = -3*w - w + 24. Suppose 0 = -3*c + w, -c + 6 = -3*y + 2*c. Let n be 40/(-75) + (-1)/(-3). Is n > y?
False
Suppose -3 = -p + 3*k - 0, -p = 2*k - 18. Let f be 9/p - (-46)/(-8). Let x = 1 + f. Is -4 less than x?
False
Let d be 73/(-1*2 + 1). Let j be (-1)/2*726/5. Let i = d - j. Are i and -1 unequal?
True
Suppose 0 = -5*f + 24 - 99. Let b = f + 14. Is b less than or equal to 2/5?
True
Let f be 227*-1*(-2)/(-12). Let g = -38 - f. Let d = -4 - -3. Which is smaller: d or g?
d
Let h(p) = -5*p - 62. Let i be h(6). Is i less than -92?
False
Let z be (-2)/6 + (-8)/(-6). Let s be ((1/1)/(1 - -22))/(-1). Is s at most z?
True
Let g = -6 + 2. Does -4 = g?
True
Let k(g) = g**3 - 4*g**2 + 2*g + 2. Let a be k(2). Let z(v) = v**2 + v - 21. Let p be z(-5). Which is smaller: p or a?
a
Let d(l) = 4*l + 63. Let r be d(-15). Which is smaller: 8 or r?
r
Let f = -72 - -71. Suppose 0 = n - 5*n - 44. Let u = n - -6. Which is bigger: u or f?
f
Let i = 6.8 + -7. Is 11 less than i?
False
Suppose 3*t - 8 = 4. Suppose -2*i + t = -0*i. Suppose -3*r + 4*b = -9, -b = -i*r + 2 - 1. Is r < -3/7?
True
Let v = 14 + -8. Let m be 4/(-3) - (-2)/v. Which is greater: m or 2/37?
2/37
Suppose 0 = 4*g - 4*j + 36, -j = g + 3*g + 36. Which is greater: g or -12?
g
Let i = 28 + -26. Let a = i + 1. Let b = -2 + 1.8. Which is smaller: a or b?
b
Suppose 2*c - 3*u - 2*u = -8, 3*c + 1 = 2*u. Let n = 2 - -1. Let h be (2/60)/(n/(-12)). Which is greater: c or h?
c
Suppose -5 = n - 2, 2*c = -5*n - 9. Let w(y) = y**2 - 4*y + 2. Let x be w(c). Which is smaller: -3 or x?
-3
Let o(v) = v**2 + 3*v - 1. Let g be o(-4). Let r = -2 + g. Which is smaller: -3/8 or r?
-3/8
Let k be 14/(-119) + (-41)/85. Let g be 2 + (0 - -1 - 1). Suppose g*m - 2 = -6. Which is smaller: m or k?
m
Let x = -0.6 + 0.7. Is x < 6/5?
True
Suppose 3*x - 147 = -5*i + 2*x, -3*x + 51 = 2*i. Let s be ((-34)/i)/1 + 1. Suppose 3*n - 4*n + 1 = 0. Is n smaller than s?
False
Suppose 0 = -4*i + 9 - 45. Is i less than -9?
False
Let w = 7 + -3. Which is greater: -1/2 or w?
w
Let b = 0.07 - -1.93. Is -0.2 > b?
False
Let p be (-1 - -2)*-6 + -2. Let q = -55 + 47. Is p bigger than q?
False
Suppose 7*h = -302 - 62. Is -51 > h?
True
Let l(p) = -p - 16. Let r be l(-17). Is 19 greater than r?
True
Suppose 4*y - 3*c - 29 = 11, 3*y = c + 30. Let o be (-7)/(-6) - 5/y. Is 0 >= o?
False
Let z = -111 - -165. Is z at most 54?
True
Let j = 573/7 + -81. Let y = 27/56 - j. Is -1 < y?
True
Let o be (-6 - -7)*(0 - 0). Suppose 0 = -c - o - 1. Is c bigger than 3/8?
False
Let l = -0.06 - 0.06. Is -1 >= l?
False
Let o = 25.21 - 25. Which is bigger: 0.2 or o?
o
Let u be (-7)/5 - (0 + -1). Let n(a) = -4 + 2 + 9*a - a**2 - 3 - 4*a. Let l be n(5). Which is greater: l or u?
u
Suppose -3*n = 2*j + 10, -3*j - 15 = -0*j. Suppose -2 = -h + 2*l, n = 3*h - 2*l - 2. Suppose -3*p = -h*p + 15, g + 3*p = -12. Which is smaller: 2 or g?
2
Suppose 2*m = -u + 4, -4*m = -2*m - u + 4. Suppose y - 24 = 5*y. Let g(z) = z**2 + 5*z - 6. Let l be g(y). Is m less than l?
False
Let z(f) = -4*f - 4*f**2 + 0*f - 8 + 9. Let j be z(-2). Which is greater: -6 or j?
-6
Let w(o) = -o**2 + 3. Let f be w(-2). Is -4/5 bigger than f?
True
Let i(p) = 2*p - 7. Let w be i(-5). Let k = w - -67/4. Which is greater: k or -0.03?
-0.03
Let s(x) = x - 2. Let r be s(5). Let v = 1.9 - 1.6. Which is greater: r or v?
r
Let d(v) = -4*v**3 - v**2 + v. Let j be d(1). Let o be ((-3)/(-2))/(3/j). Is o less than or equal to -2?
True
Suppose -2*m - 2*g + 4 = 0, 6*m - 4*g = 3*m + 27. Suppose 4*q - q - p + 20 = 0, -m*q - p - 28 = 0. Let f be 2/3 + (-8)/q. Is f < 0?
False
Suppose -3 = -2*q + 6*q + 5*d, 2*d = -q. Suppose -2*x + 3 = 1. Suppose -17 = -b + 4*i, i - 2 = 2*b - x. Which is greater: q or b?
q
Let m(w) = -w**3 + 2*w**2 - w + 2. Let c be m(2). Let n be (-21)/(-18)*-2 - -1. Which is smaller: n or c?
n
Let u = 16 - 11. Let c = u + -5.3. Let s = c - -0.2. Which is bigger: s or -1/2?
s
Let b = 14 - 17. Let z = -6 - b. Let s = -3 + 2. Which is bigger: z or s?
s
Suppose -4 = 2*d - 6. Is d > -2/7?
True
Let f = -5 - -5.1. Let t = f - 0.17. Let n = -1.07 - t. Which is smaller: n or 0.2?
n
Let u be 3/((-3)/4*-2). Suppose -u*b - 10 = 3*b. Is b equal to -2?
True
Let i be (-12)/(-4) + 10*(-10)/12. Are -6 and i unequal?
True
Let d be 2*(11/(-12) - -1). Let j(m) = -m - 27. Let b be j(-27). Is b less than d?
True
Let z = 13 - 4. Suppose -2*n - z + 23 = 0. Do 6 and n have the same value?
False
Let h be ((-4)/(-2))/(7/(-1)). Let j be 2/1 + -7 - 1. Let a be ((-6)/(-9))/(4/j). Are a and h unequal?
True
Suppose 3*t = 1 + 2. Let m be (-11 + t)*(-2)/(-4). Let y be m/(-25)*(-5)/(-4). Do y and 1 have different values?
True
Let p(f) = f**2 - 3*f - 5. Let v be p(5). Let x be 2/v*(-1)/2. Let h = -81.9 + 82. Is h >= x?
True
Let x(m) = 2*m**2 + 40*m - 5. Let b be x(-20). Which is greater: -7 or b?
b
Let d = -13/2 + 37/6. Let p be (0/(-3) + 0)/(1 - 3). Which is smaller: d or p?
d
Suppose 5*d - 19 + 94 = 0. Which is greater: -16 or d?
d
Let x be 12*((-10)/(-4) - 3). Let d = -7 - x. Does -2/5 = d?
False
Let d = -2 + 2. Is d bigger than 5?
False
Let w = 11 + -5. Let y be (-6)/(-8) + w/24. Which is bigger: y or -2/7?
y
Let k = -1.8 + 2. Let q be -2*(-3)/((-5616)/(-218)). Let d = -2/117 - q. Is d >= k?
False
Let r = 2.1 - 0.1. Let p = r + 6. Which is smaller: p or 1?
1
Let x = -5 - -4. Is 4/33 less than or equal to x?
False
Let q be ((-4)/19)/(40/60). Which is greater: q or 1?
1
Suppose f + 4*f = -4*d - 37, 0 = -2*f - d - 13. Let l = f - -6. Let u be (-1)/l*15/20. Is u smaller than 0?
True
Let f(p) = -p - 6. Let x be f(-7). Suppose 0 = -6*m + 4*m. Let o(r) = -r**2 + r - 1. Let k be o(m). Are x and k equal?
False
Let s = 3 + -6. Suppose -3*t + 3*u + u - 14 = 0, -u = -5*t - 12. Let j be t + -1 + 3 + -2. Which is greater: j or s?
j
Let n(d) = -3*d - 9. Let g be n(-6). Suppose 5*b - 6 = g. Let u be 1*(b + (0 - 2)). Is 1 > u?
False
Let d = -6 - -1. Is d less than -3?
True
Suppose 4*x + 38 = -42. Is x at least as big as -20?
True
Let s(w) = -w**2 + 6*w + 13. Let o be s(7). Let f be (1 + -7)*(-2)/4. Suppose o = f*m - 0. Are m and 2 equal?
True
Let w be (3 - 5) + 6 - 1. Suppose -2*r = 2*t - 10, w*r + 10 = 4*t + 2*r. Let j = 1 - t. Is j at most -2/5?
True
Let a = 15 + -15. Let t be (-1 + a)/(0 - 1). Which is smaller: t or -0.05