(-38)). Suppose 2*f = -5*m + 4*m - 1, b*m = -5*f - 2. Let z be 4/8*8/34. Which is greater: m or z?
z
Let n = 112 - 112. Suppose g = -2, 4*w + 0*w - 2*g - 36 = n. Is w at least as big as 0?
True
Let d be -1*((-38)/(-34) - 0). Which is greater: d or -2?
d
Let r = -740 - -828. Let s be (r/(-20))/((-4)/780*3). Which is greater: 0.1 or s?
s
Suppose 2*l + 0*r - r = -8, 0 = 2*l - 4*r + 14. Let m = -266 + 260. Let a be (3 + m)*(-1)/l. Which is bigger: a or 5/21?
5/21
Suppose -4*r + 11*r = -28. Let l be (112/116 - 1)/(r/(-32)). Suppose 7 = -5*v - f, 5*v - 3*f + 2 = 3. Which is greater: l or v?
l
Let w(a) = -a**3 + 22*a**2 - 20*a - 19. Let b be w(21). Let n(h) = h**2 - 5*h - 15. Let x be n(7). Let o be (-3 + b)*x/(-1). Which is bigger: -1/16 or o?
-1/16
Suppose -25*f + 3*t - 55 = -29*f, 50 = 3*f + 4*t. Suppose -17*p - f*p = 1566. Is p bigger than 1/3?
False
Let u = 3 - -15.5. Let y = 0.1548 + -0.0548. Which is bigger: u or y?
u
Suppose -44*l - 17980 = 14*l. Suppose -4*x + 3*p - 1235 = 0, 2*p + 2108 - 547 = -5*x. Which is smaller: x or l?
x
Let i be (6/8)/1 + (-2820)/(-80) + -28. Let z = 2678 + -18686/7. Which is bigger: i or z?
z
Let l = -1.7132 + 555.8332. Let u = 554 - l. Is u less than or equal to 16?
True
Let o be 0/(4 + 10/(-5)). Suppose -4*m - y - 4 - 10 = o, 2*y = -4. Let l be (3 - 3)*(1 - 0). Are l and m non-equal?
True
Let y = 2.316 + -0.116. Let r = y + 8.8. Is -4 smaller than r?
True
Let w = 1708 - 1835. Which is bigger: -2 or w?
-2
Let t = 9 - -6. Let f = t + -16. Let p(y) = y**3 + 8*y**2 - 6*y - 30. Let h be p(-8). Which is greater: h or f?
h
Let y(z) = 7*z**3 + 22*z**2 + 15*z - 7. Let u(s) = 20*s**3 + 64*s**2 + 46*s - 22. Let w(x) = -6*u(x) + 17*y(x). Let f be w(-4). Is -2/1227 < f?
True
Let r = 10258 - 7948. Which is greater: r or -0.2?
r
Suppose -8 = -32*n + 31*n. Let k(l) = l**2 - 11*l + 7. Let x be k(n). Do x and -1 have different values?
True
Let g be -2 + 2 + 8*3/(-2). Let l be (-14*2/6)/(4/g). Let a(s) = -4*s + 50. Let b be a(l). Is b > -4?
False
Suppose -5*w = 4*t - 29, -3*t + 10 = 4*w - 12. Let n be t/162*951 - 2/9. Suppose 5*d + n - 30 = 0. Is 3/28 bigger than d?
True
Let w = -61 - -78. Suppose 0 = 4*b + 5*o - w, 2*b - o + 4*o - 11 = 0. Which is smaller: b or 0?
b
Suppose 0 = 2*x - 4*x + 8. Let p = 43 - 41.3. Let l = p + 0.3. Which is greater: x or l?
x
Suppose 0 = -4*u + 4*p - 20, -2 = p - 7. Suppose -24 = -4*w - 5*t, 5*w + 4*t - 21 = -u*w. Let g(b) = -5*b**2 - 1. Let n be g(w). Is -7 at most n?
True
Suppose -5*b - 24*n + 23*n - 840 = 0, -2*b - 363 = -5*n. Which is greater: b or 2/9?
2/9
Suppose 5*b - 16 = 2*q + 9*b, 2*b + 4 = -3*q. Let k be (-3 + (-32)/(-12))*-6. Suppose 0 = -5*p + 12 - k. Are p and q unequal?
False
Let i = 1 - 3. Let c = 85887.98 + -84850. Let q = 1038 - c. Does q = i?
False
Let y be (-6)/15 - 4/15. Suppose 4906*r = 5113*r + 12213. Which is greater: y or r?
y
Let j = -0.62 + -48.38. Let h = -268059 - -268064. Which is greater: h or j?
h
Let x be (-3)/(72/6)*(8 - 4). Is x bigger than -1/393?
False
Suppose -47*s + 90*s = 11309. Which is smaller: 259 or s?
259
Suppose -138 = -18*v + 21*v. Let n(p) = p**3 + p - 48. Let w be n(0). Let d = v - w. Is 3 less than d?
False
Let i = 5.33 - 8203.33. Is -1/4 smaller than i?
False
Let t(j) = -6*j**2 + 10 + 9*j**2 + 6*j**2 + 4*j - j**3. Let f be t(10). Let x = f + 33. Which is greater: -18 or x?
x
Suppose 112*s = 113*s - 345. Let z be ((-5)/(-4))/(30/s). Which is smaller: z or 14?
14
Let l = -887649923/2453 - -361863. Is l greater than 0?
True
Let p = 5/843 + 3593/10116. Let s = p + 35/9. Is -9 bigger than s?
False
Let h = -8406.6 + 8406. Is 1.84 less than h?
False
Let a(r) = r**3 + 3*r**2 - 3*r - 8. Let s be a(-2). Suppose 11*x = 18*x - 14. Suppose -3*g + s*h = -43, 5 = -x*h + 1. Which is bigger: g or -0.3?
g
Suppose 0 = u - 17*u - 1082 + 1098. Which is smaller: 2/32119 or u?
2/32119
Let m = -5419 - -76011/14. Let s = 5349/7 + -771. Let b = m + s. Which is smaller: 5 or b?
b
Let k(i) = i**2 - i - 164. Let m be k(13). Which is greater: m or -0.1?
-0.1
Let f = -65.5973 + 6.5973. Let y be (-2)/(-4) + (-21)/6. Which is bigger: f or y?
y
Let c = 13.28 + 2.86. Is c smaller than -2?
False
Let d be (-7)/(-9) - 16/(-72). Let t be 3*9/17577*7. Is d < t?
False
Let a be -34*35/1190*-2*((-17)/2 + 0). Suppose 84 = 3*m - 24. Suppose 3*z + m = z. Which is smaller: z or a?
z
Let x = -1115 + 5578/5. Which is greater: x or -13/2?
x
Let d be (-2)/5 + (-267)/(-5). Let c(h) = h**2 - h - 30. Let p be c(-9). Let w be -9 + (-6 - (-6 + -3)) + p. Is w bigger than d?
True
Let u be -17 + 7126/420 + 6/(-20). Let v = 80.172 - 0.172. Are u and v equal?
False
Suppose -189 - 31 = 4*r. Suppose -1178*h + 1177*h - 56 = 0. Which is greater: r or h?
r
Let s be 2 - ((-28)/70 + (-393)/5). Which is greater: 1 or s?
s
Let z(q) = -2*q**2 + 7*q + 14. Suppose 1 + 2 = -o, 0 = 3*i + 4*o - 12. Let u be z(i). Let v = u - -54. Is v at most -2?
True
Suppose 0 = -3*u - v + 8008, -2*u + 5356 = -265*v + 270*v. Which is smaller: 2666 or u?
2666
Let j = 4.1 + 61.9. Let l = -67.27915 + 0.27915. Let x = j + l. Which is smaller: 6/13 or x?
x
Let x(v) = v**3 + 8*v**2 - 59*v - 124. Let o be x(-8). Which is greater: o or 347?
o
Suppose -3*y + 82 + 69 = -5*n, n = -2. Let c = y - 41. Suppose -c*f + 7*f - 2 = 0. Which is smaller: f or -1?
-1
Let y = -396 + 385. Let v(p) = -9*p - 100. Let u be v(y). Which is smaller: u or 33?
u
Suppose -x + 5*t + 2106 - 501 = 0, 5*t = 4*x - 6480. Which is smaller: x or 1627?
x
Let z = -2435 + 2434.96. Which is bigger: -53 or z?
z
Suppose -u + 8 = o, -3*o - 24 = -5*o + 2*u. Suppose 4*l = -o*l - 14. Let b(q) = 2*q**3 - 2*q**2 - 2*q - 1. Let z be b(l). Which is smaller: z or -10/3?
-10/3
Let p be (3 + -2)/(7/(-21)). Is p greater than -83/30?
False
Suppose 203*f = 169097 - 55620. Which is smaller: f or 556?
556
Let z be (-3 - (-24)/6 - (-1 + -2)) + 468. Which is smaller: 469 or z?
469
Suppose 0 = 55*x - 33 - 22. Which is bigger: x or -4/2367?
x
Suppose -5*h + 1 = -9. Suppose 8 = -h*u, -u = 3*i - 20 + 3. Suppose 5 = -f + i. Which is greater: f or 6/11?
f
Suppose -5*a = 3*r - 6, -r + 4 = r. Suppose a = -5*b - 4*n + 253, 2*b - 5*n + 4*n = 109. Suppose 2*v = -5*y + 3 + b, 5*v - 3*y - 78 = 0. Is v equal to 17?
False
Suppose -914371 - 2699194 + 363389 = 138*n. Is n at most as big as -23551?
True
Suppose d + 4*d = 5*r + 10, 8 = 4*d. Let s = -1/121 - 90/3751. Which is bigger: r or s?
r
Let p = -490 - 176. Let a be (-8)/(-20) - p/(-15). Let j be ((-3)/a)/((105/10)/7). Which is smaller: -1 or j?
-1
Let h = -45 + 45. Suppose -4*k + h*k + k = 0. Let l be (k + -1)*(-15)/(-25). Does l = -2?
False
Let n(f) = -f**2 - 6*f - 8. Let y be n(-4). Suppose 5*m + 30 = -y. Let r be (1 + m/9)/(13/(-15)). Is -1 less than r?
True
Let o(h) = 11115*h + 25. Let g be o(13). Let a be (2/4332)/((-10)/g). Let d = a - -2/361. Is -8 < d?
True
Let o = -119 - -270. Let k = -149 + o. Is 1 less than k?
True
Let m = -6.5 + 23.5. Let o = 25.55 + 0.45. Let s = -25.8 + o. Do m and s have different values?
True
Let c(r) = -16*r - 223. Let s(w) = -15*w - 229. Let a(d) = 3*c(d) - 4*s(d). Let t be a(0). Is t at most 247?
True
Let b = -29542 - -29954. Is b < 22?
False
Let x be 6/24 - ((-9)/(-4) - 2). Suppose x = 27*q - 25*q - 4. Let y be 2 - 0 - (q - 0). Which is greater: y or -6/13?
y
Let l = 46219 + -46225. Which is greater: 1130 or l?
1130
Let b be -12 - 0/(3 + 0). Let r(y) = -20*y - 113. Let w(v) = -2*v. Let p(q) = r(q) - 4*w(q). Let d be p(-9). Which is greater: d or b?
d
Let p = -33.46 - -28.3. Let i = 0.16 + p. Let o = 1.6 - -0.4. Is o < i?
False
Let b(j) = 2*j**2 - 3. Let n be b(3). Let r be (-138)/n*3 + (-18)/(-30). Let m = r + 17. Are m and -10 non-equal?
False
Let h(q) be the first derivative of q**3/3 - 2*q**2 + 36. Let j be h(3). Suppose f = -1 - 4. Is j <= f?
False
Let q(i) = i**3 - 12*i**2 - 21*i - 12. Let d be q(14). Suppose 3*k + d = -b, 0 = 3*k + 8*b - 5*b + 84. Is -32 smaller than k?
True
Let y be ((1 - 7) + -12)/(4/(-2)). Suppose y*q - 71 = 73. Which is smaller: 15 or q?
15
Suppose -3497 = 4*u + v, 2642 - 2 = -3*u + 5*v. Let q = -139127/159 - u. Let s be (-140)/56 - 9/(-6). Which is smaller: s or q?
s
Suppose -5*t + 60 = 4*n, 4*n - 4*t = -0 + 24. Let j be 2 - ((-30)/(-4))/((-93)/124). Let b be (j/570)/(2/n). Which is greater: b or 1?
