18*h. Let i(w) = -2*w. Let l be i(-4). Is l at least h?
True
Suppose -40*o - 11566 - 1874 = 0. Is -336 greater than or equal to o?
True
Let d = 279880/29 - 9650. Which is smaller: d or 1?
1
Let m(u) = 23*u - 196. Let n be m(15). Is n at least as big as 149?
True
Suppose -2*h - 2*z - 218 = 0, 0*z + 3*z = -4*h - 433. Let k(p) = -3*p**2 - 23*p + 271. Let m be k(8). Is m >= h?
True
Suppose -119*z + 1728 = -146*z. Is -64 != z?
False
Let d be (-1*0/4)/2. Suppose d = 4*z - l - 14, 0 = -4*z - 5*l + 2*l + 6. Let y(n) = -n**3 + 2*n**2 - 1. Let v be y(z). Is -10 greater than v?
False
Let m be (-584)/(-8)*(-1 - 0). Let o = 55 + m. Which is bigger: o or -19?
o
Let j = 3 - 3.1. Let c = -3.53 + -41.47. Is c less than or equal to j?
True
Suppose -39 = 4*p - 7. Let b be ((-4)/(-12))/(2/(-18)). Let o be 20/b - 4/(-6). Which is bigger: o or p?
o
Let q(u) = -10*u - 12 - 3*u**2 + 10*u**2 - 8*u**2. Let x be q(-8). Suppose -2*j + 0*n = 5*n, -4*j = x*n + 12. Is j greater than or equal to -3?
False
Let s be (-7)/(-10) + 3/(-15). Let c(w) be the third derivative of w**4/24 - 5*w**3/6 + 3*w**2. Let u be c(5). Which is greater: u or s?
s
Let y(b) = -b**2 + 9*b - 12. Let z be y(3). Suppose 0 = -5*r + 4 + 6. Do z and r have the same value?
False
Let d = 43 + -42.83. Let j = d - 0.07. Let k = -3.02 + 0.02. Is j greater than or equal to k?
True
Suppose 3*r + 2*b - 5 = -4, -2*r = -2*b + 6. Let n be ((-1)/(-506))/(2/(-8)). Is n at most as big as r?
False
Let a be (-6)/(-2) - (-8 - (-417)/37). Which is bigger: -3 or a?
a
Let v = 74 - -4. Let h = 77 - v. Which is smaller: 31/4 or h?
h
Suppose 0 = 5*v + f - 0*f + 217, 0 = 3*v - 4*f + 121. Is 1/2 at least as big as v?
True
Let z be (-112)/25 + 65/13. Which is greater: z or 1?
1
Suppose -2*b - b + 36 = 0. Suppose 0 = -4*u, 4*s + 0*s + 4*u = b. Suppose -4*y = -s*o - y - 9, 0 = 3*o + 2*y + 4. Which is bigger: -7/4 or o?
-7/4
Let p = 0 - -3. Let h be ((-10)/p)/(20/390). Is h at most as big as -66?
False
Suppose g - 63 = -2*z, 7 = -5*z - 8. Is 66 at least as big as g?
False
Let h(w) = -4*w - 63. Let v be h(15). Let x = 121 + v. Is x < -7/4?
True
Let o(k) = -4*k - 25. Let b be 0/3 - (-3 + 1). Suppose -b*h + 1 = 25. Let q be o(h). Which is smaller: q or 24?
q
Let a be (36/48)/((-2)/(-72)) - 3. Let b be (-6)/a - (-9)/(-12). Which is greater: 0 or b?
0
Suppose 4*p - 3*u = 89, 47 = 3*p + 5*u + 2. Suppose 17*v - 42 = p*v. Let j be 45/(-35) - 4/v. Which is smaller: -6/13 or j?
j
Let h = -45 + 5. Let l = -159/4 - h. Let c = -74.9 + 75. Which is bigger: l or c?
l
Let o be -10*((-324)/(-10))/3. Let a = o - -39. Let n = -203/3 - a. Which is smaller: 2 or n?
n
Let o = -3 - -19. Let f = o + -17. Is -3 <= f?
True
Let u = 0.71 - 0.51. Are -13/4 and u equal?
False
Let x be 8/20 + (-2)/(-20). Which is greater: -19 or x?
x
Let w be (0 - 2/2) + 3. Suppose 2 = 2*y + t, y + 3*t - 19 = -w*t. Is 1/40 != y?
True
Let r be 14/2 - (1 + 0). Suppose -10 + r = -4*h. Suppose 0 = 3*c + 9, -4*c + 39 = 4*i - h. Is i smaller than 12?
False
Suppose 2*o - h + 17 = 0, 9*o - 6*o - 5*h = -43. Is -104/17 at most o?
True
Let b(s) = -s**3 + 17*s**2 + 24*s + 2. Let q be b(18). Let y = q - 129. Which is smaller: -24 or y?
-24
Let d be -4 + 4 + 84/(-32). Which is smaller: d or -2?
d
Let f = -9 - -14. Suppose -6 = -d - f*r - 27, -d = -2*r. Let v be (-9)/((-36)/(-8))*14/4. Which is bigger: v or d?
d
Let s be 11/(-4) + (-3)/(-3). Let h be ((-1)/(-2))/(2/8). Suppose -5*o + 2*k = 18, -5*o - 14 = -3*k + h*k. Do s and o have different values?
True
Let f = -23.87 + 23.67. Which is smaller: f or 143?
f
Let y be (-24)/15*4945/92. Let l(a) = 85*a**3 - 1. Let s be l(-1). Is y less than or equal to s?
True
Let p = -0.15 + -0.11. Let j = p + 0.06. Let y(z) = -z**2 - 3*z + 3. Let i be y(-4). Is j at most as big as i?
False
Suppose 5*m = -3*z - 80, -2*m - 36*z + 34*z = 32. Suppose -76 = 7*y - 3*y. Which is smaller: y or m?
y
Suppose -2*k - 80 = -o, 5*o - k - 655 = -246. Is 82 at most o?
True
Let f = 49.08 - -0.42. Let d = -49 + f. Is -1/2 smaller than d?
True
Let i be 2*(1/(-1) + 0). Let u = 102 + -56. Let x = 46 - u. Which is bigger: i or x?
x
Let r be 3/(12 + -3)*0. Suppose 2*g - g = r. Suppose -3*m + 3 = -3*o, -6*o + o - 3*m + 19 = g. Are 4 and o equal?
False
Let h be (((-1)/(-4))/(-1))/(3/16). Let c = 41 + -33. Which is greater: c or h?
c
Suppose -2*v + 781 = b, b + 1159 = 5*v - 2*v. Suppose -5*h + 4*f = 149 + v, 0 = -2*h - f - 220. Which is bigger: h or -108?
-108
Suppose 0 = -3*v - 5*r + 28, 2*v = r + 15 + 21. Which is smaller: 14 or v?
14
Let g = 107.7 - 120. Let a = g - -13. Which is bigger: a or -0.2?
a
Let i = -3/53 + 3413/371. Which is bigger: 8 or i?
i
Let h(v) = 3*v**2 + 2*v. Let m be h(2). Suppose q + 5 = 0, m = 3*g - 0*q + 4*q. Which is bigger: g or 11?
g
Let d = 0.041 - 13.931. Let y = -14 - d. Let k = y - -0.01. Is k not equal to -0.7?
True
Let v = -75 - -132. Let p = -53 + v. Is p < -1?
False
Let r(m) = m**3 + 110*m**2 + 422*m - 222. Let p be r(-106). Suppose 4*k - 2*o + 35 = -5*o, 2*k - 4*o + 12 = 0. Do p and k have the same value?
False
Suppose 435 = -4*t - t. Let m = 19 + t. Let l be m/(-36) - (5 + -3). Which is smaller: -1/2 or l?
-1/2
Let p = 32 + -29. Let m be 6*(134/44 - p). Do 0 and m have different values?
True
Let n be 682/55 + 3/5. Suppose n*u - 9*u = 0. Suppose u = -5*z + 41 + 34. Which is smaller: z or 14?
14
Let m be (-2)/7 + 144/553. Let g be (2/4)/(6/48). Suppose -12 = -g*u - 8. Which is smaller: u or m?
m
Suppose -3*y + 0*y - 38 = -l, -4*y = -2*l + 76. Is l at most as big as 38?
True
Let p(k) = -k**3 - 9*k**2 + 10*k + 12. Let u be p(-10). Suppose -u = -5*b + 4*i, b - 5*i - 15 = -0*b. Let c = 155/36 + -32/9. Which is bigger: b or c?
c
Let f be (-23 + 7)*(-19)/2. Let b be f/(-52) - (-8)/4. Which is smaller: b or -2?
-2
Let t be (-51)/(-21) - (-4 + (-124)/(-28)). Suppose 0 = 2*j + t*j. Let y be (0/(-4 + 1))/2. Do y and j have the same value?
True
Suppose 5*v = y - 16, -21 + 2 = 5*v - 4*y. Let k be 9/(-15) + v + 128/30. Which is smaller: -41 or k?
-41
Let x be (16 + -3)*26/169. Is x >= -124?
True
Let v be ((-2)/(-3) + 64/12)/(-2). Let n(t) = -t**2 + 5*t + 4. Let j be n(6). Let d be 2*j/(-12) - 2. Which is greater: v or d?
d
Let c be (-33)/(-55) + 6/15. Let q = -43 - -389/9. Is q less than c?
True
Let u = -413 - -413. Which is bigger: -4.4 or u?
u
Let n = 4.2 - 0.2. Let w = -5771 + 46167/8. Which is greater: w or n?
n
Let c(g) = -5*g. Let d be c(-1). Suppose d = -4*s - 11. Let m(v) = 2*v**3 + 78*v**2 - 2*v - 81. Let x be m(-39). Which is smaller: s or x?
s
Let p = -140 + 139. Is -9 < p?
True
Let c(t) = 3*t - 67. Let z be c(19). Does z = -10?
True
Suppose 6*d = 9*d - 45. Let m be 25/d*(-2)/5. Are m and -2/5 equal?
False
Let k be 2/(-6) - (728/(-24) - -8). Let s be (55/(-15) - -4) + k/(-3). Is -49/6 equal to s?
False
Let k = -223 + 238.14. Let z = 15 - k. Let m = 0.86 - z. Which is greater: 5/4 or m?
5/4
Let f = 29 - 28.55. Let c = f - -0.15. Is -3 at most c?
True
Suppose -100*x = -55*x - 720. Let r(c) = 2*c**2 - 7*c. Let p be r(5). Suppose -15 = -2*n + p. Which is bigger: x or n?
x
Let u = 169 - 226. Is u less than or equal to 0.2?
True
Suppose -2*t - 15 = 3*t. Let w = 15 + -11. Is w less than or equal to t?
False
Suppose 33 = -j - 7*g + 2*g, 0 = g - 1. Let u = j + 39. Let c = 661/3 - 218. Is c greater than u?
True
Let a = -20.1 - -16.1. Let s = -1 - -3. Does a = s?
False
Let s be -2 - (-4 - -2)/(-2). Let u be 3/(s*3/(-9)). Suppose y - 2*d - 24 = -y, 36 = u*y - d. Are y and 13 equal?
False
Let k = -9 - -10. Suppose k = -9*t - 17. Is t not equal to -2?
False
Let r = 1.7 + 0.3. Let i = r + -1. Is -0.8 less than or equal to i?
True
Let m be (-15)/(-40)*4*(-2 - 0). Let t be (6 - 4) + 0 - (-22)/m. Let c(d) = -d**3 - 3*d**2 - 1. Let y be c(-2). Which is smaller: y or t?
t
Let j(h) = h + 14. Let p be j(-10). Let a be (4 + -1)/((-6)/p) - -2. Is a less than 1/18?
True
Suppose -4*q = 0, 0*w = -w - 5*q + 24. Let t be 81/w - 24/8. Is 2/3 < t?
False
Let z = 11.24 - 11. Let s = -9.76 - z. Let w = s - -9. Is w greater than 3/7?
False
Let a = -6449/5 - -1169. Is a at least -122?
True
Suppose 8 = -3*m - 10. Let v be 2/m - 48/(-9). Let k = 5 - v. Does k = 5/8?
False
Let h(c) = -c**3 + 6*c**2 + 7*c + 4. Let s be h(7). Suppose 9 = 3*t - 2*n - 17, 28 = s*t - n. Let z = -217 - -222. W