t n = -1 + o. Let z = -0.4 - -0.3. Which is smaller: n or z?
z
Let y = 74 - 75. Which is greater: 14 or y?
14
Let z(l) = -l**2 - 8*l - 5. Let a be z(-7). Suppose -1 = a*k - 5*o - 5, 0 = k + 3*o + 20. Let u = k + 15. Which is smaller: -0.1 or u?
-0.1
Let k be (-111)/476 - ((-39)/12 + 3). Which is smaller: 0 or k?
0
Suppose -4*r + 2*r = -2. Suppose -17 = -p - 5*g, 18 = 5*p + 3*g - r. Suppose i + 4*m = -3, -3*i + p*m = m - 4. Which is smaller: i or -1?
-1
Let t(w) = 3*w + 1. Let c be t(-1). Let v = 5/138 - 20/23. Which is smaller: c or v?
c
Suppose 3*w - 8 = 7. Let z = 10 - 14. Let k be 6/z*(-16)/6. Is k < w?
True
Let i = 13 - 8. Suppose -i*g = 5*x + 10, 0 = -x - 4*x. Which is smaller: -1 or g?
g
Let y = 61 + -36. Is y < 27?
True
Suppose 3 + 4 = -7*h. Is h less than -4/11?
True
Let r = -1 - -4. Suppose 26 = 3*k - 5*x, 0 = -0*k - 5*k + r*x + 22. Is 2 greater than or equal to k?
True
Let g(d) = -2*d + 1. Let z be g(1). Let o = -1 + z. Let v be 2/(-7) - 10/14. Is o at least v?
False
Let w(i) be the second derivative of i**4/2 - i**3/6 - 4*i. Let n be w(1). Is 7/2 less than n?
True
Suppose -23 = -4*w + 9. Let d = w - 8. Suppose -4*r = -5*n + 20 + 13, -3*n + 15 = d. Is r bigger than -2?
False
Let p = 40 - 41. Let s = 4 + -6. Is p at most as big as s?
False
Suppose 1 - 9 = 2*m. Which is bigger: m or 4?
4
Let x be (-4)/3*6/4. Let v be ((-3)/x)/(15/(-20)). Let f be (v/6)/(6/(-36)). Is 2 bigger than f?
False
Suppose 0 = n - 4*n. Is n bigger than 1/3?
False
Let q(r) = -r**3 + 7*r**2 - 8*r + 1. Let h be q(6). Let t = -1.9 + 2. Which is smaller: h or t?
h
Let n be 106/(-30) - (-1)/(-1). Let i = 1262/285 + n. Which is smaller: -1 or i?
-1
Let k be (-14)/16*162/(-189). Suppose -3*o - 20 = -3*s - 2*s, -4*o - 5*s + 20 = 0. Suppose -g - 1 + 2 = o. Which is bigger: k or g?
g
Let k(b) = b**3 + 4*b**2 - 2*b + 4. Let c be k(-4). Let u be (-6)/15*(-15)/c. Is u <= 2?
True
Let q = 3 + -2. Let l = -7 + 11. Which is greater: q or l?
l
Let k = -67.35 + -1.65. Let w = k - -71.9. Let h = w - 3. Is h greater than 0.2?
False
Let w be (-14)/4 + (0 - -3). Is 6 less than w?
False
Let a be (-2)/(0 + (6 - 4)). Do a and 2/75 have different values?
True
Suppose 3 = -4*o + 7*o. Which is bigger: 3 or o?
3
Let u = 7 - 13. Let x = 26 + -30. Let r = x - u. Which is smaller: r or -1?
-1
Suppose 3*c = 6 - 21. Let t = c - -5. Suppose -3*l + 12 = -t*l. Which is greater: 5 or l?
5
Let p = -3.6 + 4. Suppose l = 2*l - 1. Is p at least l?
False
Suppose 3*q = 7*q + 40. Let o = q - -22. Suppose -5*a = o + 3. Is -2 greater than or equal to a?
True
Suppose -2*u + 6 = -3*w - 2, w + 5*u - 20 = 0. Suppose m - 3 - 1 = w. Which is greater: 2 or m?
m
Suppose 140 = x + 3*x. Let m = x + -15. Does 20 = m?
True
Let r = -10.03 - -0.03. Let g = 8 + r. Is -1 >= g?
True
Let h be (-115)/2*10/(-25). Is 1 at most h?
True
Let v(s) = 7*s - 7. Let r be v(3). Is 12 >= r?
False
Let v(p) = -p**3 - 14*p**2 + p - 15. Let a be v(-14). Is a smaller than -29?
False
Let q(n) = -3*n**2 - 29*n - 12. Let d be q(-9). Is 6 not equal to d?
False
Let i(y) be the third derivative of 0 + 1/24*y**4 - 2*y**2 + 0*y**3 + 0*y. Let g be i(1). Which is bigger: g or 0?
g
Let l = 118 - 125.9. Let q = l - -8. Do q and -2/15 have different values?
True
Suppose 5*o - 6 = 4. Let m be (-7)/5 - (-4)/10. Let i = o + m. Is 6/11 <= i?
True
Suppose -4*h = -7*h - 510. Let u be (-54)/h + 3/(-15). Which is smaller: u or -1?
-1
Let z = -3.903 - 0.097. Is z <= -0.04?
True
Let v(j) = j**2 + 9*j + 9. Let g be v(-8). Let d(p) = g - 2*p + p**2 + p - 5*p. Let m be d(6). Which is bigger: 2/5 or m?
m
Suppose y = -0*y + 25. Does y = 26?
False
Let j(b) = -b**2 - 6*b - 1 + 2 + 8 - 3. Let p be j(-7). Which is greater: p or -2/9?
-2/9
Suppose -102 = -4*n + 2. Let b = 15 - n. Is -11 < b?
False
Let k be (2/18)/(1/3). Let n be 2/(-4)*4/(-8). Is k at most n?
False
Let h = 135 + -22. Let q = -114.94 + h. Let v = q + -0.06. Is -0.2 >= v?
True
Let f be (3 - 11) + -1 + 1. Let d be ((-1)/2)/((-1)/(-14)). Do f and d have the same value?
False
Let c = -251/4 + 64. Is c less than -0.2?
False
Let h(d) = d**3 - 3*d**2 - 5*d + 1. Suppose w = -3*w + 16. Let v be h(w). Let p be (1/v)/(4/(-18)). Which is bigger: 2 or p?
2
Let w = -5 + 11/2. Suppose d = 6 - 4. Is d > w?
True
Let s = -1436/9 + 2257/18. Let t = s + 34. Which is bigger: 1 or t?
1
Suppose 0 = 5*c - 4*q - 345, -4*c + 0 = -3*q - 277. Is 72 < c?
True
Let i = 9 + -13. Let g be ((-3)/(-39))/(i/6). Let t = g - 5/13. Is t at most 0?
True
Let v = 7 + 3. Does v = 10?
True
Let d = 0.02 + -2.02. Which is smaller: 12 or d?
d
Let g(z) = z**2 - 1. Let b be g(-1). Let r = 17 + -13. Let h be (-1 - b)*(r + -3). Which is greater: -1/2 or h?
-1/2
Suppose 3*v - 8 = 2*t, -4*v + t = -t - 12. Suppose -v*f + y - 7 = -0*y, -3*y = f + 18. Which is greater: f or -2?
-2
Let t = 6.4 + -12.7. Let d = -6 - t. Is d <= -1/7?
False
Suppose -4*l = -w + 24, 6*w = 3*w - 3*l + 12. Which is greater: 7 or w?
w
Suppose -2*d + 0*d - 314 = 2*p, -2*d + 157 = -p. Which is bigger: p or -158?
p
Suppose 2*c + 4*g - 2 = 0, 5*c - 4*c + 5*g - 4 = 0. Let i be (-4)/(-3) - (1 - c). Is -17 at most i?
True
Let j be ((10/(-6))/5)/1. Which is smaller: 0.05 or j?
j
Let y = 3.6 - 3.6. Let h = 1 + -1.1. Let j = h + -0.9. Is y > j?
True
Let i be (-2*1)/(14 - 12). Let w be 2*(0 - 0 - 1). Do i and w have the same value?
False
Let j = 2.1 + -2.12. Is j at least as big as -0.3?
True
Suppose 4*v + 12 = 3*v. Let i be -1*24/(2/1). Is i bigger than v?
False
Let p be 1/(-4)*1*96/(-8). Suppose -t - 5*y = 3*t - 43, t = -4*y + 8. Suppose 6 = 2*n + k, 0*k + 4*k = -5*n + t. Which is greater: n or p?
n
Suppose -2 = 2*c - 4*c. Let q = 0 + c. Let n be (-4)/2 - 42/(-18). Is q greater than or equal to n?
True
Suppose 0 = -a - 2, 5*c + 14 = -4*a + 46. Is c greater than 9?
False
Let o = 30/23 + -418/391. Which is bigger: 1 or o?
1
Let s = -5 - -1. Let p = -3.97 - s. Let t = p + -0.43. Which is smaller: 0 or t?
t
Let s = 71835/98 - 733. Which is bigger: s or -0.1?
s
Let u(s) be the first derivative of s**2 - 2. Let t be u(1). Which is bigger: t or -6?
t
Let y(p) = p - 2. Let l be y(5). Suppose l*j - 7*j = 4. Which is smaller: -3/4 or j?
j
Suppose -31 = -3*t + 5*m, m = 3*m + 10. Let s be (0/t)/(3 + -4). Let l be 3 + (-2 - -1) - -3. Which is smaller: s or l?
s
Let n(w) = 13*w**2 - 3*w - 2. Let p be n(-1). Is 15 < p?
False
Let x(a) = -a**2 - 10*a - 6. Let g be x(-9). Suppose -4*j = -4*z + g + 5, 0 = 5*j. Suppose -2*s = -3*s - 5, z*c - 18 = 4*s. Which is greater: c or -2?
c
Let s = 1 + -1. Let j be 8*(s + -2)/(-4). Suppose 0 = -b + j*b + 6. Is -1 greater than b?
True
Suppose 0 = -2*d + 2 + 6. Let q be 1 + 1 + (-12)/(-4). Let b be ((-1)/q)/(-3 + d). Which is bigger: 0 or b?
0
Let x = 15 - 111/7. Are x and 0 non-equal?
True
Let j be (0 - 196/50) + 4. Are j and 0 unequal?
True
Let x be (3 + 11)*(65/(-10) + 0). Are x and -92 equal?
False
Let y(w) = 4*w**2 - 3*w - 1. Let m be y(3). Is 24 at least as big as m?
False
Let j = 0 + 0. Let n = -3 + 1. Which is smaller: j or n?
n
Let p = 0.15 - -1.85. Which is greater: -1/4 or p?
p
Let d = 14 + -9. Let h(p) = p**2 - 2*p - 3. Let w be h(d). Let r be (16/w)/(4/6). Which is bigger: r or 1?
r
Let v(j) = -j**3 + 4*j**2 + 6*j - 4. Let y be v(5). Suppose -y = 5*w - 16. Is w less than or equal to 8/5?
False
Let f be 2*2/24*3. Let k = -5 + 6. Which is bigger: k or f?
k
Let a(h) = -3 + 3 + 0*h + 1 - 2*h. Let z be a(-2). Suppose -5*x + 3*x = -z*g, 3*x + 25 = -5*g. Is g <= 1?
True
Suppose 0 = -y - 2 + 1. Suppose 0*b + 5*j = -2*b + 13, 0 = 5*j - 15. Is b greater than y?
False
Let n(r) be the second derivative of -r**4/12 - 4*r**3/3 + r**2/2 - 3*r. Let p be n(-8). Is 2 bigger than p?
True
Let t = -43/5 + 9. Suppose -l - 1 = -3*z, 4*z + 4*l - 16 = 12. Suppose -z - 1 = 3*c. Is c > t?
False
Let u(z) = 4*z + 12. Let f be u(-3). Which is greater: -7/11 or f?
f
Suppose -2*g = -3*h - 26, 4*g + 5*h - 62 = 6*h. Which is bigger: 14 or g?
g
Let i be 10/15*9/(-12). Is -1/6 > i?
True
Suppose 3*w - 1 = 5. Suppose -w*r - 21 = -3*x, -x + 0*x = 4*r + 7. Let s be (3 - 2)*r - -2. Is s greater than or equal to -1?
True
Let y be -4 + -1*2*-1. Let h = 21 - 24. Is y greater than h?
True
Let s = -51.94 + 0.04. Let p = 49 + s. Let j = p - -3. Which is smaller: j or 2/9?
j
Let u = -0.51 + 0.51. Is u equal to 0.