 18 = 3*c, 0 = 2*r + 3*c + 6. Let p be ((-6)/12)/(r/(-4)). Which is smaller: p or -12?
-12
Let g = 1.5 + 0.5. Let i = -0.7 - -3.1. Let r = i - g. Is r at least as big as -2?
True
Let n = 29.04 + -29. Let u = 0.04 - n. Which is smaller: u or 24?
u
Let i(q) = -7*q**3 - 2*q**2 + 3*q - 2. Let z be i(1). Let k be (-3 - 30/z)*4. Suppose k*b = 2*b. Is b at most 1/23?
True
Let y = -5664 + 5665. Let w be -1 + 1 + (-1)/(-2). Which is smaller: y or w?
w
Let s = 12 - 27. Let o = s + 15.16. Let m = o + 0.04. Which is smaller: m or 1/4?
m
Let f be (-1)/(-3) + 0 + (-6741)/84. Let h = f - -209/3. Is -11 smaller than h?
True
Let k(t) = -t**3 - 42*t**2 - 46*t - 141. Let l be k(-41). Is l != 66?
True
Let f be ((-1)/(-2))/((-3)/(-6)). Let u = -286 - -37181/130. Let x = u + 249/1430. Is x less than f?
True
Let z = -7 - 4. Let q(s) = -s**2 - 57*s - 271. Let g be q(-5). Are g and z equal?
True
Let i be 0/(-1 + 1/(-1)). Let r be (-9)/(-54) + (-6151)/(-30). Let d = r - 206. Is d smaller than i?
True
Suppose n - 103 = -4*n + 4*a, 4*a = -n + 11. Let i = -18 + 39. Is n smaller than i?
True
Let r = 235228/13 + -18086. Is r bigger than 8?
True
Let n(z) be the third derivative of -z**5/60 + 7*z**4/12 - z**3/3 - 12*z**2. Let s be n(12). Suppose s + 14 = -2*i. Are -18 and i nonequal?
False
Let y be (-276)/8*6/(-27). Let j = -186 + 193. Is y not equal to j?
True
Let o = -5.7 + 3.1. Let v = o - -3.1. Let p = -0.7 + v. Is p smaller than 2/7?
True
Let g = -17 - -22. Suppose -3*b + 7*b = 5*m - 25, 2*m = -g*b + 10. Let f be m/10*(1 - 3). Is 0.06 smaller than f?
False
Suppose -3*u + 3*d + 34 = 10, -19 = 2*u + 5*d. Suppose 0*t + u*s = t + 6, 4*t + 3 = 5*s. Which is smaller: t or 0.15?
0.15
Let b = 7.06 + 1.94. Which is smaller: 2/3 or b?
2/3
Let o be (-2 + 2752/1370)/(96/320). Which is smaller: o or -1?
-1
Let z = 118817/9 - 13217. Which is bigger: -0.1 or z?
-0.1
Let a(d) = d - 1. Suppose 6*m = 5*m - 13. Let w(p) = -p - 16. Let k be w(m). Let t be a(k). Are -3 and t unequal?
True
Suppose 0 = -4*n + 19 + 97. Suppose -z - 80 = -3*j, -4*j + n = -4*z - 75. Is 27 smaller than j?
False
Let s(h) = 5*h - 23. Let l be s(10). Let d be 87/l - 12/54. Suppose -5*a - d = -18, -2*b - 3*a = -5. Which is smaller: b or 4?
b
Let g = 786217/32552 + 3/2504. Let t = g - 24. Let k = -58 + 58. Which is bigger: k or t?
t
Let t = -11/12 - -1/4. Let d(v) = v**3 - v**2 - 2*v - 1. Let w be d(-1). Which is greater: t or w?
t
Let o = -0.2332 - -0.5332. Which is greater: -374 or o?
o
Let j(g) = g**2 + 11*g + 13. Let c be j(-9). Let k be 2/3 - (-415)/(-60). Is k greater than c?
False
Let k = -0.203 - -0.103. Let z = 15 - 11. Suppose 7 = -z*a - 1. Does k = a?
False
Suppose b - 2*b + 5 = l, 0 = -2*l + 3*b - 5. Suppose -5*q - 3*c = 39 + 36, 3*q + 64 = l*c. Is -18 at most q?
True
Let o = -25 + 13. Let i = -1963 + 9757/5. Let k = i - o. Is -1/4 less than k?
True
Let z be ((-20)/(-8))/((-22)/8). Let k be 0 + 2 - (61 - 59). Is z not equal to k?
True
Let g be ((-7)/2)/(-2 - 82/(-40)). Let n = g - -137. Which is smaller: 66 or n?
66
Let y = 1253 - 1233. Which is smaller: y or 23?
y
Let n(m) = -m**2 + 34*m - 108. Let a be n(30). Does a = 4?
False
Let n = -11.29 + 0.29. Let h(s) = -15*s**3 - 360*s**2 - s - 21. Let r be h(-24). Which is bigger: r or n?
r
Let c(s) = -5*s + 11. Let d be c(4). Let w = 15 + 1. Suppose 3*n - w = 5*n. Is d >= n?
False
Let q(m) = -m**3 - m**2 + 2*m + 1. Let v be q(-1). Let a(s) = 154*s + 4. Let l be a(-7). Let g = 52624/49 + l. Which is greater: v or g?
g
Let y be 5*(0 + 12/30). Which is greater: y or 64/27?
64/27
Let n = -2391363/16 + 149578. Let c = n + -118. Is c at least 0?
False
Let k(j) = 3*j**2 + 6*j + 12. Let t be k(-4). Let c = t + -19. Which is smaller: -2/5 or c?
-2/5
Let c = 2740.9 - 2741. Which is greater: c or 46?
46
Let b(c) = 3*c + 39. Let n be b(7). Suppose -62*s - 12 = -n*s. Suppose 3*k + 43 - 10 = -5*y, -2*y - 5*k + 2 = 0. Is s > y?
True
Let q = 14 - -1. Let c = q + -15.4. Which is smaller: c or 0.2?
c
Let d = 10718 - 10717. Let r = -4 + 12. Let h = r - 1. Which is smaller: h or d?
d
Let o = -200 + 271. Is 71 smaller than o?
False
Suppose -11*n + 139 = -950. Are 101 and n non-equal?
True
Suppose j + t + 8 = -3*t, 2*j - 3*t = 39. Suppose -j + 9 = 3*q. Is q smaller than -2/25?
True
Let l = 983 - 4917/5. Is l < 31?
True
Let c = 4.4 - 3.4. Let o = 0.34 - 0.92. Is o > c?
False
Let q = 12 - 14. Let m be (-4)/(-6)*6/(-4). Let l be m + 1 - (-14)/(-21). Which is bigger: q or l?
l
Let i be 312/(-54) - (-3)/(-27)*3. Which is smaller: i or -5?
i
Let v = 1.13 - 0.53. Do v and 2 have different values?
True
Let z = -208/3 + 1039/15. Are z and 1 unequal?
True
Let m = -230.4 - -227.1. Is -5 at least as big as m?
False
Let p be -3 - (187/(-93) - 1). Let c = p - 467/186. Let z = -20 - -20.1. Which is bigger: c or z?
z
Let a = -862381/373 + 2312. Which is smaller: a or 0?
a
Let s = -222482/103 + 2160. Let f = -277/1648 + s. Let v be -10 + (1 - -1) + 8. Which is smaller: f or v?
f
Let s(g) = -4*g + 6. Let h be s(3). Let v = h + 9/2. Suppose -4*a + 3*r = 3, -3*a + 3*r + 2*r + 6 = 0. Which is smaller: v or a?
a
Let b = -30 + 116. Let i = b - 58. Which is greater: i or 30?
30
Let s = -82 - -82. Let q be 14/(-170) - ((-168)/(-35) - 5). Which is smaller: q or s?
s
Let p be 0/((-2)/((-1)/1)). Let m be (-2)/(-3)*((-189)/1575)/(-1 - -2). Is p less than or equal to m?
False
Let d = 0.3 - 0.2. Let r = -27 - -12. Let p = 13 + r. Is p less than d?
True
Let v(i) = -31*i - 237. Let l be v(-21). Is 413 > l?
False
Let r = -105 - -109. Which is smaller: -16 or r?
-16
Suppose 1023 = -15*m - 387. Which is smaller: m or -93?
m
Let v = -831.2 + 833. Is v > -4/7?
True
Let k(a) = -a**2 - 4*a + 34. Let s be k(-8). Suppose s*t - 14 = 2*g, 2*t + g - 10 = 10. Is t > 12?
False
Let a = -5145876/467 - -11019. Which is smaller: -1 or a?
-1
Let v(r) = -r**3 + 6*r**2 + 8*r + 7. Let x be v(7). Let z = -11 + x. Let b = 151/2 + -74. Is z less than b?
False
Let x = -1/5 + -2/15. Let r = 39.98 + -43.68. Which is smaller: x or r?
r
Let d = -133970/7 - -19172. Which is bigger: d or 34?
34
Let y be (-132)/(-22) + (-21)/3. Is -3.88 not equal to y?
True
Suppose 0 = 3*m - 2*f + 3 - 1, 3*m + 2*f = -10. Let a be (-16)/3*9/m. Which is greater: a or 26?
26
Let n be -1 - 2/(0 - -2). Let m(b) = 2*b**3 + b**2 - 3*b - 3. Let t be m(n). Is -6 less than t?
False
Let g be ((-520)/(-15))/((-24)/(-36)). Which is bigger: g or 46?
g
Suppose 16758 = -41*p + 3*p. Which is smaller: -438 or p?
p
Suppose -l = -2*s + 11, 2*l - 2*s + 14 = -0. Suppose g - 7 + 3 = 0. Let h = g + -5. Does h = l?
False
Suppose -4*u + 2*u + 8 = 0. Suppose -2*q = -d - 2, -13 = 2*q + d - 7. Which is greater: u or q?
u
Suppose 0 = 34*z - 30*z + 4. Which is greater: 1/60 or z?
1/60
Let w = -482/1387 - -10/73. Let u be (-2 + 5 - 13) + 10. Which is bigger: w or u?
u
Let j(q) = -5*q + 40. Let n be j(8). Which is smaller: -0.135 or n?
-0.135
Let w be (-82)/(3 + (-831)/285). Let k = 968 + w. Let y = -11/2 - k. Which is smaller: y or -2/7?
-2/7
Let b be 1/(4/(8/2)). Are b and 10/31 nonequal?
True
Let n be (2 + -3)/(125/(-75)). Is n at most as big as -1?
False
Let g = 2011 + -2335. Which is greater: -320 or g?
-320
Let x = 24/25 - -1019/225. Let v = x - 44/9. Suppose 3*d + f + f = 13, -3*d + 2*f - 7 = 0. Which is greater: d or v?
d
Let a(o) = 2*o**2 + 95*o + 19. Let v be a(-47). Which is smaller: v or -34?
-34
Suppose -13*k = 4*k + 272. Which is smaller: k or -3?
k
Let z = -5337599/85265 + 2/17053. Which is bigger: z or -64?
z
Let y = 0.8 - 0.8. Let j = 3.85 - 3.5. Let z = -2.35 + j. Which is smaller: y or z?
z
Let a be (1 - 3) + -2 + 5. Let o be 2/4*2*3. Let l be 1/o + (-11)/(-21). Which is greater: l or a?
a
Let n = -334 + 13689/41. Which is bigger: 0 or n?
0
Let v = 4 - -7. Let l = v + 29. Suppose 0 = -7*t + 2*t - l. Which is greater: t or -7?
-7
Let s be (-2)/(-9) + (-172)/(-36). Let p = -124 + 127. Which is bigger: s or p?
s
Suppose 2*o + 6 = 5*w + 38, 3*o = 5*w + 43. Let v(g) be the third derivative of -g**5/60 + 3*g**4/8 - 4*g**3/3 + g**2. Let q be v(6). Which is smaller: q or o?
q
Let k be (-8)/25*(-10)/(-8). Let p = 235/92 - 30/23. Which is bigger: k or p?
p
Suppose 0 = -5*m + h + 79, 2*m - 6*m = 4*h - 44. Let k be (48/m)/((-2)/25). Let b be 1/2 + 28/k. Which is greater: b or -1?
b
Let