et r be (-200)/150 + 20/(-3). Is r > -172/21?
True
Let l = -115 + 103. Is -34 less than or equal to l?
True
Let t be (240/25)/((-6)/(-980)). Let r = -26664/17 + t. Is r bigger than 1?
False
Suppose -3*n + 5*i = -72, 5*n + 2*i = n + 70. Suppose 2*h + n = 3*h. Suppose 21 = 3*s + 3*y, 0 = -4*s + 3*y - 5 + h. Do 4 and s have different values?
True
Suppose 0 = -160*o + 144*o - 16. Which is smaller: o or 4/21?
o
Let r = -751 + 68343/91. Let d = 3767/21177 + 85/3801. Let n = r + d. Is n equal to 1?
False
Suppose -9*y + 275 - 95 = 0. Is 27 equal to y?
False
Let c = -436 - -435.2. Is c <= 2/159?
True
Let l = 328 + -333. Let d = -8 + 26. Suppose -d = o + 2*o. Which is smaller: o or l?
o
Suppose -2*a = -5*a + 7389. Let z = 27127/11 - a. Is z at most as big as 3?
False
Let i be (3/42)/(15/(-60)). Let x = -1.7 - -0.7. Is i <= x?
False
Let g be (2 - (0 - -1))/1. Let s = 79 + -120. Let z = -35 - s. Which is greater: g or z?
z
Suppose -3*n + t = -16, -5*n = -2*t - 2 - 23. Let k = -103 + 104. Is k < n?
True
Let t = 0 - -26. Is t bigger than 105/4?
False
Let z = 993/70 + -165/14. Suppose 0 = 4*t - 3 - 9. Is z less than or equal to t?
True
Let l = -46 + 176. Let j(h) = 210*h**3 - h**2 - h. Let d be j(-1). Let m be 2/6 + l/d. Is m less than 5?
True
Suppose -w = -2*w + 15. Suppose 7*d = 9*d - 30. Let z = d - w. Which is smaller: -1 or z?
-1
Let z be (-3 - (-28)/16)*-8. Let d be (32/2)/((-5)/z). Is -33 equal to d?
False
Let b = -1.96 - 0.04. Let x = -3978.58 + 3978. Which is bigger: b or x?
x
Let d = 1/2521 + 9729/894955. Which is smaller: d or 1?
d
Suppose 3*p = -4*x + 114 + 14, 0 = -4*x - 4*p + 124. Which is bigger: 12 or x?
x
Let p = 13 + -11. Suppose -5*v + 57 = -p*h, -5*v + v + h = -45. Suppose -36 = 2*f - 6*f. Which is greater: v or f?
v
Let h = 51139/6 - 8504. Let y = h + -62/3. Is -2 < y?
True
Let h = -3843/5 + 769. Let u be -13 - 2*1/(-2). Which is greater: h or u?
h
Let n be ((-210)/(-28))/((-1)/(-2)). Let m(v) = -v**3 + 14*v**2 + 14*v - 14. Let z be m(n). Which is smaller: -1/3 or z?
z
Let k = -7 + 10. Suppose 11 = m + k. Is 8 at most as big as m?
True
Let x be 2 - 1 - 45/20*4. Let a be (20/x)/((-3)/6). Suppose -5*g + 24 = -g. Which is bigger: g or a?
g
Let s be (2/4)/(4/(-80)). Let z = s - -19/2. Which is smaller: -2 or z?
-2
Let l = -4/19 + 59/190. Suppose 105 = -172*w - 67. Are w and l equal?
False
Let s be ((-17)/(-5))/(10 - 11) + 2. Let n = -13/10 - s. Is n at most -1?
False
Suppose 0 = -3*l - 381 - 156. Is -178 bigger than l?
True
Let j(f) = -7*f - 48. Let g be j(-12). Suppose -g - 9 = 5*o. Is o < -9?
False
Let o = 27 - -67. Let j = -848/9 + o. Is 3 smaller than j?
False
Let m = 9 + -21. Let r(u) = -1 - 4*u**2 + u**2 - 9*u**2 - u**3 + 0. Let f be r(m). Is 2/17 greater than or equal to f?
True
Let z be (6/(-7))/(3/63). Let v(t) = -13*t - 83. Let u be v(-5). Is z equal to u?
True
Let h = 9442562/77 - 122635. Let j be (2/(-5))/(56/(-580)). Let x = j + h. Which is smaller: x or -0.2?
-0.2
Suppose 2*q - 7*q - 18 = l, -l - 10 = 3*q. Which is smaller: 12/19 or l?
12/19
Let a(v) = 3*v**2 + 2*v + 1. Let f be a(-1). Suppose 6 - 1 = -5*i, f*i = 5*b + 8. Which is bigger: -16/11 or b?
-16/11
Let i(l) = 3*l + 9. Let j be i(0). Let v be (-1)/((-1)/3) + 8. Which is smaller: v or j?
j
Let c be ((-154)/(-21))/((-20)/(-18)). Is 8 at most c?
False
Suppose 13*i = 9*i + 200. Let y be (-2)/(-5) - (-180)/i. Which is bigger: 7 or y?
7
Let v = -0.57 + -0.03. Let r = -2.8 - v. Let f = r + 1.3. Is -1 less than f?
True
Let t be (-4)/(-6) + 837529/132. Let b = -6342 + t. Let m = b + -10/3. Which is bigger: m or 1?
1
Let w = 0.33 - 0.03. Let o = 4038.2 - 4041. Are w and o unequal?
True
Let y(w) = w + 36. Let x be y(-37). Is x != -3/77?
True
Let w be (-4)/748 + (-86)/(-473). Is w bigger than -0.13?
True
Let h = -583/21 - -220/7. Let l(m) = -56*m - 444. Let f be l(-8). Is h greater than f?
False
Let h = -4.6 + -11.4. Suppose 2*v = -2*d + 4, -5*v = 2*d - 6*d + 26. Does v = h?
False
Let z = 1341/10600 - 2/1325. Which is smaller: 3 or z?
z
Let g(a) = -2*a**3 - 16*a**2 - 12*a + 5. Let k be g(-10). Suppose -3*c + 8*c + k = 0. Let u be 4/(-2) + (-204)/c. Which is greater: u or 0?
0
Let s(o) = 2*o**2 + 4*o + 2. Let j be s(-2). Suppose 12 = -4*q + k - 2*k, 0 = -j*q + k - 6. Suppose -n + 7 = -2*n - w, -1 = -n + w. Is n < q?
False
Suppose -4*i = -6*i. Let s(r) be the third derivative of -r**5/60 - r**4/24 - r**3/6 + 24*r**2. Let v be s(i). Which is greater: -3/11 or v?
-3/11
Suppose 3*b + 2*q = -10, -2*q = b + 3*q + 25. Which is smaller: b or -1/129?
-1/129
Let c = 35 - 35. Which is smaller: c or 3/44?
c
Let r be (6273/(-378) - -10) + 7. Which is bigger: r or 0?
r
Suppose 0 = -2*k - 6 - 0. Let z = k + -3. Let p = 0.62 - 0.82. Is z at most as big as p?
True
Suppose -12*k + 6 = -9*k. Suppose -12 = -k*t - 10. Which is bigger: -2/15 or t?
t
Let v be 15/(-1)*(-3 + (-40)/(-12)). Let r(m) = m + 6. Let f be r(v). Which is bigger: f or 12/7?
12/7
Suppose -b = -1, j - b - 19 = -3*j. Suppose 0 = j*t + 4*f + 2, -3*t - f + 2*f = 8. Which is greater: -4 or t?
t
Let h(j) = -2*j + 6. Let c be h(4). Let o be 35/(-52 + 17) - 3*2/22. Is c less than o?
True
Let k = -1/53 - -56/159. Let l = -9 + 10. Is k at least as big as l?
False
Suppose 0 = -4*r - 3*n + 28, 2*n + 3*n + 28 = 4*r. Suppose -5*d + 3 = -r. Is d > 0.1?
True
Let q = -389 + 385. Which is smaller: q or 133?
q
Let o = -625 - -581. Is o at least as big as -45?
True
Let l(j) = 3*j**2 + 7*j - 6. Let q(h) = -2*h**2 - 6*h + 5. Let b(n) = -3*l(n) - 4*q(n). Let x be b(2). Is x greater than or equal to -2/17?
True
Suppose 5*b = 3 + 17. Suppose -3*v = -3*k + 27, b*k - v - 54 = -6*v. Suppose -5 = -4*h + 7, 4*h - k = -i. Which is smaller: 0 or i?
i
Let b = -5 - -6. Suppose 0 = h - 1 - b. Which is greater: -1/6 or h?
h
Suppose -168 = -2*y + f, 0 = -4*y - 4*f + 2*f + 328. Which is smaller: y or -0.1?
-0.1
Let r(o) = o**3 + 61*o**2 - 13*o + 115. Let l be r(-61). Are l and 909 equal?
False
Let k be (79/5846)/((130/(-12))/(-5)). Is 1 less than or equal to k?
False
Let d be ((-564)/36)/(46 + -1). Let l = d + 2/135. Are l and -1 equal?
False
Let p = -36 + 190/9. Does p = -16?
False
Let f(j) = -12*j + 37. Let t be f(7). Let h = -40 - t. Is 7 smaller than h?
False
Let t = 487 + -486.12. Which is smaller: t or -2?
-2
Suppose 2*a - 5 + 3 = 0. Suppose 0 = 10*k - 36 - 14. Let z be k/(-18)*4 - -1. Which is bigger: z or a?
a
Suppose -2*s = -4, -2*v - 3*s + 8 = -40. Is 308/15 >= v?
False
Suppose -4*n + 4*w - 20 = 0, -8*n + w - 21 = -3*n. Let k(j) = j**3 + 4*j**2 + j + 3. Let c be k(n). Let f be 2 + 21/(-18) + c. Which is smaller: 0 or f?
f
Let v = 85 - 86. Are v and 0.1029 unequal?
True
Suppose -4*n - 52 = -8*n. Let c = n - 12. Which is bigger: 0.2 or c?
c
Suppose -24 = -4*o - 0. Which is smaller: 100/19 or o?
100/19
Let c = 17/24 + -4/3. Let o = c + -121/24. Let z = o + 19/3. Which is greater: -1 or z?
z
Let t = -20 + 29. Let o be ((-1)/(-12))/(3/t). Let g = 1.01 + -0.01. Which is greater: g or o?
g
Let t(o) = -36*o - 145. Let y be t(-4). Let s = 180073/105 - 1715. Is s >= y?
True
Let b be 108/(-36) - 14*8. Which is smaller: -110 or b?
b
Suppose 0 = 5*t - 20, -5*f + t - 12 = -2*t. Let b be -111 + 112 - 53/45. Which is smaller: b or f?
b
Let f = -1.84 - -2.65. Let k = f - 4.81. Which is smaller: 8 or k?
k
Let g be 0/((-18)/(-12)*(-2)/3). Which is greater: g or 2/1247?
2/1247
Let w = -3.3 + -0.3. Let t = w + 0.6. Suppose -2*d - 1 = 1. Do t and d have different values?
True
Let y = 637.9 - 642. Let h = 0.3 - 0.4. Which is smaller: y or h?
y
Let o be (7/3)/((-2)/6). Let p(y) = 11*y + 102. Let u be p(-10). Is o > u?
True
Let m = 122.82 - 123. Let b = -0.058 + 4.058. Is m < b?
True
Let a be -3*(-11)/((-66)/20). Let z = 18 + a. Suppose 6*b - 5*b - z = 0. Is 8 > b?
False
Let y be (-3*(-3)/(-180))/(8/30). Is 0.07 equal to y?
False
Let j be (-2)/5 + (-80344)/(-385). Let g = -207 + j. Is 2 < g?
False
Let a(y) = 4*y + 2. Let z be a(0). Suppose -5*q = m - z*m + 16, -3*m + 12 = -3*q. Is m at least as big as -1/10?
True
Let f(t) = t**2 - 23*t - 83. Let y be f(29). Does 97 = y?
False
Suppose -12*p + 30 = 18. Which is smaller: -1/374 or p?
-1/374
Let b = -19 + 8. Let h(k) = -15*k**2 + 6*k - 1. Let a be h(1). Which is bigger: a or b?
a
Let t = 0.0353 + 0.0347. Which is smaller: t or -16?
-