/8*-6. Let h(n) = -1. Let p(a) = a - 1. Let u(d) = 3*h(d) + p(d). Let v be u(k). Do 1/5 and v have different values?
True
Let g be 543*7/427 + -9. Which is bigger: g or 0?
0
Let x = 149 - 162. Let k = 622/3 + -220. Which is smaller: k or x?
x
Let h = -94 + 52. Let q = h - -47. Which is smaller: -1 or q?
-1
Let v(i) = -6 - 3*i**2 + 17*i**2 - 19*i + i**3 + 4*i. Let s be v(-15). Is -2 at least as big as s?
True
Let m be (-1)/(2 + (-5)/2). Let c be m/(-4) + (-148)/(-8). Let o = c + -10. Is o > 6?
True
Let p(v) = v**3 - 9*v**2 + v + 64. Let j be p(12). Which is smaller: j or -0.1?
-0.1
Let g(k) = -13*k + 455. Let s be g(35). Which is smaller: s or -30/23?
-30/23
Let g = -0.9 - 0.6. Let h = 16.6 + -15. Let x = h + g. Is 1/7 less than x?
False
Let w = 161 + -153. Let s be (-1 + 2)*(-64)/w. Is -12 not equal to s?
True
Let m = -8.5 + 8.96. Let g = m + 0.3. Is g greater than or equal to 2/7?
True
Let i = 7244969/209 + -34665. Let o = i - 2/19. Let l = 1.026 - 0.026. Which is greater: o or l?
l
Let l be 165/4 - (-6)/8. Suppose 7*g + 14 - l = 0. Is -0.1 greater than g?
False
Suppose 2*c - 19 = -0*c - 5*h, -6 = -2*h. Suppose c*l = 9 + 9. Suppose l + 3 = -v. Is v at most -1?
True
Let f(c) = 7*c + 8. Let p(k) = 1. Let t(y) = -f(y) + 6*p(y). Let x be t(-1). Suppose -13 + x = l. Which is greater: l or -9?
l
Let h = 12 + -8. Suppose 3*u - 5*c + 25 = -2*u, 3*u + 20 = h*c. Which is smaller: u or 3/16?
u
Let a be 120/(-75)*110/(-4). Let x be (54/36)/((-1)/a*2). Which is smaller: x or -31?
x
Suppose 14*k = 4*k - 5900. Are k and -589 equal?
False
Let j(t) = 1 - 3*t**2 + 3*t + 6*t**2 + 9*t**3 + t**3 - t. Let s be j(-1). Let k = -39604/4569 - -2/1523. Which is smaller: k or s?
k
Suppose l = -y, 8*l - 6*l = 3*y. Which is smaller: 8/21 or y?
y
Let r = -3283.96 - -3284. Suppose 2*c = -3*v - 0*v - 5, -2 = -3*v + 5*c. Is r at most v?
False
Let a be 3 - (-160)/104 - 6. Which is smaller: a or -2/7?
a
Let d(b) = -b**3 + 2*b**2 + 3*b + 1. Let j be d(3). Suppose -12*u = -7*u + 25. Let f be ((-6)/(-12))/(-1 + u). Which is smaller: j or f?
f
Suppose 19*j = 14*j - 2*t - 342, 0 = -3*t + 12. Is -68 at least as big as j?
True
Let m = 145 - -468. Which is bigger: -1/3 or m?
m
Let d = -1085/3 + 364. Suppose 0 = -f + 1 + 2. Which is greater: d or f?
f
Suppose -2355 = -4*d + 4801. Let t = d - 19661/11. Which is smaller: 1 or t?
1
Let b = -3233 + 2051. Which is smaller: b or 0?
b
Let z be (-6)/(-4)*14/3. Suppose 0 = h - 1 - z. Let b be (h/(-2))/(3/(-6)). Which is smaller: 7 or b?
7
Let n(f) = 11 + 3*f + 0*f**2 + f - 13*f + f**2. Let v be n(5). Which is greater: v or -8?
-8
Let b = -936 - -862. Is -510/7 at least b?
True
Let v = -2.7 + 1.7. Let n = 2.6 + -2.56. Is n greater than v?
True
Let u(i) = -i**3 + 5*i**2 + 7*i - 6. Let a be u(6). Suppose 0 = 3*q - 0 - 3, 2*o - 3*q + 5 = a. Let b = -1 + 14/11. Which is smaller: b or o?
o
Let t = -244 - -235.5. Is 4 equal to t?
False
Let h = -7 - -10. Suppose -i + 3*v + 1 = 4*i, -17 = -4*i - h*v. Suppose 2*u - 2*m = 6, 0 = -u - 2*u - 3*m - 15. Are u and i equal?
False
Let t = 1.3 - 1.36. Let z = t - 0.94. Which is smaller: z or 0.17?
z
Let p(y) = y**2 + 5*y + 3. Let x be p(-3). Let c be (-71)/102 + (-2)/x. Suppose -8*f = -7 + 15. Which is greater: f or c?
c
Let v be (-4)/(-6)*((-790430)/(-71860) - 11). Is v >= 0?
False
Let j = -202.4 + 164.4. Which is smaller: j or -2?
j
Let s be (-4)/18 + -3604*1/(-16704). Is -1 at least as big as s?
False
Let k(r) = -2*r + 2. Let l be k(7). Let v = -24 - l. Let d = 107/9 + v. Is d < 0?
True
Let w be (-330)/270 - 5/(-4). Which is smaller: 1 or w?
w
Let m(z) = -126*z**2. Let w be m(1). Let i be (w/44 - -3)/(-3). Suppose 0 = -0*r + 3*r. Is i at most r?
True
Let z = -292 - -2046/7. Is z greater than or equal to 112?
False
Suppose 14*a + 87 = -123. Does -15 = a?
True
Suppose -5*g - 240 = s, 2*g + s = -4*s - 119. Let z = 44 + g. Let j be (2 - 0)/(-2)*-2. Are z and j nonequal?
True
Let m = -1 - -1.3. Let u = -131 - -125. Which is smaller: u or m?
u
Suppose -2*c - 13 + 69 = 0. Suppose 0 = 6*m + c + 44. Is m less than -13?
False
Let d be (-97)/(-11) - 15/((-2640)/32). Let n be (-1534)/39*(-2)/8. Is d equal to n?
False
Let c = -37 - -14. Let i = -185/8 - c. Which is smaller: 0 or i?
i
Let j(c) = 3*c**2 + 44*c - 17. Let l be j(-13). Is -80 equal to l?
False
Let h = 55 + -134. Let c = -78 - h. Which is smaller: c or 1/44?
1/44
Let a = 978 + -968. Which is greater: 117/11 or a?
117/11
Let s be 13*(-12)/360 - 6/(-10). Is s bigger than 35?
False
Let j(s) = 4*s + 15. Let c be j(-6). Let p = -6 - c. Do 3 and p have the same value?
True
Let f be 1 + 57/54 + -2. Let u(l) = -l**3 - l**2 - 2*l - 1. Let r be 2/6 - 8/6. Let p be u(r). Is f not equal to p?
True
Let k be -3 - 1371/(-518) - 4/(-14). Let p = k - -233/1258. Which is greater: -3 or p?
p
Let f be 1 + (-12)/4 - -2. Suppose 3*j + 29 = 5*o, -5*j - 5*o + 2 + 3 = f. Let m = -2 + -1. Is j greater than m?
False
Let t = 217.099 + -217. Let q = 1.901 + t. Which is smaller: q or 1.9?
1.9
Let x be 32/24 - 242/(-3). Is 82 < x?
False
Suppose 5*x - 5*c - 80 = 0, -2*x - 60 = -6*x + 5*c. Suppose x = 4*i - 0. Let y(l) = -l + 2. Let v be y(i). Which is smaller: v or -4?
-4
Suppose -5*o = -5*c - 20, -2*c = 3*o - 0*o + 13. Let l be (-3)/(-12) + 42/(-8). Is l equal to c?
True
Let u(k) = 2*k + 5. Let m(p) = -6*p**3 - p + 1. Let y be m(1). Let a be u(y). Is -6 smaller than a?
False
Let j(s) = 2*s**3 + 4*s**2 + 4*s + 3. Let z be j(-2). Let w(o) = 2*o + 12. Let b be w(z). Suppose 0 = -r + b, 2*r - 10 = -c. Is 4 less than or equal to c?
True
Let o = -328/261 + -28/29. Suppose 0 = 2*f + 2. Is o equal to f?
False
Let k(c) = -7*c + 16. Let w be k(5). Let f = w + -16. Let s be (-2)/(-7) + f/(-49). Which is smaller: 3/2 or s?
s
Let k = -425 + 426. Which is smaller: 8 or k?
k
Let n = -10670 - -32431/3. Let w = n + -136. Which is bigger: w or 4?
w
Let r = -4.66 + 4.56. Let x = -12 + 4. Which is smaller: r or x?
x
Let m be (-11)/(-4) - (-189)/(-84). Which is smaller: m or 0.01?
0.01
Let y = 85 - 19. Let a be ((-3)/(y/(-4)))/(-1). Let j be ((-26)/22 - (-38)/209)*1. Which is smaller: a or j?
j
Let f be (-3 - -4)/1*-46. Let u be (23/f)/((-2)/3). Suppose 0 = -l + 5 - 3. Which is greater: u or l?
l
Let k(q) = q + 10. Let l be k(-7). Let w = -50 - -49.7. Is w smaller than l?
True
Let y = -1556 + 440347/283. Which is smaller: 0 or y?
y
Let o be (-2 - 1)/((-6)/6). Suppose -4*q + 3*g - o = 0, 4*q - 3 = -g - 2*g. Suppose a = -q*a + 3*r + 12, 4*a - 16 = 4*r. Which is smaller: -3 or a?
-3
Let y be 2 + 2 - (-496)/40 - 3. Do -0.1 and y have different values?
True
Let n = 0.17 - 0.2. Let v = n + 0.07. Let j = v - 0.04. Is j smaller than 4?
True
Let c(t) = -3*t**2 + 5*t + 12. Let n be c(-8). Let u be ((-5)/n)/((-5)/326). Let l = u - -13/11. Which is smaller: -1 or l?
-1
Let d = -58.78 - -58. Let w = d - -0.68. Are 0.3 and w equal?
False
Let s be (-4)/(-8)*-2 + (2 - -2). Suppose s*v - 12 = 0, -11 = m + v - 4*v. Which is smaller: m or 1/6?
1/6
Let c be (-1140)/152*(-608)/(-10). Do c and -457 have the same value?
False
Let h = -178 - -117. Let v = h - -37. Let q be -2*(2 - 4/v). Which is smaller: -5 or q?
-5
Let a be (65 - -2)/(-16 + 17). Which is smaller: a or 135/2?
a
Let b = 4.655 - -0.225. Let f = 0.12 + b. Let l = -6 + f. Are 0.03 and l equal?
False
Let a = 482 + -609.2. Is -2/3 at most as big as a?
False
Let w be 7*856/308 - -6*3/33. Suppose c - 15 = 5. Is c at most w?
True
Let s = -3463 - -31165/9. Let r = -33 + 23. Let v = -6 - r. Is v less than s?
False
Let g(v) = -3*v - 4. Let h be g(4). Let l = h + 19. Suppose 3*b = -0*b. Is l > b?
True
Let c be (-1107)/(-18)*2/3. Let w = c + -42. Are 2/373 and w equal?
False
Let a be ((-6)/40)/((-3)/2). Let w = -1073 + 1072. Does w = a?
False
Let t = -18/137 - -1753/14385. Is 0.2 != t?
True
Suppose 2*b + 3*b = 10. Let y be -24*((b - 4) + 3). Let m be (-2)/(-3)*y/16. Is 2/7 <= m?
False
Let p be ((-2)/(-5))/((-1)/15). Suppose 5*m - 12 = -2*x, -x = -0*m - 3*m + 16. Suppose 3*l = 4*l + m. Are l and p non-equal?
True
Suppose 21*y + 94 = 22*y. Let j = -95 + y. Let k = 274 - 4655/17. Which is bigger: k or j?
k
Let i = 235 - 230. Which is bigger: i or 2?
i
Let n(y) = -y**3 - 9*y**2 - 9*y - 12. Let b be n(-8). Let v be (-4)/10 - 1386/315. Is v greater than b?
False
Suppose 2*w = -1 + 41. 