False
Let u = 11/174 - 2/261. Let r = 63 + -63. Which is bigger: r or u?
u
Suppose 0 = -h - 5*i - 29, 0*i - i + 102 = -2*h. Let d = h - -101/2. Let q = d - 6/5. Which is bigger: -1 or q?
q
Let a be (-2)/(-4) - 15/6. Let l be a/(-2)*(6 - 1). Is 7 <= l?
False
Let a be (-8)/(-3) - (-2 - -5). Let k = -8 - -13. Suppose 0 = -k*d + 4*d. Which is smaller: a or d?
a
Suppose 3*d = -2 - 1. Let t be 0 - 2/(-4) - d. Let c = 0.5 - 0.4. Is t at most as big as c?
False
Let y = 13 + -32. Let a = y + 18. Which is greater: -13 or a?
a
Let w be 2/4 + (-2450)/4. Let v = w - -16522/27. Which is smaller: v or -1?
-1
Let s(b) = b**3 + 9*b**2 + 11*b - 18. Let z be s(-8). Which is smaller: z or -43?
-43
Suppose 0*t = -t + 5*q + 2, -5*q = -3*t - 4. Let g = t + 0. Does g = -2?
False
Suppose -3*a + 2 = -2*t, -16 = 2*a + 3*t - 0. Which is bigger: a or -11/9?
-11/9
Let k = 260/7 + -37. Suppose 2*u + 3*p - 14 = 4*u, 0 = -4*p + 16. Which is greater: k or u?
k
Let n(o) = -o**3 - 6*o**2 + o + 3. Let b be n(-6). Let c = b - -4. Suppose -4 = -4*p - 0*p. Is p > c?
False
Suppose 0*b = -3*d - b + 13, -d - b + 3 = 0. Suppose 0*f + d*f = 0. Which is bigger: f or -2/13?
f
Let z = -16.9 - -17. Let o = 2 + -2.1. Which is smaller: o or z?
o
Suppose -2*o = 2*q - o - 4, 4 = 2*q + 3*o. Let c(u) = -2*u + 2*u + 2 - u + 2*u. Let k be c(0). Is k at most q?
True
Let f be (-5)/((-5)/3) - 8. Which is smaller: -4 or f?
f
Let a be 2/13 - (-549)/(-2808). Which is greater: 1 or a?
1
Let s = -251 - -253. Suppose 2*l = -0*l + 4. Is l greater than s?
False
Let b = 9 - 9. Let w = b - 0. Which is smaller: 1/13 or w?
w
Let f = 26979204 + -32240146858/1195. Let c = 2/239 - f. Is c greater than -3?
True
Let p = 4 + -3. Let q be -2 + p/(11/25). Which is smaller: 1 or q?
q
Suppose 14*p = 18*p + 112. Which is greater: p or -27?
-27
Suppose -4*w + 3*y = -18, w - 16 = -w + 5*y. Are 30/13 and w equal?
False
Let i be -3 - 0 - (-68)/40 - -1. Let a = 1 - 0.6. Let d = a + 0.6. Is d > i?
True
Suppose 5 = -4*g - g. Is g less than 3/10?
True
Suppose -a - 2*a - 3*l = 384, 4*l = a + 138. Let x be a/(-14) - (-6)/(-21). Do 9 and x have different values?
False
Let s = -92 - -803/9. Let o = 13/9 + s. Does o = 0?
False
Let j be ((-6)/33 + (-16)/33)/(-4). Is -0.1 at most as big as j?
True
Let u = 3/52 + 395/364. Are 2 and u equal?
False
Let v(y) = -5*y - 2. Let b be v(2). Are -12 and b nonequal?
False
Let n = -23.5 - -19. Let s = -4 - n. Let v = -1.5 + s. Is 4 less than or equal to v?
False
Let p be ((-32)/(-30))/((-9)/(-15)). Is 0.3 > p?
False
Let t(f) be the third derivative of f**5/30 + f**4/12 + f**2. Let u be t(-2). Suppose u*k + k = 0. Which is smaller: 0.1 or k?
k
Let u = -7 + 40. Which is smaller: u or 35?
u
Let v be ((-35)/2)/(-7) + -1. Which is smaller: -3 or v?
-3
Let j = -33 + 6. Let x be (-3)/j*3*9. Which is bigger: 2 or x?
x
Let h be 4/(24/(-10))*-3. Suppose -4*k = -5*f - 20, -5*f - h*k - 25 = -10*k. Which is smaller: -1/15 or f?
-1/15
Let u = 68 + -1160/17. Is -1 bigger than u?
False
Let x = 1 - 0.5. Let o = -0.3 + x. Let z = 0.3 - o. Is z greater than or equal to 2/7?
False
Let g be (-1 - -2) + (0 - 1). Let n = 0.125 - 0.425. Which is smaller: g or n?
n
Let r = -0.3 - -0.2. Let x = -53 - -55. Which is smaller: x or r?
r
Let p = -11 + 10. Is -1/13 < p?
False
Suppose -7*a + 5 + 2 = 0. Is -2.3 >= a?
False
Let r(h) = -h**2 + 6*h + 8. Let w be ((1 - 2) + 0)*-7. Let l be r(w). Suppose -4*y + 2 = -2. Is y less than l?
False
Let c = -0.3 + 1.3. Let l = 0 - c. Let h = -17/28 - -5/14. Is h bigger than l?
True
Let q = 12 - 11. Is -3/2 at most as big as q?
True
Let f = -35 + 54. Let x = f + -23.2. Let s = 4 + x. Is s bigger than -0.2?
False
Let t = -8 + 7.9. Let q = -0.1 - t. Let x = 0.3 + -0.1. Is x greater than q?
True
Let z = 49.9 + -52. Let f = 0.9 - z. Which is greater: -2/3 or f?
f
Let h be (-573)/580 - 1/(-4). Let a = h - -4/29. Which is smaller: a or -2?
-2
Let z be -2*1/(-2)*(-72)/72. Let h = -21 - -107/5. Which is bigger: h or z?
h
Let r = -28/75 + -2/75. Let d(v) be the third derivative of -v**4/24 - v**3/6 + v**2. Let s be d(1). Which is smaller: s or r?
s
Let p = 1 + 1. Suppose -4*k + 37 = -5*x, -2 = p*k + 2*x + 2. Let m be ((-2)/k)/(4/6). Does m = 1/7?
False
Let r(f) = 12*f - 1. Let w be r(-3). Which is smaller: w or -73/2?
w
Let a = -405/4 + 102. Suppose -10 = -v + 3*i, 5*v + 2*i + 0*i + 1 = 0. Is a less than or equal to v?
True
Let o(y) = y**2 - 3*y. Let k be o(4). Suppose -p + 6 = -2*n - 2, -k = 5*p + n. Let r be 3/(-11) - (-2 + 2). Which is smaller: r or p?
r
Let m = 0.45 - 0.5. Let a = 0.25 + m. Let k = -0.1 + 0.1. Which is bigger: k or a?
a
Suppose 6*x - 11*x + 30 = 0. Is x bigger than 9/2?
True
Suppose -3 + 0 = 3*g. Let y(n) = -3*n**2 + 2*n + 1. Let i be y(g). Which is smaller: -5 or i?
-5
Let y = -31 + 31. Which is greater: y or 14?
14
Let l be ((-1)/5)/(38/(-5)). Which is smaller: -1 or l?
-1
Let d be (3/6)/((-2)/(-4)). Is -4/9 less than d?
True
Let c = 221 - 3756/17. Is c at least -1/2?
True
Let d = -29 + 28.8. Which is bigger: d or -0.5?
d
Suppose -16*t + 12*t + 116 = 0. Which is bigger: t or 30?
30
Let f = -112.2 - -108. Is f < -2?
True
Suppose a - 6*a = 5. Let p = 35/216 - 1/27. Is a greater than or equal to p?
False
Let c be -1 - 14/(-4) - (-4)/(-10). Which is smaller: 3 or c?
c
Let j = -0.02 - 0.01. Let d = 0.03 + j. Are -1 and d non-equal?
True
Suppose -k = -2 - 1. Suppose -p = 2*p - k. Is p < 6/5?
True
Let d(o) = -4*o + 15. Let f(k) = -k + 4. Let i(u) = 2*d(u) - 9*f(u). Let q be i(6). Which is smaller: q or -2/3?
-2/3
Let r = -42 - -24. Let m = r + 13. Is m less than or equal to -5?
True
Let c be 6/(12/2)*-6. Suppose 3*b + 2*d = -7, 5*b - 5*d + 41 = -d. Is b >= c?
True
Let s(p) = -p**2 - 19*p - 10. Let k be s(-18). Do k and 7 have the same value?
False
Let n(p) = -384*p**2 + 1. Let q be n(1). Let o = q + 230. Let c be 120/o - (-2)/3. Which is smaller: c or 1?
c
Let h = 0.15 + -2.15. Let i = 6.09 + -0.09. Let y = h + i. Which is greater: 0 or y?
y
Suppose -4*v = -0*v - 8, 3*w - 5*v = -214. Is -68 at most as big as w?
True
Let m = 2 + 1. Suppose 0 = 3*u + 5*l - 47, -3*u - l + 0*l = -43. Suppose 5*y = 6*w - 2*w + u, 2*y = -w + m. Is w at most as big as -2?
False
Let s = 64/3 + -21. Suppose 0 = -3*j + 5*p - 8, 2*p - 22 + 15 = 5*j. Which is smaller: s or j?
j
Suppose 0*h + 4 = -h + c, 0 = 2*c - 8. Let g = h + 0. Which is greater: -1 or g?
g
Let m = -0.55 - 0.05. Let n = -0.4 - m. Is n at least as big as -1?
True
Let h be 0/1 + 4/4. Is h at most -2/15?
False
Let t = -84 - -70. Is -14 bigger than t?
False
Let u = 8 + -8. Suppose u = 4*p - 5*d - 24, -7 = -p - 0*d + d. Suppose 0 = -5*z - 5*y + 20, -5*y + p = 5*z - 3*y. Do 2/21 and z have the same value?
False
Let v = 4717/7 + -675. Which is bigger: v or 0?
0
Let j be (2/6)/((-5)/(-30)). Suppose j*m + 2 = -0. Let k be (-90)/21 - (-10 + 6). Is m not equal to k?
True
Let r be (1/(-2))/((-2)/(-268)). Let q be r/(-30) - (-1 - -1). Let t = q - 11/6. Is t bigger than 1?
False
Let s(p) = -p**2 + 3. Suppose -3*o = 3*h - 15, -5*o - 1 + 6 = h. Let t be h/10 - (-1)/(-2). Let v be s(t). Is -2 bigger than v?
False
Let b(c) = -c**3 + 7*c**2 - 6*c. Let j be b(6). Suppose 4*m + 79 + 101 = 0. Let u = m - -137/3. Which is smaller: j or u?
j
Let v be 4/5 + ((-42)/15 - -7). Is v bigger than -2/5?
True
Let g = 8 - 10. Are g and -3 equal?
False
Let j = 20212/5 + -384056/95. Let i = 2/19 - j. Let c(g) = -2*g + 3. Let w be c(2). Is w at most as big as i?
True
Let r = 0.5 - 0.3. Let m = -10.7 + 3.7. Which is smaller: r or m?
m
Let m = -0.38 + 0.4. Let u = m - 0.32. Let d = u - -0.2. Which is smaller: d or -1?
-1
Let q be -1*(-1)/(-3)*1. Let w(y) = 10 + 2 - 12*y + 0 - y**2. Let n be w(-13). Which is greater: n or q?
q
Suppose a = -a. Let t = 1 - a. Let f(c) = -c**3 + 17*c**2 - 16*c + 2. Let j be f(16). Is t not equal to j?
True
Suppose -2*z = 3*t - 0*t + 8, -3*z - 5*t = 13. Let b be ((-1)/(0 + -1))/z. Do b and -1/6 have different values?
True
Let n be 2/(-8) + 9/4. Let b = n + -3. Suppose -3*g + j + 7 = 0, 6*g = 2*g - j. Which is smaller: b or g?
b
Let t = -7/20 - 3/220. Which is smaller: 0.1 or t?
t
Let f = 235/3 + -79. Let m be (-2)/((-5)/(-2)*-1). Let o = -22/15 + m. Is o less than f?
False
Suppose 4*s + 36 + 14 = j, 4*s + 4*j + 40 = 0. Which is bigger: s or 0?
0
Let t = -0