se 5*h - 5 = -k. Is h greater than v?
False
Let c = -0.88 + 0.98. Which is smaller: 8 or c?
c
Suppose 0 = 4*k + 4*m + 8, -3*k - 4*m - 26 = -8*k. Suppose 0 = -k*b - 5*c + 5, 2*c + c - 3 = -b. Which is bigger: b or -1?
b
Let z be 1 + -2 + (-14)/2. Let t be z/(-7)*3/(-12). Which is smaller: t or -1?
-1
Suppose 5*x = 2*m + m - 10, 0 = 2*m + 5*x - 15. Let y(c) = c**3 - c**2 + 2*c - 2. Let o be y(2). Let h = o - m. Is 3 < h?
False
Let v = 38 + -35. Is 22/7 <= v?
False
Let j be -3 + 1 - (-1828)/552. Let r be (6/(-92))/3 - 0. Let g = j - r. Which is smaller: g or 0.1?
0.1
Let j(f) = -f**3 + f**2 - f + 2. Let t be j(0). Let m be 3/(-12) - 2810/56. Let o = 51 + m. Which is greater: o or t?
t
Let g = -0.54 + -7.46. Which is smaller: g or 0.4?
g
Suppose -a - 3*o + 0*o = 0, o = -2*a. Suppose 3*f + d = 8, -5*d = -a*f - f - 24. Which is smaller: 0 or f?
0
Let k = 31.7 + -33. Is k < 0.1?
True
Let h(x) = x. Let p be h(-6). Let v = -4 - p. Is v greater than 2?
False
Let s(i) be the second derivative of i**4/4 - i**3/3 - i**2/2 + i. Let v be s(-1). Which is smaller: v or 14/5?
14/5
Let r = 5 + -5.4. Which is bigger: r or 0.1?
0.1
Let k be -1*((-17)/9 - -2). Let y(h) = 7*h + 2. Let n(i) = -15*i - 4. Let v(z) = 6*n(z) + 13*y(z). Let s be v(-1). Which is greater: s or k?
s
Suppose 3*r - 9 = 0, 5*h + r - 4*r = 31. Which is smaller: -7 or h?
-7
Let g be (-2)/14*99/9. Let f = 68/21 + g. Suppose -4 = 2*t + 2*s, 0 = t - 5*t + 5*s + 37. Are f and t non-equal?
True
Let u = 4 - 1. Suppose u*n + n = 0. Is n smaller than 4/3?
True
Suppose 0 = -5*x + 15 - 10. Let s = -6 + x. Are -5 and s unequal?
False
Suppose -k = 3*w - 5, 0*k + 3*k - 3*w - 15 = 0. Suppose 0*h = -5*h - k. Is h not equal to -2/11?
True
Let p be (-1)/(-2 + 0 - 0). Suppose 2*g - 10 = 5*j, 5*g + 6*j - 4*j + 4 = 0. Is g at most p?
True
Let h = 46 - 49. Is h <= 3?
True
Let g be (3/((-9)/12))/(-1). Suppose 2*q = -g*p + 8, -q + 2*p - 4 = -0*q. Is 0 > q?
False
Let c be -1*((-1 - -1) + 0). Suppose -y = -c*y + 1. Let b(d) = -d + 4. Let j be b(5). Is y at least j?
True
Suppose 5*q + 2*h + 15 = 7*h, 4*q - 3*h = -10. Let n be (-516)/(-16) - q/(-4). Let s = n - 97/3. Is -4 greater than or equal to s?
False
Let k(u) = 6*u**2 + 2*u + 1. Let c be k(-1). Suppose -25 = -c*m - 5*a, 5*m = 2*m - 2*a + 11. Suppose 0*x = -2*x. Which is smaller: x or m?
x
Suppose -1 + 2 = w. Let k be (-36)/(-189)*(-9)/(-6). Do w and k have different values?
True
Let u = -0.04 + -0.03. Let f = u - -3.07. Which is greater: f or 0?
f
Let h = -16 + 18. Which is greater: -2.1 or h?
h
Let t = 6 - 4. Suppose -2*l + 5*i + 20 = 3*l, -5*l - 15 = t*i. Is l <= 2/29?
True
Suppose 5*p - 8 = 9*p. Is -3 >= p?
False
Suppose 3*i - 5 = 2*v - 0, 0 = 5*v + 4*i - 45. Suppose 2*w - 16 = 2*b, 8 = 3*w - 2*w + v*b. Let g = -9 + w. Is g != -5/6?
True
Let p = -163/595 + -1/85. Is 0 <= p?
False
Suppose -k = -1, 4*k = -y - 3*y + 72. Which is greater: y or 16?
y
Suppose 2*t - 14 = 2*k, 0 = k + 2*k + 5*t - 19. Let f be 210/27 - (-2)/9. Let a = -10 + f. Are k and a nonequal?
False
Suppose h = 5 + 2. Let g = h - 2. Let c = 43/140 - 2/35. Which is greater: g or c?
g
Suppose -2*y - 2*y - 10 = -3*l, -2*l + y = 0. Let r be 0 + -3 + 2/l. Do r and -9/2 have different values?
True
Let p = 1 - 0. Let v be 23 - -2*(-3)/6. Let b = v + -43/2. Is b greater than or equal to p?
False
Let x = -8 - -10. Suppose x*f + 2 = 5*c, f + 2*f = -c + 31. Suppose -4*b = j + f, 4*j + j - b + 3 = 0. Do 2/11 and j have different values?
True
Suppose -6*h + 2*h = -8. Suppose h*b - b = -5. Which is smaller: -4 or b?
b
Let h = -13 + 4. Let d = -11 - h. Is -1 less than d?
False
Let z be (-4)/(-6) - 730/15. Let n be (z/210)/(1 + 1). Let p = n + -2/105. Which is smaller: 0 or p?
p
Suppose 0*k + 3*k + 9 = 0. Suppose -4 = -5*i - 2*z - 2, 3*z = -5*i + 3. Suppose -4*t = -i*t + 12. Does k = t?
True
Let h be 4 - ((-24)/(-4) + 1/(-1)). Let x be ((-2)/(-4))/(2/(-4)). Is x less than h?
False
Let r = 6 + -3. Are 3 and r nonequal?
False
Let b(k) = k - 5. Let m be b(8). Suppose 12 = 4*g - g + 2*i, 2*g + 4*i - 8 = 0. Is m <= g?
True
Suppose 8*j = 7*j. Is j at least as big as 1/30?
False
Let u = 15 + -12. Let p = -33/20 + 7/5. Is u smaller than p?
False
Let k be 1/(-10)*-34 + 4/(-10). Are k and -0.6 nonequal?
True
Let x = -8.62 + 9.12. Let b = -3 + 4. Which is smaller: b or x?
x
Let n be 74/60 + 2 + -4. Let g = n - -1/6. Which is greater: -2 or g?
g
Let c = 15 + -24. Let g = -7 - c. Let x = 5 + -7. Is x bigger than g?
False
Let r = 0.45 - 0.35. Which is smaller: 7 or r?
r
Suppose -3*h - 2250 = 2*h. Let j = h - -23852/53. Let d = j - -64/1113. Which is greater: d or 0?
d
Let t be (-1)/4 - 2/(-8). Let m = t - 1. Which is smaller: 3/8 or m?
m
Let s(u) = u**3 + 8*u**2 + 3*u + 9. Let a be s(-8). Is a < -16?
False
Let h(l) = 3 - l - 3 + 1. Let b be h(2). Is -3 bigger than b?
False
Let b(n) be the third derivative of n**6/40 - n**5/60 + n**4/24 + n**3/6 - 2*n**2. Let v be b(-1). Are -2 and v equal?
False
Suppose 4*c - 12 = 0, -3 = 3*y + 2*c - 6*c. Suppose -y*a - 2 = -4*t - 7, 3*t + 3*a - 12 = 0. Which is greater: t or 7/5?
7/5
Suppose -4*q = 20, 3*q + 63 = 2*n - 5*n. Which is bigger: -15 or n?
-15
Let c = 2.108 + -0.078. Let p = c + -0.03. Which is greater: -1 or p?
p
Suppose 0 = 2*u + 16 - 72. Suppose 4*b - 5*g + u = 0, -4*b + 3*g - 21 = 15. Do b and -13 have the same value?
False
Let i be 18/(-12)*1*2. Let d be -9 + (-3 - 9/i). Let f = d + 15. Is f != 7?
True
Let d = -1.3 - 0.2. Let b = d - 2.5. Which is smaller: -2 or b?
b
Let w = -51 + 563/11. Let t = 0.007 - -1.993. Is t bigger than w?
True
Let a be (-1)/3 - (-16)/(-6). Suppose 9 = 3*t - 6*t. Is a equal to t?
True
Suppose 2*d = 5*x, -3*x = -0*d + 2*d. Which is smaller: 1/6 or x?
x
Suppose -h - 4*w - 10 = 0, -3*h - 4*w = 17 + 13. Let c be (h/(-3))/((-10)/15). Which is greater: c or 1?
1
Let m = 136 + -145. Is m > -1/4?
False
Let j(w) = w**3 - 4*w**2 - 3*w - 4. Let h be j(-4). Let k be (-4)/(-24) - (-116)/h. Is 0 >= k?
True
Let i = -22.9 + 24. Let j = -0.6 + i. Which is smaller: 1 or j?
j
Let u(j) = -j**2 + 4*j + 2. Let c be u(3). Let z = c - 7. Is 1 < z?
False
Let p = -7 + 8. Let a = 53 - 75. Let b = 65/3 + a. Which is smaller: b or p?
b
Let k be 1/2*(7 + -1). Suppose b + k*b = 0. Let i = 244 + -243. Which is smaller: i or b?
b
Suppose -11*o = -10*o. Suppose o = -5*p - 2*g - 3 - 3, -p - 12 = 4*g. Is -4/9 at least p?
False
Let l = 11 + -18. Let b = 13 + l. Let g be (-3)/(-15)*5 - -6. Which is bigger: g or b?
g
Let y = 10 - 3. Let m = -6.9 + y. Let a = -253/812 - -3/116. Is m < a?
False
Suppose -z = 3*o - 4, 5*o - z - 1 = 3. Are o and 3/4 nonequal?
True
Let x = 0.07 + -0.17. Are 15 and x nonequal?
True
Let s be (-5 - -5)*(-2)/4. Suppose m = 5*w + 10, -2*w - 3*m + 19 - 6 = s. Which is bigger: -2 or w?
w
Suppose -f - 2*f + x = -10, 0 = -f - x + 2. Suppose -8 = -2*m + q, -5*m + f*q = 4*q - 20. Do -1 and m have the same value?
False
Let y = 41 - 40. Which is smaller: y or 1/3?
1/3
Suppose -5*c + 2*c = -12. Let d(v) = v**2 - 7*v - 5. Let h be (0 + 3)/((-3)/(-8)). Let b be d(h). Which is smaller: c or b?
b
Let g = 16 - 10. Suppose g*j - 8*j = 0. Which is greater: 1 or j?
1
Suppose 2*j = -4*p, -3*p + 2 = -4*p. Suppose 5 = -j*r - r. Is -1/2 > r?
True
Suppose 40 = 3*t + 2*t. Let j = -7 + t. Is j equal to 2?
False
Let i = -4.417 + 0.017. Let h = i - -4. Let v = h + 1.4. Which is smaller: 1/5 or v?
1/5
Let s = 56 + -40. Let a be 3*(s/3)/(-2). Let t be 4/(-2) - (a + 2). Which is bigger: t or 5?
5
Let u = -0.1 + 0. Let x = -2.1 - u. Let g = 3 + x. Which is smaller: -0.1 or g?
-0.1
Let m = 159 - 1109/7. Let a(r) = -r**3 - 7*r**2 + r + 8. Let g be a(-7). Is m at most as big as g?
True
Let h = 145 + -249. Is h smaller than -104?
False
Suppose -5*h = 5 + 5. Let q = -2 - h. Is -2 smaller than q?
True
Let x be (-3)/5 - (-1)/10. Let h = 0.2 + 0. Is h bigger than x?
True
Let a = 2.32 + -0.02. Let g = -0.3 + a. Let l = g - 2.3. Which is smaller: l or -1?
-1
Suppose -g = -0 + 2. Let n be 0 + -2 - g - 4. Suppose 9*j - 54 = 27*j. Is j smaller than n?
False
Let m = 105 - 102. Are m and 2/5 nonequal?
True
Let a = 8 - 6. Let h(n) = -2*n + 2. Let x be h(a). Let w be (56/(-18) + 3)*x. Which is smaller: -0.3 or w?
-0.3
Let v = 29 + -35. Is -5 equal to v?
False
Let g = 87 - 80. Suppose 32 = -4*f + 8*f. Which is bi