= 41 + -22. Which is bigger: 20 or d?
20
Suppose -5 = 4*b + b. Is b > 2/11?
False
Let b be 38/(-10) + (-1)/5. Let v be 220/752 - (-1)/b. Are 1 and v non-equal?
True
Suppose -22 + 7 = -k. Which is smaller: 1 or k?
1
Let p = -31/12 - -9/4. Is 1 >= p?
True
Let m = 460 - 449. Let q = -0.2 - -0.2. Which is smaller: q or m?
q
Let r = -1 - 0. Let z = -12 + 14. Let o be 0 + -1 + z + -4. Is o at most r?
True
Let l(i) = i - 11. Let p be l(11). Let q be (0 - -1)*16/14. Which is bigger: p or q?
q
Let n be ((0 + -2)/1)/(-2). Is n bigger than 5/4?
False
Let n be (-1)/(-2)*4/(-6). Let z = -2 - -5. Suppose 0 = 4*f + 1 + z. Is n > f?
True
Let f be 5 + (0/(-1))/(-3). Suppose -3*u - 1 = 5*d, f*d - 9 + 2 = u. Is u < -3?
False
Let t = -2129/5 - -65997/155. Which is smaller: 1 or t?
t
Let q = 1078 + -37727/35. Which is greater: q or 0?
q
Let o(v) = -v + 8. Let y(j) = j - 9. Let w(r) = -2*o(r) - 3*y(r). Let n be w(6). Does 5 = n?
True
Suppose -2*d - 10 = f - 5, -6 = 3*d + 2*f. Let h be (-8)/(-20) - (-46)/10. Let l = h + d. Do l and -1/5 have the same value?
False
Let s be (1*0/(-2))/(-1). Let l be s*1/(-3) + 1. Let q be (-12)/7 + l + 1. Which is smaller: q or -2?
-2
Let u = -8 + 13. Suppose u*s = 5 - 15. Let a = -1 + s. Is -3/2 less than a?
False
Let t = 10 + -10.06. Let o = -0.04 + t. Let y = 0.8 - -2.2. Which is smaller: y or o?
o
Suppose -12 = 3*f + 3*w, 0 = -4*f + 3*w - 0*w - 2. Let d be 1*-5*(f + 1). Suppose 0 = h + 4*h - d. Which is bigger: h or -1/3?
h
Let o = -49 - -49. Suppose -l - 2 = -5*x, 2*x - 9 = -x - 2*l. Which is smaller: o or x?
o
Let b be (-2)/7 + 122/(-14). Which is greater: b or -8?
-8
Let y be 77/(-24) + (-4)/(-12). Let i = 11/4 + y. Which is bigger: i or -1?
i
Let p = 280/1177 + -6/107. Let f = 58846/47 - 1252. Let n = f + -108/329. Is p less than or equal to n?
False
Let l be 3/(-3*4/(-20)). Suppose -y + l*y = -12. Let v = -5 + 2. Is v less than y?
False
Let m = -20 + 9. Is m > -9?
False
Suppose 0 = 3*u - 4*u + 24. Let h be 2/(-72)*u/9. Which is smaller: 0 or h?
h
Let b = 1.5 + -5.5. Which is smaller: 2/9 or b?
b
Suppose -8*m = 47 + 121. Suppose 0 = 2*k - 1 + 3. Which is smaller: m or k?
m
Let k(y) = 5 - y + y + 2 - y. Let r be k(6). Is -0.1 equal to r?
False
Let w(q) = q + 2. Let h be w(-4). Let v be (1 + h)*(-6)/(-42). Let a = 2 - 2. Which is smaller: a or v?
v
Let i be 4/3*(-9)/(-6). Let r be 4/i - (-1 - -1). Let g be (-3)/(r + 4)*3. Which is bigger: g or -1?
-1
Let c be ((-2)/(-60))/(2/((-32)/20)). Which is greater: -1 or c?
c
Suppose -z = -2*c + 11 + 7, -2*c = -2*z - 22. Which is smaller: 6 or c?
6
Let m = 21 - 6. Is m > 15?
False
Suppose 5*o - 35 = -3*i - 2*i, -5*o = 2*i - 20. Let m = 5 - 1. Let h = m - 4. Which is bigger: o or h?
o
Let c be (-169)/(-6) - 4/6. Let d = c - 27. Let m = 4 - 6. Which is smaller: m or d?
m
Let j be 2/(-6) - 1239/(-4095). Is j at most 0?
True
Let n = -5.4 + 5. Let v = -0.3 - n. Which is greater: v or -1?
v
Let b = -15 - -14. Which is smaller: b or 1.4?
b
Let l be (45*1 + -2)/(-51). Let v = l + 3/17. Let d = -582/5 - -116. Is d at least v?
True
Let g(o) be the second derivative of -o**6/720 + o**5/30 - o**4/6 - o. Let y(l) be the third derivative of g(l). Let z be y(4). Is z smaller than -2/11?
False
Suppose 6 = -5*c + 1. Is -7/5 > c?
False
Suppose -8 + 44 = 3*s - 3*g, 4*g = s - 24. Let k be s/(-6)*3/12. Which is greater: k or 0?
0
Let o = 2 + -2. Is o equal to 0.1?
False
Let p = -0.1 - 15.9. Let g = p - -10. Which is smaller: -1 or g?
g
Let b = 421/1099 + -1/471. Are 1 and b nonequal?
True
Let n = -2 - -8. Suppose v = n*v. Which is bigger: 3/10 or v?
3/10
Let o be (-12)/(5*(-18)/(-60)). Is -10 less than o?
True
Suppose 0 = -2*q - 3*q + 5. Suppose 3*j - j = 4. Suppose j*d = 4*d - 2. Is d at most as big as q?
True
Suppose -p = -4*p + 5*t - 11, t = 4. Let l = -32 + 34. Is l less than p?
True
Suppose -3*h - 9 = 6. Which is bigger: h or -1?
-1
Suppose -q - 2*x = 5, -3*q + 0 + 12 = -3*x. Do q and -1/10 have the same value?
False
Let y(n) be the first derivative of -n**3/3 - 2*n**2 + 6*n + 1. Let i = -7 - -1. Let j be y(i). Is -6 less than or equal to j?
True
Let v = -0.2 + 0.56. Let k = -0.06 + v. Which is smaller: k or -3/4?
-3/4
Let d = -0.5 - 4.5. Let x = d + 5.1. Which is smaller: x or -3?
-3
Suppose -d + 1 + 1 = 0. Let k(l) = l - 3. Let x be k(6). Let o = d - x. Which is smaller: o or -1/3?
o
Suppose 0 = o - 0*k + 4*k - 60, -4*o + 254 = 2*k. Let r be (-2)/5 + o/10. Let a be (-7)/42 + (-4)/r. Which is greater: a or -2?
a
Let w(v) be the third derivative of v**5/20 + v**3/6 - 4*v**2. Let d be w(1). Is 5 less than d?
False
Let c be 0 + 13*1/(-1). Let a be (-35)/(-172) + c/52. Does a = -1?
False
Let p be (-2)/4*0/5. Let o be 1 + -2 + 3/15. Is p equal to o?
False
Let r = -376/3 - -124. Let a = 18 - 20. Is a smaller than r?
True
Let g = -280/3 + 91. Let v = -2 - 0. Which is smaller: g or v?
g
Let b = -27 - -27. Do b and -10/9 have different values?
True
Let d = -91068/7 + 12977. Let c = d + 33. Let g = -1 + 1. Which is bigger: c or g?
c
Let r(x) be the third derivative of -x**4/24 + x**3/6 - 2*x**2. Let s be r(0). Suppose -3*b + s = -2*b. Which is bigger: 0 or b?
b
Suppose -t - 39 = -9. Let d be (-56)/t + 2/(-10). Which is smaller: 1 or d?
1
Suppose -c - 7*l = -3*l - 12, -5*c - 2*l + 24 = 0. Suppose m = -k + 2*m - 2, c*m = 0. Which is smaller: -7/3 or k?
-7/3
Let i = 30 + -3. Does 27 = i?
True
Let p be (9/4)/(3/2). Which is bigger: p or 1/6?
p
Let m = 168 - 168. Is 2/7 at most m?
False
Let g = 2 + -2. Suppose 3*c = -0*h + 2*h + 223, g = -5*h - 2*c - 548. Let f be ((-4)/h)/(5/(-25)). Is 1 bigger than f?
True
Let k be ((-1)/(-2))/((2 + 2)/8). Which is smaller: 16/17 or k?
16/17
Let f = -0.01 + -0.99. Let x be 2/(-20)*(-4)/(-3). Which is smaller: x or f?
f
Let i = -60 - -62. Does -2 = i?
False
Let n = 23 - 137/6. Suppose -o + 5*p + 4 = 9, 2*p - 2 = 0. Which is smaller: n or o?
o
Suppose 0 = 4*k - 6 - 10. Suppose -55 = -5*o + 3*d - 2*d, -k*d - 28 = -4*o. Let b = 20 - o. Is b at least 9?
False
Suppose g - 3*i - 2*i = 9, 5*g + 3*i - 17 = 0. Suppose r + g*r = -20. Let z be 4/r*(0 - 0). Is z at most as big as -1/4?
False
Let z = 7 - 6. Is z at most as big as -0.3?
False
Let f be 20/(-30)*(-1 - -4). Is f bigger than -3?
True
Let b = 2 - 1. Let u be -2 - (b - -2 - 6). Let z be ((-3)/(-4) - u)*-4. Which is greater: z or 0?
z
Let g(a) = -a**2 - 4*a + 4. Let c = -5 + 1. Let t be g(c). Is 4 <= t?
True
Let a = 2 + -4. Let w = -3 - 0. Which is smaller: w or a?
w
Suppose 5*s + 7 = -x - 0*s, -2*s = -2*x + 10. Which is bigger: 21/5 or x?
21/5
Let a be 0*(-1)/2*16/8. Let w be 30/8 + (-1)/(-4). Suppose -y = w*y - 5. Which is greater: a or y?
y
Suppose -2*v = -4*p - 4*v + 34, -3*v = -15. Let l = 6 - p. Is 1 greater than l?
True
Let t(n) = -n - 2. Let q be t(-5). Suppose 0 = q*v + 1 + 2. Are -2/7 and v non-equal?
True
Let d(y) = y**2 + 6*y + 5. Let s be d(-4). Let v(x) = -x**3 - 4*x**2 + 2*x + 4. Let a be v(s). Is -11 greater than or equal to a?
True
Let j = 7.04 - 7. Let i = -0.16 - j. Are -1 and i unequal?
True
Suppose -18 = -5*a + b, 0 = 2*a + b - 3. Suppose w - 2 = a. Is w < 4?
False
Let s = -0.25 - 0.05. Is s <= -13?
False
Let v be 0 + 2 + (52/(-16) - -3). Which is bigger: v or 3?
3
Let v = -21 + -22. Let k = v - -171/4. Is 1 at least k?
True
Suppose -11*k + 56 = 23. Is 3 not equal to k?
False
Let b = 23.016 + -0.016. Is 1/2 less than or equal to b?
True
Let a = -1 + 0.9. Is 0.04 equal to a?
False
Let a = 8 + -3. Let j = 3 + -7. Let l = a + j. Is -1 at most as big as l?
True
Let d = -27 + 25. Suppose -2*a + 2*w - 2 = 2, -3*w + 8 = -5*a. Are a and d equal?
False
Let h be 778/14 - (-6)/14. Let q be (-8)/h + 2/14. Let w = 1/2 + -1/6. Is q equal to w?
False
Suppose 10 = 3*n + 1. Suppose -5*c = -2*c - n. Let g = c + 0. Which is smaller: 2 or g?
g
Let g be 6*-4*3/(-36). Suppose -d - 1 = 0, -2*p + 4*d + 2 = -g. Let k be (1/(-2))/(18/(-12)). Which is smaller: k or p?
p
Suppose 3*t - 3 = 3*v + 6, -12 = t + 4*v. Suppose m = -t + 1. Is 1/3 less than m?
True
Let z = -2 + 4. Suppose 3*m + 0*d - 5 = d, 10 = m - 2*d. Suppose m = -z*h - 6 + 4. Is -1/4 greater than or equal to h?
True
Let a be (-275)/22 - 3/(-2). Which is bigger: -12 or a?
a
Suppose 2*o = -2*l + 6, 0*l - 26 = 3*o - 4*l. Suppose 4*p - 5 = 3. Let b = 0 - p. Is b at least as big as 