e
Let w be (9 - (-7 - -4))*6. Which is smaller: 145/2 or w?
w
Suppose -7*f + 3*f - 2*r = -4, 5*r + 11 = -3*f. Suppose -6 = 5*a - f*a. Let q be ((-30)/(-9))/((-1)/a). Is 9 > q?
False
Let h = 38.566 + 0.434. Which is smaller: -7 or h?
-7
Let g(t) = t - 3. Let s be g(6). Suppose -3*a - 2 = -w, 3*w - 4 = 4*a - s. Let z be -1*1/(-22)*-12. Which is smaller: z or a?
a
Let c = -5.2 + 5.4. Let o(x) = 6*x - 3. Let w be o(5). Suppose 3*h + 0*h = -w. Are c and h non-equal?
True
Suppose -6*r + 12 = 42. Let y be (-8)/(-14) - (r - (-96)/21). Do y and 9/13 have different values?
True
Let h = -30/6877 - -61276/17199377. Which is greater: 1 or h?
1
Suppose -y - 4*y = 40. Let f = -13 + 1. Let u be f/y + 3/(-6). Is -2/5 >= u?
False
Let w = 0.026 - -14.974. Let y = w - 14.4. Let d = -7 - -5. Is y >= d?
True
Let f(u) = 6*u**3 - 2*u + 1. Let t be f(1). Let v(z) = -z**3 + 4*z**2 + 4*z + 7. Let g be v(t). Which is greater: 1 or g?
g
Let h = -3 + 0. Let x = 0.035 + -24.035. Let c = x + 24.3. Is c < h?
False
Let m = -96 - -89. Let d(a) = a - 7. Let o be d(0). Let y = o + m. Is -14 smaller than y?
False
Let v = -62 - -17. Let t = 32 + v. Let w = -5.9 + 6. Which is bigger: t or w?
w
Suppose -2*t - 1054 = 1618. Let i = t - -6627/5. Is i at least as big as -11?
True
Let d(s) = s**3 - 9*s**2 + 14*s - 34. Let r be d(8). Which is smaller: 255/19 or r?
255/19
Let k = -1 + 1. Let j be (-1)/(-10)*2 - (-34775)/(-27625). Is k smaller than j?
False
Let o be 13/208*(-154)/29. Let t = -1/8 - o. Which is bigger: t or 1?
1
Suppose 5*z = -15, -4*k + z = -3*k - 12. Let v be 8/12*(-15)/(-35). Which is greater: k or v?
k
Suppose 0 = 3*a - 5*a + f + 630, 0 = 3*a + 2*f - 952. Is 316 greater than or equal to a?
True
Let c = -3427/2 - -1778. Let n = 64 - c. Which is bigger: -0.05 or n?
-0.05
Let j(i) = 4*i - 22. Let z be j(-3). Let k be 2/12 - z/(-60). Let f = -0.2 - -0.25. Which is bigger: f or k?
f
Suppose -4*o = -4*z, z + 2*o + 7 = -4*z. Is -4/195 equal to z?
False
Suppose -4 = 2*n - 3*l - 19, -2*l = -n + 9. Let i(t) = t**2 - 13*t - 9. Let b be i(8). Let d be (-14)/b - (-31)/14. Which is smaller: d or n?
d
Let p be (-15)/5 - (-1 - (-85)/(-45)). Which is bigger: 0.8 or p?
0.8
Let o = 30 - 27. Suppose -o*v = n - 47, 5*n - n = -4*v + 52. Do 19 and v have different values?
True
Let s = -412/9 + 46. Suppose 4*g = 4 + 4. Suppose -g*c = -4*c + 6. Which is smaller: s or c?
s
Let u = 93/2 - 835/18. Let s = -157 + 157. Are u and s nonequal?
True
Suppose -20*j = 21*j + 9594. Which is smaller: -231 or j?
j
Let x be (-5 - -3) + 3 + -1. Suppose -5 = -x*m - 5*m. Which is greater: 8 or m?
8
Let q = 45 - 43. Suppose 0 = -q*k + 2*w - 76, 0 = 3*k + 4*w + 27 + 94. Is -37 at least as big as k?
True
Let k be 5814/(-480) + (-12)/(-1). Which is bigger: -1 or k?
k
Let p = 44 - 39. Suppose -3*l - 12 + 2 = x, -3*l = p*x - 10. Does x = 2?
False
Let v be (-11)/(-2) + 5/(-10). Suppose t + 4*l - 22 = 0, 4*t - v*t - 23 = -5*l. Suppose t*k - 10 = 4*k. Which is smaller: -3 or k?
k
Let h(z) = z**3 - 20*z**2 - 40*z + 78. Let s be h(23). Is 746 at most s?
False
Let z = -0.23 + 11.23. Let y = 0.018 + -9.018. Let w = z + y. Which is smaller: 0.2 or w?
0.2
Let t be (-20)/6*(760/(-175) - -4). Is t greater than -0.1?
True
Let n = 1/67 + -72/335. Let q = -111 + 126. Which is smaller: n or q?
n
Suppose -187*q - 5 = x - 184*q, -x + 3*q = 17. Which is bigger: x or -2?
-2
Let s be (21/(-9) - -2)*-15. Suppose 60 = s*n + 5*g, -1 = 2*g - g. Is 2/7 < n?
True
Let a = 2.9682 + 0.0318. Is -1/15 smaller than a?
True
Let x = 4 - 24. Let j = -30 - x. Is 0.1 smaller than j?
False
Let q be (-230)/(-40) - 6/8. Suppose 0 = -0*r + q*r. Let s = -388/7 - -3490/63. Which is smaller: s or r?
s
Let s = 18 - 11. Suppose 0*u + 5*p = 5*u + 190, -3*u - 110 = -4*p. Let n be (u/30)/((-1)/5). Is s at least n?
True
Suppose -2*a - 49 = -2*k + 1, -4*k + 82 = 2*a. Suppose -2*v - 3*u - k = -4*v, 25 = v - 5*u. Let j = 1 + -0.9. Which is greater: v or j?
v
Let q(b) be the first derivative of -b**2/2 + 2*b - 2. Let w be q(1). Let r be 3*(-3)/18*0. Is w less than r?
False
Let u = 239 - 240. Is u > -2/275?
False
Let f be 2 + 11*14*660/(-50850). Is f less than or equal to -1?
False
Let i = 1.66 + 0.24. Let w = -26.1 - i. Which is smaller: w or 1/3?
w
Let g = 9 + -2. Suppose -g = -6*l - 1. Which is bigger: l or 13?
13
Let t(a) = -6*a + 9. Let q be t(-8). Let z = q + -56. Is z <= 8/5?
True
Suppose -5*g + 15 + 10 = 0. Let n be 4 + 8*g/(-10). Which is bigger: 10/7 or n?
10/7
Let r = -0.156 + -45.844. Let y = -46.1 - r. Is -11 greater than or equal to y?
False
Let h(a) = -a**2 + 6*a + 1. Let u be h(6). Suppose 189 = -i - b + 70, -5*b + 575 = -5*i. Let w = -1522/13 - i. Is w equal to u?
False
Let y be (1 - (-6)/(-2))/1 - -19. Let a be y + -13 - 12/(-14). Which is smaller: a or 4?
4
Let c = -29897/74 - -404. Which is smaller: -1 or c?
-1
Let x be (1/2)/((-20)/(-40)). Let k(b) = b**3 + 7*b**2 - 7*b + 5. Let m be k(-8). Let r be 16/14 + m/3. Are r and x nonequal?
True
Let z be 1/1 + -3 + 956. Suppose -5*n = -3*y + 189 - z, y = 0. Let p be 12/54 + (-43)/n. Which is bigger: -1 or p?
p
Suppose 2*x - a = -19, 4*x + 25 = -a - 16. Which is smaller: -8 or x?
x
Let h = -528 - -481. Which is smaller: -3 or h?
h
Let n = -573 + 375. Let b be n/(-15) - 3/15. Let t be 80/b - (-6)/(-39). Which is greater: t or -2?
t
Let r = -30 - -3. Let w = r - 7. Let i = w + 24. Which is greater: i or -11?
i
Let l = -165 - -177. Does 13 = l?
False
Suppose -3*b + 0*a + 4*a - 235 = 0, 5*b - 4*a = -397. Let c = b + 64. Which is smaller: c or -18?
-18
Let w = 430.7 - 431. Does w = 5.4?
False
Let d = 5.56 + -3.37. Which is smaller: d or -0.2?
-0.2
Let w be (-24)/(-9)*(-27)/(-12). Let v = -17/3 + w. Let m = 2/3 - v. Which is greater: m or 1/4?
m
Let r = 94 - 2. Which is bigger: r or 93?
93
Suppose 22*u = 62*u + 40. Which is bigger: 272 or u?
272
Let r = 21.2 + -23.2. Are r and -3/5 nonequal?
True
Let f = 23 + -14. Let i be -5 - (1 + 2 - 20 - -1). Which is bigger: i or f?
i
Let v = -637 - -639. Let j = 0.27 - 1.37. Are j and v unequal?
True
Suppose h + 4 = 5*t + 2, -t = h + 8. Let a = 33/2 + -17. Is t less than or equal to a?
True
Suppose 4*d = 10655 - 10887. Which is greater: 2/3 or d?
2/3
Let i be ((-12)/3)/4*-2. Let h(q) = 4*q**2 - 13*q - 2*q**2 - 4 - 3*q**2 + i*q. Let l be h(-11). Which is smaller: l or -3?
l
Suppose -4*n - d + 9 = 0, -17*n = -13*n - d - 7. Is n <= 5/26?
False
Let f = 56.57 - 56. Let a = f - 0.27. Let u = -4/3 + 17/15. Which is smaller: a or u?
u
Let j = -226 - -334. Which is smaller: j or 2/7?
2/7
Let x be (-1)/((-168)/54 + 3). Suppose -1 - x = a. Let r = -0.1 - 0. Is a greater than or equal to r?
False
Let r = -107 + 67. Suppose -20*p + 5*p = -15. Let m be (6/r)/(3*p). Do m and 0 have the same value?
False
Let o be (-5)/(-20) - 43/(-4). Suppose 25 = k + o. Let v = k - 7. Do 7 and v have the same value?
True
Let v = -93 - 2. Let x = v - -81. Which is greater: 1/4 or x?
1/4
Suppose 0 = -6*r - 43 + 1. Let z be -3 + r/((-7)/2). Is z bigger than 2?
False
Let c = 32095/69 - 465. Which is bigger: -1 or c?
c
Let l(y) = -y**2 + 5*y - 4. Let o be l(3). Let t be -5*o*(-3)/15. Let s(p) = -2*p**3 + 3*p**2 - p. Let x be s(t). Is 1 >= x?
True
Let r be 5/4 + (-83685)/84. Are r and -996 equal?
False
Let i be 4/2 - (2 - 5). Suppose 0*u = a + 5*u - 30, -i*u = -20. Suppose 5*k + 2*g + 3*g = 25, a = 2*k + 4*g. Which is greater: -2/7 or k?
k
Let p = 3 + -5. Let h(d) be the first derivative of d**4/4 + 2*d**3/3 + d**2/2 + d + 32. Let x be h(p). Which is smaller: -14 or x?
-14
Let k be -2 - (-9)/(9/3). Suppose 5*n = 11 - k. Is 15/7 equal to n?
False
Let k = -5284 + 15715/3. Let f = 127 - 81. Let p = f + k. Is -3 >= p?
False
Suppose -s + 5*q = 15, -2*s + 2*q - 11 - 11 = 0. Let i = 29 - 28.8. Is s at least as big as i?
False
Let x be 6/(-9)*(63/6 - 3). Let c be 4 - 1/(2/4). Which is smaller: c or x?
x
Let j = -86 - -86. Which is greater: 2/221 or j?
2/221
Let y = 233/4 - 58. Let w = -0.039 - -0.049. Which is smaller: w or y?
w
Suppose 58*p + 12 = 70*p. Which is smaller: -2/805 or p?
-2/805
Let k be (4/(-8))/(5/10)*-1. Which is greater: 11/17 or k?
k
Suppose 4*c - 2 = 3*u, 4*c = -4*u + 23 - 7. Suppose -10 - u = -2*z. Let j(y) = -y**3 - 11*y**2 - 19*y - 4. Let b be j(-9). Which is greater: b or z?
z
Suppose -i = -153 +