
Let v be 8/5*210/4. Let u = -250/3 + v. Which is smaller: u or 10/9?
u
Let w be 12/21 + 0 - (-130)/(-105). Let a = 1.2 + -1.4. Let z = a - -0.24. Are z and w non-equal?
True
Let i = -25 + 32. Let u = i + -6. Which is smaller: -1/33 or u?
-1/33
Let r = 60/11 + -278/55. Let j = -0.1 - -0.3. Let g = j + 2.8. Which is smaller: r or g?
r
Suppose 10 = -2*r, 5*r - 6 - 9 = -o. Let d be (-176)/o - 4/(-10). Which is greater: 2 or d?
2
Let m(l) = l - 4. Let o be m(8). Suppose j + 91 = n - 5*n, n + 4*j + o = 0. Suppose -2 - 148 = 6*x. Which is bigger: x or n?
n
Let f = -196.1 - -88.2. Let o = -118 - f. Let g = o + 10. Which is bigger: -5 or g?
g
Suppose 114 = -l + 7*l. Let o = -16 + l. Let h(j) = -2*j + 8. Let t be h(o). Which is greater: -2/9 or t?
t
Let u = 0.02 + 0.28. Let w(r) = -r**3 + 23*r**2 + 55*r - 123. Let o be w(25). Which is bigger: u or o?
o
Let l(d) = 9*d**3 + 2*d**2 - 11*d + 15. Let p(v) = -5*v**3 - v**2 + 6*v - 8. Let j(m) = -6*l(m) - 11*p(m). Let o be j(2). Suppose -o = g - 10. Is 10 <= g?
False
Let b = 0 - 0. Let p = 20847 + -20847. Is b bigger than p?
False
Let w(y) be the second derivative of y**4/12 - 7*y**3/6 - 9*y**2/2 - 161*y. Let k = 1 + 7. Let a be w(k). Which is bigger: a or -3/16?
-3/16
Suppose 5 = -82*v + 83*v. Which is bigger: 241 or v?
241
Let c = -10 + 10. Suppose -5*l - 57 + 2 = c. Let m = -12 - l. Is m smaller than -1/2?
True
Suppose 28 = 10*w - 6*w. Suppose n + 9 - w = 0. Let m be n/4 + (-3)/(-4). Do -4/15 and m have the same value?
False
Let i be (155*(-30)/50)/((-6)/4). Is i less than or equal to 36?
False
Let s be 2 + (-4 + -103 - -3). Let l be (4 - 1)/(9/s). Let z = l - -38. Which is bigger: z or 3?
z
Let q be 3/(-21) + (6 - 22968/42). Is -541 less than q?
False
Suppose 2914*a = 2898*a. Let p be -3 + 2 - 11/(-13). Which is smaller: p or a?
p
Let y be (3*(-8)/(-6))/2 + 4. Suppose a + y = -5. Which is smaller: a or -12?
-12
Let k be -2 - 40/(-5) - 1475/246. Which is smaller: -1 or k?
-1
Let a be 12/(-9)*-9*1990/60. Is 397 not equal to a?
True
Let x be ((-34)/(-119))/((-2)/7). Is 6.83 less than x?
False
Let g(p) = -p**2 + 15*p + 36. Let o be g(16). Let y be (o/2)/(-1 - (1 + -3)). Are -1 and y non-equal?
True
Let q be (-69)/(-23)*(-1)/(-3). Which is smaller: 1/94 or q?
1/94
Suppose -n + 192 = 2*n. Suppose 3*c = -2*x - 3*x - 59, -4*c - 3*x - n = 0. Which is greater: c or -12?
-12
Let k be (-16488)/(-576) + (-2)/(32/(-6)). Is 22 >= k?
False
Let h be ((-1800)/(-130) - 14) + 1 + -1. Let c = 6 - 9. Is h greater than c?
True
Let h = 30.5 + -30.4. Is h equal to -2/249?
False
Let j = -20.36 + 20.5. Let q be ((-1)/(-2))/((-15)/(-10)). Which is bigger: q or j?
q
Let j(t) = -t + 2. Let d be j(3). Let x be (48/(-612))/((-3)/(54/(-4))). Is d != x?
True
Suppose 2*q + 2 - 8 = 0. Suppose -5*j + 10*j + q*f = 9, 12 = -3*j + 4*f. Suppose j = -5*p - 0*p. Is p at least as big as -2/71?
True
Let o = -330 - -330.2. Let m = 2 + -8. Which is bigger: m or o?
o
Let g be 0/2 - 4/110. Let r(c) = -c**2 - 7*c - 9. Let u be r(8). Let o = 129 + u. Is o < g?
False
Let n = -33 + 29.6. Let u = n - -3.5. Which is greater: u or 0?
u
Let n = -10 + 21. Suppose 5*z + n = -5*x + x, 4*x - 7 = z. Is x at most as big as -3/14?
False
Let y(b) = 7*b**2 - 2*b. Let j be y(2). Suppose 6*a = 5*a + j. Let u be 3 - (a/9 - -1). Are -0.6 and u equal?
False
Let s = 2585 + -118903/46. Is s <= -1?
False
Let g = 8 + -9. Let j = 236/35 - 50/7. Which is bigger: j or g?
j
Let l = -6/13 + 44/39. Let g = -3.633 - 2.367. Does g = l?
False
Suppose -2*j - 11 = -w, j + 13 = 5*w - 3*w. Suppose w*i + 6 = 2*i. Let o be 4/(-1) - 6/i. Are -1/6 and o unequal?
True
Suppose -5*z + 4 = -6. Let k be (-1 - -1)/(-4 - (28 - 34)). Which is greater: k or z?
z
Let h be 84/3 - (0 + 1). Let r = 0.822 + 0.178. Which is bigger: h or r?
h
Let s = 1/185 + -192/1295. Which is greater: 3 or s?
3
Suppose -3*t - 48 = -9*t. Suppose 2*u - t*u = 6. Are 2/127 and u non-equal?
True
Let h(y) = -y**3 + 22*y**2 - 73*y - 94. Let g be h(18). Is g at least as big as -112?
True
Let t be 4 - -17 - (-2)/1. Let g(c) = c**3 - 16*c**2 - 11*c - 78. Let u be g(17). Which is smaller: t or u?
t
Let h(c) = 10*c**2 - 2*c. Let s be h(-2). Suppose -3*p - b - 3*b + s = 0, -2*p + 31 = 3*b. Which is smaller: p or 9?
p
Let i(j) = 2*j**2 + 16*j + 24. Let c(t) = t**2 + 8*t + 12. Let m(u) = -7*c(u) + 3*i(u). Let a be m(-6). Which is greater: a or -3/25?
a
Let n(d) = d**3 - 9*d**2 + 9*d. Let j be n(8). Suppose -2*l + 14 = x, -5*l = 3*x - 4 - 29. Which is smaller: j or l?
j
Let u = -1.95 + 17.25. Let x = u + -13. Let z = 7.7 + x. Are z and 1 non-equal?
True
Let g = 6 - 2. Suppose -2*p - 14 = 4*c, -g*p - p = -4*c - 7. Does -1 = p?
True
Suppose 3*q = -129*z + 133*z + 7, 0 = 3*z + 2*q - 16. Which is smaller: -23 or z?
-23
Let o(d) = d**3 + 5*d**2 + 3*d + 4. Let j(t) = -t**2 + 6*t + 4. Let l be j(7). Let p be o(l). Is p less than or equal to 14?
True
Let z = 2553 - 3370. Which is smaller: -818 or z?
-818
Let a = 6 + 3. Let n = a + -12. Let q be n + (-72)/(-14) - 3. Is -2 >= q?
False
Let r be 6/12*1 - (-78)/20. Which is smaller: 1 or r?
1
Let s be ((-56)/(-6))/7*(-2)/(-264). Which is bigger: s or -1?
s
Let r be ((-12)/(-4) + -3)*-1. Let w = -11.93 + -0.07. Let i = w - -12. Is i smaller than r?
False
Suppose 3*x + 22 = -26. Let c be x/66*(-3)/(-4). Let v(o) = o**2 + o. Let g be v(-1). Do g and c have the same value?
False
Let r = 173 - 130. Which is bigger: 46 or r?
46
Let n be (-14 + (-1720)/(-124))*(-2)/8. Which is smaller: n or 0?
0
Let j = 88.8 - 2.8. Which is smaller: j or 2?
2
Let h = -31 - -33. Let i = 4 - 6. Let l = i + h. Which is smaller: l or 6?
l
Suppose m - 3*c - 18 = 2*c, -3*c = 3*m. Suppose 3*z = -z + 3*o - 34, 2*z + m*o + 8 = 0. Suppose -3*u = 31*u + 238. Is z less than or equal to u?
True
Suppose 21*s - 24*s + 18 = 0. Let a(i) = 2*i - 9. Let k be a(s). Which is smaller: k or -2?
-2
Let s = -254 - -253.9. Is -11 smaller than s?
True
Let m = 1298/91 - 113/13. Suppose -u + 5*k + 12 = -0, u - 3 = -4*k. Is u greater than or equal to m?
True
Suppose -20 = -4*z - 4, 4*l - 88 = -2*z. Let g be (-1)/4 - 5/(l/(-3)). Which is smaller: g or 8/13?
g
Let q = 385 - 1267/3. Which is smaller: q or -37?
q
Suppose -4*d + 37 = -23. Suppose -d = 4*r - r. Is 1 equal to r?
False
Let p = -197 - -202.3. Is 2/3 smaller than p?
True
Suppose 4*b - 4 = -0. Let w be -2*(12/(-66) + (-102)/44). Is b less than w?
True
Let o = 7/430 - -3467/51170. Let l = o + -571/119. Which is smaller: 1 or l?
l
Let o(a) = -7*a**2 + 18*a - 28. Let n be o(5). Is n greater than or equal to -115?
True
Let r = -4 + 17. Let a be 14/91 - (-232)/r. Is a smaller than 19?
True
Suppose 4*x - l + 8 + 6 = 0, 10 = -2*x + 2*l. Let v be 0 - (-2 - (-33)/(-3)). Let h = x + v. Which is greater: 8 or h?
h
Let y = 1663 + -1816. Is -0.2 at least as big as y?
True
Suppose 2*r + 39 = s + r, -3*r + 59 = s. Suppose -w = w - s. Let o = 21 - w. Which is bigger: o or -1/5?
-1/5
Let t = 43 - 33. Suppose -9*h = -t - 8. Let x(p) = p**2 - 4*p + 3. Let u be x(2). Is u smaller than h?
True
Let k be (-3744)/(-654) + 3 + (-12 - -3). Is k equal to -1?
False
Suppose -5*x - 10 = 0, 0 = -3*k - 2*k - 5*x - 745. Which is greater: -145 or k?
-145
Let j = -103/12 + -241/60. Which is smaller: j or -13?
-13
Let r be (-9 - (4 + -1521)) + 5 + 0. Which is greater: 1514 or r?
1514
Let p be (-176)/(-440) + (-724)/10. Is p bigger than -71?
False
Let u(p) = 2*p**3 + 2*p**2 - p. Let g be u(1). Suppose -g*r = r - 20. Suppose 0 = 5*d + 25, -2*i + 29 = -0*i - r*d. Are i and 0 non-equal?
True
Let l be (-4)/(-24) - (-4)/(-6). Let x = 3 + 2. Let y = 4.9 - x. Is l at most as big as y?
True
Let r be (3/3)/((1/1)/(-163)). Which is smaller: r or -164?
-164
Suppose d - 18 = -17. Let k be d + -9 + -1 + 4. Suppose 13 = -5*x - 17. Which is greater: x or k?
k
Let l = 10 - 14. Let a be 10/12 + l/12. Let d = 239.19 + -239. Which is smaller: d or a?
d
Let z = 7129/500 - 57/4. Is -0.2 bigger than z?
False
Let j(v) = v**3 - 10*v**2 + 11*v + 10. Let h be j(7). Which is smaller: -59 or h?
h
Let z be (-1)/(1 - 3/(-3))*0. Let l be z + (2 - 3) + 1. Let q be -3 + -3 + 6 + -1. Which is bigger: q or l?
l
Let b(f) = -f**3 - 7*f**2 + f + 1. Let p be b(-7). Let z(r) = 2*r**3 - 17*r**2 - 56*r + 15. Let k be z(11). Is k >= p?
True
Let a(m) = m**3 - 6*m**2 + 3*m + 1