r 2/135?
k
Let a(f) = -2*f**3 + 2*f**2 + 32*f - 13*f - 20*f. Let b be a(2). Which is bigger: -47/5 or b?
-47/5
Let h = -160.6 + 19.6. Let o = 143 + h. Which is greater: o or 1/9?
o
Let d(j) = 4*j**3 + 3*j**2 + 4*j + 1. Let m be d(-1). Let u be 2 + -1 + 1 + 2. Suppose -u = 4*t + 4. Which is smaller: t or m?
m
Let y be (-6)/(-8) + (-606)/744. Let k(f) = f - 2. Let o be k(1). Which is smaller: y or o?
o
Let i = -987.9 + -2.1. Is i >= -1/4?
False
Let h = 1020 - 19378/19. Let r(u) = -u**2 - 4*u - 2. Let w be r(-3). Which is smaller: w or h?
h
Let a be (-2)/12 - (-3 + 39/18). Which is bigger: a or 2/95?
a
Let k = 61 + -32. Let a = 25 - k. Let l be (a/5)/(6/15). Is -1 less than l?
False
Let b be (-1)/((-2)/(-36))*41/(-2). Which is greater: 1475/4 or b?
b
Let z = -55 + 32. Which is greater: z or 0.2?
0.2
Suppose -4 = 2*k - 2*j, 2*j = 2*k - 4*k + 16. Suppose -h = k*h. Let q = -256 - -1789/7. Which is smaller: h or q?
q
Suppose d + 6*d + 7 = 0. Let a be (0 - -2)*d/10. Let m = -0.8 - 2.2. Which is smaller: m or a?
m
Suppose -2*a - 4 = 0, -3*b = -5*a + 79 + 79. Let i = 7618 - 7673. Is i less than or equal to b?
False
Let k be ((10/25)/(-1))/(2/5). Let j(x) = -x**3 - 6*x**2 + 8*x - 2. Let r be j(-7). Let f(q) = -q**2 - 8*q + 13. Let i be f(r). Is k >= i?
False
Let h(z) = -31*z - 249. Let y be h(-15). Which is bigger: y or 214?
y
Let w = 31 - 387. Is w less than -355?
True
Suppose -4*i - 78 = -4*g - 2*i, 0 = 3*g + 4*i - 86. Suppose -2*j - 7 = -k - 9, 4*k - g = -2*j. Which is greater: 12/7 or j?
j
Suppose -1120 = -6*t - t. Are 161 and t unequal?
True
Let d = 0.67 + -0.721. Let k be (10 - 426/42)*7. Is d equal to k?
False
Let w(u) = u**3 - 34*u**2 - 2*u + 50. Let p be w(34). Is p greater than -31?
True
Let m(p) = -p**2 - 66*p - 832. Let r be m(-49). Which is smaller: 3/584 or r?
3/584
Suppose 2*g - 3*r = 16, -14 = -g - 2*r + 5*r. Suppose 0 = -3*q - 4*o + 4, -o = q - 0*q - 2. Let v be (-2 + 2)/(g - q). Does -1 = v?
False
Let a = -13.66 + 13.76. Which is bigger: a or -447?
a
Let g(n) = -20*n**2 + 4*n + 16. Let k be g(-3). Let z be (-2)/(-5) - k/10. Which is bigger: z or 20?
20
Let r = 21 + -9. Suppose -r = -v + 1. Which is smaller: 14 or v?
v
Let u(j) = j**2 - 11*j - 13. Let b be u(12). Which is greater: b or -4/1381?
-4/1381
Let r = -2/19 + 669/38. Suppose a = 3*g - 54, -7*g + 4*a = -12*g + 90. Which is greater: g or r?
g
Let t(i) = -i**3 - 4*i**2 + 4*i - 15. Let s be t(-5). Is 3 <= s?
False
Let y(f) = -33 + 12 - 3*f + 12 + 11. Let r be y(-2). Let m be (-880)/(-192) - (-6)/r. Are m and 4 equal?
False
Let w be (-2183)/2 + 12/8. Let i be (-4)/24 - w/(-84). Let p = -13 - i. Is 0 > p?
False
Let a(i) = i**2 + 4*i + 2. Let m be a(-3). Let k be (-2422)/(-12) - m/6. Let t = 3436/17 - k. Are t and -1 unequal?
True
Let x = 44 + -43.58. Which is smaller: x or 9?
x
Let s = 313 - 190. Let w = s - 124. Is 13 at least w?
True
Let q be 1736/24 + (-12)/36. Does 72 = q?
True
Let h = -0.11 - -0.1. Let u = h - 5.09. Let n = u - -5. Is 7 greater than or equal to n?
True
Let o be (-12)/(-16) - (-143)/396. Which is smaller: o or 3/5?
3/5
Let h = 2 - 3. Let q(z) = z**3 + 3*z**2 - z + 5. Let a be q(-4). Let w = a + 13/2. Which is smaller: w or h?
h
Let y = 10/33 + 4/11. Is 1.64 at most as big as y?
False
Let u = -0.716 - -0.616. Is u < 215?
True
Let g = -1876 + 1893. Which is bigger: g or 214/13?
g
Let h = -2069/8 - -250. Do -10 and h have the same value?
False
Suppose -119*z = -9*z - 87890. Which is bigger: 798 or z?
z
Suppose 12*j = -2*j. Which is smaller: j or 15/28?
j
Let m = -261 - -262. Is -6/103 greater than m?
False
Let i = 265.9 + -266.987. Let w = -0.087 - i. Do 18 and w have different values?
True
Let m be 2*2 + 228/(-19). Let q be (18/m)/(9/(-24)). Let x be 32/(-1144) - q/(-33). Which is greater: 0 or x?
x
Suppose -4*x + 4 = -2*x. Let s be x/6 + (-4)/15. Which is smaller: 0 or s?
0
Let s be ((-6)/(-2))/(2895/10). Let i = 372/1351 + s. Which is greater: 3 or i?
3
Let d = 26820894/5 - 295112831/55. Let u = -1509 - d. Which is greater: u or -1?
u
Let b be 1/6 - 85/(-30). Suppose 4*p - 3 = b*p + 2*o, -2 = o. Let l be (p + -7)*(-2 + 1). Which is smaller: 6 or l?
6
Let k(s) = s + 7. Let x(l) = 1. Let z(i) = -k(i) + 2*x(i). Let q be z(-5). Let p be -1 + q/(0 - -2). Which is bigger: -3 or p?
p
Let s = 3 + -23. Let a = 21.8 + s. Let z = a - 2.4. Which is bigger: 0 or z?
0
Let t be (-25694)/(-68432) - 13*15/520. Do t and 0 have the same value?
False
Let n be ((-4)/(-18))/(3/2). Suppose 12 = g + 3*w, -1 = -w + 3. Is n less than g?
False
Let y = 206.4 - 58.4. Is 0 < y?
True
Suppose -f + k = f - 6, -f - 2*k = -3. Let z(d) = -d**2 + 19*d + 203. Let m be z(26). Let q be (-12)/63 - f/m. Is q at least as big as 1?
False
Suppose 2*x - 2475 = 3*y + 319, -3*x + 4204 = 2*y. Let v be 12/10*x/(-21). Let d be (v/(-24))/((-1)/3). Which is bigger: -0.1 or d?
-0.1
Let i = 0.8 - 7.2. Is i less than 4/9?
True
Let h(j) = 5*j - 12. Let m be h(2). Let u = -19 + 32. Let p be 145/u - m/(-13). Which is greater: 10 or p?
p
Suppose 0 = 8*a - 4*a + 4, 2*w - 4*a - 220 = 0. Is 104 greater than or equal to w?
False
Suppose 44*d - 42*d - 168 = 0. Which is smaller: d or 82?
82
Let f = 20.6 - 22.1. Which is bigger: -0.1 or f?
-0.1
Let n be 4/(-8)*5/10. Which is greater: n or -149?
n
Suppose 54 = 9*g - 0. Let r be 95/75 + g/(-9). Do 1 and r have different values?
True
Suppose 0*y - 2*y + 53 = -5*v, 4*y - 5*v - 101 = 0. Suppose 0*u - y = -3*u. Let z be (-175)/(-28) - 2/u. Which is smaller: z or 5?
5
Let l = -7847/10 - -783. Let r = 131/10 + l. Which is smaller: r or 12?
r
Let w be ((-21)/35)/((726/20)/(-11)). Which is bigger: w or -1?
w
Let n = -79 - -78. Does -2/287 = n?
False
Suppose -2*s = 2*u - 12, 2*s + 22 = u + 7*s. Suppose 73 = -u*n - 7. Is -1/3 bigger than n?
True
Let w be (-2)/(-1) - 1 - -2. Suppose 33 - 49 = -4*r. Suppose -2*z + 6 = r*o, 4*z - w - 6 = -5*o. Which is smaller: -2/23 or z?
-2/23
Let s(p) = -p**2 + 3*p + 11. Let y be s(6). Let i be ((-3)/2)/(2/8). Let o = i - y. Is 7 != o?
True
Let v = 2/69639 + -3831281/39554952. Let x = v + -2/71. Let d = 1 + -2. Is x smaller than d?
False
Let a = 1954 + -29311/15. Suppose 2*g = 5*d + 22, -3*g + 4*d = -4 - 15. Are a and g equal?
False
Suppose 3*j + 652 = -68. Let a be 4/(-14) + j/(-56). Let s be (-5)/(15/a)*3. Which is smaller: s or -3?
s
Let p be 113*20/1135 + -2. Is p at least as big as 1/3?
False
Suppose -5*c = -2*x + 32, x = c - 2 + 15. Which is smaller: 9 or x?
9
Let l = 9 + 2. Suppose k + 27 - 8 = -4*x, 4*k - 14 = 2*x. Let v = l - k. Is 10 > v?
False
Let g be -11 - (7 - 18 - (-5 + -1)). Which is smaller: g or -2/51?
g
Let n be (1 - 15/5) + -193. Which is smaller: -196 or n?
-196
Let m(w) = w - 17. Let k be m(8). Let q = -9 - k. Suppose -x + q + 11 = 0. Is x < 12?
True
Let a = 1661 - 1660. Is 2/671 equal to a?
False
Let i = 400 + -401. Which is smaller: 3.5 or i?
i
Let s = -2.3 + -0.5. Let l = 1340/6057 - -2/2019. Is l greater than s?
True
Suppose r + 0*r = -5*x - 43, -5*r + 4*x = 70. Let j be 10/2*(48/r + 2). Suppose 0 = 2*m + 1 + 5. Which is bigger: m or j?
m
Suppose 0 = -y - 4 + 6. Suppose 0 = -y*j - 73 - 11. Is -40 < j?
False
Let s(y) = -y**3 + 8*y**2 - 6*y - 10. Let b be s(7). Let h be ((-12)/b)/4 + 1. Suppose w = h*w. Does w = -2/31?
False
Let o be ((-81)/1350)/(12/2). Let j = 17 - 16. Which is greater: j or o?
j
Let g = -93 + 94. Let r be (g/261)/(2/12). Which is bigger: r or 1?
1
Let j(i) = i**2 - 7*i - 97. Let g be j(14). Do 7/176 and g have the same value?
False
Suppose 5 - 11 = -2*z. Let c be ((-1)/z)/((-26)/78). Which is bigger: -10/21 or c?
c
Let u = -11 - -11.07. Let x = -0.15 - u. Let s = x - -0.22. Is s > 0?
False
Suppose -3*l = l. Suppose b - 38 - 38 = 0. Let p be b/(-510) - 2/17. Is p greater than l?
False
Let a = 199.2 - 182. Let j = 17 - a. Let w = 1.04 - 1. Which is smaller: w or j?
j
Suppose 48 = 25*a - 29*a. Let x(n) = -n**3 - 13*n**2 - 11*n + 14. Let w be x(a). Which is bigger: w or 0?
w
Let r = 5016 + -832653/166. Let t = 963/1826 + r. Which is greater: t or 0?
t
Suppose -27*t + 729 = 621. Let x = 4 + -8. Let m be 6/x*4/(-3). Is t greater than or equal to m?
True
Let y = -2/259 - -556/4921. Suppose r + 4 = 5*r. Is y smaller than r?
True
Suppose -3*v - 6*v + 639 = 0. Suppose 65*c - v*c - 6 = 0. Does c = -6/13?
False
Let c be 1