than -521?
False
Let f(m) = 2*m + 3. Let r be f(0). Suppose -4*c + 2*g = -2, -2*c + 5*c = g + r. Suppose 3*w + 150 = 4*t, -4*w + 0*w = c*t - 64. Which is smaller: 35 or t?
35
Let m be (-8)/52 + ((-1188)/52 - -3). Let u = m + -113. Is u < -134?
False
Let a = -45.68 + -0.32. Let c = -46.4 - a. Let x = -1.5 - c. Which is greater: 2/5 or x?
2/5
Let g = 14 - 12. Suppose -2*t + 5*o + 6 = -1, 4*t = -g*o + 2. Is -2/335 at least t?
False
Suppose -14*v + 192 = 2*v. Let x be (-196)/22 - v*15/90. Is x less than -12?
False
Let r = -467 + 406. Let x be ((-3)/(-7))/((-183)/r). Let y = -0.08 + 0.11. Are x and y equal?
False
Let w = -505/28 - -128/7. Let x be (-1528)/12 - (-4)/(-6). Which is smaller: w or x?
x
Let a = -146 + 152. Let m = -36 - -35.82. Let q = 2.18 + m. Which is bigger: q or a?
a
Suppose -895 + 502 = -r. Suppose 4*d + 180 = 2*p, -2*p - 2*p - 3*d = -r. Which is smaller: p or 0?
0
Let h be (-1)/(-3) - (14210/462)/35. Which is smaller: h or -218?
-218
Let s = -4 - -6. Let p be 41/15 - (-31800)/(-13250). Is p <= s?
True
Suppose 0 = 2*x - 5*t + 15 + 4, 9 = -2*x + 3*t. Which is greater: x or 16?
16
Let w = -0.5631 - -0.0941. Let f = -0.169 - w. Which is greater: f or 2/303?
f
Suppose -966 = -2*o - w + 467, o - w - 721 = 0. Is o at least 720?
False
Let l = -4769 - -4663. Which is bigger: -110 or l?
l
Let p = -0.0915 + 361.0915. Let q = p + -486. Is 0 not equal to q?
True
Let n(p) = p + 4. Let c be n(-2). Suppose 23*f + 8 = 25*f. Suppose f = -2*j + 6. Is j bigger than c?
False
Let j be 0 - 1*(-6)/(-26). Let c be -1*(5 - 4) - 746/(-4). Let f = -186 + c. Are j and f equal?
False
Let c = -64942/5 - -12990. Does 3.53 = c?
False
Let o = 38143/265329 + -86/837. Which is bigger: 0 or o?
o
Suppose 0 = -4*f + 6 + 2. Let j(v) = -v**3 + v - 2. Let s be j(f). Suppose 0 = -8*c - 63 - 1. Is s at most as big as c?
True
Let r(d) = -d**2 + 6*d - 4. Let o be r(4). Let w be (-42)/21*(o + (-4 - -2)). Let i be w/12 - 16/(-12). Is 8/15 at least i?
False
Let u = 6852 + -8670. Is -1819 at least as big as u?
False
Let j = -36/31 + -874/155. Let l(v) = -118*v**2 - 1. Let y be l(-1). Let d = y - -477/4. Which is smaller: j or d?
j
Let b = -1473239/371 - -3971. Let i = -1/65899734 + -2630496046/110019605913. Let o = i + b. Which is greater: 0 or o?
0
Let h = -165 + 181.4. Let m = 15.6 + h. Which is greater: m or 0.2?
m
Let y = -190 - -102. Let i = 141 + y. Let t = i - 51. Which is smaller: t or 3/5?
3/5
Let u = 3919 + -317446/81. Is -1 >= u?
False
Suppose 0 = 2*o + 211 + 181. Let u = -196 - o. Is 15/37 greater than or equal to u?
True
Let k be 21/(-14)*4584/(-4). Is k at most as big as 1722?
True
Let p be 1694/(-6) - -5*58/(-435). Is p less than -285?
False
Let o = -20535 + 349331/17. Which is smaller: 13 or o?
13
Let q = -1036.8 + 1028.8. Which is smaller: q or 91/5?
q
Suppose -2*q = 5*q - 315. Let d = q + -41. Let w = -26 - -27. Is w >= d?
False
Let o = 73498 + -2940447/40. Let q be 469/(-36) - (-2)/(-9). Let k = o - q. Is -1 at least k?
False
Let c = 0 + 0. Let m be (-6 - 432/(-44)) + 2/11. Let g be 4/(-3*m) - 1121/(-2679). Which is bigger: c or g?
g
Let l be 471/(-126822)*-24 - 304/3496. Which is bigger: -10 or l?
l
Suppose -3*v - 828 = -168. Which is bigger: v or -219?
-219
Let j(i) = i**2 + i - 1. Let o be j(2). Suppose 13 + 47 = 6*g. Let r be (0 - 5/1) + g + -1. Which is greater: o or r?
o
Let t be -9*290/(-135) - -6. Let q be (10 - 1)*24/9. Is q less than t?
True
Let v = -311 + 328. Suppose -v*t = t + 486. Are t and -31 non-equal?
True
Let f(j) = -2*j - 22. Let b(l) = -2*l**3 + l**2 + 2*l - 3. Let t be b(2). Let v be f(t). Suppose -3 = 2*w + 5*h, w - h + v*h = 2. Which is greater: -2/9 or w?
w
Let j be (-68)/(-3) + (-1)/(-3). Let m = 80 - 58. Let v = m - j. Which is greater: -3 or v?
v
Suppose -185 = 5*h + 4*y - 67, 2*h + 40 = -4*y. Let z = -277 - -280. Let p = h + z. Which is greater: p or -24?
p
Suppose -102*r = -99*r - 6. Suppose -9 + 7 = r*j. Let x = -519/14 - -37. Are x and j unequal?
True
Let k be 330/(-4)*15/((-270)/24). Suppose -15*o = -10*o - k. Let i be 24/106*o + -5. Which is greater: i or -1?
i
Let v(l) = 11*l**3 - 140*l + 272. Let g be v(2). Is 77 less than or equal to g?
True
Let f(l) = l**3 - 11*l**2 - 8*l - 30. Let c be f(13). Let p = 142 - c. Is p greater than or equal to -62?
True
Let a = -11292 + 22585/2. Is a < -6458?
False
Let w = -0.2 - 0.8. Suppose -5*q - 152*y + 156*y - 581 = 0, y + 3*y = -4. Which is smaller: w or q?
q
Let l be (-3)/((-9)/6)*-1. Let b(d) = 2*d**2 + 12*d + 11. Let m be b(-10). Let i = m + -83. Which is smaller: l or i?
l
Let t be (-3)/((-66)/32) - 1. Let z = -1618 - -1633. Let q be (5/z)/(6*(-2)/(-36)). Which is smaller: t or q?
t
Suppose 0 = -4*l - 3 - 13. Let s be 13 - ((-495)/(-612))/(3/60). Are l and s nonequal?
True
Let m = -0.0346 + 244.0346. Let l = m + -239. Is -0.13 <= l?
True
Let l = 1491 + -1438. Which is smaller: l or -1/13?
-1/13
Let n(u) be the second derivative of u**3 + 24*u + 0 - 1/12*u**4 - 12*u**2. Let p be n(0). Is -24 < p?
False
Let z be (34/(-632))/((-59)/(-1416)). Which is smaller: -2 or z?
-2
Let n = 60 + -52. Let q be (-15)/102*n/30. Let i(m) = -m - 1. Let d be i(0). Which is smaller: q or d?
d
Let f = 37 - -34. Let w = f - 74. Let r = -6473/6 - -1076. Which is smaller: w or r?
w
Let a be 6/10*5/(-28). Suppose -24*k = -29*k - 1195. Let l = 239 + k. Which is greater: l or a?
l
Let w be (-14)/(-4) + -3 + (-8)/6. Let h be 2*((-8)/(-12) - 131/(-6)). Let t be 2/(-15) - (-6)/h. Which is bigger: w or t?
t
Let r(b) = -2*b**3 - 10*b**2 - 3*b - 16. Let g be r(-5). Let y(t) = -t**2 - 6*t - 13. Let u be y(-5). Which is bigger: g or u?
g
Let o be 3/((-9)/2)*(-6)/1. Suppose 27 = 3*d - 3*t, o*d - 12 = t - 5*t. Which is smaller: 46/7 or d?
d
Suppose -3*j = 9*s - 7*s - 12, -4*j = 2*s - 16. Which is smaller: -0.1283 or s?
-0.1283
Let f = 13804 - 10979. Which is bigger: f or 2/13?
f
Let h = 13588 + -19432. Which is smaller: -5843 or h?
h
Let u = 8.27 - 8.17. Let d = 0.04 + 24.96. Is d < u?
False
Let b = 15/2 + -37/6. Let r = 10865 - 10857. Is r <= b?
False
Let w = -354027778544616 + 697823800261490178635/1971099. Let t = -775/8919 + w. Let b = t + 210/17. Is b at most 2?
True
Let q be (-10 + (-7)/(364/(-524)))*(170 + 0). Which is smaller: q or 12?
12
Suppose -1403*h = -1375*h - 4900. Let m be 173*(2 + -4 + 3). Which is greater: m or h?
h
Let c = 11.1 + -12.5. Let f = -1.2 - c. Let q = 27.99 - 28. Is q not equal to f?
True
Let i(m) be the third derivative of m**4/24 + 53*m**3/6 - 6*m**2. Let n be i(-21). Let l = 33 - n. Which is bigger: l or 2/9?
l
Suppose -42*z + 4680 = 49*z - 127*z. Which is smaller: -139 or z?
-139
Suppose 2*f - 5*f = 0. Let n = 6802216/27 + -251934. Which is bigger: n or f?
f
Let h be 76/20 - (4/5 - 1). Suppose h*x + x - 285 = -5*d, -4*d + 2*x = -210. Are 54 and d equal?
True
Let w = -18 + 19. Suppose -4*f + 0*f + 5*d = -w, 0 = -2*f - 5*d + 23. Suppose 68 = -f*k - 28. Is k less than 3?
True
Let a be 7 - (-2076)/(-186) - -4. Let h = a - -69/620. Which is greater: -9 or h?
h
Let n be (-1)/422*(-200)/(-850). Which is smaller: n or 0?
n
Suppose 3 + 17 = -5*d. Let k = d + -22. Let b be 6/(-24) + 2850/(-120). Which is bigger: k or b?
b
Let p = -35369/4051775 + 36/4225. Is p != 0?
True
Let l = 263 - 180. Let f = 82.13 - l. Which is bigger: f or -0.1?
-0.1
Suppose 5*d - 31 = 3*a - 138, -5*d + a = 109. Let c be ((-1)/(-2))/(0 - (-5)/(-250)). Let p be (4 - 3) + c + 4/2. Is p equal to d?
True
Let m = 151.64 + -145.261. Let d = m - 6.4. Is -2/5 smaller than d?
True
Let y = -4449 + 4453. Let x(d) = d**3 - 8*d**2 + 8*d - 7. Let v be x(7). Let l = -3 - v. Is l != y?
True
Let c = -20106 - -20162. Is c at most -198?
False
Let k be (1 + -1 - (-70)/21)*6. Suppose -3*y + k = y. Suppose -y = 5*n - 4*c, -3*c + 8*c = 0. Is n at least -5?
True
Let o = -0.03 + -0.16. Let p = 0.19 + o. Let r be (-27)/(-21) + 2 + -3. Which is greater: r or p?
r
Suppose 0 = 4*n - 2*w + 8570, 21*w = 32*w + 33. Are n and -2144 nonequal?
False
Let w be ((180/25)/(-4))/((-1017)/(-1695)). Suppose -2*q - 3*q = 90. Let m be 4/q + (-14)/18. Is w less than or equal to m?
True
Let y = -10819 + 205291/19. Is y at most -14?
True
Suppose 0 = -3*p + 3*q + 12, -5*p - 5 - 5 = q. Let w be (p + 6 + -6)*1. Which is bigger: w or 3/70?
3/70
Let j = -863.91 - -864.62