9. Let x = -0.04 - 1.96. Which is smaller: r or x?
x
Let x = 6101 - 6094. Which is greater: x or 189?
189
Let g be 8038 + (2 - 1)/(-1 + 9/18). Is g smaller than 0.1?
False
Let q(f) = 4*f**2 + 19. Let g be q(-8). Let v = -252 + g. Are v and 27 unequal?
True
Let g = -28.92 + 26.8336. Let r = -0.0864 - g. Do -31 and r have the same value?
False
Let c = 87 + -44. Suppose -15*s = -0*s - 660. Which is bigger: c or s?
s
Let c = 27 + -32. Let k = 2.28 + -0.48. Let s = k + -1.4. Is s greater than c?
True
Let q = 110 - 111. Let t be ((-24)/(-9) + -3)/(q/3). Are t and 16/19 nonequal?
True
Let p = -163 + 249. Suppose w + 4*x - 5*x = 43, -2*x = 2*w - p. Suppose 0 = 5*z + o - w, 30 = 7*z - 4*z + 2*o. Is z at most as big as 35/4?
True
Let w(g) = -5*g**2 + g + 40. Let r be w(7). Let q = 199 + r. Which is greater: 235 or q?
235
Let g = 2/791 - 117867/3164. Suppose k + 17 = -5*f, 156 = 13*k - 17*k + 2*f. Is k greater than g?
True
Suppose -10*k - 629 = 631. Let i be (-112)/k + 5 + -11. Which is bigger: i or 0?
0
Let p(t) = -t**3 + 4*t**2 - 5*t + 24. Let a be p(4). Suppose -3*n = -3*x + 360, a*x = 8 - 12. Is -123 > n?
False
Let w = -2399 - -2399. Which is bigger: -44/175 or w?
w
Suppose 4*z - 28 + 20 = 0. Suppose z*q + 30 = -46. Let i = -37 - q. Which is smaller: -4 or i?
-4
Let z be ((-17)/2)/(36/(-408)). Which is bigger: -4 or z?
z
Suppose -905*r = -996*r - 91. Do r and 4/12867 have different values?
True
Let r be 12/(-10) - 0 - 92092/(-76935). Let d be -1 - (2 + 4 + -5) - -2. Does r = d?
False
Let d = 0.9 + 0.1. Let u = -379.38 - -376. Let b = 3.42 + u. Is b less than or equal to d?
True
Let h = 0.1666 + -1.0266. Suppose -4*j = 4*g - 24, -27 = -4*g - g - 4*j. Suppose 0 = g*d + 2*s + 6, 0*s - s = 3*d + 3. Do h and d have the same value?
False
Let k = -13.2 - -11.2. Let r = -16 + 13.4. Let l = r + 3. Which is smaller: l or k?
k
Let o = -649 + 669. Let h(s) = -4*s**2 + 77*s + 68. Let g be h(o). Which is smaller: g or 0?
0
Let m be (-2)/(-4) - 65/2. Suppose 107*i - 1427 + 4958 = 0. Are i and m non-equal?
True
Let t be 375/(-350) + (0 - -3) + -6. Which is smaller: -5 or t?
-5
Let c(w) = -w + 2. Let j(s) = 24*s + 18. Let y(v) = -15*c(v) - j(v). Let r be y(-5). Which is greater: -43 or r?
r
Let j(u) = -u**2 - 4*u - 2. Let h be j(-3). Let d be (-183 + 181)*6/38. Is d less than h?
True
Suppose 3*r + 5*i + 989 + 243 = 0, 1654 = -4*r - i. Let t be -1*3 + r/(-14 + 5). Let f be 612/14 + (-8)/(-28). Is t less than f?
True
Let g = 13936/3 + -4770. Are g and -124 non-equal?
True
Let f = -11 - -10.9. Let r = 0.8011 + 37.2469. Let h = r + -0.048. Which is bigger: h or f?
h
Let b be 280/(-3)*((-66)/(-516))/11. Which is smaller: b or 0?
b
Suppose -192*a + 249 = 28 + 29. Is a greater than or equal to 2/4539?
True
Let y = 57.1 - 57. Let x = y - -0.9. Which is bigger: x or -10?
x
Let q be 222 + -1*(-5 - -6). Let n = q + -196. Does 27 = n?
False
Suppose 31*i - 38*i = -14. Let r(h) = 0*h**2 - 3*h - h**2 - 1 + 6*h. Let u be r(i). Is u smaller than 6?
True
Let u be 9 + -1 + -1 - 1. Let k be (1 - 18/8)*-4. Suppose 3*z - 29 = 2*b - 4, -2*b + 31 = k*z. Which is greater: z or u?
z
Let g(j) be the third derivative of j**4/6 - 19*j**3/2 + 76*j**2. Let a be g(14). Let s be 1/5 + (-15)/(-50). Are s and a non-equal?
True
Suppose 231*x - 236*x = -25. Suppose -4*r + x*b + 463 = -806, -5*b - 948 = -3*r. Are r and 321 non-equal?
False
Let g(m) = -68*m**2 + 59*m + 97. Let h be g(-10). Which is smaller: h or -7292?
h
Let b = 1494 + -1495. Are b and -802 unequal?
True
Let d(x) = -48*x**2 - 323*x + 36. Let y be d(-8). Which is bigger: -1355/3 or y?
-1355/3
Let s = -297.0172 - -0.0172. Let l = 299 + s. Which is greater: -215 or l?
l
Let i = -6 - -29. Suppose 184 - 280 = -3*h. Let t be ((-18)/4)/(((-6)/h)/1). Which is smaller: t or i?
i
Suppose -2 = -2*j + 2. Let y(b) = 15*b + 32. Let o be y(0). Which is greater: o or j?
o
Suppose 2*p = -4*y - 1010, -2*y = -5*p - 338 - 2103. Which is smaller: -483 or p?
p
Let d = 64.473 + -72.84. Let a = d - 0.633. Which is smaller: 13/4 or a?
a
Let k(q) = -2 - 13 + 3*q + 2. Let y be k(6). Suppose y*t = -4 + 59. Is t greater than or equal to 9?
True
Suppose 5*w = -3*s - 3, -2*s - 514 + 512 = 2*w. Which is smaller: -184 or w?
-184
Let t be -1 + -15*(-2)/24. Let l(b) = 11*b + 4*b + 83 + 5*b - 17*b. Let a be l(-28). Which is greater: t or a?
t
Let z(m) = -m**3 + 15*m**2 - 12*m - 23. Let j be z(14). Let v = -44 + 42. Let o be 1 - (20/28 + v/(-7)). Which is greater: o or j?
j
Suppose 4*f - 89 - 171 = 0. Let b be (-2)/(4 - (-5842)/(-1449)). Which is smaller: b or f?
b
Let d = -6506 - -6505. Are d and -161/4 equal?
False
Let a(l) = l + 10. Let c be a(-7). Let k be (-4)/(11 - c)*-4. Let r = -105 - -106. Is k < r?
False
Let m be (8/(-4))/((-13)/52). Let o be m + (-5)/(1855/2996). Which is bigger: 1 or o?
1
Let a be (-14)/(-21)*(-33)/1. Let h be -1*2 - (a - -21). Which is bigger: 1 or h?
1
Suppose 10*u + 2*i = 8*u - 12760, -2*u + i - 12778 = 0. Which is bigger: u or -1?
-1
Let n(r) = -2*r - 59. Let o be n(-32). Suppose w - o*p = 21, -w = p + 3*p - 30. Which is greater: w or -0.05?
w
Let x = -30523 - -5280421/173. Is 0 <= x?
False
Let g = 0.151 - -0.68. Let r = g - -0.169. Is -35 at least r?
False
Suppose -4*a - 203 + 215 = 0. Let x be 1 - a - (0 + 0). Which is greater: -16/15 or x?
-16/15
Let o = -12189 - -11903. Which is greater: 1.2 or o?
1.2
Let z = -186 - -13. Let w = -155 - z. Let h = -5 + 7. Which is bigger: h or w?
w
Suppose 9994 = -49*v - 89084. Are 4 and v equal?
False
Let a(n) be the first derivative of -n**2/2 + 7*n + 5. Let m be a(6). Let v = 3.944 + 0.056. Is m <= v?
True
Let p(d) = d**2 - 2. Let v be p(-4). Let a be 39/(-84) + (-4)/v. Let y be (-13200)/1056*(4 + -2). Which is bigger: a or y?
a
Let s be (-1 - -8) + -4 + -23. Let t be (-5 + (-333)/(-15))/((-8)/s). Which is smaller: t or 0.04?
0.04
Let r be (1 - -18 - -3) + (9 - 96/6). Which is smaller: 70 or r?
r
Let f be 10/(-105)*387/(-2). Let k = f + -134/7. Is -1 <= k?
True
Let o be (-416)/91 + (-3)/7. Let w(s) = -11*s - 121. Let a be w(-9). Which is greater: o or a?
o
Suppose -4*h + 119 = -89. Let i(w) = -w**3 + 8*w**2 - 16*w + 115. Let o be i(7). Is h at least o?
True
Let r(c) = -497*c - 402. Let t be r(-10). Do 4568 and t have the same value?
True
Let z be (15/10)/(10/20). Let n be (-14)/(-18)*z*14/147. Let g be (-7)/(-15) - (-2)/6. Do n and g have different values?
True
Let p be 16/(-166 + 6) - (2 + 84/(-40)). Is -1/277 less than or equal to p?
True
Let j(h) = -h**3 + 18*h**2 - 50*h - 2. Let n be j(8). Is 240 greater than n?
True
Let a = 478 - 264. Let u = a + -166. Which is smaller: 1 or u?
1
Let d(h) = 114*h - 1177. Let y be d(9). Is -157 at least as big as y?
False
Let g(k) = 6*k**2 - k - 1. Let y be g(3). Let c = 74058 - 74007. Is y equal to c?
False
Let c be ((-10287)/(-36) + (-9)/(-6))*(15 + -14). Which is bigger: c or 288?
288
Let w be 7/2 + ((-100)/8 - 0)*-11. Let o = -14 - -154. Is w greater than o?
True
Suppose -5004*o + 4990*o = 0. Let h be (-8)/28 + 188/462. Is h bigger than o?
True
Let j = 111 - 3781/34. Let n = -23776 - -23776. Is j at most as big as n?
True
Let w(q) be the first derivative of 17/2*q**2 + 1/3*q**3 + 41*q + 23. Let y be w(-14). Are y and 2/9 nonequal?
True
Let k = 1/6617 + -6622/33085. Which is smaller: -25/2 or k?
-25/2
Let p be (-11)/((-55)/(-40))*((-2737)/(-938) - 2). Is p > -8?
True
Suppose -3 = 2*v + 33. Let x be 415/45 + -4 - (-4)/v. Suppose -12 = -x*l - w - w, l - 8 = w. Is l smaller than 4?
False
Let r = 246557687/82823 - 38700/13. Which is bigger: 0 or r?
0
Let i be (83245/10 - -1)/(33/(-6)). Let v = i - -1505. Which is smaller: v or -9?
-9
Let j = -8286492/17 + 487248. Which is smaller: -192 or j?
j
Let c be 15*(22 + 18342/(-90)). Is c less than or equal to -2727?
True
Let m = -213.868 + 1.468. Let y = 224 + m. Is y > -2/5?
True
Suppose 4*k - 55*t = -52*t + 42, 0 = -3*k + 4*t + 42. Which is smaller: 0.439 or k?
0.439
Let d(c) = 16*c**2 - 15*c + 3. Let b be d(4). Suppose 44*n - 10*n = 6732. Is n at least b?
False
Suppose 3 = -0*d + d - x, -3*d - 3*x + 3 = 0. Suppose -3*a + 5*m + 22 = 0, a + 5*m + 24 + 2 = 0. Let t = d + a. Are t and -1/54 nonequal?
True
Let q(g) = -g**3 + 54*g**2 - 99*g + 381. Let h be q(52). Does h = 643?
False
Let m(d) = d**2 - 10*d + 58. Let s be m(