= 10/107 + s. Is c smaller than 0?
False
Let a = -1.24 + 0.24. Let n = -3 + 6. Let z be (-2)/(1 - 18/n). Do z and a have the same value?
False
Let q = -27 + 27.2. Is q <= -10?
False
Let b be 0 + 1 + (-158)/(-68). Let y = b + 3/17. Is 5 greater than y?
True
Let x be 13/(-11) + (-2)/(-11). Let m = -516/7 + 74. Which is greater: x or m?
m
Let y = 0.1 + -0.1. Let w = 10 + -21. Is y greater than or equal to w?
True
Suppose -3*a + 2*k = 4*k - 18, a - 6 = -4*k. Suppose -1 = -2*v - 9. Let f = a + v. Is 2 at least as big as f?
True
Suppose 2*y - 3*f = 1 - 2, -5*y = -2*f - 14. Does 4 = y?
True
Suppose -53 = 3*f + 7. Let v be ((-24)/f)/((-27)/(-30)). Is -0.1 at least v?
False
Let h be ((-3)/(-28))/(1/16). Let p = h + -79/42. Let o = -1 - -1. Which is greater: p or o?
o
Suppose -8*l = -6*l - 2. Let x be -2 + 1/(1 + 0). Let b = x + l. Are b and -5/4 equal?
False
Let i = -5 + 6. Let u = -3 - -5. Suppose -10 = 7*d - u*d. Which is smaller: d or i?
d
Suppose -5*d = 40 + 110. Let b be 25/(-84) + (-10)/d. Which is smaller: -1 or b?
-1
Let v(k) = -3 + 3*k - 2*k - 4 - 1. Let l be v(9). Which is bigger: l or 12?
12
Let k = -273 + 41767/153. Let r = 53/153 + k. Which is greater: -2 or r?
r
Suppose 2*s - 12 - 2 = -2*h, -s + 31 = 3*h. Suppose 5*w - w = h. Is w < 3?
False
Let l(m) = -m + 2. Let u be l(2). Is u at most as big as 0?
True
Let v be ((-1)/(-10))/((-2)/5). Let s = 1.4 + 0.6. Is v at most s?
True
Let t be (3 + -6)/((-3)/2). Suppose t*y - 2 = 4*y. Let s = -2 - -1. Is s >= y?
True
Let f = -2 + -1. Let d = f + 3. Let y = 1160/7 + -166. Which is smaller: y or d?
y
Suppose -27 = -2*s - 5*d, 4*s = -4*d + 21 + 3. Let i = -8/21 - -22/21. Is i greater than or equal to s?
False
Let i = 17 - 14. Let b = 8 - 6. Is b greater than or equal to i?
False
Suppose 0 = 2*b + 2*b + 4. Let a be 2*(b - 3/(-6)). Which is greater: -2 or a?
a
Let w be 4/10 + (-24)/(-15). Suppose 7*i - 4*k + 2 = 2*i, -5*i + 16 = w*k. Suppose -j - 3 = -i. Is j greater than or equal to 0?
False
Let j(w) = 2*w + 3. Let m be j(-2). Is m > 3/31?
False
Let c be (-1 + 2)*(-6)/(-5). Let r = -52/35 + c. Let h = -9 + 10. Which is smaller: r or h?
r
Suppose -2*u = -6, -2*v + 5 = 2*v + 3*u. Let z(s) = -3*s + 26. Let p be z(10). Do v and p have the same value?
False
Let o = -538/5 + 108. Let l = o + -1/15. Which is bigger: l or 1?
1
Let y be 1 - (-1 + -1) - -3. Which is smaller: -1 or y?
-1
Suppose -2*f - f = 4*k - 14, 3*f + 2*k = 10. Let q(v) = -4*v**3 - 2*v**2 - v. Let a be q(-1). Which is smaller: f or a?
f
Let c be 3/9*2*(0 + -1). Is c > 1?
False
Let j be 2/(-6) - 4/6. Suppose -5*i + 20 = -0*i. Suppose -2*h + 10 = i*b - 2*b, 0 = -h - 3*b + 15. Which is smaller: j or h?
j
Suppose 0*g + 24 = g. Which is greater: g or 25?
25
Suppose 3*o = 3*f + 45, 0*o + 3*o = -2*f - 45. Is -18 != f?
False
Let b = 113628 + -336716/3. Let q = 1376 - b. Let i = 41/3 + q. Which is smaller: 3/4 or i?
i
Let i be 633076/14832 - (-4)/18. Let t = i - 16/103. Let h = t - 3941/92. Are h and 1 nonequal?
True
Let v = 1 - 2. Let j = 3.03 + -0.03. Is j != v?
True
Let z be ((-6)/33)/(-2)*4. Which is smaller: 0 or z?
0
Let p be ((-3)/(-105))/((-8)/20). Which is bigger: 0 or p?
0
Let b = -2 - -2.1. Let y be 2/(-8) - (-721)/49. Let q = -59/4 + y. Is q at least as big as b?
False
Let o be (-2 - -2)/3 - -3. Let v = o + 0. Which is bigger: 5/3 or v?
v
Let u be 8/(-12) - 18343407/594. Let b = u - -30882. Let p = b - -1/22. Which is smaller: p or -1?
-1
Let b = -13 + -2. Let f = 13 + b. Let u be 1/(-4) - 2/(-8). Which is greater: f or u?
u
Suppose -3*f - 11 - 1 = 5*w, 4*w = 5*f - 17. Which is smaller: f or -0.2?
-0.2
Suppose 0 = -2*w - w + 45. Let z be 2/(-6) + 11/w. Let t = 0.1 - 0.1. Which is greater: t or z?
z
Let i be (-4)/18 + (-33)/27. Let o = i - 55/18. Do -1 and o have different values?
True
Let s(l) = 6*l - 1. Let d be s(1). Suppose 0*m = -d*m + 15. Let t = m + -1. Is t < 2?
False
Suppose 0 = -y + 5*y + 4. Let d be ((-25)/(-4))/5*-1. Which is bigger: y or d?
y
Suppose -23 = -3*n + 4*z, 5*z - 10 = 5*n - 40. Let a = -1 + n. Let d be 0 + 2 + (-24)/9. Is d at most a?
True
Let i be 240/(-190)*(-1)/(-3). Which is greater: -1 or i?
i
Let j = -4 - -4. Suppose w + j = -d + 1, -2*d + w - 7 = 0. Which is bigger: d or -7/3?
d
Let r(y) = y**2 + 1. Let l = 14 + -16. Let b be r(l). Which is greater: 3 or b?
b
Let j = 10 - 10. Which is greater: 2/3 or j?
2/3
Let g = 32 + -14. Suppose -5*l = u + g, -21 = -l + 3*l + 5*u. Let i = 4 + l. Is i greater than 2/3?
True
Let y = 6.38 + -0.38. Is 0.2 at most y?
True
Let f = 11 + -7. Let h be f/(-10) - 17/(-5). Let a be (4 + -1)*12/18. Is h less than or equal to a?
False
Suppose -2*g = 7*n - 3*n - 12, -5*g + 5*n = 15. Let m = 55943/12 - 4658. Let o = 25/6 - m. Is o less than or equal to g?
False
Suppose -10 = 3*f - 1. Let w(b) = b**2 + 3*b - 4. Let q(a) = -2*a + 3. Let o(k) = f*w(k) - 4*q(k). Let t be o(-1). Are -2/7 and t equal?
False
Let t be 93/496*(1 - 5/3). Let n = 1 + 0. Which is smaller: n or t?
t
Let w(t) be the second derivative of t**4/12 + t**3/6 - 2*t**2 - 2*t. Let b be w(-5). Let k be (-6)/b*4/(-6). Does 0.1 = k?
False
Let p = 135 - 155.2. Let i = -20 - p. Is i less than 1?
True
Let h be (-1)/2*2 - 0. Let d(k) = k - 1. Let x be d(7). Let y be (-4)/x*15/115. Which is bigger: y or h?
y
Let f be (-7 - -6)/(1/(-2)). Which is smaller: 15/11 or f?
15/11
Suppose c = -4*b - 12, -4*c - 3*b - 26 = 2*b. Is -4 less than c?
False
Let g be ((-2)/8)/(3/4). Suppose i = -4*j - 5, 2*j + 5*i + 7 = -0. Which is smaller: j or g?
j
Suppose -u = -3*t, 5*t = 4*u - 3 - 4. Do t and -4/17 have different values?
True
Let x = -15 - -7. Which is smaller: 0 or x?
x
Let b = -65/116 + -20/29. Let a = 4 - 2. Suppose -2*n - 4*z = -8, -a = 5*n - z - 0. Which is smaller: n or b?
b
Let w be (6 - -5)*1/(-39). Let u = 8/13 + w. Is -1 at most u?
True
Let s = 7/128 - -635/2432. Is s greater than -1?
True
Suppose 0 = 4*c + 2*b + 2, c + 2*b - 2 + 4 = 0. Let s = 4.11 - 0.11. Let p = s - 3. Is p < c?
False
Let m(g) = 6*g - 1. Let a be m(1). Suppose a*y + 3*f + 6 = 0, -f - 6 = 4*y - 4. Which is smaller: y or -2/3?
-2/3
Let s(p) = p**2 - 1. Let n(k) = -3*k**2 + 9*k + 12. Let f(d) = n(d) + 4*s(d). Let w = -18 - -10. Let y be f(w). Is y less than or equal to -5/6?
False
Let s(w) = -w**2 + w + 3. Let l be 0/(-3 - (1 - 3)). Let q be s(l). Suppose c - 1 - 3 = -2*g, g + c - 2 = 0. Is g greater than q?
False
Let y = -8 - -9. Which is bigger: y or -0.1?
y
Suppose -4*w - 5*z = -0*w - 6, -w + 4*z = 9. Do w and -1/14 have the same value?
False
Suppose 4*r - 3 = 3*r. Suppose -2*h = 2*s - 4 - 2, -2*h - r*s = -9. Which is smaller: -1 or h?
-1
Suppose 0 = q - 4, -q + 5*q - 36 = -4*c. Suppose -5*j = -3*o + 7, 0*j = o + j - c. Is 4 at least as big as o?
True
Let n be 4/16*-7 - 2*-1. Is -16 less than n?
True
Let b be (-4)/42 + (-6)/(-9). Suppose 3*c - 2 - 10 = 0, 2*c - 8 = 3*n. Suppose 4*g = -n*g. Which is bigger: g or b?
b
Let v be (-2)/(-7) - (-66)/14. Suppose 0*w - w - 4*y = -13, 0 = -5*w - v*y + 5. Which is greater: -7/2 or w?
w
Let q = 10 + -9. Is -2/13 less than q?
True
Suppose k = l, -3*l - k = -0*l - 20. Let z = 2 - 1. Suppose -z = -3*c + 11. Is l at most as big as c?
False
Let n(t) = -t + t**2 - 2*t**2 + 2 + 2*t - 3. Let a be n(0). Is -1/4 less than a?
False
Let h = 21 + -20. Is h > -53?
True
Let i = -0.01 - -0.21. Which is bigger: -0.03 or i?
i
Let t = 82/819 - -1/91. Is 0 at most as big as t?
True
Let b = -15536115334 - -11465647500139/738. Let v = 68498/9 + b. Let w = 1/82 + v. Which is bigger: 2/7 or w?
w
Let r = 24 + -19. Let y = 8 - 2. Are y and r non-equal?
True
Suppose 12*p = 7*p + 10. Suppose -5 = -3*s + 2*u, 3*s + 2*u - p = u. Suppose -2*m - 2*m = -8. Which is smaller: s or m?
s
Let f = -1.7 - -2. Let i = 0.3 + f. Which is bigger: 1/2 or i?
i
Let j = -2.7 - -3. Let r be 2/(-11) + (0 + 6 - 6). Which is smaller: r or j?
r
Suppose -5*b + 6*b = 0. Let x be -5*(b + 2/5). Let y = 21 + -23. Are x and y equal?
True
Let s(g) = -g**3 - 6*g**2 + 6*g - 7. Let u be s(-7). Suppose -x + 3 - 4 = u. Let j = -9 + 25/3. Which is greater: j or x?
j
Let i be 18/(1 - 2/(-4)). Let c be i/6 - (-13)/(-5). Are c and -1 unequal?
True
Suppose 25 = -13*z + 8*z. Is -8 greater than z?
False
Let g = 20 - 20. Is g at least as big as -2/21?
True
Let v(n) = -5*n**3 - n**2 - 2*n - 1. L