x + -21.92. Let m = 19 + l. Is m at least as big as -1/2?
False
Let z = -1.97 + -0.03. Let i = -15.01 + 15. Let y = i - 0.09. Which is greater: z or y?
y
Suppose -2*t + 0*t - 13 = 5*z, 5*t + z = 2. Suppose 11 = -6*v - t. Which is smaller: 0 or v?
v
Let k be 72/27*6*-7. Let c = -78 - k. Let r be -4 + -3 + c/5. Which is smaller: -1 or r?
-1
Let t be (-16 - 22253/(-1394))*4/42. Which is greater: -0.1 or t?
t
Suppose 42*a - 30*a + 48 = 0. Suppose -4*o = -5*l + 61 - 6, -l = -3. Let z be 36/o + 6/(-15). Are a and z non-equal?
False
Suppose a + 10 = 2*s, 0 = -3*s - 5*a - 1 + 16. Suppose -l = 4*m - 0*l - 8, 0 = s*l. Suppose -4*t + 40 = m*j, 2*t + 3*j + 2*j = 28. Which is smaller: 8 or t?
8
Let f = -18 - 7. Let v = 50.8 - 26. Let p = f + v. Which is smaller: -6/7 or p?
-6/7
Suppose 0 = 5*b + 167 + 13. Which is smaller: b or -37?
-37
Let g = 78 - -567. Is 644 smaller than g?
True
Let v be (-20 + 19)/(2/(-6)). Let k be -8 + v + 2 + -2. Which is smaller: k or -3?
k
Let s = -42 + 109. Let d = s + -38. Let v = d - 86/3. Does 0 = v?
False
Let z be (-10)/(-55) - (-2932)/330. Let w be 4/22 - (-2712)/330. Let g = z - w. Is g less than -0.4?
False
Let g = -1.099 + -1.901. Which is greater: -2/221 or g?
-2/221
Let l be ((-12)/10)/((-8)/15). Let p(x) = -x**3 - 19*x**2 - 17*x + 21. Let d(j) = -j**2 - 8*j + 2. Let u be d(2). Let h be p(u). Which is greater: h or l?
h
Suppose 3*q - 467 = -q + 3*x, 0 = 2*x + 10. Let z = q - 113. Is z less than -0.2?
False
Let x be (-2)/4 + 7/2. Let p = -181 - -186. Suppose -2*s = x*s - p. Which is smaller: s or 6/5?
s
Let z(p) = -11*p**2 + 25*p + 185. Let i be z(-5). Is i less than or equal to -213?
True
Let m = -2 + 1. Suppose 15*y = -23 - 7. Let q be 2*y/(-20)*(-6)/(-27). Which is greater: q or m?
q
Let d be ((-8)/6 + 1)/((-3)/(-306)). Which is greater: d or -30?
-30
Suppose -3*z = -5 - 1. Suppose z*n - 2 - 2 = 0. Suppose -n*a + 0 = 2. Is -2 < a?
True
Let p(k) = 3*k - 1. Let c be p(1). Suppose 5*u = -q - 11, q - c = u - 7. Let n = q + 5. Is 1/30 > n?
True
Suppose -2*k - 3*k = 10, -k - 14 = 4*i. Let m be (i/6)/(2/(-8)). Which is greater: m or 5?
5
Let k be (-5)/(9 - 4)*-31. Suppose 0 = 26*o - k*o + 120. Is o equal to 25?
False
Suppose -202*l = -207*l + 135. Is l equal to 30?
False
Suppose -2*c + 18 + 0 = 0. Let b = 17 - c. Suppose 0 = -8*a + 12*a + 3*z - 7, 2*a - 28 = 2*z. Are b and a equal?
False
Let j = -11 + 66. Let s = -53 + j. Is 0.9 equal to s?
False
Let c be 2/13 - (-4)/(-26). Let l be 1 + c - (-14)/(-24). Is 0 < l?
True
Let g(n) = -n**2 + 10*n + 14. Let d be g(12). Let t be (-15)/d + -2 + -2. Which is bigger: t or -4?
t
Let f = 1.6 - 2.3. Let a = 10 + -9.4. Let k = a + f. Which is smaller: k or -3?
-3
Let c(p) = 164*p + 81. Let y be c(10). Is 1 at most as big as y?
True
Let b(u) = -5*u**2 - 3*u - 6. Let x be b(-2). Let f = x - -21. Which is greater: f or -5?
f
Let j(y) = -y**3 - 4*y**2 + y + 6. Let t be -1*(9 + -1)*-1. Let b = t + -11. Let d be j(b). Which is smaller: d or 2?
d
Let l(p) = -p**3 + 8*p**2 + 8*p + 15. Let i be l(9). Suppose i*h = 10*h + 4*c + 24, -4*h + 3*c = -11. Let d be (66/(-62) + 1)*1. Which is smaller: d or h?
h
Let s = 0.25 + -35.25. Let i = s + 35. Let r = -5/23 - 1/207. Is r at least as big as i?
False
Suppose 9*o = -35 - 19. Which is smaller: -8 or o?
-8
Let s(h) = 5*h - 50. Let q be s(10). Is -7/12 > q?
False
Let o = 200/93 - 1586/651. Let m be 1*(1 - 3 - -3). Which is greater: o or m?
m
Let a = -81 + 82.025. Let i = 0.025 - a. Which is greater: i or -24/5?
i
Let q = 83 + -89. Let b = 18 + -22. Do b and q have different values?
True
Let g(v) = 5*v**2 - v - 1. Suppose 3*o + 7 - 4 = 0. Let p be g(o). Suppose -8 = -p*x + 42. Is 10 > x?
False
Let z be (-3)/(-4) - 3885/5740. Are 2 and z non-equal?
True
Let b be (1/2*110/10)/(-8). Which is greater: 0 or b?
0
Let y = 0.2 + -0.7. Let h = -1171 + 1170.64. Let z = h - y. Are 0.1 and z unequal?
True
Let m = -45 + 18. Let x = m - -27. Is -17 greater than x?
False
Let l(x) = -x + 34. Let q be l(0). Suppose -2*n = 2 - q. Let i = 15 - n. Which is smaller: i or -4/5?
i
Let s = 273 + -215.8. Let p = s + -57. Which is greater: -4 or p?
p
Let l(u) = -7*u**2 - 18*u - 58. Let s be l(-3). Which is bigger: -70 or s?
s
Suppose -4*o = -4*k + 12, -3*k + 2*o - 4*o = 6. Is -7/23 less than or equal to k?
True
Suppose 5*n + 0 - 10 = 0. Suppose 4 + n = 6*y. Let c be 1 - 0 - (-20)/(-14). Which is smaller: y or c?
c
Suppose 4*r - 2 = 2*r, -2*r = 2*n + 72. Which is bigger: -33 or n?
-33
Suppose r - 3 = -2*w + 3, -w = -r. Let a = 2 + r. Let h = -9 + 14. Which is bigger: h or a?
h
Let q be (80/30)/(4/6). Suppose -4*d + 132 = q*c, 0 = 4*c + 2*d - 218 + 80. Let y be ((-3)/9)/((-21)/c). Is 1 equal to y?
False
Suppose -5*u + 148 + 122 = 0. Let h be u/(-3)*8/(-12). Suppose -2*n = n + h. Which is bigger: -5 or n?
n
Suppose -3*k + 5*s = -1349, 2*k + 13*s = 11*s + 878. Is k less than or equal to 443?
True
Suppose -10*q - 267 = 353. Let z = 10309/172 - -78/43. Let l = z + q. Which is greater: 3 or l?
3
Let c(k) = k**3 - 22*k**2 - 24*k + 25. Let d be c(23). Suppose d*v - 2*l + 4*l = -240, 4*v = -l - 471. Which is smaller: v or -118?
-118
Let s = 102 + 135. Which is greater: s or -1?
s
Let m = -6751/190 + 3/95. Which is smaller: -36 or m?
-36
Let h be (-3 - (-8)/2)/(1/(-9)). Let f be h/6*(-22)/(-6) + 3. Suppose l + 0*q + 23 = 5*q, 3*l = -5*q + 11. Which is smaller: f or l?
l
Suppose 5*v - 2*v = 5*f - 130, -2*f - 4*v = -78. Which is greater: 39 or f?
39
Suppose 0 = 2*n - 3*l - 24, -4*n + 21 + 15 = -3*l. Which is smaller: -1 or n?
-1
Let o = -51 + 359/7. Let r be ((-4)/(-70))/(20/7). Is r at least as big as o?
False
Let r be (-46)/(-115)*30/9 + -2. Which is smaller: -232 or r?
-232
Let y = -13 - -17. Suppose 6 = -3*m + y*n, -2*m = -3*m - 3*n + 11. Suppose -p = m*p. Which is smaller: p or 3/5?
p
Suppose 0 = 2*p - 3*k - 31, 3*p - 24 = -k - 5. Suppose 3*l - 2*l + 2 = 0, -5*t - p = 4*l. Is -2/89 smaller than t?
True
Let y = -113 + 170. Let b = y - 40. Let s = b - 17.12. Which is bigger: -1/4 or s?
s
Suppose 3*b = -4*c - 17, 0*c = 5*b + 5*c + 20. Let j be 1/(-5) - b/(-5). Suppose -t + j*t = 3. Which is smaller: -7/3 or t?
t
Let k = -10 + 11. Suppose 0*l - l + 3*o = 19, k = l + o. Let x = 5 + l. Which is bigger: 5/7 or x?
x
Suppose -i + 0*i = 0. Suppose 0*w - 3*w + 24 = 0. Let v be (w/(-36)*3)/(-7). Which is smaller: v or i?
i
Let m = -378 + 378. Is m bigger than 12/47?
False
Let y = -9.95 + 10. Let f = y - 2.05. Suppose c + 19 = -4*p, 2*p + 5 + 7 = 2*c. Which is bigger: c or f?
c
Let l(z) = -15*z + 509. Let o be l(21). Are 191 and o unequal?
True
Let k = -239 + 148. Is -90 less than or equal to k?
False
Let f = 16 + -13. Suppose y - 3*s + 2 = f*y, 3*s = -3*y. Let u = -2 + 3. Does y = u?
False
Let q = -264 - -264. Which is smaller: q or -5/17?
-5/17
Let f = -1 + 0. Let p = -133 + 136. Let m be (1 - (p + f))*-3. Which is bigger: m or 2?
m
Let d = 0.428 - 0.128. Which is smaller: d or 0.099?
0.099
Let u = 5/31 + -1192/279. Are u and -5 nonequal?
True
Suppose -z - m = 4*z + 30, 3*m - 43 = 4*z. Let w be ((-1)/z*-2)/2. Let r = -156 - -156. Which is smaller: w or r?
w
Let u be 3/(-54) + (-671)/396. Which is smaller: u or 2/141?
u
Let i(g) = -6*g - 1. Let f be i(-1). Let q be f - (-3)/2*-2. Let z be 2*(9/q)/3. Which is bigger: z or 2?
z
Let h = -71/27 - -3737/189. Which is bigger: h or 18?
18
Let f = 267 + -131. Suppose f - 28 = -6*y. Which is bigger: -19 or y?
y
Let k be 408/39 + 1 + (-1 - 5). Which is bigger: 4 or k?
k
Suppose 5*v - 15 = -5*r, -r + 0 = 5*v - 11. Let a be (r/4)/((-20)/32). Is -0.2 at least a?
True
Suppose 4*d = -0*d - 2*z - 242, 4*d + 241 = -z. Let m = -418/7 - d. Is 2 at least as big as m?
True
Let o = 6339 - 2072855/327. Let a = o + 367/6540. Is a at most as big as -1?
False
Let g = -544 + 545. Which is smaller: g or 2/247?
2/247
Suppose -4*n = f - 27, 6*f - 2*f - 3*n - 89 = 0. Suppose 4*j = 4*a - 58 - 30, 3*j + 5*a = -74. Let r = f + j. Do 5/7 and r have the same value?
False
Let j be 21/(3/6 + 141/(-120)). Is j < -30?
True
Let r be -115*(-4)/(-156) - -3. Let m(s) = s - 8. Let v be m(8). Let p = 1 + v. Which is bigger: r or p?
p
Let x(o) = o**2 - 10*o - 122. Let j be x(-13). Which is smaller: 178 or j?
j
Suppose 100 + 52 = -g. Let h = 148 + g. Let s(x) = x**3 - 4*x**2 - 6*x + 7. Let p b