ose 0 = -4*z + x + 42, -2*z + 46 = 2*z + x. Suppose z - 10 = y. Which is smaller: y or -2/47?
-2/47
Suppose 0 = -6*x + 3*x + 36. Let u be (-1 - -31)/(x/(-8)). Let v be (3/(-270))/(8/u). Does -2/7 = v?
False
Let s be (0 + 1)/((-3)/(-72)). Suppose 3*f - s = 6. Suppose -i + 4*o + 9 = -5, 0 = 3*o + 3. Is i bigger than f?
False
Suppose 422 + 358 = -10*x. Is -80 smaller than x?
True
Let b be 2/4 - (-47)/2. Let f = b + -42. Let g be (12/f)/(2/3). Are g and -4/3 non-equal?
True
Let n be (1 - 0)/(8/(-32)). Let v = -4.4 - 1. Let m = v - -2.4. Which is smaller: n or m?
n
Let h = -10945/41 - -267. Let r be 6/(-6)*1/1. Is h greater than or equal to r?
True
Suppose 0 = -3*c + y + 40, -2*c = -c - 4*y + 5. Which is greater: 14 or c?
c
Let m = 31.1 + -31.3. Is 209 < m?
False
Let p = -9937/3818 + 60/23. Which is bigger: p or 1?
1
Suppose -34*p + 8*p + 9932 = 0. Is 382 >= p?
True
Let x(m) = -m**3 - 5*m**2 - 3*m. Let p be x(-3). Let z be (1 + 1)/(7 + p). Is -4 at least z?
False
Let t(n) = -n**2 - 12*n - 7. Let b be t(-10). Suppose -35 - b = 2*i. Is -24 at least as big as i?
True
Let z be 2/((7 - 1) + -8). Which is bigger: -10/7 or z?
z
Let i(u) = -56*u - 284. Let j be i(-5). Which is smaller: 11/6 or j?
j
Let l be (1 + ((-166)/(-82) - 3))/1. Which is bigger: 0 or l?
l
Let k = 11915/554 - 43/2. Which is bigger: 1 or k?
1
Let r = 68 - -18. Suppose 3*p + r = 4*t, 5*p = -2*t - 4 + 60. Is 23 greater than or equal to t?
True
Suppose -2*u - 56 = 3*g, 13*u = -3*g + 15*u - 52. Is g < -22?
False
Let u = 527/7 - 75. Suppose w + 3 = f, -2*f + 3 = -f - 4*w. Let m be 3/15*2/f. Is m at least u?
False
Let t(d) be the first derivative of -d**4/4 - 2*d**3 - 4*d**2 - 2*d + 37. Let g be t(-4). Which is smaller: -13 or g?
-13
Let i = 33 + -360/11. Is i smaller than -1/17?
False
Suppose -410*m - 24 = -402*m. Is -35 at least as big as m?
False
Suppose -37*s - 686 = 387. Is 0.1 greater than s?
True
Let x(z) = -26*z + 248. Let i be x(10). Are -57/5 and i nonequal?
True
Let p = -23 - -16. Let c = 6/425 + -12349/1700. Let j = c - p. Which is bigger: j or -1?
j
Let m = 12947 + -1463020/113. Let o = 2323/791 + m. Is o < 2?
False
Let y = -5 - -6. Let b = y - 2. Let u = -311 + 310. Is u at least b?
True
Let n be (-119)/(-21) + -6 - 886/(-3). Is 294 at most n?
True
Suppose 2 = -2*n - 14. Let d = n + 10. Let q be (14/(-6) + d)*-1. Is q greater than or equal to -2/3?
True
Let d be (0 - (-3 + 3)/1)/(-2). Suppose 11*u - 9*u - 94 = d. Which is smaller: u or 46?
46
Suppose 4*k - 5*q - 28 = 0, -2*q = -k + 1 + 9. Suppose 2*z + 2*m + 16 = 0, 0 = 4*z + 3*m + 2*m + 36. Let t = z + k. Is -3 smaller than t?
True
Let m(u) = -u**2 + u. Let x(w) = w**3 - 10*w**2 + 3*w + 7. Let g(o) = 5*m(o) - x(o). Let p be g(5). Suppose -6*t + p*t = 0. Is 1/16 not equal to t?
True
Let m = 894 - 895. Is 9 at least m?
True
Let h be 30/(-5) + (-1 - 280/(-46)). Which is greater: -2 or h?
h
Suppose -3*o = 63 - 99. Which is bigger: 14 or o?
14
Let s be (-369)/(-15) + (-4)/(-10). Let h be 1/(161/92) + (328/14 - 0). Are h and s equal?
False
Let s = 2.2 - -0.8. Let r = 0.36 + -0.06. Let a = -0.4 + r. Which is smaller: s or a?
a
Let k(f) = 5*f**2 - 36*f + 7. Let p be k(7). Let g(c) = -c. Let n be g(-5). Suppose -q + 3*z + n = p, z + 2*z + 6 = 0. Is q greater than 1/4?
False
Let a(x) = x**3 + 4*x**2 + 5*x + 4. Let i be a(-3). Suppose -k = 4*j + 37, -3*j + 0 = -k + 26. Let u = i - j. Is u < 7?
False
Suppose -8*i - 321 = -11*i. Let j = -183 + i. Which is smaller: -0.1 or j?
j
Suppose 34 = a - 2*a + 2*w, -3*a + w = 112. Let i be (-12)/(-21) - a/154. Let k = i - 38/33. Is -1 at most k?
True
Let p = -2.42 + 1.42. Which is bigger: 0 or p?
0
Let h be ((-6)/14)/(93/26691). Is h greater than 0?
False
Let p = 0 - 69. Which is smaller: -67 or p?
p
Let v(m) = -5*m + 20. Let g be v(6). Let f be (g - -9)/(-2*(-6)/14). Which is smaller: 0 or f?
f
Let k be 45/(-5)*13/(-3). Which is greater: k or 38?
k
Let z(i) = -i**2 + 7*i + 6. Let j be z(8). Let r = j - -3. Let y be (9 - r)/(3 - 5). Is y at least 3?
False
Let v = 2 + -1. Let i = 1.1 - v. Let l = 4.334 + -2.334. Is l less than or equal to i?
False
Let c be ((-2)/(-84))/(1/(-2)). Let r = 61/42 - c. Which is smaller: 1 or r?
1
Let h(u) = u**3 - 3*u**2 - 2*u + 2. Let s be h(0). Is s smaller than 4?
True
Let f be 5124/(-17591) + (-8)/(-28). Is -1/2 at most f?
True
Let s = 100 - 6499/65. Which is smaller: s or 0?
0
Suppose 0 = -4*r + 4*y + 4596, 4*r + 2*y - 4539 - 51 = 0. Is r greater than 1148?
False
Let h = 23.057 - 0.057. Is 1 equal to h?
False
Let l be 3*(2/6 - 0)*-3. Which is greater: l or -31/10?
l
Let z = -184 - -194. Is 9 equal to z?
False
Suppose -64*s + 63*s = 0. Suppose s = -5*r + 5, 4*u - 4*r + 90 + 50 = 0. Is -33 less than u?
False
Let v = -16 - -2. Let s = 17 - 12. Suppose -s*a = -4*r - 27, 2*r + 0*a = -3*a - 41. Which is greater: r or v?
r
Let l be (-1)/1 - (7 - (-1 - 8)). Which is smaller: l or -16?
l
Suppose -p = -4*p - 63. Let g = -22 - p. Suppose -4*d + 0*d = 0. Is d at least g?
True
Let k be 5/3 + 7/21. Suppose -k*o - 25 = -o. Let c be ((-90)/o)/((-4)/(-10)). Is c > 8?
True
Let w(y) = -y**3 + 7*y**2 - 6*y - 6. Let d be w(6). Let p be ((-368)/(-180) + -2)*d. Is -1 smaller than p?
True
Let r be 0/1 + 0 + 2. Suppose -r*c = -5*p + 21 - 58, 0 = -p - 5. Suppose 2*q + c = 10. Is q > -5?
True
Let f = 8 - 17. Let y(s) = -s**2 - 8*s + 9. Let w be y(f). Which is smaller: -3/65 or w?
-3/65
Let m = -0.02506 + 6.02506. Let f = -8 + 8.7. Is m >= f?
True
Let a be 1/(-2) - (138/(-156) - -1). Suppose 5*f = 0, -5*f + 3*f = -4*w + 36. Let r be (-3)/(w/(-12)) + -4. Is r at least as big as a?
True
Let p = 0.12 - 40.12. Let j = 38 + p. Which is smaller: j or 7?
j
Let s = 12/11 + -191/165. Let a = -17 - -25. Let p be 2/(-10) + a/(-10). Is s at least as big as p?
True
Suppose 3*q + 20 = -4*c, 3*q + 4 = -5*c + 9*c. Let y(p) = p + 1. Let i be y(-4). Is c > i?
True
Let w = 11 - 10.91. Let n = w - -0.01. Which is greater: n or 1.1?
1.1
Let z = 75 + -74. Is -0.23 at most as big as z?
True
Suppose -3*u + 3*t = 6, 0 = -4*u + t - 21 + 4. Let r be (-10)/u - (-4)/(-1). Which is greater: -14 or r?
r
Let g(m) = -m**2 - 18*m + 2. Let o be g(-18). Suppose -2*t + 3*a - 24 = 0, -o*a - 2 = t - a. Which is greater: -52/9 or t?
-52/9
Suppose -i + 3*n - 12 = 0, -4*i + n - 2 - 2 = 0. Let l be i + -3 + 6 - 0. Suppose l - 5 = a. Does 3 = a?
False
Let l be 22/(-4 + 6330/1611). Let g = l - -311. Is g less than 1?
True
Suppose -2 = -4*r + 4*d + 2, 0 = 5*r - 4*d - 2. Which is smaller: r or -5?
-5
Let o = -197.2 - -185.33. Let q = o - 0.13. Let l = -12.1 - q. Which is smaller: 15 or l?
l
Let x = -126 - -109. Which is bigger: x or -0.17?
-0.17
Let c be (192/30 - 6)*(-8)/(-4704). Which is smaller: 0 or c?
0
Let l(x) = -93*x - 153. Let a be l(11). Is -1175 >= a?
True
Let g = -41 + -36. Which is smaller: -76 or g?
g
Let w(v) = -v**3 - 18*v**2 - 7*v - 3. Let k be w(-7). Does -491 = k?
False
Let h be 3/8 + (-134071)/(-856). Is 157 >= h?
True
Suppose -2*g + g - 15 = -4*j, 2*j + 60 = -4*g. Let h = -16 - g. Let o = -6 - -4. Which is bigger: h or o?
h
Let r = 181/833 + -2/49. Which is smaller: r or -1?
-1
Let b = -2.02 + -29.98. Do -0.1 and b have the same value?
False
Let y be 1*(14/(-840))/((-4)/10). Let t = -3/10 - -4/5. Is y greater than or equal to t?
False
Let r(l) = 7*l**2 + 2*l - 4. Let g be r(-1). Which is smaller: -1/300 or g?
-1/300
Let h = -153948/5 + 30674. Which is smaller: -115 or h?
h
Let m = -931 + 21437/23. Which is smaller: m or 0?
0
Suppose a + 5*b = -14, -4*a + 3 = -3*b - 10. Which is greater: -2/47 or a?
a
Let u = -10 - -14. Suppose -u*m + 754 = -2*x, 2*x - 752 = 4*x - 2*m. Let b be (-15)/3*(-6)/x. Is 0 < b?
False
Let i = -108 - -116. Is i not equal to 3?
True
Let s(p) = -p**3 - 5*p**2 + 5*p - 5. Let z be s(-6). Suppose -4 = 38*r - 42*r. Is z <= r?
True
Let y(g) = g**2 + 12*g + 13. Let u be y(-11). Let s = 0.35 + 14.65. Does u = s?
False
Let k(u) = -u + 18. Let s be k(18). Let z = 487/4 - 11185/92. Is z != s?
True
Let v = -0.91 + -0.19. Let q = 46.84 + 1.36. Let j = q - 48. Are j and v unequal?
True
Suppose 0 = 4*m - 16, -2*m + 18 + 0 = 5*d. Suppose -5*b = d*b - 56. Which is greater: 9 or b?
9
Let m(f) = f**2 - 5*f - 1. Let n(s) = 3*s. Let u be n(1). Let h be m(u). Let o be h + (-12)/9*-3. Does o = 0?
False
Let s = -9 - -