*g - 2*u + 534. Is -108 greater than g?
False
Suppose 0 = 5*u - 3*u + 44. Suppose 356 = 6*g - 664. Let q = g + -192. Is u at least q?
True
Let x = -409.025 + 409. Which is smaller: x or -1?
-1
Let r = 87.2 + -17.2. Let p = -77 + r. Is -4 less than p?
False
Let o(x) = x + 3. Let d be o(3). Suppose -f + 6*n + d = 2*n, 2*n = -2*f + 12. Let k be 8/(-12) + f + -5. Which is smaller: -0.1 or k?
-0.1
Suppose 13 = n - 2. Let u = -2 + 19. Which is smaller: n or u?
n
Suppose -54*q - 16 = -38*q. Is q <= 4/281?
True
Let n be 5586/(-49) - -1*5. Is n at least -109?
True
Let w(r) = 2*r**2 - 23*r + 15. Let y be w(15). Let s = y + -118. Let p = 5 - 2. Is p less than s?
False
Let x(y) = -y**3 - 9*y**2 + 10*y - 1. Let f be x(-10). Which is smaller: f or 1/289?
f
Let w = 772 - 890. Are w and -119 equal?
False
Suppose 3*x - 3*y = -x + 39, 10 = -2*y. Let w be (-343)/8840 - x/(-30). Let u = w + -1/136. Which is greater: 0 or u?
u
Suppose -3*a - i + 11 = 0, -5*a - 2*i = -5*i - 37. Let h be (-2)/a - (-4)/10. Which is bigger: 2/41 or h?
2/41
Let n = -1 - -1. Which is greater: -8/9 or n?
n
Let c(t) = -t**2 + 20*t - 6. Let y be c(12). Let m be (y/(-25))/((-6)/(-8)). Which is smaller: -5 or m?
-5
Let l = -13 + 171/13. Let z = 91.039 + -91. Let u = z - -0.161. Is u >= l?
True
Let l be 96/(-9) + 3 + (41 - 34). Is -1/281 at least as big as l?
True
Let n = -60 - -60.25. Let g = -120 - -121. Is n != g?
True
Suppose 4*h - 114 = -3*p, -5*p - 4*h + 5*h + 167 = 0. Suppose -26 - p = 2*m. Does m = -29?
False
Let a be 69/(-21) + 26/(-7) + 4. Let m be (a*(-2)/(-135))/2. Let g = -1 + 2. Is g < m?
False
Let c(q) = 2*q - 2. Let u be c(2). Suppose u*b + 143 = 353. Let s be (-57)/b + 6/15. Is 0 greater than or equal to s?
True
Let s = 8 - 6. Suppose -13*q + 45 = -8*q. Let u = q + -11. Is s bigger than u?
True
Let g(j) = j + 8. Let x(k) = -5*k - 39. Let l(n) = 11*g(n) + 2*x(n). Let u = -452 + 443. Let f be l(u). Is -1/13 not equal to f?
True
Let f(o) = o**2 + 3*o - 7. Let z be f(4). Let a be (-31)/(-2) + z/(-14). Is 13 >= a?
False
Let n = -30/13 - 40/39. Suppose -3*j = -g + 3 + 1, -8 = 3*j - 5*g. Let w be j/((-7)/3) - 96/28. Is n bigger than w?
False
Let f be (-10)/30 - (-7)/3. Let c be (-100)/(-8) - 6/4. Is c equal to f?
False
Suppose 5*g = -5*l - 4 + 54, 4*g = 3*l - 30. Suppose -7*w = -l*w. Which is greater: w or -3/7?
w
Let s be ((-11)/2*2)/(-1). Let z = 15 + -15. Suppose j - 9 = -z*u + u, 3 = u. Is s != j?
True
Let c = -53.5 - -5.5. Let z = c + 48. Which is bigger: 2/183 or z?
2/183
Let h be 35/5 + (-124)/20. Which is smaller: h or 23?
h
Let n = -1438 + 1422. Is -17 less than or equal to n?
True
Let q(t) = -2*t + 5. Let p be q(4). Let y = 0.46 - 0.26. Which is smaller: p or y?
p
Let s = -44.3 + 44.33. Is -77 greater than or equal to s?
False
Let m = 9326414/111 + -84021. Let n = -3/37 + m. Is -2.4 equal to n?
False
Let l be -8 + 10/(40/28). Which is bigger: 10 or l?
10
Let w(f) = -2*f + 11. Let z be w(8). Let b = -15 + z. Is b bigger than -18?
False
Suppose 18*r - 13*r + 1405 = 0. Which is smaller: r or -280?
r
Let r = 20 + -417. Is r at least -398?
True
Suppose -r = 2*u + 2*r + 6, 5*u + 6 = -3*r. Let o(i) = -i**3 - 4*i**2 - 4*i - 12. Let d be o(-4). Suppose -d*f - 8 = -u*f. Which is greater: -5 or f?
f
Suppose 0 = 6*t - 4 + 22. Does t = -6?
False
Let k(t) = -7*t**2 - t**2 + 2*t - 9*t**2 + 16 + 16*t**2. Let w be k(-3). Which is bigger: -33 or w?
w
Let s be 14/84 + 44/(-240). Is s less than 0?
True
Let d be (-26)/21 + (-4)/(-6). Let u be 7/(-35) + (-24)/30. Which is smaller: u or d?
u
Let s = 0.2 + -0.3. Let k = 113.1 - 110. Let r = 0.1 - k. Which is bigger: s or r?
s
Suppose 0 = 4*v - 2*x + 378, -3*v + x - 279 = -2*x. Let m be 1 + (1 - v/(-46)). Let o = -6061 - -6062. Is o < m?
False
Let b = -132 + 166. Is b greater than -2/3?
True
Suppose -x + q = -0*x + 9, 19 = -2*x + q. Let d = -12 - x. Which is smaller: -5 or d?
-5
Let r be ((-2)/(-76))/((-33)/44). Is r at most 2/5?
True
Let o be 4 + 4 + -2 + -30. Let u be 20/o*(-3)/(-10). Is 0.02 > u?
True
Let z be ((-4536)/105)/((-6)/20). Is 143 smaller than z?
True
Let g be -2*(4 - 12/4). Which is bigger: -15/14 or g?
-15/14
Let l = 722/45 - 274/15. Which is smaller: l or 1/13?
l
Suppose 0 = 3*p + 4*p. Suppose -u = -p + 2. Is u at least as big as -3?
True
Let b(w) = w - 26. Suppose -5*o - 4*d = 66, -2*o - 4*d = -4*o - 4. Let t be b(o). Are -37 and t non-equal?
True
Suppose 3*s = 14 + 46. Let f = 0.083 + -1.083. Which is smaller: f or s?
f
Let v = -67 - -67. Let u be 1 + -3 + v + 10. Which is bigger: 15 or u?
15
Let j(o) = -o**3 - 23*o**2 + 25*o + 35. Let b be j(-24). Suppose 3*y + 3*q = 4*y - b, 0 = -2*q - 6. Let g = -0.1 + 0.3. Is y at least g?
True
Let w be (12/(-10))/(1/(-15)). Suppose -2*n + 5*t - 14 = 0, -4*n + n + 21 = 3*t. Suppose -9*f + n*f - w = 0. Which is smaller: -2 or f?
f
Let x be (-4)/(-10) - (-126)/35. Suppose 20 = 6*c - 2*c. Suppose 0 = c*i - 8*i - 3. Is i at least as big as x?
False
Let n = 191 + -190.9. Which is smaller: 1.9 or n?
n
Suppose 2*i - 2*y - 36 = 0, -i + 4*y + 14 - 2 = 0. Let n be (1/2)/(25/i). Which is bigger: n or 1?
1
Let m(x) = 5*x**2 - 35*x - 6. Let h be m(7). Is -14/3 greater than h?
True
Suppose 134*z - 139*z = 55. Which is smaller: -19 or z?
-19
Suppose -4*w - 348 = 5*r - 68, r = 2*w - 70. Let s be (-5)/r*(-16)/18. Let n = -1 - -2. Which is smaller: n or s?
s
Let u = -133/207121 + 539392387/399329288. Let k = 6/241 + u. Which is smaller: k or 1?
1
Let f = -59.1 + 10.1. Let w = 53.1 + f. Let i = 3.1 - w. Which is bigger: -24 or i?
i
Let a = 0 - 3/2. Let x = 585 + -288. Let r be 4/22 + (-252)/x. Which is smaller: r or a?
a
Let r = -0.52 - -0.42. Let u(p) be the third derivative of -p**4/24 + 2*p**3 - 3*p**2. Let g be u(6). Which is greater: g or r?
g
Let v be 6 - 0/(6/2). Let z(f) = -9 - 4*f**2 - f**3 + v*f**2 - 10*f - 11*f**2. Let g be z(-8). Which is bigger: 0 or g?
g
Let j = -6.18 - -0.18. Let i = 4 - j. Let g = i - 10.1. Which is smaller: 6 or g?
g
Let l = -0.373 + -25.627. Which is bigger: -1.3 or l?
-1.3
Let z be 14/56 + 0/1. Let m = -1/2 + z. Let g be 8/12 - (-5)/(-12). Which is greater: m or g?
g
Let d(u) = -u**3 + 2*u - 1. Let i be d(1). Let k be 4 + -6 + (3 - i). Let t(y) = 3*y**2 - 2*y + 1. Let a be t(k). Are a and 2 nonequal?
False
Suppose -5*k + 3 = -4*k. Suppose 2*l - 6 = 3*q + 5*l, k*q + 4*l = -7. Let c be (2 - (-32)/(-14))*-1. Which is smaller: c or q?
q
Let j = 252 + -258.7. Does -1 = j?
False
Suppose 0 = 13*o + 3*o + 16. Is o smaller than 133?
True
Suppose 4*f - 5*b - 13 = 14, b - 41 = -5*f. Suppose 3*z = -f + 29. Do 7 and z have the same value?
True
Let c be (-7 + (-66)/(-11))/(-1). Is -8/79 smaller than c?
True
Let a = -275 + 1931/7. Suppose -159*r + 157*r + 4 = 0. Is a at most r?
True
Let h = 322 - 323. Do h and 1/392 have the same value?
False
Let w be 17 - 1971/117 - (-302)/(-2301). Which is greater: 1 or w?
1
Suppose -3*u - 29 = 25. Let n = u + 35. Suppose -5*g + n = 2, -h - 4 = -g. Which is bigger: h or 0?
0
Let l = -3 + 6. Suppose 7*q = l*q + 20. Suppose q*r + 0*j - 3*j = 60, j - 24 = -2*r. Is r at most as big as 1/3?
False
Let w be (-2)/(3*6/(-27)). Suppose -2*l - 4*b = -w*b - 67, -b = -l + 32. Are 32 and l equal?
False
Suppose -6*a + 2*a = -8. Suppose 0 = x - m - a, 3*x + x - m = 11. Suppose 379*l = 374*l. Is x greater than l?
True
Let j = -35.1 + 35. Is 54/11 less than j?
False
Let o be -2 - -2 - (-15)/3. Suppose -q = 4*h + 29, -o*q + 13 = -3*h - 3. Which is bigger: h or -3?
-3
Let w(h) = h**3 + 8*h**2 - 8*h. Let o be w(-9). Let g be 30/o*3/6. Let i = g + 7/6. Which is smaller: -0.05 or i?
i
Let s(g) = -5*g**3 - 76*g**2 - 9*g + 17. Let f be s(-15). Which is greater: -79 or f?
f
Let c be (-147)/(-308) + 6/(-8). Let h = 1/14 + 3/14. Is c at least as big as h?
False
Let n be (-27)/15 + 2/1. Let b(j) = -7 + 0*j**2 - 65*j + 78*j + 2*j**2. Let i be b(-7). Which is bigger: n or i?
n
Let m = 4 - 2. Suppose y + m = 1. Let s be (-2 + 4 - 1) + (-45)/35. Is s equal to y?
False
Let b = -42 + 41.15. Let t = -0.25 + b. Let m = 0 - -0.1. Which is bigger: t or m?
m
Let i be 2/(-15) - (-13)/(-65). Is -104 at most i?
True
Let z be 2/8 + 39/4. Let h = z - -35. Is 47 at least h?
True
Suppose -45 = -3*i - 0*t - t, 5*i - 95 = 5*t. Is 84/5 < i?
False
Let t be 5*(-2)/(-105) - (106/(-210) - -1). Let f = 