 l(z) = -2*z - 30. Let n be l(-15). Suppose -4 = -h, 3*u + 2*u + 5*h + 60 = n. Let m = 15 + u. Is m less than 3?
True
Suppose 0 = -3*t + v - 16, 1 = -4*v - 7. Let q be (-4)/(-26)*t/(-4). Which is greater: q or 0?
q
Let k be (-3)/2*(-34)/(-5). Let a be 19/((-19)/(-5)) + -16. Is k greater than a?
True
Let d = 879.4 + -876.9. Let i be 3/(-3 - (-2 - -4)). Do d and i have the same value?
False
Let j = -69962/585 + 1078/9. Are -1 and j non-equal?
True
Let t be (9811/(-1))/((-5065)/(-11035)). Let a = -21375 - t. Which is smaller: a or 1?
a
Suppose 56*t + 249 = 5*y + 38*t, -71 = -2*y + 5*t. Let c(f) = -f + 7. Let o be c(5). Suppose -o*m = -3*m + 2. Is m greater than y?
False
Suppose -899 = 3*r + 1774. Let q = -54349/61 - r. Is q >= 1?
False
Let m = 6.5 + -9. Suppose 18*o + 183 = 2883. Let l = -149 + o. Does m = l?
False
Let m = 84 + -296. Let g = 211 + m. Which is bigger: -1/46 or g?
-1/46
Let c be (14 + (-26586)/28)*1. Is c smaller than -935?
True
Let x(o) = 2*o**2 + 7*o + 7. Let v be x(-4). Let f = v + -11. Suppose 0 = 49*z - 51*z. Is f smaller than z?
False
Let l be 1/(-5) - 2751/(-105). Let w(v) = -v + 1. Let c be w(-2). Suppose r - 23 = c. Is l bigger than r?
False
Let o(u) = -93*u - 2198. Let v be o(-23). Which is greater: v or -44?
-44
Suppose -569*y + 63928 = -317*y - 313*y. Is -1045 < y?
False
Let m = 55679 + -946542/17. Let x = -0.8 + 0.4. Is m at most x?
False
Suppose -l = 1218 - 1214. Is l less than or equal to -6?
False
Suppose 0 = -3*v + 3 + 3. Let b = 39135/24088 + 1/3011. Is b greater than v?
False
Let t = -577 - -223. Let n = t - -258. Is n <= -96?
True
Let d = -2485 - -2487. Which is bigger: d or -77?
d
Let m = 16 - 16.04. Let k = 2962 - 5927/2. Is m > k?
True
Let h(y) = 213*y - 650*y + 220*y + 221*y. Let r be h(3). Which is smaller: 16 or r?
r
Let k be (196/7)/(1 - 0). Let w = k + -12. Let r be 2*5*(-8)/w. Is r < -1?
True
Let y be 1/(-1) - 30/(-34). Let l = 1329.9244 - 1330. Let r = 0.0244 - l. Are r and y nonequal?
True
Let g(f) = -1. Let s(b) = 3*b - 13. Let u(k) = 3*g(k) + s(k). Let h be u(5). Let i be (0/(-7 - -6))/(1*h). Is i at least as big as -2/3?
True
Let g = -382191/25 - -20281138/1325. Let y be ((-8)/(-60))/((-6)/(-2547)*-3). Let b = y + g. Is b bigger than 1?
False
Suppose -5617 + 65 = -36*a + 676. Which is smaller: a or -3/52?
-3/52
Let s be 309/5*(-95)/(-57). Which is smaller: 718/7 or s?
718/7
Let q be 2/(18/(-15))*(-723)/(-1205). Let a be 48*(-2 - 8/(-3)). Is a greater than q?
True
Suppose s = -1709 + 1755. Do 87 and s have the same value?
False
Let y be (-2 + 344/174)/4. Let p(s) = -s**3 + 72*s**2 - 1272*s + 40. Let o be p(41). Does o = y?
False
Let q be 8 - (-12 - (4 - 10)). Suppose -q*w - 12 = -13*w. Is -54/5 less than or equal to w?
False
Let l(y) = y + 10. Let h be l(-8). Let z = 3611477/38 - 95038. Which is bigger: z or h?
h
Let z = 69.4 + -71. Let q = -6 + 6.6. Let x = q + z. Which is greater: -22 or x?
x
Suppose 233*h - 10 = 228*h. Suppose y - 3 = -h*y. Is 1/25 > y?
False
Suppose -2*t - 4*x = -10, -3*t = -4*x + 16 - 1. Is 136/325 at most t?
False
Let r = -20168 - -20128. Let y = -57 - -19. Does r = y?
False
Let r(m) = 3*m**3 - 2*m - 1. Let z(l) = -16*l**3 + 11*l + 6. Let u(t) = -11*r(t) - 2*z(t). Let b be u(2). Let i be 36/(-10) + b/(-15). Are i and -1 unequal?
True
Suppose 3*i = 4*i - 4, -2*i + 198 = -5*g. Let o be g/(-14) - 32/(-112). Let z be (-2)/(-16)*-39 - (-21 - -16). Is o at most as big as z?
False
Suppose -229 = 6*r + 239. Let w be r*(246/(-60) - -4). Is 8 greater than or equal to w?
True
Let g be ((-8)/54)/(13/(-1248)). Let f(m) = 2*m**3 + 23*m**2 - m + 13. Let p be f(0). Which is smaller: p or g?
p
Let n = -6934080/11 - -2554327851884/4052103. Let o = 978030419/9577698 - n. Let x = 207/2 - o. Which is smaller: 1 or x?
1
Let m = -1121 + 91921/82. Suppose 2*d + 2*a + 242 = 232, a + 5 = 0. Which is greater: d or m?
d
Let q(h) = -h**3 - 15*h**2 + 30*h - 56. Let o be q(-15). Which is smaller: -497 or o?
o
Let t = -42 - -85. Let r be 6*(-13)/((-234)/12) - (16 + -9). Which is greater: t or r?
t
Suppose -21*s + 15*s + 12 = 0. Suppose 0 = -10*x + s + 48. Let t be ((1 - 3) + x)*(-2 - -5). Which is bigger: 2 or t?
t
Let z(t) = t**3 - 7*t**2 + 18*t + 29. Let x(q) = -3*q**3 + 15*q**2 - 38*q - 58. Let k(d) = -2*x(d) - 5*z(d). Let i be k(-7). Which is smaller: i or -26?
i
Let t = 1275 - 619. Let j be (0 - (0 - -1)) + t/112. Is j equal to 6?
False
Suppose -20*o = 412*o - 99*o + 1440558. Is -4329 bigger than o?
False
Let r = -84 + 60. Let g = r - -60. Let c = -516 - -515. Which is bigger: g or c?
g
Suppose 0 = 5*v + 4*k + 37, -4*v + k = -2*k + 11. Let m be (-237)/v - 2/5. Let b = 48 - m. Is b greater than 6?
False
Suppose -1318*o = -1297*o + 109935. Do -5233 and o have the same value?
False
Let s = -839 - -758.2. Let t = s - -503.8. Is 0.1 greater than t?
False
Suppose 0 = -8*m + 11*m + j - 4*j, j = -4*j. Suppose -4*l = -2*a - 20, -a = -3*l + 11 + 5. Suppose 0 = -m*v + l*v. Are v and 2/11 equal?
False
Let n = -154.01 - -154.04349. Is 0 at most as big as n?
True
Let i = -24964 - -74129/3. Which is smaller: i or 2?
i
Let v = -0.428 - -0.38. Let m = -0.228 - v. Let k = m - 0.12. Is 3/4 at most as big as k?
False
Let x = 6558 - 6576. Which is bigger: 47/2 or x?
47/2
Let g(l) = 13*l + 86. Let i(c) = 12*c + 85. Let b(a) = 6*g(a) - 7*i(a). Let x be b(-13). Which is greater: x or 8/43?
8/43
Let k = 20849.47 + -20850. Which is smaller: k or 65?
k
Let r = 1.7449 - 1.7449. Does -2/117 = r?
False
Let y be (17604/(-126)*-1)/((-34)/(-28) + -1). Which is smaller: 648 or y?
648
Let t = -0.0998 - -0.0058. Let w = -0.006 + t. Does w = -2/409?
False
Let f(w) = w**3 - 64*w**2 - 218*w + 281. Let y be f(71). Which is smaller: y or 20089?
20089
Let o be 7/(7 - 28)*62/5. Let z = 4883/1185 + o. Which is smaller: z or -1?
-1
Suppose 0 = 4*j + 2*i - 16, 5*j - 46 = 4*i - 0*i. Let a be ((-11)/(-1133))/(2 + (-11)/j). Does 0 = a?
False
Let m = 38732 + -29939832/773. Let b = m + 299912/2319. Let z = b + -1936/15. Is 0 greater than or equal to z?
False
Suppose -3*g - h = 1983, g + 1329 = -g - 3*h. Let z be 0 + g/56 - (-2)/7. Let f(k) = -k**2 + 3*k + 7. Let o be f(6). Which is greater: o or z?
o
Let m = -166 - -170. Suppose 3*i - 174 - 11 = m*h, -4*i = 3*h - 255. Which is smaller: 61 or i?
61
Let f = -170.957 - 0.043. Which is smaller: 7 or f?
f
Let i = 37684 + -6293246/167. Let z = i + 1226/5177. Which is smaller: z or 1?
z
Let m be 3 - (22 - 8)/(1 + 1). Let l be ((-60)/35)/m + 25/(-42). Is 1 <= l?
False
Suppose 6*c = -566 + 1538. Let t = 132 - c. Is t < -30?
False
Let d(k) = 35*k + 114. Let f be d(-15). Let i = -453 - f. Which is bigger: i or -39?
-39
Let q be 0 - 4/(-10) - (18 - (-34377)/(-1995)). Which is smaller: 8 or q?
q
Let s = -6196 + 6196.9486. Let v = -0.0514 - s. Let b = 0.55 - 80.55. Which is smaller: v or b?
b
Let c be ((-6)/7)/(4/7) - (-18)/4. Which is smaller: 126.5 or c?
c
Let s = 231 - 229. Let i be (4 - (-14 + s)) + 5. Is 19 at most as big as i?
True
Let a = -520 - -525. Suppose -4*v = 5*p - 6*v + 11, p - a*v = -16. Let q be 2/7 - (-138)/(-91). Is q greater than or equal to p?
False
Let v = -31248 - -282698/9. Which is greater: v or 162?
v
Let o = 370.187 + 0.813. Let k = -373 + o. Is k greater than -4/93?
False
Suppose -6*m + 3*m = -24. Let o(v) = v**3 - 13*v**2 + 11*v + 12. Let k be o(12). Suppose k = 3*p - 0*b - b - 32, 5 = -b. Which is bigger: p or m?
p
Suppose -12 = -2*t - 2*y, 0 = 3*t - 2*t - 5*y + 12. Which is smaller: 179/42 or t?
t
Let b(d) = d**2 - 12*d + 60. Let n be b(8). Let c be ((-2)/n)/(288/54). Which is smaller: c or 1?
c
Let n(b) = b + 4. Suppose -w = -3*h - 5, 3*w - h = -3 - 6. Let t be n(w). Let a be -1 - (36/(-16) - t). Is 1 at least a?
False
Let h = 30 - 20. Suppose -5*t = -20, 4*t - h - 7 = -c. Suppose -3*r = 2*o + 11, 4*r - 5*o - 2 = 3*r. Is r smaller than c?
True
Suppose 827 = -18*d + 521. Is -458/25 <= d?
True
Let b = -0.9 + -89.1. Let u = b + 37. Let q = u + 55. Does 7 = q?
False
Let l = -12525266/8532425 - -844/575. Which is smaller: l or -1?
-1
Suppose -1510 - 170 = 20*l. Let u = -109 + 27. Let b = u - l. Which is greater: 8/7 or b?
b
Let j = -33847 + 33854. Is j greater than 1.49?
True
Let x be -551 - ((-20)/(-6) + -4 + 13/(-3)). Which is greater: -543 or x?
-543
Let y = 16152 + -16069.045. Let 