t z(j) = 16*j + 11. Let u be z(-2). Let w be -4 + u/(-5) + -1. Which is bigger: w or -2?
w
Let k be (-9)/(-90)*20*366/4. Which is smaller: k or 181?
181
Let s(p) = 14*p. Let a be s(1). Suppose -i + 5*g + 33 = -3, -3*i + 3*g + 60 = 0. Suppose 14 = -i*q + 17*q. Are a and q unequal?
False
Let f = -81 - -82. Let w be f + (-227)/(-4) + 6/(-8). Is 57 smaller than w?
False
Let m = 7 + -5. Suppose -m*g + 3*j = 3, 2*j + 2 = 4. Let y be -3 - (g - (-51)/(-15)). Do 0.1 and y have the same value?
False
Let x = 1831 - 1843.11. Let r = x + 12. Let g = -0.11 - r. Is g less than 9?
True
Let v = 631 - 631. Are v and -0.063 equal?
False
Let b = 31.8 - 5.8. Let r = 65 - b. Let y = r + -38.64. Is 2/3 greater than y?
True
Let r(b) = -7*b**3 + 9*b**2 + 2*b - 13. Let d(c) = 6*c**3 - 9*c**2 - c + 14. Let m(x) = -6*d(x) - 5*r(x). Let w be m(8). Which is bigger: 12 or w?
w
Let z = -34 + 56. Let o = z - 23. Which is smaller: o or -2/3?
o
Let v = 62 + -104. Let k = -45 - v. Let m = 74/5 - 15. Which is bigger: k or m?
m
Let b be 0/2 + 7/28. Let l = 0.01 - 7.01. Let q = 11 + l. Which is greater: b or q?
q
Let q(m) = 7*m**2 - 225*m + 36. Let i be q(32). Let f be 2 - (-2 + (-19)/(-5)). Is f less than i?
True
Suppose -h + 17 = w + 13, 4*w - 11 = h. Let f be (-1 + 2)/((-2)/(-728)). Let o = f - 5099/14. Which is smaller: h or o?
o
Let j = -3.9 - -1.7. Let s = j - -2.13. Which is bigger: s or -0.2?
s
Let f be 2 + (9 - 15) + -26. Which is smaller: f or -340/11?
-340/11
Let c = 884 - 884.2. Which is greater: c or 53/6?
53/6
Let z(f) = -f**3 - 12*f**2 - 12*f + 8. Let u be z(-11). Is 12 > u?
False
Let c(v) = -18*v. Let b be c(-2). Let j be 109/6 - 6/b. Let d = -46 - -65. Is j at least d?
False
Let l = 4193225/7 - 598022. Let h = 1012 - l. Is h >= 2?
False
Suppose 6 = -5*s + 11*s. Is s >= 1/9?
True
Let i = -126 + 107. Is -22 equal to i?
False
Let a = -28 + 30. Suppose a*u + 3 = j, -u - 3 = -0*j - j. Which is bigger: 10/7 or u?
10/7
Suppose 0 = 12*n - 13*n + 3*j + 1, -4*n = 2*j - 46. Which is smaller: n or 66?
n
Let l = 3885/29 + -135. Let p = 237/145 + l. Which is greater: 0 or p?
p
Let c = -0.1 - -0.44. Let s = -9.14 + 9. Let l = c + s. Which is smaller: 0.1 or l?
0.1
Let u = -0.37 + 0.17. Let d = 10 + -10.07. Let q = -0.37 - d. Which is smaller: u or q?
q
Let a = 166/165 - 14/11. Is a at most as big as 1?
True
Let y be (-2908)/(-28)*3 + (-16)/28. Is y <= 313?
True
Suppose 5*s - d = -14, 0 = d - 6 + 2. Let h(n) = n**2. Let f be h(-1). Is f > s?
True
Suppose 3*y = 7*y + 100. Let i be (-1)/5 + (-15)/y. Suppose 3*h + 18 = 2*m - 7*m, -5*h - 2*m = 11. Which is smaller: h or i?
h
Let t = -0.1 + -1.3. Let y = 0.1923 - -0.0077. Let s = t + y. Which is smaller: 0 or s?
s
Let q be (-2 - 0)/((-60)/(-420)). Which is smaller: q or 6?
q
Let g = 15.1 + -1.1. Let l = g - 11.8. Is 0 bigger than l?
False
Let k be 9 + (-7 - (-7 + -4 + 9)). Which is smaller: 1 or k?
1
Let y = -0.048 + 12.448. Let u = -13 + y. Which is bigger: -0.3 or u?
-0.3
Suppose 9*n - 7 = 2. Suppose 0 = 3*q - 10 + n, d - 5*q = -9. Is 1 greater than d?
False
Let g = 11 - 10.2. Let w(l) = l**2 + 7*l - 6. Let n be w(-6). Let j be (-8)/n + (-32)/30. Is j smaller than g?
True
Suppose -4*j + 4215 = -5*n, j - 3372 = 4*n - 2*j. Let i = -19395/23 - n. Which is smaller: i or 1?
i
Suppose -n - 60*n = -25925. Is n != 425?
False
Let j = -348514/179 + 1947. Is -1 less than or equal to j?
True
Let i be (5/(-10))/((-3)/(-144)). Let a be 3/7*(-798)/i + -3. Is a equal to 11?
False
Let z = -36 + 37. Let l be (-8)/(-12)*z + (-1)/(-3). Let n be 2/(144/(-15))*-4. Is l at most as big as n?
False
Suppose 0 = 9*k - 8*k - 2*h + 8, -5*k + 2 = 4*h. Which is smaller: k or -14?
-14
Let c = -98 + 131. Which is bigger: c or 34?
34
Let h be -3 - 14/(-10) - (-9)/15. Let t(a) = a + 1. Let o(x) = -x**2 + x. Let m be o(1). Let b be t(m). Is b < h?
False
Let p(d) = d**3 + 10*d**2 + 10*d + 13. Let o be p(-9). Suppose 0 = 124*b - 123*b + 3. Which is bigger: o or b?
o
Let f = 0.13 + -0.191. Let k = f - -0.161. Which is smaller: k or -84?
-84
Let g be ((84/(-343))/(-12))/(4/(-6)). Is g < -4?
False
Let z = 268396/133 - 2018. Which is smaller: 0.3 or z?
z
Let t(o) = o**3 - 1. Let i be t(0). Let u(y) = 45*y - 56 - 18*y - 15*y - 15*y. Let p be u(-17). Which is smaller: i or p?
p
Suppose -6*a = -9*a + z - 3, -4 = 4*a - 4*z. Which is smaller: a or 205?
a
Let w(q) = -2*q - 3. Let x be -3 - (-2 - 12/(-4)). Let t be w(x). Which is bigger: t or 6?
6
Suppose 0*n = n + 7. Let r = n - -13. Let c = 215/2 - 102. Which is smaller: c or r?
c
Let t = -2 + 7. Let x = 4 - t. Let r be (-1 + -10)*1/x. Which is smaller: 12 or r?
r
Let n be 10/(-65) + 15/13. Let j be ((-18)/(-15))/((-612)/(-160) + -3). Which is bigger: j or n?
j
Suppose 4*b - 20 - 36 = 0. Suppose -176 = 9*f - b. Is f greater than -18?
False
Let n = -30515713/21701505 + 332/35287. Let x = -2/615 + n. Let w be (2 + 0 + -2)/(-2). Which is bigger: w or x?
w
Let x be ((6/4)/((-2)/52))/1. Let a = x + 38. Which is greater: -1/7 or a?
-1/7
Suppose -4*a - 9 = -3*z - 2*a, z - 4 = a. Let s(i) = i**3 + 2*i**2 + i + 1. Let l be s(-1). Let o be 154/(-42) - l/3 - -4. Is z bigger than o?
True
Let g = -114 + 150. Let b be (-2*(-114)/16)/(90/240). Which is bigger: g or b?
b
Let r be (62*(-9)/30)/(1/5). Are -94 and r unequal?
True
Let z = -8 - -3. Let d be (-2)/(-3) + z/(-15). Let l be (-3)/(-24) + (-20)/(-96). Which is greater: d or l?
d
Suppose 0 = -17*l - 16*l + 165. Which is greater: 58/11 or l?
58/11
Let f(w) = 2*w**3 - 23*w**2 + 88*w + 1. Let o be f(8). Which is smaller: 256 or o?
256
Let t(s) = -s**3 - 9*s**2 - 7*s - 16. Let r be t(-7). Let f be r/7 + 1 + 8/28. Is f greater than -6?
False
Let p = -276 + 277. Is p < 15.3?
True
Suppose -8 = 3*t - 5. Let i = t + 3. Let m = -253 + 2777/11. Which is greater: i or m?
i
Suppose -5*k - 226 = -4*c, -c + 3*k = -k - 62. Suppose 8*f + c = 11*f. Let o be ((-15)/f + 1)/1. Which is greater: o or 1?
1
Let t = 3368974/861513 + -4402/1361. Let f = t + -2/211. Suppose 40*w = 130*w - 45*w - 39*w. Is w bigger than f?
False
Let x(r) = r**2 - 6*r + 5. Let p be 3/4 + 26/8. Let w be x(p). Let b be 2/(((-12)/14)/w). Does b = 8?
False
Suppose -y + 2 = -0*y. Suppose 5*f - u = -0*u + 62, -y*f + 2*u = -28. Suppose l + 3*l = -f. Which is greater: -2 or l?
-2
Suppose -3*z - 3*g - 20 = -g, -4*g = 3*z + 22. Let c = -3974/3 + 43552/33. Is c >= z?
True
Let b be (-6)/30 - ((-903)/405)/(-7). Which is bigger: b or -2/5?
-2/5
Let h be (1/(-3))/(9/(-108)). Let r = 18 - 13. Which is smaller: r or h?
h
Let a be 22/(-77) - (15/10)/(147/854). Let x(u) = 11*u - 9. Let k(p) = 5*p - 4. Let n(j) = -7*k(j) + 3*x(j). Let i be n(4). Which is smaller: i or a?
a
Suppose -4*f - 253 = -3*a, -3*f + a + 4*a = 198. Which is bigger: f or -62?
f
Let i be (-1340224)/2310672 - (-2)/6. Let l = i + 67/273. Let q = 6326/17457 - l. Is q less than or equal to -1?
False
Suppose -4*t + 2*u = 50, -4*t - 20 = -5*u + 21. Let w be t + 3 - (3 - 5). Let m = w - -15. Which is greater: m or 5?
m
Let h be (-13)/18 + 3/6. Let p = -2/17 - 13/34. Which is smaller: h or p?
p
Suppose c + 3*c = 0. Suppose c = -b - b + 8. Let y = 4.61 - 2.61. Is y less than or equal to b?
True
Let j = -783152/12681 - 28/1409. Are j and -61 nonequal?
True
Let u be 1 + 0 - (-2 - -3). Suppose -5*s + 24 = 4. Suppose u*z + s*z = 12. Which is greater: -2 or z?
z
Let w be 118/(-336) - (-1 + 1). Let h = -1/56 - w. Let u = -75 + 75.03. Which is smaller: u or h?
u
Let j be 1 - (-3)/(-4) - 760625/500. Which is smaller: j or -1520?
j
Suppose 50*p = 48*p + 4. Suppose -2*w + p = -0. Let y = 3479/19 - 183. Is w equal to y?
False
Let a be 2 + (-5)/(5/(-27)). Does a = 212/7?
False
Suppose -2*c + 2 = -0, m + 4*c = 4. Suppose m = -9*r + 7*r - 2. Which is bigger: r or -5/4?
r
Let x = 0.601 - 0.528. Are 4 and x equal?
False
Let x be (78/3)/(((-28)/12)/(-7)). Which is smaller: x or 79?
x
Let x = -44 + 23. Let g = x + 20.92. Which is bigger: g or -2?
g
Let q = 1.93 + -1.95. Which is bigger: q or -4?
q
Let h = 7 + -7. Let b be 333/12 + 2/8. Let u be (7/b)/(7/12). Is h > u?
False
Suppose -5*a + 15 = 0, -4*y + 426*a = 424*a + 10. Suppose 4*c - 434 = 274. Let m = -3008/17 + c. Is y at most as big as m?
True
Let l(n) = -n**2 + n + 1. Let f be l(-4). Let o = -8 + 11. Let s be (80/12)/(o/(-9)). Are f and s equal?
Fals