se m*r = -260 - 510. Which is smaller: -54 or r?
r
Suppose 5*y = -19*y + 14976. Let l be (-1451)/((21/(-9))/1). Let q = y - l. Is q != 3?
True
Let k(g) = -35*g**2 - 17*g - 19. Suppose 0 = -30*d + 32*d + 2. Let r be k(d). Which is smaller: -184/5 or r?
r
Let l(x) = 2*x**2 - 65*x + 223. Let k be l(4). Is -197/34 smaller than k?
True
Let l = -482 - -484.43. Let w = 0.07 + l. Let q = w - 2.6. Is 0.2 less than q?
False
Suppose -2*x - 6 = 0, -2*w + 25 = -6*w + x. Let o(t) = 304*t + 31. Let j be o(w). Let a = j - -509573/243. Which is bigger: a or 1?
1
Let r be ((-5888)/704)/46 + (7256/(-11))/2. Let z(y) = -82*y**2 - 3*y + 3. Let n be z(2). Is r less than n?
False
Let a = 2407502253002/573071955 - 23/6742023. Let h = 4201 - a. Is 0 >= h?
True
Let j = 314 + -312. Suppose 2*v + 2*c - 18 - 4 = 0, 4*v + j*c = 46. Is v smaller than 12?
False
Let f = -5861 - -5869. Is f greater than -668?
True
Let h(r) = -r**3 + 5*r**2 - r - 4. Let b be h(4). Suppose -5*p + 8*p + 0*p = 0. Suppose 2*a + 2*q + b = 0, -4 = -p*a + 2*a - 2*q. Which is smaller: a or -20/11?
a
Suppose -4*c + 9*c = -5, 5*i + 3*c = -503. Let l = 481 + i. Which is smaller: l or 382?
l
Let y be ((-38)/(-6))/((-458)/720 + 340/544). Which is bigger: y or -571?
y
Let z = -305 + 167. Let p = z - -219. Is p <= -1?
False
Let c = -441 + 521. Is c at most as big as 80?
True
Let f be (-5719)/63 - (6/27 - 0). Suppose -14*h - 473 - 815 = 0. Which is smaller: h or f?
h
Suppose -11124 = -0*v + 36*v. Let d = -306 - v. Are d and 15/8 unequal?
True
Let a = 12 - -225. Let v = -214 + a. Is v bigger than -1?
True
Let w(p) = -p**2 + 12*p + 66. Let o be w(-4). Let i be o - -1 - (5 - 20). Suppose 86 = 5*g - 9. Which is smaller: i or g?
i
Suppose -53*x + 48*x = 0. Suppose x = -13*n + 3*n - 60. Is -2 less than n?
False
Let d = -2950 + 2970. Is 7 equal to d?
False
Let p = -11/20259 - -55285/89382708. Which is bigger: p or 0?
p
Let y be (-13)/(-11) - 1 - (-26600)/(-6545). Suppose 0 = 2*g + 3*g + 4*v, 2*v = -2*g + 2. Are g and y equal?
False
Suppose 139 + 323 = -11*b. Let g be 11/2 - b/84. Is 26/5 at least g?
False
Let r be -55 + (1 - (-16)/(-4)). Let d = r + 62. Suppose 2*a = q + a - 23, -d = -2*a. Is q <= 24?
False
Let n = 78 + -99. Let v be ((-2)/(20/(-15)))/n. Which is smaller: -1 or v?
-1
Let p = 162 - 115. Let o = p - -157. Let d be (676/o - 3)*-3 + 2. Which is greater: 2 or d?
2
Let k(l) be the first derivative of 4*l**3/3 + 12*l**2 + 10*l - 173. Let o be k(-8). Let w(q) = -q - 2. Let a be w(-2). Is a less than or equal to o?
True
Suppose 0 = -4*o + 686 - 254. Let n be (-5)/((-1)/2 + (10 - (-231)/(-22))). Suppose c + n*c = o. Is c bigger than 16?
True
Let k be ((-6)/4)/((-3)/52). Let f be 10/35*(-8 + -1 + 0 + 2). Let i be (-11)/f + 39/k. Is 50/7 bigger than i?
True
Let x = 153.0226 + -0.0226. Let u = 101 - x. Which is smaller: u or -0.2?
u
Let f be 64/(-864) - (-2 - 3904468/(-2027376)). Is 0 bigger than f?
False
Suppose 10*x - 13*x = 657. Let s = x - -327. Is 108 at most s?
True
Let m(u) = u**3 - 15*u**2 + 13*u + 32. Suppose -2*p - g = p - 44, -16 = -p - g. Let o be m(p). Let n be o/(-9) - (-1 - -1). Which is greater: -5 or n?
n
Let q = -4.4 + 10.08. Let w = q + -5.28. Is -1.2 less than w?
True
Suppose -8*p + 3*p - 23 = 2*o, 4*o = p + 9. Is o > 1/35928?
True
Let p = 14796 + -15344. Which is greater: -3 or p?
-3
Suppose 17922 = -77*c - 15727. Is -436 <= c?
False
Suppose -j = -10*j. Let p = -1 - -5. Suppose -3*g + j*w - 9 = 3*w, -5*g - p*w = 17. Is g greater than -5?
False
Let a(x) be the third derivative of -x**6/120 - x**5/15 - x**4/4 - 4*x**3/3 - 2*x**2 + 22. Let q be a(-3). Which is bigger: q or 23/12?
23/12
Let d be (102561/(-243))/(8/(-4) - -1). Let q = -422 + d. Which is smaller: 1 or q?
q
Let m(r) = 243*r + 7809. Let g be m(-33). Which is greater: g or 0.02?
0.02
Let c = 3.798 - 3.798. Is c smaller than 3/203?
True
Let l = 258 + -263. Let h be (580/(-75) - -8)*l/2. Which is smaller: h or -33?
-33
Let m = -0.08 - -0.28. Let n = 0.04 - -0.003. Let s = n - -31.957. Does m = s?
False
Let x(p) = -154*p**2 - 2466*p - 32. Let j be x(-16). Let z be 1/4 + (-35)/204. Let k = z + -89/1785. Which is bigger: j or k?
k
Let r(s) = -963*s - 69328. Let x be r(-72). Let m be 466/60 - (-2)/5. Do x and m have the same value?
False
Let z = -745 - -976. Which is greater: z or 0.8?
z
Let v be 6054/339*(-5)/(-10) - 9. Which is smaller: v or -1?
-1
Suppose 0 = -5*u + 5*p + 910, -5*u + 904 = -0*u - 2*p. Let s = u - 216. Which is smaller: -38 or s?
-38
Suppose 0 = 16*d - 14*d + 26. Let y(t) be the first derivative of -t**2 - 8*t - 10. Let i be y(3). Which is bigger: d or i?
d
Let u be (-20)/30 - (-770)/(-6). Let w = u - -146. Are w and 17 unequal?
False
Let v = 86 - 86. Suppose -5*s + 5 = 4*d, 2*d = -5*s - v*d + 15. Suppose -2*a - 5 = 3*x, s*a + 3*x = -0*x - 8. Is 2 < a?
False
Let p = -16849 + 24902821/1478. Which is greater: p or 0?
0
Let i be (-548)/274*((-6)/(-21) - (-768)/(-2884)). Which is bigger: -1 or i?
i
Let s be ((-2200)/(-15))/22 + -6. Are 3929 and s unequal?
True
Let j(m) = -325*m - 15599. Let t be j(-48). Is 46/53 at most as big as t?
True
Let r be 632/6*3030/(-2020). Which is smaller: -105 or r?
r
Let v(k) = -186*k + 25473. Let m be v(137). Let f = -0.03 + 0.63. Which is greater: f or m?
f
Let k = -2.2 - 14. Let s = -28.1 + 32.3. Let q = k + s. Are q and -3 unequal?
True
Let f(b) = 42*b - 5041. Let q be f(120). Do q and -1/11654 have the same value?
False
Suppose 103*r = 67*r - 36. Which is smaller: 8/369 or r?
r
Let c = -189/22 + 100/11. Suppose -24 + 10 = -y + 3*d, -5*y - 2*d = -2. Is c bigger than y?
False
Let g(h) = 510*h - 465. Let l be g(2). Which is bigger: -9 or l?
l
Let b be (-885)/21830*3/(-9)*16. Suppose 4*r = 5*r. Which is smaller: b or r?
r
Let t = -83597/4016157 + 10/489. Is t bigger than 1?
False
Let j = 12427 - 12428. Are 3.773 and j unequal?
True
Suppose -3*m + 2148 = -7*m. Let v = m + 499. Suppose 4*z + 56 = -2*f, 0 = 4*f + 5*z - z + 132. Is f bigger than v?
False
Let d = 29.864 + -29.8. Let r = -517 - -523.064. Let a = r - d. Is -2/3 at most a?
True
Let k = -26.59 + 22.49. Which is smaller: -43/2 or k?
-43/2
Suppose 11*f + 5428 = 1138. Let j be 260/f*((-5)/8 + 1). Which is greater: j or 80?
80
Let o = -0.0805 - 33.9195. Which is greater: o or -47?
o
Let c = -124 + 54. Let y = c - -80. Let z be 6/y*1*14/21. Which is greater: z or 0.5?
0.5
Let y = 2227 + -2226. Are y and -5/607 non-equal?
True
Suppose 0 = z + 2*j + 88, 4*z + 181 = 2*z + j. Let d be (80/1176)/((-4)/z). Let u = d - 4047/2548. Is -1 equal to u?
False
Let b = -663.53 + -1.47. Let s = b + 391. Which is smaller: 0.1 or s?
s
Let t = 1799871949/1545523 + -3/220789. Do 1165 and t have the same value?
False
Let s be (925/148)/((-3)/(-120)). Is 35 greater than or equal to s?
False
Let c(u) = 8*u - 3*u - 6*u + 2. Let s be c(-8). Let i = -5287/6 - -891. Which is greater: s or i?
s
Let a = -5723 - -5722.9. Which is bigger: a or -11223?
a
Let s = 43062 + -27774. Which is bigger: s or 15287?
s
Let i = -0.163 + 147.103. Let u = i - -0.06. Let w = 136 - u. Is -1/6 != w?
True
Suppose 62*k = -59*k + 117*k + 19500. Is k smaller than 4874?
False
Suppose -2*b - 18 = -11*b. Suppose 3*x - 49 = -3*w - 16, 0 = b*w + 3*x - 26. Suppose -200 = -o - w*o. Which is smaller: o or 23?
23
Let n(z) = -5*z + 21. Suppose -4*i = -8, 2*a - 13 = -3*i + 7. Let p be n(a). Suppose 0 = 5*q - q. Which is greater: q or p?
q
Let h = 667 + 432. Which is bigger: h or -2/5?
h
Let b be 1/(-4) + 10/12. Let p be (-90)/(-225) + 18/5. Suppose -2*f + 2*o + 6 = 0, -3*f + p*o = -0*o - 10. Which is smaller: f or b?
b
Let n be (-5)/6 + (2 - (-9757)/66) - 8. Is -84 not equal to n?
True
Let p = -5778 + 3586. Let a = p - -37274/17. Is a less than or equal to 2?
True
Suppose -8 = 4*m - 2*m, 4*m + 35 = o. Let n = -2 - o. Let w be 2 - (n - (1 - 0 - 1)). Is 23 >= w?
True
Suppose -2*i + 7*i = -40. Let f be -4*((-266)/i)/1. Let w be 28/f*(0 - 1). Is w at most 1?
True
Let b = -61.39 + 61.11. Which is smaller: b or -24.6?
-24.6
Let v be ((-65)/(-130))/((-1)/(-1568)). Suppose -s + v = 887. Is s bigger than -99?
False
Suppose -3*l + 0 + 6 = 0. Suppose -z - 2 = l*v, 6*v = -z + v + 7. Let y be ((z/132)/1)/((-4)/(-3)). Which is smaller: 1 or y?
y
Let t be 0 - -1*2 - -1. Let z be -18 - (t/(-3) + 0). Let y = 486 - 50