+ (-3)/d. Which is smaller: x or -9?
-9
Let q be ((-2646)/(-28))/(-9) + (-6)/(-4). Let f be 14/42 + (-6)/q. Is 20/41 less than or equal to f?
True
Let u = -248 + 352. Suppose -4*y + 8*y - o + 88 = 0, -u = 4*y - 5*o. Which is greater: y or -111/5?
y
Let q = -1581 + 1580. Let z be -2 - (-90 + 4 + 4). Is q greater than z?
False
Let f be 1/(-3) - (-32)/(-3). Let g be -9 + -6*(7 - 26/4) + 7. Is g at least f?
True
Let p = 6863 + -6242. Which is smaller: p or 625?
p
Let a be 6/24*((-12)/120)/((-2)/64). Let q = -33 + 16. Which is smaller: a or q?
q
Let z(v) = -v**2 + 16*v - 16. Suppose 0 = -2*i + 9 - 75. Let p be (489/i - (-2)/(-11))*-1. Let x be z(p). Is x at least 2/127?
False
Suppose 2*y = 0, 7*j + 25 = 2*j + 3*y. Let q be (5 + j - 2) + 7. Which is smaller: 23/4 or q?
q
Suppose -259 = -4*p + 3*g + 2381, -4*g - 2640 = -4*p. Let z = p + -466. Suppose 22 = -6*j - z. Is j not equal to -35?
True
Suppose -5*d + 3*o - 4817 = 0, 5*o + 127 = -d - 842. Which is smaller: -963 or d?
d
Let m(c) = -119*c - 351. Let a be m(-3). Suppose 13 = 3*s - d, -4*d + 2*d - 14 = -4*s. Let z be 4/s - a/9. Which is smaller: z or 10/7?
z
Let s = -41283 - 196244. Let k = s - -2146045/9. Let m = -924 + k. Which is smaller: m or -3?
-3
Let p = -8357/5 + 259069/155. Let c = -2 + 3. Suppose -s = -2*s - c. Which is smaller: s or p?
s
Let x = -124/363 - -1/121. Let k(g) = -g**2 - 4*g + 8. Let a(t) = t + 1. Let i(m) = a(m) - k(m). Let j be i(-6). Is j at most x?
True
Suppose -2244*x = -2286*x - 42. Which is bigger: x or -23/370?
-23/370
Let l(g) = 2*g**2 - 37*g - 231. Let v be l(22). Which is greater: -46 or v?
-46
Let u(b) = 2*b**2 + 39*b + 19. Let j be u(-19). Suppose -4*s - o = -3, s - 3*o - 4 + 0 = j. Let y be (2/(-4))/(s/(-30)*-5). Is y less than or equal to -26/9?
True
Let m = -1392.63968 + -0.26032. Do m and -2/5 have different values?
True
Let a = -9.36 + -490.64. Let o = a + 487. Is -0.1 < o?
False
Let i = -9217 - -9457. Is i != 240?
False
Let m be 254/9 + 40/(-180). Let c = -61 + m. Let r = 34 + c. Is r at most as big as -5?
False
Suppose 9 = -0*n + n. Suppose -n*a + 50 = 41. Which is smaller: 1/10 or a?
1/10
Let c be (-1)/9 + 21487216/58032. Which is bigger: c or 369?
c
Let k = -154.93 - -155. Let h = 22 + -17. Suppose 2*w + 5 = h. Is w less than k?
True
Let c = -7 + 8. Let i be (15/18 - c/(-6))*47. Which is smaller: i or 45?
45
Let n(b) = -98 + 3*b - 6*b + 4*b - 8*b. Let t be n(-21). Which is smaller: t or 0.5?
0.5
Let n be -25 + (-1 - -1 - 1). Let x(q) = -2*q**2 + 30*q + 250. Let u be x(21). Let c be (u/n)/((-9)/6). Is 1 != c?
True
Let w be (-3)/((-144)/2920)*9/(-4). Let g = -160981/1176 - w. Let j be -1 - (-3 + 3 + -2). Is g less than j?
True
Let b be (-5 + 3)/(2684/898 - 3). Let r = b - 180. Which is smaller: -41 or r?
-41
Suppose 0 = 101*v - 93*v + 8. Let r be ((-2)/(-46)*-2)/((-12)/(-8)). Which is bigger: r or v?
r
Let v = -1221 - -1222. Suppose -3*s = -0*s - 6. Let d be s/9 + (-64)/450. Do v and d have different values?
True
Suppose 4 = -2*u, -872*y + 875*y - 32 = -5*u. Let k(x) = 12*x**3 - x**2 + 2*x - 1. Let t be k(1). Which is smaller: t or y?
t
Let v = 6613 - 6815. Let j = 93/5 - 19. Is v not equal to j?
True
Let i be 5*5802/71400 - 7/(70/4). Is -0.2 <= i?
True
Suppose -4*s + 12 = r, -4*r = -r + 4*s - 20. Let x(m) = 2*m + 16 - 8 + 6. Let b be x(-6). Is r not equal to b?
True
Let l = -79.054 + 79. Let b = l - -0.474. Let p = b + -0.52. Are 8/3 and p non-equal?
True
Let w = -23 + 40. Suppose 3*c - 113 = i - 133, 3*c - 35 = -4*i. Is i bigger than w?
False
Let g = -2.724 + 2.8. Let n = -21.961 + 21.937. Let o = g - n. Which is greater: o or 1.9?
1.9
Let p(a) = 3*a**3 - a**2 + 3*a - 3. Let y be p(1). Let n be 12/(-4) + 5 - -8 - y. Let i be (-15)/(-20) + (-1 - (-7)/n). Which is bigger: i or 1?
1
Let y = 1.7 - 1.535. Let f = 156.1 - 156.165. Let l = y + f. Are -2/9 and l non-equal?
True
Let l = -415 - -361. Which is smaller: -50 or l?
l
Let q = 0.0822 - 0.0132. Let i = q - -0.931. Do -64 and i have different values?
True
Let i = 0 - -1. Let z = -105 + 141. Suppose 19*c - 18*c = -2*q - 9, -2*c + 2*q - z = 0. Does i = c?
False
Let h = -350 - -303. Which is greater: h or -42?
-42
Suppose 1229*i - 1301*i - 67032 = 0. Is -921 at least i?
True
Let r = 31 + -30.82. Let t = 1.8653 + 0.1347. Which is smaller: t or r?
r
Suppose 18*n + 627 = 3*o + 17*n, -5*o - 4*n = -1028. Let r = -104/3 + 34. Is r bigger than o?
False
Let g(v) = -v + 1. Let q be g(-6). Let n(w) = w**3 - 9*w**2 + 10*w - 8. Let u be n(q). Let j be (-38)/u + 0 - 1. Which is smaller: 1 or j?
j
Suppose 3*c + 309 = l + 5*c, 0 = -3*l + 4*c + 957. Let v be 1 + 2/(-5) + 58179/185. Let t = l - v. Is -1 <= t?
True
Suppose 0 = -61*a + 37*a + 9288. Are 386 and a equal?
False
Let z(m) be the first derivative of -m**3 + 11*m**2/2 + 4*m - 92. Let q be z(4). Is 1/10 <= q?
False
Let g = -2208 + 2209. Is 1/4606 less than or equal to g?
True
Let p = -431 + 435. Suppose -2*w - 4*i = -p, -2*i - 4 = w + 3*i. Which is bigger: w or 3?
w
Let s = -18504 + 18304. Is s smaller than -195?
True
Let u = -8/2295 + 1841/566865. Which is smaller: u or 0?
u
Let v(o) be the first derivative of -o**4/4 - 13*o**3/3 + 7*o**2/2 + 23*o - 14. Let l be v(-14). Let u be l/154 + (-1)/2. Is u at most as big as -6?
False
Suppose 5*t = 55 - 75. Let m = 39 - 19. Let f be (20/18)/(t/m). Which is smaller: -7 or f?
-7
Suppose 20*n = 13*n + 700. Suppose -5*s = 3*y - n, 5 = s + 3. Let c = -29 + y. Is -1/74 equal to c?
False
Suppose 17*a - 224 = 10*a. Let w be 0/a - (-1 - 33) - 1. Is 28 at least w?
False
Let p(r) = 38*r**3 + r**2 + 4*r - 3. Let b be p(1). Suppose -3*k + 10 = 124. Let a = k + b. Which is smaller: -18 or a?
-18
Let k = -55 + 48. Let s(o) = -3*o - 10. Let z be s(k). Let x be (-6 + z)/(-15)*(-1 - 5). Which is bigger: -7 or x?
x
Let x = 0.55 + 0.19. Let t = -855.46 - -856.3. Let g = x - t. Which is smaller: -10 or g?
-10
Let a = -33 - -32. Let s be ((-1)/(-2))/((-1)/(-14))*2. Suppose 5*u = 3*n - s, -3*u - 22 = 2*n + 3*n. Which is smaller: n or a?
n
Suppose 61*l = 131*l - 2100. Is l bigger than -49?
True
Let t be (-202)/51 + -1 - 1. Let i = t + 6. Is i at most -2?
False
Let q = 12 + -41. Let z = 162.2 + -11.2. Let g = z - 152. Is q less than g?
True
Suppose 7*f = 2*f - 180. Let o be (303/6)/(18/f). Which is smaller: o or -102?
-102
Let g = -28561/3540 + 121/15. Let l(u) = -u**3 + 226*u + 225. Let v be l(-1). Is v at least g?
True
Let x be 39/12 + (-29 - -26). Does 3321 = x?
False
Let t be -5 + (3 - 1) - 27605/(-9205). Let n = t + 5837/289037. Which is bigger: n or 0?
n
Let n(k) = -31*k**2 - 2*k. Let f = 7 + -9. Let t be n(f). Which is smaller: -119 or t?
t
Suppose 0 = 4*h + 2*i + 18, -3*i + 15 = -6*i. Let o be -22 - 1 - -152 - 25. Which is smaller: h or o?
h
Suppose 4*a + a - 4*t - 16 = 0, 0 = 2*t - 2. Suppose 3*b + 3*j = -197 - 190, -a*b - 519 = j. Which is greater: -129 or b?
-129
Let b = -3760 + 3760. Which is smaller: 4/1291 or b?
b
Let u = 0.302 - -35.598. Let n = -33.9 + u. Which is smaller: n or 71?
n
Let i(u) = -36*u + 5. Let d = 24 + -23. Let j be i(d). Which is smaller: 0 or j?
j
Let z = 102 + -17. Let k = -164 + z. Do k and 0.1 have different values?
True
Let r be (-15 - 4 - 2)*59/(-3). Which is greater: 409 or r?
r
Let n(j) = 7*j - 3. Let d(u) = 8*u - 4. Let v(f) = 6*d(f) - 7*n(f). Let a be v(-9). Suppose 22 + a = 4*g. Which is bigger: 29/4 or g?
29/4
Let n be (-1)/71*(-26 + 22). Let w = n + 59/213. Is 4 >= w?
True
Suppose -j - 4*j + 570 = 0. Suppose -40 = -4*n + c + 15, -2*n + 4*c + 10 = 0. Let r be j/21 - n/35. Which is greater: 12 or r?
12
Let g(s) = -6*s**2 - 18*s + 6. Let f be (36/(-4))/((-3)/2). Let x be g(f). Let l be (-65)/x + (-3)/18. Is 1 at least as big as l?
True
Let f be (-164)/(0 + 9 + -15). Which is smaller: 26 or f?
26
Let f = -14008 - -16539. Is f at most as big as 2535?
True
Suppose 86004 = 33*k + 86499. Suppose a + 0*a + 15 = 0. Is a less than or equal to k?
True
Let q be 5000/12*(-5508)/135. Which is greater: -17001 or q?
q
Let a(k) = 7*k - 11. Let x(n) = n**2. Let u be x(1). Let s be 10/(-4)*(0 + (3 - u)). Let w be a(s). Is -46 equal to w?
True
Let v = -198 - -219.9. Let l = 21.3 - v. Is -7 less than or equal to l?
True
Let n = -1749071/624 + 2803. Which is smaller: -1 or n?
-1
Let v be (-1)/(-4) - (11 + (-994)/56). Let 