+ 0*m**3 + 1 + 7*m - 2*m. Let o be i(-1). Let h = -241 - -4821/20. Which is bigger: o or h?
o
Let j(q) = 5*q**2 + 22*q - 14. Let h be j(-5). Which is greater: -4/195 or h?
h
Let l = 10285/16 - 643. Which is smaller: l or 1?
l
Let l = 7 + -2. Let d = l + -4. Let p = -581/3 + 195. Are d and p equal?
False
Let d(i) = -2*i**2 - 17*i - 4. Let j = -137 + 130. Let s be d(j). Is s greater than 18?
False
Let x = 11.3 - 11.4. Let m = 1 + 2. Let v = m + -12. Which is smaller: x or v?
v
Let a be 2/6*(-1035)/(-12). Let k = 1305/44 - a. Which is smaller: k or 1/4?
1/4
Suppose m + 24 - 25 = 0. Is 1/119 equal to m?
False
Suppose 5*q - 4*k = 1417, -3*k - 30 = -2*q + 541. Is 281 < q?
False
Let l be ((-34)/(-10) + 1 + -3)*5. Which is smaller: l or 15?
l
Suppose 0 = -a - 3*x - 8, -3*a - 14 = 6*x - 2*x. Let g be ((-5)/((-15)/(-6)))/a. Let k = -9 - -12. Is k at most as big as g?
False
Let n be ((-24)/(-18))/(3/9) - 2. Let d = -13 - -28. Suppose n*v - 7*v + d = 0. Which is smaller: v or 0?
0
Let v be 1/((1 + 3)/16). Suppose 2*z = v*z. Which is bigger: -4/9 or z?
z
Let s(w) be the first derivative of -w**2/2 - 9*w + 2. Let j(l) = 6*l + 45. Let u(f) = -2*j(f) - 11*s(f). Let o be u(13). Is o bigger than -4?
False
Let g = -11 + 3. Let p = -0.22 - 1.78. Let b = p + 3. Is g smaller than b?
True
Let n(d) = d - 31. Let g be n(7). Which is smaller: -22 or g?
g
Suppose 88 = -13*d + 556. Which is greater: d or 2?
d
Let o be -8 + (-1 + 3)/1. Let c be -2 - 21/o*2. Suppose 0 = -c*d - 5*v + 2*v - 25, -2*d = 2*v + 14. Is -4 at least as big as d?
False
Let b = 108023/7 + -15381. Which is smaller: b or 50?
50
Let d(t) be the third derivative of 0 - 12*t**2 + 5/6*t**3 + 3/8*t**4 + 0*t. Let r be d(-4). Which is smaller: r or -32?
-32
Let s be (2 + -3)/((-326)/(-162) + -2). Which is smaller: s or -93?
-93
Let j(r) = 6*r**3 - 18*r**2 + 16*r - 15. Let p(q) = -7*q**3 + 19*q**2 - 16*q + 14. Let g(k) = 6*j(k) + 5*p(k). Let d be g(12). Which is bigger: d or 29?
29
Let u be (-16)/(-3) + (-3)/((-9)/2). Is u >= 5?
True
Let q be (6/2 - 2) + -1. Suppose -n + 4*n = -3*c + 6, n + 2*c = q. Suppose 33 = -z + n*z. Which is bigger: z or 12?
12
Suppose l - 4 + 3 = 0. Let s = -54 - -26. Let p be (-12)/s*(-2)/3. Are l and p nonequal?
True
Let j = -2525 - -613577/243. Is j at most as big as -1?
False
Suppose 4*k + 2 = -2. Let t be (((-16)/6)/4)/(5/15). Is k >= t?
True
Let a = 131 - 143.6. Let c = 260 - 272. Let r = c - a. Which is greater: -1 or r?
r
Suppose 1748 = -19*t - 4123. Do t and 1/3 have the same value?
False
Let c = -0.08 + -59.92. Let u = c - -60.4. Is u less than or equal to -1?
False
Let b(p) = -46*p - 4. Let g be b(3). Is g bigger than -143?
True
Let s = -394 - -499.1. Let u = s - 105. Do 47 and u have the same value?
False
Suppose 192809 = -32*h - 69*h. Which is smaller: h or -1910?
-1910
Suppose -2*m - 4*h + 8 = 0, 2*m - 4*m + 8 = -2*h. Suppose -4*q + 152 = -4. Suppose -3*t + 6*t - q = m*l, -19 = 2*l - t. Is -9 < l?
False
Let j = -762 - -829. Is 65 at most j?
True
Let v be (2/(-4))/((-90259)/212). Is v >= 0?
True
Let o be ((-4)/(-6))/(-3*3/(-81)). Suppose -12 - 2 = 2*q. Let j = o + q. Are -1 and j equal?
True
Let k = -1.51 + 1.6. Let r = 9 - 8.81. Let w = k - r. Which is smaller: -1.7 or w?
-1.7
Let y = 1492/13 - 20269/104. Let t = -63523/792 - y. Let m = -181/198 - t. Is 0.1 > m?
True
Let t be (-1)/3*624/400. Which is smaller: 1 or t?
t
Let o be 1/3 + (-23)/(-3). Let k be (-2)/(-10) - (-11)/(-5). Let f be 10 + -12 - o/k. Is 0 equal to f?
False
Suppose -2*p = 7*d - 3*d + 156, -2*d - 54 = -5*p. Is -38 at most as big as d?
True
Let n = 92.8 - 94.4. Let h = 0.2 - 0.1. Which is bigger: n or h?
h
Let a = -4093/27398 - -15/103. Let i = 125/2128 - a. Is -1 < i?
True
Let u be (-5)/10*16/36. Suppose 0*c + 5*c = -2*q, q + 5*c - 5 = 0. Is u less than or equal to q?
False
Let d = -8 - 3. Let t(n) = n**2 + 11*n + 2. Let g be t(d). Suppose g*y + 0*i + i = -5, -4*i = 12. Do -1 and y have different values?
False
Let h be -3 - (-2 + (-441)/73) - 5. Which is smaller: 0 or h?
0
Let v be (66/15)/((12/15)/(-4)). Is -22 at least as big as v?
True
Let h be 162/(-8) - (-1)/4. Suppose 448 - 428 = -n. Are h and n unequal?
False
Suppose 2*o = -8*o - 110. Let r = -12 - -3. Let q = r - o. Is q less than or equal to 2?
True
Suppose -5*w + 12 = -2*s - 9, 0 = 2*s + 6. Let n(t) = 44*t**2 - 2*t + 6. Let k be n(w). Let d = k + -6734/17. Which is smaller: 1 or d?
d
Let c = 2 - 1. Suppose 0 = 4*h - 8, c + 7 = -s + 3*h. Let o be s - 45/(-3) - 1. Which is smaller: o or 13?
o
Suppose h = -2*w + 3, 5*h = -w - 3*w + 21. Let q(g) = 3*g**2 + 2*g - 2. Let o be q(2). Let i = 57/4 - o. Which is bigger: w or i?
i
Let d = -951 - -1400. Which is bigger: 895/2 or d?
d
Suppose -210 = -21*s + 27*s. Is s equal to -34?
False
Let u = -3 + 11. Suppose 42*v - 36*v = -48. Let l = v + u. Does 2 = l?
False
Suppose 52*y = 56*y + 16. Is -4 at most y?
True
Let b = 8.6 - 8.56. Let l = 58.04 + -57. Let t = l - 0.04. Which is smaller: b or t?
b
Let p be 24/(-18)*(2 + 1). Let h = -12 - p. Let i(o) = -o - 3. Let z be i(5). Is z < h?
False
Let f be (3 - 4)*1*-1. Let a be 4/(-4) - (2 - f). Let n = 877/14 - 127/2. Is a <= n?
True
Let w be 26/(-2) + (57 - -506). Do 552 and w have the same value?
False
Let j be (-951)/234 + 5*12/15. Which is bigger: 1 or j?
1
Let n = -23 - -15. Let w(g) = 2*g**2 + 15*g - 6. Let f be w(n). Which is smaller: 2/5 or f?
2/5
Let j be ((-129)/(-4)*(-12 - 0))/5. Let s = j - -77. Which is greater: s or 2/9?
2/9
Let s = -10 - -6. Let h = 1782.8 - 1783. Are s and h unequal?
True
Suppose -5*d = -7*d + 46. Suppose 0 = w - 5*q - d - 21, 2*q + 112 = 2*w. Is 59 greater than w?
False
Suppose -s + 10 + 4 = 0. Let y = -66 - -64. Let k be y/(-6) + (176/12 - 0). Which is smaller: k or s?
s
Let p = -3/142 + -7511/710. Is p <= -10?
True
Let d(a) = a**3 - 2*a**2 - 2*a - 3. Suppose 8 = -4*o + 20. Let b be d(o). Is -3/20 smaller than b?
True
Suppose 0 = s - 4*u - 12 + 1, 4*u = -20. Suppose 5*c - 3 = -43. Which is smaller: c or s?
s
Let w be ((-4)/14)/(3/(-105)). Which is greater: w or 120/13?
w
Let o = 4198/5 - 835. Suppose 3*a + 5*y - 3 = 2*a, 0 = 2*y. Suppose -g + 8*p + 18 = 5*p, -a*p = 2*g. Which is greater: g or o?
g
Let x = 776 + -804.4. Is x at most as big as 0.1?
True
Let s = 19005356/927 + -20502. Is s bigger than -1?
True
Let s be ((-6)/(-2) + -82 + 66)/(-1). Let v = 2 - 1. Is v less than or equal to s?
True
Suppose 22 = 2*b + 3*b + 4*p, -9 = -3*p. Let f be 1/2*b*11. Let o = f + -5. Are o and 4 non-equal?
True
Suppose 343161295 + 725128637 = 6*v. Let z = 247487153799/1390 - v. Let d = -99/10 - z. Which is smaller: d or -1?
-1
Let u(j) = -31*j - 139. Let o be u(-11). Which is bigger: o or 201?
o
Let h(o) = 5*o - 38. Let j be h(12). Is j not equal to 10?
True
Suppose -2*z + z + 24 = 0. Suppose 0 = 5*h - q - 30, -4*q + z = 4*h - q. Suppose -9*g = -h*g. Which is smaller: g or -2/43?
-2/43
Let p = -7.06 - -7. Let d = 57.5 + 16.5. Let u = 73.9 - d. Is p greater than u?
True
Let z = 0.79 + 0.07. Let y = 4.44 + z. Let d = y - 2.3. Are d and 3 non-equal?
False
Suppose 167 = -2*y - 281. Is y at most as big as -223?
True
Suppose 9*i + i + 910 = 0. Let y be 178/(-2) + (-51)/17. Is y bigger than i?
False
Let a be (1/26)/((-26)/(-8)). Let w = 1166 + -1166. Which is smaller: w or a?
w
Let g be (-30)/(-9) + (-1)/3. Let s(t) = -t**2 - 3*t + 2. Let p be s(-3). Suppose -2*k + k = b + 1, -p*k = 3*b. Is g at least as big as b?
True
Let x = -5 + 2. Let s be 68/(-51)*33/(-2). Let r = s - 27. Which is smaller: r or x?
r
Let j be -4*4/(-8) + 1. Suppose 24 = j*c + 3*c. Suppose 1 = -3*t + c. Is 1/16 at least as big as t?
False
Let n be (-387)/(-108) + 6/(-4). Let b = -7/3 + n. Let d = -15 - -28. Is b != d?
True
Let s be (-84)/(-22) + (-42)/(-231). Suppose 5*m - s*o + 74 = 0, -67 = 5*m - o + 4*o. Suppose 6*f + 45 = 3*f. Which is smaller: m or f?
f
Let u = -7308 - -7327. Let x = 177/5 - 35. Which is smaller: x or u?
x
Let g = -1735 - -1735. Let d(r) = r + 0*r**2 - r**2 - 5*r - 3. Let x be d(-3). Is x equal to g?
True
Suppose -5*a + 21 = 11. Let n be 338/(-18)*(-3)/2. Let y = -27 + n. Which is smaller: y or a?
y
Suppose 12*c - 24 = -3*k + 9*c, -4*c - 22 = -5*k. Is 16 bigger than k?
True
Suppose 2*f = 11*f. Which is greater: f or 1/896?
1/896
Let w(t) = -2*t**3 + 15*t**3 