uppose 2*t = -5*b - 28, v*b - t - 12 = 4*b. Is b equal to -3?
False
Let c be 3/(-9) + (2 - (-650)/15). Which is smaller: c or 44?
44
Let r be 2/(-7)*(-7)/(-14). Let k = -18 + 19. Is k less than r?
False
Let t = 1166/3 - 395. Let w = -20/3 - t. Which is bigger: w or -6?
w
Let r = -27 + -5. Let m be (-44)/r + (1 - 2). Is -2/3 at most as big as m?
True
Let n be 1 + 2/2 + 2. Suppose -c - 23 = -0*f + 5*f, -n*c = 2*f + 20. Let p be c/(-6)*4/(-6). Which is smaller: -1 or p?
-1
Let c(n) = -2*n + 4. Let x be c(2). Is 1/4 at least x?
True
Suppose 4*h = 2*y - 2, -4*y - 2 = -4*h + 2. Let d be -2*(-1 + y/(-2)). Let s be -1*((-27)/12)/9. Is s bigger than d?
True
Let j = 3.5 + -1.5. Is j bigger than 3/2?
True
Let s = -1.3 - -0.3. Let t = 0.06 + -0.05. Let m = -0.01 + t. Do m and s have the same value?
False
Let m(o) = o**3 + o**2 - 4*o + 6. Let a be m(-4). Is a less than -27?
False
Suppose 10*q + 56 = 3*q. Which is greater: q or -31/4?
-31/4
Let d = -166 + 1832/11. Let n = d - -26/33. Which is smaller: 2 or n?
n
Let a = 7 + -7.3. Let p = -0.66 - -2.36. Let i = p - a. Are i and 1 non-equal?
True
Let p = -1/156 + 139/52. Which is bigger: 4 or p?
4
Suppose 2*r = 2*c + 12, -3*r - 6*c = -3*c - 6. Suppose r + 26 = -5*k. Which is smaller: k or -7?
-7
Let u be (-1)/2 - 6/12. Let h be (u*(-3 + 2))/1. Which is smaller: h or 4/7?
4/7
Let j be -2 + 3/6 + 0. Suppose 3*t + 6 - 3 = 0. Is j less than t?
True
Let q = 0 - 2. Let y = 0.53 + 0.07. Let o = 0.4 + y. Is q greater than o?
False
Let x = -10 + 9.8. Let w be 7/12 + 1/(-4). Is x <= w?
True
Let m = 391/15 - 26. Let n(w) = w + 7. Let c be n(-7). Are c and m equal?
False
Let a be 5367/(-36) + (-2)/8. Let q = 148 + a. Suppose -3*v - 1 = -l, -3*v + 2*l = -3*l + 5. Which is smaller: q or v?
q
Let z = 31 + -28. Do z and 3 have the same value?
True
Let p = 14 + -5. Let b = p + -10. Which is bigger: b or -2?
b
Suppose 6*d + 432 = -0*d. Are -72 and d equal?
True
Let r(x) = -x - 4. Let m be r(-4). Let p be (3 - 4)/1 + m. Is 0.1 less than p?
False
Let j be (3 - 8)*(-3)/5. Let o be 0/((2 - 1)*1). Suppose -j*w - 9 = -n + 2, o = n + 2*w + 4. Is n greater than 2?
False
Let f = 1.6 - 1.8. Which is greater: 2/9 or f?
2/9
Let w = 1 - 2. Let o(t) = 7*t + 6. Let x be o(-4). Let g be 2/1 + 48/x. Which is smaller: g or w?
w
Let v = -0.39 + -0.01. Let s = 6.3 + -6. Let p = v + s. Which is bigger: -1 or p?
p
Let j(w) = -3*w**2 + 4*w - 2. Let l be j(2). Let h be (-6)/(-4)*l/(-3). Suppose 2*p = -8, -5*t + t + 4 = 2*p. Does h = t?
True
Suppose 2*d = -3*d - 4*f + 27, 3*f = 3*d. Suppose p + 5*u + 14 = 0, -5*p + 11 = -u + d. Let y be 8/(-9)*3/(-12). Which is smaller: y or p?
y
Suppose 0 = -3*k + 4 - 1. Let q be ((-30)/190)/(6/4). Which is smaller: k or q?
q
Let p be (-3)/(1 - 20/25). Is -14 >= p?
True
Let j be 33/(-6) - (-2 + 10/6). Are j and -4 non-equal?
True
Let s = -191 - -218. Does 27 = s?
True
Suppose 5*d - 20 = -0*d. Suppose j - 2*j = 0, 5*j + d = x. Is x greater than or equal to 2?
True
Let z(v) = v**2 - 5*v + 5. Let r be z(3). Is r smaller than -5/23?
True
Let x = -5 + 9. Let w(r) = r**3 - 3*r**2 - 4*r + 2. Let m be w(x). Is 2 less than or equal to m?
True
Let w = -4 + 6. Let b = w - -3. Suppose -y = -b*y. Do y and 1 have different values?
True
Let o = -1.3 + 0.3. Let p be 504/735 + 4/(-10). Is o bigger than p?
False
Suppose -3 = 3*q - 15. Let l = q + -2. Suppose -2*t = -2*n - 13 + 1, 0 = -5*t - 5*n. Is l not equal to t?
True
Let t be 12/42 + 2/42. Let n = 1.6 + -1. Let r = -0.6 + n. Is t >= r?
True
Let c be (-2 - 0)*3/(-30). Let s = -1 - 1. Which is smaller: c or s?
s
Let k be (-3)/12 - (-14)/16. Which is smaller: 1 or k?
k
Let i be 4605/30 + 2/4. Let k be -1 - (-1379)/9 - -2. Let c = k - i. Is 1 at most c?
False
Suppose -154 = 6*x + 104. Which is smaller: x or -0.2?
x
Suppose 0 = -f - 5. Let v be f*1*2/5. Let i be (v/(-4)*0)/(-2). Which is smaller: 1 or i?
i
Let q = -3 - -4. Suppose -20 = -4*k + 4*a, 3*k = -3*a - 8 - q. Is k smaller than 1?
False
Suppose d = 3*d - 12. Let z(g) = 2*g**2 - g - 1. Let c be z(2). Is d equal to c?
False
Let s = 920/4221 - -2/469. Is s less than or equal to 2?
True
Let j = 589 - 373. Let g be j/22 + (-12)/(-66). Is 10 bigger than g?
False
Let j = -1 - -1. Let v be (10/4 - 2)*(0 + 2). Which is bigger: v or j?
v
Let a be 1/14 + 9/21. Let p(c) = c**2 + 5*c + 3. Let q be p(-5). Suppose -3*r - 10 = 5*o, -r - 20 = q*r. Which is greater: a or o?
o
Let o = 9 - -21. Suppose 3*s + o = 5*a, 0 = -3*s + 4*a - a - 30. Are -9 and s equal?
False
Let m(k) = k**2 - k + 10. Let h be m(0). Suppose -5*j + 3*j + h = 0. Which is smaller: 4 or j?
4
Suppose -2*s + 5*s - 12 = 0. Suppose 6 = -i + 3*z, -i = s*z - 2*z + 1. Does -3 = i?
True
Let z = 0.4 + -0.4. Let r = z + 0. Let j = 0.4 + r. Which is smaller: j or -0.1?
-0.1
Let i = -108 + 758/7. Let f be 2/5 + (-18)/(-105). Which is greater: f or i?
f
Let t = 1.6 + -1.22. Let h = 0.22 - 0.2. Let u = h + t. Which is smaller: u or -1?
-1
Let s = 4 + -3. Is -2/33 > s?
False
Let m(q) = q**2 - 12*q - 11. Let w be m(14). Is w at most as big as 17?
True
Let z be (-12)/18 + 22/6. Let p be (-8)/18*z/6. Let f = 0.3 + -0.4. Which is smaller: p or f?
p
Let c = -1 + 1. Which is bigger: 0.14 or c?
0.14
Let c = 5 + -5. Let w = -9.8 - -10. Is w <= c?
False
Let t = 0 - -0.3. Let n = t + -2.3. Do 1 and n have the same value?
False
Suppose 0 = 4*a + 2 + 10. Let j(n) = n**2 + 3*n + 2. Let o be j(a). Suppose -o*f + 3 = f. Is -1 at most as big as f?
True
Let s = 0 - 6. Let q = 8 + s. Let c = 3 + -3.1. Which is bigger: c or q?
q
Let b = -1 - -1.1. Let p = b + 0. Which is bigger: p or -0.1?
p
Suppose -2*p + 3*c = -0*p + 6, 0 = 4*p + c - 16. Which is bigger: p or 5/3?
p
Let m be (168/(-20))/(3/15). Let j be 2/18*36/m. Is j bigger than -0.1?
True
Let g = 1.3 - 1.4. Is 1/6 at least g?
True
Let c be 0/2 + (-8)/16. Suppose -i - 3*i + 33 = 3*q, 4*i - 27 = -q. Let w = 2 - i. Is w smaller than c?
True
Let a(o) = o**2 + 5*o. Let n be a(-5). Let j = 3 - n. Let i = 0 - j. Is -3 >= i?
True
Suppose -4*v + 0*v = 0. Let z = v + -8. Let f = -5 - z. Which is bigger: 2 or f?
f
Let o = 462/5 + -93. Let k = 20 - 17.1. Let d = 3 - k. Which is bigger: o or d?
d
Suppose -3*f - 4 = -5*v + 12, 3*f - v = 4. Let j = f - 1. Is j less than 2/3?
False
Let l = 0.2 - 0.4. Let j = -12.23 + 0.23. Let a = j - -11.9. Which is smaller: l or a?
l
Let d be 47/2 - -1*0/(-4). Is d > 24?
False
Let r = -3 - -6. Suppose -r*f + f + 2 = 0. Suppose h + 2 - f = 0. Is 4 < h?
False
Let f = 4 - 6. Let d be -4 - (-2 - f)/2. Let w be d/10 - (-6)/(-10). Is -1 not equal to w?
False
Let m = -16 - -14. Let q = -2 - -1. Is q at most as big as m?
False
Suppose 3*c - 28 = -c. Let s = -8 + c. Is s > -2?
True
Let n(v) = v**3 + 25*v**2 - v - 26. Let p be n(-25). Is 2/217 less than or equal to p?
False
Let m = -72/7 - -3082/301. Which is bigger: -1 or m?
m
Suppose j = 3*l - 5, 0 = 3*l - 4*j + j - 3. Which is smaller: l or -2/3?
-2/3
Let i = 23 - 25. Which is smaller: i or -1?
i
Let d be 36/8 - (-2 - 2)/8. Is d < 0.1?
False
Suppose -7 = -5*g + 3, -3*y + g - 23 = 0. Let l = 10 + y. Let s be (-12)/(-2) - 2 - 1. Are s and l non-equal?
False
Let y = 14.4 + -14.3. Is y greater than -46?
True
Let w be (19/(-19))/(2 - -1). Which is smaller: -0.015 or w?
w
Suppose 4*a = -2*n + 66, -5*a + 129 + 36 = 5*n. Is 33 equal to n?
True
Let j be 4/12 - (-8)/3. Let r = 4 - j. Let x = 23 - 114/5. Is r less than x?
False
Let k(b) = b**2 + 11*b + 12. Let w be k(-10). Let z = 6 + -3. Which is smaller: w or z?
w
Suppose -9*v + 308 = -349. Which is smaller: v or -0.1?
-0.1
Let w(t) = -2*t - 25 + 17 + 3*t. Let c be w(5). Which is bigger: c or -2?
-2
Let x be -4*(17/4 + -3). Let k = 5 + x. Let s be (-1 - k)/(2/4). Is s <= -1?
True
Suppose 3*f = 3*z, 2 = -4*f + 6. Suppose 6 = m + 18. Let k be (-1*(-2)/m)/z. Is k <= 1?
True
Suppose -3*h + 25 = -0*h + 2*n, h + 4*n = 25. Let c be (6/h)/(4/30). Let q = c - 15. Which is smaller: -5 or q?
q
Let c = -2.3 + 2.6. Do c and 1/2 have the same value?
False
Let k = -21 + 20. Let t(d) = 77*d + 1. Let z be t(1). Let f = 469/6 - z. Is f < k?
False
Suppose -2*m = x + 11, 0*m + 5*m + 22 = 3*x. Let v be (x/(-4))/(-4 + 3). Which is smaller: -1/6 or v?
v
Let x(y) be the second derivative of -y**5/60 - 7*y**4/24 + 7*y**3/6 + y**2 - 4*y. Let l(m) be the first derivative of