*r - 8. Let w be k(-14). Suppose -4 = -w*d + 10*d. Do -3 and d have different values?
True
Let l be (3 - 3)/((-14)/7). Let g be 2/(-3) - (-178)/6. Suppose l = 4*a + 3 + g. Which is smaller: -7 or a?
a
Let z(t) = -151*t + 68. Let d be z(1). Let k be 485/6 - (-2)/1. Let c = k + d. Is c less than -2?
False
Let h = 0.1 - -1.9. Let z = -2/621 + -607/4347. Which is smaller: z or h?
z
Let a = -54.4 - -54.55. Which is bigger: 6/11 or a?
6/11
Suppose x - 2 = 2*h + 5*x, 5*h = x + 17. Let v be (-5 - 113/(-39)) + -1 + h. Which is smaller: -1 or v?
-1
Let s = -279/79 - -1195/316. Let c = -15/16 + 27/80. Are c and s equal?
False
Suppose -81*p + 2963 = 1019. Which is bigger: 21 or p?
p
Let r be 42/665*16/12. Is 0 at most r?
True
Let h = -0.044 - 0.536. Let n = -56.13 - -56.03. Which is bigger: h or n?
n
Suppose 4*v + 2*f = -3*f - 1659, -1258 = 3*v + f. Let z be 4/18 + v/(-9). Let p be 1 - z/16 - -2. Which is smaller: 2/7 or p?
p
Suppose -2*o + 3*v + 23 = 0, -2*v - 2 + 8 = 4*o. Suppose -s = o*s - 30. Suppose -s*k = -5*k + 2. Which is greater: -1 or k?
-1
Let b = -0.18 - -0.58. Let g = 0.84 + -0.24. Let c = g + b. Do 16 and c have the same value?
False
Let h = -12 + 2. Let f be -24*(16/(-128))/((-6)/16). Do f and h have the same value?
False
Suppose v + 4 = -4*g, 0 = 2*g - 5*v + 2 - 22. Which is bigger: g or -1/273?
g
Let y = 3412.59982 - 5.66982. Let t = y + -3392. Let j = t - 15. Which is greater: j or -2/7?
j
Let g = -14 - -26. Suppose 3*l + g = 0, 5*d - l = 3*l + 6. Does d = -16/5?
False
Let r = -0.12 + 1.65. Is r > 1/9?
True
Let q = -42 + 28. Let z = 26 - 40. Is q > z?
False
Suppose 7 = -r - 2*i, -7*r = -3*r - 2*i - 12. Let y be 4/(-5)*(-15)/7. Is y greater than r?
True
Let r be -5 - 0 - (-8)/(-4). Let c be -1*((r - 0) + 3). Suppose 4*h + 5*m = 0, 4*m + 34 = c*h - 2. Does h = 5?
True
Let h = -1/3379 + -128373/97991. Which is greater: 0 or h?
0
Suppose 12*d = -2*d. Are d and -1/1130 equal?
False
Let k = -15.69 - 0.31. Let h = k - -16. Let f = h - -7. Which is smaller: f or 3/2?
3/2
Let x = 32 + -11. Let s = -69/8 - -223/24. Which is smaller: s or x?
s
Let n(t) = 14*t - 57. Let m be n(9). Is m greater than 68?
True
Suppose 5*h - 5 = -4*l, -1 = l - h - 0*h. Let c = 2133/110 + -183/10. Is l < c?
True
Let c be ((-4)/(-1195))/((-98)/(-10) - 7). Is 1 at most c?
False
Let q = 899 - 900. Suppose 2*x = -2*x - 12. Are x and q equal?
False
Suppose 13 + 11 = 4*r. Suppose -2*k - r + 8 = 0. Which is greater: -13 or k?
k
Let q = 968486 + -28109209/29. Let w = q + 797. Let a = -2 + 3. Which is smaller: a or w?
w
Let x(v) = -v**2 - v. Let s(t) = -6*t**2 + 5*t + 1. Let a(r) = 2*s(r) + 14*x(r). Let z be a(1). Is z less than -28?
False
Suppose -24 = 4*j + 40. Let n(m) = -5*m**2 + 33*m - 21. Let b(v) = 6*v**2 - 36*v + 22. Let d(f) = -6*b(f) - 7*n(f). Let i be d(j). Which is smaller: i or -2/13?
i
Let x(y) = y**3 + 6*y**2 + 9*y + 10. Let k(s) = -5*s**3 - 23*s**2 - 37*s - 41. Let g(n) = -2*k(n) - 9*x(n). Let o be g(9). Suppose -3*h = -5*h + o. Is 1 != h?
True
Suppose 2*g = q - 8, -3*q = 2*q - 4*g - 10. Let a be (-2)/(-8)*-1 + 28/(-16). Let u be a + 2 + 4 + q. Are 2 and u unequal?
False
Let a(q) = -16*q - 17. Let p be a(-1). Is p at most -4/21?
True
Let l = -121 - -125. Suppose -l*v + 3 = -1. Which is bigger: v or -2/47?
v
Let c(s) be the third derivative of -s**5/20 + s**4/8 - s**3/3 - 13*s**2. Let v be c(1). Which is greater: -2/3 or v?
-2/3
Let o(t) be the first derivative of t**3/3 + 3*t**2 - 12*t - 7. Let i be o(-9). Suppose i = -7*v + 6*v. Which is smaller: -14 or v?
v
Let i be (-3)/((-30)/(-11))*(10 + 1636). Let l = 1819 + i. Is l greater than 8?
True
Suppose 101 = -7*v - 4. Which is greater: v or 2?
2
Let w = 25932 + -25800.09. Let a = 132 - w. Which is smaller: a or -9?
-9
Suppose -20*j + 17*j - 30 = 0. Let y = j - -13. Let c be (y + -3)/(0 + -2). Are c and -6/13 non-equal?
True
Let t = 31 - 97. Which is greater: t or -0.1?
-0.1
Let k = -165/7 + 4427/189. Are k and -1 non-equal?
True
Let t = -1/312656705 - 936108244321712/4064537165. Let a = t + 230439. Let u = -128 + a. Which is smaller: u or 1?
u
Let i = 77.98 - 78. Which is smaller: 10 or i?
i
Let j = 21 + -22. Let p be 2/(-2) - (-98 - j). Let u be 4 - -10*(-39)/p. Which is smaller: u or -1?
-1
Let v(j) be the second derivative of -2*j**3/3 - 11*j**2 + 8*j. Let b be v(-6). Which is smaller: b or 3/4?
3/4
Let x(d) = 2*d**2 - 26*d - 60. Let h be x(15). Let n(y) = y**3 + 2*y**2 - 2*y - 2. Let c be n(-2). Let b be ((-12)/(-208))/(c/8). Which is greater: b or h?
b
Let s = 59/6 - 19/2. Let a(z) = 3*z - 3 + 2 - 2*z. Let r be a(2). Which is smaller: s or r?
s
Let j = -544073/17646 + -2/2941. Which is greater: j or -30?
-30
Let k = 22 + -99. Let b = k + 707/9. Which is smaller: b or -1?
-1
Let o = 44 - -2. Let i = 42 - o. Does i = -6?
False
Let a = -31 - -30. Let c(p) = -p. Let r be c(a). Let y be r + -3 - 148/(-76). Which is greater: y or -1?
y
Let n(f) = f + 3. Let x be n(0). Let p be (-7 - 2) + 1 + 2. Let h be ((-3)/(-9))/(-1) - p/18. Which is smaller: h or x?
h
Let c = -20.033 + 0.033. Let o = c + 27. Is -0.1 greater than o?
False
Let v = 2 - 2. Suppose 0 = 3*t - 2*j - 22, 0 = 3*t - 3*j - 5 - 22. Let c be (t/95)/((-26)/65). Which is smaller: c or v?
c
Let w(m) = 6 - 7*m - 1 - 2*m**2 + m**2. Let b be w(-7). Let v = -0.092 - 0.008. Is b > v?
True
Let h = 64 + 92. Let c be (908/h)/((-3)/(-9)). Let y = c - 17. Which is smaller: y or 1?
y
Let b be (-32)/(-12)*(-2)/(-16). Is b <= 64?
True
Let y be 66/363 - 43/176. Which is bigger: 1 or y?
1
Let o be (-11)/(-484)*-12*(-4)/(-246). Which is smaller: o or 0?
o
Let o be 30/55 + 1016/(-88). Is 10 bigger than o?
True
Suppose 5*c + 27 = 2*c. Let j = 0 + -9. Let x = j - c. Is x at least 0?
True
Let a be (-12)/(-3) - -4 - 4. Suppose -a*l = -6 + 26. Let u be 160/78 + l + 3. Which is smaller: u or 1?
u
Let o = -57/254 - -42061/185166. Let m = o - 811/29889. Which is smaller: m or 0?
m
Let f be (50/40)/((-15)/(-6))*-2. Is -6/5 >= f?
False
Suppose 4*l - 2783 = 133*r - 128*r, 4*r - 3*l = -2226. Which is smaller: -557 or r?
-557
Let j = -3.79 + 3.97. Which is greater: j or 0.1?
j
Let y = -6 - -8. Suppose -2*v - 137 = -5*h, -y*h = -0*v - 5*v - 59. Let q be (-6)/h - (-8)/36. Which is smaller: q or 1?
q
Let m = 27 + -28. Let a be ((3 - 3) + m)/13. Suppose 3*p + 3 = 6. Which is bigger: a or p?
p
Suppose -f + b + 87 = 0, -20*f + 17*f + 261 = 2*b. Which is smaller: 263/3 or f?
f
Let c = -149.4 + 161. Which is bigger: 2 or c?
c
Let f be ((-3)/6)/(2/(-28)). Suppose f*b + p + 66 = 2*b, 0 = -3*b + 5*p - 62. Let l = b + 8. Is l at most as big as -6?
True
Let p be 2/(-3) - -110*40/6630. Do 1 and p have different values?
True
Let u(q) = -q**2 - 9*q - 16. Let s be u(-8). Let f = 5 + 4. Suppose b = -f - 0. Are s and b non-equal?
True
Let w = -4/5497 - -7096639/16491. Let d = w - 425. Is d at least as big as 5?
True
Let s = 19 - 16. Let f = s + -1. Suppose q + 3*y = 14, q + 3*y = -f*y + 24. Is q bigger than 0?
False
Let f be 913/33 + 1/3. Suppose -p - 5*g + 0*g = -f, -p + 42 = -2*g. Suppose 4*z = 4*o - 8, 5*z + o + o = -p. Is -6 not equal to z?
False
Let p = 90 - 85. Suppose 0 = 2*t, 2*t + 5 = -p*v - 0. Is 1/14 smaller than v?
False
Let w be (-18)/4*9/((-81)/6). Suppose -442 = 4*p + 2*g, 2*p + w*p = -5*g - 550. Is -111 greater than or equal to p?
True
Let t = 473 - 425. Which is smaller: t or 49?
t
Suppose 16*k = 24*k - 56. Let w = -8829/5 - -1772. Is k >= w?
True
Suppose -40*h = 483 + 1117. Is -39 equal to h?
False
Let p = -0.01 + -5.99. Let r = p + 7. Let g = 21.8 - 22. Is r > g?
True
Suppose 3*b - 3 = 2*k, -2*k = -2*b + 5*b - 27. Is 7 at least as big as k?
True
Let m be ((-9)/2 + 3)/42. Let y = -53/84 + m. Which is bigger: 0.076 or y?
0.076
Suppose 5*a - 30 = -3*l, -8 = 4*a - 0*l - 4*l. Suppose -2*g = 4, 0 = a*v - 6*v + g + 146. Which is smaller: 49 or v?
v
Let c(d) = -4*d - 5. Let u be c(-10). Suppose 0 = 2*v + 8, v = 5*i - 4*v + u. Which is greater: i or -13?
i
Let f = -14/367 - 23250/6239. Which is bigger: -3 or f?
-3
Let z(x) = x - 1. Let s be (-40)/15*(-15)/(-10). Let t be z(s). Is t less than -4?
True
Let c = -240 + 4. Let j be (-30)/(-75) - c/35. Which is greater: 7 or j?
j
Let g be ((-2)/198)/(0 - 72/27). Which is smaller: 0 or g?
0
Let k = -14 + 15. Let b be k/(-2)*(7 + -3). Which is smaller: 