= -m - 4*l. Let g = -1310/13 - m. Suppose 5*d - 2*f - 7 = 2*f, 0 = 4*f + 12. Which is bigger: d or g?
g
Let k = 6337/105 + -1007/21. Which is smaller: -7 or k?
-7
Let a be (76/35)/2 + -1. Suppose -697 = 8*d + 2943. Let k = -456 - d. Is k not equal to a?
True
Suppose -82*h + 62*h + 128 = 108*h. Do 186/83 and h have the same value?
False
Let a be -38 - 48/(-3) - -11. Is -203 smaller than a?
True
Suppose -74*g + 70*g - 50280 = 0. Let o be (4/g)/(48/(-15) + 3). Is 1 <= o?
False
Let z = 11323.9 + -11324. Is z at most 32/23?
True
Let s = 834681709/12686 + -131591/2. Is -1/2 bigger than s?
False
Suppose k + 2*g = -4, -5*g - 3 = 3*k + 6. Suppose 3*s - 13 = -p, -s = 3*p + k*s - 15. Which is smaller: -1/150 or p?
-1/150
Let b be (640/(-13632))/(-2 - 38/(-21)). Is b bigger than 1?
False
Let d = 0 + -1. Let l = 24 - 22. Let b be (-459)/1292 + l/8. Which is greater: b or d?
b
Suppose u - 1728 = -48*u + u. Suppose 3*w + 10 = -2*h, -3*h + 7 = -w - 0*h. Let a be 6/w*(-48)/u + -58. Are a and -56 equal?
True
Let p = -181 + 324. Let s = -132 + p. Is 5 greater than s?
False
Suppose -12*k - 13 = -61. Let m = 56443973244/17183543 + 6/1321811. Let b = -3282 + m. Do b and k have different values?
True
Let u = -34 - -30. Let f = u - -3. Let x(b) = -30*b + 59. Let h be x(2). Do f and h have the same value?
True
Let h = 21159.79 + 73.21. Is h < 0.1?
False
Let i be (-224)/(-22) - (-6)/6 - (-2)/(-11). Which is smaller: i or 582/53?
582/53
Let f be (-27501)/45 - 32/(-240). Is f at least -610?
False
Let u(c) = c**2 + 6*c. Let i be u(-6). Suppose -2*l + 8 = 4*s - 5*s, 3*l + s - 7 = i. Suppose -l*r = -2*r - 3*r. Which is greater: 2/23 or r?
2/23
Suppose -32 = -3*y + 5*p, 2*p = -4*y + 2*y. Suppose -r + 78 = -5*r + 5*v, r + y*v = -30. Which is bigger: -26 or r?
r
Let v = 593.3 - 593.7. Do -14.6 and v have the same value?
False
Let i = -0.003 + 16.003. Let u = 16.1 - i. Let g = 6 - -10. Which is greater: g or u?
g
Let s = -2466.266 + 2469. Let l = 0.354 + -0.42. Let c = l - s. Is 0 less than c?
False
Let s be (2 - 2) + 0 + 10. Let w be -3 - (60/40)/(2/(-4)). Suppose w = 4*h + 12, t = h + 3*h + 24. Is t bigger than s?
True
Let i = 0.09785 - 98.09785. Which is greater: i or -2?
-2
Let i(y) = y**2 - 1. Let d(g) = -2*g**2 + 7*g + 2. Let u be -2*(3/(-6) - 0). Let j(a) = u*d(a) + 3*i(a). Let z be j(-3). Is -12 >= z?
True
Let j = -16.233 - -0.233. Let z = j - -15.9. Let y be 26/(-21) + 3/(-7). Is y > z?
False
Suppose -2*n - 55 = -77. Suppose -n*h = -3*h - 24. Suppose o + h = -2*z, 4*o = -2*z - o - 15. Which is smaller: z or -16/17?
-16/17
Let m = -51158/7 - -7308. Which is bigger: m or -6081?
m
Let s be ((-162)/2349)/((-89)/(-4)). Is -1 != s?
True
Let d be ((-9)/12)/(-1)*-4. Suppose 217 = i - 3*r + 38, 0 = -3*i - r + 507. Let v be (-6)/(-10)*i/(-153). Is v > d?
True
Suppose 75 = -a + 79. Suppose s + n = -2*n - 81, -273 = a*s - 5*n. Is s bigger than -71?
False
Let a be 198/(-72) - 1/4. Let p be -1 - (-2*3 + a). Suppose -21 = p*d + 19. Which is smaller: d or -1?
d
Let t(z) = -4*z - 9. Let g be t(-3). Suppose n + n = -l + 6, -g*n + 10 = 2*l. Suppose -4*b - 4*p + l = -10, 5*p - 22 = 2*b. Which is greater: b or 2/47?
2/47
Let i be (-8)/22*((-18)/(-26))/((-2484)/(-5382)). Suppose 2*w - 4*v = 12, w + 0*w = 3*v + 8. Let u be (-6)/4 + w/(-4). Which is smaller: i or u?
u
Let j be 7/(-119) + (126/(-374))/(-7). Is j equal to 4/7?
False
Let i(g) = g**3 + 16*g**2 - 9*g + 20. Let b be i(-17). Let s = b + 99. Is s at most -19?
False
Suppose 0 = -4*w + 5*j - 1862, -3*j = -156*w + 158*w + 920. Do w and -462 have the same value?
False
Let z be 82/8 + (-2)/8. Let g = z + -8. Suppose 1318 = -6*j + 1312. Which is smaller: g or j?
j
Let j = -0.9 - 0.1. Let l = -83 + 54. Let b = -10 + l. Is j bigger than b?
True
Let f(s) = -s**3 + s**2 + 3*s - 3. Let n be f(-3). Let m = n - 22. Let x be (2 - m)/(2 + 0 - 0). Is -16/11 > x?
False
Let u(g) = 141*g**2 + 203*g + 31. Let z be u(6). Do z and 6324 have the same value?
False
Let i(t) = -t**2 + 2*t. Let y be i(0). Let u = -8/301 - -2651/20468. Which is smaller: u or y?
y
Let i be ((-12)/(-10))/((-2)/(-5)). Let l be i*1/(-45)*-3. Suppose -x - 2*t + 63 = 65, 2*x + 4 = t. Is l > x?
True
Suppose 0 = 5*n - 119 - 346. Let x be (760/(-12))/((-6)/(-36)*-4). Is x at most n?
False
Suppose -5*v = 148*m - 145*m - 2308, -2*m = -5*v - 1472. Which is greater: 8 or m?
m
Let r be (53/30 - 2) + 15 + -13. Let q = -41/10 + r. Which is smaller: 4 or q?
q
Let b = 50 - -95. Let x = 152 - b. Let q be 2/(-7) - (-19)/(-7). Is q less than x?
True
Let d = 9726 - 5199. Which is bigger: 4529 or d?
4529
Suppose -404 - 298 = -27*n. Is 280/11 bigger than n?
False
Let y = 15632 - 15633. Is y bigger than -98/135?
False
Suppose 153 = -s + 19. Which is smaller: -128 or s?
s
Let k(g) = g**2 + 18*g + 28. Let n = -308 - -291. Let q be k(n). Which is greater: q or 59/6?
q
Let a be (-14)/(-4)*(-9 + 11). Let d = -65 - a. Let v be 1/7*(4 - (-246)/d). Is v > 2?
False
Let t = -32/309 + -44293/4944. Which is smaller: -9 or t?
t
Let h = -13170 + 13087. Let r = -99.6 - -19.6. Let n = h - r. Which is smaller: n or 2/3?
n
Let t be 3/9508*2*(26 - 24). Are t and 1 non-equal?
True
Let i = 3071 + -3142. Which is smaller: i or 0.4?
i
Suppose -23*w = -7*w - 14832. Is -2 > w?
False
Let w = 1309.3 + -1415. Let x = 99 + w. Let n = 8.4 + x. Which is greater: n or 3/7?
n
Suppose -5 = -2*z - 4*b + 3, 0 = 5*z + 2*b - 28. Let l be (-2 - -1)/(6/z). Let i = -437 - -14857/34. Which is smaller: i or l?
l
Let b = -411 - -276. Let i = 49 + b. Is -86 bigger than i?
False
Suppose -d + 2*w + 10 = 0, 25*d - 22*d + 25 = -5*w. Which is smaller: -1/1248 or d?
-1/1248
Let m be ((-15)/6)/5*2. Let k be 2/(-1194)*2/m. Which is bigger: 0 or k?
k
Suppose -160134 = 171*t - 659 + 47606. Is t greater than or equal to -1224?
True
Let a = -278.4 - -276.4. Let m be (-52)/(-25) + -9 + 7. Which is smaller: a or m?
a
Let h = -939 + 2778. Is h >= -2/7?
True
Suppose -28*l - 16350 = 12*l - 25*l. Is l greater than or equal to -1091?
True
Let y be 3962/56*2*-54. Which is bigger: -7640 or y?
-7640
Let o be ((-17)/255)/(3162/(-2319595)). Let i = 1645/34 - o. Let b = -30/31 - i. Which is bigger: b or 0?
0
Suppose -103*l + 45*l + 32*l + 21684 = 0. Is -0.2 at most as big as l?
True
Let x be (-14)/(-2) + 9/9*-8. Which is greater: x or -4/1967?
-4/1967
Let p = 7297 + -7346. Which is bigger: -56 or p?
p
Let d = 24.76 - 50.85. Do 1 and d have the same value?
False
Let n = -701 + 952. Suppose -23*s + 24*s = -n. Which is smaller: -253 or s?
-253
Let n(k) = -29*k + 229. Suppose 2*a - 73 + 57 = 0. Let u be n(a). Is 89 smaller than u?
False
Let t = -1.03 + 1.321. Let i = -24.509 - t. Let m = i - -25. Which is greater: -9 or m?
m
Let n be (4/16)/((-10)/(-377176)) + (-344)/860. Is 9429 less than or equal to n?
True
Suppose -22*u + 4*p + 349 = -21*u, -2*u = 4*p - 758. Suppose 7*a = -u + 103. Are a and 4 equal?
False
Let s = 3 - 23. Let w(z) = -2*z**2 - 8*z - 6. Let m be w(-3). Let x be 4 + 0 - (184 + m)/8. Is s greater than or equal to x?
False
Suppose -4*u - 5 = -3*u. Suppose -15*v = -v + 15*v + 87. Does v = u?
False
Let j = 21376 + -32928. Is j smaller than -11553?
False
Let w(c) = 4*c**3 - c - 2. Let t be w(-2). Let x(m) = 4*m**3 - 12*m**2 - 22*m - 7. Let s be x(4). Do t and s have different values?
True
Suppose -f + 7 = 2*y + 17, -5*y - 27 = 3*f. Let h be 261/12*8/y. Let w be 5/(-25) + h/10. Is -0.1 greater than w?
True
Let c be (126/(-10) - -5)*33460/(-56). Is 4541 at least c?
True
Let p = -23/65 + -883/260. Is 0.167 < p?
False
Suppose 7*f + 221 - 1768 = 0. Which is smaller: f or 1112/5?
f
Suppose -5*k = 3*l - 31, 2*l = -0*k + 2*k - 6. Let h(r) = -9*r - 607. Let i be h(-69). Suppose 0 = 9*a - i*a - k. Which is smaller: -5/16 or a?
a
Let j be ((-171)/(-38))/(-3)*(-32)/(-1149). Which is smaller: j or 1?
j
Let d = -929 + 1157. Let z = 242 - d. Which is greater: z or 23?
23
Let x(f) = -f - 2. Let c be x(-26). Let g be (-3)/c + (-62)/16. Let q(y) = y**3 + 5*y**2 - 13*y - 39. Let n be q(-6). Which is smaller: n or g?
g
Let p be (-416)/32 - 13170/(-1013). Which is greater: p or 1?
1
Let f(m) = -m**3 + 4*m**2 + 2*m + 17. Let j(o) = 3*o**2 - 11*o + 1. Let n be j(4). Let c be f(n). Let g be (-12)/60*(7/c - 1). Which is smaller: 12 or g?
g
Suppose -5*n - 5*h = 170, 126 = -3*n - 4*h 