
Let o = -3.26 + 3.4. Let f = o - -0.06. Which is bigger: 6 or f?
6
Let w = 35 + -34. Let n be w*-2 + 135/75. Suppose 2*c + 0*c + 2 = 0, -1 = -3*d + 4*c. Is d >= n?
False
Let z(y) = -16*y + 312. Let k be z(20). Which is smaller: -1 or k?
k
Suppose 4*c = -16 + 92. Let b = -18 + c. Let p be (-4 - (1 - 2))/b. Is 1 at most as big as p?
False
Let g(s) = s**2 + 18*s + 46. Let k be g(-15). Is -10/29 less than k?
True
Suppose -3*n - 5*t = -9, -4*n - 2*t + 12 = -3*t. Suppose 0 = n*v - 6 - 12. Suppose -k = -v*k. Is k <= 0.1?
True
Suppose -c = 2*j - 5, 25 = -0*c + 5*c + 5*j. Which is greater: c or 71/11?
71/11
Let r = 1478/931 - 29/19. Is r at least as big as 1?
False
Suppose 0 = -5*v + z - 538, 15 = -v + 3*z - 101. Which is smaller: v or 3?
v
Suppose -5*u - 15 = -0*u. Let d = -247 + 244. Is u at most as big as d?
True
Let l(q) = -q - 11. Let v be l(-11). Let n be (-44)/(-58)*(4 - 83). Let w = 60 + n. Is v less than or equal to w?
True
Let k = -264 + 275. Which is smaller: 9 or k?
9
Let d = 218 + -120. Let l = d - 73. Is 28 smaller than l?
False
Let h = 5 + -3. Let z be (-1)/1 + h/2. Let u be (-4)/11*12/16. Is z not equal to u?
True
Let z = 15.02 - 2.92. Let h = z - 13. Let p = h - -4.9. Is -1/4 less than p?
True
Suppose 3*h - h = 4. Suppose 0 = -9*y + 8*y + h. Is 1/11 < y?
True
Let f be (3*2/48)/((-45)/(-360)). Are 1/872 and f equal?
False
Let x = 12463/8 + -1560. Is x >= -3?
True
Let l = 133 + -132. Let w be (0 - 8)*15*l/(-108). Let t = 8 + -6. Which is smaller: w or t?
w
Let i(n) = -n**3 + 6*n**2 - 8*n + 30. Let r be i(5). Let z be (r/(-9))/((-4)/(-72)). Which is smaller: -29 or z?
z
Suppose k = -4*k + 20. Suppose 122 - 26 = -8*w. Let p be (w/14)/(4/(-21))*1. Is k bigger than p?
False
Let k be (-4)/7 - 1032/(-42). Suppose 4*s = -c + k, -c + 27 = 2*s + 5. Let q = c + -6. Is q < 15?
True
Let n = -4 + 6. Let p = n + -3. Which is smaller: p or -1/47?
p
Let k = -2012 + 2011.6. Suppose d - 2 = 2*d. Is d smaller than k?
True
Let o(l) = -l**2 - 10*l + 3. Let s be o(-10). Suppose z + v - 82 = -4*z, s*z - 54 = v. Let i be (z/(-4) - -4)*42. Is -10 bigger than i?
True
Let b = 1321 - 1318. Is 258 <= b?
False
Let s = -346 - -337. Are s and 9 equal?
False
Let g be (-87)/81 + 20/270. Are -1/357 and g equal?
False
Let a be (-873)/54 + (-2)/(-12). Let g = 11 + a. Let k be (-13 - -11)/(g/(-2)). Which is smaller: -0.2 or k?
k
Suppose y + 4*y - 15 = 0. Suppose -y*k + 0*k = -60. Let z be (-1 + 12/k)*1. Is z less than -1?
False
Let o be ((-3 - -12)*31)/(-1). Let y be (o/(-87))/3 - 1. Which is smaller: y or 0?
0
Let y(c) = 0 + 0 - 2*c + 3*c + 11. Let r be y(-7). Suppose 0 = 5*z + r*i, -3*z = -0*i + 4*i. Does z = -2/7?
False
Let p be 27*(-16)/(-20) + 0. Which is greater: p or 22?
22
Let n = 407 + -374.53. Let u = n + -34. Let d = -1.5 - u. Which is smaller: d or 2?
d
Let c = -618 - -872. Is c < 255?
True
Suppose 515*g - 512*g = 570. Which is smaller: g or 188?
188
Let p be 0/(1*1/1). Let y = -87 - -142. Let b = -57 + y. Which is bigger: p or b?
p
Let o = -39 + 39. Suppose -5*b + 4*b - 11 = o. Is b bigger than -10?
False
Let l(j) = 51*j - 23. Let p be l(-1). Let i be 68/170 - p/(-35). Suppose -2*r - 1 - 1 = 0. Which is smaller: i or r?
i
Suppose 2*x - 632 = -6*x. Suppose 2*s = -u + 16, x = 4*u - 0*s + 3*s. Is 22 <= u?
True
Let l = 14 + -29. Let b = -27 - l. Which is smaller: b or -3?
b
Let l = -864 - -1363. Is l less than or equal to 0.1?
False
Suppose -5*k - 1331 = -4*q, -2*q + 691 = -3*k - 108. Is k smaller than -2?
True
Suppose -g = 4, b - 5*b - 2*g = -56. Let l be 5/(-15)*(-93)/155 + (-148)/(-10). Which is smaller: b or l?
l
Let q be (-2)/4*29/((-7482)/(-1224)). Are q and -2 non-equal?
True
Suppose a = 3*d - 2*d + 4, 0 = -2*a - 3*d + 3. Suppose h = a*y - 28, 0 = -0*y - y - 3*h + 6. Let u be (-2 + 3)/((-1)/y). Is u > -6?
False
Let z = -1.07 - -0.07. Let o = -6.79 - -6.5. Let l = o - -0.1. Which is smaller: l or z?
z
Let z(s) = s**3 + s**2 - s + 7. Let m be z(0). Let r(j) be the first derivative of -j**3/3 + 4*j**2 - 5*j + 113. Let a be r(m). Are -0.04 and a equal?
False
Suppose -63 = -4*w + 53. Suppose a + w = -1. Let u = -89/3 - a. Which is smaller: -2/3 or u?
-2/3
Let u = -1 + 6. Suppose -u*z + o = 1, -z - 6*o = -2*o - 4. Which is greater: -3/11 or z?
z
Let y be 3/9 - 175/30. Let w = 55 - 62. Is w equal to y?
False
Let f(t) = -17*t**2 - 4*t + 6. Let i be f(13). Let y be (-8)/(-12) + 2009/i. Is y >= 1?
False
Let q = 5/31 - 118/155. Let o(w) = 3*w**3 + 3*w**2 - 2. Let b be o(-1). Which is bigger: q or b?
q
Let l = -187 - -185.02. Let i = 0.98 + l. Is -3/7 bigger than i?
True
Let v be 68/(-1054)*(-1)/(-12)*-2. Is 1 bigger than v?
True
Let j = 8.2 - 8.48. Let l = j - 0.72. Let s = 14 + -28. Is l > s?
True
Let k(t) = -28*t. Let w be k(1). Let y be ((-18)/w)/(6*5/10). Which is bigger: y or 1?
1
Let c be (-220)/(-33)*(-9)/6. Suppose 4*s + a - 15 = 0, -15 = -a - 4*a. Let q be (c/(-15))/(1/s). Which is bigger: q or -3?
q
Suppose a = -4*q - 2, -a - 2 = -2*q - 6. Suppose 12 = 2*t + 2, -a*t = 5*l - 1860. Let o be ((-4)/l)/(6/(-30)). Which is smaller: o or -1?
-1
Let u be -1 - -2 - (3 + 3 - -2). Let o be (-16)/(-6) + (-10)/15. Let f be 3/o + (-19)/2. Is u bigger than f?
True
Suppose 0*q + q = 1. Let j be -1 + (0 - -1 - (-24)/(-252)). Which is smaller: j or q?
j
Suppose g + 4 = 4*l - 1, -2*l + 4*g + 20 = 0. Suppose l = k + 5*y - 7, -k + 42 = -3*y + y. Suppose -k = r + r. Is r at most -17?
False
Let h = -0.1 + 0. Let w = -5.2 - 1.8. Let j = 6.3 + w. Is h bigger than j?
True
Let u be (((-30)/(-4))/5)/(231/(-28)). Which is smaller: -1/23 or u?
u
Let t = 21 - -4. Suppose -4*l = l - r - 121, -l + t = -r. Let z be -1*((-94)/l + 4). Is z at most as big as -1?
False
Let f = 0.399 + -0.528. Is -0.1 at least as big as f?
True
Let q = -0.13 - -5.13. Let a be 8/28 - 18/14 - -16. Let j be 18/21*(-5)/a. Which is greater: q or j?
q
Suppose -3*p + 270 = -42. Let u be -1 - (-17)/15 - p/195. Which is smaller: u or -2/7?
u
Suppose -5*i + 7318 = -22*i + 7386. Let r = -4 - -3. Let u be r*(-2)/(-3) + 6. Which is bigger: u or i?
u
Let y = -721/8 - -90. Let u(c) = -1 - c**2 + 6*c - 4 + 1. Let r be u(5). Which is smaller: y or r?
y
Let y be 109194/290 - (-57)/(-95). Let j = 376 - y. Let x = j + -91/58. Are x and 4 unequal?
True
Suppose 25*l + 1 = 26. Is 103 > l?
True
Suppose 0 = -4*n - n - 30. Let v = -6 - n. Let x be (-6)/(-34)*7/(-21). Which is smaller: v or x?
x
Let n(o) = 2*o**2 + 1. Let y be n(1). Suppose 5*l - 4*s = 426, -3*s = -y*l - 5*s + 260. Let x = 603/7 - l. Which is greater: 1 or x?
1
Let f(k) be the first derivative of 1 + 1/2*k**2 - 3*k. Let c be f(-6). Do -10 and c have different values?
True
Let y(h) = 8*h**2 - 86*h - 161. Let n be y(-2). Let u(k) = k**3 - 5*k**2 + k. Let v be u(6). Which is smaller: n or v?
v
Suppose 5*w + 3*g + 10 = 0, w + g + 2 = 3*g. Let m(o) = -o**2 - 9*o - 9. Let z be m(-8). Let l be z - -4 - 6 - -2. Which is greater: w or l?
l
Suppose -4*o + 105 = -2*b - 23, 3*b - 3*o + 204 = 0. Is b not equal to -73?
True
Suppose 0 = h + 2*n - 7 + 8, h = -4*n - 5. Which is greater: h or -15/7?
h
Let u = 262.9 - 198.76. Let p = -64 + u. Which is greater: p or -2/7?
p
Let w = 134 - 133. Which is greater: 50 or w?
50
Suppose 0 = 3*p - k + 3*k - 20, -3*p - 5*k = -32. Suppose 0 = -2*t + p*j + 18, 0*t + 3*j = -3*t - 9. Are t and 1/9 equal?
False
Let g = -42635/26 - -1640. Which is greater: g or -1?
g
Let x = -1 - -11. Suppose z + 3*g + 39 = -0*z, -25 = 5*g. Let n be 2/(-4) - 20/z. Which is smaller: n or x?
n
Let w = 24 + -14. Suppose 2*n = -3*x, 2*x + 1 = n - 6. Suppose -2*z = n*z - 45. Is z equal to w?
False
Let y(v) = 2*v + 50. Let o be y(-15). Let l be 30/o + (-14)/12. Suppose 2 = -0*s - 2*s. Which is greater: s or l?
l
Let b be (-6)/4*2/(-3). Suppose 875 + 345 = 4*p. Suppose -12 = -p*q + 311*q. Is b equal to q?
False
Let l = -0.024 - -40.024. Let z = l + -42. Is z at most as big as -4/7?
True
Suppose -2*k + 2*x = -416, -k + 202 = 2*x - x. Suppose 5*w + 5*a = -k, -w + 10 - 41 = -4*a. Which is greater: w or -40?
w
Suppose 0 = r + r - 2*u - 2, 0 = 5*r + 2*u - 33. Suppose 0 = r*l - 3*l - 4. Suppose 4 = -2*i + l. Which is smaller: i or -1/2?
i
Let g = 63 + -39. Let n be (-290)/12 + (-3)/(-6). Let f = g + n. Which is smaller: 1 or f?
f
Let y be (-96)/(-80)*(6 - 1). Suppose 9*a - 3 = y. Wh