. Suppose 0 = 3*i + d - 0*d - 6, 2*i + 5*d - 4 = 0. Suppose 0 = 5*l - 10 + 25, 0 = -5*h + i*l + 16. Is h less than or equal to u?
False
Let d be (-596)/1166 - 2 - -3. Let x = d + 3/53. Suppose -o - 3*y = 2, 2*o + 0*o - 4*y = 6. Is o != x?
True
Suppose 4*i + 6 = 6*i. Suppose i*p - 2 = 2*l - 3*l, -4*l - 34 = -2*p. Is l at least -7?
True
Let r be (559/(-39))/(6/(-148)). Let i = -353 + r. Which is smaller: i or -0.1?
-0.1
Let h be (1 - -4) + -2 - (-152)/(-51). Is 1 != h?
True
Let g = 3 - 2. Let n be 2/3 - (1 - 33). Let p = -33 + n. Which is smaller: p or g?
p
Let z = -59 - -411/7. Which is smaller: z or -5/2?
-5/2
Suppose -6 + 21 = 3*h. Let x = h - 8. Which is smaller: -2 or x?
x
Let m = -1 - -2. Let i = -0.2 - 0.2. Let d = -0.5 - i. Which is smaller: m or d?
d
Let p be (-2 - 0) + (-7)/(-5). Let w(m) = -4*m + 40. Let i be w(10). Are i and p equal?
False
Suppose 0 = 2*k - 16 + 4. Is k equal to 0?
False
Let f = 3.1 - 2.82. Is -2/7 > f?
False
Let z be -4*(1 + (2 - 4)). Suppose z - 29 = -5*v. Which is smaller: v or 4?
4
Let p(m) = m**2 + 8*m + 9. Let h be p(-7). Suppose -h = 5*x + 38. Which is smaller: x or -7?
x
Let b = 1.68 + -1.42. Is 0 >= b?
False
Let p(s) = s**3 - 5*s**2 - 1. Let u be p(5). Let x be (-4)/(-5)*(-10)/(-4). Let c = u + x. Is c != -2/13?
True
Let v(z) be the third derivative of -z**5/60 + 7*z**4/24 - 2*z**3/3 + z**2. Let r be 0 - -1 - (-5 - 0). Let m be v(r). Are 4/3 and m equal?
False
Let j = -4.7 - 1.3. Which is smaller: j or 0?
j
Let r = 3 - 6. Suppose 3*b - 12 = -0*b. Let d be (-3)/((-30)/b)*-5. Which is smaller: d or r?
r
Let c = 2 + 1. Suppose -3*b - 3 - c = 0. Suppose 0 = 3*p + 5*g + 11, -4*p - g - 6 = -3*g. Is b less than p?
False
Suppose -l = 1 - 2. Suppose 4 = w - 0*w. Suppose -w*d - 6 = -2. Is d at most as big as l?
True
Suppose 4*r = 2*r + 4. Suppose -3*q + 4*t = -97, -q = 3*q + 5*t - 181. Let g be q/9 - 3/9. Is g >= r?
True
Suppose -2*a = -3*p + 6, 3*p = 5*a + p + 26. Let m be (-4)/a - (-24)/(-27). Let q = -19 + 20. Which is greater: q or m?
q
Let p = 0.17 - -0.03. Is p != 8/3?
True
Let n = 4.06 - 4. Let q = -0.04 - n. Which is smaller: q or -5/2?
-5/2
Suppose -m - 13 = 7. Let p be m/(-6) + -3 - 0. Let w be ((-2)/(-36))/((-2)/4). Is w >= p?
False
Let u be -2*5/(-20)*8/6. Let s = 0.7 + 3.3. Which is smaller: u or s?
u
Let a = 55 - 93. Is a at most -37?
True
Let z = 1097/6 + -182. Do z and 2 have different values?
True
Suppose -8*a = -2*a. Which is smaller: -8/9 or a?
-8/9
Let a be (2/(-16))/((-6)/88). Which is smaller: 1 or a?
1
Let v = -6 - -11. Let m = -4 + 9. Are m and v equal?
True
Let p = 3 + 2. Is 9/2 less than or equal to p?
True
Suppose 5*l = -2*b - 1, -b + 2*b + 3 = -5*l. Suppose -4*s - 2 = b, h + s = 0. Is 1 > h?
False
Let u(b) = -3*b**2 + 2 + 0*b**2 - 4*b**2 + 5*b + b**3. Let h be u(6). Let s = 3 + -6. Is s >= h?
True
Let p = 371/95 + -19/5. Let w = p - 31/114. Suppose -2 = 5*x - m, x - 3*m - 2*m - 14 = 0. Is w greater than or equal to x?
True
Suppose 0 = 5*m - m - 12. Suppose -m*y + y = -6. Which is smaller: 5 or y?
y
Suppose -2*a = -3*a + 2*i + 4, -a = -4*i - 6. Suppose 0 = 5*o + 2 + 8. Let n be (4/6 + -2)/o. Which is smaller: n or a?
n
Let l(f) = 3*f**3 + 29*f**2 - 19*f + 21. Let o(v) = -2*v**3 - 15*v**2 + 9*v - 10. Let u(t) = -3*l(t) - 5*o(t). Let w be u(11). Are w and -2 equal?
True
Suppose 4*v - 16 = 2*a - v, -v = 5*a + 13. Let i be a*(3 + (-1124)/372). Which is smaller: i or -1?
-1
Let d(c) = c + 21. Let x be d(-8). Let y(i) = -4*i + 2. Let n be y(-3). Is n not equal to x?
True
Let g = 13 + -7. Let j = g - 2. Is 3 less than or equal to j?
True
Suppose -4*y - 126 = 18. Is -35 at least y?
True
Suppose 2*k = -0 + 4. Let t = -55 - -37. Let s be (t/(-4))/(-3)*-2. Which is smaller: k or s?
k
Suppose 0*s + 4*s + 4*l + 8 = 0, 0 = -5*s - 3*l - 16. Is -0.5 bigger than s?
True
Let z = -2.849 - 0.151. Let c = -3 - -4. Which is smaller: c or z?
z
Suppose 0 = -5*w + 5*i + 25, 3*w - 5*i = -3*i + 10. Let t be -2 + w - -4 - 1. Which is smaller: t or 0?
0
Let l = -1 - 1. Let z(f) be the third derivative of f**5/60 - f**3/6 - 2*f**2. Let p be z(l). Which is smaller: 0 or p?
0
Suppose 3*k + 3*x = 183, -4*k = -4*x - 0*x - 276. Let j be (-2)/6*(-15)/k. Is j greater than 0?
True
Let y = 18 + -17.79. Let u = y + -0.01. Let l = -2 - -4. Which is bigger: l or u?
l
Let b(z) = -z**2 + 6*z - 1. Suppose 4*j + p + 8 + 3 = 0, -j + 5*p = -13. Let v(l) = -l**3 - 2*l**2 - 2*l + 2. Let o be v(j). Let k be b(o). Is 1 < k?
False
Let v be (-10)/6 - (-4)/6. Let o = 1/20 + -247/140. Which is bigger: o or v?
v
Let i(s) = s**3 - 10*s**2 + 18*s - 18. Let d be i(8). Let t = 6 - 4. Suppose -5*c = 7 - t. Is c at most as big as d?
False
Let g(m) = -m**2 + 4*m - 2. Let w be 10/3 + 4/6. Let x be g(w). Which is greater: -3 or x?
x
Let o = 595/304 - 36/19. Which is smaller: 1 or o?
o
Let i be 4/(-8)*18/(-75). Is i equal to 1?
False
Let z = 2 - 2.2. Which is bigger: z or 1/2?
1/2
Suppose 2*k + 2 = 4*n - 18, n = 5*k + 23. Let j = -0.9 - -1. Let g = 0.2 - j. Which is bigger: g or n?
n
Suppose -5*q + 145 = -5*f, 3*f + 46 = 2*q + 7*f. Is 28 at most q?
False
Let o(l) = -l + 2. Let v be o(4). Let n = -1 - -9. Let b = 7 - n. Is b less than or equal to v?
False
Let d = 0.2 - 0.1. Suppose 4*g = -2*j + 10, 2*g + 0*j = j + 3. Which is smaller: g or d?
d
Suppose -5*b - 30 = 4*n, -17 - 11 = 4*b + 4*n. Let y = 1359/5 - 273. Does y = b?
False
Let g be ((-5)/3)/((-2)/3). Suppose 0 = -3*l - 3*a + 18, 0 = -2*l + 4*a - 2 - 4. Which is bigger: l or g?
l
Suppose 5 + 5 = -5*m. Let x(u) = u**3 - 7*u**2 - 7*u - 1. Let l be x(8). Suppose 2*o + 3*v = 5*o - 12, -2*o - v = l. Are m and o equal?
False
Let i = -2.4 + 1.3. Let d = 0.03 + 0.97. Let r = d + i. Is r less than -4?
False
Suppose 2*k = -4*r - 12, -5*r = 3*k - 8*k. Which is greater: k or -12?
k
Let v = 13 + -12.99. Let d = -0.09 - v. Which is smaller: d or 1/7?
d
Let a be (-4)/6 + 78/9. Suppose 2*w = -w + z + 6, -5*w + z = -a. Which is bigger: w or -1/4?
w
Suppose w + 8 = 3*m - 6*m, -3*m = 9. Which is smaller: w or 1/13?
1/13
Suppose 0*j + 55 = 5*j. Suppose 3*x = r + r - j, 4*x + 8 = -4*r. Is r at most as big as -1/17?
False
Suppose 8*i = 2*i + 12. Suppose -i*w - u = -45, -3*w + 85 = -0*w + 5*u. Is 20 != w?
False
Let i = 215/4 - 54. Let h = 0.2 + -0.2. Let w = 0.1 - h. Which is greater: w or i?
w
Let d be ((-2)/(-2))/((-1)/(-3)). Suppose -8 = -d*w + w. Suppose 5 = -w*o + 1. Which is greater: o or 2/15?
2/15
Suppose -b - 2*b = 0, -b + 24 = 4*z. Let w be (2/4)/(3/z). Which is smaller: 2 or w?
w
Suppose 4*f + 4 = -2*s, -1 = f - 4*s + 18. Is f greater than 3?
False
Let b(l) = -3*l - 2. Let y be b(-2). Let r(w) = -2*w + y + 4*w - 6*w + w**2. Let x be r(3). Which is smaller: 2/5 or x?
2/5
Let w = 0.06 - 1.06. Let u = w - -1.2. Let j = -0.3 - -0.1. Is j at least as big as u?
False
Let z = 5 - 6. Suppose m = -2*s - 2*s + 17, -3*s + 3*m = 6. Suppose -4*j + 11 = s. Is z less than j?
True
Let d(y) = y**2 - 11*y - 9. Let w be d(12). Suppose -2*t + 12 = 2*t. Is w > t?
False
Let z be (0 - 68/(-16)) + -4. Let m be (0 - -3)/((-18)/(-4)). Which is smaller: z or m?
z
Suppose -2*w + 10 = 5*h, -5 + 0 = -w. Let z be (-3)/((-2)/(-2 + h)). Which is smaller: z or -0.1?
z
Let l = 6 - 5. Which is greater: 48 or l?
48
Suppose 0 = -0*q - 2*q + 6. Suppose 0 = 4*p - q*b - 36, -2*b - 6 = -3*p + 20. Do p and 5 have the same value?
False
Let v be (4/5)/(3/(-15)). Let l = v - -6. Let y be 4/(-6) + 8/3. Are y and l unequal?
False
Let q = 0 - 3. Suppose 4*k + 6 - 2 = 0. Which is smaller: k or q?
q
Suppose 4 = -3*y + 3*t - 5, 5*t + 6 = -2*y. Let x be -2*(-3)/(-9)*6. Is x equal to y?
False
Let u be (-4)/(-6)*(-1131)/26. Is -29 at most as big as u?
True
Suppose 4*b - 5 = k, 2*k + 31 = -2*k + 5*b. Let x be 4/12*k/2. Which is smaller: x or -0.1?
x
Let o(g) = g**3 + 5*g**2 - 2*g - 9. Let s be o(-5). Let w = -2/39 + 47/156. Which is greater: s or w?
s
Let h be (2/(-452))/((-7)/(-14)). Does h = 1?
False
Let h be (5 + (-42)/7)*(1 + -2). Is h equal to 3/8?
False
Let u = 6 - 6. Let q be 2/(-8) + (2 - 2). Which is smaller: u or q?
q
Let n = -4.7 + 0.7. Let f = -5 - n. Do f and -0.2 have different values?
True
Let q(g) = g**2 - 6*g + 3. Let u be q(6). Let p(f) = f - 4. Let c be p(u). Let k = 26 - 26. Which is smaller: c or k?
c
Let k = -4 + 8. Let g = 7 + -6. Is k equal