7*b + 2321. Let r be c(-86). Do r and 3/5963 have different values?
True
Let q = 260 + -258. Suppose -5*w = r + 361, q*w = 6*r - 11*r - 1805. Which is smaller: -360 or r?
r
Let j(k) = 31*k**2 - 613*k + 63. Let y be j(21). Which is smaller: y or 860?
860
Let u be (-143864)/784*2*-11. Does 4037 = u?
True
Let g = 0.07 - -68.93. Let q = -64.7 + g. Let n = q + -4.2. Which is smaller: n or -8?
-8
Let w be 10985/(-28)*(-6)/90. Let y = w + -105/4. Suppose -5*u = -2*f + 7, 0 = f + f - u - 3. Which is smaller: y or f?
y
Suppose 0 = -3*o - 6*o + 9. Let g(a) = -a**3 - a**2 + 4. Let u be g(0). Let t be u/14 - 444/672. Is t less than or equal to o?
True
Suppose -2*q + 5*t = 14, -3*q - 6 = -4*t + 1. Let u be -1 - 0 - (4 - 12/q). Let l be 4 - ((3 - u) + (-1)/11). Do l and 0 have the same value?
False
Let f be (7 + 13 - 29) + (4 - 6817). Does f = -6821?
False
Suppose 3*l + 4*t - 5 = 0, 5*l + 16*t = 18*t - 9. Are l and -1/1244 equal?
False
Suppose 5*f - t = 228, 5*f - 4*f = -5*t + 30. Suppose 45 = -3*d + f. Is d less than or equal to -3/49?
False
Suppose -a = -4*q - 7, 416*a + 2*q - 42 = 420*a. Which is greater: -1 or a?
-1
Let t = -2.99 + 3.09. Which is smaller: t or -2/141?
-2/141
Let i(n) = -77*n - 1130. Let s be i(-25). Is s greater than or equal to 793?
True
Let d(p) = -45*p - 290. Let w be d(-15). Is 388 > w?
True
Let g be -4 + 2*24 - 3. Let r(s) = -9*s + 415. Let z be r(46). Are z and g equal?
False
Let r = -12/2899 - -3157059/11596. Let a = 272 - r. Is a > -1?
True
Let r be (-5)/(-2) - 3 - ((-85)/(-238) - 6). Let j(i) = i**2 - i - 6. Let d be j(-3). Which is greater: r or d?
d
Let z = 34/5 - 6. Suppose -167 = -v + 5*n, 3*n = v - 166 - 11. Let u = -190 + v. Which is bigger: u or z?
u
Let o = 31 + -19. Suppose o*w - 32 = 4*w. Let d be -4 + 28/24*w. Which is bigger: d or -0.2?
d
Suppose 15 = 41*v - 67. Let g be (-17 - -17)/(6/v). Which is bigger: g or -3/158?
g
Let s = 32138 - 32137.8. Is -176/163 less than s?
True
Let z(f) = 20*f - 179. Let h be z(9). Is -5/469 less than h?
True
Let k = -150.5 - -150.7. Which is smaller: k or 1.339?
k
Let s = -0.5 - -0.2. Let x = -24126 - -24164. Which is smaller: x or s?
s
Suppose 0 = -q - 17 + 111. Let o be (-10)/(-6)*(-396)/880*376/(-3). Is o greater than or equal to q?
True
Let i(r) = -4*r + 60. Let m be i(15). Let p = -27.37 + 27.429. Is p greater than or equal to m?
True
Let k be ((882/(-4))/3)/(6/8). Let l be 9/(-2)*k/21. Suppose -6*j - l = 2*o - 5*j, 0 = -o + 2*j - 3. Is o greater than 2?
False
Let s be (-12211)/(-45) - 98/441. Let x = s + -271. Does -1 = x?
False
Let h = 195 - 73. Let c = h + -853/7. Let s = -3 + 4. Are s and c non-equal?
True
Suppose 5*l = -4*t + 215, -l + 43 = -2*t + 3*t. Let k be 4/(-24)*-3 + (-356)/(-8). Which is smaller: k or l?
l
Let w(f) = 13*f**2 + 1258*f - 183. Let d be w(-97). Which is smaller: d or 0.32?
0.32
Let d be ((-315)/4)/(1*(-6)/1392). Suppose -15*a + a - d = 0. Let r be 2/(-14) - a/10556. Which is bigger: r or 0?
0
Let l be (-311)/30*1/1. Let z = 859 + -2546/3. Let w = z + l. Which is greater: -1 or w?
w
Let c = 8.071 - 1.566. Let x = 6.4 - c. Let p = 2.895 - x. Which is smaller: 0.14 or p?
0.14
Suppose -2*r - 2*q + 6 = 0, 5*r + 1 = 4*q - 29. Let w be 0/(-2) - (r - 24). Suppose 53 = 3*i - 22. Which is bigger: i or w?
w
Suppose 3*s - 5*j = -44, -16*j + 12*j = -2*s - 30. Is s at least -5/43?
False
Suppose -4*x + 4*o = 2720, 2038 = 8*x - 11*x + 5*o. Let y = -408 - x. Is 273 greater than y?
False
Suppose -w + 2*n - 4*n - 1 = 0, 1 = -w + n. Let f be (2 + -1)*((3 - 3) + w). Let l be 30/(-27)*3 - 1 - f. Is l at least -2?
False
Let m be (-2041)/(-3) + (-74)/222. Suppose -46*h = 6358 + m. Which is smaller: h or -154?
-154
Let o(y) = y**2 + y. Let r be o(-3). Let s be (2 - 407)/((-10)/(-45)*r). Let j = s + 71673/236. Which is smaller: 0 or j?
j
Let h = 355.5 - -83.5. Let a = h - 440.3. Which is greater: 0 or a?
0
Let n = 4 + -6. Suppose -4*f + 0*f + 20 = 0. Let u be (-3 - -4 - f) + 5. Is n <= u?
True
Let o = 9339438/10175 - 2471570683/2692800. Let y = o + -23/576. Which is smaller: y or 1?
y
Let b(r) = -8*r**2 + 105*r + 51. Let a be b(14). Suppose 225 = 5*s + 4*f, 3*s - 162 = 7*f - 4*f. Let c = s + a. Is 13/5 > c?
True
Suppose 22*r + 42*r + 6993 = 43*r. Are r and -1001/3 equal?
False
Let g be (-2596)/(-32)*-5 - 24/64. Is -420 bigger than g?
False
Let y = -36277 + 33185. Is y >= -3091?
False
Let d be (-3 - 2) + ((-54)/6 - -13). Which is smaller: d or 2/15615?
d
Let w be -3*(627880/60)/(-11). Is 2853 less than w?
True
Let b = 1863 - 1861. Which is smaller: 1155 or b?
b
Suppose 3208 = -269*v + 333*v + 337*v. Which is greater: v or -2913?
v
Suppose 0 = 3*b - 2*u - 2493, 82*u - 87*u = -15. Is 839 >= b?
True
Let w = 2.1 + -1.4. Let i = -4 - -25. Let n = i - 17. Is w at most as big as n?
True
Let f = -131 - -50. Let m = 54 + f. Let h(v) = -6*v**2 - 1. Let s be h(-2). Is m > s?
False
Let y = 5092 + -5970. Which is smaller: y or -877?
y
Suppose 7*b + 1897 + 5030 = -11021. Is b at most -2564?
True
Let h = -157456.909 - -157106. Let j = h - -351. Which is bigger: j or -1/4?
j
Let u be 1/((9/(-18))/((-2)/(-4))). Let m(j) = j**3 + 6*j**2 - 13*j + 4. Let y be m(-8). Let o be 12/y*6/9*-1. Is u greater than or equal to o?
False
Let u(f) = 2*f**2 + 119*f + 1354. Let c be u(-16). Which is greater: c or -221/6?
-221/6
Let g be 39/26*28/21 - (-15)/3. Let a = -41 - -39.7. Which is bigger: a or g?
g
Suppose -75*l - 25118 = -805*l + 69*l. Suppose 2*u = u, 5*u + 37 = k. Is k greater than or equal to l?
False
Suppose 2*z = -4*w + 8, -5*w + 3*z + 5 = -5. Let t(d) = 20*d - 98. Let u be t(5). Are w and u non-equal?
False
Suppose -30 = p - 6*r, 3*r = 4*p + 86 - 8. Do -24.7 and p have different values?
True
Suppose -2*j - 3*j = -205. Let f = 371/9 - j. Let d = 4.2 - 4.4. Which is greater: d or f?
f
Suppose 5*q = -5*q - 150. Let s = 18 + q. Suppose -5*y + 3*g - 17 = 3, s*y + 5*g - 22 = 0. Is y greater than or equal to -2/15?
False
Let c be (-4536)/(-15) + (-6)/(-10). Are 315 and c nonequal?
True
Let s = 4 - 3. Let y = s + 7. Let d = 192.86 + -194.86. Is d greater than y?
False
Let q = 33394685/326949021 - 2/776601. Is q > -1?
True
Let t = -1060 - -1094. Which is smaller: 1 or t?
1
Suppose -12*k + q + 7 = -8*k, 5*k - 6 = 4*q. Suppose -2*u - k*j - 128 = -4*u, 0 = -u + 4*j + 79. Is u less than 58?
False
Let f(y) = y**3 + 8*y**2 - 10*y - 8. Let p be f(-9). Suppose 0 = l + 9 + p. Let x(w) = 15*w + 287. Let k be x(-20). Are k and l non-equal?
True
Let j = -64 - 13. Let l be (-6 - -4) + j/(-4). Is l < 16?
False
Let x = 2757/4 + -686. Suppose -59 - 81 = -70*t - 0. Which is bigger: t or x?
x
Let n be (-628)/(-66) - 2/11. Let w be ((-52)/(-104))/(3/48). Is w > n?
False
Let f = 108571/4 + -26878. Which is smaller: f or 266?
f
Let l = -125 + -2. Let q = 128 + l. Which is smaller: q or -1/4?
-1/4
Let k = 96.035 - 0.035. Let w = k - 142. Is -1 smaller than w?
False
Suppose 5*o + 9*p + 5 = 4*p, -5*p - 41 = -4*o. Suppose -5*z = -5*h + 5, -o*z + 3*h + 2*h = 5. Which is smaller: 2/75 or z?
z
Suppose -z = -v - 3, -z + 6 = -3*v + 3. Let c be (-108)/(-30) + ((-13)/5 - -3). Let b be 32/(-11)*(21/c + -5). Do v and b have different values?
True
Let v(k) = k**2 + 7*k + 35. Let p be v(-6). Suppose 2*q = 5 + 77. Let g = p - q. Is g greater than or equal to -12?
True
Let a be 4*(4 + (-135)/(-20)). Let b be (6*4/12)/2 + 16. Let t be (a + -44)/(1/b*1). Is -17 bigger than t?
False
Let y = 69 + -68. Let l = 16 - y. Suppose 3*v - 64 = -5*t + v, -t + 2*v = -20. Which is bigger: t or l?
l
Let i = 3934 + 529. Let w = i - 35771/8. Are -8 and w non-equal?
True
Let q(x) = x**2 + 6*x - 1377. Let w be q(42). Which is smaller: 637 or w?
637
Let z(f) = -2*f**2 - 10*f + 7. Suppose 5*c + 3 + 22 = 0. Let g be z(c). Which is greater: 76/11 or g?
g
Let i = 5.078 + -4.948. Which is smaller: 9/13 or i?
i
Let w = 28 - 16. Let i = -2.91 - -3. Let x = -0.19 + i. Which is smaller: x or w?
x
Let n = -1017109/563817 - -294/163. Which is bigger: -1 or n?
n
Let u be 939/4104 - 152/684. Let h = 4 + -4. Suppose -3*y - 3 = 3*p, -p + 3 = -h*p - 3*y. Is u > p?
True
Let h be 8 + 490/(-28)*22. Is -1886/5 > h?
False
Let t be ((-51837)/(-148))/((-6)/(-16)). Is t at most as big as 931?
False
Let z = -38863/195 + 997/5. Which is greater: 1 or z?
1
Suppose 0 = u - 2, 4*o - 3*u = -