ue
Let q = 1.13612 + -0.13612. Which is smaller: q or 97.84?
q
Suppose -2*h + 9*j - 2 = 13*j, 3*h - 3*j = 15. Let l be ((-1)/((-20)/(-12)))/(h/(-75)). Which is bigger: l or 7?
l
Let a(h) be the first derivative of -h**4/2 + 14*h**3/3 + 5*h**2 - 3*h - 3. Let u be a(7). Let f = 40 + 28. Do u and f have the same value?
False
Let k(r) = -r**3 - 27*r**2 - 129*r - 1340. Let s be k(-24). Let i(a) = -a + 28. Let f = 0 - 0. Let j be i(f). Is j less than or equal to s?
True
Let z = -46291 - -187833/4. Let c(v) = 5*v**2 - 25*v - 89. Let i be c(-10). Let k = z - i. Which is bigger: k or 5?
k
Let x = -84 + 45. Let b = x - -54. Suppose b = 4*v + 3*a, -3*v + 4*a = -7 + 27. Is v bigger than 7/9?
False
Let f be (250957/5)/(12*4/10). Let h = -10458 + f. Let r = -4/3 - h. Is r not equal to 0?
True
Let g(b) = -b**3 - 12*b**2 - 22*b - 16. Let n be g(-10). Let q = -115.04 + 119. Let p = q + -4. Which is greater: n or p?
n
Suppose k = 5*g - 1141, -3*g - k = -800 + 109. Let b = -157 + g. Do 72 and b have the same value?
True
Let x(z) = 2*z - 10. Let s be x(5). Suppose s = 2*y + 3 + 5. Let a be y/(-20)*8/2. Which is smaller: 1 or a?
a
Let v(c) = -3*c + 28. Let t be (42/(-5))/(4/20*-2). Let u be v(t). Which is smaller: u or 2?
u
Let k = -0.4201 - -0.2721. Let n = -0.048 + 0. Let t = n - k. Which is smaller: -0.06 or t?
-0.06
Suppose -3*x = 5*n - 1232 - 179, 3*x + 1429 = 5*n. Let a be ((-2)/n)/(4/2824) - -5. Is -2/9 < a?
True
Let g be ((-20)/(-4) + -7)*-64. Suppose -2*p + g = 158. Is -15 <= p?
True
Let q be (19768/32 + -5)*(-4)/(-18). Let g = 297/2 - q. Let z = g - 35/3. Is 1/5 >= z?
False
Let y be (-6120)/(-462) - (-2)/11. Let a = -76/7 + y. Let h be (-7627)/(-3682) + (-2)/28. Is a smaller than h?
False
Let v = -15159 - -15159.003. Let h = -2 + 2. Is h <= v?
True
Suppose -d + 2*s + 2*s = -9, 5*d - 3 = -s. Let x = 3338 - 13343/4. Which is greater: x or d?
x
Let q = -132 + 148. Let k be (-4)/q - ((-11271)/2700)/17. Do 1 and k have different values?
True
Let l = -6740/143 - 1875/13. Let o = l - -2130/11. Is 3 equal to o?
False
Let f(j) = -3*j + 50. Let r be f(15). Suppose 5*d - 3*c = 81, 0 = -d + r*d + c - 75. Is d smaller than 23?
True
Let r(o) = -3*o - 155. Let b(k) = 6*k + 309. Let s(l) = -3*b(l) - 5*r(l). Let v be s(-34). Which is smaller: v or -47?
v
Let p(b) = 4*b**2 + 12*b + 8. Let z be p(9). Suppose -2*d = -4*j - j - z, -3*j = 5*d + 295. Which is smaller: -179/2 or j?
j
Let o be 25/(3*(-20)/4860). Which is bigger: -2023 or o?
-2023
Let k = 80 + -23. Let b = k + -56.59. Let q = 1.41 - b. Do q and -1/5 have different values?
True
Let q = 2.08 - 2.28. Let w be (2/45)/((-16)/24). Which is smaller: w or q?
q
Let s be 1 - -3963*(-7)/126. Let d = s - -218. Which is smaller: d or 1.4?
d
Let b(r) = 3*r**3 + 36*r**2 - 28*r - 83. Let n be b(-13). Are -256 and n nonequal?
True
Let f(z) = -z**2 + 15*z + 54. Suppose -4*d + 9*j - 5*j = -88, 0 = -4*d + 3*j + 83. Let o be f(d). Is o at most 20?
True
Suppose 2*n - 187 = n. Let m(v) = -3*v**2 + 3*v**3 - n*v - 2*v**3 + 3 + 184*v. Let x be m(3). Which is smaller: x or -10?
-10
Let q be ((-384)/(-4752))/((-5)/(-3)). Is q greater than or equal to 0?
True
Suppose -685*q + 677*q + 16 = 0. Let l be -401*(-3 - (-4)/q). Is l greater than or equal to 401?
True
Let p = -1.1849 + 0.8449. Are p and -8 non-equal?
True
Let b be (-4 - 0 - (-4653)/54)/(285/114). Which is greater: 33 or b?
33
Let l = 46031 - 507081/11. Let w = l + 462544/6875. Which is smaller: w or -1?
-1
Suppose 0 = -22*i + 1151 - 359. Let q = i + -127. Is q smaller than -89?
True
Let v = 220 + -211. Let s be 11/(-33)*6/v. Which is smaller: s or 0?
s
Let t = -2738.6 + 2738. Which is smaller: t or -3.3?
-3.3
Let b = 522 + -35877/70. Let t = b - 59/10. Is 3 at most t?
True
Let f = -4333652/37661 - 20/2897. Does f = -114?
False
Let u be (-1)/((-262)/86 - -3). Let f = u + -18. Let s = -30 + 35. Which is smaller: s or f?
f
Let d = 126.83 - 126.82. Is d at most as big as -5.03?
False
Suppose 2*v - 3*m = 22, 37*m - 12 = -3*v + 38*m. Is v less than or equal to 81/35?
True
Let i = -228 - -230. Suppose 40 = i*u + 54. Is u at least 1?
False
Let v = 118 + -148. Let c = v - -32. Which is greater: 7 or c?
7
Let m be (-1)/(-5) + (-15190)/(-175). Let z be 4/(-62) + (-222589)/(-2542). Which is greater: m or z?
z
Suppose -5*x - 2*t + 4*t + 503 = 0, 0 = -3*x + t + 302. Let n = -44 + x. Is 56 less than or equal to n?
True
Let w be 801/774 - (-1)/(-1). Let q(m) = -3*m**3 + 26*m**2 + 80*m - 640. Let s be q(9). Is w smaller than s?
False
Suppose 99*b - 93*b = -4404. Let v be b/(-8) - (-8)/(32/(-3)). Which is smaller: 90 or v?
90
Let a = 13324 - 22842. Which is smaller: -9517 or a?
a
Let r = 17077/2 + -10042. Are -1504 and r equal?
False
Suppose 63*v = 3*v - 408*v - 1377792. Which is greater: v or -2942?
-2942
Let v(z) = -z**3 - 6*z**2 - 4*z + 7. Let u be v(-5). Suppose u*m = m. Let l be 28/12 - 1/(315/1176). Is l <= m?
True
Let m = 116.782 + -116. Let c = m - 0.832. Is c < -68?
False
Let h = 2580 + -2577. Is 1.22 >= h?
False
Let z = -8261 + 5216. Is -1/3 equal to z?
False
Let b(d) = 2*d + 96. Let r be b(-48). Suppose 3*p - o + 178 = 0, r*p = -5*p + 4*o - 299. Which is smaller: p or -237/4?
-237/4
Let d be (3 - 2) + (-19)/11. Let v = 28278 + -28278. Which is greater: v or d?
v
Suppose -4*u = -6*f + 2*f + 12, -3*f + 17 = u. Suppose -2*x + 5*w + 9 = 2*w, -f*w + 7 = 4*x. Are x and 13 non-equal?
True
Let r be (-6)/(-5)*(-110)/8. Let l = 70390 + -70408. Is r greater than l?
True
Let v(h) = h**3 + 4*h**2 - 3*h + 12. Let y be v(-5). Suppose 7*l - 40 = -a + 5*l, -2*a + 84 = y*l. Let r be (3/2)/(6/a). Which is smaller: 5 or r?
5
Let n = -5.35 + 6. Let l = 1.4 - 2.15. Let c = l + n. Which is smaller: c or -17?
-17
Let b = 7688 + -7689. Which is smaller: -284/3 or b?
-284/3
Suppose -241*f + 234*f + 15 - 57 = 0. Let v = -1 + -7. Do f and v have different values?
True
Suppose 16*a = 12*a - 8. Let c be -2*a/(3 + 1). Let l be 142/(-754) + (-92)/(-598). Is c bigger than l?
True
Let x be 2 + -2*(-51)/(-52). Let a = 449 + -445. Suppose -a*p - 10 + 14 = 0. Which is smaller: x or p?
x
Let l = -474 + 795. Let n be 3/(-5) - l*2/(-1050). Which is smaller: 1 or n?
n
Suppose 1364 = 379*m - 348*m. Suppose j + 3*l = -19, -5*j + l - 5*l - 40 = 0. Is j >= m?
False
Let x(v) = 2*v - 9*v - v**2 - 8*v + 2*v**2 - 16. Let d be x(16). Suppose d*z = -2*z + 4. Is 10/3 at least z?
True
Suppose 29*h - 19 = 28*h. Suppose 0 = h*l + 4 - 80. Is -30 at most l?
True
Let j = 33499 - 33500. Let l be 3*(18/(-8) + 2). Is l at least as big as j?
True
Let v(p) = -21*p + 1627. Let s be v(35). Is 891 bigger than s?
False
Suppose 5*h - 110 = -25. Suppose 6*k + h = -37. Let i = k + 11. Which is smaller: -3 or i?
-3
Let t = -22.144 + 21.144. Which is bigger: -2290 or t?
t
Let r be (-30)/(-4) + 10*(-18)/(-45). Suppose 3*g - 6 = 9. Suppose g = u - 3*i, 2*u = -i + 22 + 2. Is u greater than or equal to r?
False
Suppose -3*i + 614 = 4*w, 15*i - 20*i = 4*w - 1034. Suppose 412*v + i = 407*v. Is 0.1 greater than v?
True
Let d = -70.3 + 57.3. Suppose 0 = -4*f + 7*l - 8*l - 19, 0 = f - 5*l - 11. Which is smaller: d or f?
d
Let c = -22 + 24. Let g be ((-142)/63 + c)*(-39)/52. Suppose -4*i = x + 1, 4*i + 4 = -2*x - 2. Which is smaller: g or i?
g
Let z be -1 - -2 - (-35 - 4247). Does 4281 = z?
False
Suppose -16 = m + 4*x, x = -5*m + 3*x - 102. Let o(k) = k + 5. Let f be o(4). Suppose 6*s = f*s + 57. Which is smaller: s or m?
m
Suppose 11 + 13 = -f. Let v be 152/(-114) + (-164)/(-6) + -3. Let y = f + v. Is y at least as big as -1/20?
False
Let f be (-63)/118 - (-1)/2. Suppose -10*j - 172 = 8. Let z = j - -18. Which is smaller: f or z?
f
Let h(z) = -z**2 + 17*z - 12. Let i be h(9). Let n be (-1 - 2691)/((-410)/i). Let u = 394 - n. Which is smaller: -2/5 or u?
-2/5
Let r = -1583075 - -1583310.0319. Let j = r - 0.0319. Are j and -0.1 equal?
False
Let k(g) = g**3 - 3*g**2 - 2*g - 2. Let r be k(4). Suppose -2*i = -2*c + r, i + 7 = -3*i + 5*c. Let w be 66/i + (1 - 3/4). Does -9 = w?
False
Suppose 0 = 3*j + 155 - 17. Suppose -26 = 2*d, -4*m - 7*d + 37 = -9*d + 203. Which is smaller: j or m?
m
Let w(i) = -i**2 + i - 4. Let a be w(2). Let y be (16/(-3))/(a/72*-4). Suppose 5*l + 4*q = -81, 0 = -5*l + 3*l - 5*q - 29. Is l > y?
False
Let p = 12176 - 12173. Let c = 155/21 + -40/7. W