equal?
False
Let p be 2/3 - (-550)/(-798). Let o be -6 - (-420)/65 - 245/(-455). Is o at most as big as p?
False
Let v be (1 - (5 - 3))/1*-15. Let o be (4 + -1)*(2210/v)/(-13). Which is bigger: o or -37?
o
Suppose 4*j - 21*j - 236436 = 0. Let d be (-14079)/j + (-2)/1 + 1. Is d less than or equal to 0?
False
Let i = 10796 - 10163. Which is greater: -1 or i?
i
Let w be 0*4/(10 - 2). Let k be w*-3*1/6. Let a = -6/283 + 2041/2830. Is a less than k?
False
Suppose 1026*l - 999*l - 27 = 0. Which is greater: l or 57/161?
l
Let h(o) = -14*o + 2. Let f be h(14). Let x be 8/(-10)*5/f. Let q be (-49)/147 + 2/(-3). Which is greater: x or q?
x
Let q = -9485 + 9793. Is q != 309?
True
Let o = 1072/799 - 52/47. Which is smaller: o or 19?
o
Let a = 581 + -1198. Let k = -618 - a. Which is greater: k or -11/46?
-11/46
Let f be ((-9)/(-2100))/((-2)/((-183)/57 - -3)). Is 0 at most as big as f?
True
Let f = -3536 + 3538. Which is bigger: f or 24/31?
f
Let c(o) = -o**2 + 5*o - 60. Let y be (-62)/(-10) + 3*3/(-45). Let l be c(y). Are -63 and l equal?
False
Suppose 112 = -j + 3*z - 66, 3*z = -2*j - 329. Suppose -5*t - 62 = 5*d + 118, 3*d - 108 = 3*t. Let l = t - j. Which is smaller: l or 134?
l
Let s be 91/21 + ((-8)/6 - -2). Suppose -25 = -v - 2*v + s*h, 3*h - 19 = -5*v. Let f be (-194)/8 + v/(-1). Is f equal to -28?
False
Let b = 493022/32295 - 229/15. Which is smaller: b or -1?
-1
Suppose -3*z - 5*p = 1157, -6*p + 4*p - 1136 = 3*z. Which is greater: z or -375?
z
Let k = -30.03 - -33.03. Which is greater: k or 277?
277
Let x = -6955 - -6955.1. Which is greater: -462/13 or x?
x
Let b = 423 + -423. Is -1/2583 less than b?
True
Let u = -25.051 + 0.451. Which is bigger: u or -0.3?
-0.3
Let f(t) = -t**3 + t**2 + t. Let j be f(2). Suppose -5*q - 14 = -3*q - 3*d, 12 = 3*d. Let v be (-3 - 5)/8 + q/(-1). Is j less than v?
True
Let h = 18806.8 + -18807. Which is greater: h or -799.6?
h
Let h be (-145)/455 + (-2)/(-7). Let q = 82/273 - h. Let o = -69.33 + 69. Is o > q?
False
Suppose -4*z + n = 10, -5*z = -z + 2*n + 4. Let a be 7/z - (-5)/2. Are 1/440 and a nonequal?
True
Let x be (5 + 1)/(-2)*(-4)/12. Let h be x + 78*1 - 0. Let l = h - 70. Which is smaller: 10 or l?
l
Let y(i) = -19*i + 13. Let q(b) = -b**3 + 17*b**2 + b - 14. Let d(h) = -h**2 + 10*h - 7. Let a be d(6). Let p be q(a). Let m be y(p). Is m smaller than -44?
False
Let r be (-2 + -19)/(-21)*(-5)/(-1). Let j be 4 + (-1 - (-1 - -2)). Suppose 2*d = -0*d + j. Which is smaller: r or d?
d
Let r = -16/21 - 17/42. Let z(a) = -5*a**2 + 63*a - 21*a + a**3 - 23*a - 6*a**2 - 9. Let i be z(9). Is i smaller than r?
False
Suppose 0 = 114*g - 108*g - 840. Suppose -g = 14*m - 126. Are m and -0.026 equal?
False
Suppose 15*l - 14*l - 165 = 0. Let k = l - 166. Let i = 1447/124155 - -1/801. Is k at most as big as i?
True
Suppose -m - 3*q + 8 = 2, -8 = -4*m - 4*q. Suppose 2*x + 8 = 0, 5*k - 3*x + m = 22. Is 4 at least as big as k?
True
Let f(w) = -2*w - 5. Suppose 0 = -2*v - 3*v - 5*m - 45, 0 = -2*v + 2*m - 14. Let b be f(v). Suppose u + l - 46 = -4*l, -2*l - b = -u. Is u less than 21?
False
Let c = 155 - 727. Let q = c + 571. Which is smaller: q or 1/7?
q
Suppose 0 = b - 19 + 7. Let c = 460 - 456. Suppose c*s + 8 - b = 0. Is -3/28 greater than s?
False
Suppose 208*m + 342*m = -550. Which is bigger: 2/113915 or m?
2/113915
Let b(c) = -6*c + 12. Let h be 874/418 - (-1)/(-11). Let y be b(h). Which is greater: -1/91 or y?
y
Let p(k) = k**3 - 9*k**2 - 10*k - 2. Suppose -4*y + 2*o - 122 = 0, 5*y + 2*o = 5*o - 153. Let g = y - -40. Let h be p(g). Which is greater: h or -1?
-1
Suppose 3*c = -8 + 26. Let y be (-8 + -6)/(c/(-57)). Suppose 14*z - y = -21. Which is smaller: z or 2?
2
Let t be -59*((-732)/10)/(-6). Let v = 725 + t. Which is smaller: v or 5?
5
Let v be 2/5 - 91/215. Suppose 0 = -137*y + 133*y - 4. Let r be y/(-7) + 2*3/(-42). Does v = r?
False
Let d = 4473 + -4477. Which is bigger: d or -540?
d
Let o be (-4)/10*(208/78 + (-1844)/(-6)). Which is smaller: -131 or o?
-131
Let m be (-890)/(-8) + (-2)/8. Let i(r) = r**3 - 5*r**2 + 3*r - 16. Let p be (0 - (-2)/4)/(85/850). Let x be i(p). Does x = m?
False
Let h = 4070 - 3947. Which is bigger: 126 or h?
126
Let v(j) = -27*j**3 + 2*j**2 - 54*j + 172. Let i be v(5). Is -3424 at most i?
True
Suppose -211*b - 18095 = -540*b. Let q be (-3)/9 - (1 + -1). Which is smaller: q or b?
q
Let c be 2*(0 - (-5 + 3)). Suppose v + 8 = -c*u, 0 = -0*v - 3*v - u + 9. Suppose v = -2*k + 6*k, k = 3*t - 59. Which is greater: 17 or t?
t
Let t be (-194)/510 + -1 + (-20)/(-12). Let k = -4/85 - t. Is k at least as big as -18?
True
Let l be 14/(-2) + (-3 - -2)/1*-1617. Which is smaller: 11271/7 or l?
l
Suppose -27*a + 120*a + 95418 = 0. Is -1026 at least as big as a?
True
Suppose 155*i + 212228 = -1175952. Is -8956 greater than or equal to i?
True
Suppose 11475 = -5*i + 4*t, 0 = -i - 0*t + 2*t - 2289. Let y be (1/3)/(i/(-38)). Is 0 != y?
True
Suppose 1177 = 6*p + 301. Suppose 8*u = 10*u + p. Let t = u - -72. Do 3/22 and t have the same value?
False
Suppose -5*i - 16 = -9*i. Suppose i*g = -g + 1165. Suppose 0 = 231*q - g*q - 46. Which is smaller: -24 or q?
-24
Let k(y) = -1441*y**3 - 69*y**2 + 67*y + 2. Let z be k(1). Is -1438 at least as big as z?
True
Suppose 4*t = 3*q + 16, 4*q + 270*t - 268*t = 8. Which is smaller: q or 9/404?
q
Suppose -1364 = 7*w - 5*w. Let b = 684 + w. Which is bigger: 11/14 or b?
b
Let j be 37403/21 + 14 + 1776/(-126). Is 7119/4 not equal to j?
True
Let j = -25.9361 + 25.8961. Let z be ((-2)/20)/((-1)/(-3)). Is z less than j?
True
Let b = 11 + 1. Let d = -1/320 + 1099/146880. Let x = 4894/459 + d. Do x and b have different values?
True
Let v be 1653/(-4635) + -1 - (-104)/78. Which is bigger: v or -1?
v
Let w = 1.2973 + -0.0453. Let n = w + -0.852. Let m = -20 - -11. Is n greater than m?
True
Let y = -0.084 + -0.026. Let k = y - -0.11. Let j = -87 + 106. Which is bigger: j or k?
j
Suppose 112 + 103 = 5*d. Let o(t) = -7*t**2 - 690*t + 295. Let b be o(-99). Is b equal to d?
False
Let u be -4 + 8 - ((-64646)/14 - -1). Let c = 4631 - u. Which is greater: 10 or c?
c
Let q = -2875 + -7069. Which is bigger: q or -9945?
q
Let d = -190954 + 1339126/7. Let j = d - 330508/945. Is 0 greater than or equal to j?
True
Let t = 27.058 - 0.058. Let y = -221.9 + 248.7. Let d = t - y. Does 0.09 = d?
False
Let z = -59 - -59. Let q = -0.1808 - 488.8192. Is z at most as big as q?
False
Let f(n) = -n**3 - 80*n**2 + 77*n - 26. Let i be f(-81). Which is smaller: 297 or i?
297
Let l = 2936 - 2940. Suppose 3*f + 5 = -0*f - 5*v, -5*f + v = 55. Which is greater: f or l?
l
Let i = 562 + -568. Let w be (-96)/18 - (-1 - 4/(-6)). Is i < w?
True
Suppose -5*n + 4*m = 506, 153 + 195 = -3*n - 5*m. Is -108 <= n?
True
Suppose -j = -5*p - 16842, 5*p + 13617 = -2*j - 3234. Which is smaller: -3371 or p?
-3371
Let l = 165.9 - 166. Let j = -0.29 - 11.71. Let v = j + 11.58. Is l at most v?
False
Let w be 18/(4/2)*(-19 + 8). Let p be 1610/6 + (-264)/w. Which is bigger: 0 or p?
p
Let x = 680 - 178. Let q = 512 - x. Is 6 at most as big as q?
True
Let m be 16/24*18/200. Suppose 8*q = -3*a + 7*q - 5, 0 = a - 5*q - 9. Which is bigger: m or a?
m
Suppose 0 = 5*a - a - 16. Suppose w - 12 = -a*z, -4*z - 7*w = -3*w - 24. Let x be ((-1 - 1) + (-8)/(-4))/z. Which is bigger: x or -5/12?
x
Suppose -3*w = 4*t + 157, 5*t = 4*w + 7*t + 216. Let z be (-253)/w + (-4)/(-10). Suppose -3*b + 20 = -z*o, b = -3*b + 20. Which is greater: -2/29 or o?
-2/29
Let j = -0.022 + 0.222. Let w = -6.22 - -1.22. Are j and w equal?
False
Let x = -20.06 - -20.63. Let s = 0.65 - 1.32. Let b = s + x. Which is smaller: -1.2 or b?
-1.2
Let u be 0 + (-135)/24 + 12/(-32). Let w be 10/3 + (20/u - -3). Is w < 15/4?
True
Suppose 2*w - 43 = -5*o, 4*w = 9*w - 3*o - 185. Let v = 20 + w. Suppose -v = -4*b + b. Which is smaller: -1 or b?
-1
Let o = 19.414 + 0.086. Let x = o - 20.5. Which is bigger: x or -0.015?
-0.015
Let v = -21276 - -21295. Is v > 371?
False
Suppose -2*j + 10 = 4*a - 0*j, -5*a - 5*j = -15. Let v be 0/3*a/4. Let z be 13/(-100) + (-35)/(-140). Are v and z nonequal?
True
Let l = -4 + 4. Let h = 211.35 - 288.35. Is h greater than l?
False
Let j = -2539501/44 - -57722. Is j <= 6?
False
Suppose -11*d + 10 = -6*d. Suppose 4*m + c - 722 = 3606, d*m - 2164 = 5*c. Let t = m + -