8*w - 4*p = -35*w - 29 - 6. Let h be 7/20 - 2/(-8). Which is bigger: h or w?
w
Let m be 10/(-15) - 2/(-3). Let u = 0.213 - -15.787. Is u < m?
False
Let z be 12 + -5 + (-3 - 3). Let s = 369 + 309. Let m = -5417/8 + s. Which is smaller: z or m?
m
Let l(r) = -r**3 - 24*r**2 + 30. Suppose -f + 3*m = 11 + 13, -5*m = -5*f - 120. Let s be l(f). Let y be (-4 - (-116)/(-4))*(-2)/s. Is 3 bigger than y?
True
Let w(c) = c**2 + 102*c - 562. Let a be w(-107). Let o be -2 + (-71)/(-3)*-1. Which is smaller: a or o?
a
Suppose 16*o = 19*o - 51. Suppose 19*a = o*a - 182. Let q be 8/(-14) + (-38)/a. Are q and 1 unequal?
True
Suppose 344 = -2*l + 3*k - 11, -l + 3*k = 173. Let f = l - -239. Which is smaller: f or 58?
f
Suppose -10*x - 418170 = 17*x + 3*x. Which is smaller: -13937 or x?
x
Let n(k) = 4*k - 33. Let r be n(10). Let x(g) = -g**2 + 12*g - 35. Let d be x(r). Which is smaller: d or -4?
-4
Let c = 10 - 1. Let i be (-6)/15*(9/(-10))/c. Let v(a) = -a - 7. Let l be v(-6). Are l and i nonequal?
True
Suppose 0 = -24*b + 79*b - 36960. Which is bigger: b or -2/13?
b
Let u = 16584 - 16579. Which is bigger: -303 or u?
u
Let f be (-11)/((-66)/(-8)) - (32/(-12))/2. Is f at least as big as -3/100?
True
Suppose -2*f = 4*o - 278 + 240, 0 = -5*o + 45. Which is greater: 1/2685 or f?
f
Let j = -397 - -373. Let b be (j/(-12))/((-2)/(-93)). Does 92 = b?
False
Let b = -90.6 + 156.53. Do 2/5 and b have the same value?
False
Let v be (78*1)/(9/(-6) + 0). Let i be ((-26)/v)/(60 - 0). Suppose -3*d - k = -5, -7 - 8 = -4*d - 3*k. Are d and i nonequal?
True
Let s = 758 + -58. Let c = -701 + s. Is -7/8 smaller than c?
False
Suppose -8*g + 4*g - 40 = 0. Let f be ((-5)/3 - -2) + g/3. Let m be ((-5)/(-4))/(f/28)*-3. Is m less than or equal to 36?
True
Suppose 913*t = -915*t + 1792*t - 36. Which is smaller: 3/3431 or t?
t
Suppose 567 = -46*n + 67*n. Which is smaller: n or 9/7?
9/7
Let h be (-20)/(-16) - 1/4. Suppose 0*x - x + 5*p = 20, p + h = 0. Let w be 9/162*-6*(69 + 0). Which is smaller: x or w?
x
Let u be 3/(13 - -2) + 378882/315. Is u at most 1204?
True
Let l(s) = 53*s + 1503. Let n be l(-4). Which is bigger: 6462/5 or n?
6462/5
Let o be (((-5292)/(-80))/9)/((-324)/1710). Let g = 235/6 + o. Is -1 smaller than g?
True
Suppose 0 = 5*p - h - 20, 0 = 4*p - 3*h + 7*h - 40. Suppose -p*x - 5*w + 35 = 0, -w + 0*w = -4*x + 23. Is 29/4 bigger than x?
True
Let i(g) = -81*g - 5. Let z be i(-1). Suppose 70*b - z*b = -6. Which is smaller: 1/64 or b?
1/64
Let z(u) = 2*u + 17. Let g(r) = 40*r**2 - 83*r - 2. Let v be g(2). Let q be z(v). Is q greater than -2/655?
True
Let d be (1800/105)/((-1)/(-42)). Suppose 22*b + 8*b = -d. Which is smaller: 2 or b?
b
Let b(h) = -h - 47. Let v be b(-33). Let r(w) = -w**3 - 15*w**2 - 13*w + 13. Let s be r(v). Which is bigger: s or -1/377?
-1/377
Let h be 87/4 - 308/176. Suppose -4*x - f + 17 = 0, 4*x + 3*f + f - h = 0. Which is greater: x or -5?
x
Let h(t) = 2*t**2 - 42*t + 134. Let u be h(4). Which is bigger: u or 181?
181
Let j be ((-4)/(-4))/(14/(-4)). Suppose -1654 - 113 = -31*p. Which is smaller: j or p?
j
Let p = 58312556772/53267 + -1094722. Which is smaller: p or 0?
p
Let c be (-48790)/(-300) + 17/102. Which is smaller: 162 or c?
162
Let q = 27 + -15. Let l = 168 + -913. Let a = 757 + l. Are a and q unequal?
False
Let h = -2757.9479 + 2758. Is h less than 2?
True
Let a = -404.3 + 388. Let r = -16.5 - a. Is 55 < r?
False
Let q = 134.18 + -135. Let v = 0.51 + q. Which is bigger: v or 0?
0
Let s(b) be the second derivative of -24*b + 19/2*b**2 + 1/6*b**4 + 0 - 13/3*b**3. Let v be s(12). Is -13/3 greater than v?
True
Let z = -35830 - -36352. Which is smaller: 7 or z?
7
Let l = 13/227 - -2957/3859. Is 2 at most l?
False
Suppose -33314 = 55*c - 168614. Which is bigger: 2461 or c?
2461
Let m = 31412.1 + -31413. Is m bigger than 322?
False
Let m(u) = 16*u - 104. Let r be m(6). Let g be -9 - -5 - (3 + r). Is -2/507 > g?
False
Let k = -21 - -24. Suppose 7*a = 11*a - 60. Let m be 42/a*(-5)/(-4). Is k equal to m?
False
Let i = 21.08 + -21. Let w = i - -0.12. Let p = 0.129 + 12.871. Does p = w?
False
Let t = 11/29 + -136/435. Suppose -3*f + 5*f + 2 = 0. Let n be (f + 1)/((-5)/(-5)). Which is greater: n or t?
t
Let c = -0.08 - -0.14. Let i = c - 3.06. Let f be 7*(-221)/(-2184) - ((-9)/(-216) - (-10)/30). Which is greater: i or f?
f
Let i be ((4/(-8))/(2/(-978)))/(180/120). Suppose 0 = -5*u + 10, -y + 102 + 71 = 5*u. Is y < i?
False
Let q be -3*30/(-27) + -3 + 4/(-3). Is -7/214 not equal to q?
True
Let x = 44.566 + -0.666. Let h = 38 - x. Which is bigger: h or -2/9?
-2/9
Suppose 77*g - 25*g = -77*g + 166152. Which is greater: 1285 or g?
g
Let k = -137 - -136.934. Let n = 1.366 - 1.4. Let r = n + k. Which is smaller: r or -74?
-74
Suppose 3*l - 11 = 1. Let f be (6/18)/(1/39). Let z = f + -10. Is z equal to l?
False
Let d be 106/6 - 20/12. Let w be ((-580)/d)/(-5) - -4. Is w at least as big as 11?
True
Suppose 24 = -9*c + 15*c. Suppose 3*r - 5*q = -320, -c*r + 4*q = 212 + 228. Is -113 > r?
True
Suppose 13*f - 7*f = 3828. Suppose -f = 27*z - 125. Let b(y) = y**3 - 8*y**2 + 10*y - 7. Let i be b(6). Is i greater than z?
False
Suppose -d = 5*k + 6 + 1, -3*d - 6 = 0. Let g be (-24)/(-20)*(441/(-78) + k). Let a = g - -135/13. Which is greater: -0.1 or a?
a
Let n(z) = z**3 - 9*z**2 + 50*z + 168. Let t be n(11). Which is bigger: 957 or t?
t
Let l = -98 + 109. Suppose 5*o - 2*t + t = l, 2*o + 14 = 5*t. Which is greater: o or 20/7?
o
Let r be -1*7*(-70)/98. Let y be -4 + (-31 + r - -5). Let m(i) = -i**3 + i**2 - 3*i + 1. Let w be m(3). Are w and y equal?
False
Let o(x) = 2*x + 20. Let m be o(-12). Let i be (-1)/((-2)/m) + 7. Suppose 0 = f - 0*f - i*p - 15, 32 = -4*f - 3*p. Is -4 <= f?
False
Suppose 0 = 52*q - 4320 + 1512. Is -36 at most as big as q?
True
Let g be (-290)/(-1064) + 2/(-8). Let m be 1 - (-1)/(-2) - 7/(-14). Which is smaller: m or g?
g
Let f be (30/12)/(1/2). Suppose x - 4 = 0, 2*t - f*x - 4 = -2. Let r = t - 15. Which is smaller: -6 or r?
-6
Suppose 28*z = 5*z. Suppose -5*m + 4 = -6. Suppose -2*n - 5*s + 27 = z, m*s + s = 2*n + 13. Is 6 != n?
True
Let u(h) = 648*h + 23. Let k be u(6). Is 3909 greater than or equal to k?
False
Let r = -62.131 + 0.131. Let u = r - -62.2. Let a = 1300/11 - 118. Is a greater than u?
False
Suppose 0 = 2*n - 0*n - 4. Let b be (16/(-19))/n*(-3 + 4). Let v = -3/38 + b. Is v less than -3?
False
Suppose 34*p - 18*p = 32. Suppose w - 43 + 132 = p*g, g = 2*w + 178. Is -90 bigger than w?
False
Let m = 154 + -262. Suppose 0 = 2*a - 5*h + 163, -3*a = -125*h + 123*h + 206. Let c = a - m. Are 46 and c equal?
False
Let m be 7*(3 - 3*20/15). Suppose z + r - 721 = 5*z, -4*r - 536 = 3*z. Let j be (m/21)/((-17)/z). Which is bigger: -3 or j?
-3
Let j = 4490 - 4489.71. Which is smaller: j or -4?
-4
Let q(w) = w**3 - 16*w**2 - 12*w - 85. Let n be q(17). Suppose n = 7*g - 11*g - 14*g. Which is bigger: g or 2/285?
2/285
Suppose 0 = -3*k - 5*d + 26, -4*d + 5 = -4*k - 3. Suppose 10 = 3*s + 2*o, -17 - 8 = k*s - 5*o. Which is smaller: -1 or s?
-1
Let m = -293 - -293.12. Let v = 1.6 - 1.42. Let r = m - v. Which is bigger: r or -2/3?
r
Let h(i) = 3*i**2 + 7*i. Let m be h(2). Let l be (-10)/20*4/m. Which is greater: 1 or l?
1
Let y(h) = h**2 + 64*h - 578. Let s be y(8). Are -39/71 and s unequal?
True
Let t(y) = -2*y**3 + 3*y**2 + 9*y + 1. Let p = -37 - -41. Let b be t(p). Let v = b + 50. Is 1 bigger than v?
False
Suppose 2*j - 11 = 5*j + 2*m, -2*j - m = 6. Let t = 5 + j. Suppose 0*r + 10*r + 30 = 0. Which is bigger: r or t?
t
Let t = 9.85 - 9.75. Let m = -1224/245 + -10/49. Which is bigger: m or t?
t
Suppose 2*n = 5*q + 1923 - 44, 3*q - 3719 = -4*n. Does 933 = n?
False
Let v = -1125 + 22501/20. Let b = -44 + 51. Is b > v?
True
Let g = -24700 - -24722. Is 939/44 < g?
True
Suppose 24*q - 14*q = 3500. Let r = q - 11903/34. Let b be -2 + 2/1*1. Are r and b nonequal?
True
Let b = 22435 - 22437. Is -136/111 at least b?
True
Suppose 4*j + j = -3*r + 1872, 4*j - 5*r - 1468 = 0. Suppose 0 = 2*p - 10, 5*y + 53 = p - j. Let q be ((-32)/y)/(2/(-9)). Is -3 less than or equal to q?
True
Let s = -1 + 1. Suppose i - 4*a = 6, 0*i + 3*i + a - 5 = 0. Let f be 2 + i/(-2) + (-696)/(-29). Which is bigger: f or s?
f
Suppose 12*s = -28*s + 91 + 389. Which is smaller: s or 127/12?
127/12
L