+ 2*k. Let s be ((-48)/(-9))/(2/(-6)). Let b = s + 113/7. Is b > n?
True
Suppose 0 = 2*o - 5*o + 9. Let y = 2 - o. Which is smaller: y or -0.01?
y
Let d = 11 - 12. Let g be ((0 + 1)*-2)/d. Which is smaller: 0 or g?
0
Let b be 0*(-2 - 9/(-6)). Let g = -5 - -5.3. Is g > b?
True
Let j be (-2)/6 + 4/12. Let o = 3 - j. Is 2 less than or equal to o?
True
Let l = -5 - -2. Let t(n) = -n**2 + 9*n - 9. Let s be t(7). Suppose 5 = -5*u, 4 = -s*k + 3*u - 3. Is l less than k?
True
Let r(y) = y + 2. Let n be r(2). Which is smaller: n or 2?
2
Let n = -6 - -8. Let y be (-48)/(-40)*45/(-6). Let z be (-8)/12 - (-21)/y. Is n greater than z?
True
Let a = -163.78 + 164. Is a at least 0.1?
True
Suppose 5*x = -5*x + 3*x. Is 10/17 < x?
False
Let p = 2929/3 + -990. Which is smaller: p or -14?
-14
Let q = 1/71 - 646/497. Is 0 at most q?
False
Let m be (0 - 1)/(18/486). Are -26 and m equal?
False
Let t = 1 + -1. Suppose t*v = -2*v - 4. Suppose -5*c = -0 + 5. Is c > v?
True
Suppose -4*n - 17 = 5*r, 2*r + 8 = -3*r - n. Let l be (10/(-25))/((-7)/5). Is l != r?
True
Let z = 42905/546 - 22/273. Let v = 77 - z. Which is bigger: v or -0.1?
-0.1
Let x = -12 - -13. Is x > -0.13?
True
Suppose 2*c - 5*b = -33, -c - b - b - 30 = 0. Let j = -34 - c. Let k be -3 + (2 - -1 - j). Do k and 9 have different values?
True
Let i = 0.114 + -11.114. Is 8 greater than i?
True
Suppose 0 = -4*d + 12 + 4. Suppose -5 = -d*j - 5*c, j + 0*c - 2*c = 11. Let l = j + -2. Do 2 and l have the same value?
False
Let b = -8.705 - 0.095. Let t = -1.8 - b. Let j = t - 6. Which is greater: 0.5 or j?
j
Let s = 8 + -5. Let c = -4 + s. Let m = c + 2. Which is smaller: -1/4 or m?
-1/4
Suppose 2*z = -4*z + 6. Are 0 and z unequal?
True
Let i be 2/((1 - 2) + 57). Which is smaller: -1 or i?
-1
Let a(q) = -q**2 + 1. Let i be a(1). Let h = -0.34 - -0.24. Is i at least as big as h?
True
Let b be (-12)/(-11)*2/(-4). Is -1 >= b?
False
Let b = -12 + 8. Let p = b + 7. Let w = p - 3.1. Do 6 and w have the same value?
False
Let l = -63 - -36. Is l != -27?
False
Let a be ((-1)/4)/(2 + 0). Let l be (-1)/5 + 238/(-35). Let s = l - -7. Which is bigger: s or a?
s
Suppose 0 = 5*j - 16 + 6. Suppose -j*r + 16 = g + r, 5*g - r = 0. Let x be (-21)/(-66) - 2/4. Which is smaller: g or x?
x
Let d be 1 - (1 - -5) - -3. Let i be 79/(-9) - (-2)/(-9). Let b = i + 6. Is b < d?
True
Let y(k) = 5*k**3 + k**2 - 2*k + 1. Let b be y(1). Suppose b*h = 5*w, 3*h - 9 = -4*w + 4*h. Is 4 at most w?
False
Let a = -247/4 + 62. Which is bigger: 2 or a?
2
Suppose 2*k = -3*k + 25. Let b be (k/20)/(6/(-4)). Which is smaller: 0 or b?
b
Let r(j) = -j**3 - 9. Let t be r(0). Let y = t + 9. Is 2/9 bigger than y?
True
Let w be 12/(-66) + 10/418. Do -1 and w have different values?
True
Let n(k) = k + 3. Let t be n(10). Is t at most as big as -2/3?
False
Suppose 2*o + 3*k = 2*k + 3, 21 = 3*o - 4*k. Suppose 0 = 2*n + l - 3*l - 2, n + 5*l = 13. Is o at most n?
True
Let y = 9 + -9. Let z = 0.06 + 1.94. Is z at most y?
False
Let q be (-12)/60 - (-26)/(-70). Suppose 0 = -3*a - 2*p + 5, 3*p - 14 = -a + 3*a. Do a and q have different values?
True
Let r(t) = -2*t**2 + 3*t**2 - 7 + 7*t - 2*t**2. Let w be r(6). Let f = 3 - 3. Which is greater: w or f?
f
Let x be (-2 + -2 + -4)*-1. Which is bigger: x or 7?
x
Let i(u) = -3*u**2 + 1. Let q be i(1). Let w be 268/42 + q/(-7). Is 6 greater than or equal to w?
False
Suppose -6*c + 125 = -c. Let g = c + -37. Which is greater: g or -11?
-11
Let d = -324 - -5506/17. Let h(m) = -4*m - 3. Let p(r) = -r - 1. Let j(o) = 2*h(o) - 9*p(o). Let c be j(-4). Which is smaller: d or c?
c
Let y = 9 - 9. Suppose p + 1 + y = 0. Which is greater: p or -2?
p
Let g = -2.1 + 1.9. Which is smaller: g or 9?
g
Suppose -5*d + 20 = -0*d. Suppose 0 = 3*h - 5*o - 8, h = -3*o + 2 - d. Let f be (1/(-14))/((-5)/(-20)). Do h and f have different values?
True
Let o = -12.6 - -10. Which is bigger: o or -1/3?
-1/3
Let b = 0.09 + 0.11. Let z = -0.11 + -0.59. Let n = b + z. Is n less than 0.1?
True
Suppose -2*g + 4*o + 6 = -16, 2*o + 8 = 0. Suppose 12 = -g*h - h. Do -0.2 and h have different values?
True
Let u be (0/((-4)/(-2)))/1. Let p = u - 2. Let i = -0.4 + 0.5. Which is greater: i or p?
i
Let q = 0.66 - 0.86. Is 0.3 > q?
True
Let l = 19 - 21. Let q = 0.1 - 0.3. Is q at least l?
True
Let m = 6 + 2. Which is greater: 7 or m?
m
Let t = 0.2 - 0.4. Let l = t - 0.8. Let d = -1 - l. Which is greater: d or -1/3?
d
Let w = -15.9 + 16. Are -50 and w equal?
False
Suppose 0 = -4*n - 0*n + 8. Suppose 4 = n*s + 2. Which is bigger: 4/5 or s?
s
Let y be (-336)/9 + (-1)/(-3). Is -37 less than or equal to y?
True
Let y be 10/(-25) - 26/10. Are y and -5 unequal?
True
Let u be 1 - (0 - (2 - 3)). Suppose -4*k + 0*g = -3*g + 20, u = -k - 3*g + 10. Is k greater than or equal to -1/2?
False
Let m = 21 - 16. Suppose m*o + 9 = -5*j - 1, j + 4*o = -2. Which is smaller: -1 or j?
j
Let s = -0.88 - -0.08. Let p = s - -1. Let z = 0.2 - p. Which is smaller: z or -4?
-4
Let m = 7.6 + -9. Let g = -25.9 + 25.8. Are m and g unequal?
True
Let i be (4/3)/(8 + -9). Let c = -9971 - -4197793/421. Let m = -856/2947 + c. Is m bigger than i?
True
Let w = 50.9 + -51. Does 29 = w?
False
Let a be (-6)/(-15) + (-84)/(-15). Suppose -c + 5 + 3 = 0. Let w = c - a. Is 1 < w?
True
Let x be (-3 + 0)*(-2)/(-3). Let w(t) = -t + 7. Let j be (-3)/5 - (-265)/25. Let o be w(j). Which is smaller: x or o?
o
Let l = 299/12 + -74/3. Are l and -2 nonequal?
True
Suppose 9*c + y = 4*c + 54, 2*c = 4*y + 26. Is c at least as big as 10?
True
Let t = -12/11 + -4208/55. Let v = 78 + t. Let b = -6 - -7. Is b greater than or equal to v?
True
Let k be (2/(-2))/(6 - 5). Which is bigger: k or -1/4?
-1/4
Suppose -4 = -3*c + 5. Let x = -1 + c. Are x and 2/3 non-equal?
True
Let s(n) = -13*n**2 + n - 6. Let a(t) = -13*t**2 + t - 5. Let l(u) = -5*a(u) + 4*s(u). Let g be l(1). Do g and 12 have the same value?
False
Let d = -57 + 58. Which is smaller: -1/61 or d?
-1/61
Let u be -1 + -3 + (-20)/(-6). Which is smaller: -0.7 or u?
-0.7
Let c(y) = -y**2 - 5*y + 5. Let f be c(-5). Suppose k - f = -1. Suppose v - 4*o - 8 = 0, 4*v + 0*v - 2*o - k = 0. Which is smaller: -1/4 or v?
-1/4
Let y = -1.2 - -1.3. Let b = y - 2.1. Which is smaller: b or -1/6?
b
Let i(l) = -l**2 + 4*l + 7. Let f be i(5). Suppose 2*s = 5*k + 18, -f*s + s = 5*k + 6. Let n be k/(-10)*15/(-2). Is n greater than or equal to -3?
True
Suppose 5*l + 7 = 2. Which is bigger: l or 4/133?
4/133
Suppose 2*z = -z + 24. Suppose -15*u = -26*u + 110. Which is bigger: u or z?
u
Let q = 8.77 + 0.23. Let o = q + -9. Let a = -2.9 - -3. Which is bigger: a or o?
a
Let f(p) = -p**3 + 11*p**2 + 2*p - 7. Let k be (-1)/1 - (0 + -12). Let z be f(k). Let t be z/(-40)*28/6. Which is bigger: -1 or t?
-1
Suppose 0 = -5*l + 5. Which is smaller: -3/112 or l?
-3/112
Let v be (-5 - -1)*(-2)/(-4). Let b be v/(-13) + 6/(-39). Is b smaller than -3/22?
False
Let a be 4/(-8)*16/10*-30. Which is bigger: 20 or a?
a
Let x = -3.32 + 0.42. Let t = -3 - x. Let n be (0 + 1)/(-2 + 1). Which is smaller: t or n?
n
Let c = -3485/1548 + 5/172. Is c greater than -3?
True
Let h be 12/14*(-1177)/(-297). Let n = 28/9 - h. Suppose 5*o - 4 = p - 0, -2*o - 2 = -4*p. Which is bigger: n or p?
p
Let j be (1215/(-10))/9 - (-4)/(-8). Which is smaller: j or -8?
j
Let l be 2 + (-3 - (-3 + 18)). Which is greater: l or -17?
l
Let q = 3 + -2.2. Let z = -0.7 + q. Is -4 != z?
True
Let k = 37/6 - 235/42. Let q = 1 - -1. Let s = 3 - q. Is k smaller than s?
True
Let b = 47 - 149. Is b less than 1/4?
True
Let s = 1/10 + 1/2. Suppose 3*w - 16 = 2*j - 2*w, 0 = -j - w + 6. Is j less than s?
False
Let a be (-4)/(-2) + (7 - 4). Suppose -a*y - 5*m - 8 = -3, 0 = 5*m - 15. Let r be y*1*3/(-16). Which is bigger: r or 2?
2
Let h be (2/6)/(2/3). Which is smaller: h or 0?
0
Suppose 19 + 11 = i + m, 3*i + 4*m = 93. Is i at least 27?
True
Suppose -14 = 3*a + w, a = -32*w + 30*w - 13. Let t be (-18)/(-8) - 3/12. Suppose 2*l + 6 = -t*l - o, 4*o = 8. Which is smaller: l or a?
a
Let w(s) = s**3 + 2*s - 2 - s - 4*s**2 + s. Let o be w(2). Let m be o/4*10/(-15). Is m >= -1?
True
Let k(p) = -9*p + p**2 + 5 + 0*p**2 + 2*p. Let j be k(6). Let n be (j/(-2))/(3/2). Which is smaller: 1 or n?
n
Let i = -1990/13 - -153. Which is smaller: 0 or i?
i
Let g(r) = 2*r - 6. Let t be g(3). 