t g = 5524/15 - v. Which is smaller: g or 0.1?
0.1
Let z be -3 + 46/69 + 35/15. Which is smaller: -1/16918 or z?
-1/16918
Let d(r) = -50*r**3 - 3*r**2 + 13*r - 7. Let w be d(2). Let s be 4 - (-7 - w/36). Are 0 and s nonequal?
True
Let m = -2678 - -3345. Is 668 at least m?
True
Let p(s) = 8*s**3 + s - 1. Let r be p(1). Let q be (-198)/(-10) - 64/80. Suppose 0 = 3*u - q - r. Is u > 11?
False
Suppose 0 = 4*c + 5*c - 2*c. Suppose 0*y - 5*y - 3*d - 142 = c, 2*y + d + 56 = 0. Which is bigger: 1 or y?
1
Let h = -6946 + 6981. Is -72 bigger than h?
False
Let a = 214 - 190. Suppose a = 21*p - 18. Is p >= 27/17?
True
Let u(t) = -t**3 + 22*t**2 - 22*t + 27. Let a be u(21). Let g be -76*5/(-5)*a/(-3). Is -151 less than g?
False
Let l = -50 - -30. Suppose -3*v - w - 73 = v, 3*v = -w - 54. Is l at least as big as v?
False
Let p = -2852428 + 2775410901/973. Let i be (-524)/2224 + (-2)/(-8). Let y = p + i. Which is bigger: y or -1?
-1
Let r(l) = -l**2 + 9*l + 15. Let i be r(9). Suppose i - 20 = -q - g, 0 = -q + 5*g - 19. Which is greater: q or -2/67?
q
Suppose -270*z - 63 = -266*z + 1369. Let d be (7/2)/(2/(-204)). Which is smaller: z or d?
z
Let r(p) = 3*p - 5. Let b be r(3). Suppose 0 = b*g - 20, 0 = -3*s + 2*s + 3*g - 13. Let q = 3/326 + 6481/4238. Which is smaller: q or s?
q
Suppose 42*z - 65*z = -35*z. Which is bigger: z or 1/1092?
1/1092
Suppose -5*c = -3*j + 52 - 102, 16 = -j + 2*c. Let r = -19 - j. Is r < 5/113?
False
Let a(t) = -2*t + 29. Let w be a(12). Suppose w*j + 2 = 3*j. Is -2/409 at least j?
True
Let b = 8.8 - 34.8. Let m(k) = -3*k - 17. Let x be m(-5). Let f be x/1 + 40/18. Is b != f?
True
Let g be (-6)/27 - (3 + -2). Let n = 122/9 + g. Suppose 0 = 4*d - 24, 0 = -4*t - 4*d - 24 + 92. Which is smaller: n or t?
t
Let x be 1589/(-9462) - 6/(-36). Suppose 3*v - 2*o - 566 = -569, 4*v - 3*o + 5 = 0. Is v at most as big as x?
False
Let m = 2/1435 + -5762/15785. Let l = -6036 + 331989/55. Let g = m + l. Do 0.1 and g have the same value?
False
Let o = -668/159 + 118394/2067. Which is greater: 53 or o?
o
Let t = -39298932802 - -25308520534279/644. Let c = 12127 - t. Is c >= -1?
True
Let p be (-1)/(-4) + (-111438)/(-14718). Let f = 3/892 - p. Which is greater: -7 or f?
-7
Let c = 21235878/277 - 76664. Is 1 < c?
False
Let t be (-7 - -25)*(-296)/12. Which is smaller: t or 12?
t
Let s be ((-801)/15)/(-1)*5. Let l = -423 + s. Is l at least as big as -155?
False
Let a(s) = s**3 + 6*s**2 + 10*s + 129. Let d be a(-7). Let k be (0 - 78)/(-2*d/20). Which is greater: 79 or k?
79
Suppose -5*h - s + 13 = 0, 2*s + 53 = 39. Suppose 3*n - 3 = 2*n. Suppose h*o + 2*g = -o - 80, 0 = -n*o - g - 48. Is o at least as big as -17?
True
Let t be ((-3558)/(-19))/(-1) - 0. Let f = 333 - 520. Let g = t - f. Is g > -1?
True
Let i(y) be the third derivative of -y**6/20 - 5*y**4/6 + 19*y**3/6 + 67*y**2 - y. Let g be i(1). Which is greater: g or -6?
-6
Let y = 3.39 - 1.925. Let c = y - -0.035. Let x be ((-24)/8)/((-5)/1). Is c smaller than x?
False
Let h(k) = 2*k**2 - k - 26. Let j be (-15)/5 - -4 - -4. Let u be h(j). Suppose u = -11*y + 8. Is 2/347 at most y?
False
Suppose 537874 = -q + 42*q - 84875. Which is smaller: 15188 or q?
15188
Let p = -3 - 2. Let h be (-3)/(-4)*(287 - 293). Which is smaller: h or p?
p
Let y(j) = -13*j**2 + 28*j**2 - 16*j**2 - 8 + 8*j. Let z be y(7). Let s be z*(1 - (-78)/(-69)). Is s less than or equal to 1?
True
Let f = -0.32714 + 0.02714. Which is bigger: -1.682 or f?
f
Let b(y) = 10*y + 75. Let j be b(9). Let m be (392/60 - 2) + (-22)/j. Let d = -73/3 + 24. Is m greater than or equal to d?
True
Let w = 1258/13 - 97. Let q be (-8741)/10 + 486/60 + -8. Let g = -875 - q. Which is greater: w or g?
w
Let p = -0.244 - -64.244. Let l = -63.18 - -0.18. Let y = l + p. Which is bigger: -2/211 or y?
y
Suppose 4*y - 4 = 0, 0 = 23*f - 22*f + 4*y - 4. Is f <= 3/319?
True
Let g = -32819 - -33997. Which is smaller: 1185 or g?
g
Suppose -3*p + 24855 = 4*q, 0 = 4*p - 4*q - 0*q - 33112. Let s = -4662204/563 + p. Let l = -2277/14075 - s. Is -1 greater than or equal to l?
False
Suppose -72 = -a - 4*s, -35*a + 33*a - s + 137 = 0. Let w = 91 + -23. Are a and w unequal?
False
Let d be ((-40)/32 + -1)/(2/(-56)). Let s be (-887)/7 - 18/d. Which is smaller: -126 or s?
s
Suppose 1968*j - 2007*j + 114153 = 0. Is j at most as big as 20493/7?
True
Suppose 0 = -42*l + 47172 - 13908. Let x = 771 - l. Is -21 at most x?
True
Let s = -2344 + 2287. Is -3 at least as big as s?
True
Suppose -920*d + 905*d = -15. Which is greater: -74/257 or d?
d
Let a = -0.381 + 0.33. Let s = 21.04 - 21.14. Which is greater: s or a?
a
Let k(u) = -u**3 - 13*u**2 - 10*u + 2. Let s be k(-10). Let d be (64/231)/((-11)/s). Let c = d + -58/11. Which is smaller: -4/7 or c?
-4/7
Let i be (8 - 5)*(-1120)/(-8). Is 420 greater than or equal to i?
True
Let j(a) = 122*a**2 - 256*a**2 + 115*a**2 + 19*a - 21 + 4 + a**3. Let p be j(18). Let t = 239/136 - 15/17. Are t and p nonequal?
True
Let g(l) = 9*l - 3*l**2 + 4 + 7*l + 4*l**2 - 10*l. Let a be g(-6). Which is greater: 21/5 or a?
21/5
Let f(x) = -5*x**3 + 4*x**2 + 26*x - 32. Let w be f(3). Which is bigger: w or -58?
w
Let c = -12568 - -12568. Does -22/29 = c?
False
Let y be -30*(-9)/((-81)/(-24)). Let d be ((326/(-4))/1)/(10/y). Let x = -48902/75 - d. Is -1/2 > x?
False
Let t = 292.6 + -289. Let j be 1/(3/(-2))*(-18)/(-12). Is j equal to t?
False
Suppose -5*j + 30 = -15*j. Let t be (-5 + 2)/((-3)/2). Let a be ((-9)/(-18))/(j/t). Are a and -0.27 equal?
False
Suppose -5*r + 2*n - 34 = 44, -22 = r - 2*n. Let b be 2/(-31)*r/(-4). Let w = b - -262/1023. Which is greater: w or 0?
w
Let g = 2283 + -2024. Which is greater: g or 250?
g
Let q be 56/98 + (-1)/((-175)/180). Let m = 129 + -643/5. Which is smaller: m or q?
m
Let x(z) = -133*z + 4297. Let n be x(33). Which is greater: -93 or n?
n
Suppose -3*m - 776 = -2*g + 127, 0 = -3*m + 27. Is g at least as big as 4?
True
Suppose 128 = 17*a - a. Suppose 2*b = -b + 15. Is b smaller than a?
True
Let z be 282/4 + 30/60. Suppose 0 = -76*h + z*h - 335. Are -67 and h non-equal?
False
Suppose 75*o + 11012 - 4470 = -12508. Which is bigger: o or -758/3?
-758/3
Suppose 4*c + 2*z + 2*z + 184 = 0, 20 = -4*z. Let h be (9/(-15))/(2/(-130)*-1). Is c equal to h?
False
Let g(t) = 2*t - 14. Let i be g(9). Suppose 7*f - 2*f - 4*x - i = 0, 0 = -f + x. Let b be (-129)/(-18) + (-2)/f. Which is smaller: b or 8?
b
Let n = -264.8 + 262.647. Let f = 0.047 - n. Let m = 4/3 + -11/6. Which is smaller: f or m?
m
Let f be 0*((-5)/(-2))/5. Let m be -5*29/1450 - (-594)/5740. Which is smaller: m or f?
f
Let i = 2485 + -2447. Are -0.09 and i equal?
False
Suppose -1190 + 9282 = 54*t + 154. Which is smaller: t or 1169/8?
1169/8
Let y(q) be the third derivative of -19/3*q**3 + 0 - 20*q**2 - 1/60*q**5 + 0*q - 7/8*q**4. Let u be y(-19). Which is bigger: 4 or u?
4
Let h be ((-921)/(-110))/(489/32). Let n be ((-14)/28)/(815/(-4)). Let g = h - n. Which is bigger: g or 2?
2
Let s = 48 - 47.989. Let d = -0.142 - s. Let u = d + -0.047. Which is bigger: 0.1 or u?
0.1
Let f be (241 - -16) + 2 + -2 + 2. Suppose w = -6*w - f. Let v = w + 36. Do v and -2.1 have the same value?
False
Let s = -6183517 + 216450357/35. Let m = 779 - s. Suppose 3 = -5*y + 2*y, -2*h + 5*y + 7 = 0. Is m at most as big as h?
True
Suppose -2*r = -4*i - 33380, -24*i = -25*i - 2*r - 8330. Is i < -8342?
False
Suppose -7*x + 2 = -9*x. Let y be x + -2 + (4 - 0). Let s be y - (6 + 2 + 2 + -4). Is -3 at least s?
True
Let p = 74 + -67. Suppose -3*i = 0, p*y - 4*y - 4*i = -30. Is y at least as big as -10?
True
Let k = -1328722/247 - -96942/19. Let y = -339 + 62. Let j = y - k. Is j < -3?
False
Let k(m) = m**2 + 3*m - 58. Let l(h) = 5*h - 64. Let d be l(11). Let n be k(d). Which is smaller: -35/8 or n?
-35/8
Suppose 1259 - 281 + 2695 = -197*w - 70. Let j be 1 + (-2 - 4) - -1. Let z = j + -17. Which is smaller: w or z?
z
Suppose 0 = 3*i + 5*t - 22, 0 = -3*i - i - 2*t + 34. Let m be 357/33 - ((-30)/(-55))/(-3). Which is bigger: m or i?
m
Let f = -20582 + 53039816/2577. Are f and -1 equal?
False
Let i = 9327 + -3012622/323. Is i <= -2/3?
False
Let j(s) = 4*s**2 + 50*s + 38. Let x be j(-11). Is x less than -57?
False
Let p be (62/(-4)*(14 - 12))/(162/10). Which is smaller: -3 or p?
-3
Let o = -2283 + 50225/22. Suppose 0