/(-9))/((-5)/(30/l)). Which is smaller: -33 or g?
-33
Let x be (63/28)/(4 - 1) + 37017/84. Which is bigger: -6 or x?
x
Let m = -10629 - -11446. Which is smaller: m or 4092/5?
m
Let d(l) = l**2 - 427 - 21*l + 3*l**2 + 432 - 6*l**2 + 0*l**2. Let a be d(-11). Which is smaller: -120/17 or a?
-120/17
Let n be ((-4)/(-7))/(12/42). Let v = 534 + -723. Is v >= n?
False
Let p = 334 + -206. Let g = -13883 + 14012. Is g less than p?
False
Let y be 303/7474*-9*(7 + (-1)/(-1)). Which is greater: y or -3?
y
Let w be ((-10)/(-4) - (-27)/54)/(6/(-2)). Which is greater: w or -114/143?
-114/143
Let c be (-13)/(585/38916) - (-4)/(-20). Is 0 greater than c?
True
Let t = 3338 - 3381.08. Let a = -0.049 + 43.049. Let b = t + a. Which is smaller: -1 or b?
-1
Let d = -237/5 - -47. Suppose 4*j + 0 = -n + 14, 3*j - 69 = -4*n. Let m be n/(-24) - 81/(-12). Which is smaller: m or d?
d
Let m = -0.1 - 0. Let a = -355 + 803. Let q = 437 - a. Does q = m?
False
Suppose -m + 20*q - 24*q - 165 = 0, -846 = 5*m - q. Which is greater: m or -166?
-166
Let x(l) = l**3 - 109*l**2 + 213*l + 394. Let s be x(107). Which is bigger: 2008/7 or s?
s
Let p = 94/3 + -33. Let t = 22405 - 22406. Is p at least t?
False
Let m(y) = -8*y + 50. Let j be m(6). Let x be j/(-7) - (-130)/14. Let u be 6/x + (-1 - 1/6). Which is greater: 2/3 or u?
2/3
Let k = 89.7 + -514.7. Let f = -409 - k. Which is smaller: f or -2/7?
-2/7
Let u = -32592/5 + 3161724/485. Is u equal to 1?
False
Suppose 0 = 22*y + 3*y - 22*y - 951. Which is smaller: y or 321?
y
Let p = 42.19 - 0.19. Let d = 74 - p. Let h = d + -31.7. Which is smaller: h or -0.08?
-0.08
Let g = 31.5 + -31.092. Let t = 14.408 - g. Which is bigger: t or -4?
t
Suppose 725 = -2*y - 53. Let z be y/(-2)*(-7 - -6)*-16. Let h = z - 258293/83. Are h and 0 nonequal?
True
Suppose -4*u + 40 = -4*j, -3*u = -6*j + 3 - 30. Which is smaller: 209/21 or u?
209/21
Let d be (-18)/(-15) + (6 - 8). Suppose 61*j = 26 - 148. Which is greater: d or j?
d
Let p be (-5413248)/13552170 - (2/20)/(2/(-8)). Which is greater: -0.06 or p?
p
Let z be (4 + 1)/((-13)/(234/13869)). Which is greater: 0 or z?
0
Let f be (12/1)/3 - 9. Let y(j) = 22*j - 33. Let v be y(f). Let b be (-251)/v - 28/(-182). Which is greater: b or 1?
b
Let x be ((-426)/69)/(3 + 15/5)*-12. Is x greater than 12?
True
Let p(x) = 16*x**2 + 11*x**2 + 12324*x**3 + 2*x**2 - 12323*x**3 + 32*x + 147. Let i be p(-28). Is 36 < i?
False
Let j = -5556 - -5555. Let x = 1 + -1. Suppose -6 - 1 = -2*t + 3*p, 2*p + 6 = x. Is t at least as big as j?
True
Suppose 3*k - 4 = -g, 0 = -2*k - 2*g + 1 + 3. Let u be (-10)/(-3) - 4/12. Let d be (2/(-12)*2)/u. Which is smaller: k or d?
d
Let y(b) = b**2 - 71*b - 1501. Let q be y(88). Suppose -5*n = 12 + 133. Are n and q non-equal?
True
Let m = -5435 - -4987. Which is bigger: m or -445?
-445
Suppose -4*a - 5*g + 25349 = 0, -2*a + 12592 = -38*g + 24*g. Which is bigger: 6332 or a?
6332
Let y = 2416 + -2416. Which is smaller: y or -3/2008?
-3/2008
Let r = 306.4 - 304.4. Let d = -3/329 + 6257/658. Is r not equal to d?
True
Let t = 45 - 45. Let o = -5 + 3. Let m = t - o. Is m greater than 1/3?
True
Let p(w) = 765*w - 6. Let l be p(1). Let g = 23527/31 - l. Is g equal to -2?
False
Let l = 905 + -1141.6. Let x = l - -237. Let h = -4.28 - -0.28. Which is smaller: x or h?
h
Let j(w) = 2*w - 46. Let t be j(-9). Let o = t - -63. Which is smaller: 10/41 or o?
o
Let w = -30/1457 + 92524/4352059. Which is smaller: -1 or w?
-1
Let a(v) = -v**3 - 16*v**2 + 16*v + 10. Let x be a(-17). Let z be 4/(-10) - (x/(-5) + -1). Suppose -3*b - 45 = 5*t, z*t + 43 = 2*t - b. Does t = -11?
False
Let l(n) = -n**2 - 75*n + 186. Let q be l(-81). Which is smaller: -286 or q?
q
Let q = 4234/11151 + 2/1593. Suppose 2*l + 5*i - 22 + 1 = 0, -3*i + 12 = l. Suppose -4*f - 4 = 0, -3*p + l*f + 0 = -3. Is q bigger than p?
True
Let u = 3/3779 + 1590917/52906. Let x = 30 - u. Let v = -7.4 + 6.4. Which is smaller: x or v?
v
Suppose 306*s + 423574 + 918364 = -299446. Is -5365 less than s?
True
Let s = -7426.81 - -7426.51. Let v = -20/7 + 526/189. Is v less than s?
False
Let x = -15291/10242182 + 4/11827. Is 0.3 >= x?
True
Suppose 52*g + 6 = 50*g. Let h be 36/((g - (-2 + 0)) + 0). Which is smaller: -30 or h?
h
Suppose 2*w - o - 3530 = 0, 7*o = 5*w + 12*o - 8795. Which is greater: 1762 or w?
w
Suppose -10*i + 37*i + 27 = 0. Let g(o) = o**3 + 4*o**2 - 6*o - 2. Let a be g(-5). Let u be (2/(-4))/(a/(-2)). Which is bigger: i or u?
u
Let b be (-20)/(-3)*15/(-2). Let u be 1 + b/6 + 8/(-12). Let o be ((18/u)/(42/(-28)))/(-3). Are o and -2 unequal?
True
Let s = -4 - -78. Let r = s - 70. Suppose -r*n = -2*p - 222, -n + 4*n = -p + 179. Which is smaller: 59 or n?
n
Suppose -454*d - 15556540 = -84674. Are d and -34079 non-equal?
False
Let x be ((-14)/(-63)*6)/((-6)/558). Which is greater: -116 or x?
-116
Let z = -8013541/275 + 723786/25. Let a = z - -1968/11. Which is greater: a or -9?
-9
Let i = 38 - 25. Suppose i = a - g - 8, 0 = -4*g + 4. Suppose -5*k = 2*y - 14, -4*y - a = -3*k + 2. Is y < -8?
False
Let w = 52 - 56. Let x be (-59)/3*(w + 1754/440). Let n = x - 3/44. Is -1/2 bigger than n?
False
Let m = 5/1101 - 3368/14313. Which is bigger: m or 35?
35
Let h(n) = -70*n + 1201. Let x be h(17). Suppose -9 = -2*d - 4*z + 5, -3*d = -4*z - 11. Suppose -d*u = -59 - 1. Is x smaller than u?
True
Let z(y) = 60*y + 375. Let i be z(-7). Let n(r) = -43*r**3 - 4*r**2 + 2*r. Let q be n(1). Is i > q?
False
Let k be (-19 - 173660/(-9139))*100/(-4). Which is smaller: k or 0?
k
Suppose -20 = z + 4*z + 5*m, 4*m + 17 = -5*z. Is 2/4299 greater than or equal to z?
True
Let r = -3790 - 599. Which is greater: -4391 or r?
r
Let n = 531.2 - 462. Let i = 28.2 - n. Which is greater: i or 2?
2
Let m = 9.82 + -8.5. Let y = m + -0.15. Let t = y - 1.37. Which is greater: 0.9 or t?
0.9
Suppose 3*t = -2*m + 76 + 67, 2*t = 2*m - 148. Let k = m + -218/3. Let f = k - 1/2. Does f = 1?
False
Suppose 24*s - 81 = -3*s. Suppose -s - 7 = -10*m. Is 7 < m?
False
Let k be (218/18 - 12)*1/(22/166). Is k greater than 2?
False
Suppose 12*q - 184 = 9*q + 5*q. Is q bigger than -90?
False
Let x = 320 - 156. Let v = x + -178. Do v and -1/3 have the same value?
False
Suppose 0 = -194*r + 191*r + 5*q + 7, -5*r = -2*q + 1. Does r = -11/85?
False
Let p be (-60)/40 + 9/2 + -1. Let u be (-3 - -3) + -5 + p. Let y be 297/(-18)*2/u. Which is greater: 10 or y?
y
Let d(y) = -733*y + 4632. Let f be d(9). Which is smaller: f or -1969?
-1969
Let p(l) = l**3 - l**2 - l - 1. Let z be p(-1). Let x be 7/z*40/(-35). Suppose -x*k = -k - 9. Which is bigger: 9/5 or k?
k
Let t = -2427.8 - -2375.8. Are 60 and t non-equal?
True
Let y be (12/(-2219))/((-24)/(-14) + -2). Let z = y + -431/6023. Let r = -2 - -1. Which is smaller: r or z?
r
Let j = -68 + -50. Let f = j + 99.7. Which is bigger: f or 1?
1
Let d(r) = -18*r - 102. Let v be d(-7). Suppose 0 = -2*h - 118 + v. Is h greater than or equal to -45?
False
Let k = 17960 + -55064/3. Is k equal to -395?
False
Let i = 2323 - 174247/75. Is 1 >= i?
True
Let i be (1548/(-30))/(12/100). Which is smaller: i or -3?
i
Let m = -0.53 - 24.47. Let o = -27.36 + -0.64. Let z = o - m. Is z > 14?
False
Let f = -3 + 5. Suppose -184*b + 339*b - 310 = 0. Suppose 0*u - 269 = -5*u + f*l, 2*u = -b*l + 116. Which is smaller: u or 1?
1
Let i(p) = -3*p**2 - 11*p + 19. Let x be i(-5). Is x < -1/3683?
True
Let o(u) = -u**3 + 4*u**2 - 2*u - 1. Let f(d) = d**2 + 11*d + 27. Let y be f(-8). Let j be o(y). Suppose j*q + 4 = -2. Which is bigger: q or -26/9?
-26/9
Let h = -880 + 882. Which is smaller: -2/2257 or h?
-2/2257
Let f be 2/(-1 - 1) + 122. Suppose 28*r - 1791 - 1597 = 0. Is f smaller than r?
False
Suppose -179*q - 45 = -176*q. Is 11 at most q?
False
Let g = 24152 - 24152. Is -2/2263 bigger than g?
False
Suppose 9*q = -121*q - 8580. Which is smaller: q or -70?
-70
Suppose -8*t = 12*t - 600. Let r = t - -125. Is r at least 155?
True
Let d(l) be the second derivative of -l**5/15 - 7*l**4/6 + 4*l**2 - 38*l. Let w(r) be the first derivative of d(r). Let h be w(-8). Which is greater: h or -33?
h
Let u = 4503.6552 + -4504. Which is smaller: 2 or u?
u
Let j = 178 - 131. Suppose -j - 46 = 3*q. Which is smaller: q or -28?
q
Let a = 354 + -352. Suppose 3*h - 73 = 5*s, -a*h = s + h + 29. Which is smaller: -16 or s?
s
