 5*a = -4*u - 347, 2*a = 3*u - 125. Is a at least as big as g?
False
Let o be -1*(-27545)/15 - (-4)/6. Which is smaller: o or 1843?
o
Suppose 0 = -4*t - 5*s - 1120, 4*s + 10 = -6. Let l = -251 - t. Is l less than 23?
False
Let d be (0/2)/(66 + -67). Is -62/57 greater than d?
False
Let t be 1/(2/12 - (-14)/(-72)). Let c be (216/80)/(t/105). Which is smaller: -8 or c?
-8
Suppose 353*h - 4081 = 348*h + 3*v, 0 = 2*h - 5*v - 1602. Is 817 >= h?
False
Let v(p) = p**2 + 17*p + 4. Let r be v(-17). Let b be 2 + (r - 96/17). Let n = 29/34 - b. Which is smaller: 0 or n?
0
Suppose -15*s + 12502 = 32*s. Let i = 267 - s. Are i and -215 equal?
False
Suppose -123 - 9 = 4*w. Let v = 221 + -92. Let p = v + -163. Which is greater: p or w?
w
Let q = 89 - 79. Suppose 2*z = q, -2*s - 2*z + 82 = -0*s. Suppose 0 = -3*j + 2*j + 35. Is j >= s?
False
Let i(r) = 2*r**2 - 68*r + 561. Let j be i(20). Do j and 1/186 have different values?
True
Suppose -44 = -11*q + 11. Suppose -25 = 4*m + m, -q*m - 21 = -4*y. Let a = -409/15323 - -1/1393. Which is smaller: a or y?
y
Suppose 0 = 4*u + 12, -i + 0*i - u = 112. Let v be 5910/(-54) - (-24)/54. Are i and v non-equal?
False
Suppose 0 = -596*y + 571*y - 25. Which is greater: y or -2/117?
-2/117
Let u = -22340/153 - -146. Suppose -18 = 6*c + 3*c. Let k(o) = -o**3 - 2*o**2 - o - 3. Let v be k(c). Is u smaller than v?
False
Suppose -x + 18 = 3*l, -l - x - 1 + 7 = 0. Is 159/35 != l?
True
Suppose 0 = 7*r - 9*r. Suppose r = 2*a + 6*a + 24. Is a at most as big as -3?
True
Let f = -840.32 - -766.3. Let y = -0.98 + f. Let l = -77 - y. Which is smaller: l or 3?
l
Let x be (2116/(-230))/((-2)/(-5)). Suppose -3*u - 168 = 4*u. Is u > x?
False
Let x be (-12)/(-22) + -53 + 61. Suppose -h - 2 = 0, 3*l = -2*h + 6*h + 32. Is l equal to x?
False
Let v = -1101 - -714. Which is greater: v or -385?
-385
Let r = -0.45 + 0.35. Suppose -66 = -9*n + 24. Let i = n + 3. Is i less than r?
False
Let b = -168.6 + 169.3. Which is bigger: 191 or b?
191
Let n(k) = -k + 6. Let w be n(-4). Let i be ((-3)/(-2))/((-1)/w). Let l = 74/5 + i. Which is smaller: l or 1?
l
Let g = 94090 - 1788306/19. Is -30 smaller than g?
False
Suppose 27013 = 6*k - 12860 + 10197. Which is greater: 4944 or k?
k
Suppose 2586*n - 2597*n = -1914. Is n equal to 167?
False
Let v be ((-1)/(-4))/((-4)/6). Suppose 2*t + 492 = 2*x, -2*x - 2*x + 996 = 2*t. Let m = 247 - x. Is v greater than or equal to m?
True
Let i = -8246 - -8196. Which is bigger: i or 30?
30
Suppose -35*i = -12*i + 5520. Let z be (-46*2/10)/(256/i). Is z at least as big as 2?
True
Let g(q) = q**2 + 4*q - 5. Suppose 2*r - 4*r + 2*v - 22 = 0, -8 = 2*r + 5*v. Let t be g(r). Let i = t - 48. Which is smaller: -6 or i?
i
Let m = -537095 - -9126235/17. Which is greater: -257 or m?
-257
Suppose n - m = 0, -3*m + 5 = -4. Let s(f) = -15*f + 147. Let h be s(11). Let r be (h/24)/n - 2/(-200). Is r greater than or equal to 1?
False
Let x = -52853866/3007915 + 4024/229. Are x and 1 non-equal?
True
Let d = 138 + -80. Let y = d + -57.904. Let i = 42.904 + y. Which is smaller: -0.2 or i?
-0.2
Let s(y) be the second derivative of -y**3 - y**2/2 - y. Let u be s(5). Let r be (2/3 + 77/33)/(408/(-4216)). Is r <= u?
True
Suppose 6*c - c = -3*p + 676, 2*c - 2*p = 264. Let q be 5*12/100 - c/(-10). Suppose 6*f - 5*f = 14. Is q bigger than f?
False
Suppose 77*a = 368*a + 177*a - 88*a. Is 35/159 < a?
False
Let y = -6641 + 59767/9. Which is greater: -2.312 or y?
y
Let j(u) = -3*u - 5*u - 11 + 3*u - 2*u + 6*u. Suppose -4*r - 12 = -2*r. Let h be j(r). Are h and -1 unequal?
True
Let w = -7423 - -7430. Which is greater: -10.27 or w?
w
Let b = -1.25183 - -56.35083. Let k = -0.099 + b. Let y = -54.9 + k. Is y less than or equal to -0.04?
False
Let w = -593 + 1213. Which is smaller: 619 or w?
619
Suppose -4*t + c + 2792 = -967, 4*t + 5*c = 3717. Which is bigger: t or 941?
941
Let q = 0.0818 + 418.9182. Let g = 421 - q. Is g at most 10?
True
Let h = 34458 + -34423. Which is smaller: h or 74?
h
Let n(t) = t**3 + 57*t**2 - 59*t - 57. Let m be n(-58). Which is greater: 49/198 or m?
m
Let n be 8651/(-22) + (-2686)/(-68) + -41. Is -394 < n?
False
Let n be (-1*(6 - 3))/(21/(-3)). Let c = 6 + -13. Let l = c + 11. Is n at most as big as l?
True
Let z = 1590 + -1591. Which is smaller: 2808 or z?
z
Let x = -2.2 + 2. Let i = x - -0.2. Let n be 25 + 503*(-24)/480. Which is smaller: i or n?
n
Let q(g) = 5*g**3 - 94*g**2 - 46*g + 415. Let i be q(19). Are i and -115 nonequal?
True
Let s be (-20)/50*5/221. Let o(w) = w**3 - 9*w**2 - 10*w - 1. Suppose 0 = 10*b - 3*b - 70. Let k be o(b). Which is smaller: k or s?
k
Let t be ((-1)/(-12))/(4880/7686). Is t at most as big as -1?
False
Let u = 86.9 - 87. Let a(h) be the second derivative of -h**5/20 - 5*h**4/6 + 2*h**3 + 4*h**2 + 34*h. Let s be a(-11). Is s bigger than u?
False
Let h = 65/51 + -82/51. Which is bigger: h or 1276?
1276
Let o = -242240 + 242420. Let c(n) = 179*n**2 + n - 1. Let y be c(1). Which is greater: o or y?
o
Let y = -3/1405 + -9829/2810. Is y less than -0.22?
True
Suppose -2*f - 2*j + 8 = -0*j, -16 = -4*f - 5*j. Suppose f*d + 2*d = 0. Is d not equal to 2/147?
True
Let r = 1.8961 - 2.6251. Which is greater: r or -0.1?
-0.1
Let j be (-18)/4*(-4)/6. Suppose w = -4*d - 64, -d - j*w + 10 - 15 = 0. Which is greater: d or -18?
d
Let a = 1.02 - 1.22. Let x = 19 + -21. Let z = 2.04 + x. Which is smaller: z or a?
a
Let w = -614.85 + 615. Let f = 4.85 + -3.7. Let s = w - f. Which is smaller: s or 17?
s
Suppose 2*c - 2 = 0, 4*f - 3*c + 275 = 108. Does -358/9 = f?
False
Let d be (6165/10)/((-3)/(-4)) - (-2)/2. Is 7 smaller than d?
True
Suppose 18*r - 30071 = 4219. Which is bigger: r or 1907?
1907
Let y = -1.9 - -2. Let z = 0.3 - y. Let k be (-6)/(-15)*((-2556)/279 + 9). Is z at least k?
True
Let b = 369.4 + -407. Let s = -42 - b. Let t = -1.4 - s. Which is smaller: 8 or t?
t
Suppose 0 = 4*s - 3*i + 8*i - 10, 5*i - 10 = 5*s. Suppose s*k + 20 = -4*k, -2*b - 2*k = 10. Let j = 1989/14 - 142. Does j = b?
False
Suppose 14734 = 36*b - 17558. Is 902 at most as big as b?
False
Suppose 44517*k + 1998 = 44499*k. Which is smaller: -22 or k?
k
Suppose 65*c = 57*c + 40. Suppose -118 = -2*b + 5*a, 132 + 44 = 4*b + c*a. Are 49 and b unequal?
False
Let c be ((-30)/32)/((-1)/4)*542/(-352029). Does c = -1?
False
Suppose -16 = -11*d + 3*d. Suppose 131 = t - 4*j, -d*t - t - 4*j = -313. Suppose -t*s = -115*s + 92. Which is smaller: 25 or s?
s
Suppose -7*x - 9 = -30. Let t be (x/40)/((-342)/24). Are -1 and t nonequal?
True
Let l(p) = 3*p**2 + 76*p + 474. Let t be l(-11). Is t less than 99/173?
False
Let b = 192.05079 - 0.05079. Which is smaller: b or 1?
1
Let w(s) = s**3 - 8*s**2 + 6*s. Let r be w(7). Let n be (-2)/r + 3384/1680. Which is greater: 3 or n?
3
Suppose 751 - 255 = 8*t. Suppose 0 = -0*r - 2*r - b + 115, 0 = -3*b - 15. Let d = t - r. Are 4/7 and d non-equal?
True
Suppose 5*z + 14085 = 5*f - 9435, -9408 = -2*f - z. Let w = f + -51790/11. Is w smaller than -5?
False
Suppose -3*s - s + u = -17, 0 = -4*s - 5*u + 11. Suppose j = 3, -h + 0*j + s*j = -191. Which is bigger: h or -1/4?
h
Let b = -1.225 - -0.225. Is b != 3496?
True
Let r be (330/847)/(3/(-42)). Let m be ((-12)/(-14))/(1/(-7)). Which is bigger: m or r?
r
Let j(q) = -q**3 - 5*q**2 + 20*q + 31. Suppose -2*l - i = 9, -5*l + 4*i + 17 = 72. Let r be j(l). Is r at most -11?
True
Let b(v) = -2 + v**3 - 2*v**3 - 15*v**2 + 4*v**2. Let o be ((-3)/(-2) - -4)/(2/(-4)). Let a be b(o). Which is smaller: -18 or a?
-18
Let j = -0.64377 - -0.94377. Let i be 2 - 1 - (-42)/(-38). Is j less than i?
False
Let m = -8749/15081 - -19/33. Suppose h = 33*h. Do h and m have the same value?
False
Let l(v) = 2*v. Let i be l(7). Suppose -5*r = i - 89. Suppose 0 = -d + 5, 0 = 5*s + 5*d - r. Which is smaller: 0.13 or s?
s
Let b be -5 + (-34338)/(-6480) - (-21)/(-210). Which is smaller: b or 0?
0
Suppose 3*b + 2*f = 5*b - 20, 2*f = 3*b - 25. Let i be (-25)/b + (1003 - -1). Let x be i/(-486) + 6/4. Are x and 0 equal?
False
Let k = -19115 + 21243. Is k at least as big as 2127?
True
Let n = 2569 + -2587. Is n smaller than -19?
False
Let u = 19/28 - 3/7. Let w = 137/5 - 9174/335. Does u = w?
False
Let l = 55 + 420. Suppose l - 359 = 2*m. Is m less than or equal to 58?
True
Suppose -3*h = 10*h. Suppose h = 4*m + o + 6