((-2)/3). Let i be -3 - 0 - (-2 - q). Is i at least as big as -4?
True
Let z(m) = m**2 - 3*m + 9. Let a be z(6). Suppose -2*w + 0*w + a = 5*r, -4*r - 4*w = -24. Does 2 = r?
False
Let m be (2 - 0)/(6/(-12)). Let u be (54/m)/((-5)/(-10)). Let f be 1*6/u*3. Which is smaller: 2/9 or f?
f
Suppose 8*v - 4*v = 0. Is -1 > v?
False
Let i = -51 - -30. Let j = -41/2 - i. Which is bigger: -2 or j?
j
Let z = 38 + -37. Which is bigger: z or 1/30?
z
Let k(d) = -d**3 + d**2 - d + 2. Let z be k(2). Let i(x) = x**2 + 3*x - 4. Let g be i(z). Suppose g = -p - 2*p + 3. Which is greater: p or 2/5?
p
Let v(s) = s**2 - 7*s - 1. Let k be v(7). Suppose 2*j - 2 = -2*y, -2*y - 3*j + 5 = 2. Let r = y + 0. Which is smaller: r or k?
k
Let b be (-5)/(-15) - (-10)/6. Let a(t) = 3*t**2 + 44*t - 14. Let j be a(-15). Which is greater: b or j?
b
Let s = -0.1 + 0.09. Is s bigger than -2/5?
True
Let r = 8 + -14. Let g be (0 - -2) + (1 - r). Suppose g*q - 4*q = 0. Which is greater: q or -1?
q
Let u be 1 - (-4 + 315/20). Which is smaller: -12 or u?
-12
Let q = -1.8 - -2. Let y = q - 0.4. Let p = y - -0.2. Is -2/3 smaller than p?
True
Let m = 37/70 + -1/10. Suppose -4 = -7*x - 11. Is x smaller than m?
True
Suppose 0 = 3*s - 2*x + 44, -6*x + 8 = -4*x. Let o = 12 + s. Which is smaller: 2/15 or o?
o
Suppose 0 = 2*l - l - 3. Which is smaller: l or 2?
2
Suppose 0 = -3*m - a + 68, -4*m + a + 82 = -2*a. Let v = -21 + m. Which is greater: 0 or v?
v
Suppose 9 = o + 5. Is 3 at most as big as o?
True
Let h = -9 - -8. Let p = -0.5 + -1.5. Is p at most h?
True
Let v = -526 - -15252/29. Which is greater: -1 or v?
v
Let n be (1 - 1)/1 + 1. Which is smaller: n or 4?
n
Suppose -g - 3 = d - 0*g, -2*d - g = 5. Let v be (12855/2)/(23/d). Let c = 559 + v. Is c at least as big as -1?
True
Suppose 4*f + 1 = -y, -2*y + 3*y = 4*f - 1. Which is bigger: f or -1/217?
f
Let r = 9/22 + -19/154. Which is smaller: r or 14?
r
Let k = -49 - -32. Is k at most as big as -17?
True
Let c = -2249343160/110223 + 755050/37. Let u = c + 2/993. Which is bigger: 1 or u?
1
Suppose 5*a = -8 + 3. Is 11 equal to a?
False
Let n(v) = v**3 - 15*v**2 + 13*v + 15. Let l be n(14). Is -1/78 at most as big as l?
True
Suppose -x + 0 + 46 = 0. Suppose 5*h + 16 = -2*d + x, 4*d + 4*h = 36. Is d > 4?
True
Let r = -1/51 - -6/17. Let j = -2 + 1. Do r and j have different values?
True
Let u = 0.04 + 3.96. Let p = u + -2. Let h = p + 0. Which is greater: -2 or h?
h
Let y be ((-4)/(-2))/(16/10). Let d(g) = -g + 2. Let q be d(1). Which is smaller: q or y?
q
Let u be 1/(-2) + (-8492)/1768. Let q = u + 72/13. Are q and 1 non-equal?
True
Let b be (-5)/(-2)*6/(-3). Let l be (b/10)/((-2)/4). Suppose -5 = -w, -w = 3*v + w - 13. Is l != v?
False
Let l = -7 + 19/3. Let i = 76117/12 - 6324. Let w = i + -79/4. Is l != w?
False
Suppose -4*w + 5*r = -76, r - 25 = -2*w - 1. Suppose 0 = -2*o + 3*n - 14, o + 5*n - w = 2*o. Let d = -1.09 + 0.09. Which is smaller: d or o?
o
Let c be (0 + -1)/(2*2). Let v = -5/12 + c. Is v < 2?
True
Let r be 3*(-1)/(-2) - (-30)/(-12). Let k be 4/(-10) - 1/(-15). Which is smaller: k or r?
r
Suppose -4*h = h. Suppose 2*n + 9 = -r, 3*r - 6*r + 3*n = -9. Let k = -1 + r. Which is smaller: h or k?
k
Suppose 0 = 4*g - 5 + 1. Let s be ((-2)/(-4) - 2)*-2. Let n be 0/((s - 0) + -2). Which is smaller: g or n?
n
Let q(c) = -c**3 + c**2 - 1. Let d be q(2). Let u be 6/(-4) - d/10. Let j = -1 - u. Does j = 2/11?
False
Suppose 0 = -4*i - 0*i - 52. Which is smaller: -15 or i?
-15
Let f(b) = -7*b - 12. Let r be f(4). Which is bigger: -41 or r?
r
Suppose -2*j = -3*f + 7, -3*j - 13 + 1 = -5*f. Let g be (2 - 1*-2) + 0. Which is bigger: f or g?
g
Let g be (-1)/(-1)*6/(-84). Let j = 9/28 + g. Which is greater: 2/25 or j?
j
Let o be 122/10 + 4/(-20). Let f(y) = -y**3 + 12*y**2. Let p be f(o). Suppose 4*v + 6 - 2 = p. Is -3 smaller than v?
True
Let l be (-2)/(-6) - (-10)/6. Suppose -3 - 1 = -z. Suppose z*w = w + 9. Is l less than w?
True
Let k = 14 + -30. Is k greater than or equal to -16?
True
Let v be ((-8)/12)/((-12)/2). Suppose -2*a - 1 = -3*a. Are a and v equal?
False
Let j = -2 - -1. Suppose -t - 1 = 7. Let a = -9 - t. Is j less than a?
False
Let u = 42 + -171/4. Suppose -4*a - 3*a = 14. Which is smaller: a or u?
a
Suppose 4*h + h = 0. Let a(w) = w**2 + 3*w - 6. Let v be a(-4). Let y be 2 + v + h/(-1). Which is smaller: y or 1?
y
Suppose 4*m - 5 - 15 = 0. Suppose -10 = -d - 5*g, m*d = d + g - 2. Which is bigger: d or 2/17?
2/17
Let x(j) = -j + 12. Let d be x(0). Is 12 bigger than d?
False
Suppose -5*m = -2*k - 5, 4*m - 11 = -5*k - 73. Which is smaller: -9 or k?
k
Let y(z) be the second derivative of -z**4/12 - z**3 - z**2/2 + 6*z. Let l be y(-6). Is -2/37 less than or equal to l?
False
Let i be 6/4 - 106/68. Is i less than 1?
True
Let r = -20 + 29. Suppose 0*c + r = 3*c. Let n be (0 + 1 + 0)*c. Is n not equal to 3?
False
Let s(f) = -f - 17. Let i be s(-18). Which is smaller: i or -1?
-1
Suppose -4*a + 53 = d, 3*a = -5*d - 2 + 46. Is a at least 0?
True
Let a be -1*(-17 + (-12)/(-4)). Which is smaller: 16 or a?
a
Let w(m) = -m**2 + 19*m - 1. Let b be w(19). Which is greater: -2/7 or b?
-2/7
Let g = 11 - 14. Is g equal to -1?
False
Let h be 2*(156/280)/13. Which is smaller: -1 or h?
-1
Let s = 46 + -56.2. Let q = s + 11. Let f = 1 - q. Which is bigger: 2 or f?
2
Let n = 0 - 0.6. Let x = 0.3 + n. Let b = 36.9 + -37. Is b >= x?
True
Let q be 348/20 + (-4)/10. Do q and 16 have different values?
True
Suppose n = 2, -3*g - 3*n + 11 = 2*g. Which is smaller: -0.05 or g?
-0.05
Suppose -85 = -5*o - 5*z, 65 = 5*o + 2*z - z. Let f be 32/o + (-6)/9. Which is smaller: -1 or f?
-1
Let a be ((-9)/2)/((-4)/(-8)). Is -7 at least as big as a?
True
Let i be (-842)/12 - 4/(-24). Let c be -5*(-7)/(i/12). Let n be (c/3)/(2/(-6)). Which is smaller: n or 5?
5
Let q be 16/104 + 386/26. Suppose 9*g - q = 4*g. Is g <= 3?
True
Let k = -6 - -4. Let o be 0 + 0 + k + 2. Let t = -1402/1765 - 2/353. Is o less than t?
False
Suppose 4*s + 2 = 10. Suppose 5*m = -x - 26, x + s*x + 4*m + 34 = 0. Let c be 10/(-3) + x/9. Is -4 > c?
False
Suppose 17 - 2 = 3*i. Let z = 1 + 3. Are z and i unequal?
True
Suppose -f - 5*f - 24 = 0. Is f smaller than -28/9?
True
Let g(t) = 2*t**2 + 7*t + 4. Let a be g(-4). Let f be (2 + (-4)/(-8))*-10. Let c be f/(-10)*a/(-30). Which is smaller: -2 or c?
-2
Let g be (-3)/(-1) - (-2 + 9). Let l be (2/(-3))/(g/(-6)). Is l at least as big as -2?
True
Suppose 20 + 1 = -3*f. Let h(w) be the second derivative of w**4/12 + 7*w**3/6 + w**2/2 - 2*w. Let z be h(f). Which is smaller: z or 2/5?
2/5
Suppose -3*i + 2*a = 26 - 3, 8 = -4*i - 3*a. Let m(f) = -f**3 - 5*f**2 - f + 3. Let v be m(i). Suppose j = -3*j - v. Is j at most -1?
True
Suppose -5*u + 10 = -5*t, 4*t = -2*u + 1 - 3. Suppose 5 + u = p. Suppose -3*a = -p*a - 3. Which is smaller: a or 0.1?
a
Let d = 13 + -19. Let h = -17 - d. Is h >= -11?
True
Let g(o) = -6*o + 46. Let j be g(10). Is j > -10?
False
Suppose -2*s - 2 - 8 = 0. Let u be (-18)/s - (-4)/10. Which is bigger: 5 or u?
5
Let a(k) = 2 + 0*k + k + 2 + k. Let i be a(-5). Let c be (-12)/(-4) + i + 3. Which is smaller: -1/4 or c?
-1/4
Let m = 588/5 + -118. Let n = 3.2 - 3. Which is bigger: m or n?
n
Let k be 4/14 - (-133)/49. Suppose -k*s = 2*s. Which is smaller: -2/11 or s?
-2/11
Let l(p) = -p**2 + 6*p - 8. Suppose 8 = -2*q, 11 + 17 = 2*i - 5*q. Let m be l(i). Which is smaller: 1 or m?
m
Let n(q) = -2*q + 3. Let f be n(3). Let t = -1 - f. Suppose r + 4 = t. Which is smaller: -5/2 or r?
-5/2
Let u = -2 - -4. Let w = 0.5 + 1.5. Let h = w - u. Is 0 at least as big as h?
True
Let f = -4187/15962 - -1/694. Are f and -1 nonequal?
True
Let w = -0.4 - -0.43. Let a(q) = 23 - 3*q + 0*q + 6*q. Let z be a(-8). Which is bigger: w or z?
w
Let f be (-1)/3*(-21 + 0). Is f >= 7?
True
Let y = -21 + 16. Which is smaller: -4 or y?
y
Suppose -q + 1 = -2*q. Let k be q - 7/2*-2. Is 6 > k?
False
Let x = -4817/45766 - -3/934. Which is greater: x or -1?
x
Let i be 16/(-10)*30/(-36). Is i >= 2?
False
Let v(u) = u**2 - 11*u - 11. Suppose 0 = 2*w + 4*r - 44, 3*w + 41 = 6*w + r. Let l be v(w). Is -2/13 at most l?
True
Let u(g) = g**3 + 7*g**2. Let y be u(-7). Is -1 at most y?
True
Let d(o) = -2*o - 7. Let c be d(-4). Let v be (-10)/(-30) + (-50)/114. Which is smaller: c or v?
v
Let r be 1*2/