1)*(-48)/8. Let n be (5 + -4)*u - 41/(-1). Which is greater: n or 45?
45
Let z = -84 + 88. Which is smaller: z or -4?
-4
Let s = 325.1 - 325. Which is smaller: s or -180?
-180
Suppose -3*m = 2*h - 7*m + 36, -3*m = 0. Let u(z) = -18*z**3 + 1. Let v be u(1). Are v and h non-equal?
True
Suppose 13*y - 4*y - 396 = 0. Let j = 33 - y. Is -11 less than j?
False
Let d(h) = -h + 17. Let f be d(13). Let y be 6/f*(-5 - -3). Let u be (1 - (-28)/(-35))*1/(-1). Are u and y unequal?
True
Suppose 40 = 11*h - 51*h. Which is bigger: h or 19/41?
19/41
Let z be (-10*1)/((-1)/(3/(-18))). Let i = -4/15 - -2/15. Is i less than z?
False
Let p = 328 + -38. Which is greater: 1/3 or p?
p
Suppose 0*y - 5*y - 166 = -r, 2*y + 70 = 4*r. Let q = -35 - y. Which is greater: -11/6 or q?
-11/6
Let m = -20 + 25. Suppose -3*n - 108 = 5*u - 43, n = m*u + 5. Which is smaller: n or -14?
n
Let r be ((-6)/(-6))/((-1)/(-7)). Suppose 0 = -r*j + 9 + 19. Let g be 6/8*j - 2. Which is greater: 0.08 or g?
g
Let a(m) = -5*m - 1. Let p be a(-1). Let g = 3 - p. Let k = 23/15 - 26/15. Is g not equal to k?
True
Let g = 44 - 26. Let w = 5 - g. Is -13 > w?
False
Let u = 471 - 1119. Is u at most -648?
True
Suppose u - 6 = -2*m, 4*m = 9*u - 8*u. Which is bigger: -6/931 or m?
m
Let j = -1193 - -1192.94. Suppose -6 = 5*p - 21. Is p >= j?
True
Let x = 11.43 - 0.43. Let c = x - 11. Is c bigger than 9?
False
Let o = 1212 - 69086/57. Let x(l) = 2*l**2 - 9*l + 5. Let d be x(4). Does d = o?
False
Suppose 0 = 3*b + 5*j - 8*j - 51, 3*b - 2*j - 52 = 0. Let a(d) = -3*d + 45. Let y be a(b). Which is bigger: -2 or y?
-2
Let l be 1424/120 + (-2)/(-15). Suppose 5*n = n - l. Let y = n - -6. Is 2 > y?
False
Let a = 2112 - 2117. Let b = 10 + -14. Which is smaller: a or b?
a
Let m(f) = -f**3 - 3*f**2 - f. Let w be m(-2). Let i be 1 + -2 - (w + -2 + 2). Let o(a) = 2*a**2 + a. Let g be o(-1). Is i smaller than g?
False
Suppose 11*q - 6 = 14*q, 5*g - 4*q - 33 = 0. Which is smaller: g or 26/7?
26/7
Let v = -55 - -10. Is v at most 1?
True
Suppose -19 = -5*a + 6. Let u(q) = q**3 - 7*q**2 + 12*q - 25. Let l be u(a). Which is smaller: l or -13?
l
Suppose -4*f + 25 = f. Suppose 3*c + 4*l = 0, -3*c + c + l = 0. Suppose y - 12 + 7 = c. Is f not equal to y?
False
Let v(r) = -5*r + 31. Let b be v(6). Is -6/443 at least b?
False
Let m = 719/133 + -100/19. Suppose 2*s = 3*g + 6, 2*g - 4*s + 3*s = -3. Which is smaller: g or m?
g
Let x = 38724149/1179720 + 4/29493. Let j = 1382/3 + -6412/15. Let w = j - x. Which is smaller: 0 or w?
0
Let r = 2894911/11 + -263347. Let v = r - -173. Let f = -11/15 + 2/5. Is f greater than or equal to v?
False
Let n = -33 - -79. Let o be n/6 + (-20)/30. Suppose 0 = t - 0*t - o. Which is bigger: 6 or t?
t
Let k(i) = 16*i + 46. Let p be k(-3). Are p and -19/11 nonequal?
True
Let s be (-2 + 13)*48/(-63). Which is smaller: -9 or s?
-9
Let x = -30 - -24. Let q = x + 19. Is q bigger than 12?
True
Let g = -59 - -59.28. Let x = g - 0.18. Which is smaller: 18 or x?
x
Let j(v) = v**2 - 2*v - 2. Let w be j(3). Let f be (-3)/(-24)*96/(-56). Is f > w?
False
Let n be (-1)/(-1*8/136). Is 0.03 <= n?
True
Let f = -49 - -342/7. Let x(n) = -16 + 3*n - 5*n + n. Let i be x(-15). Is i greater than f?
False
Let t(b) = b**2 + 10*b - 16. Let z be t(-15). Let f(y) = -60*y - 2. Let x be f(-1). Which is smaller: z or x?
x
Suppose u + 3*r - 7*r = -2, -3*u - 26 = -2*r. Let m = 7 + -6. Let y be 1 - m/(-8)*-10. Which is smaller: y or u?
u
Suppose 7*v - v - 12 = 0. Suppose 4*c = -0*l - 4*l, 0 = -5*l + v*c. Which is bigger: 1 or l?
1
Suppose b + t = -t + 15, -5*t = 5*b - 65. Suppose 8*y - 3*y = -20, -10 = f + 3*y. Suppose 3*j - 27 = -3*z, 0 = -2*j + f*z + 14 + 8. Are b and j equal?
False
Suppose -8*l + 556 - 548 = 0. Is -3/29 greater than l?
False
Let u(q) = -4*q + 9. Let f be u(2). Let s = 3 - 0. Let r be 1 - (s + (-11)/3). Is r greater than or equal to f?
True
Let l = 454 + -879/2. Suppose -136*m + 153*m - 255 = 0. Which is smaller: l or m?
l
Let d = -2/1327 - 80943/2654. Let c = -31 - d. Is -2 smaller than c?
True
Suppose -4 = 2*b + 10. Let t = 55 + -41. Suppose -2*k = -4*k - t. Is k greater than b?
False
Let b(y) = -y**2 - 23*y - 112. Let k be b(-7). Let p = -40453/45 - -899. Which is bigger: p or k?
p
Let v be 104/20*(119 + 1). Let z be (160/v)/((-4)/6). Are -1 and z equal?
False
Let z = 7914 - 7917. Let p be (0 - -2)*(1 + -2). Is z at most as big as p?
True
Let d = 12.5 - 16. Let b = 3.5 + d. Is 3 equal to b?
False
Let y be (4 - (-75)/(-20))*(-16)/(-2456). Which is greater: y or 0?
y
Let j(m) = -277*m**3 + 2*m**2 - m. Let x be j(1). Let a be (18/x)/(2/(-4)). Does a = 0?
False
Let c = -6647 - -1721576/259. Is c at most -1?
False
Let w = 46 + -24. Let h be w/(-6) + 3 + (-7)/(-6). Let t = 29/12 - 9/4. Is t > h?
False
Let k be 102/68 - 10/4. Let h be ((-1)/((-1)/4))/19. Which is smaller: k or h?
k
Let i(n) = -n**3 - 4*n**2 + 49*n - 20. Let p be i(-9). Which is greater: p or -59?
p
Suppose 0 = -3*v - 5*x + 31, 47 = 4*v + 2*x + 15. Is 34/5 greater than v?
False
Let a be 2/4*202/((-1)/(-1)). Let g = a + -108. Is g bigger than 2?
False
Suppose -8 = 4*j - o, -2*o = 2*j - o - 2. Suppose 20*a = 13*a - 14. Which is bigger: a or j?
j
Let n = 1287 + -1984. Let p = n - -10459/15. Which is smaller: p or 1?
p
Let a be ((-5)/4)/(3/(-2)). Suppose 0 = -42*i - 127 - 167. Is i bigger than a?
False
Suppose a = -h + 59, 2*h = 7*a - 3*a + 118. Which is bigger: h or 60?
60
Let b be (8180/(-35) - 12) + 6/(-21). Is b > -243?
False
Let d(c) = 4*c**2 - 3*c**2 - 2 - c**3 + 7*c**2. Let r be d(8). Let m be -4 + (-82)/r - 3. Is 34 > m?
False
Let o(f) = 23*f**3 - f**2 + f + 1. Let d be o(-1). Let y = d - -21. Is y smaller than -3?
False
Let a = -12 + 11. Let y be a/(0 - (-3)/18). Let v be (3/y)/1*26. Which is greater: v or -12?
-12
Let z = 19.17 - 19.29. Are z and 80 unequal?
True
Let s = -1196/9 - -133. Let t = -1.1 - -0.1. Which is smaller: s or t?
t
Suppose -6 = 5*v - 6*v. Suppose -4*q + 2 = -v. Suppose -q*n = w + 3, -4*w = -w - 15. Is -4 != n?
False
Let z be 24*(-4 + 18/4). Suppose 8 = -8*n + z*n. Is n at least 14?
False
Suppose 9*j - 7*j = 2. Suppose 2*t = -3*q + 5, 4*t - j = -q + 4. Suppose r - t + 6 = 0. Which is smaller: r or -4?
r
Suppose -4*m - 26 = -2*p, -p + 25 = 6*m - 2*m. Let f be (51/12)/((-3)/(-12)). Is f bigger than p?
False
Let v = -1066/1841 - -2/263. Suppose -8*o + 4*o = -8. Suppose 0 = -o*m - 0 - 4. Is m at least as big as v?
False
Let z = 2 + 8. Let b = z + -10.1. Are b and -15 nonequal?
True
Let y be 16/80 + (-228)/(-10). Suppose o - 4 + 17 = -2*z, y = -2*o - z. Are -12 and o non-equal?
True
Suppose -75 = -14*t - 201. Let s(w) = -4*w - 6. Let a be s(0). Which is greater: a or t?
a
Let y = 314.9 - 315. Do y and 18 have different values?
True
Let u = -9/4 + 2. Let n = -59/4 - 95/12. Let z = n + 23. Which is bigger: z or u?
z
Let j = -199/2 + 979/10. Let w(f) = f**2 + 3*f - 4. Let v be w(-4). Suppose 3*h + v*h = -9. Which is smaller: h or j?
h
Let p(q) = 3*q - 2. Let j be p(2). Let f be 5 + (-116)/36 + j/(-2). Is 0 at least as big as f?
True
Let z be (-4)/22 - (4 + (-607)/11). Is z bigger than 51?
False
Let y(w) = 3*w - 3. Let c be y(5). Let r = -2 - 12. Let n be c/(-42) - 46/r. Do 0 and n have the same value?
False
Let b = 28 + -75. Let c = -42 - b. Is 6 < c?
False
Let f be 1/(-2*1/10). Let u be 8/(-20) + 38/f. Let i = 8 + u. Is -2/3 > i?
False
Let w = -6497857 - -1436018501/221. Let o = w - -453/13. Which is greater: o or -1?
o
Let b = 411 - 335. Is -1.1 less than b?
True
Suppose 0 = 3*y - 1 - 5. Let f be 5 + (-4)/y + 3. Is 5 greater than or equal to f?
False
Let w = -188 - -151. Is w bigger than -36?
False
Suppose -3 + 21 = -9*m. Let r(h) = h**2 + 4*h - 7. Let k(q) = q**3 - 7*q**2 - 2*q + 9. Let c be k(7). Let x be r(c). Is m at most as big as x?
True
Let p be (-196)/252*-9 + 119/(-9). Suppose 0 = -2*w - 2*w - 28. Is p greater than or equal to w?
True
Let v = 9 - 1. Suppose -4*c - 68 = 3*o, 4 = 3*c - v. Let w be (24/o)/((-1)/7). Is w >= 1?
True
Let d be ((-58)/28 + 2)*-4. Let j = -8 + 8.58. Let k = j - 2.58. Is k smaller than d?
True
Let f be (660/810)/(2/(-12)). Which is bigger: f or -6?
f
Let t be (12/(-5))/((-18)/1620). Which is smaller: t or 214?
214
Suppose -i - 3*h = -16, h = -3*i + 1 + 7. Let x be i/((-9)/2 + 2). Let n(u) = -4*u**2 + 