 Let k = 51/205 + -2/41. Is k equal to q?
False
Suppose 0 = -4*k, -3*r + 5*r = -5*k + 4. Which is smaller: r or 4?
r
Let k = -2/49 - 41/196. Let d = 4 - 1. Let u = -2 + d. Which is greater: k or u?
u
Let j(t) = 8*t - t**2 + 8 + 0*t**2 + 0*t**2. Let a be j(9). Does -6/13 = a?
False
Let y = 258/5 - 52. Let q be 0 + 7 + (-4 - 4). Are y and q non-equal?
True
Suppose -5*f + 4*y = 46, 5*f + 3*y - 5*y + 38 = 0. Which is bigger: f or -3?
-3
Let u be 46/(-108) - (-1)/2. Which is bigger: u or 1?
1
Let u be -1 + (-17)/(-10) + 5/10. Suppose 4*m = -2*v + 14, -3 + 0 = -3*m + v. Is m less than or equal to u?
False
Let x(l) = -7*l**2 + 1. Let g be x(-1). Let d be 20/105*g/4. Which is smaller: 2 or d?
d
Let h = -3088/11 + 281. Which is smaller: 1 or h?
h
Let v(b) be the second derivative of -2*b**3/3 + b**2/2 - b. Let t be v(1). Is -1 greater than or equal to t?
True
Let t be (2/(-6))/(12/(-9)). Let v = 10 + -18. Let y = v + 9. Which is smaller: y or t?
t
Suppose 0 = 3*q + 5*m + 5, 4*q - 4*m = m + 40. Let i be 0/((2 - q) + 2). Which is greater: i or 2/3?
2/3
Suppose -3*a + 8 = -7*a. Are a and -2 equal?
True
Let t = 16 - 9. Let p = -9 + t. Which is greater: p or -2/5?
-2/5
Let k be -3 - -8 - (-3)/3. Suppose 5*u + 26 = 2*d, 3*u + k = -2*d - 0. Which is smaller: d or 4?
d
Suppose 2*v = -3*d - 17, -44 = 3*v + 5*d - 16. Is v equal to -2/277?
False
Let s be 4/(-10) - (-22)/5. Suppose c - 15 = -s*c. Suppose 0*y - c*y - 3 = 0. Is -1 >= y?
True
Let g(q) be the first derivative of q**2/2 + 4*q + 2. Let s be g(0). Let o be 2/s - 3/6. Is 0.2 equal to o?
False
Suppose -4*l - f - 4*f + 61 = 0, f - 41 = -4*l. Let p be 3/2 + l/6. Is 2 greater than p?
False
Let c(o) = o**3 - 2*o**2 - 3*o + 2. Let k be c(3). Let h be k + 3/6*-6. Let j be (2/4)/(5/2). Is j greater than h?
True
Let j = -6348214/21 + 302512. Let l = -216 + j. Does l = -1?
False
Let t be (4/6)/(-2)*-9. Suppose -s = 1 - t. Let z be s/3*(-2)/(-4). Which is bigger: z or 0?
z
Let m(n) = -n - 2. Let s be m(2). Let v be (-54)/(-42) - s/(-14). Is v bigger than 1?
False
Let x be (3 - (-3 + 5)) + (-28)/40. Which is bigger: 1 or x?
1
Let j be ((-3)/(-19))/((-30)/(-20)). Which is greater: j or -1?
j
Let o be 4/(-6)*(-12)/116. Let a(y) = 2*y - 2. Let m be a(1). Which is greater: m or o?
o
Let i be 268/(-770) + (-92)/20 + 5. Is i < -1?
False
Let c = 0.341 + -0.041. Is c greater than or equal to -2?
True
Suppose 4*w + 16 = 0, -k - k - 2*w - 22 = 0. Suppose -5*p = -3*x + 16, 2*x + 2 = 3*x - p. Let z be (-6)/9 - x - 3. Are z and k nonequal?
True
Suppose -3*p + 0*p = 9. Let x be 2/(-15)*(-40)/p. Let d = x + 22/9. Which is bigger: d or -0.1?
d
Let t = 0 + 0. Let r = -6512/9 + 726. Let y = -7/3 + r. Which is smaller: t or y?
t
Suppose -12 = -z - 5. Is 5 bigger than z?
False
Let u be (-2)/(27 - (-4 - 0)). Is u less than 1?
True
Let s = -537/7 + 77. Let o = 46 - 47. Which is greater: o or s?
s
Suppose -2*m = -5*s + 15, -2*m = -4*s + 9 + 5. Suppose -s = -t + 3. Suppose t*d - 6 = 10. Is d greater than or equal to 4?
True
Suppose 3*u + 8 = -u, -3*u - 6 = 3*g. Suppose -d - 3 = -4. Which is greater: d or g?
d
Let w = -54 + 17. Let i = w - -72. Let p be (-11)/i - (-10)/(-35). Which is smaller: -1/3 or p?
p
Suppose 7*r - 4 = 3*r. Which is smaller: r or -9?
-9
Suppose -4*x = -9*x + 5. Which is smaller: -2/75 or x?
-2/75
Let d(a) = a**2 - 7*a. Let i be d(7). Which is bigger: -2 or i?
i
Let g = 84/5 - 746/45. Suppose 0 = -5*l + 18 + 12. Suppose k = l*k. Which is bigger: g or k?
g
Let x be ((-12)/14)/(-3) - 32/14. Let b be (-9)/40 + (-8)/20. Is x < b?
True
Let m = 0 + -2. Let d(g) = 2*g**2 - 3*g + 5. Let k be d(2). Suppose 0 = 2*x - 3*x + 2*s - k, 11 = -5*x - 2*s. Which is smaller: x or m?
x
Let o be 0*(9/(-6) + 2). Let b = 11 + -7. Let c = b + -3. Is c less than o?
False
Let v = -7.09 + 0.09. Let u = 6 + v. Which is bigger: u or 1?
1
Let p = 0.316 + -0.016. Is p < -3?
False
Let k = -103/12 - -29/4. Let i = 0 + -1. Which is greater: k or i?
i
Let y(r) = r + 5. Let h be y(0). Let g be h/(10/6) - -1. Which is smaller: 3 or g?
3
Let d = -87.2 - -95. Let n = -0.2 - d. Which is bigger: n or -0.1?
-0.1
Let h = 9 + -15. Suppose d - 4*o = 43, 5*o + 68 = -5*d + 183. Let x be h/d - 12/27. Are x and 0.1 unequal?
True
Suppose -7 + 1 = 2*x. Let n be x - (-1)/(0 - 1). Is n smaller than -4?
False
Let k = 0.25 + -0.31. Which is smaller: 2/3 or k?
k
Let p be (-2 - -1)*2 - 3. Which is bigger: p or -6?
p
Let m be -2*-3*4/8. Let u = 79/2 + -37. Are u and m unequal?
True
Let y(m) = m. Suppose 0 = 4*q + 6 + 6. Let i be y(q). Let t = 2 + i. Which is bigger: 1 or t?
1
Suppose z - 3*z - 8 = -2*j, -2*j + 10 = -3*z. Is 5 at least as big as j?
True
Suppose -2*w = -2*t, -w = 2*t - 0*w. Which is greater: t or 7/6?
7/6
Let k = 34 + 154. Suppose k = -4*j - 0*j. Let h = j - -237/5. Which is greater: h or -1?
h
Let l = 84 - -39. Let g = 2215/18 - l. Which is smaller: -1 or g?
-1
Let h(m) = -m**2 - 4*m + 3. Let n(a) = 2*a**2 + 8*a - 5. Let j(v) = -5*h(v) - 3*n(v). Let x be j(-5). Let p = -9 - -6. Is x bigger than p?
False
Let g(b) be the third derivative of -b**5/60 - b**4/6 - b**3/6 - 2*b**2. Let s be g(-2). Are 3 and s equal?
True
Let g(r) = -r**3 - 13*r**2 - 11*r + 11. Let s be g(-12). Suppose -3*h = -0*h + 9. Is s less than or equal to h?
False
Suppose -110 = -5*w - m, 3*w + 3*m + 2*m - 66 = 0. Do w and 22 have the same value?
True
Let d = -11 + 13. Let o = d - -1. Which is smaller: 1 or o?
1
Suppose -5*n = 5, l + 2*l + 2*n - 7 = 0. Let i be 27/l - (0 + 1). Which is bigger: i or 9?
9
Let k = -5 - -6. Is 2/5 at most k?
True
Let z be (-2)/5 + (-44)/(-10). Let h be ((-12)/(-45))/(z/10). Suppose f + f - 6 = -2*q, -3*f + 2*q - 1 = 0. Which is greater: f or h?
f
Let l = 4.1 - 3.6. Is 8 > l?
True
Let k = 231 - 8543/37. Which is greater: 1 or k?
1
Let s = -18 - -15. Which is bigger: -7/2 or s?
s
Let q be (46/(-10) + 1)*5. Which is bigger: q or -16?
-16
Let v = 103687823211/38 - 2728261256. Let s = 365575 - v. Let p = 191/2 + s. Which is smaller: p or -1?
-1
Let u be (-4)/(-22) - 126/(-33). Let c be (-8)/(-11)*u/16. Are c and 1 non-equal?
True
Let s(v) = -v**2 - 4*v - 1. Let j be s(-3). Suppose b - j*b = -2, -3*b = -3*z - 9. Which is bigger: 1/6 or z?
1/6
Let u = -1 - -1. Suppose p - 4 = -p. Is u smaller than p?
True
Let c = -338/269121 + -4/823. Do c and -2/5 have the same value?
False
Suppose 5 = 5*x - 0. Suppose -x = 2*q + 1. Is q at most as big as 1/10?
True
Let d = 3 - 0. Let v = 6 - d. Which is bigger: v or 1/4?
v
Suppose 3*j - 4*h - 15 = 0, 2*j - 4*h - 4 = 10. Let z = 137 - 545/4. Is z equal to j?
False
Let f(a) = a**3 - 2*a**2 + 2. Let r be f(2). Let t(g) = -6*g**r + g - 3 - 1 - 1 + g**3. Let s be t(6). Do 1 and s have the same value?
True
Let c be 48099/(-6)*(1 + 13). Let w = 1455313/13 + c. Let p = w - -284. Which is smaller: 1 or p?
p
Let q(b) = b**2 - 5*b - 1. Let w be q(5). Let m be -2 - (4/(-2) + w). Which is greater: m or 0?
m
Suppose 3*f - 4 + 1 = 0. Which is smaller: f or 5/8?
5/8
Let k = 131/33 - 10/33. Which is smaller: 1 or k?
1
Let l = 1 + 5. Let c = l + -10. Suppose -19 = 4*h - 5*s, 2*h + s - 4 = -s. Is c greater than h?
False
Let r = 5 - 2. Suppose -2*t - r*t = 4*s + 33, -5*t - 21 = -2*s. Let n = s + 1. Which is smaller: 1/3 or n?
n
Let g = -30 - -37. Let m(p) = -p**2. Let x be m(2). Let w(b) = b**3 + 4*b**2 - 2*b - 1. Let r be w(x). Is r less than g?
False
Let z be (2/(-28))/((-2)/(-8)). Suppose 2*t = 4*m, -2*t - 3*t - 14 = 4*m. Which is smaller: z or m?
m
Let x = -4.4 + 4. Let r = 3 + -2. Let b = -3 + r. Which is greater: x or b?
x
Let t = -2.31 - -17.61. Let z = t + -23. Let q = z - -8. Which is greater: 0.1 or q?
q
Suppose 0 = -5*o - 3*d - 8, 0 = -0*o - o + 3*d + 2. Let m be 0 - 6*4/12. Which is smaller: o or m?
m
Let t = -0.35 + -0.05. Let g(b) = b**2 - 10*b - 9. Let p be 2/5 + 212/20. Let v be g(p). Which is greater: t or v?
v
Let z = 0.1 + 0.1. Let j = 0.1 - 0.6. Let s = j - -0.3. Which is greater: z or s?
z
Suppose 0 = -z - 2*z + 6. Is 2 equal to z?
True
Let v(c) = 2*c - 5. Let t be v(5). Let w(j) = 7 - 3*j + j**2 + 2*j - t*j. Let l be w(5). Is -0.1 greater than or equal to l?
False
Let j be 19/19 + -1 + -15. Which is smaller: j or 0?
j
Let a(o) be the first derivative of o**4 + o**3 + o**2/2 - 9. Let c be a(-2). Is c equal to -22?
True
Suppose -3*z 