to a?
False
Let c be 64/12 + -6 + 3/18. Suppose 4*v + 194 = 3*u, -3*v + 69 = 17*u - 16*u. Is c >= u?
False
Let f = 245894 - 2706620/11. Is -162 equal to f?
False
Suppose h + 5*d + 836 = 0, 3*h + 76*d = 78*d - 2559. Is h greater than or equal to -850?
False
Let o = 10362 + -12474. Which is bigger: o or -2114?
o
Suppose -151*r = -157*r + 348. Suppose -10*g - r = 52. Is -9 != g?
True
Let r be -762*(-7)/2674 + 0 + -2. Let k = 689/22156 + r. Which is bigger: 0 or k?
k
Suppose -76 + 88 = -2*n. Let l(p) = -6*p**2 - 34*p. Let h be l(n). Which is bigger: h or 4?
4
Let y be 0/(3 + (-3)/(-7) + (-4216)/952). Let s be (-5)/40*2/74. Which is bigger: y or s?
y
Let m(h) = h**2 + h + 2. Let k(r) = 2*r**3 + r**2 - 1. Let v be k(-1). Let j be m(v). Let q = 4063 - 4062. Which is smaller: j or q?
q
Let q = -12166 - -16328. Which is bigger: q or 4165?
4165
Let z = 95629279742 - 103375243643848/1081. Let y = -7176 + z. Is y bigger than 0?
False
Let l be 80/(-30)*6/(-8). Suppose 2*v - 9 = b, -4*v + 6 = l*b - 0*b. Let j be (b/(-2))/(6/(-8)). Which is bigger: -3 or j?
j
Let f(z) = 2*z**2 - 142*z - 165. Let r be f(62). Is r greater than -1280?
False
Let u be 36/10*(42/(-204))/7. Let t = 617/595 - u. Suppose 0 = 4*h + 5*o - 8, 0*h + 2*h + 2*o = 4. Is h < t?
False
Let r = -96 + 164. Let g be (r/51)/(4/90). Suppose -5*z - g - 55 = 0. Is -17 at most as big as z?
True
Let f = -7884 + 7945. Which is smaller: f or 63?
f
Let h = -8/831 + -2173/33240. Do h and -1 have the same value?
False
Suppose 2350 = 1630*n - 1627*n - s, -5*s + 3184 = 4*n. Are n and 7 nonequal?
True
Let p(q) = -5*q - 185. Let h(b) = -38*b**3 - 2*b**2 + 2*b + 1. Let t be h(1). Let l be p(t). Let j be ((-5)/2)/((-1)/2). Which is bigger: l or j?
j
Let d = -4638 - -4637. Which is smaller: 1/242 or d?
d
Let t = -0.258 - -0.083. Let u = t - -0.135. Which is smaller: u or 8?
u
Let a = 0.1 + -0.3. Let o = 2.2 + a. Suppose v = 2*f - 19, -16 = -v - 70*f + 65*f. Does o = v?
False
Let k = -18.582 + 19.582. Is 2193 at least k?
True
Let l be (-12)/10 - (-33)/(-158625)*-5768. Is l < 0?
True
Let o(n) = -7*n**2 + 9*n - 9. Let f be o(1). Let q be -52 + f + 12/4. Is q greater than or equal to -56?
True
Let n(i) = i**3 - 25*i**2 + 25*i - 15. Let d be n(24). Let s(l) = -3*l - 12. Let p be s(-4). Let w = p - d. Do w and -2 have different values?
True
Let i(m) = 24*m**2 - 12*m + 14. Let b be i(7). Let w = b - 69676/63. Let s = 2575 + -2576. Which is smaller: s or w?
s
Let l(a) = 85177*a**3 - 4*a**2 - 10*a - 3. Let h be l(9). Let g = 5402054807/87 - h. Let m = g - -1032. Is -1 < m?
True
Suppose -6*g + 364 = g. Let i = -54 + g. Let j = 2 + i. Is 1 equal to j?
False
Let t = -652 - -318. Let q = t - -333. Is -6/43 < q?
False
Suppose 3*t + 106 = 4*h - 113, -3*t + 2*h - 219 = 0. Let k = t + 145. Let o = 143/2 - k. Which is greater: o or 9?
9
Let g = 345290887/218614 - 17374/11. Is 0 less than or equal to g?
True
Suppose -10948 = 5*q + 5*h + 16037, -2*q + h = 10791. Is q greater than -5395?
False
Let a = -49 - -47. Let l be (5 - 11)*(422/6 - a). Let v = 3046/7 + l. Which is greater: v or 2?
2
Let x = 120 + -122. Let q be (14/8)/(42/(-56)). Which is bigger: x or q?
x
Let u be 3*(-1 + (-10)/(-6)). Suppose 1 = u*q + 5. Let k = -67.13 - -67.35. Which is smaller: q or k?
q
Suppose 0 = k - 2*u + 5354, -21367 = 8*k - 4*k - u. Is k less than -5341?
False
Let t = -240/727 - -699106/2122113. Do -2 and t have different values?
True
Let k be 1190/(-86) + (26 - 11). Which is bigger: -1/3 or k?
k
Let u = 0.1088 + -621.1088. Let i = u + 619.962. Let r = -0.038 - i. Which is bigger: 2/53 or r?
r
Suppose -30*t + 57*t = 8521 + 9731. Is t <= 676?
True
Let a = -5.03 - 20.21. Is 0.1 smaller than a?
False
Let x = -8929.8 + 8930. Which is bigger: x or -1682?
x
Suppose 0 = -7*l + l. Suppose -u - 24 + 18 = l. Let j = u + 9/2. Which is smaller: -3 or j?
-3
Let o = 8 - 59. Let r = o + 50. Are 2/11 and r equal?
False
Let i be (-3 + 17/6)*552/486. Which is smaller: 0 or i?
i
Suppose -5*d + p = -63, -d + 4*p = 4*d - 72. Let x = 42 + -39. Suppose 2*i = -3*g - 27, 3*g + d = x. Is i < -9?
False
Let g(d) = 98*d - 452. Let l be g(4). Suppose q - 3*q - 120 = 0. Is l bigger than q?
False
Let g = 285701/11528644 - 3/16684. Is 1 bigger than g?
True
Let d = -176 + 173. Let g be 17/153*d + 11/51. Suppose -4*t - 3*a - 5 - 2 = 0, 5*a + 31 = 3*t. Which is greater: t or g?
t
Let w = 75410 + -75455. Let x = 0 - 0.2. Is w at least x?
False
Let j be 2/8 - 94/(-8). Suppose -77 = 45*z + 13. Let d be -13*(3 + -2 + z). Is d at most as big as j?
False
Suppose -4*r - 8 = -0. Let u be 25/(-4) + r/1*1. Suppose -4*c - 17 = 11. Is c less than u?
False
Let w = -9090 + 9091. Which is smaller: w or -1/1737?
-1/1737
Suppose 3*i = -4*n + 1075, 0 = 2*i + 13*n - 11*n - 714. Suppose 10*r - i = -23. Are r and 35 unequal?
True
Let u be (-88)/12 + (-2)/(-6). Let x = u - -8. Let s = -422/87 - -13984/2871. Which is greater: s or x?
x
Let v be 11/9 + -1 - 95/(-855). Do 2191 and v have different values?
True
Let x = -282.9 - -282.9. Which is greater: 39 or x?
39
Let j = -7749 - -271214/35. Suppose -4*p + 9*p = 0. Which is smaller: j or p?
j
Let b = -27 - -84. Let m be 16/20*(-1 - 1 - -7). Suppose 228 = 4*u - 16*v + 11*v, 0 = m*v. Are b and u equal?
True
Let i(c) = c**2 + 49*c + 447. Let v be i(-37). Suppose 2*g + 5*p - 3*p + 8 = 0, 2*p + 14 = -5*g. Let x be g/v*6/(-68). Which is smaller: 0 or x?
0
Suppose h + 3 = 4*h. Let o be 1/7 + ((-2118)/672 - -3). Which is greater: h or o?
h
Suppose 12 = 35*b - 23. Let h be (1 - 4)*-10 - 0. Which is smaller: b or h?
b
Let u = -1502222/2035 + 3691/5. Which is smaller: -1 or u?
-1
Suppose 57 = 35*w + 22. Let b = -7 + 12. Let a be -6 + b + (3 - 1). Are w and a equal?
True
Let c = -4173 + 137705/33. Which is bigger: c or 7?
7
Let a = 32740 + -1215734419/37133. Is a greater than -1?
True
Let r(m) = 143*m**2 + 28171*m + 1. Let x be r(-197). Let c be (-188)/(-279) + 2/(-3). Are c and x unequal?
True
Let v = -2231 - -2231. Which is smaller: 537 or v?
v
Let x be 2*((-930)/(-12))/(-31). Let l(j) = -2*j**3 - 8*j**2 + 9*j + 3. Let d be l(-7). Let p be x*((-4)/16 + d/40). Is p bigger than -27?
False
Let t(v) = -v**3 - 10*v**2 + 14*v + 34. Let c be t(-11). Let h = 49 + -28. Which is smaller: c or h?
c
Suppose -81*u + 178883 + 159454 = 0. Is u greater than 4176?
True
Let a(h) = -h + 1. Let b be a(-4). Suppose 2*j - 3*w = w - 214, -b*j = -5*w + 550. Let l = 84 + j. Is l less than or equal to -28?
True
Let w = 4 + -2. Let a = 2 - w. Let t = -3/3517 + 7097/73857. Do t and a have the same value?
False
Let s be 5*30/375 - (-72)/70. Let o(m) = 17*m + 1. Let w be o(-1). Which is greater: w or s?
s
Let c = 12339 + -17856. Let u be (c/(-15) - -1)*(-20)/(-22). Let l = u + -335. Is -1 greater than or equal to l?
False
Suppose 91*u - 18 = 88*u, -3*u + 10 = 4*o. Which is smaller: 3.39 or o?
o
Let c = -8551 + 3692. Which is smaller: c or 1?
c
Let c = -20163 - -20175. Are c and 112/9 non-equal?
True
Let x = 0 - -17. Let n = 17.11 - x. Let g be (-18)/60*(-5 - ((-250)/12)/5). Which is bigger: n or g?
g
Let m = 0.2892 - 675.1892. Let j = m + 675. Which is greater: 16.7 or j?
16.7
Let z = -81 - -157. Let x = -77 + z. Let r = 0.18 - 0.03. Which is greater: x or r?
r
Let x be ((-3)/3 - 3) + -2198 + 25. Which is greater: x or -2171?
-2171
Let v(q) = -q**2 + 2*q + 153. Let p be v(-12). Let t be 3744/(-512)*(-1 + p/(-9)). Which is bigger: t or -5?
t
Let p(x) = x**3 + 16*x**2 + 6*x + 66. Let c be p(-16). Let d(t) = -t**3 - 5*t**2 + 4*t - 8. Let y be d(-5). Is y greater than or equal to c?
True
Suppose -39*s + 69*s + 204*s = 0. Which is smaller: s or -52/141?
-52/141
Let s be (-2)/(-23) + (-5875)/10695. Let d be 78/124 - 4/8. Let q = d + s. Is q > 0.047?
False
Let i = 133.44 + -133.44. Which is greater: i or 6661?
6661
Let u(f) = f - 22. Let o(z) = -11. Let d(a) = -11*o(a) + 6*u(a). Let x be (6/8)/((-525)/(-1400)). Let r be d(x). Are 3/28 and r non-equal?
True
Let j(x) = 2*x**2 + 10*x - 16. Let i be j(-8). Let g(d) = d**2 - 29*d + 40. Let p be g(i). Is 136 equal to p?
True
Let o = 1 - -2. Let x be o + (188445/(-123) - -1). Let s = 1528 + x. Is 1 > s?
True
Let k be 13 + (-7 - -3) + 4. Suppose 4*f - 3*m + 229 = 0, -f - 12*m - 57 = -k*m. Do -58 and f have the same value?
True
Suppose -12*v - 929 + 4997 = 0. I