*v + 22, -5*x - 2*v = -2*x + 44. Let q = x - -31. Are 14 and q non-equal?
True
Let w = -15 + 16. Is w less than 1?
False
Let l be (-8)/(-12)*(1 - 53/2). Which is smaller: l or -21?
-21
Suppose 4*j - 3*r = -3, 0 = -0*j - j + r - 2. Let w be (j + 0)*36/(-243). Is 1 at least w?
True
Let q = -156 + 156.15. Suppose -5*k + 0*k = -5. Are k and q nonequal?
True
Suppose 5*t - 76 = -21. Suppose 0*x + t = -x. Is -10 >= x?
True
Let q = 102 + -101. Let t = 4.7 + -0.7. Is t less than q?
False
Let c be 2 + 1 - 3 - -3. Let d be 7 + c - 0 - -1. Is d < 10?
False
Let y(c) = -c**2 + c + 11. Let j be y(5). Is j less than -74/9?
True
Let k = 6/571 - 32571/2284. Let s = -15 - k. Which is greater: s or -2?
s
Suppose -72 = -d + 68. Let o be d/(-25)*(-5)/2. Suppose 0*w + 3*n = -w + o, -3*w = 3*n - 12. Is w at least -2?
True
Let b = 3 - 2. Let q = 2 + -2. Let k = b - q. Which is bigger: -1 or k?
k
Let z = -98 - -97. Is z >= 7?
False
Suppose 0 = 2*r - 2*f - 202, -2*r - f + 202 = -6*f. Is r less than 2/7?
False
Let f = 0.1 + 0.3. Let l = f - 0. Let g = l + -0.3. Is g < 0.1?
False
Let v be (3 + -6 - 2)*3. Is 0.1 <= v?
False
Let u(i) = 0*i**2 + 2 - 4 - 3*i**2 - i + 2*i**2. Let s be u(-2). Are -5 and s unequal?
True
Let f(i) be the second derivative of i**5/20 - 11*i**4/12 + 3*i**3/2 + i**2/2 + 5*i. Let h be f(10). Which is smaller: h or 2/3?
h
Let t be (-12)/10 + (2 - 1). Suppose 5*l - n - 8 = 0, -5 = -2*l - 4*n + 7. Suppose -3*k = 9, 3*h + l*k - 12 = 7*k. Is t at most as big as h?
False
Let r be (4 - 4)/(2 - 3). Let w be (-10)/(-12)*8/(-70). Is r at least as big as w?
True
Let q = -4 + 5. Let s = 1 - q. Suppose 2*m - 4*a = -s*a + 8, 3 = -3*m + a. Is 0.1 greater than m?
True
Let i(o) = -16*o**2 + 29*o - 50. Let b(q) = -3*q**2 + 6*q - 10. Let d(r) = -11*b(r) + 2*i(r). Let s be d(7). Are s and 3 non-equal?
False
Let r = -16 + 19. Suppose 2*z = 5*z - 12. Is z < r?
False
Let n = 11 - 1. Let o = -9.9 + n. Is 0 greater than or equal to o?
False
Let b(w) = -3*w**2 + 10*w - 7. Let h(t) = -t**2 + 3*t - 2. Let v(s) = -4*b(s) + 11*h(s). Let m be v(5). Which is smaller: m or -5/2?
m
Let p = -0.04 - 0.06. Suppose -3*v - 12 = 3*b - 0*v, -2*v - 10 = 4*b. Let q be 2 - (b - 38/(-12)). Which is smaller: q or p?
q
Let n be (-16)/(-20)*(-5)/3. Let u = 10 - 10. Suppose u = -2*a + 3*a. Which is smaller: n or a?
n
Suppose -2*c - 6 - 2 = 0, 0 = -5*k - 4*c - 21. Let y be (-3)/(5 - 2) - k. Is y > -1?
True
Let s = -13 + 13. Let y be (-2)/10 + (-35)/(-125). Which is smaller: s or y?
s
Let n = 2 + 2. Suppose 5*p - 4*p - n*c - 1 = 0, 0 = 3*p + 5*c + 48. Let a be (6/p)/(3 + -2). Do a and -2 have different values?
True
Let v be 4/14 + 102/(-14). Let n be 7 + v + (-2)/10. Is n at least as big as 0?
False
Let w = 0.017 - 0.017. Which is smaller: w or -7?
-7
Let t = -1 - -4. Suppose 2*j = 3*r + 4*j, t*r + 3*j = 0. Which is bigger: 2/21 or r?
2/21
Suppose -k = 2*k. Let l be 29/(-8) - -4 - (-2)/(-8). Which is smaller: k or l?
k
Let s = 15 + -15.1. Which is smaller: 0.05 or s?
s
Let u = -32233323/55 - -586090. Let i = 147/5 - u. Let v be (-12)/8 - (-2)/4. Which is bigger: v or i?
i
Let d(y) = y**2 + 9*y - 14. Let f be d(-9). Which is greater: f or -72/5?
f
Suppose -8*n = -4*n + 60. Let g be n*(-1)/4*-4. Is -15 equal to g?
True
Suppose g = 3*i - 0 + 17, 4*g + 2*i + 2 = 0. Suppose -j + 2 - 5 = -4*l, 0 = g*j - 3*l + 1. Which is smaller: j or 1/9?
1/9
Let n be ((-912)/(-4) - 1) + -3. Let d = n - 2018/9. Is d != 0?
True
Let i = -75 + 76. Is i at least as big as -3/10?
True
Suppose -7 + 2 = z. Which is bigger: -6 or z?
z
Suppose g + g = 20. Let a = -170 - -180. Is a greater than or equal to g?
True
Let h be (-6)/(-3 + 0) + -3. Let f be (-2)/(-8) - (-7)/4. Suppose i + 0 = -f. Is h at least i?
True
Suppose 3*w = -2*b + 1, -2*w + 4*b + 7 = w. Let u(m) = -w + 5 + 4*m - 3*m. Let a be u(-4). Is a != 1/3?
True
Let l = 10 - 7. Suppose -4*m - 14 = -l*m + 4*p, 3*m - p = 10. Suppose -m = u - 1. Does u = -1/2?
False
Suppose 5*j - 2*f = 3*j - 4, 0 = -j - f. Let r be ((3 - 2) + 1)/(-2). Let t be (-1)/4 - r/(-2). Is j bigger than t?
False
Let p = 68 + -51. Which is greater: p or 4?
p
Let h = 0.1 + -1.1. Let p be (-21)/(-5) + (3 + -1 - 6). Are p and h nonequal?
True
Let y(i) = -11*i**2 - 29*i - 33. Let n(w) = -5*w**2 - 14*w - 16. Let l(a) = 13*n(a) - 6*y(a). Let h be l(9). Is h not equal to -1/3?
True
Let s = 15 + -18. Does s = -3?
True
Suppose 0 = 3*u - u - 3*x - 11, -4*x = 12. Which is bigger: 3/16 or u?
u
Suppose 5*y - 60 = 5*f - 0*f, 34 = -3*f + 4*y. Is f at most -14?
True
Let z = 93 - 92. Do z and -3 have the same value?
False
Let i = 527/7 - 75. Suppose -4*q + 6 = 2. Let c be q*2*3/(-6). Which is smaller: c or i?
c
Let t be (6/18)/(1/(-3)). Suppose 8 = 5*b - b. Which is smaller: b or t?
t
Let g = -19/80 - -1771/720. Let m = -22/9 + g. Is -0.1 smaller than m?
False
Let o be (-32048)/7 - 2/(-7). Let x be (-50)/o*384/(-15). Let w = 2/327 - x. Is w < 1?
True
Let i = -12 - -61/5. Suppose -2*t - y + 5 = -2*y, -7 = -3*t + y. Suppose 0 = t*f - 2*g, -4 = -5*g + 1. Is i at least as big as f?
False
Let q(f) = -f**3 + 9*f**2 - 9*f + 8. Suppose -6*m + 4*m = -4. Suppose m = 3*g - 22. Let b be q(g). Is b at most -1?
False
Suppose 3*y - 15 = -2*c, -5*y + 3*y + 10 = -c. Let w = 8 - y. Let i be (-24)/60 - 2/(-5). Which is smaller: i or w?
i
Let t = 1.81 - 0.81. Which is smaller: -3 or t?
-3
Let q = 0.444 + 23.656. Let b = -19 + q. Let r = -5 + b. Which is smaller: 2/9 or r?
r
Suppose -4*f = -18 - 2, -214 = 4*i + 2*f. Are i and -56 nonequal?
False
Suppose -4 = u + 4. Is u equal to -6?
False
Let w = 37 - 26. Is 10 <= w?
True
Suppose 3*t - 5*t = 2. Which is smaller: -1/100 or t?
t
Let v be (-10)/(-8) + (-2)/8. Suppose -3 = 4*b + v. Let i be (3 - 1) + (-60)/27. Are b and i equal?
False
Let y = 174 - 103. Which is bigger: y or 69?
y
Let y be 3/(-9) - (-2 - (-176)/102). Are y and 1 nonequal?
True
Let w = -4.7 - 0.3. Let o = 4.9 + w. Let i be 3*(1/4 - 0). Do o and i have different values?
True
Let w(d) = -d. Suppose -t - 2*j = -4, 0*t - 2*j = -4*t - 14. Let v be w(t). Suppose -5 = -3*m - v*m. Which is smaller: 2/17 or m?
2/17
Let d(l) = -l - 1. Let w be d(1). Is w at least -3/4?
False
Let z = 26 + -39. Let i = z + 11. Is 0 at most as big as i?
False
Suppose -2*b + 1 + 1 = 0. Is -1 != b?
True
Let b = 10 + -9.9. Are b and 18 unequal?
True
Let f = 104/5 + -292/15. Let u = f + -2. Let v be ((-3)/(-9) + 0)*-1. Which is smaller: v or u?
u
Let j be (27*17)/(-3) + -1. Let d be 4/(-22) - 336/j. Which is bigger: 3 or d?
3
Let w = -93 + 65. Does -29 = w?
False
Suppose 3*v = c - 137, 2*v - 2*c + 180 = -2*v. Is -1 > v?
True
Let l be -2*4*44/(-8). Let n be (-2)/l*(-25 - -5). Is 1 at least n?
True
Suppose 0*d + 12 = -d + 3*a, -4*a + 40 = -4*d. Let k be 6/d - (-1)/(-3). Which is smaller: 1/8 or k?
k
Suppose 2*l - 2*s = -0*s - 6, 3*l = s - 5. Let b be ((-8)/(-12))/(1/3). Suppose 0*y - y = -4*o + 2, -b*y - 4 = -2*o. Is y equal to l?
False
Let s = 0.4 - 62.4. Is s smaller than 1/4?
True
Suppose 2*k - 4*s = 24, 3*s = -5*k + 6 + 2. Let i = 2 - k. Is -4/3 <= i?
False
Let z = -3 + 7. Which is smaller: z or 5?
z
Suppose 4*p - 2*m - 113 = m, 0 = 4*p + 5*m - 89. Is 1 at least as big as p?
False
Let k = -3/296 + 101247/1480. Let q = -69 + k. Is -0.2 smaller than q?
False
Let a = -12 - -14. Which is smaller: a or 13?
a
Let b = -1219/13 - -94. Which is smaller: 1 or b?
b
Let g = -14 + 10. Let l be 4/(-4 + (-1 - g)). Suppose 8*y + 15 = 3*y. Which is bigger: l or y?
y
Suppose 3*g + 15 = -3*q, -37 - 2 = 3*g - 3*q. Suppose 3*o + 10 = -i, -i - 4*o = -0*i + 10. Is g greater than or equal to i?
True
Let l(a) = -a**2 - 2*a + 1. Let d be l(0). Which is bigger: -2 or d?
d
Let f = 159 + -63. Does f = 98?
False
Let u = 0.9 + -0.95. Let d = u - 0.05. Let w = 0 + 0.5. Is d smaller than w?
True
Let t be 9/7 + (-6)/21. Let s be 1 + t + 2/(-2). Suppose 0*c = -c + 1, -o + 5 = 5*c. Is o <= s?
True
Let d = 2 - 0. Let f = d - 2.2. Does 0 = f?
False
Let o be (-1)/1*(1 + 3). Let n = -2 + o. Let w be (n - -4) + 3/1. Which is greater: w or 2/3?
w
Let s be (21/10)/(6/(-15)). Which is smaller: -6 or s?
-6
Let r be (-14)/40 + 69/115. Is 8 < r?
False
Let u be 1 - 3*(-4)/6. Suppose u + 2 = -5*z. Are z and -1 equal?
True
Let o = -2 - -3. Let h = o + 2. Let f be 0/(2 - (-2)/(-2)). Which is smaller: f or h?