se -2*n - 179 = -4*j - 5*n, -y = -4*j - 4*n. Which is greater: j or u?
j
Let z be (-402 + -8)*1/2. Is z bigger than -190?
False
Suppose 4*d + 11 = -2*u + 29, u - 3 = 0. Suppose 3*q = d*j - 111, 5*j - q - 195 = 6. Which is greater: 42 or j?
42
Suppose -x + 2*b - 4061 = 0, 37*x - 38*x = -5*b + 4061. Do -4062 and x have the same value?
False
Let k = 937 - 1339. Let i = -424 - k. Which is smaller: i or -19?
i
Let p be ((-2)/(-3))/((-2)/(-1482)). Suppose p + 481 = 25*i. Are i and 40 nonequal?
True
Let l(i) = -6*i + 14 + 20*i + 6833*i**2 - 6834*i**2. Let n be l(15). Let f be (-10)/(-6)*(-1)/(-5). Is f < n?
False
Let b = 0.45229 + -0.36229. Let w = 3.5 + 20.5. Which is bigger: w or b?
w
Let c = 40.612 + 1.388. Let a = -3903.53 - -3862. Let o = a + c. Is o bigger than 1/3?
True
Let q(c) = c**2 - 11*c - 16. Let a be q(9). Let p be (-2)/(-46)*a + 1. Is p <= 1?
True
Let t = -623 + 540. Which is bigger: t or -84?
t
Let b(q) = q**2 + 10*q - 9. Let k be b(-11). Suppose k*w + 1 = 3. Suppose i + 2 - w = 0. Is 2/19 < i?
False
Let y = -5003/7416 - -9/412. Is -1 < y?
True
Suppose 3*c - 12 = 0, 3*b + 4*c = c + 237. Let w = 6770 - 11950. Let d be (8/(-6))/(w/(-399) - 13). Is d >= b?
True
Let y(o) = o**3 - 68*o**2 - 100*o + 581. Let k be y(69). Which is greater: -1560 or k?
k
Let p = 84.063 - 84. Let y = 4432.063 - 4433. Let w = y - p. Is 3 greater than w?
True
Suppose 7*x = 3*x. Suppose 361 = 3*m - 200. Let n be ((-153)/m)/(3/2). Which is smaller: x or n?
n
Let d be (-209890)/606 + (2 - 3). Let v be ((-2605)/(-45))/(4/24). Let j = d + v. Is -1 at least j?
False
Let v = -98623/740 + 9/370. Let t = v + 133. Let r = 0.2 - 0.22. Is r bigger than t?
True
Let m = 1443 + -1430.99. Let f = m + -3.61. Which is smaller: f or 1?
1
Let y(n) = 2*n**2 + 8*n + 25. Let u be y(-4). Let g be 938/1530 - ((-285)/u - -12). Is g at most 0.2?
True
Let h be (-57)/(-19) - ((-14)/175 - 8216/(-2700)). Let b(p) = 3*p. Let v be b(3). Suppose -3*j = 4*s + v, 3*s = -j + 2*j + 3. Is h <= s?
False
Let q = -318438/2755 - -15462/95. Do q and 48 have the same value?
False
Let u = 4521 + -5790. Is u at most as big as -0.1?
True
Let i = -1765 - -8881/5. Let p(c) = c**3 + 10*c**2 + 132. Let v be p(-11). Is i >= v?
True
Suppose 0 = 175*m - 205*m + 16980. Are 562 and m unequal?
True
Let i be (2/(-2) - 0)*(51 + 28) + 4. Is i greater than or equal to -95?
True
Let d = -7757 - -7769. Which is greater: d or -86?
d
Let m be (-5)/(-2)*7/(63/18). Suppose 5*a - 72 - 3 = m*j, 4*j + a = -35. Is j < -2/7?
True
Let n be (-93 + 93 - (146 + -2)) + (-4)/1. Is n < -98?
True
Let c = -153 + 104. Let d = -49.6 - c. Let w = d - -0.7. Is 8 less than w?
False
Let d = 9 + -17. Suppose -17*k + 180 = -11*k. Let n be (297/k)/(24/(-20)). Which is bigger: d or n?
d
Let s = -6871.3 - -6232. Let y = 641 + s. Are -3 and y equal?
False
Let g be 39/182*50/3 + -3. Let a(c) = -c**3 - 8*c**2 - 4*c - 21. Let b be a(-8). Suppose b*h = 25*h - 13*h. Which is bigger: g or h?
g
Let m(r) = r + 14. Suppose 9*n + 4*n = -91. Let s be m(n). Are 13/2 and s unequal?
True
Suppose 4*y - 5*r = 6, 13 = -2*y - 4*r + 3. Suppose 2*u + 3 + 3 = 0. Let k be (2/(-1))/(-7 + u). Which is smaller: k or y?
y
Let k = -664 - -683. Is 4.8 bigger than k?
False
Let l = -2/2231 + 4928/519823. Let p = -14498686 + 6756385109/466. Let n = p + l. Which is smaller: -7 or n?
-7
Suppose -i + 5*i + 73 = -a, -4*a - i = 277. Let p = -70 - a. Let m be 2 + 0 + (-28)/15. Do m and p have different values?
True
Suppose -23*a - 1440 = 25*a. Let p = -7.5 + 7.5. Which is smaller: p or a?
a
Let w(p) = p**3 + 14*p**2 - 15*p + 5. Let r be w(-15). Let n(q) = 3*q - 18. Let d be n(13). Suppose 25 = 2*m + i - 17, -r*i + d = m. Does 21 = m?
True
Suppose -2*u + 5*h + 110 = 99, -5 = -2*u + 3*h. Is u greater than 11?
False
Suppose 6*d = -8*d - 98. Let c be (-4)/26 - (d + 204/26). Is 1/561 smaller than c?
False
Let y = 274 - 254. Let z be 1 + 3 - -10*y/(-50). Let x be 4/30*1/(-11). Which is smaller: z or x?
x
Let i be (-8)/96*-6*-4. Let s be (-9 - -8)/(106/(-52) - i). Is s less than 26?
False
Let l be (-21 + (-2079)/(-105))*(-110)/(-172). Which is smaller: 0 or l?
l
Let t = 10719/32 + -335. Suppose 27 = -3*d, 82*k - 81*k - 2*d - 19 = 0. Are t and k nonequal?
True
Let n(s) = -19*s - 102. Let l be n(9). Let j = l + 297. Is 24 at most j?
True
Let a(d) be the first derivative of d**2 - 19*d + 1. Let u be 6/10 - (-294)/35. Let k be a(u). Which is smaller: -17 or k?
-17
Let z = -2/2407 + 923/12035. Is z > -0.4?
True
Let s be (-4)/7*-254 - 22/154. Suppose 3*r - 4*n + 185 = -3*n, 5*n - s = 2*r. Let b = 61 + r. Which is smaller: b or -2/7?
-2/7
Let o(a) = -14*a + 1302. Let z be o(93). Do 1/8627 and z have the same value?
False
Let k = 187.4 - 147. Let a = k + -40. Is 2.4 at least a?
True
Let s = -4125 - -4029. Which is bigger: s or 7/22?
7/22
Let z = -248 - -248. Suppose -3*x - d = -5*x - 1, z = -d + 1. Are 9/23 and x equal?
False
Let k be -10 - ((-348889)/32915 + (-45)/(-75)). Which is bigger: -3 or k?
k
Suppose -4*j = 3*y - 14, 3*j + 2*y = 1 + 9. Suppose -j = 8*t + 30. Is t greater than -4?
False
Let c = 505865/9 - 21551360/387. Let r = c + -519. Suppose 4*w - 21 = -17. Is w > r?
True
Let h be 6/(-9)*6/20. Let i = -244 - -2686/11. Is h greater than or equal to i?
False
Let c be -8 - ((-98035)/196 + 5/(-4)). Is 492 != c?
True
Let c = 0.098 + 0.147. Let w = -0.055 - c. Let t = 1.4 + w. Which is bigger: -1/4 or t?
t
Suppose 2*l + 17 = 3*l + 3*b, 4*b - 28 = -4*l. Let f be l + ((-16)/(-2) - -2). Suppose -5*i = -k + f, 5*i - 7*k + 4*k = -6. Which is smaller: 0 or i?
i
Let x(s) = 5*s + 88. Let i be x(-18). Let g be (i/(-3))/((-751)/150 + 5). Which is smaller: g or -99?
g
Let z be -1*(2 + (2 - 6)). Suppose 6*g = -g + 133. Suppose -6*u - 1 = -g. Is z < u?
True
Suppose 103 = 8*f - 9. Let d be (2 - (-72)/(-42)) + (-10994)/f. Is -785 at most as big as d?
True
Let d be ((-22)/(-4))/(15/(-2085)). Is d bigger than -765?
True
Let h be 2 + (-65)/39 - 7*(-5)/3. Which is smaller: h or 145?
h
Suppose -8*y + 19*y - 286 = 0. Let h be 24/(-56) - y/(-126). Which is greater: -0.06 or h?
-0.06
Let w = -296035213/738101 - 5/56777. Which is smaller: -400 or w?
w
Let n = -20620/6517 - 34/343. Which is greater: n or -2?
-2
Let i = -0.07249 - 0.92751. Which is bigger: i or -9435?
i
Let s(h) = 538*h + 1068. Let v be s(-4). Which is smaller: v or -1087?
-1087
Suppose 165*j - 431*j + 294462 = 0. Which is bigger: 1114 or j?
1114
Let i(x) = x**3 - 19*x**2 - 8*x + 8. Let v be i(19). Let j = v - -106. Which is smaller: 1 or j?
j
Let b = 187.99807 + 0.00193. Which is smaller: b or 2?
2
Suppose 3*f - o + 63 = 0, -f = -2*f - 2*o - 28. Let m = f + -4. Let r = 29 + m. Which is greater: 8 or r?
8
Suppose 84 = 4*l - 5*z, 67 + 38 = 5*l - z. Suppose l + 13 = h. Let b be (1 + 4/(-12))*6/h. Which is bigger: b or 1?
1
Let j(w) = 11*w - 16. Let i be j(6). Suppose i = -6*x + 4*x + 5*g, -x - 36 = 3*g. Let o be (-25)/(-6) + 5/x. Are 2 and o nonequal?
True
Let d = 540.18 + -551. Let f = d + 11. Let i be 0 - (6 + 0) - (-15097)/2435. Which is smaller: i or f?
f
Suppose 97*w = 95*w - v + 37, 0 = 4*w + 5*v - 65. Do 191/9 and w have the same value?
False
Let m = 10832 - 10833. Which is smaller: -5/2011 or m?
m
Let h be (6 - 0)*1*4*(-10)/240. Which is bigger: 14/955 or h?
14/955
Let c(f) = 3*f**2 + 9*f + 9. Let b(d) = 4*d**2 + 9*d + 9. Let t(o) = 2*b(o) - 3*c(o). Let z be t(-2). Let j be -7*((0 - -1) + z + -7). Which is smaller: j or 8?
j
Let y be ((-2)/(-1))/(8/(-52)). Let l(a) = -a**2 - 676*a + 19695. Let p be l(28). Is p greater than or equal to y?
False
Let p(t) = 20 + t**2 + 5*t**2 - 18 - 2*t. Let f be p(1). Suppose -3*g - f = -3. Is g less than or equal to -7?
False
Let d = 48548922 + -195251483/4. Let i = 398029935/1508 + d. Let s = -25/29 - i. Is 1 at most s?
True
Let o = 10895/468401 + -9/467. Do o and -1 have different values?
True
Suppose 6*m = -36 - 114. Let p be (24/(-28))/(3 - m/(-7)). Which is smaller: 41 or p?
p
Suppose -41*o - 1122 = -47*o. Suppose -182*q + o*q - 170 = 0. Which is smaller: q or 35?
q
Let a = 701831/84 + -87533/12. Which is smaller: a or 1061?
a
Let g(r) = -39*r - 78. Let k be g(-2). Let x = -99/952 - -6/119. Is k greater than or equal to x?
True
Let l = -6566 - -5926. Is -637 greater than or equal to l?
True
Let u = -9888 + 9887. 