(-1)). Suppose 4*c = 9*c + 85. Let g be 0 + c/45 - 93/(-155). Which is smaller: g or u?
u
Let h = -34.1 - 124.9. Let x = h + 156. Is 2 at least x?
True
Let z(h) = h**3 + 10*h**2 + 38*h + 14. Let r be z(-4). Let l be (-20)/(-35) - 0 - 4/r. Let x = -1 + 1. Is l less than x?
False
Let i be (-2 - -1 - -7)/2. Suppose -2*p + 120 = 2*f, 0 = 4*p + 4*f - i*f - 249. Let t = 54 - p. Do 2 and t have the same value?
False
Let y be 7/4 + -1 + (-8 - 1587/(-219)). Do y and 3/7 have the same value?
False
Suppose 0 = 32*d - 20 - 12. Is d < 7/1059?
False
Let a = 0.16 - 0.26. Let t be ((-1)/(-6) - ((-250)/(-60) + -3))*20. Is a smaller than t?
False
Let t(u) = u**2 + 1778*u - 220. Let o be t(0). Which is smaller: -198 or o?
o
Let z = -6 - 18.9. Let o = z - -22.9. Which is smaller: 0.08 or o?
o
Let d = 2/3629147 - -3171874148/598809255. Let p = -74/15 + d. Suppose -19*b + 24*b = -3 + 3. Does p = b?
False
Suppose -12*t + 16*t = -5*h - 15, 0 = 3*h - 4*t + 9. Let f be (224/(-56))/((-1 + 7)/h). Suppose 3*b + 2*b = 5. Is b greater than f?
False
Let r(f) = -f**3 - 11*f**2 + 54. Let m be r(-12). Suppose 282*n + m = 285*n. Which is bigger: 64 or n?
n
Let q = -3121029479461003084515587/75007867382757157845213 - -93/7996856113401134. Let k = q + 4238/44559. Let x = k + 6/421. Is -43 < x?
True
Let n = -2775 - -2732. Is 5 smaller than n?
False
Let r(z) = z**3 + 35*z**2 + 247*z - 12. Let y be r(-10). Is -10 >= y?
False
Let t(r) = -5*r - 10. Let a(o) = 6*o + 11. Let h(f) = -4*a(f) - 5*t(f). Let q be h(9). Let i = -227 + 240. Which is smaller: i or q?
i
Suppose 13*s - 3*r - 85 = 8*s, 5*r = -25. Let u = 33/248 - -22089/1736. Which is smaller: u or s?
u
Let f be (10/(-15))/((-6)/9). Let y(p) = -48*p**2 + 5*p - 2. Let h be y(f). Does -47 = h?
False
Let b(n) = 35*n + 43*n + 37*n - 51 - 110*n. Let r be b(19). Let z(q) = -3*q + 14. Let s be z(-10). Is s at least as big as r?
True
Let c be (-4)/14 + 1622/5628. Let i be (-267195)/(-54270) + 3 + -8*1. Let b = c + i. Which is bigger: 1 or b?
1
Suppose 5*c - 4*t - 1 = 0, -7*t + 2*t = -5*c + 5. Which is smaller: c or 273/4?
c
Let a be (4/3)/(14/231). Let h(k) = -16 - 13 - 2*k + 5*k + 10. Let t be h(6). Is a at most t?
False
Let v = -8336 - -15008. Is v at least 6673?
False
Let w be (-7 + 7 - (-1 - 0)) + 1. Suppose -w*k + 539 = 2*a - 1021, -2*a - 5*k = -1560. Let s be ((-30)/a)/(2*2/8). Which is smaller: s or 1?
s
Suppose 1075 + 680 = -13*u. Let a = 1 + u. Is -136 != a?
True
Suppose 3*d = 8*d, -2*p + d - 16 = 0. Let m be 9/3 - ((-136)/7)/p. Is -11 smaller than m?
True
Let y = -3 - -3.2. Let r be ((-140)/47250)/(14/42). Which is greater: r or y?
y
Suppose 0 = -5*x - 48 - 12. Suppose 0 = -36*o + 35 + 37. Let u be 4/(x/9) + o. Is u bigger than -11/10?
True
Let p = 49 + -16. Let y = -33.24 + p. Let s be (9/(-2))/9*4. Are s and y non-equal?
True
Suppose -13*r - 143*r - 29693 = 273103. Is -1942 smaller than r?
True
Let j = -6672 + 46693/7. Is j > -2?
True
Let j be -1*-1*6*(-2)/4. Let k(w) = -w**3 - 6*w**2 - 11*w - 6. Let v be k(j). Which is greater: v or -76?
v
Let y be (-6)/284*4/(-3). Let v be (64/80)/(0 - (-2)/5). Let p be (-2)/1 - (-5 + v). Are p and y non-equal?
True
Let j(i) be the second derivative of i**5/20 + 13*i**4/12 + 3*i**3/2 - 31*i**2/2 - 11*i. Let t be j(-13). Which is greater: -150 or t?
t
Suppose -80 = -g - 18. Suppose -15*w = -16*w - g. Let u = -63 - w. Which is smaller: u or -6/37?
u
Let o = 43 + 265. Does 0 = o?
False
Let x = 11035 + -9498. Do 1536 and x have the same value?
False
Suppose -92 - 66 = 5*v + 4*p, 6 = -3*p. Let a be 87/v + 3 - 1573/130. Do a and -16 have the same value?
False
Let n = -40921 - -12276311/300. Do n and 0 have the same value?
False
Let b be ((-10)/(-15))/(6/(-5823)). Let a = -423 - b. Suppose -8*l = -l + a. Does -32 = l?
True
Let r be (-450)/(-24) - (-12)/(-16). Suppose -r*i - 6*i = 192. Is i at most as big as -14?
False
Let x be (-70 - -71)*(-147)/1. Which is greater: x or -1612/11?
-1612/11
Let z = -444 - -453. Let i be 0/((-45)/5) + z/7. Is 3/4 > i?
False
Let i(c) = 3*c**2 + 2. Let a(p) = -4*p**2 - 2. Let y(s) = 2*a(s) + 3*i(s). Let k be y(4). Let t = -2.1 + 2. Which is smaller: t or k?
t
Suppose -2*v - 3*z = 30 - 13, 0 = 5*z + 25. Let s be (-135)/1545*(-9 + 8)/3. Is s not equal to v?
True
Let z = -1728 + 1726. Is -32/63 bigger than z?
True
Let y(m) = 6*m + 35. Let q be y(32). Let f = q - 240. Which is smaller: f or -17?
-17
Let u = -0.7 - 0.3. Let b = -264 + 358. Let t = b + -64. Which is smaller: u or t?
u
Let p(s) = -5 + 28 - 9 - 8 - 38*s. Let f be p(7). Which is smaller: -261 or f?
-261
Let p = -355 - -423. Suppose -63*l + p*l = -695. Is -138 greater than or equal to l?
True
Let z = -2948 - -2951. Which is smaller: z or 18?
z
Suppose 2*z = -3*k + 53, -130 = -5*z - 5*k - 0*k. Let o(a) = 5*a**2 - 122*a + 6. Let i be o(z). Which is smaller: 80 or i?
80
Let c = -3.39 - -2.21. Let v = c + 0.35. Which is greater: v or -1?
v
Let b be 6462767/(-88312) - (10 + (-810)/80). Let c = b - -1388/19. Which is greater: c or 1?
1
Suppose -u - 3 = -3*u - 5*d, -5*u - 5*d + 30 = 0. Let b = -31 - -95. Suppose 3*p - b = -5*p. Is u at most as big as p?
False
Let t be (1712/(-14))/((-26)/91). Let f = t + -464. Is -2 >= f?
True
Let j be 1 - (-33 - -32 - (58/(-70) - 1)). Is -1 at least j?
False
Let z(b) = -b**3 + 48*b**2 + 215*b - 266. Let n be z(50). Is 5485 less than n?
False
Let h = 33621.3 + -33621. Which is greater: -32.1 or h?
h
Let b = 0.25 + -0.54. Let o = b + 0.32. Let x = 0.07 + o. Are -4 and x equal?
False
Let v(o) = -2*o**2 + 24*o + 11. Let c be v(12). Suppose -5*i = u + 15 + c, -5*u = -4*i - 15. Is u less than or equal to -4/23?
True
Let m be (1*(-2)/2)/(1 - 0). Let v be (-141 - 4/(-4))*1. Let g be (24/v)/(3/30). Are g and m equal?
False
Let f be (106/8 - 9 - 8)*24/(-10). Which is smaller: f or 144/17?
144/17
Let b(f) = -42*f - 381. Let v be b(-9). Suppose 5 - 1 = -2*w. Are w and v unequal?
True
Let k = 293192/11 - 26677. Which is bigger: k or -24?
k
Let x = -1 + 0. Let n = 16.73 + -18.8. Let r = -1.07 - n. Which is smaller: x or r?
x
Suppose -k - 7 = -4*u, -12*k + 13*k = 3*u - 4. Is -0.45 at least k?
False
Let g = -119.1 + 112.07. Let f = 7.13 + g. Which is smaller: f or 17/8?
f
Suppose 1865 = 13*w - 319. Let g = 142 - w. Which is smaller: g or -25?
g
Suppose -1967 = u + 3*t, -4*u = 8*u - 4*t + 23404. Which is smaller: u or 0?
u
Suppose -7 + 207 = -8*i. Let t be i/5 - (-292)/68. Is -2 greater than or equal to t?
False
Let w(k) = 8*k + 50. Suppose 456 = -7*n + 3*n. Let h = n + 108. Let v be w(h). Is v <= 3/2?
False
Let w = 0.2 - -0.2. Let c be (-1320)/220 - (-921)/153. Does w = c?
False
Let k = 240 + -291. Suppose -13*x - h - 161 = -10*x, 0 = 3*x - 2*h + 155. Do x and k have the same value?
False
Let w = 162 + -157. Suppose 2*h + 4 = 5*n, -2*n = n - w*h - 10. Which is greater: 48 or n?
48
Let c = -315 - -319. Let r be c/(165/135 - (-4)/(-18)). Which is bigger: r or 14/3?
14/3
Let s(i) = -5*i - 5. Let y be s(-2). Let h(t) = t + 18. Let m be h(-28). Let f be ((-8)/(-10) + -2)*m. Which is smaller: f or y?
y
Let o = -138033/5 - -27607. Which is smaller: o or -111?
-111
Suppose 0*m + 5*m + 60 = 0. Suppose 9*r - 2655 = -108. Let y = r - 886/3. Is y greater than m?
False
Let m = -407782/33 - -12357. Is m greater than -1?
True
Let d = -235/1911 - -4/39. Suppose -1350*f + 6 = -2 + 8. Which is smaller: f or d?
d
Suppose 12228 = 107*f - 65*f - 13560. Which is smaller: 618 or f?
f
Let z = 9389.8 - 9390. Which is smaller: z or -3883?
-3883
Let l = -0.09124 + 1.09124. Is -33 less than or equal to l?
True
Let m be (-1 + 2)/((-1)/9). Let t(j) = -7*j - 208. Let k be t(-33). Suppose 68 = -5*h + k. Is m less than or equal to h?
True
Suppose d = -0 + 13. Suppose t - d = 3*f, -16 = -5*t + 5*f + 9. Let h = 26/27 - -194/135. Which is greater: h or t?
h
Let j be -16*14/(-1008) - (-212)/18. Suppose -2*q + 72 = 5*o, -3*q + 7*q = -o + 126. Let u = j - q. Is -20 != u?
True
Suppose 99 = 9*l - 0*l. Suppose 8*p - l*p = -480. Which is bigger: 159 or p?
p
Let g = -156 - -5138/33. Let c = 410532.1 - 410532. Which is smaller: c or g?
g
Suppose 2*x - 3*r - 1507 - 393 = 0, -5*x + 4*r = -4750. Does 950 = x?
True
Let r be (0 + (-7295)/(-22))*(-18)/(-45). Which is smaller: 134 or r?
r
Let c = -9293 + 5780245/622. Let j = c + 12449/5598. Which 