= 3*q. Is q less than v?
True
Let u = 66476/525 + 232/75. Let h = u + -130. Which is greater: h or -0.1?
-0.1
Let t(l) = -4 + 4 - 2*l. Let f be t(-3). Suppose -f*k = -k. Do 0 and k have different values?
False
Suppose 2 = r, 3*r = -u - 2*r + 9. Let f = -162371 + 9093453/56. Let s = 82/7 - f. Is s bigger than u?
True
Let r(a) = -a - 3. Let h be r(-7). Suppose -3*i - h = -7. Which is greater: i or -4/9?
i
Suppose 2 = -0*x - x. Which is bigger: x or -3/5?
-3/5
Let z be (33/(-9) - -4)/((-168)/9). Do -1 and z have the same value?
False
Suppose -3*t + 4*t - 5 = 0. Suppose 2*b = t*m + 12, -3*m + 4*b = -4 + 14. Which is smaller: m or -4/3?
m
Let q be (-2 - -2) + -1 - -3. Suppose 3*n + 15 = 0, -q*d - 3*n - 29 = 2*n. Is d < -5/4?
True
Let r be (3 - 9)*(-1)/3. Suppose -r*p + 5 = p - z, 5*z = -2*p + 9. Let n = 2 - p. Which is smaller: -2/15 or n?
-2/15
Let v = 0 - 0.2. Let d = 35 + -51. Let i be (4/(-10))/(d/10). Which is smaller: i or v?
v
Let d = -2/9 - -1/45. Let w = 1.2 + 0.6. Let t = 2 - w. Which is smaller: t or d?
d
Let r be 2/(4/33*(-15)/10). Which is bigger: 0.1 or r?
0.1
Let a = -143.9 + 144. Do a and -1.3 have different values?
True
Let j(d) = d**2 + 6*d + 2. Let a be j(-5). Is -3/2 >= a?
True
Let a = -7 + 7. Let m be (-39)/(-26) + (-142)/100. Which is smaller: m or a?
a
Let l = 44 - 44. Which is smaller: l or 16?
l
Let b = -0.09 - 0.41. Let r = 0.9 + b. Suppose 3*x - 4*x - 1 = 0. Is r > x?
True
Let r be 2 + -6 + 1108/276. Are r and 0 unequal?
True
Let w(a) = a + 10. Let u be w(0). Suppose 0 = 2*k + u, 3*d + 10 = -0*k + k. Which is greater: -4 or d?
-4
Let k = 0.02 - -1.48. Let o = k - 1. Let y = o - 4.5. Is y > 1/3?
False
Let p = 1 - 0. Let w be ((-2 - -2)/p)/(-2). Are w and 1/4 nonequal?
True
Let b = -0.05 + 3.05. Let h = b - 0. Let a be 1/1 + 4/(-2). Which is smaller: h or a?
a
Let g = -2 + 6. Suppose 3*z = -5*k + 13, g*k + 3 = 3*z + 8. Suppose 4*x - x = 5*j - 5, 2*j + 4*x = k. Is j bigger than 2/11?
True
Let c be (-35)/14*(-2)/10. Suppose -2*a - 4 = -14. Suppose -a*q = -0*q. Is q not equal to c?
True
Let p = 34 + -23. Let b = -18 + p. Let s = -5 - b. Is s greater than 2?
False
Let q be 0 - -2 - 105/3. Let v be (-26)/(-22) + 6/q. Let p be -1*(-1)/(-6)*2. Which is smaller: v or p?
p
Let n = -49/2 + 24. Which is smaller: -2.4 or n?
-2.4
Let c = -6 + 5.86. Which is smaller: c or 0?
c
Let l be 230/(-187) + 4/(-22). Is l less than or equal to -1?
True
Let t = -52 - -80. Suppose -5*p - 8 = 5*w - t, -18 = -4*p - 5*w. Let x = 4 - p. Is 2 <= x?
True
Suppose 3*a = -2*a + 1170. Let d = a + -3044/13. Which is greater: -1 or d?
d
Let m be 16/60 - 4/6. Let o = 2.1 - 2. Is m bigger than o?
False
Let h = 0.04 + 3.96. Let z = h - 3.9. Let y = 0 + 0.2. Is z at least as big as y?
False
Let t(z) = -z**3 + 3. Let h be t(0). Let q(x) = x**2 + 12*x + 24. Let m be q(-10). Does m = h?
False
Let o(c) be the third derivative of -7/6*c**3 + 1/24*c**4 + 4*c**2 + 0 + 0*c. Let t be o(7). Which is smaller: -1 or t?
-1
Let k be (3/2 - 2)*2. Let z(a) = -a**2 - 3*a - 2. Let u = 8 + -11. Let l be z(u). Which is bigger: l or k?
k
Let b = -1287 + 10281/8. Which is greater: 1/4 or b?
1/4
Let x = 0.2 - 0. Let p = x + -2.2. Let k = 2 + p. Is k at most 0.3?
True
Let l = 162 - 5669/35. Which is smaller: -1 or l?
-1
Let u be ((-2)/(-4))/((-14)/88). Let m = 25043/756 + -959/27. Let j = m - u. Is j > 0?
True
Let z = -89 + 90. Is z less than or equal to 7/3?
True
Let v = -1 - -1. Suppose 0 = -2*p + 2 - 6, -4*h = -2*p - 4. Let i = h - -1/4. Is i less than v?
False
Suppose q = 2*x, -2*x + 0*q + 5*q = 8. Is x smaller than -1/18?
False
Suppose 0 = 3*w + w. Suppose w = 5*c - 5*b - 10, -3*b = -c + 1 + 9. Which is smaller: -1 or c?
c
Let d be (-874)/(-10) - (4 + -4). Let p = d - 88. Which is smaller: p or 1?
p
Let a be -9*((-4)/14)/(-2). Which is bigger: 0 or a?
0
Let i be (-26)/6 + (-1)/(-3). Which is greater: -5 or i?
i
Let w = 30.1 - 30. Which is bigger: w or 7/4?
7/4
Let k(c) = c**3 - 2*c - 1. Let o be k(2). Let z be ((-232)/174)/((-10)/12). Are z and o nonequal?
True
Suppose -4*s + 13 = 137. Do -32 and s have the same value?
False
Let p = 1 - 9. Let k = p - -7. Which is smaller: -8 or k?
-8
Let o be (2/(-25))/((-1)/(-5)). Let q = -0.7 - -0.9. Is q greater than or equal to o?
True
Let b = -55 - -82. Suppose 6*j = 3*j + b. Does 10 = j?
False
Let h(j) = 2*j**2 - 3 - 3*j**3 + 4*j**2 + 4*j**3. Let b be h(-6). Let u = 3 + b. Is 1/2 bigger than u?
True
Let x(r) = r**2 - 21*r - 15. Let s be x(22). Which is greater: s or 19?
19
Let g(a) = a**2 + 10*a - 1. Let j be g(-10). Is 2/57 greater than or equal to j?
True
Let c = 49 + -21. Is c >= 30?
False
Let y = 25 - 20. Let p(o) = o - 8. Let h be p(y). Which is smaller: h or -2?
h
Let k = -6 + 13/2. Let c = 9 - 16. Let t = c + 6.8. Is t at least k?
False
Let g = -2.4 + 2.5. Let k be (-3 - (-135)/33)/2. Is g < k?
True
Let h = -0.46 - -0.46. Which is bigger: h or -6?
h
Let n = -0.62 - 0.28. Which is greater: 2/5 or n?
2/5
Suppose 0 = 4*d + d. Is d <= 2?
True
Let n(v) = -v**3 + 5*v**2 - v + 6. Let g be n(5). Let i = -8 + 8. Which is greater: g or i?
g
Let p be (-1 - -3*1) + 1. Suppose -p*j = 5*w + 9, -4*j - w - 12 = 2*w. Let l = j + 4. Are l and 2/9 equal?
False
Let q = -13331/44 + 303. Is q equal to 0?
False
Let k = 36 + -106/3. Are k and 20 non-equal?
True
Suppose 8 = 4*y + 3*n, 0 = -n + 3*n - 8. Let g(j) = -2*j**2 - 2*j + 2. Let t be g(-2). Let h be (-1)/y + t + 1. Is 0 bigger than h?
False
Let v = -40 + 71. Do v and 32 have the same value?
False
Let y = 11 + -8. Suppose 0 = 2*i + y*i + 10. Is i >= -2?
True
Let v(z) = z - 6. Let x be v(6). Let g = -5 + 3. Let o be g/(-4) + (-2 - -2). Which is smaller: o or x?
x
Let z = 2351/14280 - 9/56. Do -1 and z have different values?
True
Let f be (1/4)/(1/10)*2. Let u be (-14 - -2)*(-2)/4. Is u greater than or equal to f?
True
Let a be -2 + (-62)/(-20) - 1. Suppose -2*j + 5*j - 9 = 0. Let d = 4 - j. Is d > a?
True
Suppose -2*n + 1 + 3 = -2*g, n - 3 = 0. Are g and 4/33 equal?
False
Let z be (-5 - -3) + (-172)/(-85). Let i = z + -188/765. Suppose -2 = 4*o + 2. Is o >= i?
False
Let n(i) = -i**3 + i**2 + 2*i + 1. Let m be 6/4 + (-1)/(-2). Let r be n(m). Let p(g) = -4*g**3 + 2*g**2 - 1. Let u be p(r). Are u and -1 equal?
False
Let s = 29 + -29. Suppose 0 = -6*a + 2*a + 2*w - 44, 3*w - 12 = 0. Let f be 3/a*(0 + -2). Which is smaller: s or f?
s
Let w = 177 + -117. Suppose -3*b - w = 2*b. Let z be (-3)/b - (-1)/(-2). Which is bigger: 0.2 or z?
0.2
Let g be 1/(-3) + 5*74/930. Is g smaller than 0.1?
True
Let q(l) = l**2 - 2. Let z be q(2). Suppose -2*a + 0*a = -8. Let w be a/(-14) + (z - 2). Which is greater: 0 or w?
0
Let l = 6 - 8. Suppose 0 = z - 7 + 9. Is l at least as big as z?
True
Let x be (-219)/20*11/33. Let b = -15/4 - x. Is b >= 0?
False
Suppose 0 = 6*f - 1 + 1. Let k be 4/(-10) + (-23)/30. Which is bigger: f or k?
f
Let a(l) = l**2 + 4*l + 3. Let j be a(-3). Are -2 and j equal?
False
Let b = -0.9 + 1. Let o = -0.1 + b. Let f = -0.8 + -0.2. Which is greater: f or o?
o
Suppose 4*g + 3*k + 34 = 0, 2*k - 7*k = 5*g + 45. Suppose f - 6*f = 2*z + 4, 18 = -2*z + 2*f. Is g > z?
False
Let w = 587/84 + -9/28. Is 7 at most w?
False
Let i = 0.29 - 0.09. Which is smaller: i or -2/9?
-2/9
Let k = 2 - 5. Let a(h) = -h**2 + 3*h + 6. Let f be a(5). Let r be 74/(-26) - f/(-26). Is k > r?
False
Suppose 5*g - 21 = 4*h - 6, -g + h = -4. Let m(f) = -f + 7. Let d be m(6). Let r be (2 + -1 + 0)*d. Is g at least as big as r?
False
Let m = 17 + -12. Suppose -44 = -m*g + 9*g. Which is smaller: g or -10?
g
Let y = 837/11 + -3173/55. Let z be ((-42)/60)/(11/292). Let x = y + z. Is 2 != x?
True
Let v = 5 - 3.2. Let m = v - 1.6. Which is greater: m or -0.1?
m
Let t = -4 + 4. Let y be (-8)/5 + 3 + (-51)/15. Which is smaller: y or t?
y
Let h = -10.28 + 0.28. Let y = h + 9.5. Which is smaller: y or 2/7?
y
Suppose -2*p - 8 = -6*p. Let f be (-42)/18 - (-3 - 0). Is p < f?
False
Let l be (-4)/(-5) + -1 - 1/(-8). Which is smaller: l or 1?
l
Let b = 11 + -11.2. Let u = -3 + 2. Is u smaller than b?
True
Let b = -2 - 2. Let m be 5/(-7) + b/14. Let l = -3/8 - -29/56. Is m not equal to l?
True
Let q(v) = -v**2 - 5*v + 5. Let j(z) = -z**2 + 6*z + 1. Let k be j(7). Let w be q(k). Let p = -4 - w. Is -4 less than p?
True
Let q = -44 + 50. Are q and 72/13 n