f + 36 = -5*g - 24, 2*f - 18 = g. Let j = g - -43/3. Which is smaller: 0 or j?
0
Let w(j) = -160*j - 5. Let l be w(3). Let y = l + 8248/17. Is y less than or equal to 0?
False
Let j = 1.107 - 0.107. Which is smaller: -5/2 or j?
-5/2
Let g = -0.14 - -10.14. Let q = g + -9. Let v = -2 + 2.2. Are v and q nonequal?
True
Let w = -3 + 7. Let j = 10 + -10.2. Which is smaller: j or w?
j
Let m be 5/10*(-2 - -2). Which is greater: 3/58 or m?
3/58
Let t = 1255 + -8769/7. Which is smaller: t or 1?
1
Let y(b) = -b**3 - b**2 - b + 1. Suppose 3*s + 2*s = 0. Let h be y(s). Is 1 smaller than h?
False
Let d be -4 + 2/(2 + -1). Let o(r) = -r - 11. Let b be o(-8). Is b < d?
True
Let w be 4/(-10) - (-1974)/35. Let o be (-5)/w + 10/(-35). Is o at most 1?
True
Let b = -41 - -20. Let n = b - -11. Let y = -8 - n. Which is smaller: -3 or y?
-3
Let x(k) = -2*k - 1. Suppose -3*j + 0 = -5*l + 27, 16 = 2*l + 4*j. Suppose 0 = -3*g - l + 3. Let q be x(g). Is 1/5 greater than or equal to q?
False
Let n be (-4)/(-3)*-3*-1. Is 10 at least n?
True
Let r be ((-1976)/15)/(16/24). Let q(c) = 50*c + 3. Let g be q(-4). Let l = g - r. Is 1 != l?
True
Suppose 2*j - 4 = -2*i, 2*i = -2*j - i + 6. Let q(m) = m**2 - 5*m + 4. Let z be q(5). Suppose g = 3*w + 6, 5*g + w + w + z = j. Is g less than or equal to 0.2?
True
Let g = -11.1 + 10. Let j = -6.1 - g. Suppose 2 + 1 = 3*u. Is u greater than j?
True
Let h be (-12)/(-9) - 10/(-30). Which is smaller: h or 0?
0
Suppose 0*d = -d - 2*x - 2, -2*d + 2*x + 8 = 0. Let a be -4 - (-1 + 0 - 1). Let z be a + 0 + d/3. Is z equal to 1?
False
Let w be -4*1/(-7)*(-11)/2. Are -3 and w non-equal?
True
Let k = -1.45 + 0.25. Let m = k - -1.3. Is 4 bigger than m?
True
Let g(w) = -2*w + 9. Let n be g(7). Which is smaller: -1 or n?
n
Suppose a + 3*a + 2*g = 34, -a - 5 = 5*g. Let y be a/25 - 0/(-1). Is 1 > y?
True
Suppose 5*x = -0*x - 5*w - 10, -4*w - 8 = -x. Is 2/323 greater than x?
True
Let y = 1193/145 + -4/145. Is y equal to 7?
False
Let d be 3/(-7)*(-2)/3. Let x = 34.9 - 35. Which is bigger: d or x?
d
Let a be ((-1)/(-2))/(2/(-4)). Which is bigger: -4 or a?
a
Let p(u) = 1 + 0*u + 7*u + 0*u - 6*u. Let k be p(4). Are k and 4 equal?
False
Let t = 34 + -40. Let p = -137 + 131.1. Let u = t - p. Which is bigger: -1/2 or u?
u
Let m = -3.08 + 0.08. Let y = 1 + -0.9. Is m equal to y?
False
Let h = 10 - 8. Is h at most as big as -1/3?
False
Let u = -74 + 85. Let x(n) = -n**2 + 10. Let f be x(0). Is u less than or equal to f?
False
Suppose -10 = -2*s - 2. Let l be 2/3 - (-2)/6. Let d be 1 - l - (s - -1). Is d >= -4?
False
Let j be (-38)/(-12) - (-1)/(-6). Let y be (-7 + 1)/j*1. Let h be y/(-6)*(-18)/(-2). Which is smaller: h or 2?
2
Let y = 2.2 + -1.2. Which is smaller: -0.1 or y?
-0.1
Suppose -v + 3*l = -19, v - 3*l = -3*v + 31. Suppose 0 = v*b - 6*b. Is 0.05 bigger than b?
True
Let m be (3 - 6)/(6/4). Let h be (2 - 0) + 1 + m. Which is bigger: h or 0?
h
Let i = 0 + -1. Let b be -6*(-2)/(-12)*2. Let j be 0 + 2 + b + -1. Is i bigger than j?
False
Let l = 16 - 31. Let k = 0.12 + -0.12. Which is smaller: k or l?
l
Let m(t) = t**2 + 9*t + 17. Let l be m(-7). Suppose -y + c + c - 6 = 0, l*c - 9 = 0. Which is bigger: 4/9 or y?
4/9
Let d(i) = -5*i**3 + i**2 - 1. Let r be d(-1). Suppose r = 4*g + 1. Which is bigger: 1/13 or g?
g
Let x = 116 + -202. Let j be 3*(3 - x/(-30)). Let u be (-1 + 0 - -1) + -1. Is j less than u?
False
Let w = -85 + 936/11. Let c be 0/(-24)*(1 - 0). Which is smaller: c or w?
c
Let u = -9 + 13. Suppose 2*r - 4*w + 6 = 0, r + 4*w = -w + u. Which is smaller: -3/7 or r?
r
Let a = -1.11 - -0.21. Let p = 0.1 - a. Let v = 1721/9 + -191. Which is smaller: p or v?
v
Let n be 3 + 0/2 + -1. Is n <= 4?
True
Let t be -1*(-7)/(-4)*316. Let x = -8845/16 - t. Is x at most 1?
True
Let y(x) = -3*x + 15. Let k be y(8). Is 3 equal to k?
False
Let r = 4 + 1. Suppose -r*j + 25 = 5*y, j + j - 3*y + 15 = 0. Which is smaller: 3/7 or j?
j
Let c = -11/10 - -3/5. Which is smaller: 13 or c?
c
Let o be (-17)/35 - 10/(-35). Is o > -0.3?
True
Let i = 13 + -22. Let l = -6 - i. Let y be 2*2/4*-1. Is y equal to l?
False
Let m = -47 - -48. Which is bigger: -6 or m?
m
Let j be 9*10/(-15) + -2. Does j = -44/5?
False
Let z = 2.63 + -2.6. Do z and -0.3 have the same value?
False
Let f = -17 + 18. Is 7 less than f?
False
Let k be (-2 - (-2)/1)/(-1). Which is greater: k or 2/7?
2/7
Let m = 9/7 + -219/154. Which is bigger: -1 or m?
m
Suppose -2*s - 9 = s. Let h be (-3)/(-12) + s/60. Let b be ((1 - 0)*1)/(-1). Are h and b nonequal?
True
Let k = -34 + 23. Let g = k + 9. Is g at least as big as -2?
True
Let o = 0.132 + -0.122. Let j = -6/95 - -232/665. Which is bigger: o or j?
j
Let h be 42/54 - (-4)/18. Suppose -x + 4 = -2*j - 5*x, 0 = -j + x + h. Is j equal to -2/9?
False
Let u = 8.9 + -8.8. Which is smaller: u or 65?
u
Let z be (-8)/5*(-25)/10. Let j(b) = -b**3 + z - 2*b + 3*b - 10 + 7*b**2. Let u be j(7). Are u and 1 equal?
True
Suppose 3*j - 2 = 4. Let k be ((-1 + 1)/2)/j. Is k smaller than 0?
False
Suppose -5*c = -4*c - 4*k - 16, -7 = -4*c - 3*k. Suppose 2*b + c = -0*b. Suppose -4 = 5*r - r. Which is bigger: r or b?
r
Suppose 5 - 13 = 4*t. Is t at least as big as -8/5?
False
Let u be (114/(-8))/3*4. Suppose -n - q - 11 = 0, 0*n - 2*q = n + 16. Let s be u/(-8) - n/(-3). Is -1 at most as big as s?
True
Let y be (-6)/4*(3 + (-7)/3). Is 3/47 less than y?
False
Suppose 2*q - 14 = k, -3*q + 12 + 0 = 0. Let l be (3/k)/(4/8). Which is smaller: -2/15 or l?
l
Let y = -1/23 + 26/69. Let j(n) = n**3 - 4*n**2 + 3*n + 2. Let p be j(3). Suppose -x - x = 4, p = 4*t - 3*x. Is y greater than or equal to t?
True
Let d(z) = -z. Let i be d(-4). Suppose -i*q + 10 = 26. Which is greater: -5 or q?
q
Let y be -4*3*((-51)/(-18) + -3). Let z = -8 - -11. Suppose -4*p + p - 3*q + 6 = 0, 3*p - z*q = 0. Which is greater: y or p?
y
Let a be 3 - 1*(-1 - 36/(-10)). Which is bigger: a or -25?
a
Let w(p) = -p**2 - 14*p - 11. Let u be w(-13). Which is bigger: 7/3 or u?
7/3
Let g(l) = l**3 + l**2 + l + 12. Let f be g(0). Suppose f = -4*h + h. Let n = h - -4. Which is smaller: n or -2/3?
-2/3
Suppose -6*n - 2 = -4*n. Which is bigger: 0.4 or n?
0.4
Suppose 5 = 3*t + 4*r - 0, r = -5*t - 3. Let n(g) = -18*g + 1. Let u be n(1). Let a = -14 - u. Which is smaller: a or t?
t
Suppose 6 - 5 = d. Is d <= 1/12?
False
Let r be (-2)/(((-4)/10)/1). Which is bigger: -1/3 or r?
r
Suppose 9*z = -0*z - 36. Is -4 smaller than z?
False
Let u = -20/1503 + 431461/7515. Let g = u - 57. Let j = -3 + 4. Which is greater: g or j?
j
Let m(b) = 5*b**3 - b**2 + b + 2. Let s be m(-1). Which is bigger: 2 or s?
2
Let p = -27 + 26. Is -3/7 >= p?
True
Suppose 84 = 2*b + 84. Let w = -19/2 + 10. Does b = w?
False
Let w be 2 - 1/((-1)/2). Suppose 2*t - w*x + 4 = t, x - 1 = -t. Which is smaller: t or -2?
-2
Suppose 2*u = 4*d - 32, -6*d - 3*u + 6 = -3*d. Let b(f) = f - 6. Let o be b(d). Let c = -124 + 622/5. Is o at least c?
False
Let r(f) = f + 2*f - 2*f + 12*f**3 - 1 - 3*f. Let t be r(-1). Is -10 less than t?
False
Let u(n) be the second derivative of -n**4/12 + 2*n**3/3 + n**2/2 + n. Let h be u(4). Suppose -4*b = -2*r - 14, 0 = -3*b - 0*r - r + 3. Is b != h?
True
Let b = -0.21 + 0.11. Which is smaller: 12 or b?
b
Let v be (-1)/(27/24 - 1). Let f = v + 14. Is 6 >= f?
True
Let v(f) = f + 4. Let x be v(-4). Suppose -4*c + 4*u + x*u + 44 = 0, 5*u + 25 = 0. Suppose 3*i - 5 = -2*h, -i - c = -5*i - 2*h. Is 1 at most i?
True
Let d be -6*1*(-3)/6. Suppose 0 = 4*m - 7 + d. Let v = 1 + m. Is 2 at least as big as v?
True
Let h(i) = 15*i**2 + i**3 + 14*i - i**3 + i**3 - 4 + 0*i. Let d be h(-14). Which is smaller: -0.1 or d?
d
Let k be (-50)/3 + 6/9. Let n = -10 - k. Suppose 7 = -2*t - 5*x - n, -9 = 3*t + 4*x. Is t smaller than 2/9?
False
Let x = 10/13 + -76/65. Let u = -11 + 8. Let r = -3.2 - u. Is r at most x?
False
Let w be 27/12 - 3/12. Do 4 and w have the same value?
False
Let s = 58/15 - 11/3. Which is greater: s or -2/11?
s
Suppose 10 = -5*n - 5. Let w = 3.84 - 1.84. Which is smaller: w or n?
n
Let k = 13365/52 + -2541/52. Let v = 208 - k. Which is smaller: v or -1?
-1
Let u be (0/(-3))/(4/(-2)). Let i = 2 - 6. Let x be 18/40 - (-1)/i. Is u bigger than x?
False
Let s = 4 + -2. Suppose -k = y - 4, 0 = -s*k - 2*y - y + 8. Which is smaller: 3 or k?
3
Let s = -3 - -5. Le