e a(d). Is y equal to r?
False
Let u be (-2)/10 + (-42)/(-10). Let w be 1 + (-18804)/(-20) + 3 + 4. Let l = -944 + w. Which is greater: u or l?
l
Let u = 7440 + -7342. Is 3/28 < u?
True
Let a = 80.56 - 80.63. Which is smaller: a or 493?
a
Suppose f + 0*f + 4*o + 56 = 0, 5*f = -5*o - 265. Let n = -38493 - -38441. Is n less than or equal to f?
True
Let s = 33.27 - 33.2. Which is bigger: s or -14.4?
s
Let l be 3*(-2)/(-15) + (-19695)/(-325). Is 303/5 bigger than l?
False
Let b be (-50)/(-35) - 14/98*17. Is b not equal to -2/10415?
True
Suppose 10 = 3*q + p, -14 = -4*q + 3*p - 5*p. Suppose 0 = -q*c + h - 5, -2*h = c - 9 + 6. Is c > -6/199?
False
Let f(q) = -q**3 - 25*q**2 - q - 24. Let m be f(-25). Let s be m/4 - (7 + 1)/288. Let v(u) = u + 2. Let j be v(-2). Which is bigger: j or s?
s
Let x = 1.422 - 747.422. Let w = x - -799. Is -3 at most w?
True
Let k = 93.1 - 86. Let t = k - 3.3. Let n = t + -3.7. Which is smaller: n or 3/13?
n
Let l = -201.1 + 27.1. Which is bigger: l or 2/3?
2/3
Suppose -2*f + 3*f + 3 = 0. Suppose 4*j + 19 = -29. Let r be (-48)/36*j/16. Is f at least as big as r?
False
Let d = 589 - 593.19. Let z = -4.9 - d. Let l = -0.29 + z. Which is greater: l or -5?
l
Let n(f) = 74*f**2 - f - 1. Let x be n(-1). Suppose 4*q - 2*r = -x, -4*r = 4*q + 71 + 33. Let d = q + 24. Which is greater: 0.12 or d?
d
Suppose -96*d = -100*d + 1544. Does d = 386?
True
Let f = -59.49 + -0.51. Let n = f - -2. Let g = -50 - n. Which is bigger: g or -1/4?
g
Let s(q) = -q**3 - 36*q**2 - 298*q - 5. Let u be s(-23). Let m(z) = -z**2 - 5. Let b be m(-4). Let w be 6/b - (-22)/28. Which is greater: w or u?
w
Let y be -1*67 + (-2)/(-2). Let w be 1 - -607 - (6 + -16 + 4). Let l = -681 + w. Is y at least as big as l?
True
Let h(b) = -12*b + 52. Let t(f) = -4*f**2 + 101*f - 21. Let r be t(25). Let y be h(r). Is 31 < y?
False
Let g be 2/(-128)*4*(-2)/10. Let l = -39 - -43. Let k be ((-12)/l + 4)/(-1). Which is bigger: k or g?
g
Let j = 387 + -291. Let k = 177 + -82. Is k < j?
True
Let a be (1 - (-15)/(-2) - (-375 - -370))*11318. Which is bigger: -16976 or a?
-16976
Let q(j) = j**2 - 18*j - 8. Let a be q(14). Let l = 22.3 + -22. Let s = 1.3 - l. Do a and s have the same value?
False
Let o = -21821 + 65272/3. Let t be 3081/45 - 1*-1. Let l = t + o. Does 6 = l?
False
Suppose 2*a - 36 = 3*a - 4*b, -3*b = 0. Let l = 18 + a. Let f = l + 18. Which is bigger: 2/7 or f?
2/7
Let b = 4162 - 3749. Which is bigger: -0.5 or b?
b
Let o = 0.2725 - 0.7425. Which is smaller: o or -2/3?
-2/3
Let v = 917 + -653. Let o be (-9 + 5 + 3)/(0 - -1). Is v > o?
True
Suppose 32*m - 36*m = -2*i - 8, -4*i + 5*m - 25 = 0. Which is greater: -19 or i?
i
Let i = 2334.3 - 2334.82. Let j be 1/(-12) + 1/3. Which is smaller: j or i?
i
Let k = -0.37 - -0.832. Let b = 3.538 + k. Is -0.7 > b?
False
Let m be 1/(-3) + (-2900)/300. Let g(s) = -s**2 + 4*s + 60. Let c be g(m). Which is smaller: -79 or c?
c
Let x be ((-4)/(-78))/(8/(-3)). Let b = -19419.3 - -19419. Which is smaller: b or x?
b
Suppose 30*w + 57707 = 119087. Which is bigger: w or 2048?
2048
Let x(p) = 2*p**3 - 5*p**2 + 4*p - 22. Let i be x(4). Suppose i*c - 38*c + 4 = 0. Let f = 15 - 24. Which is smaller: f or c?
f
Let h = 2506 - 2604. Which is smaller: h or -233?
-233
Let d(i) = -256*i**3 + 69*i**2 + 194*i - 4. Let x be d(-3). Is x at least 6949?
False
Let k be ((-1)/2)/(116/(-8) + 1). Let y(z) = z + 12. Let f be y(-6). Let w be (-3)/2 - f/(-4). Is w greater than or equal to k?
False
Let s be ((-6760)/(-32))/(6/16). Let x = 563 - s. Which is smaller: x or 5.9?
x
Let d be (2 + (-12)/(-30)*-5)*-1. Which is bigger: d or -9/397?
d
Suppose -567*d + 563*d - h - 54 = 0, -d - 4*h + 9 = 0. Let s(z) = -z**3 - 15. Let i be s(0). Are i and d equal?
True
Suppose 71*y - 167 = -7196. Which is smaller: -688/7 or y?
y
Let c(k) be the second derivative of 19/2*k**2 - k**3 + 0 + 7*k. Let x be c(3). Is x less than or equal to 2/21?
False
Let a(g) = -4*g - 14*g**3 - 9 + 3*g**3 + 10*g**3 + 7*g**2 - 3. Let s be a(6). Which is greater: s or -2/751?
s
Suppose -135*z + 5 = -31*z + 5. Which is smaller: -1/477 or z?
-1/477
Let u = -274/77 + 36/11. Let x = 353 + -224. Which is smaller: x or u?
u
Let b(o) = -2*o**3 - 3*o**2 + 4*o + 11. Let r be b(-4). Suppose -4*v = -19*v + r. Let g be (((-2)/3)/1)/(v - -4). Is -1 at least g?
False
Let n = 9918 - 9917. Let q be 2/30 + 0 + 1. Is n at least as big as q?
False
Let x(u) = -960*u - 5229. Let d be x(-5). Is -3007/7 > d?
False
Let r = 38420 + -38036. Is 0.3 smaller than r?
True
Let k = -548/7 - -81. Let d = k - 257/56. Are d and 2 non-equal?
True
Suppose 3*x + 95 + 22 = 18. Which is greater: -7 or x?
-7
Let d(f) = f**3 - 6*f**2 - 7*f + 5. Suppose 1 + 6 = v. Let k be d(v). Let c = 64723/11 + -5884. Is k at most as big as c?
False
Suppose 3*k + 270 = 18*k. Let t be (-4 - 0 - 2)/(3/k). Do t and -36 have different values?
False
Let q = 18 + -20. Let o be q + (-5)/3*-3 + -1. Let f be (371/14)/(2*o/(-4)). Is f at least as big as -1?
False
Suppose g - 4*z - 6 = -2*z, -6 = -g + 3*z. Suppose g*n - 71 = -11. Let t be (n/(-8))/((-20)/160). Are t and 2 unequal?
True
Suppose 499*r + 31287 = -3*w + 496*r, 3*w = -5*r - 31279. Is -10433 greater than or equal to w?
True
Suppose 2*g - i + 137 = 0, 38*g - 7*i = 35*g - 255. Let o = 3 + -5. Let h be ((-2)/o + -65)*1. Is g greater than or equal to h?
True
Let p be (-9)/(-12) - 0 - 981708/336. Which is smaller: -2919 or p?
p
Suppose 5142 = 45*u - 5613. Is 0 greater than u?
False
Let p = -61 + 55. Let f be (-40)/(p - (0 - -1)). Which is smaller: f or 5?
5
Let h(z) = 2*z**3 - z**2 - 8*z - 3. Let k be h(-2). Let p be 1598/18 - k - 6/(-27). Let x(w) = -12*w - 1. Let v be x(-8). Is p at least as big as v?
True
Suppose 1331*w - 1323*w + 41 = 185. Which is greater: 10 or w?
w
Let l = 0.456 + -64.456. Let y = 1363 - 1299.1. Let v = l + y. Which is smaller: v or -23?
-23
Let x(w) = -w**3 + 34*w**2 - 5*w + 60. Let h be x(34). Let z = 3 + -113. Is z at most as big as h?
True
Let g = 16 + -16. Let p = -1331607/20 + 66597. Let n = p - 50/3. Which is bigger: g or n?
g
Let k(f) = -f**2 - 6*f + 2. Let z(h) = -h**2 - 7*h + 3. Let y(q) = -7*k(q) + 6*z(q). Let s be y(-2). Suppose -4 = 6*r + s. Which is smaller: 14 or r?
r
Let r = -75 + 73. Let g be ((-1)/r + (-5)/10)/(-3). Suppose 7*q + 5*t - 5 = 2*q, 3*q + 2*t - 8 = g. Which is bigger: 8 or q?
8
Suppose -5*v = 3*r + 12944 - 2287, -4*v = -3*r + 8558. Which is greater: -2134 or v?
-2134
Let b = -13715 - -13718. Is -2 < b?
True
Let r = 71/52 + -5/156. Which is smaller: r or -4.45?
-4.45
Let h be (-2)/4*2*1. Let i be 3 + -6 + h + 452. Let m be i/15 - (-42)/315. Do 30 and m have different values?
False
Let d = 137 - 133. Suppose u + d*a + 10 = -16, -4*u - 2*a = 48. Is -5 at least u?
True
Let x(i) be the second derivative of 0 - i**2 - 12*i + 1/6*i**3. Let v be x(-2). Which is smaller: -7 or v?
-7
Let n = -752652256 + 48528006856793/64476. Let v = -8/597 - n. Let i = v + -403/25596. Is 1 < i?
False
Suppose -10*w - 32*w = -12*w + 2400. Is 9 greater than w?
True
Let u be (-2901)/708*-1 - (5 - 3 - -2). Which is smaller: u or 1?
u
Let v(s) = -107*s. Let c be v(-1). Let u be -12 + (-4085)/(-35) + (-4)/(-14). Are c and u equal?
False
Let w be (-70)/22 + 6 + -3 - 2493/(-99). Is 335 <= w?
False
Let m = 231097 + -90821381/393. Let h = m + -2/393. Which is bigger: 12 or h?
12
Suppose 3*a = 2*w, 4*a - 3*w = -2*w. Let r be a/7 - (0 - -1). Let h be (16/(-15 + -81))/((-11)/(-8)). Which is smaller: r or h?
r
Let x(f) = -10*f - 240. Let u(h) = -h + 6. Let p(d) = 5*u(d) + x(d). Let w be p(-14). Is w > 34/53?
False
Let i(a) = 5*a**2 + 33*a - 55. Let q be i(-8). Is 1/3038 less than q?
True
Let y be (70/(-6))/((-1)/9). Let a(n) = 11*n**3 - 3*n**2 + 3*n + 1. Let j be a(-2). Let v = y + j. Is v greater than -2/345?
True
Let g(p) = 5*p + 53. Let j be g(-8). Suppose 0 = j*w - 4 + 95. Is -90/11 > w?
False
Let f = 3 - -105. Suppose 2*n = -3*t - 112 - 24, -4*t = -2*n - f. Are -62 and n equal?
True
Let t = 632762208439/60192 - 115636404/11. Let q = 3/608 + t. Which is greater: -4 or q?
q
Let h be (166/10 - 2) + (-34)/(-85). Suppose 3*n = -h, -5*o - 443 = -2*o - 2*n. Which is bigger: -152 or o?
o
Suppose -66 + 327 = -3*u. Let y be 24/6*u/4. Which is greater: -90 or y?
y
Let y be 26/6 - 1/3. Let f(s) = 7 -