*k**3 - 6*k - 12. Let q be n(-3). Suppose 3*b + 461 = -a, -4*b = -5*a + 864 - 224. Which is bigger: b or q?
b
Let r = 64.89459 - -0.10541. Which is bigger: r or 18?
r
Let w be 2/10 + 2990/(-75). Let f = -40 - w. Let v(k) = -5*k**2 - 14*k - 12. Let s be v(-1). Which is smaller: s or f?
s
Let z be ((-448)/(-840))/(6/(-15)). Let q be -1*4/(-2) + -2. Suppose 5*v + 5*d = -q*d, -12 = 4*v - 2*d. Is z > v?
True
Let g be (-18)/(-4)*68/6. Let q = 380 + -328. Is g >= q?
False
Let w = 7.484 + 0.516. Which is smaller: w or -22?
-22
Let k be 1295/(-546) - (-40)/(-24). Which is smaller: -3 or k?
k
Suppose -10*h - 29*h = -39. Let t be (234/(-228) + h)*51 + 1. Is 1 greater than t?
True
Let v be 15/(-2) - -7 - (-19)/2. Suppose -3*l - 9 = 5*r, 0*r = 3*l - 5*r + v. Let q be ((-12)/(-18))/(2/l). Which is bigger: -8/19 or q?
-8/19
Let v(x) = 225*x + 950. Let y be v(-9). Which is smaller: y or -1077?
-1077
Suppose 6*f - 3*f = 0. Suppose c - 5 - 1 = f. Suppose -c*a - 32 = -2*a - 2*p, -4*a - 32 = -4*p. Which is greater: -9 or a?
a
Let q be 9/((-7425)/60) - (3 + 144/(-44)). Is -15/8 at most q?
True
Let w = 12 + -18. Let p be w/2*-3*6/18. Suppose c = -2*v + 11, -c + p*v = 2*c + 3. Is c <= -3?
False
Suppose 4*g - 43*b + 38*b = -1048, 3*g + 786 = -3*b. Which is smaller: -265 or g?
-265
Let h = -5127 + 5128. Is -5/2667 at most h?
True
Let z(b) = b**2 + 8*b + 3. Let l be z(-8). Suppose -24 = 8*i - 0*i. Let c be (l + 8/(-12))*i. Which is smaller: c or -4?
c
Let z be ((-348)/132 - -3)/((-2)/(-11)). Suppose -g = z*k + 4, 8*k - 5*k + 5 = -g. Which is bigger: k or -9/28?
-9/28
Let a(c) = c**2 + 40*c - 226. Let q be a(-46). Which is smaller: 69 or q?
q
Let h be 11 - (-21 - (-3456)/208). Which is greater: h or -3?
h
Suppose -426*a = -412*a - 1120. Suppose -y + 3*y = 250. Let f = y - a. Is f <= 45?
True
Let k = -1.5793 + 0.5793. Suppose -2*x = 2*n + 3 - 31, -3*x + 3*n = -66. Is x bigger than k?
True
Let r = 15995 - 16029.63. Which is smaller: r or 2?
r
Suppose 5*y - t = 235, 0*t = t. Let s = y + -46. Let z = 293/11 - 80/3. Does z = s?
False
Let m(t) = 254*t + 9573. Let u be m(-38). Which is greater: -27 or u?
-27
Let j = -4193893/175 - -23965. Let s = j + 30154/525. Which is smaller: s or 57?
57
Let z = 604469 + -6642951/11. Which is smaller: 563 or z?
563
Let c = -52 + -185. Let n = -250 - c. Is -15 at least n?
False
Let y = -814 + 739.4. Let a = y + 68. Does 4 = a?
False
Let k = -268.7543 + 0.0543. Let h = -269 - k. Is h equal to -12/17?
False
Let b be (-77310)/(-1080)*(-56)/(-2). Are b and 2005 nonequal?
True
Suppose 0 = -5*b + 25, w + 6 - 8 = -b. Let z be (w/2 - -1)*38. Which is smaller: -20 or z?
-20
Let x = 2544 + -2546. Which is smaller: -229 or x?
-229
Let d(a) = a + 16. Let v be d(-9). Let g be 96/(-336) - (408/v)/(-1). Is g less than or equal to -1?
False
Suppose v + 9 + 12 = 0. Let n = v + -37. Let p = n - -69. Is p smaller than 10?
False
Let w = 16525/119 + -2130/17. Suppose -6*m = 3*d - 2*m - 59, -32 = -4*d + 4*m. Do w and d have different values?
True
Let c = 615/2618 + -93/238. Let o(k) = k**2 - 4*k - 5. Let s be o(5). Which is bigger: s or c?
s
Let z be -1*(1 - -84 - (57 + -68)). Which is smaller: z or -135?
-135
Suppose 7162*u - 7090*u - 1800 = 0. Which is bigger: -32 or u?
u
Let z(o) = -o**2 + 9*o + 4. Let j be z(9). Suppose 0*p + 2*c + 18 = 2*p, 0 = j*p - c - 21. Suppose 8 = -f - 2*y, 0 = 5*f - 2*y + 8 - p. Is f smaller than 3/4?
True
Let s = -2174.4 + 2081. Does -2 = s?
False
Let v be 10/(-5)*-21*(-1 + 6). Let y = v + -3361/16. Let t = 6 + -6. Which is smaller: t or y?
y
Let y = -1.6 + 3. Let b = 0.4 - y. Let f be (-31205)/(-2844) + (-18 - (-11 - -4)). Which is smaller: b or f?
b
Let d = 9034/1236405 + -1/8895. Which is greater: -0.01 or d?
d
Let z = 46 + -33. Suppose 4*u + 65 = z. Let o = u - -9. Is -4 less than o?
False
Suppose -280 = -90*a - 190. Which is bigger: -1/4896 or a?
a
Let z(g) = 19*g - 1. Let h be z(2). Let p = -7008 + 7006. Which is greater: p or h?
h
Let g = -2/109 - -372/8393. Suppose 9*v + 5 = 4*v + 3*x, 0 = v - 5*x + 23. Suppose 0 = -2*d - 0*d + v. Which is bigger: d or g?
d
Suppose -5*x - 3*x + 2822 = 870. Is x < 243?
False
Suppose 4*m - 256 = 4*w - 264, 4 = -m. Let k(r) = 10*r. Let t be k(-1). Is w greater than t?
True
Let b = 6665/22 - 3372/11. Is -3 bigger than b?
True
Let v(j) = -40*j**2 + 93*j - 92. Let z be v(1). Which is bigger: z or -52?
z
Let g(s) = -172*s + 61. Let r be g(2). Let c = 287 + r. Is 40/11 greater than c?
False
Let o = -0.118 - -0.051. Let j = 0.167 + o. Is -69 at most j?
True
Suppose -5*b + 0*s + 23 = -2*s, -3*s + 3 = 0. Suppose j = 3*j - b*z + 17, 16 = -4*j + 4*z. Let h = -4334 + 238372/55. Which is bigger: h or j?
h
Let d = 1 - -18. Let g = -501 - -216. Let k = -265 - g. Which is smaller: d or k?
d
Let i = -1.0979 + -246.9021. Which is smaller: 26 or i?
i
Let m be (-192)/(-42) + -4 + 1112/504. Which is bigger: 5 or m?
5
Suppose 11388 = -43*s - 12274 + 3538. Which is smaller: -461 or s?
s
Let w(z) = -3*z + 64. Let h be w(21). Suppose f = 115 - h. Is 115 not equal to f?
True
Let d = 25096 + -25097. Suppose -v - 55 = 4*v. Which is greater: v or d?
d
Let y = -39312 - -39438. Which is greater: y or 164?
164
Let m be 8/28 - ((-472)/56 - -7). Which is smaller: m or 3/29?
3/29
Let r(m) = 55*m - 77. Let l be r(1). Which is smaller: -19 or l?
l
Let m = 343 - 9671/28. Which is smaller: m or -1?
m
Let o = 1508/5 + -41309/140. Is 7 >= o?
True
Let j = 3561 + -3562.5. Which is greater: 4 or j?
4
Let u = 491 + -1100. Let s = -489 - u. Is 118 less than or equal to s?
True
Let m(f) = -f**2 + 20*f + 4. Let b be (-1 - (-2)/8) + 27/4. Suppose -55 = -3*c + w, 0 = 2*c + b*w - w - 65. Let d be m(c). Which is smaller: d or 36/7?
d
Let a = 8211 + -8152. Let f be 0/(-1) + 3 + -3. Which is greater: a or f?
a
Suppose 3*u = -3*c - 150, -2*c - 184 = 3*u - 32. Let b be ((-18)/(-3))/6 - (1 + 50). Which is smaller: b or u?
u
Suppose -2*r + r = -7*r - r. Do 2/23237 and r have different values?
True
Suppose 4*q - 191 = 5. Suppose 0 = -2*z - 3*y + 10, -310*y + 6 = -307*y. Suppose -g = -z*g - q. Which is bigger: g or -50?
g
Suppose -7 = -z + 65. Let t be z/32*4/3. Suppose -t*l = -2*o - 5, 2*l - 7*l + 45 = 4*o. Is 6 <= o?
False
Suppose -n - 37 = 4*p + 2*n, -2*p - 2 = -4*n. Let x be (p*(-2)/7)/(-1 - 2). Which is smaller: x or 97?
x
Let k(g) = 214*g + 896. Let v(b) = -85*b - 358. Let j(i) = 5*k(i) + 12*v(i). Let n be j(-6). Does n = -115?
False
Let j(o) = -2*o**3 + 7*o**2 - 4*o + 4. Let s be j(3). Let f be (s/(-3))/((-12)/(-36)). Which is smaller: 1/243 or f?
f
Let i = -232.74 - -230.84. Let y = 1.25 + 0.05. Is i not equal to y?
True
Let p = 5097/1606223 + -4/2813. Suppose 3*u + 0*u = 7*u. Which is bigger: p or u?
p
Let r be 7896/(-27) - (-764)/1719. Which is smaller: -55 or r?
r
Let s = -40 + 48. Let q be -4 - (-2)/s*0 - -28. Which is smaller: 25 or q?
q
Suppose 1313*z = 2582*z - 1297*z + 56. Let p(i) = -22*i**3 + i**2. Let m be p(-1). Are m and z equal?
False
Let o = -521 - -3. Let y = -80 - o. Do y and 0.1 have different values?
True
Let k be (25 - (11 + 4440)) + 0*1*-1. Which is smaller: -4425 or k?
k
Let n(m) = m**3 - 12*m**2 + 18*m - 7. Let d be n(11). Let r be d/3*24/(-16). Which is bigger: r or -36?
r
Let l be 11/(275/(-20)) + (-90472)/(-40). Which is smaller: -0.1 or l?
-0.1
Let w be (-488)/43 + (174 - 177)/(6/(-16)). Is 7 at least as big as w?
True
Let l = 0.27 + -0.17. Is l <= 1407?
True
Let i = 10 + 32. Suppose -3*t + i = u + 2*u, -25 = -5*u. Suppose -12*f - 27 = -t*f. Is f greater than -10?
True
Let w be (-5816)/3360 + 25/15. Let z = w - -2683/37380. Is 1 greater than or equal to z?
True
Suppose -123*i = -8661 + 3003. Which is greater: 44 or i?
i
Suppose -18*a + 23*a - 60 = 0. Let u = 17 - a. Suppose -7*x + 8*x + u = 0. Is x < -14?
False
Suppose 4*k = -2*u - 9904, -11*u = 5*k - 13*u + 12389. Let c = -17665/7 - k. Is -46 at most c?
False
Suppose 13*q = 2*q + 45012. Let v be (-9)/(-15) + (q/(-90))/(-2). Which is smaller: v or 23?
23
Let c = 173 + -169. Suppose -5 = 9*h - c*h. Suppose 5*l - 29 = -2*k - 1, -4*k + 4*l = -56. Which is bigger: h or k?
k
Let p = 2682 - 2731.04. Let f = p - -49. Let t = -16 - -13. Which is smaller: t or f?
t
Let f be -59 + 65 - 10/35. Is -3 less than f?
True
Let n = 38849/6 + -279113/42. Let x = -171 - n. Is 23 less