2/675 + 221/1350. Let n(y) = y - 4. Let b be n(6). Suppose -b*u = 3*u. Is v less than u?
False
Let q be 1/(-4)*-1 - 21/28. Let f = q - 1. Which is smaller: f or -4?
-4
Let y = -42 + 37. Let z = -19 + 21. Suppose -j = -5*w - 1, 2*w + 5 - z = 3*j. Which is greater: y or w?
w
Suppose 20 = -4*d + 4*f, 3*d - 5*f + 25 = 5*d. Suppose -2*l + 2 = d, -1 = -2*m + 3*l - 4. Let g = -5/28 + 177/1148. Is g bigger than m?
False
Let d(j) = -j**3 + 7*j**2 - 6*j + 1. Let n be d(6). Is 2/139 at least n?
False
Let p be 1/((15/(-3))/(-645)). Let k = -129 + p. Are -1/31 and k non-equal?
True
Let m = -5 - -5. Let s be 10/(-30) + m + (-426)/(-9). Is 47 greater than or equal to s?
True
Let x be 126/(-12) + 2 - -8. Are -4.78 and x nonequal?
True
Let f(w) be the third derivative of -w**5/60 + 5*w**4/8 - 15*w**3/2 - 36*w**2. Let d be f(10). Is d at least -2?
True
Let z be ((-323)/2436 - (-4)/48)*-14. Is 0 > z?
False
Let o = 928/4769 - -4/251. Which is greater: -0.1 or o?
o
Let t = 42.6 + -18.5. Let c = 24 - t. Suppose 6*d - 2*l - 22 = d, 0 = -2*d + 4*l + 12. Is c at most d?
True
Suppose 6 + 0 = -3*j. Let p be j/10 - (-62)/10. Suppose 0 = -p*h - 0*h - 6. Is -3/7 less than h?
False
Suppose -g + 18 = -5*y - 23, 3*y = -3*g + 69. Which is bigger: g or 23?
g
Let o be (129*6/(-9))/2. Let i be o/77 + 22/77. Let p = 2 - 1. Does p = i?
False
Let s = 56 - 56. Suppose 2*x + 4 = -2*t, s*x - 12 = -3*x + 3*t. Which is smaller: x or 5?
x
Let t = 4 + -3.964. Let z be (-48)/(-60) + 12/(-15). Is t <= z?
False
Let l = 27 + -27. Let h(q) = -q**3 - 10*q**2 + 9*q + 14. Let f be h(-11). Which is smaller: l or f?
l
Suppose 12*o + 1827 = 33*o. Which is bigger: o or 88?
88
Suppose 85*v - 555 = -2680. Is v <= -121/5?
True
Let c = -154 + 146. Which is bigger: c or -84/11?
-84/11
Suppose 0 = 6*w - 50 - 166. Suppose a - w = -5*a. Is a <= 34/5?
True
Let u be 4/(-1048)*(1 - 12/4). Is 0 smaller than u?
True
Let u = 234 - 234.1. Which is smaller: 66 or u?
u
Suppose -3*n - 1 = -2*n. Suppose -3*y - 13 = f, 2*y + 15*f = 19*f + 10. Is y smaller than n?
True
Let a = -7/19 - -2/57. Let v(k) = -k**2 - 11*k - 12. Let c be v(-11). Is c not equal to a?
True
Suppose 2*f + 3*y = f - 74, 0 = -2*f - y - 123. Is -61 equal to f?
False
Suppose -99 = v - 12*v. Let g(l) = l - 9. Let r be g(0). Let n = v + r. Which is greater: -2/5 or n?
n
Let l(m) = -7*m + 4. Let a(y) = -y + 1. Let f(w) = 2*a(w) - l(w). Let k be f(3). Does k = 12?
False
Let v be (-1)/(2*2/40) + 1. Let r be (v/(-2))/(-1)*(-4)/(-6). Does r = -3?
True
Let s be 2 + (1 - -1*(0 - 5)). Let h be ((-5)/(-320))/(s/6). Is -1 less than or equal to h?
True
Let v(b) = -3*b - 5. Let f = 10 - 13. Let z be v(f). Suppose -z*w + 2*w = 0. Is -2 equal to w?
False
Let v = 3 - 2.9. Let d = 613/6030 - 1/603. Is v at least d?
True
Let o be 132/320 - 6/15. Which is smaller: 1 or o?
o
Suppose 2*b = -b. Suppose 4*u = -0 - b. Does u = -1/47?
False
Let o(m) be the first derivative of -m**4/4 - m**3 - 7*m**2/2 + m - 7. Let a be o(-5). Let l be (-8)/14 + a/224. Which is greater: l or 1?
1
Suppose 0 = 2*h - s - 155, -3*h - 31 + 253 = 2*s. Is h >= 79?
False
Let q be 9/12 + (-1)/(-4). Let v be ((-66)/(-12))/(-11)*(4 + 2). Is q greater than v?
True
Let h(r) = 2*r**2 - 4*r - 1. Let u be h(3). Let i be (-16)/(-10)*(-11802)/(-4496). Which is bigger: i or u?
u
Let g(a) = -3*a**3 + 3*a**2 + a + 6. Let r be g(-2). Which is smaller: 26 or r?
26
Let q = 403/5 + -81. Let l = -122 - -166. Let s = 30 - l. Which is smaller: q or s?
s
Let i be -1 + (-203237324)/(-65392740) + 0. Let u = i - 2/155697. Let c = 8/45 + u. Which is bigger: c or 2?
c
Let f(o) = 16*o + 158. Let y be f(-12). Is -32 smaller than y?
False
Let t = 190.2 + -136. Let o = t + -54. Is 15 != o?
True
Let b = 0.03 - 0.43. Suppose -4*a = -a - 48. Let f = a + -33/2. Which is smaller: b or f?
f
Let r be -8 + -1 + (-1028)/(-112). Is -3 greater than or equal to r?
False
Let g = 177.8 + -180. Let t = 9.5 - 4.3. Let q = t + g. Which is greater: -4 or q?
q
Let y = -938 + 939. Is y < -483?
False
Let w be ((-3176)/57)/8 - -7. Which is bigger: w or -0.5?
w
Let o = 64 - 59. Is 6 bigger than o?
True
Suppose 10 = -5*k + 2*q - 5, -k + 10 = -3*q. Do k and -33/8 have different values?
True
Let u = -827/80 - -52/5. Is 1 smaller than u?
False
Let c be (-1 - (-1895)/195) + -9. Which is bigger: c or 1?
1
Let i = -31 - -26. Let n = i - 46. Which is bigger: n or -0.1?
-0.1
Let w be 2/(2 + (-7)/4). Let d = -9219.1 + 9219. Which is greater: w or d?
w
Let y(t) = -6*t**2 + 6*t + 16. Let h be y(4). Which is smaller: -64 or h?
-64
Let x = -38 + 37.79. Let i = x - -0.21. Let c = 2 - i. Which is smaller: c or -7?
-7
Let v(t) = -t**3 + 16*t**2 + 18*t - 17. Let u be v(17). Suppose a + a = u. Which is smaller: a or -3/11?
-3/11
Let a = -18.16 + 1.16. Which is smaller: -0.3 or a?
a
Let n be 650/(-16) + 2 + 9/(-24). Which is bigger: n or 0?
0
Suppose 3*d = -b + 18, -81*b - 3*d = -84*b + 102. Which is greater: 202/7 or b?
b
Let d(n) = -2*n - 9. Let a be d(-4). Let v be a/2 + (-124)/(-8). Suppose 3*h = -h + 4*t + 80, 3*h + 5*t = 20. Is v equal to h?
True
Let y be (-26)/42 + 2/7. Let d = -2331 - -2331.01. Which is bigger: y or d?
d
Suppose -b = b + 14. Let d(s) = s**2 + 11*s + 1. Let i be d(b). Let j be 52/(-3)*66/44. Which is smaller: i or j?
i
Let d be (-2)/3 + 42/9. Let p(w) = -w**2 + 14*w - 24. Let k be p(12). Suppose k = j - 18*j + 68. Is d at least as big as j?
True
Let f(d) = -14*d - 8. Let y be f(-1). Let v be 0/((-2)/3*(y + -3)). Which is smaller: v or -1/18?
-1/18
Let c(o) = -6*o + 5. Let b(x) = x - 1. Let f(n) = -5*b(n) - c(n). Let j be f(7). Which is smaller: j or 8?
j
Let c = -192 + 63. Let r be (4/5)/2 + 129. Let x = c + r. Is x at most -3?
False
Let t = 190/7 - 32. Let w = t - -171/28. Do w and 1 have different values?
True
Let l = 121 - 58. Let g be -2 + -2 + (l/2)/7. Which is smaller: 3 or g?
g
Let l = 0.33 - -13.67. Let o be 3 - ((-96)/144)/(2/(-7)). Which is smaller: l or o?
o
Let h be 1/3 + 749/21. Let j = 32 - h. Which is bigger: j or -3?
-3
Suppose y - 2*o = 585, -o - 1172 = -2*y - 14. Let v = -13285/23 + y. Does v = -1?
False
Suppose 2*z = -z - 1887. Let k = -14469/23 - z. Let q = 43/2 + -21. Which is smaller: q or k?
k
Let a = -2289.8 - -2290. Is a >= 597?
False
Let r be (-6)/(-9) + (-6682)/9438. Is 0 != r?
True
Let p = -1.635 + 82.635. Which is bigger: p or 1/4?
p
Let l(g) = g**2 + 3*g. Let s be l(-2). Let z be (-2)/6*(-38 - s). Which is smaller: z or -1/3?
-1/3
Let j = 0.13 - -0.3. Let z = j + 27.57. Is 0 >= z?
False
Let y(h) = -36*h - 20. Let a be y(1). Which is bigger: -57 or a?
a
Let i = -2729 + 2583. Is -146 smaller than i?
False
Let t be ((-2)/(-3))/((-13)/(-15) + -1). Let r(b) = -4 - b + 0*b - b. Let z be r(t). Which is smaller: 7 or z?
z
Suppose 0 = 5*s - 4*q - 413, 0 = 3*s + 5*q - 3*q - 239. Is s smaller than 72?
False
Let o(g) = 3 - 6*g - 11 + 1 + 5. Let u be o(1). Let a = -2 + -7. Which is smaller: u or a?
a
Suppose 0 = -10*p + 35*p - 1100. Which is greater: 45 or p?
45
Let q be (20/35)/((-4)/(-14)). Let s = 299 - 295. Which is smaller: q or s?
q
Let u be (-3 + (-38)/(-42))/(2/3). Let d = u + 95/28. Are d and -19 unequal?
True
Let w = 3579 + -2145. Which is greater: 1/2 or w?
w
Suppose -3*s + 3*k + 42 = 0, 10*s = 15*s - 2*k - 73. Is 9 > s?
False
Let i(f) = -19*f**3 - f**2 + 1. Suppose l + 2 = -2*j - 1, 4*l - 4*j = 0. Let v be i(l). Is v at least 20?
False
Let a be -6 - (3 - 1 - -1). Let k be 2/a + 392/1926. Is -1 greater than k?
False
Let j = -0.07 + 2.27. Let u = 0.7 - -1.1. Let a = u - j. Which is greater: a or -1?
a
Suppose -5*n + 207 + 113 = -3*z, -196 = 2*z + n. Is z at most -99?
True
Suppose -3 = q - 2*q - s, -q - 3*s = 3. Let p be (q + 0)*(-3)/(-2). Which is smaller: p or 10?
p
Suppose -344*g + 331*g = -169. Which is smaller: g or 47/4?
47/4
Suppose 153 = 24*y - 21*y. Suppose -46*p + y*p = 10. Which is smaller: 0 or p?
0
Let g be (3 - 5) + (-49)/(-26). Let c = g - 5/13. Is c bigger than 0?
False
Let w = 856/11 - 78. Which is smaller: -15/4 or w?
-15/4
Suppose -7*n - 160 = -11*n. Let a be (30/n)/(11/8). Is 2 less than a?
False
Let l = -21 - -23. Let x be 1 - 6/(-9)*3/l. Is x > 5?
False
Let t = -2.7 - -2.5. Let o be (5 + (-3 - 1))/(-1)*-13. Which is bigger: t or o?
o
Let t(f) = -10*f**2 - 12*f + 8. Let z be t(-3). Is z less than or eq