(-144)/5)/6. Let n = -272 - -423. Let k = 150.9 - n. Which is bigger: k or v?
k
Suppose x + 3*t + 37 = 0, 19*x + 5*t = 23*x + 131. Let z = -21 + -12. Do x and z have different values?
True
Let t be (-45)/(-10) + -4 + 442/4. Suppose -g + t = 107. Suppose 2*n - 1 = 9. Which is greater: n or g?
n
Suppose 425356 - 26356 = -84*o. Are o and -4750 nonequal?
False
Let y = -107 - -76. Let s be (-37 + 10)/((-15)/10)*-2. Which is greater: y or s?
y
Let o be ((-2)/1 + 5)/3. Let g be (3 - o)/6*(-419075)/150. Let t = g + 931. Which is smaller: t or -2/5?
-2/5
Let n = -253.8 + 253.6. Which is smaller: -2/1137 or n?
n
Let n = -8232850098859/3784 - -2175700312. Let x = 1/3784 + n. Which is greater: -30 or x?
-30
Suppose 2*y + 2*o - 18 = 0, y - 3*y - o + 16 = 0. Let v = 93 + y. Which is greater: 101 or v?
101
Suppose -2492 = -c + 4*w, 2*c - 35*w + 30*w = 4993. Is c not equal to 2504?
False
Suppose j = -4*g - 35, -2*j + 13*g - 11*g - 20 = 0. Let q be (20/j)/(1630/15). Is q less than 0?
True
Let u(w) = 4*w**3 - 84*w**2 - 5*w - 113. Let m be u(21). Which is smaller: m or -437/2?
-437/2
Let z = -4614/7 + 660. Suppose -5*x + 0*x - 550 = 0. Let f = 992/9 + x. Do f and z have the same value?
False
Let p = -16639/90 + 913/5. Is p smaller than -3?
False
Suppose -3*l = -120 - 1236. Let m be -3 + 0 - -9*l/30. Let u = m + -133. Which is greater: 2 or u?
2
Let i(s) = 31*s + 31. Let r be i(-1). Suppose 4*j - 3*b - 15 = -j, 2*b = -5*j + 15. Suppose r*u = j*u. Is u equal to -2/51?
False
Let d be (6 + 216/(-33))*(-7 + 18). Let a be (-5)/2 - 1/2. Let i = a - 3. Is d < i?
False
Let z = 53662 - 83773. Is z greater than or equal to -30111?
True
Let r be ((-105)/(-14) - 5)*(-3)/1090. Is 0 less than or equal to r?
False
Let m = -123.764 - -124. Let p = m + 1.764. Let y = -0.55 + 0.7. Is p at least as big as y?
True
Let y = 976 + -977. Which is bigger: y or 38/111?
38/111
Let a(z) = 19*z - 127. Let v(h) = -29*h + 190. Let t(g) = -7*a(g) - 5*v(g). Let l be t(5). Which is greater: l or -18/43?
-18/43
Let b be (28/(-8))/(1/(-2) + 2365/4644). Is b <= 6?
True
Suppose 5*o + 40 = -3*g + 66, -3*o + 12 = 0. Let p be (g - (-2 + 4))/(51/17). Let l = 657 + -55187/84. Which is smaller: l or p?
p
Suppose -15 + 11 = -2*j - 2*j. Which is bigger: 42/313 or j?
j
Let s = -253 + 255. Suppose 5 = 4*f + 3*m + s, 3*m - 3 = -2*f. Which is greater: f or -1/445?
f
Suppose 17*s - 11*s = -1116. Let z = 144 + s. Is z equal to -42?
True
Let u = 13546075/421 - 32176. Does 1 = u?
False
Let k = 31 + 1. Suppose 87 = -16*v + 599. Let j be -3 - (0 - v) - (-11 - -9). Which is bigger: j or k?
k
Suppose 3*s - 5 - 4 = 0. Suppose -5*p - 1 = -6, 50 = -s*m - p. Suppose -34*y + 60*y = -67*y - 1488. Which is smaller: m or y?
m
Let b = -13 - -20. Let j(k) = -k - 2. Let d be j(b). Let n(g) = -g**3 - 10*g**2 - 7*g - 5. Let m be n(d). Which is greater: -22 or m?
-22
Suppose -34*k - 14*k = 6*k + 54. Is k at least as big as -1/4068?
False
Let o = -5/2291 + 18383/25201. Suppose -z = -4*h - 1, -2*z = -h + z - 14. Is h at most as big as o?
False
Let x = 119.6 - 99. Let k = -8.5 + x. Let s = -12 + k. Is s != 28?
True
Let c(g) = -43*g + 212. Let j be (-2 + -2 + 6)/(28/70). Let i be c(j). Which is bigger: i or -58/13?
i
Let d = -537 + 2683/5. Let r = -11.28 + 8.4. Let m = 3 + r. Which is bigger: m or d?
m
Let q = 255.81 - 256.41. Which is smaller: 980 or q?
q
Let b = -35 + 18. Let m(i) be the third derivative of -i**5/60 + 11*i**4/24 + 5*i**3/3 + 21*i**2. Let h be m(12). Which is smaller: h or b?
b
Let z = 260 - 257. Let h be 3*((-2)/z)/(-1). Let c be 0 - ((-12)/7)/2. Are c and h non-equal?
True
Let j be (2/4)/(31/(-12338)). Let o = j + 232. Which is smaller: o or 34?
o
Let x(q) be the third derivative of -q**6/120 + 7*q**5/60 - q**4/3 + 4*q**3/3 + q**2. Let y(p) = 5*p**2 - 89*p + 73. Let b be y(17). Let n be x(b). Is n > 19?
False
Let o = -478 - -471. Let s be -3*((-99)/(-27) - o). Which is smaller: -28 or s?
s
Let h be (4640/12)/(-5)*42/(-56). Which is greater: h or 8?
h
Suppose 0 = 3*b + 1 + 23. Let x be (12/5 - 2)*(-10)/b. Let v = -149 + 177. Which is smaller: v or x?
x
Let d(l) = -l**3 + 9*l**2 + 4*l + 1. Let g be d(7). Suppose -8*z + g + 113 = 0. Let r = 3 + z. Is r at most as big as 33?
True
Let p = 176766 - 1769853/10. Which is bigger: p or -220?
p
Let m = 1.057 - -1.643. Let t = -2.5 - -2.4. Do t and m have the same value?
False
Let i = -1011 + 995. Which is smaller: 7.5 or i?
i
Let o be (-26)/10 + 16/((-64)/(-12)). Let t = -0.291 - 118.709. Is o less than or equal to t?
False
Let m = -0.08 + 4.08. Let z = -3.8 + m. Let d = 50.4 + -57.4. Which is bigger: d or z?
z
Suppose -5*x - 2*i - 40 = 18, 3*x + 31 = -5*i. Let w be (-138)/76 - x/8. Suppose -101*m + 94*m = 0. Is w <= m?
True
Suppose -17*t - 5*w = -13*t - 134, 2*t - 13*w - 98 = 0. Suppose 0*k = -5*k + 750. Suppose 2*i + i = o - 20, 0 = -5*o + 5*i + k. Is o at least as big as t?
False
Let w be (28/26)/((-1)/3). Let l be 2/((-2)/(-9)) - 336/28. Which is greater: l or w?
l
Suppose 0 = n + 2*u - 8, 15 = 2*n + 2*u + 3. Let y be (1 + (-19)/n)*8/(-3). Let o be (1 - 15)/(45/y) + 3. Is o at least as big as -0.07?
False
Let s = 5 + -5.1. Let d(r) = 6*r - 7. Let g be d(21). Let f = -113 + g. Which is smaller: f or s?
s
Let z be (-90)/300*215*(-1)/2. Let p = 5571/172 - z. Which is greater: -1 or p?
p
Let g(r) = r**2 - 6*r + 1. Let u be g(5). Let b be (u/5)/((-117)/15). Suppose -2*z + 45*s = 49*s - 22, -s = -7*z - 13. Is b greater than or equal to z?
True
Let u = -56295/4 - -14146. Is u less than or equal to 73?
True
Let z = 2262.8911 - 2263. Which is bigger: 1 or z?
1
Let a = -0.1129 - -511.1129. Let j = a + -511.2. Which is bigger: j or -0.065?
-0.065
Let j = 12.894 + -15.764. Which is bigger: j or -29?
j
Let c be 18/4 - 3 - 1284/(-8). Let m be 33/55*c + 1/(-5). Are 98 and m nonequal?
True
Let n = 88.04398 - 0.07398. Let z = n - 88. Which is bigger: 1/2 or z?
1/2
Suppose l + 5*n - 4 - 14 = 0, -3*l - 2*n = -15. Let x be (-120)/90*11*l. Which is greater: -3 or x?
-3
Let h(f) = -2*f**3 + 30*f - 89. Let i be h(4). Which is greater: i or -14?
-14
Suppose -12*k = -26*k + 392. Let r be 2*(-132)/(-14) - (-4)/k. Let i = 19 + -2. Which is bigger: r or i?
r
Let p = 5 - -2. Let h = 10381 - 10383. Is p less than h?
False
Let k = -757153/198 + 3824. Is k less than or equal to -8?
False
Let t(u) = 206*u + 2055. Let v be t(-10). Is v less than -113/30?
True
Let q = -383 + 352. Let l = q + 39. Which is bigger: l or 5/4?
l
Let g = 15413 + -14056. Which is smaller: 6786/5 or g?
g
Let h = 25.961 + -25.83. Let f be (-4)/(-6)*(-3)/2. Is h at most f?
False
Let b = -29857 - -29855. Let t = 6073/24 + -253. Which is bigger: t or b?
t
Suppose 5*q = -2*y - 934, 47*y - q = 43*y - 1846. Is -6018/13 >= y?
False
Let d be (-6)/10 + 6/(-10)*-1. Let t be (-10 - (-160)/24)/(1 - 15). Is d less than or equal to t?
True
Let c = -18 - -20. Suppose 5*l = -h + 16, -4*h + c + 2 = 5*l. Let i(y) = 3*y**2 - 13*y. Let q be i(l). Which is smaller: q or -6?
-6
Let i = 2435 - 1228. Which is greater: 1206 or i?
i
Suppose 0 = -1109*x + 1101*x + 8. Is -3/2459 equal to x?
False
Let t = -71.882 + -0.118. Let o = 75 + t. Is o bigger than 41/2?
False
Suppose 0 = -48*k - 53*k + 98*k. Which is smaller: k or -10/1709?
-10/1709
Let d be 26269/2289 - (-18)/1. Are 28 and d nonequal?
True
Let n = 16022 - 16023. Which is smaller: n or 3/1514?
n
Let d = 84.528 + -85. Let i = d - -6.472. Which is bigger: i or 0.4?
i
Let u(k) = 2*k**2 - 10*k + 34. Let d be u(9). Let x = d - 107. Which is smaller: -4/131 or x?
x
Let u be -4 + (264 - -4) + -4 + 0. Let z = u + -259. Is 194 at least z?
True
Let t = 2570/247 - 338/19. Which is smaller: t or -8?
-8
Let g = -44.8 - -63.1. Let y = 30.4 - g. Is y < 1/4?
False
Let k = 3 - 4. Let l(q) = -q**2 + 19*q + 2075. Let a be l(-37). Which is smaller: k or a?
k
Let a be (-24)/(-40) - (3809/2665)/((-1)/9). Which is smaller: 13 or a?
13
Let d = 3335219/226116 - 2/56529. Is -2 < d?
True
Let b(m) = 2*m - 13. Let y be b(9). Let t(w) = -w + 13. Let g be t(8). Suppose -2*d = i - 0 + y, 0 = 5*d + g*i + 25. Which is smaller: d or -5/14?
-5/14
Let p be 33/(-297)*204*15/(-2). Which is greater: p or 2739/16?
2739/16
Let m be (((-448)/(-24))/(-7))/(2/(-6)). Let a be ((-72)/48)/(-3*(-2)/m). Let r be 91 + (12/a - 28/(-7)). Is 90 >= r?
Tr