). Suppose a*s + 15 = 5*m, 3*s + 0*s + 3*m = 9. Let h = 662 - 3317/5. Which is smaller: s or h?
h
Let m = -1484 - -1483.9. Let l be (-190)/(-4) - 3/6. Which is bigger: l or m?
l
Suppose 10*l - 66 = -6. Which is bigger: -4 or l?
l
Let g be (15740/26)/(-1) - 0. Let a = g + 605. Which is smaller: -1 or a?
-1
Suppose -5*o + g - 10 = 0, -5*o - 2*g + 15 = 2*g. Let n be (-74 + 0)*(3 + -4)*o. Is -74 at least as big as n?
True
Let a = -1185 + 1179.51. Let w = a + 0.49. Let m = -1083/4 - -272. Are m and w equal?
False
Let n(j) = 4*j**2 + 4*j + 5. Let z be n(-5). Suppose -5*w = -5*t + z, 0 = 5*t + 6*w - w - 65. Let g = t + -14. Is g at most as big as -1?
False
Let m be -21*377/780 - (-10)/25. Let z(b) = -b**3 - 2*b**2 + 4*b - 2. Let y be z(2). Which is bigger: m or y?
m
Let a = 3/62 + -77/310. Is 1 at most as big as a?
False
Let g be (-22)/(-10) + 2*-1. Suppose -4*w - 5*w - 189 = 0. Let i be w/28 + (-2)/8. Which is smaller: i or g?
i
Suppose 2*y + 1399 = 1397. Let c = -10 + 17. Is c < y?
False
Let n = 74.874 - 75. Let v = n - 15.874. Is 3 less than v?
False
Let m be 948/(-5)*(75/(-6))/5. Is 473 at least m?
False
Suppose 0 = 40*f - 20*f. Suppose -4*o + 21 = 5*g - 27, -2*g = -o + 25. Suppose f = -4*x - 4*u - o + 5, 0 = -u + 1. Which is smaller: x or -0.1?
x
Let d be 3/(-9) + (-4)/(-6). Let f(s) = s**3 + 3*s**2 - 5*s - 2. Let t be f(-4). Let n be ((-7)/(-70))/(t/12). Which is bigger: n or d?
n
Let z be (-8)/14*(-2)/4. Suppose -5*s - v = -1, -3*s - 17 = 13*v - 8*v. Which is greater: z or s?
s
Let y = -21.1 + 30.2. Let u = 9 - y. Suppose 15 = 3*d - 6*d. Which is bigger: u or d?
u
Let u = -1.6 + -4.4. Let n = u - -6.1. Suppose -4*a + 91 = -5*o, 26*a - 27*a - o + 25 = 0. Is n != a?
True
Let v = 82/45 - 11/9. Let u = 0 - -44. Suppose 38*a = u*a - 6. Which is bigger: a or v?
a
Let w = 22.53 - 26.18. Which is bigger: 1 or w?
1
Let g(t) = t**2 - 10*t + 2. Let q be g(10). Suppose y - 15 = -q*y. Suppose 4 = 5*r + 3*u + 22, 0 = -r + y*u - 26. Is -6 < r?
False
Let x(i) = 45*i - 159. Let v be x(5). Which is smaller: 71 or v?
v
Let l be (3 - 6 - -2)/(34/30). Is -2 >= l?
False
Let q(g) = 5*g**3 - 4*g**3 + 132 - 3*g**2 + 0*g**3 - g - 11. Let b be q(0). Does b = 120?
False
Let c = 2362 - 2319. Which is smaller: c or 45?
c
Let c(l) = l**3 + 12*l**2 + 13*l + 21. Let t be c(-11). Let u be (-129)/333 - (-1)/3. Which is greater: u or t?
u
Let x = 445 - 430. Which is bigger: -2 or x?
x
Let n(v) = -v**2 - v + 1. Let y be n(1). Let h(a) = a**3 - 3*a**2 + 4*a - 3. Let p be h(1). Are p and y unequal?
False
Let h(d) = 2*d**2 - 2*d. Let n be h(2). Suppose 0 = n*u - 5*w, -4*w = 4*u + w. Which is greater: 4/9 or u?
4/9
Let f(q) = -q + 8. Let y be f(6). Let h be ((-44480)/28)/(-5)*1. Let b = -317 + h. Which is bigger: b or y?
y
Let x be -9*1/3*-1. Let r be (10/(-3))/(1/x). Let a be (-2)/(-15)*r/(-8). Which is smaller: a or 1?
a
Suppose 2*r - 205 = -77. Let o be r/208*(1 + 1). Let n = -9 - -11. Does o = n?
False
Let r(g) = -g**3 + 6*g**2 - g + 3. Let q be r(4). Let m = 32 - q. Which is greater: -1/13 or m?
m
Let p = -248 - -249. Is 0.1 at least as big as p?
False
Let g be (-3)/(1 + -2) + -3. Suppose j + 1 = 2*d, g = -3*j - 3*d - 0*d + 15. Let r be (-3)/(0 - 9/12). Which is smaller: r or j?
j
Let r = 0.691 + 0.109. Which is bigger: r or -18?
r
Let d(v) = -v**2 + v - 1. Suppose 0 = 3*g - 2*g. Let y be d(g). Does y = 3/13?
False
Let b = 632 - 628. Is b greater than or equal to 22?
False
Let f = 344 - 21677/63. Which is smaller: f or -1?
-1
Suppose -311 + 3569 = 9*w. Is w less than 721/2?
False
Suppose -7*i + 2*i = v + 21, 0 = 2*i - 2*v + 18. Let j be -1 + (-2 - i)/(-3). Let t be 1/(-4) + (-3)/36. Is j less than t?
True
Let r be 2 - 10*156/(-112). Let o = r - 7561/476. Let d = o - 151/340. Which is smaller: 3 or d?
d
Let i(x) = -x**3 - 5*x**2 - x - 4. Let r be i(-4). Let b = -11 - r. Suppose b*g = 2*g + 6. Is 3 >= g?
True
Let l be (1 + -2 - 1)*9/(-2). Let x = l - 30. Which is bigger: x or -19?
-19
Suppose -14 = -4*b - 2. Suppose 4*q + b = 31. Let u(z) = z**3 + 4*z**2 - z + 4. Let l be u(-4). Which is smaller: q or l?
q
Suppose 3*m + 34 + 17 = 0. Let i = m - -16. Is -1/29 equal to i?
False
Let g = 15 - 68. Let h be 7 + 17/(-2) + g/(-22). Is h smaller than 0?
False
Let o = 1234 + -1217. Which is bigger: 16 or o?
o
Let t = 148 - 138. Is t not equal to 37/4?
True
Let h(u) = u**2 + 16*u + 31. Let t be h(-13). Let y be (-4 + 88/20)/(t/(-35)). Which is greater: 2 or y?
2
Let s = 3.03 + 0.07. Let i = s + -2.1. Let y = -2/285 - -656/12255. Which is smaller: y or i?
y
Let u(b) = b**3 - 17*b**2 + 17*b - 23. Let o be u(16). Let t = 15 - 11. Let c be (-11)/t + (o - -10). Is -2 equal to c?
False
Let h = -65.2 - -65. Which is greater: 2/47 or h?
2/47
Let t be ((-2)/(-3) - (-220)/(-42)) + 5. Is -7/5 less than t?
True
Let g = 22 - 21.78. Let r = 30 + -7. Let q = -22 + r. Does g = q?
False
Suppose -3*x + 14 = -4*p + 5*p, -3*p + 28 = 2*x. Suppose 0 = -a - 2*l + 1 + p, 0 = -2*a + l - 2. Is -1/3 <= a?
True
Let i = 2.91 + -0.59. Let y = i - 2.5. Let b = 0.02 - y. Are 0.07 and b unequal?
True
Let n = -4556.09 - -4534. Let i = -22 - n. Is i <= -1?
False
Let g be 382/(-19) - ((-2112)/627)/32. Suppose -y = 2*y + 57. Which is bigger: g or y?
y
Suppose -5*x = 55 - 255. Is x smaller than 42?
True
Let y = -43 + 44. Suppose p - y = 2*p. Which is smaller: p or 1/18?
p
Let g be (2/(-6))/((-33)/(-81)). Is g at least -2?
True
Let h = 0 - -3. Let w(x) = -x**3 + 11*x**2 + 12*x + 3. Let o be w(12). Suppose 0 = -o*j - h*j - 30. Is -5 < j?
False
Let i be (-9 - -12)/((-3)/(-25)). Is i > 16?
True
Let h = -1145.5 + 1146. Is h greater than 8.7?
False
Let v = -1 - -4. Let p = 2 - 4. Let x = p + 1. Is x at least v?
False
Let o be -2 + -5 - 53290/(-7610). Is -1 less than or equal to o?
True
Let n = 18 + -17.9. Let y = 4981/6 + -832. Which is smaller: y or n?
y
Let g = -2294266/371 + 6184. Is g less than or equal to 0?
True
Let n(r) = 5*r. Let s be n(1). Let a = 7 - s. Is 3 > a?
True
Let m = 24 + -87/4. Let y(k) = -k**2 + 6*k - 2. Let b be y(5). Which is bigger: b or m?
b
Let t be -6 - (-6 + 10/85). Are 30 and t equal?
False
Let n = -46/7 - -375/56. Let t = -5/24 - n. Which is smaller: t or 7?
t
Let i be 2/9 - 52/72. Let t(c) = 5*c - 12. Let l be t(4). Let h be -2*(-12)/l + -4. Do i and h have different values?
True
Let r = 14 + -13. Let w be (2/4)/(r/44) + -4. Is 17 <= w?
True
Let h be (9/(-12))/((-63)/(-2916)). Let c = h + 69/2. Which is smaller: c or 0?
c
Let u be 0 - (10 - 1) - -1. Let f = u + 10. Suppose -6 = -f*l - 0*l, -4*w = 5*l - 11. Which is bigger: 2/7 or w?
2/7
Let d be 2/12 - (1 + 0). Let l(n) = -n**2 - n + 4. Let f be l(-3). Which is smaller: d or f?
f
Let p be (-114)/190*(-4)/366. Is 1 at least p?
True
Let y = 857 + -856. Which is smaller: 2/1269 or y?
2/1269
Let p = -208.5 - -206.5. Let z = 22 - 6. Is p smaller than z?
True
Let d = 282 + -573. Let h = d - -1155/4. Which is bigger: -3 or h?
h
Let y(l) = l**3 + l**2 + 2. Let c be y(0). Suppose 6 = -i - 3*g, c*g = 2*i - 3*i - 3. Which is greater: i or 6?
6
Let v(b) = 2*b**2 - 5*b - 1. Let a be v(5). Let p = 258.72 + -257.72. Which is smaller: p or a?
p
Let r = 28.9 + -17.1. Is 0.1 at least as big as r?
False
Let v be 4/(-8) + (-15)/(-6). Which is smaller: v or 0.028?
0.028
Let s = 492.9 - 493. Let m = 11188/135 - 746/9. Which is smaller: s or m?
s
Suppose 0 = -4*i - 5*q - 260, 0 = 2*i - 8*q + 5*q + 130. Is i at least -328/5?
True
Let s = -404 - -403.9. Let b = -8 - -6. Is s less than b?
False
Suppose -5*a + 690 = -w - 109, 0 = -a + w + 163. Suppose a = q + 2*q. Which is smaller: 54 or q?
q
Let k = 68 - 52. Let r = 31 + -47. Let u = r + k. Which is bigger: u or 18?
18
Let m = 56 - 10. Suppose -9 = -4*g + 4*y - 93, 2*g + 2*y + m = 0. Let k = -22 - g. Are 0 and k unequal?
False
Suppose 22*r - 185 = 18*r - 5*m, 2*r = -4*m + 100. Are r and -7 nonequal?
True
Let s(j) = 2*j**3 - 2*j**2 + 2*j + 4. Let t be s(2). Suppose 15*b - t*b = -33. Which is bigger: b or 34?
34
Let f(u) = -3*u + 4. Let r(o) = -o**3 - o**2 + o. Let i be r(-2). Let x = i + 1. Let y be f(x). Is -4 at most y?
False
Suppose -48 = -2*n - 4*n. Let v(m) = 6*m - 39. Let b be v(n). Are b and 10 equal?
False
Let q = -254 - -303. Which is greater: 53 or q?
53
Let a = -103.9 + 79.9. Are -2 and a nonequal?
True
Let f = 18 