 g = b + 2*b. Is 1 greater than b?
False
Let y = 1 + -1. Let q be 8/8 - ((-4)/(-5) - 0). Which is greater: q or y?
q
Let q = -62 + 187/3. Is q < 20?
True
Let m = 42 - 42. Which is smaller: 2 or m?
m
Let a = 0.046 - 9.046. Is a less than -7?
True
Let l = 4.3 - -0.7. Let c = 23 + -16. Let p = l - c. Which is greater: -0.1 or p?
-0.1
Let w = -2.1 + 2. Let c = -2 - -1.8. Let y = -0.4 - c. Is w equal to y?
False
Let y be (-2 - (-1 + -8)) + -2. Suppose y*h - 10 = 3*h. Suppose s = 6*s - h. Is s equal to 2/9?
False
Let w = -10 - -8. Let b be 5 - w/(-4)*0. Is 4 at most as big as b?
True
Let x be (-8729)/91 - (-2)/2. Let t = x + 95. Which is smaller: t or 0?
0
Let i(c) = -3*c - 6. Let n be i(-3). Which is smaller: n or -1?
-1
Let a = -1.3 + 0.3. Let s = -1.115 + -0.085. Is a > s?
True
Let k be (-1 + 6/4)*4. Which is smaller: k or -3?
-3
Suppose s - n = -11, -5*s = 2*n + 2*n + 64. Is s < -13?
False
Suppose 6*p + 5 = p. Is 2 < p?
False
Suppose 4*s - 14*s = -10. Are 3 and s equal?
False
Let i = -27 - -25. Suppose 3*y + 15 = 3*g, y - g = -4*y - 17. Which is smaller: i or y?
y
Let y = -4 - -5. Is y smaller than -4/17?
False
Let u = 2 - 2. Let q be (-11)/(-7) - u - -3. Let r = -82/21 + q. Is 0 greater than or equal to r?
False
Suppose 0 = 2*y - 3*y + 2. Suppose -2*i + y*n + 6 = 4*n, 0 = 3*i + n - 11. Is i > 2?
True
Let z = 2 - 1. Suppose 0 = -f + 2, -16 + z = -3*l - 3*f. Do l and 3 have different values?
False
Let x be (-4)/(-6) - (-5)/(-3). Which is smaller: x or 2/67?
x
Let w(g) = -2*g + 6. Let c = 8 - 4. Let x be w(c). Let q = x + 1. Which is smaller: 1/3 or q?
q
Let o be (10/(-3))/(6/(-9)). Suppose -5*f = -m + 2*m, 0 = 2*f - o*m. Suppose f*u = -3*u - 15. Which is bigger: -6 or u?
u
Suppose -5*z + 9 - 39 = 5*h, -3*z + 2*h = -7. Let q be z - -1 - 6 - -1. Let p be (2/q)/(16/(-60)). Is p less than or equal to 3?
True
Suppose 3*q = 2*r - 7*r - 9, 0 = q - 2*r - 8. Let v(y) = y - 7. Let h be v(11). Suppose h*a + 26 = 2*c + c, -c - 4*a = 2. Is c < q?
False
Let c = -17.42 + 0.42. Is c less than 0.1?
True
Suppose 9*q + 28 = 2*q. Which is smaller: -3 or q?
q
Let j = -23 - -8. Do -15 and j have the same value?
True
Suppose 2 - 1 = -w. Let c = 2 + w. Let m be 2/4 - c/(-2). Is m != 1/4?
True
Let i be (0/2 - 0)/2. Suppose 5*h + 3*j = i, -h + 26 = h - 4*j. Let f be (-3)/(-18) - (h - 3). Is f less than 0?
False
Let p(j) = j**3 + 8*j**2 - 10. Let m be p(-8). Let t be -6 + 3 - m/4. Is t smaller than -2/3?
False
Let t(m) = m**2 + 3*m + 2. Let p be t(-2). Let c = -1496141/84 - -17811. Let b = -1/12 + c. Is b greater than p?
False
Let l = 8.014 - 0.014. Are -0.1 and l equal?
False
Let s = 0.01 + 0.09. Let i = -0.1 - -0.2. Let f = i - s. Which is smaller: f or 1?
f
Let b = 18 - 20. Which is smaller: b or 2/3?
b
Let n be (2 - 0)/(2/2). Let c be (n - 3)*(3 + -2). Let b = c - -2. Which is bigger: b or 0?
b
Let j be 2 - 7/(28/(-8)). Let l be (-8)/j*1/1. Is l at least 0.1?
False
Let m = 6 - 10. Let j(s) = -s**2 - 5*s - 3. Let b be j(m). Which is smaller: b or 1/14?
1/14
Let w be (-10)/15*-1*(-9)/75. Do 1 and w have different values?
True
Let t(y) = 4*y**2 + y. Let v be t(1). Suppose 3*k + 2*m - 7*m = 0, 0 = v*k + 2*m + 31. Which is greater: k or -7/2?
-7/2
Suppose 2*s = s - 44. Let c be -4*(-6)/s - 0. Is -0.1 less than or equal to c?
False
Suppose -2*m + 0 + 4 = 0. Is 1 bigger than m?
False
Let i be (3 - (-2)/(-2))*1. Let o be 4/(-2) + 2 + 0. Let r = i + o. Which is greater: r or 4?
4
Let d(u) = 4*u**3 - u**2. Let s = -5 - -4. Let l be d(s). Is l bigger than -5?
False
Suppose 4*c - 13 = -5*s, 4*c = 3*s + c + 3. Suppose -2*d = -t - 2 - 3, 0 = 4*t + 4*d - 28. Is t <= s?
False
Let j = -1/697 + -1369/17425. Suppose 0 = -p - p. Which is smaller: j or p?
j
Let g(n) = 11*n**3 - n**2 + 2*n - 1. Let l be g(1). Are 12 and l equal?
False
Let r(o) = -o**2 - 12*o - 12. Let j be r(-11). Is -3/4 <= j?
False
Suppose -l = -4*l + l. Suppose -2 + 4 = 2*t. Let p be t/(-3) + 31/39. Is p greater than l?
True
Let v be 2 + 2*1/(-2). Is v <= -2/59?
False
Suppose -j - 8 + 9 = -4*o, 2*o = 3*j - 3. Which is smaller: j or 2/37?
2/37
Suppose 3*y - 3*h = 3, 3*h = -3*y + y - 3. Suppose y = 2*w + 6 - 2. Which is smaller: w or 3?
w
Suppose 5*l - b - 12 = 0, 3*b + 5 + 7 = 3*l. Suppose 6*k = -0*k - 0*k. Which is smaller: l or k?
k
Let b be 164/8 + 2/(-4). Suppose -4*y + 12 = -5*u - y, 5*y - b = -2*u. Are 0 and u non-equal?
False
Let m = -1 - -2. Suppose d + 23 = 5*p - 0, -4*p = -d - 19. Suppose p*s = -0*s. Which is smaller: s or m?
s
Suppose -3*o + 5*o = -14. Which is smaller: 2/9 or o?
o
Let k(f) be the second derivative of -f**5/20 - f**4/12 + f**3/2 + f**2 - 2*f. Let v be k(-2). Let i be (v - -2*1)*-1. Is -4/7 equal to i?
False
Suppose 0*d = 2*m - 4*d + 10, 0 = -4*m + 4*d - 12. Suppose 3 = -z + 2. Is m smaller than z?
False
Suppose -3*w = -4*m - 5, w + 4*m + 2 = -7. Let h be ((-2)/7)/(2/2). Is w greater than h?
False
Suppose 0 = -4*y - 16 + 4. Let t(r) = -6*r - 3. Let u be t(-2). Suppose -3*p = u - 3. Which is smaller: y or p?
y
Suppose 2*r + 3 = 1. Is 0 at most r?
False
Let d be 2/(1 - (-47 - -3)). Which is bigger: 0 or d?
d
Suppose 153*v = 136*v - 17. Suppose -c - 6 = 2*z + c, -z - 4*c = 12. Which is smaller: z or v?
v
Let s = 14.5 - 14. Is -1 >= s?
False
Suppose q - 168 = -3*q. Suppose -j = 3*j - 140. Let f be (-2)/(-5)*j/q. Do f and 2 have the same value?
False
Let t(f) = -f**3 - 2*f**2 + 4*f + 2. Let n be t(-3). Let s be n/(-5)*(-10)/(-28). Let y = s + 3/7. Is y less than 1/4?
False
Suppose -45*y + 5 = -40*y. Which is greater: -1/114 or y?
y
Let j be ((-2)/(-4)*2)/(-17). Let l = -8/497 + -7183/16898. Let a = j + l. Is a < 0?
True
Let z = -21 + 10. Let q = z - -7. Which is bigger: -0.1 or q?
-0.1
Let y = -0.05 + 3.05. Let u = 3.1 - y. Which is greater: u or -1?
u
Let l be (1/5)/(111/15). Let b = l - 62/925. Which is greater: 0 or b?
0
Suppose 5*a + 2*b - 54 = 3*a, -2*a = 5*b - 69. Let o be (3/(-9))/((-2)/(-130)). Let k = a + o. Is k at least as big as -0.1?
True
Suppose -3*g - 8 = 1. Suppose 0*r = 2*r + 6. Are r and g unequal?
False
Let k = -5 + 6. Let w = k - 2. Which is smaller: -2 or w?
-2
Let g = -601 + 1763/3. Which is smaller: g or -12?
g
Suppose -253 = -4*n + 5*o, -4*n + 3*o + 247 = 4*o. Let q = 928/15 - n. Is 0 bigger than q?
True
Let u(b) = b + 11. Let d be u(-8). Suppose 10 = -d*m - 2*m. Is m greater than -7/3?
True
Let r be (1/99)/(15/45). Is r at most as big as 2?
True
Let u = 86941/15 + -5799. Let l = u - -298/105. Which is greater: 0 or l?
0
Suppose 6*l - 3 = 3*l. Let f(j) = 6*j + 44. Let v be f(-7). Is v at most as big as l?
False
Let j = 0 + -0.2. Let l be (-3144)/(-36) - 2/(-3). Let y be -1 - 0 - l/(-72). Is y smaller than j?
False
Let k = -7/60 + -2/15. Let g = -1.77 - -1.9. Let c = 0.07 + g. Which is smaller: c or k?
k
Let d be (-4)/6 - 14/(-3). Suppose -2*t - 2*t = 5*w + 4, 0 = 3*w - d*t - 4. Let f(s) = s**2 + 1. Let g be f(w). Is g at least -1/2?
True
Let a be 1/(-1) - 22/2. Let g be a/9*258/(-4). Let j = -263/3 + g. Which is greater: -3 or j?
j
Let t = -16/11 + 92/33. Let q = -14/15 + t. Is q greater than 1?
False
Suppose 4*b - 10 = -b. Which is greater: b or 2/3?
b
Suppose 3*t = 4*p + 3, p + t + 4*t - 28 = 0. Let z = 60 - 60. Suppose -k + p*k = z. Which is greater: k or -1?
k
Let q be 306/(-8) + (-1)/(-4). Let o be q/154 + (-20)/110. Are -1 and o nonequal?
True
Suppose 0 = c - 16 - 7. Let y = -70/3 + c. Let m be 2 + -2 + -1 + 0. Which is bigger: y or m?
y
Let a = -1 + -2. Let m be 3 + 2 - (1 + 0). Let w = m - 3. Are a and w non-equal?
True
Let t = -1.1 - -1. Let u = 0.86 + 0.04. Let p = u - t. Are -0.1 and p equal?
False
Let w = -3.6 - -0.6. Let o = 14.9 - 18. Let r = w - o. Is -2/5 at most as big as r?
True
Let s(z) = -z**2 - 16*z + 21. Let u be s(-17). Let q = u + -3. Do q and -1/4 have the same value?
False
Suppose 1507 - 603 = -8*n. Do n and -114 have different values?
True
Let o(w) = 7*w + 1. Let d be o(-1). Let a(l) = -l**2 - 6*l + 2. Let b be a(d). Is 2 <= b?
True
Let m(h) be the second derivative of h**4/12 - 5*h**3/6 + h**2/2 - 2*h. Let f be m(6). Let z(b) = b**3 - 6*b**2 - 7*b. Let a be z(f). Which is greater: a or -1?
a
Suppose -6 = -4*c + 2. Let n be -4*c/(-56)*-2. Suppose u + 0*u = -1. Are n and u equal?
False
Let u = -6721/2105 + -3/421. Are -2 and u equal?
False
Let q 