ter: r or y?
r
Let d(q) = -q**3 + 8*q**2 - 3*q - 9. Let x be d(7). Let j = 360 + -358. Suppose 5*a - 5*f - 80 = -j*f, -3*a = -2*f - 48. Which is smaller: x or a?
a
Let j = -200 + 197. Let i be ((-14)/504)/(j/(-80)). Which is bigger: -1 or i?
i
Let i(l) = -l**3 - 62*l**2 - 36*l - 1502. Let b be i(-62). Which is greater: 733 or b?
733
Let l be (2/(-8))/(678/(-440) - 19/(-95)). Is -1 greater than l?
False
Let a be (55300/(-6909))/4 + 4/2. Let j = a - 51305/18753. Do j and -2 have the same value?
False
Let m = 1/26 - -23/78. Suppose -4*y = 47 + 65. Let n be 7/(y/8)*(-4)/652. Which is smaller: m or n?
n
Let l(f) = -200*f**2 - 25*f - 55. Let t be l(-2). Which is smaller: -806 or t?
-806
Let n be 882/784 + 3/(-24). Which is smaller: n or -1/1102?
-1/1102
Let c = -325/9 + 5137/144. Is c <= 0?
True
Suppose 0 = d - 4*d + 3. Let j = 12/1571 - 2305/507433. Is j < d?
True
Let d = 4392 - 4249. Is d at least as big as 120?
True
Suppose 29*y + 2145 = 14*y. Let n be (-42)/(-231) + (-634)/y. Is 6 less than n?
False
Let x = -881 + 886.43. Let m = -3.43 + x. Which is greater: m or -19?
m
Let u(g) = -g**3 + 6*g**2 - 4*g + 10. Let l be u(6). Let y(v) = v**2 + 6*v + 4. Let p be y(l). Suppose 5*f + 94 = -p. Are f and -42 nonequal?
False
Let d(u) = 11*u**2 - 24*u + 75. Let s(w) = -9*w**2 + 24*w - 76. Let f(y) = 4*d(y) + 5*s(y). Let j be f(20). Which is smaller: 1/185 or j?
j
Let k = -28179199525 - -19753612100271/701. Let m = k - -9653. Which is greater: -1 or m?
m
Let g = -59360 - -298354/5. Is g at most 311?
True
Suppose 8 = -2*j - 0. Let z(n) = -552 + 13*n + 1656 - 547 - 555 - n**2 - n**3. Let y be z(j). Is y smaller than -6/5?
True
Let u(g) = -4*g**2 - 233*g - 869. Let q be u(-4). Let v be (12/(-150))/((-16)/15). Which is bigger: v or q?
v
Let p = -1863 - -1864. Which is smaller: p or 2/2955?
2/2955
Let i(o) = -8*o**3 - 5*o**2 + 6*o - 5. Let f be i(1). Is f equal to -42?
False
Let b(h) = 3*h**2 - 74*h + 332. Let w be b(22). Which is bigger: w or 158?
158
Let r be 1/(-6)*-9 + 1 + 23/10. Let f(u) = u**3 + 5*u**2 - 2*u - 5. Let b be f(-5). Is r bigger than b?
False
Let b = -2.53 - 0. Let y = b + 2.23. Which is bigger: 6 or y?
6
Let t be (-8)/(-6) - 1 - 140/(-30). Suppose 3*a + 5*s - 52 = 0, t*a = -5*s + 46 + 24. Suppose -a*l - 2 = -8*l. Is l greater than -26/11?
True
Let u(q) = -68*q**2 + 89*q + 982. Let i be u(-12). Is i at least -9879?
True
Let l = 20148 + -5218314/259. Let s = -82576/37 - -2232. Let w = s + l. Which is greater: w or -0.36?
w
Let w(o) = 173*o**2 + 4*o + 1. Let v be w(-3). Let n = v + -1071. Let c = -4280/9 + n. Is c <= -1?
False
Let l = 0.0852 + 79.8548. Let z = 66.9 - l. Let o = z + 0.04. Which is smaller: -2 or o?
o
Let z = -39498 + 39757.99. Let m = 260 - z. Let x = -6.8 + 7. Are x and m nonequal?
True
Suppose -525 = -5*n - 4*q + 556, -5*n = 5*q - 1080. Suppose -156*g + 14824 = -88*g. Is n greater than g?
False
Suppose -4*s = r + 10, r - 9 = 2*s - 1. Suppose -5*g = -4*u + 72 - 3242, 3*g - 1895 = u. Let m be ((-1265)/g + r)*4. Is -1 smaller than m?
True
Let g(t) = 3*t**3 + 28*t**2 + 5*t - 3. Let r be g(-9). Suppose -7*x - 3*z + r = -3*x, -x - 3 = -3*z. Let d be ((-14)/3)/(4/(-6)). Which is bigger: x or d?
d
Let h = -4 + -9. Let i be (h/52)/((-1)/12). Suppose -3 = -i*a - 3*z, -a + 5*a = -z - 2. Is a less than 1/7?
True
Let o be (4 + 1)/5 + -6. Let g be o/30*(3 + -31). Which is greater: g or 6?
6
Let u be -4*4/24 + 418/6. Let o be (-3)/(-27) + u/(-135). Is 27 equal to o?
False
Let b = -19 - -19. Suppose b*i + 5*i - 10 = 3*z, i = z + 2. Suppose 3*m + 26 = 4*m + 2*h, z = 3*h. Which is smaller: 27 or m?
m
Suppose 10 = -5*k, 0*l = -2*l + 4*k + 4. Let o = -860 - -827. Let x = o - l. Is x smaller than -32?
False
Let j = -226.2 - -212. Let d = j + 13.2. Which is smaller: d or 14.6?
d
Let t = 0.8 - -18.2. Let l = -0.803 - -0.9. Let x = l + -3.097. Is x >= t?
False
Let l be (-1505)/15*-2*1/22. Let x = l + -26/3. Suppose 25 = -5*i - 5*w, -4*i = w - 0 + 5. Which is smaller: i or x?
i
Suppose 2*s + 5*j - 936 = 0, -16*s = -20*s + 5*j + 1962. Is 481 bigger than s?
False
Let m be 3/(-6)*(-160 + -18). Let x = m - 47. Suppose 2*i = 19 + 67. Is i != x?
True
Let j be (9307/(-4652) + 2)/((-2691)/104 + 33). Is j greater than or equal to 1?
False
Suppose 0 = -8*h - 9 - 39. Let a = -21 + 35. Suppose 0 = -4*g - 2*b - a, -3*g + g + 4*b - 32 = 0. Is h less than g?
False
Let r be (0 - (-4)/(-6))/(-24 - 6372/(-270)). Suppose l = -4*l - 20. Let u = 0 - l. Is u smaller than r?
False
Let l = 11.4 - 12.4. Which is bigger: -18 or l?
l
Suppose 44*r - 27*r - 988 = -70. Does 475/9 = r?
False
Let d be 16 + 15*19472/(-144). Which is smaller: -2011 or d?
d
Let i = -283 - -117. Let k = 166 + i. Is k less than or equal to 120?
True
Let x be 3 - 219/135 - (-102)/255. Which is greater: -38 or x?
x
Let c be ((-399)/6)/(-7)*4. Let p = -41 + c. Let v be ((-52)/8 + 5)*52/p. Is 28 equal to v?
False
Let a = 4081 + -4098. Which is bigger: 106 or a?
106
Let a be 77*-1*138/(-26634). Is 0 < a?
True
Let s = -7067 + 7067.4. Which is greater: 2/2143 or s?
s
Let n be -3 + 2 - (-2)/2. Let f be (24/82)/(-7 - (-4 + -2)). Let j = 50/451 + f. Is j < n?
True
Let z(w) = w**2 - 43*w + 363. Let d be z(15). Let j = -22 - 36. Which is bigger: j or d?
d
Let n be ((-289)/34)/(-17) + (-20403)/40798. Which is bigger: -1 or n?
n
Suppose -201*z = 144*z - 51405. Is z < 37?
False
Suppose 0 = -4*j - 0*j + 36. Let k be 156/(-9) - 6/j. Let u = 383 + -397. Is k smaller than u?
True
Let k = 22.1 - 27.1. Let w = -12 + 13. Which is smaller: k or w?
k
Let u = -618 - -990. Let y = -2581/7 + u. Let d(p) = 5*p + 37. Let k be d(-7). Is k < y?
True
Suppose -4*c + 2*c + 32 = 0. Suppose r - 5*l + 10 = 0, 0*r + 3*l = 5*r - 16. Suppose s = 4*q - 70 + 3, -r*s = 2*q - 17. Is c smaller than q?
False
Suppose -5*d + 40 = 4*m, 6*d - 7 = m + 3*d. Suppose 4*u + m*n - 203 = 0, 4*u + 2*n - 241 = -u. Let f = 13322 - 13275. Is f equal to u?
True
Let h = 11924 - 47329/4. Let p = h - 89. Suppose 60*j - 41*j = 76. Which is bigger: j or p?
j
Suppose 10*v + 80 = 90. Is v >= -6/59?
True
Let n(i) = -119*i + 5473. Let s be n(46). Is -1/688 less than s?
False
Suppose 0 = 4*q - 3*r - 1958, 4*q + r - 48 - 1918 = 0. Is 492 at most q?
False
Let i(n) = 37*n - 2. Let r be i(2). Let m(t) = 9*t**3 + 76*t**2 + 55*t - 179. Let j be m(-7). Are j and r equal?
False
Let q be 8 - 9 - 96/(-93). Let i(n) = -n**2 - n - 1. Let l = 12 - 13. Let p be i(l). Which is smaller: p or q?
p
Let k(w) = w**3 + w + 2. Let p be k(0). Let i be 1954216/2320605 - (-4)/(-70). Let q = i - 1/139. Which is greater: q or p?
p
Let g be ((-18)/(-13)*1)/(2*(-16)/(-4)). Let c(h) = -h**2 - 7*h + 9. Let w be c(-8). Which is smaller: w or g?
g
Let r(g) = 3*g + 4. Suppose 6*t - 17 = 5*y + 2*t, 2*t = -3*y - 19. Let w be r(y). Let d be 18/(-8) - ((-135)/(-765) - 9919/4284). Which is smaller: w or d?
w
Let s = 8 - 14. Let j = 14646.07 + -14646. Does j = s?
False
Let n = -84293.9846 + 84316. Let f = n - 0.0154. Is 11/3 greater than or equal to f?
False
Let k = -454 - -297. Let z(y) = y**3 - 49*y**2 - 1953*y - 80. Let r be z(-26). Which is bigger: k or r?
r
Let s = 106 + -142. Let r be (5 + s/8)/((-1)/(-6)). Suppose 0 = w + 4*f - 120, 4*f = -r*w + f + 333. Which is bigger: w or 107?
w
Let d be (-3152)/14*(3 + -5)*3. Let u = 1353 - d. Suppose -6 = -3*x - 3*b, 2 = 2*x - 5*b - 2. Is x >= u?
False
Let j be (-2)/(-99)*5322/228*-3. Let v = -38/33 - j. Is -1 at most v?
True
Let b be (18/72495)/(112/(-35)). Is -1 != b?
True
Let l = 2.04 - 20.03. Let b = l - -18. Let w be 1/(-4) + (7 - (-905)/(-140)). Which is smaller: w or b?
b
Let h be (-214)/1391 - 4866/(-26). Which is greater: 2058/11 or h?
2058/11
Let r = 7362 - 7375. Is r not equal to -31?
True
Suppose -95 = 8*z - 44*z + 265. Is -348 greater than or equal to z?
False
Suppose -3352 = 4*m - 4*x, 45*m - 43*m - x = -1671. Let y = m + 830. Are y and -3 unequal?
False
Let o = -13124.49 + 12985. Let j = o - -171.5. Let b = j - 32. Which is greater: b or -2?
b
Suppose 1741 = 4*x + 1737. Which is greater: 26/1211 or x?
x
Suppose -4329 = -26*v + 13*v. Suppose 0 = -12*p + 21*p + v. Which is smaller: p or -3?
p
Suppose 3 = 3*l, -2*u + 55 = l + 4*l. Let i = -12 + 32. Let q = u - i. Is q equal to 11/2?
False
Let p be ((-78)/(-8) - 1)*4. Let a = p - 31. Suppose 2*i - 2 = -a