z = 74 - 73.66. Let l = r + z. Which is smaller: -0.13 or l?
l
Suppose 0 = 3*k + 23 - 56. Let o be 2/k + (-1378)/(-1859). Let n = o + -119/143. Is 0 at most n?
True
Let w be ((-40)/(-5))/(-2)*-4. Suppose 5*a + 0*a = 5*n + 70, 5*n = -3*a - 94. Let h = w + n. Which is smaller: 0 or h?
h
Let u be -3 + (-1)/((-3)/(-561)). Let b = 247 + u. Suppose -221 = -4*x + 11. Which is smaller: b or x?
b
Let k be ((-6)/(-2) + -8)*-1. Let a be 2*(1 - (-9)/2). Suppose k*d + 5*l - 5 = 0, -4*l + 5*l + a = 5*d. Are d and 7/4 non-equal?
True
Let a = 70 - 26. Suppose 6*j = a - 2. Let q be (2/(-8))/(((-14)/8)/j). Which is smaller: -1 or q?
-1
Let y = 35 + -43. Let x = 1/2425 + -150357/16975. Does y = x?
False
Let n be (-24)/(-6)*13/2. Let m = -69 - -79. Suppose -4*o - 134 = -5*w, -2*w - m*o + 9*o + 51 = 0. Is w bigger than n?
False
Suppose -16*u + 178*u + 338 = -7*u. Is -2/689 greater than or equal to u?
True
Let z = 33 + -24. Let i be (-1)/(-8)*66 + 72/96. Is i greater than z?
False
Suppose 19 = 4*a + 3*x, 2*a + x + 4*x = 13. Suppose 4*r - a = -4*q, 6*q - 8 = q - 2*r. Suppose 3*v = 5 - q. Is v bigger than 0?
True
Let q = 28894 + -28869. Which is smaller: 167/7 or q?
167/7
Suppose -7*w + 19*w = 192. Suppose -10 - w = 13*q. Which is bigger: 0.29 or q?
0.29
Let j(c) = c**2 + 42*c - 21. Let y = -38 + 7. Let o be j(y). Is o at least as big as -362?
True
Let a = 3891.6485 - -0.3515. Is -1 smaller than a?
True
Suppose -1097*r = -1096*r - 3*b + 341, -5*b - 726 = 2*r. Is -360 at least as big as r?
False
Let a = -22603416 - -1943860147/86. Let o = a - -391. Which is bigger: o or -1?
o
Let z = 26674 - 26514. Are z and 225 unequal?
True
Let u = -4757 + 4757. Suppose 0*b - 20 = -5*b. Suppose b*p + 0 + 20 = u. Is p >= -4?
False
Let t(n) = 23*n**2 - 2. Let c be ((-5)/15)/(2/(-12)). Let p be t(c). Suppose -19*x + 7390 = 69*x - 442. Is p < x?
False
Let p = -480.63 - -481. Let j = -2 + 1.68. Let c = p + j. Which is smaller: 2/3 or c?
c
Let q(y) = y**3 - 4*y**2 + 6*y + 2. Let a be q(3). Let i(n) = -n**2 + 12*n - 11. Let k be i(a). Which is smaller: 7 or k?
k
Let g = -0.06 - -0.1. Let h = -0.06 - g. Let x = -6.285 + 0.785. Which is smaller: h or x?
x
Suppose 2*i = x + 7, 2*i - 133 = -2*x - 159. Is x >= 27?
False
Let m(c) = -c**3 - c. Let h(o) = -2*o**3 + 33*o**2 + 79*o - 67. Let p(t) = -h(t) + m(t). Let u be p(35). Is -282 <= u?
False
Let q = -96 + 95.998. Let u = q - -0.038. Let z = -0.036 + u. Is -0.036 greater than z?
False
Let o be (2 + -1)/(-1) - ((-23883)/(-434))/(-57). Is o at most 1?
True
Let p(i) = i**2 - i + 1. Let f be p(2). Suppose 0 = 3*d - a - f, -4*d - 1 = 3*a - 5. Suppose 22 = 7*j + d. Are 28/13 and j non-equal?
True
Let d = 39096 + -37722. Is d greater than or equal to 1368?
True
Suppose 14*v = 24*v - 1290. Let i be -3 + v/(-45)*-1 + 0. Which is bigger: i or -1?
i
Let d = -13619/8 - -1717. Which is smaller: d or 1?
1
Let a(w) = -34*w**2 - 373*w + 11. Let j be a(-11). Which is greater: 5/966 or j?
5/966
Let t = 1 + 13. Let m be 104/28 + 4/t. Suppose -17 = 2*f + 4*j + j, 5*f + 17 = -m*j. Which is greater: f or 2/33?
2/33
Let a = -2202 - -2202. Which is bigger: a or -3307?
a
Let p = 36774 - 36748. Do p and 26 have different values?
False
Let i(u) = -u - 9. Let g be i(-6). Which is smaller: g or 29?
g
Suppose -5*u = 12*z - 20*z - 7, 5 = -4*z + 3*u. Are z and -24/215 unequal?
True
Let x(q) = 2*q**3 - 5*q**2 - 3*q + 3. Let k be x(4). Suppose 571*r + 2204 = 675*r - 2164. Is k at least r?
False
Let u = 2964 - 2976.63. Let i = u - -13. Let f = -0.2 - 0.8. Is i <= f?
False
Let g be 3/(-12) + 3980/428 - 9. Is g equal to -1?
False
Suppose -1 = -3*z + 2*u + 6, 0 = -z + 3*u. Suppose w - z*y - 51 = -2*w, -35 = -3*w - y. Let g = -1.1 - -1. Which is bigger: g or w?
w
Suppose -57 = 2*q - 4*p - 1, p = -5*q - 195. Is -1/15 bigger than q?
True
Let s(c) = c**2 + 30*c + 3. Let w = 89 - 118. Let f be s(w). Do f and -24 have the same value?
False
Suppose 54 = -3*t + 36. Suppose 5*u - 40 = 5*g, -3*u + 4*g + 43 = 14. Suppose 0 = -b + 2*s - 10, b = -0*b - u*s. Is b smaller than t?
False
Let u be 20*10/(-40) - 71*-1. Let i = -13 + 21. Suppose 46 + u = i*j. Is 14 smaller than j?
False
Let l be (33/(-15) + 3)/(2/5). Suppose -3*t - 18 = -6*t. Suppose 0 = -4*q - l*q + t. Is q equal to 3?
False
Let c be 168/63*(-6)/(-4). Suppose j - 7 = c*h + 3, 4*j = 4*h + 28. Which is greater: 5 or j?
j
Suppose 0 = -5*x - 20, -x - 38 = -4*h - 2. Suppose 2*k - h = 4. Is 7 greater than or equal to k?
True
Suppose 0*h = h + 2. Suppose -51*w = -13*w - 798. Suppose 532 = w*l + 385. Which is greater: h or l?
l
Let y = 102.3 + -93. Let w = y + -10.3. Which is smaller: w or 0.102?
w
Let g(p) = -2*p**2 - 405*p - 5086. Let w be g(-189). Which is greater: 52 or w?
52
Let n = -2.075 + 0.075. Let c = n + 2.07. Let g = c + -50.07. Is 0.1 < g?
False
Suppose -4*g + 12 - 19 = -b, 3*b - 13 = 4*g. Which is smaller: b or 162/83?
162/83
Let h = -4088.4 - -4089. Is 26 smaller than h?
False
Let i = 13.531 + -0.131. Let b = i + -13.68. Is b < -2?
False
Let f = 3.1 + -3. Let s be ((1 - 2) + 2)*(7 + -11). Let k be 1/3 - (s + (-204)/(-18)). Are f and k non-equal?
True
Suppose 2 = 4*i + 40*i - 86. Are i and 53/103 unequal?
True
Suppose -150 = 3*r - 2*u - 144, 5*r + 4*u - 12 = 0. Which is smaller: 44/177 or r?
r
Let i = 9648/11 - 86942/99. Which is smaller: 210 or i?
i
Let q(o) = 2*o - 3. Let c be q(2). Let v(n) = -n**2 - 52*n - 184. Let a be v(-48). Let t be (-7 + a)*(c - 0)/(-3). Which is smaller: t or -7?
-7
Let c be ((-21)/(-3) - (22 + -12))*(-2)/6. Which is greater: -3/4660 or c?
c
Let g = -1.372 + 133.372. Which is smaller: g or -3/11?
-3/11
Let q be -1 + 120/34 + -2. Let o = -85 + 87. Let k(t) = -2*t**3 + 4*t**2 + 5*t - 8. Let a be k(o). Which is greater: q or a?
a
Let j(i) = 79*i + 35. Let r be j(-9). Let h be 1/6*r/(-10). Let y = 35/3 - h. Is y less than or equal to 2?
True
Suppose 3*w + r = -139, 5*r + 37 = 5*w - 6*w. Let q be (-6)/(-35) - 14/(-35). Is w at least q?
False
Let y = -280693129 + 1040248729357/3706. Let p = y + 61/34. Suppose 2*g = -2*r - 217 + 211, 2*r = 5*g - 6. Is p less than g?
True
Let q be 74/8 + 3 + -7. Let h = 95/12 - q. Are 2 and h non-equal?
True
Suppose -3*i = -4*g - 19, 5*g - 3*i + 28 = 8. Suppose 2*o = 5*l - 37010, -7394 = -l - 0*l + 2*o. Let h = l + -2391494/323. Do h and g have the same value?
False
Let a(u) = -5*u + 51. Let b be a(0). Suppose 4*o - 441 - b = 0. Let i = o + -117. Which is smaller: i or 13/2?
i
Suppose -p - 8 = -2*u, 0 = 12*p - 14*p - 2*u + 8. Which is bigger: p or 1/791?
1/791
Let q(w) = 26*w + 18. Let c be q(-4). Let u be (c/(-8) + 2)*(-4)/1. Let i = u - -61. Is 10 at most i?
True
Let m be (464/144)/((-23)/1035). Let j = 87 - 232. Is j bigger than m?
False
Let s be 6714/(-81)*(-22 + -14). Do s and 2984 have the same value?
True
Suppose -v + 5 - 8 = 0, -4*v = -w + 10. Let d = -15.5 + 126.5. Let y = d + -114. Which is bigger: y or w?
w
Let d be 25/3 - (-2)/3. Let g = 160 + -187. Let x be (-36)/(-10)*(279/g + 12). Which is greater: d or x?
d
Let v = 1188 - 1153. Does 19 = v?
False
Suppose -5*h - k = -5166, -3*h + 6*k - 4112 = -7*h. Do h and 1032 have the same value?
False
Let u(r) be the second derivative of -4*r**3/3 - 47*r**2/2 + 17*r + 2. Let n be u(-13). Which is greater: 56 or n?
n
Let v(j) = 4*j - 34. Let k be v(8). Let c be 5/(-20)*-8*(-41)/k. Suppose -5*a = -2*l - 1, -4*l - a + c - 10 = 0. Is l less than 10?
True
Let w be (-4*(-1)/12)/(-1). Let n = -115.7 + 107.9. Does n = w?
False
Suppose -60*c + 2055716 = 336*c - 5686876. Which is bigger: 19551 or c?
c
Let v be 15*(-23)/(575/380). Let p be 1/((-106)/24167)*1. Let u = p - v. Is u at least -1?
True
Let b = -5/49 + 97/1911. Let j(q) = -3*q**2 - 6*q - 3. Let f be j(-4). Let z be f/(-45) - (-8)/(-5). Is z bigger than b?
False
Let z(x) = x + 2. Let c be z(-3). Let h be 2 - (3 - (0 - c)). Let s be 35/77*8/(-5). Is h less than or equal to s?
False
Let d = -2539 - -394. Which is bigger: -2 or d?
-2
Let a = -20498.6 - -20499. Is 3955 less than a?
False
Suppose -36*b - 393 = -465. Is 29/39 > b?
False
Suppose 3*w - 5*c = 5201, 5*w + 5*c - 8756 + 101 = 0. Let q be -1 + -2 - (w*1 - 1). Let j = q - -133520/77. Is 1 not equal to j?
True
Let f = -282 + 307. Suppose 26*q - 295 = f*q. Which is bigger: q or 294?
q
Let z = -245 + 152. Let k = 93 + z.