er: x or d?
d
Let x be (7 + 1 - (13 + -11)) + 3. Suppose 11*b - 4*r = 16*b - 520, 4*b - 416 = 4*r. Suppose -x*h = -11*h + b. Is 52 less than h?
False
Let n(s) = s**3 + 59*s**2 - 543*s + 18. Let b be n(8). Which is smaller: -720/19 or b?
b
Suppose -3*n + 3*t = -246, 4*t = -n + t + 74. Let m = -80 + n. Let v = 0.1 + -20.1. Is v equal to m?
False
Suppose -79*q = -q + 8*q + 86. Is q < -10/907?
True
Suppose 816 + 1341 = 2*t - 3*z, 4*z = 5*t - 5403. Let b = -48737/45 + t. Let s(g) = 2*g**3 - 2*g**2 - 4*g - 1. Let f be s(2). Is f greater than b?
False
Suppose 3*y - 240 + 228 = 0. Suppose -y*f + 24 = 4*f. Let l be 40/25*2/8. Is f equal to l?
False
Let d = 67 + -127. Let l = -372020 - -744039/2. Which is greater: l or d?
l
Let u be 84/(-36)*(-563799)/161. Which is bigger: u or 8169?
u
Let h be ((-2)/10)/((-208)/10). Let p(s) = -3615*s + 39765. Let z be p(11). Which is bigger: h or z?
h
Let q(y) = 6*y + 75. Let n be q(-12). Let t = 0 - 0. Suppose -3*l + t*l - n = 0. Is l greater than -1/12?
False
Suppose -3*p - 165 = -0*p. Let u be 3/18*68*(-138)/(-2). Let r be 0 + -6 + u/136. Which is smaller: r or p?
p
Let a be -4*(-15)/40 + (-1)/(-2). Suppose -3*d + 0*d + 19 = -a*c, 26 = 2*d - 4*c. Suppose 2*g + 4*m + 16 = 0, -3*g - m - 6 = d. Is g <= 0?
True
Let g be ((-441)/(-98))/((-6)/4 - 6/(-3)). Is g less than or equal to 39?
True
Suppose 5*u - 374 = -2*y, -5*y + 607 = -2*y - 4*u. Let a = y + -192. Which is greater: a or 25/4?
25/4
Suppose -4*n + 18 = -14. Let u = 8 - -1. Let i = u + -4. Do n and i have the same value?
False
Let j(a) = -5*a**3 - 7*a**2 - 3*a - 4. Let r be j(-5). Suppose 2*g + 5*c = -120, 5*g - 119 = -2*c - r. Let u be (-20)/g - (-48)/(-119). Is 0 <= u?
False
Let j = 3420.973 + -3421. Let g = 21.1 - 20.973. Let p = j + g. Do 3 and p have the same value?
False
Let x = -69/1786 - -1/282. Which is smaller: -3 or x?
-3
Let d be 8220/(-18) + -2*3. Let b = d - -6766/15. Which is greater: b or -11?
-11
Let a = 583.8 + -658.736. Let y = -4010 - -3935. Let h = y - a. Which is greater: 0.1 or h?
0.1
Suppose 0 = -5*b - 4*q - 10, -4*q = -q + 15. Let u(v) = -2*v - 1. Let x be u(b). Let n be (x + (-81)/(-15))*-5. Which is smaller: -18/19 or n?
n
Suppose 5*t + 138 = 4*u - 234, 5*u - 3*t = 478. Suppose 0 = -10*a - u + 328. Suppose -2*v + 60 = v. Is v at least a?
False
Let t(q) = -q**3 - 10*q**2 + 12*q - 1. Let z be t(-11). Let u(g) = 15*g**2 + 181*g + 12. Let f be u(z). Is -1/155 at most f?
True
Suppose 0 = 2*k - y - 5 - 6, -4*k = -4*y - 24. Let w(s) = -s**2 + 4*s - 7. Let q be w(k). Let f(z) = z**2 + 2*z - 130. Let r be f(10). Is q > r?
False
Let g = 7918 + -7794. Is g < 142?
True
Suppose 0 = 5*a + 3*i - 5, i = -a - 0*a - 1. Suppose 2*d - 2 = 2*c + 6*d, d = a*c - 5. Let y = 4178/2259 - 18/251. Which is smaller: c or y?
c
Let j be (-594940)/(-305624) + 1/(1/(-8)) - -6. Which is greater: -1 or j?
j
Suppose -6 = -2*s + 2. Suppose 5*i = -15, s*q + 4*i = 2*q + 224. Which is greater: 117 or q?
q
Let t = -1168.08 - -1168. Is t < -1.1?
False
Let t = 0.25 - 12.25. Let l be (-17 + (-583)/(-33))/((-16)/(-6)). Which is greater: t or l?
l
Let h = 68 + -112. Let c = h + 53. Let i be ((-10)/(-165))/((-3)/c). Is i > -1?
True
Let k(m) = 3*m + 18. Let g be k(-4). Let p be -2*(-5 - (-51)/g). Which is smaller: p or -4?
p
Suppose -2*c + u = -1, -1 = c + 2*u - u. Let x = -450 + 261. Let m be 13/(-12) + x/(-252). Which is greater: c or m?
c
Let h = 70 + -69.935. Let l = 0.035 + h. Which is smaller: l or 1?
l
Let j = 0.08231 - 0.18231. Is 1569.3 equal to j?
False
Let i = 422129 + -1677499/4. Is 2755 > i?
True
Suppose 357*w - 419*w + 1426 = 0. Which is smaller: w or 21/16?
21/16
Let r be 7 - 772/(-16) - (-5)/(-20). Let s(u) = 17*u - 15. Let l be s(4). Is l at least as big as r?
False
Suppose -38*f = 26*f + 1709 - 1453. Let k = 9.4 + -47.4. Is k < f?
True
Suppose -5141 = 24*y - 21437. Let o = -679 + y. Which is bigger: o or -20/19?
o
Let s = 12 - 13. Let u be 0 + (1 + -1)*1/s. Let c = -934/7 + 134. Is u < c?
True
Suppose 14400*i - 108 = 14508*i. Let p be (-117)/(-124) + (-1)/1. Which is smaller: p or i?
i
Let u = 28963 + -297421045/10269. Are u and -1 unequal?
True
Let t = -87 + 89. Let q be (-8 - -2) + (-6 + 5)*-79. Which is greater: t or q?
q
Let a(v) = -v**3 + 5*v**2 - 6*v + 1. Let h be a(4). Let g be (-1)/11*7/h. Let b = -129.2 + 129. Do b and g have the same value?
False
Suppose -690 = -14*h + 19*h. Let l = 137 + h. Let p = -2/17 + 44/85. Is l bigger than p?
False
Let u = 8 - -79. Suppose 0 = -10*y + 13*y - u. Let k = y + 20. Which is greater: k or 50?
50
Let l(a) = -2*a - 40. Let g be l(-5). Let v be (-270)/g + 952/(-106). Let t(u) = u**2 - u + 1. Let z be t(0). Which is smaller: z or v?
v
Let c be (0/1)/((-9)/(-9 - (-63)/14)). Is c at least -2/11687?
True
Suppose 0 = 3*y - 5*f - 61, y - 8 - 18 = -4*f. Let t be 2/((-760)/(-125) - 6). Which is smaller: y or t?
y
Let f be (-3)/2*(-50)/3. Suppose 5*p = 132 - 12. Is p >= f?
False
Let s = 3417 - 5382. Is -1963 less than or equal to s?
False
Let b = -5672/3 + 1891. Is b at least -107?
True
Let l = -25327 + 25326.15. Do -0.15 and l have different values?
True
Let g = 179.45 + -179.85. Let t = -10 - -10.11. Which is smaller: g or t?
g
Let q be (48204/21)/((-14)/(-49)). Which is bigger: q or 8033?
q
Let d = -1147 + 1148. Let z be 0 - 5/((-3135)/(-6)). Is d at most z?
False
Let w(p) = 96*p - 577. Let q be w(6). Which is smaller: q or 1/1842?
q
Suppose -3*p + t + 206 = -211, -5*p + 709 = 3*t. Suppose -32 + 460 = 3*d + s, 0 = -d - s + p. Suppose 3*a - 68 = 2*y, 5*y + d = a - 0*a. Is y greater than -28?
False
Let x be (-24)/(-36)*162/3. Let s be (-4)/(-8) - (x/8)/(-9). Which is bigger: s or 6/7?
s
Let c be 6/(-24)*(-1)/((-310)/16). Let n = c + -288/1705. Which is smaller: 14 or n?
n
Let u = 3 + 12. Let b = -0.375 + 387.375. Let m = b + -387. Is m equal to u?
False
Let v = 1.2 + -153.2. Let c = -406 - v. Which is smaller: c or -1?
c
Suppose -205*s - 126 = -191*s. Which is smaller: s or 1.3?
s
Let i = -7627 + 7628. Is 447 >= i?
True
Let q(g) = -5*g**3 - 26*g**2 - 46*g. Let r be q(-3). Is r <= 133?
True
Let a be (3/(-150))/((-19)/(-228)*(-9)/1581). Is 42 greater than a?
False
Let w be 10/(8/224*7). Let x(o) = o - 41. Let g be x(w). Is -1/196 not equal to g?
True
Let v = 28 - 25. Suppose v*s = -5*s + 128. Let c be ((-32)/3)/(s/(-24)). Is 2/7 greater than or equal to c?
False
Let l = 315 + -446. Let r = l - -132. Is -8/51 at most as big as r?
True
Let l be -6*(-11)/((-132)/2010). Is l smaller than -1003?
True
Let w = -65 - -63. Let b be (-2)/(-12) + w*(-1)/(-12). Suppose b = -2*l + 5*o - 14, -l + 0*o - 6 = -2*o. Is -18/19 smaller than l?
False
Let n be (12/(-33))/2 - 807/6699. Let s = n + 6/203. Is s less than or equal to 0?
True
Suppose 2*v + 5 = -5*r - 3, -2*v + 8 = -3*r. Suppose 0 = 9*c - 6*c - 207. Let p be (r/(-3))/(1012/c). Do p and 1 have different values?
True
Let s(n) = -2*n**3 + 57*n**2 + 10*n - 20. Let w(m) = -m**3 + 29*m**2 + 6*m - 9. Let p(f) = -3*s(f) + 5*w(f). Let z be p(26). Which is smaller: z or 13?
13
Let a(v) = -6*v + 51. Let p be a(6). Suppose -5*z + w + 22 = 0, -p*z - 22 = -17*z - 4*w. Which is smaller: z or 10?
z
Let f = -487 + 262. Let o be (-1850)/f + (-2)/9. Which is greater: -2 or o?
o
Suppose 5*m + 200 = -5*f, f = -f - 5*m - 68. Let l be f/(-18) - 64/24. Which is smaller: l or -0.33?
-0.33
Suppose -4*r = 2*h - 76, 0*r + 102 = 3*h + 3*r. Let a be (-880)/150 - 4/h. Let t be (9/a)/((-10)/4). Is t bigger than 0?
True
Let u = -10583 - -52917/5. Is -37/6 less than u?
True
Let o = 1143.67 + -1146.4. Is -22 greater than o?
False
Suppose -c = -v - 67 + 15, -4*v - c = 223. Let q be (-3 - 18/(-5)) + 11583/v. Which is smaller: q or -212?
-212
Let x = -6078 + 6079. Do -1/7332 and x have the same value?
False
Suppose -5*g - 2*m - 226 = 0, -5*m = -5*g - 0*g - 240. Let t = g - -47. Let s be 2*t/(-9) - (-41)/144. Is 0 at least s?
False
Let c(z) = 1691*z. Let f be c(0). Which is greater: f or -3/847?
f
Let h be -1*(-3 + (-105)/(-45)). Which is smaller: 3541 or h?
h
Suppose 2318*j = -3*y + 2313*j + 5052, -5*y = 3*j - 8436. Is 1689 less than y?
False
Let m = -299.7 + 11.7. Let f = 297 + m. Is 0 smaller than f?
True
Let x = 181.68 + -185.68. Let s = 10 + -21. Which is bigger: x or s?
x
Let y(x) = 140*x**3 - 6*x - 6. Let b be y(-1). Let