+ 39 = 0, 3*w = 2*v - 1 + 34. Let j = 19894/1313 - -8/101. Is j at most w?
False
Let p(h) = -2*h**3 - h**2 - 3*h + 1. Let a be p(2). Suppose 4*g = 4*r - 32, -2*r + 22 = -3*g - 2*g. Let f be 6/9 - 148/r. Which is smaller: a or f?
a
Let a = 266 - 264. Suppose -a*y + 2 = 3*b, -3*y - 5 - 11 = -5*b. Let i be (2*2 - 0)*-2. Which is bigger: i or b?
b
Let b = -5.17 + 0.07. Let a = -1/172 - 341/516. Does a = b?
False
Suppose -14 = -a + 25. Suppose -6*z = a + 207. Is z smaller than -40?
True
Let k be 1/(-4)*-2 + 11/(-2). Let z = 155 - 798/5. Is z at least as big as k?
True
Let v be 18/(-63) - 23/(-7). Let w be v/6*(0 - -106). Suppose -8*g = 11 + w. Does g = -8?
True
Let y = 2182749/123687728 - 1/54512. Which is greater: 0 or y?
y
Suppose 0 = 5*c + 3*y + 364, -450*c + 5*y = -448*c + 158. Let l = 147 + -218. Which is greater: c or l?
l
Let x = -4423 - -4264. Is -157 at most x?
False
Let t be 0/2 + (209/(-11) - 22). Is 52 bigger than t?
True
Let a(p) = p**3 - 5*p**2 + 4*p - 9. Suppose -3*u + u + 12 = -4*t, 5*t = 2*u - 13. Let z be a(u). Let o = -712 + 2113/3. Which is smaller: z or o?
z
Let y = -5219 + 5220. Is 0.04516 at most y?
True
Let g be ((-224)/96 - 1/(-3))*-85. Which is greater: g or 846/5?
g
Let d(g) = 1007*g + 4029. Let i be d(-4). Is 2/19575 smaller than i?
True
Let j = 1356 + -2711/2. Which is smaller: j or -234?
-234
Let o be (-60)/(-36) - (2153/(-6) + 1). Is 361 < o?
False
Suppose -5*a - u = -144, -2*a + 26 = -a + 3*u. Suppose -9*w + 155 = a. Suppose 0 = 16*j - w*j - 30. Are 15 and j equal?
True
Let z be 6/5*95/3. Let x(f) = 4*f - 175. Let o be x(z). Which is smaller: -15 or o?
o
Let v = 3 - 2.8. Let n = v + -1.2. Let i = -158.542 - -154.542. Which is smaller: i or n?
i
Suppose 2*s = 4*t + 4*s + 100, 0 = -3*t - 2*s - 74. Let h = 103 - 127. Is t >= h?
False
Let b be (-36)/42*(-9 - -11)/(-12). Which is greater: -5/3 or b?
b
Suppose 5*r + 0*s - 2*s + 138 = 0, 0 = 2*r + 4*s + 84. Suppose z = -5*b - 1 - 0, 0 = -5*z + 4*b - 150. Which is bigger: r or z?
z
Let y be ((-1234)/4)/(10/(-60))*14/(-6). Which is smaller: y or -4317?
y
Let p be (2 - (1 + 2)) + 8. Suppose -3*x + 10 - p = 0. Let i be (-1 + x)/(-6 + 5). Is 2/129 equal to i?
False
Let d be -6 + -6 + 1462/119. Is d less than or equal to -0.36?
False
Let a = -73.25 + 72.25. Let j = -289586/315 - -2758/3. Which is greater: a or j?
j
Let v = 18 + -28. Let y = v - -10. Let i = -1537 - -1512. Is y < i?
False
Let h = 165.19 + -164. Let p = h + -6.49. Let o = -30.3 - p. Are 0 and o unequal?
True
Let q = -40.64 - 8.36. Which is greater: 16/7 or q?
16/7
Let a(p) be the second derivative of -p**4/12 + p**2/2 - 2*p. Let g(i) = i**3 - 9*i**2 - 7. Let s(o) = -6*a(o) - g(o). Let v be s(15). Is v > 15?
False
Let t be ((-8)/(-10))/((-7)/(-1050)). Let v = 119 - t. Suppose 27*o = 21*o + 6. Which is smaller: v or o?
v
Let i = -5095/6 - -28201/33. Which is bigger: 5 or i?
i
Let r = -687 + 552. Is -12/5 smaller than r?
False
Let d be 4 - (-7 + -365*6). Which is bigger: d or 2202?
2202
Suppose -y = -4*y - 15. Let x = y - -4. Let s be x/(10/(-4) - 4). Which is smaller: -1 or s?
-1
Let f = 2.23 - -71.57. Let s = f + -82. Let j = s - -10.2. Do 12 and j have different values?
True
Let f be 32/(-84)*3/4. Let s(o) = 2*o**2 + 28*o - 34. Let t be s(6). Is t greater than f?
True
Let p = 468649/44290 + 551/3090. Let d = 32/3 - p. Which is smaller: d or 1?
d
Let p(u) = 329*u + 49688. Let v be p(-151). Suppose 2*b + 12 = -3*z + 5*z, -2*z = -5*b - 18. Which is bigger: v or z?
v
Let d(t) = -14*t**3 - t**2 + 3*t - 1. Let j be d(2). Let l = -12779 - -12779.1. Which is bigger: l or j?
l
Let a = -3 - -2.5. Let z = 24.9 + -171.9. Let g = z - -141. Does a = g?
False
Suppose -t = 3*v - 11, 213*t - v - 7 = 208*t. Which is greater: t or 6/5?
t
Suppose 2*j = -4*o + j + 1, 0 = o - 3*j - 10. Let r(g) = -g**2 + 3*g - 1. Let w be r(o). Are -1/303 and w nonequal?
True
Let g = -616757/3 + 209187. Which is smaller: g or 3600?
3600
Suppose a + 64 + 197 = 0. Let d = -106853.1 - -106853. Which is greater: a or d?
d
Let i = -41 + -59. Let o be 110*(32/i)/2. Are o and -17 equal?
False
Suppose -43*s + 17510 = 163*s. Which is smaller: s or 0?
0
Let n(q) = -q**3 + q**2 + 3*q + 4. Let r be n(-4). Which is bigger: 21 or r?
r
Suppose 2*p - 399 = -0*p - 3*c, 0 = -5*p + 4*c + 940. Suppose 7*q + p - 969 = 0. Let z = -90 + q. Is 21 at most as big as z?
True
Let j(i) = -i**2 + 5*i + 10. Let o be j(-2). Let t be -3 - -4 - o/(56/(-37)). Which is greater: t or -3?
t
Suppose 0 = 2*p + 12*v - 14*v - 1984, 2*v + 6 = 0. Is 989 < p?
False
Let g be (4/(-4))/((-110)/40)*(-9)/11. Which is smaller: 1 or g?
g
Let f = 59 + -60. Let u be 5616/(-1800) + (6 + 0)/2. Which is greater: f or u?
u
Let h = -802 + 2890. Is 1 at least as big as h?
False
Let c = 1624 + -69. Is c < 1555?
False
Suppose 10*w - 3*w - 5043 = 4449. Which is bigger: w or 4069/3?
4069/3
Suppose -20909 = 1477*g - 1374*g. Which is bigger: g or -25?
-25
Let n be (9 + (-222)/24)/((-381)/(-21)). Is 1 != n?
True
Let a be 699/24 - (-2 + 15)*(-11)/(-143). Which is greater: 27 or a?
a
Let v = -6308312393/216925366427 + -17/4381357. Let u = v + 2/643. Let i = u + -227/154. Is -1 at least as big as i?
True
Suppose 147*u - 1517 = -98978. Which is greater: u or 0.3?
0.3
Let q = 47 + -60. Let w = 12.24 + q. Let j = w - 0.24. Is j > -2/3?
False
Let p(v) = 3*v**2 + 3*v - 2. Let t be p(3). Suppose 0 = -2*d - 22 + t. Suppose 3*g - 2*h - 2 = 0, -4*g - 4*h = -d*g + 4. Is -3/5 greater than g?
False
Suppose 0 = -n, 0 = -5*v + 5*n - 2 + 7. Let y = -7731655/98 + 78893. Let d = 3/49 - y. Does v = d?
False
Let j be 274*9/(-6)*1/(-3). Suppose -14*y = -67 + j. Let q be (17/(-12))/((-2)/(-6)). Which is greater: y or q?
q
Suppose -4*k = -c - 14 - 10, 0 = -4*k + 4*c + 24. Let y be k/(-99)*36/30. Suppose 0*f + 3*d = 4*f + 12, 5*f - d = -4. Which is greater: f or y?
f
Let u be (8401/155 + -31)/(2/(-510)*-14). Which is smaller: u or 423?
u
Suppose 12*h - 56 = -20. Let l be h + -4 + 56/37. Which is greater: 0 or l?
l
Suppose 0*x = -2*p + 2*x + 18, -4*p + 2*x = -26. Let w be 94 - (-8 - (-7 - -7)). Suppose 0 = -4*t + 16, w = p*g - g - 3*t. Which is smaller: g or 37?
37
Let y be (36 - 36) + (-1)/(1/(-3)). Let n be (-3)/2 - (1 + y/2). Suppose -30 = -4*x + 9*x. Is n less than x?
False
Let w be 10695/299 + 9/39. Let l = 1832/3 - 575. Is l > w?
False
Let d = 109.5078 + -0.1078. Let a = -49.6 - d. Does a = -1?
False
Let t = 0.0715 - -1.4285. Do t and 12/19 have different values?
True
Suppose 2*o + 376 = 4*b, 0*b = -5*o + 4*b - 916. Let q be (-2)/(30/(-9)) - (-243)/o. Let h = q - -407/532. Is h bigger than -1?
True
Let t = -15 + 15.9. Suppose 16*h = 21*h + 28*w + 51, -h = -w - 3. Is t > h?
False
Let x = 2770 + -408. Is 1 greater than x?
False
Let w = -11/446 + 918/5575. Is w greater than 1?
False
Let y be (-1)/(-15)*20/(-12). Suppose -4*a - 14 = -6*a. Let c = 7 - a. Is y <= c?
True
Let w(v) = -13*v**2 + 39*v + 1. Let s be w(3). Is 1/13577 less than s?
True
Let y = 91 - 59. Let j be (14/((-126)/(-459)))/(6/4). Which is smaller: y or j?
y
Let v be 14 - 19 - (5133/7)/(-3)*3. Is 727 <= v?
True
Let d(k) = k**2 + k - 295. Let q be d(-18). Is q bigger than 282?
False
Let m = -885 + 1327. Suppose -6*f + m = 124. Which is greater: f or 1?
f
Let l be 71374/40464 - 4/18. Does l = 0?
False
Let c = -2.395 - 588.605. Which is smaller: 0.3 or c?
c
Let t be (((-3)/2878)/(77/154))/(9/8). Do 1 and t have different values?
True
Let k(u) = 413*u. Let w be k(1). Let m = w + -236. Let z = 1241/7 - m. Which is greater: z or 25?
25
Let d = -5 + 9. Let g be (-8)/d*((-55)/(-10) + 1). Is -10 less than or equal to g?
False
Let m(z) be the first derivative of -z**3/3 + 7*z**2/2 - 7*z - 1. Let v be m(7). Let g = -2.65 + 2.15. Is g at most v?
False
Suppose -2*g = -4*r - 18, 2*r - 51 = -4*g + 7*r. Suppose g*t - 18*t + 28 = 0. Let q be (-6)/21 + (-8)/t. Do q and -2/7 have the same value?
False
Let l(f) = 5*f + 120. Let p be -29 - (-5)/(-5)*-5. Let r be l(p). Is -1/27 at least as big as r?
False
Suppose -4*l + 6*v + 2454 = 8*v, 4*l - 2444 = -4*v. Which is smaller: l or 4308/7?
4308/7
Let m = 0.55 - 0.27. Let s = m + -0.37. Let b = 0.39 + s. Is b greater than or equal to 3?
False
Let b be (107/749)/(1/7). Is b > -0.02421?
True
Let u be ((-4)/(-129)*(-27)/(-18))/(-71). Which is bigger: 