)/8). Which is smaller: j or t?
j
Let r(f) = f**3 + 3*f**2 - 2*f - 4. Let k be r(-3). Suppose -k*q + 13 = 5. Suppose -9*n = -q*n - 20. Is n < 4?
False
Suppose -5*q - 14 = w, -146 = -5*w - 5*q - 156. Which is bigger: 9/101 or w?
w
Let g be (12/192)/(1/(-14)). Let b be 0 + (6 - 7) - -1. Which is smaller: b or g?
g
Let z(a) = 4*a - 2. Let u be z(1). Suppose -3*m - 9 = 3*t, -u*m - 6*t = -t + 15. Let c be (1 - m) + 1/(-7). Is -0.1 < c?
True
Suppose b + 496 - 483 = 0. Are -12 and b unequal?
True
Suppose -36*z = 13*z. Let i be (3/40)/(72/10). Which is greater: z or i?
i
Let c be (0 + -1)/(84/(-5061)). Let d = c - 9885/164. Which is greater: 1 or d?
1
Let b be 6/(-20) + 3/(-15). Let m(z) = z**3 - z + 2. Let i be m(-2). Let y = 2 + i. Which is smaller: b or y?
y
Let q = -2.028 - -2.021. Which is greater: 1/6 or q?
1/6
Let a be ((-37)/(-2))/((-7)/14). Is -38 < a?
True
Let q = -2787/7 - -396. Which is smaller: -3 or q?
-3
Let j = -1760 + 448. Let z be 150/(-20)*j/25. Let y = -396 + z. Is -1 > y?
True
Let q(r) = 5*r**3 + r**2 - r + 1. Let w be q(1). Let v be (34/(-68))/(2/(-16)). Which is smaller: w or v?
v
Let t(s) = -s - 2 + 2 + 0 - 6. Let f be t(0). Suppose -3*z = -2*z + 4. Is f smaller than z?
True
Suppose 6*y - 2*y + 2*o - 20 = 0, -3*y + o = -5. Suppose -4*j + 5*n - 19 = 0, -2*j - y*j + 7 = 4*n. Which is smaller: j or -8/5?
-8/5
Let a(f) = 4*f - 10. Let y be a(3). Let g be (2 + (-308)/160)*(-15)/(-2). Is y at most g?
False
Let i be -5 + 53/11 - 916/(-1408). Are 1 and i non-equal?
True
Let t(a) = -20*a**2. Let z(k) = k**3 - 6*k**2 - k + 7. Let r be z(6). Let v be t(r). Let d = v - -11. Which is bigger: -10 or d?
d
Suppose -81*w - 29988 = -115*w. Are w and 882 unequal?
False
Suppose -929*n = -931*n - 6. Is n > -5?
True
Let d be ((-3)/11)/((-56)/924). Let t(c) = c + 1. Let h(a) = -2*a + 1. Let o be h(-2). Let y be t(o). Is y bigger than d?
True
Let h be (-4)/18 - (-121)/(-99)*-1. Let f = -1 + 0.8. Which is bigger: f or h?
h
Let z = -27 + 26. Let n = -20 + 28. Suppose l = 2*o - 20, -l + o - 11 = n. Is l < z?
True
Let a(g) = 6*g + 2. Suppose -n + 3*h - 45 = 3*n, 2*n = 2*h - 24. Let z = n - -7. Let w be a(z). Which is greater: w or -8?
-8
Suppose -q - q = -52. Let n be (104/78)/((-632)/(-156) - 4). Are n and q nonequal?
False
Let j be -3*(14/6 + -1). Let k be -3 - (-7 + 14 + -8). Are j and k non-equal?
True
Let i = 44.34 + -51.2. Let h = -7 - i. Let g = -0.04 - h. Is g > -0.7?
True
Let o = -875 - -877. Which is smaller: o or -137/3?
-137/3
Let t = -518 + 643. Is 126 > t?
True
Suppose -4*h - 20 = 2*t - 6*t, -8 = -4*t + h. Suppose -3 = -4*y + t. Let l be (10/(-630)*7)/((-6)/534) + -10. Are y and l equal?
False
Let i = -0.18 + 0.18. Let n = -81 + 82.52. Let g = n + 0.08. Is i >= g?
False
Let l = -16 + 19. Suppose -4*c + 0*i = 5*i - 17, -3*c = -4*i - 5. Suppose c*w = -w. Is w at most as big as l?
True
Let d = -1 + 5. Let n = 9 - d. Let w = n + -7.1. Which is smaller: -0.1 or w?
w
Let b = -0.012 - -0.072. Which is smaller: 20 or b?
b
Let z(w) = 22*w**3 - 3*w**2 + 2*w - 2. Let p be z(1). Is 15 greater than p?
False
Let g = -0.2 + -0.2. Let f = -0.5 - g. Let h = 25.4 + -25. Which is smaller: h or f?
f
Let p(r) = r**3 + 26*r**2 - 27*r - 5. Let n be p(-28). Is -817 bigger than n?
False
Let b(p) = p**2 - 20*p - 238. Let m be b(-8). Which is smaller: -31 or m?
-31
Let u = -65 + 60. Let w be 3 + 0 - (u + 7). Let i be (((-2)/(-2))/(-2))/(-2). Is w less than or equal to i?
False
Let f(s) = 3*s**3 - 13*s**2 - 9*s + 8. Let x be (11 - 16)/(0/2 + -1). Let h be f(x). Is h smaller than 59/5?
False
Let j be (-87)/(-15) + 2/10. Suppose 2*w + 3*l = j*w - 52, -4*l - 16 = 0. Is w bigger than 10?
False
Suppose -2*l - q = 5, q = 2*l - 0*l + 7. Suppose 0 = -3*n - 5*r + 6, -n - 2*n - 3 = 2*r. Let b be n + 1/(4/(-8)). Is l smaller than b?
False
Let o = 32 + -32. Suppose o + 2 = -m. Is m at least as big as -10?
True
Suppose -j + y + 23 = -129, -j + 2*y = -154. Which is smaller: 601/4 or j?
j
Suppose 7254 = 40*b - 1626. Does 224 = b?
False
Suppose -3*k + 0*t + 4*t = -6, -3*k = -3*t - 6. Let q be (3 - k) + 0 + 2. Suppose 4*d + 61 = -5*l, -3*d = -5*l - q + 5. Do -9 and d have the same value?
True
Let d be 111/(-9) + 4/12. Let u = -97 - -98. Does d = u?
False
Let o(u) = -u**3 - 13*u**2 - 17*u + 1. Let s be o(-8). Let d = s - -2015/11. Suppose -2*j - 3*b = 14, 2*b = -4*j + b - 8. Which is greater: j or d?
d
Let x = -66.7 - -66.5. Is x greater than or equal to 38/9?
False
Let s = 1/770782 + -2616804901/8478602. Let g = 309 + s. Let d be 0*-2*(-2)/8. Which is smaller: d or g?
d
Let g = -107 + 153. Let b = g + -46.2. Let p = -0.11 + -4.89. Which is smaller: b or p?
p
Suppose -2*x - 100 = -4*h, -5*x - 168 = h + 38. Let u be 12/x - (-58)/(-42). Let j = 3 + -5. Is u not equal to j?
True
Let d be (((-18)/2)/(-1548))/(58/8). Is 1 greater than d?
True
Let k be (3/1)/(33/44). Let b be ((-51)/(-24))/(5 - k). Which is smaller: 1 or b?
1
Let n(y) = y**3 - 11*y**2 - 11*y - 9. Let r be n(12). Let m be 1*(15/(-5))/r. Is -10/13 > m?
True
Let u be 57*7/(-357) + 2/17. Let w = 909 - 58175/64. Which is smaller: u or w?
u
Suppose 2*k + 28 - 6 = 0. Let t(l) = -l**2 - 12*l - 10. Let v be t(k). Let h be (v/3)/((-9)/81). Is h equal to -2?
False
Let d = -95 + 161. Let o be 8/6 - (-44)/d. Is o at most as big as 8/7?
False
Let z = -1377/5 + 279. Which is smaller: 4 or z?
z
Let u = 0.45 - 19.45. Let x = u - -18.98. Is -0.3 bigger than x?
False
Let v = -15 - -18. Suppose 5*s = -5*z, v*s + 1 = 3*z + 25. Let m be (2 + s)*(-1)/(-3). Do m and 3 have the same value?
False
Suppose 7*y - 2*y - 11 = 2*s, 0 = 4*s - 5*y + 7. Let x(v) = 3*v**3 - 4 + v - 4*v**3 + 6*v**s - 2. Let l be x(6). Which is bigger: l or -1/5?
l
Let g = 16 + -16. Let r(c) = -c**3 + c - 4. Let j be r(g). Let q be ((-3)/(-8))/(6/j). Do 1 and q have different values?
True
Suppose -n - 2*g = -0*g - 4, -5*g - 16 = -4*n. Suppose -3*o + 34 = -o. Suppose 0 = 4*v - 12, 5*y + o - 43 = -2*v. Is y at most as big as n?
True
Let m(g) = -g**2 - 26*g - 3. Let l be m(-26). Let s be ((-30)/(-75))/(((-1566)/10)/l). Is s != -2/7?
True
Let g = -75 + 75.8. Is g smaller than 1.5?
True
Suppose 0 = -5*l + 2*g + 578, 2*l + 36 = -5*g + 273. Let u = l - 156. Which is bigger: -41 or u?
u
Let u = -805 + 1352. Which is smaller: u or 545?
545
Suppose a + 6*a - 14 = 0. Suppose 6*u = -3*u + a*u. Does -5/6 = u?
False
Let y = -1572 + 1610.94. Let q = 39 - y. Is -1/3 at least as big as q?
False
Suppose -r - n + 5*n + 34 = 0, 5*r - 102 = 3*n. Let g be (-2)/(-4) - (-5555)/330. Which is smaller: g or r?
g
Let q = -40.1 - -40. Suppose d - 5*d - 12 = -5*x, -4*d = -8. Is x smaller than q?
False
Let o be (-123)/90 + ((-35)/(-10))/(-7). Does o = -2?
False
Suppose 2*g - 18 - 26 = 0. Suppose 5*q = -j + 5, -2*j - 2 = 4*q - 0*j. Suppose 5*m + 3*x - 55 = 0, 3*m - q*x - g = m. Is m > 10?
True
Let p = -719/3 - -239. Let m = -11.6 + -2.4. Are m and p equal?
False
Let b be (-9)/2*((-238)/21)/17. Which is smaller: 32/9 or b?
b
Let q be (-1 - 0) + (-30)/(-34). Let m be (-4)/(-8)*(0 + 8). Let a be (-3 + m + -1)/1. Which is bigger: q or a?
a
Suppose 0 = -11*k - 50*k + 976. Is k at least as big as 0?
True
Let f = -337 - -680. Let a = 362.1 - f. Let c = 19 - a. Is c <= -2/5?
False
Suppose -7*v = -8*v + 4. Let l = 13 - v. Which is smaller: l or 11?
l
Let w be (-777)/240 - ((-96)/(-30))/(-4). Which is greater: -1 or w?
-1
Let j be (2/((-110)/1))/11. Let a = -449/5445 - j. Let f = -686/6039 - a. Is 1 at least f?
True
Let s(l) be the third derivative of -l**4/12 + 4*l**3/3 - 19*l**2. Let d be s(6). Are -2 and d unequal?
True
Let x = 22 + -4. Suppose -5*i - i = -x. Let c be ((-7)/(-322))/(i/(-6)). Are 1 and c unequal?
True
Suppose -2*z - 20 - 364 = 4*l, 0 = 3*z. Is -97 < l?
True
Let t = -19 + 19. Suppose t = -3*b + 6*b + 3. Which is smaller: -3/19 or b?
b
Suppose 3*k + 2*p = 611 + 38, 0 = 3*p - 15. Suppose 0 = -5*y + 20, -5*m + 5*y - k = -528. Is 0 <= m?
True
Let p be 5/5 - (1 - -2). Let k be -8*(-6)/p - 1*2. Is -25 != k?
True
Suppose -57*g - 66 + 180 = 0. Is g bigger than 25.7?
False
Let x(g) = 13*g**3 - g**2 + 1. Let v be x(1). Let l = 8 - v. Let n(q) = -2*q**2 - 166*q + 164. Let j be n(-84). Is l equal to j?
False
Let y = -39.939 - 0.061. Let f = -38.429 - 0.571. Let k = f - y. Which is bigger: -0.6 or k?
k
Let g be