 + 3*g = -46, -15 = -w - g. Suppose -1 = 6*t - w. Suppose 14*z = 16*z + t. Which is bigger: z or 2/81?
2/81
Let s = -954 + 966. Let j(x) = -x**2 - 2*x + 2. Let u be j(-4). Let h be (-56)/u*(-6)/(-4). Does h = s?
False
Suppose 7 = -d + 3. Let u = -7 + d. Let v = 21 + u. Which is smaller: v or 9?
9
Let w be 2/(-4)*10810/(-115). Which is greater: 428/9 or w?
428/9
Let j(q) = 5*q - 80. Let b be j(21). Suppose -26*y = -30*y + 120. Suppose -y*o - 25 = -b*o. Is o bigger than -6?
True
Let m(j) = -4129*j**3 + 4*j - 5. Let u be m(1). Is u at most as big as -4130?
True
Let r be ((-4954)/6 - -2) + ((-216)/36)/2. Which is smaller: r or -827?
-827
Let g(n) = -16*n - 15. Let w(p) = 4*p - 25. Let c be w(6). Let k be g(c). Is 2/117 less than or equal to k?
True
Let m = 14742 + -11136. Is 3603 greater than m?
False
Let x(k) = -k**2 - 19*k - 18. Let r be x(-13). Let h be (-32)/((-168)/432 + 2/(-18)). Let c = r - h. Is 0 at most c?
False
Suppose -12 = -o + 4*m, o = 3*o - 2*m - 6. Which is smaller: -6/943 or o?
-6/943
Let h = 22 + -22.46. Let v = -125.4 + 124.92. Let i = h - v. Is i less than -2?
False
Let y(a) = -31*a**3 + 22*a**2 + 71*a + 5. Let w be y(-4). Which is smaller: 2055 or w?
2055
Let a = -7417 + 7421. Let t be (6/9)/(1/12). Suppose 104 = a*f - t*f. Is f at most -26?
True
Suppose 1051*k - 41724 = 1087*k. Which is smaller: -1157 or k?
k
Let n = -1.5 + 0.6. Let w = 9.81 - 9.11. Let m = w + n. Which is bigger: 1.2 or m?
1.2
Let c = 256/155 + -305951/185225. Is 1 < c?
False
Suppose -4*j + o = -3, o - 18 + 15 = -2*j. Which is smaller: j or 3/475?
3/475
Let a(b) = -6*b. Let u be a(1). Let i = -113 - u. Let j = i - -49. Do -58 and j have different values?
False
Let o(y) = 1255*y - 1086. Let w be o(1). Do w and -28 have the same value?
False
Suppose d - 3*y - 1288 = 682, 0 = d - 4*y - 1972. Suppose -4*t + 6*b - b = d, -5*b - 952 = 2*t. Let s be (-2 - 1/(-4))*t/27. Which is smaller: s or 0?
0
Let t be (14/(-182))/(1 - 3/2). Let q = t + 1/78. Which is smaller: -1 or q?
-1
Let x = 10648 + -10651. Which is bigger: 0.1152 or x?
0.1152
Let t(g) = g**3 + 20*g**2 - 2*g - 4. Let x be t(-20). Let z be (8 - x/5)*(-25)/18. Which is smaller: 4 or z?
z
Let x = 104502989541 - 1697128548973297/16240. Let m = x - 3/3248. Which is bigger: 71 or m?
m
Let p = -15 - -29. Let j be ((-9)/12)/(1/(-4)). Suppose -4 = -j*z + p. Is z bigger than 6?
False
Let x = 2228/25 - 70009/700. Which is greater: x or -1?
-1
Let d = 16838 - 16836. Is 0.1971 at most d?
True
Let n = -5.5 - -7.3. Let m = n + -0.7. Let b = -0.9 + m. Which is smaller: -19 or b?
-19
Suppose -22 = 8*n - 30. Is 1/611 at least n?
False
Suppose 0 = 48*c - 49*c + 3. Let y be (-5)/((-4)/(-24)*c). Let b be (-325)/35 + (-4)/(-14). Which is smaller: y or b?
y
Let b = 51/4 + -21/4. Let k = 132 - 125. Is b >= k?
True
Let z = -3655 + 3669. Let j = -4.95 + 5. Which is smaller: j or z?
j
Suppose 5*i + d + 6 = 15, -5*d = 5. Suppose -21*x + 17*x - m = 15, -5*x - 9 = -i*m. Is x at most as big as -17/9?
True
Let b(i) = 472*i + 4403. Let k be b(-12). Is -1264 > k?
False
Suppose -5*o = -3*q - 35, -2*q - 2*q = 4*o + 36. Let g be 12 - (-5)/(q/8). Suppose -9*u = -u - g. Do 2/107 and u have different values?
True
Let g = -1.375 + 1368.375. Is 0.1 > g?
False
Let x = 86 - 174. Let l = x + 86. Which is greater: 7/3 or l?
7/3
Let o be (3/2)/(-2*45/120). Let y be (-233)/13 + (-1)/13. Which is smaller: o or y?
y
Let f be (-44)/(-88) + (-245)/(-2). Let u = 121 - f. Which is greater: 3 or u?
3
Suppose 0 = -3*v - v + 4. Let o be (-214)/(-5372) - ((-2030)/170 + 12). Is v less than o?
False
Let w = 119 - -361. Let d be (2/20)/((-5)/w). Is d equal to -9?
False
Let b(s) = -152*s - 7. Let x be b(-2). Suppose -107 - x = 4*t. Let m = t + 96. Does -5 = m?
True
Let p be 1/(-5) + ((-714)/(-70) - 10). Suppose -3*z + 4 = z. Suppose p = -3*v - z - 2. Which is greater: 1/27 or v?
1/27
Let m(n) = n**3 + 2*n**2 + 6*n. Let d(a) = a**2 - a + 1. Let c(r) = 3*d(r) + m(r). Let i be c(-3). Let s be 1 + (-19)/(-2) - 0. Do s and i have the same value?
False
Let g = -1 - -1. Let k be -2 + -325 + (126/(-7))/6. Let i = k + 4952/15. Which is smaller: i or g?
g
Let v be 1/18 + 7267/8514. Suppose -c = 2*c - 3. Is c greater than or equal to v?
True
Let s(n) = -n**2 + 7*n + 17. Let g be s(9). Let j = -2142941/178 + 12039. Is j at least as big as g?
True
Let x be (-8)/(-1) + (17 - 19). Let h be ((-15)/x + 2)/((-12)/(-24)). Is h at least as big as 5/22?
False
Let l(h) = -201*h**2 + 51*h + 388. Let m be l(-6). Which is smaller: -7155 or m?
-7155
Let t be 63/(-55) + (-21)/(-35). Suppose 6*z - 4*z + 5*a = 1, 2*z = -a + 5. Suppose z*b + g = 3, -7*b - g = -8*b - 3. Is t <= b?
True
Let o(x) = -43*x - 32. Let t be o(-5). Suppose 0 = 7*m - 244 - t. Suppose 0 = 2*n - 5*s - 117, 6*n - 5*s - 178 = 3*n. Are m and n non-equal?
False
Let x be (3/68)/(3060/(-408) - (-26)/2). Which is bigger: x or -1?
x
Suppose -7*n + 27 = -64. Suppose n*w = 11*w - 4. Let h be (w/(-28))/(2/(-16)). Which is smaller: 0 or h?
h
Suppose 7634 = 3*c - h + 442, 3*c - 5*h = 7220. Is 2395 at most c?
True
Let s = 20.911 - -15.078. Let u = s + 0.011. Let y = u - 33. Which is smaller: -3/2 or y?
-3/2
Let z(j) = -9*j - 6. Let w be z(-17). Let p = 103 - w. Let l = 52 + p. Is l smaller than 10?
True
Let q = 10980 + -11572. Which is smaller: -594 or q?
-594
Suppose 0 = 7*o + 199 + 46. Let f be (-63)/o - (-1)/5. Suppose 0 = -0*y + f*y - 2. Is 2/49 at least y?
False
Let s = -38137 + 37888.334. Let v = 0.334 - s. Which is smaller: 2/5 or v?
2/5
Let m be (16/6)/(-221*32/18096). Which is smaller: -2/9 or m?
m
Let h = -39665542/51911 + 28272/37. Let z(a) = -a**3 - a**2 + a. Let l be z(0). Which is smaller: l or h?
l
Suppose -4*x = q + 63 - 59, -2*x + 2*q + 8 = 0. Let r be (-531)/(-1932) - (-2)/(-7). Which is smaller: r or x?
r
Let w = -2882 - -2902. Which is bigger: w or 47?
47
Let q = 23.5748 + -0.2748. Which is smaller: q or -2/9?
-2/9
Let g = 6118/31 - 16102669/81592. Which is bigger: 1 or g?
1
Let c be (-1)/2*(7 - 19) - 6. Let s(y) = -y**2 - 2*y - 331. Let h be s(c). Does h = -332?
False
Let p = -14 + 13. Let s = 1/2 + p. Let m = 716 - 711. Is s at least as big as m?
False
Let b be (-5885)/242 + ((-195)/(-10))/(-13). Is -25 less than or equal to b?
False
Suppose 73*m = 68*m - 2*h - 985, -25 = -5*h. Is -197 < m?
False
Suppose 2*a = -26 + 74. Let o = 36.1 - 32.72. Let y = o - 3.48. Is a > y?
True
Let h = -0.22 + 0.07. Let y = -40 - -39.991. Let z = -0.009 - y. Which is greater: h or z?
z
Let u(w) = 5*w**2 + 6*w - 5. Let z be u(6). Let q(x) = -22*x + 1598. Let j be q(63). Is z less than j?
True
Let v = -11 - -14. Suppose -v*a = -2 - 10. Suppose 0 = -5*m - 4*y - 30, -a*m + 8 = -3*y + 1. Which is bigger: -3/5 or m?
-3/5
Suppose -4*r - 2*g + 8 = -0, 0 = -4*r - 5*g + 20. Let j be (288/54 - 5/1)/(2010/(-9)). Is r less than or equal to j?
False
Let i be (17/(-612)*-9)/1. Which is smaller: i or 476?
i
Let g = -21130 - -27670. Which is bigger: g or 6538?
g
Let g(f) = -f**3 + 38*f**2 + 264*f. Let w be g(-6). Which is bigger: w or -478?
w
Let q = -2 + 28. Let i = 49 - q. Suppose -5*s + 32 + i = 0. Is 12 at most s?
False
Suppose 111*b = -168*b - 80631. Which is greater: b or -1443/5?
-1443/5
Let n be (-22)/154 - 5196/(-14). Suppose -3*f = 4*f + n. Is -366/7 > f?
True
Suppose 754 - 760 = -6*m. Which is greater: 2/423 or m?
m
Let f(i) = i**3 - 21*i**2 + 22*i - 35. Let v be f(20). Let b be 0 + 4 + 0 + v. Let k = b + -5. Which is greater: -3/5 or k?
k
Let g = -2/114841 - 14010540/3560071. Is -3 less than g?
False
Let j(l) = l**3 + 11*l**2 + 90*l + 465. Let v be j(-7). Which is greater: 42 or v?
42
Let r = 5934 + -6084. Are r and -146 nonequal?
True
Let f be (-367)/6 - ((-258)/36 + 7). Let o = 325/6 + f. Let j(u) = -2*u**2 - 5*u - 4. Let l be j(-3). Which is smaller: o or l?
l
Let j = 663.1 - 1083. Let l = j + 420. Is 312 > l?
True
Suppose 4*p = o + 72, 4*o + 75 = -2*p - 159. Let v be ((o/50)/(-1))/((-4)/(-1490)). Is v at least 448?
False
Let h be (2/(864 + -2))/((-3)/(-420)*-2). Is h at least as big as 1?
False
Let g be (3/60)/(4617/(-684)). Which is bigger: -2/17 or g?
g
Let v = 104 - 86. Let p = v + -11. Suppose 6 = j + p. Do 1/17 and j have the same value?
False
Let f = -3653 - -3706. Is f bigger than 38?
True
Let j = -6965827/133 + 52375. Let u = 