*2 - 7*d + 64. Let s(f) = 6*l(f) + 7*x(f). Let k be s(0). Let o = k + -45. Which is bigger: o or 14?
14
Let p(a) = -60 - a + 0*a + 3*a - 6*a. Let s(b) = 3*b + 40. Let c(o) = -5*p(o) - 7*s(o). Let d be c(19). Which is greater: 2/23 or d?
d
Let j = -66223/4444 - -164/11. Suppose -223*v + 255*v = 0. Are v and j nonequal?
True
Let b = 3265.12 - 3265. Is 7/8 <= b?
False
Suppose -63*j = 5*j + 280772. Which is greater: -4131 or j?
j
Suppose -3*y + 69 = 2*k - 17, -k + 28 = y. Let q be (5/9)/((-5)/y) - -4. Which is smaller: q or 217?
q
Suppose 3033 + 3513 = 35*h - 5914. Is 5 >= h?
False
Let a be -855 + (-6)/1*(-5)/(-10). Let r be 1664/a*3/(-2). Which is bigger: r or 2?
r
Let v be 46/(-6) + 40/(-12) + 3. Let w be 20/8 + 28/v. Which is bigger: w or -2/461?
-2/461
Suppose 11*w + 128835 = 426*w - 89870. Which is smaller: w or 525?
525
Suppose -92*u - 76998 = 13530. Which is bigger: -4926/5 or u?
u
Suppose 20 = 2*r - 38. Suppose 3*a = 7*b + 54, -4*b - 4 - 14 = -a. Which is smaller: a or r?
a
Let o = 0.088 - 2.248. Let f = o - -1.7. Let y = -0.06 - f. Is 1 at least y?
True
Let k(n) = 12*n**3 - 18*n**3 + 1 - 3*n**2 + n + 12*n**3 + n. Let w be k(2). Is 42 smaller than w?
False
Let v = -211 + 210. Let p be (-381)/5 + (4/(-5) - v). Is -77 greater than p?
False
Let n = 2.43 - 2.14. Let a = n + 0. Which is smaller: -0.3 or a?
-0.3
Let g = 17 + 29. Let w = 39.5 - g. Let j = w - -6.3. Do j and 1/14 have different values?
True
Let y = 23.46 + -0.46. Let c(q) = -q**3 + 37*q**2 - 328*q - 43. Let x be c(22). Is y at least x?
True
Let j be (-5)/(805/(-119)) - 1. Are j and -1 equal?
False
Let c = -3410 - -3410.6216. Which is smaller: c or -1?
-1
Suppose 0 = 20*d - 16*d - 12. Suppose 5*j = 4*t - 6*t - 34, 31 = -5*j - d*t. Let c be 0/(j + 4)*-1. Is -5/9 greater than or equal to c?
False
Let q be ((-12)/(-48) - 2/8)/2. Suppose 4*h = -q*h + 92. Let y = -22 + h. Is y less than or equal to 7/3?
True
Let t(s) be the first derivative of -s**2 - 4*s - 1. Suppose -5*r = b + 27, -45 = 5*b - 2*r - 3*r. Let z be t(b). Is z != 21?
True
Suppose 0 = -16*i - 2384 + 1408. Which is greater: i or -63?
i
Let u(s) = -s**2 + 19*s + 220. Let b be u(24). Let g be (-4 + -1)*(-320)/b. Which is smaller: 12 or g?
12
Let m = 140 - 140.432. Let f = m - -0.212. Which is smaller: f or 2/15?
f
Let w = -35 - -129. Suppose 2*p - 54 = 3*m, 64 = 5*p + 4*m - w. Let n be (-3)/9 + 182/6. Are p and n equal?
True
Let h = 3447 + -3443. Suppose 0 = 3*u - n + 347, -50 = 2*u + 3*n + 185. Let o be h - (u/(-40) - 0). Is o greater than 2?
False
Let k(o) be the first derivative of 5*o**3/3 - 15*o**2/2 + 15*o - 93. Let r be k(1). Let h = -198/17 - -1047/68. Which is bigger: r or h?
r
Let z be (3/822)/(11 - (14 + (-15)/6)). Suppose 2*g = -3*g - 5. Which is bigger: g or z?
z
Let g = 114.13 + -1.13. Let d = g - 110. Which is smaller: 12 or d?
d
Let u = -31 - 25. Let c = -54.7 - u. Which is smaller: c or 1/3?
1/3
Let n be (-3 - (-48)/15)*(-1890)/(-84). Which is greater: 4 or n?
n
Let n = -226.47 - -223.47. Suppose -2*t - t = -33. Which is smaller: t or n?
n
Let y = 130 + -171. Let r(w) = w**3 + 42*w**2 + 41*w - 2. Let h be r(y). Let i = -1/55 - 153/55. Which is bigger: h or i?
h
Let y(d) be the second derivative of d**3/6 + 31*d**2/2 + 4*d - 1. Suppose -63 = 4*u + v, 0*v - 4*v - 12 = 0. Let f be y(u). Are 9 and f equal?
False
Let p = 42.47 - 829.52. Let i = -787 - p. Which is smaller: -1.2 or i?
-1.2
Let o = 9 - 7. Suppose -10*z + 41 = -9. Suppose -9 = -5*k + o*u, 4*k + z*u = u + 24. Which is bigger: k or 1.1?
k
Let h = -53736 - -53683.026. Let b = h + 53. Which is greater: 0 or b?
b
Let a(m) = 15 - 29 + 47 + 80 - 8*m. Let v be a(29). Are v and -119 unequal?
False
Let u(x) = -501*x - 2098. Let q be u(-4). Let t = 22 - 116. Is t greater than q?
False
Let f be (-1 - (-6)/9)*3*-43. Let s be (f/37)/((-1)/4) + 4. Which is smaller: s or 0?
s
Let f be (-80)/(-5)*58/116. Let r = 10.74 - -0.26. Which is bigger: r or f?
r
Let q(o) = -115*o + 1953. Let b be q(17). Which is bigger: -9/13 or b?
-9/13
Let w = 54.5 - 10.5. Let k = -46.3 + w. Let z = 0.89413 - -0.10587. Is k at least z?
False
Let o = -237 - -166. Let k = -64 + o. Let w be 123/k + (22/(-10) - -2). Which is bigger: w or -1?
-1
Let z = -118 + 126. Let l(m) = 6*m - 47. Let q be l(z). Is -2/251 <= q?
True
Let x = -80.13 - 21.87. Which is smaller: x or 29?
x
Suppose 0 = 2*r - 5*s + 119, -2*s - 169 = 3*r + 38. Let z = -352 + 229. Let n = z - -57. Which is smaller: n or r?
r
Let i = -168 + 62. Let w = -144 - i. Let c = -46 - w. Which is smaller: c or -1?
c
Let r = 1.4 + -6.2. Let f = 52.8 + r. Let s = f - 57. Is -3 at most s?
False
Let d(a) = -21*a**2 + 29*a + 31. Let n(o) = -13*o**2 + 19*o + 20. Let i(g) = 5*d(g) - 8*n(g). Let l be i(-6). Which is bigger: -1/111 or l?
l
Let y be ((-8)/(-1264))/((-2)/29564). Let w = y - -1052081/8295. Let j = 100/3 - w. Is j greater than -0.1?
True
Let a = 250 - 46. Suppose -6*d - 552 - a = 0. Let o be 54/36*(-2)/d. Which is greater: -1 or o?
o
Let h be (9/2)/(195/(-6760)). Which is bigger: h or -155?
-155
Suppose -14 = -6*p + 4*p. Let y(b) = 8*b - 11. Let d(h) = 10*h - 7. Let x(g) = 2*d(g) - 3*y(g). Let n be x(p). Do n and -10 have different values?
True
Let o = 3077 - 113847/37. Let f = 0.4 - 0.5. Which is smaller: f or o?
f
Let b = 33.032 - 35.032. Which is bigger: 816 or b?
816
Let n = 162 - 95. Suppose -n = -5*z + 18. Is z at most -3?
False
Let o be ((-20570)/(-25))/(-17) + (-6)/10. Is 95 less than or equal to o?
False
Let i = -1660.13 + 1662. Which is smaller: 3/5 or i?
3/5
Let g = -27005 + 26689. Which is bigger: -3157/10 or g?
-3157/10
Suppose 0*v - 12 = -4*v. Suppose -2*h - 5 = 3*j + 2, -2*h = -v*j + 13. Let f be ((-6)/14)/(4/20) + 3. Is f < j?
True
Suppose 0 = -576*f - 10312 - 15032. Suppose -4*j - 3 = -15, -2*o = 3*j + 81. Which is smaller: f or o?
o
Let f be (((-119)/14)/(-17))/((-17)/(-2686)). Which is bigger: 148 or f?
148
Let s = -93/28 + 11/4. Which is bigger: -0.066 or s?
-0.066
Suppose 3*o = -5*l + 59, -3*o - 3*l + l + 56 = 0. Let a be (-192)/(-20)*80/6. Let b = -257/2 + a. Which is greater: b or o?
o
Let f = 7936 - 39683/5. Let k = 4/548003 - -1280682751/35620195. Let o = 179/5 - k. Which is smaller: f or o?
f
Let b = 2/56425 - -224458/35039925. Is 1 not equal to b?
True
Let m(w) = 7*w - 15. Let j be (5/(-2))/(65/(-52)). Suppose 2*g = -j*i + 26, 7*i - 2*i = -4*g + 60. Let c be m(i). Is c at most 40?
False
Suppose 2 = -3*n + 4*t + 14, -n + 5*t = -15. Let q = n - -1. Let m be ((-2)/(-3)*-3)/7. Is q greater than or equal to m?
True
Let x = 2178287/9548 - 1597/7. Is -1 not equal to x?
True
Let l(y) = 3*y**2 - 7*y + 6. Let g be l(2). Suppose -d = -g*z + 32, 0*z - 2*d = 2*z - 16. Let j be 4*(1/(-2) + (-6)/z). Is -25/4 less than or equal to j?
True
Suppose 5*q = 3*c + 79, 26 = 2*q - c - 5. Suppose -l + 13 = q. Let o be l*-4*(-55)/20. Are o and -12 equal?
False
Let t = 0.9789 + 0.0211. Let g = -260 - -216. Which is greater: t or g?
t
Let p = 1035 + -860. Suppose 4*k + 5*z = -k - 415, -2*k - p = 5*z. Which is smaller: k or -85?
-85
Let g(r) = -r**3 - 4*r**2 + 2*r + 10. Let s be g(-4). Suppose t = o - t - 16, 2*o + s*t - 2 = 0. Suppose 0 = 2*q + 76 - 74. Do o and q have the same value?
False
Let d(y) = -y**3 - 15*y**2 - 41*y. Let t be d(-4). Let r be -2*(-10)/t + 7029/7668. Suppose -2 = b - 0. Which is greater: r or b?
r
Let h(n) = -375*n - 1151. Let z be h(-7). Is z < 1474?
False
Let d be -1 + (-7)/(-4) + (-500)/(-16). Let f(x) = -x**2 + 5*x + 2*x + d + x - 2*x. Let i be f(0). Is 32 at most i?
True
Let m = -1 + 1. Let y = -1635 - -21269/13. Let g = y - -8/65. Which is greater: m or g?
g
Suppose -3*f + 3*i + 3 = 0, -3*f = 2*i - 6*i - 3. Let h be 47 + 34062/(-1722) + -27. Is f greater than or equal to h?
True
Suppose -28443 - 19924 - 11853 = -10*d. Is d less than 6022?
False
Let x(t) = t**3 - 5*t**2 - 9*t + 6. Let p be x(6). Let d = -7.291 + -0.209. Let y = d + 6.5. Which is smaller: p or y?
p
Let m = 32927/1949045 - 18/1631. Which is smaller: 1 or m?
m
Let t = 4 + 17. Let x(k) = k**2 - 19*k - 108. Let c be x(t). Which is smaller: c or -459/7?
c
Suppose -14 = -3*y + 2*i, 5*y - 4*i - 6 = 22. Let n be 4/(0 - (-1226 - 0)). Is n not equal to y?
True
Let i = -67/161 + 3/23. Let s = 75 - 81. Let n be 9/s*(-34)/(-12)*-4. Which is bigger: i or n