= 5*c. Suppose m*h - 6 = -3*w + 220, 2*w = 3*h - 161. Let i be (h/1 - -3)/(4 + -6). Which is greater: -30 or i?
i
Let b(d) = 4*d**2 - 74*d + 40. Let h = -340 + 362. Let t be b(h). Is t bigger than 347?
True
Let h(v) = -2*v**2 - 22*v + 302. Let m be h(8). Let z(c) = -c**2 - 5*c + 4. Let f be z(-5). Let t = -5 + f. Which is bigger: m or t?
t
Let a = -340 - -302. Let w = a - -38. Which is smaller: -4/35 or w?
-4/35
Let o be (0/4)/(20/(-10)). Let l be (0 - -6) + (o + 4 - 9). Is 97 smaller than l?
False
Let j = -298.8 + 297.8. Which is smaller: j or -395/6?
-395/6
Suppose -n - 272 = 16*n. Let r be (-49 - n)*(56/6 - 1). Which is smaller: -276 or r?
-276
Suppose 48*c = -43*c + 22841. Which is greater: c or 5?
c
Let l be ((-12)/(-54))/(70/8652). Let c = 10466/345 - l. Is 3 bigger than c?
True
Let q(o) = 5*o**2 + 12 - o**2 + 15*o - 4. Let u be q(-4). Let r be (u/36)/((-7)/3). Which is greater: -1 or r?
r
Suppose -18*l = -16*l - 476. Let x = l + -136. Let f = -71 + x. Is f <= 31?
True
Let a(s) = 2*s**2 - 43*s + 60. Let i be a(15). Is i greater than -127?
False
Let h = 7376 + -3813. Which is bigger: 3562 or h?
h
Let s = -14175 - -9950. Which is bigger: s or -4226?
s
Let r be 4 + ((-103)/1442 - (1640/42)/4). Is r smaller than -1/18?
True
Let x(y) = y**3 + 17*y**2 + 2*y + 36. Let l be x(-17). Suppose -l*f - 5*f = -504. Suppose 9 = 71*d - f*d. Which is smaller: d or -13?
-13
Let t = -4.1 - 7.9. Let f = -15 + 23. Let u = f + t. Is 0.07 != u?
True
Let q(v) = 11*v**2 - 37*v + 13. Let w be q(3). Let x be 2*-1*3/468. Which is bigger: x or w?
w
Let c be (3516/9 - (-18)/(-12)) + 9/27. Which is greater: c or 390?
390
Let n(t) = -3*t - 12. Let v(q) = -13*q - 48. Let b(u) = -9*n(u) + 2*v(u). Let w be b(-7). Let f be 8/w - (3 - (2 + 0)). Which is bigger: -1/3 or f?
f
Let r = -299.2 + 303.2. Is 1/181 at least r?
False
Let b = -14128 + 2076817/147. Is b equal to 0?
False
Let b = 309.55 + -308. Let l = -1.45 + b. Which is smaller: l or 122?
l
Suppose -57*c + 58*c = 310. Let m be (-589)/c - 1/10. Is -1 equal to m?
False
Let n = 121 + -119. Let x be (-2640)/(-99) - n/3. Is 6 greater than x?
False
Let n = -20 - 35. Let b = -18 + n. Let m = 77 + b. Which is smaller: m or -3?
-3
Let o(k) = 148*k - 1490. Let u be o(10). Which is smaller: 53 or u?
u
Let v be (2 - 3)*(-3 + 42). Let n = -1.0633 - -0.0633. Is n less than or equal to v?
False
Let l(y) = y**3 + 29*y**2 + 59*y + 171. Let s be l(-27). Which is greater: 39 or s?
39
Let k be 161/7*(9 + -1). Let f = -112 + k. Let a = f - 73. Is -3/79 equal to a?
False
Let f = 39643 + -1109825/28. Let a = 5/4 - f. Let q be 37/(-6) + (-1)/(-6). Do a and q have the same value?
False
Let l = -11.1 - -119.1. Let g = l - 79. Let s = g + -37. Does -0.01 = s?
False
Let i(z) = -z**2 + 30. Let g be i(5). Suppose g*r + 7*r - 444 = 0. Are 109/3 and r unequal?
True
Let c be ((-18060)/375)/(18/15). Is c smaller than -1/3?
True
Suppose 3*x - 3130 = -2*z - 48622, 4*x + 4*z = -60664. Is -15160 greater than or equal to x?
True
Let n be (-456)/(-40) + (-4)/10. Let j = n - 17. Let b be (-2)/((-3 - j) + -1). Do b and 2/33 have the same value?
False
Suppose -8*k + 3*t - 1289 = -10*k, -3*k = t - 1909. Is k greater than 0?
True
Let l(i) = -7*i - 6. Let k be (-36 + 33)*(-2)/(-6). Let j be l(k). Is 2/1039 at least as big as j?
False
Let n be 10/4*-6*6/45. Let c be ((-4)/5)/(n/5). Suppose 2*y = 2*z + 2, -4*y = -c*z - y. Which is bigger: -2 or z?
-2
Let m(p) = -11*p**2 - 715*p + 63. Let o be m(-65). Let v(z) = -z**2 + 7*z + 8. Let k be v(8). Suppose -3*i + 169 + 23 = k. Is i bigger than o?
True
Let b(z) = 4*z**3 - 38*z**2 - 36*z + 160. Let f be b(10). Which is smaller: f or -20/37?
-20/37
Let n(b) be the third derivative of b**6/120 + b**5/10 - 3*b**4/8 - 2*b**3 - 31*b**2. Let a be n(-7). Suppose -4 + 20 = a*i. Is i < 8?
False
Suppose -2 = -5*z + 2*q + 6, 0 = z - q - 1. Let p(s) = -3*s**z - 6*s + 12 - 10 + 9 + 3*s. Let r be p(-3). Which is bigger: r or -15/2?
r
Let v = -230 + 235. Let l be 3*v/(875/5). Suppose -4*o - x = -0*o, 2*o = -x + 2. Which is greater: o or l?
l
Let a(f) = 6*f**2 + f - 1. Let k be a(1). Let h(m) = -11*m - 7. Let t be h(-1). Suppose 31 = t*v + 5*d, 4 = 2*v + 2*d - 12. Is k at least as big as v?
False
Let q = 539 + -531. Let i be 4/28*13/((-12012)/q). Is i smaller than 1?
True
Let g be 39/54 - 1/2. Let c be ((-1444)/(-342) - 12) + 0 + 8. Is c bigger than g?
False
Suppose z - 3 = s - 2, 3*s + 4 = 2*z. Let d be (z - 1) + -2 + 8. Suppose 0*m = 2*r - m - 34, 0 = r + d*m - 8. Which is greater: r or 13?
r
Suppose 8 = -2*j, x + 3*x - 96 = -2*j. Let g = x + -27. Let y(k) = 2*k**2 + k + 2. Let a be y(g). Which is bigger: a or 25/7?
25/7
Let k = -34548 - -34548. Which is smaller: -2/69739 or k?
-2/69739
Let o be 2/5 - (-12)/20. Suppose -2 - o = 3*h, 3*h = f - 7. Let v be (-574)/294 - f/(-14). Is 0.11 smaller than v?
False
Let k(l) = -2*l + 8. Let o(n) = 1. Let s(y) = k(y) + 10*o(y). Let h be s(8). Suppose h*c = -0 - 14. Is c greater than or equal to -7?
True
Let v be (-11 + 135/12)/(118/(-376)). Which is smaller: 0 or v?
v
Let x = 95/6 - 1093/66. Suppose -956*w - 880 = 319 + 713. Is w >= x?
False
Let d be (-71)/(-2*(-1)/4). Let c(y) = y**3 + 43*y**2 - 50*y - 405. Let n be c(-44). Which is greater: n or d?
n
Let l be (1 + -58)*(-12)/(-8)*10/45. Is -134/7 < l?
True
Let p be (-48)/(-27) - ((-32)/36)/4. Let v be -2 + 683 + 2/p. Let u be (-8)/6*(-33)/v. Which is greater: u or -1?
u
Suppose 0 = l - 13 + 15. Let w = 7/2 + l. Suppose k - 3 + 2 = 0, 3*t - 5*k - 1 = 0. Is t at most as big as w?
False
Let s be -32 - 8613/(-270) - (-9)/10. Let u = 0.01 - 0.1. Which is smaller: u or s?
u
Let l = 0.86 + 75.14. Let t = l + -65. Which is bigger: -0.07 or t?
t
Let y = 4 + -3. Let k = 41594 - 3951497/95. Let q = k - -2/19. Are q and y nonequal?
True
Let v = -1/14293 + 600349/614599. Is v at most as big as 0?
False
Let m = 9699608/55437 - 82/3261. Let w = 61 - -114. Let l = w - m. Which is bigger: -1 or l?
l
Let o = 0.2 + -0.08. Let d = o + 18.88. Let x = 19.3 - d. Are 1/5 and x non-equal?
True
Let x be 64/48 - 2/(-3). Suppose 3*w - 122 = 4*b + x*w, 2*w = -4*b - 128. Suppose 0 = -5*r + 4*j - 135, 2*r + j = -r - 98. Is b < r?
False
Let m(k) = -78*k. Suppose -1 = 4*z + 3. Let i be m(z). Let u = i - 45. Which is greater: 32 or u?
u
Let a = 0.008 + -0.048. Let s = -0.247 + 11.247. Which is bigger: a or s?
s
Let x = -1534 - -1533. Let j(t) = 5*t**2 + t - 7. Let u be j(-8). Let m be 107/u + 14/(-35). Which is smaller: x or m?
x
Let k be (-27)/(-2988)*600/(-1305). Which is smaller: -1 or k?
-1
Let y(o) = o**2 - 57*o + 134. Let t be y(-30). Is 2742 greater than or equal to t?
False
Let g be 1/3 + 7/(-21). Suppose 13*f - f - 24 = g. Let i be (-3 - -2)/(1 + (f - 2)). Do 4.1 and i have the same value?
False
Let t = -15.2 - 0.3. Let q = -15.4 - t. Which is bigger: q or -2/37?
q
Let w = -2793.408 + 2793. Is -5 greater than w?
False
Let f(b) = -b**3 - 31*b**2 + 73*b + 228. Let r be f(-30). Which is bigger: r or -2860?
-2860
Suppose 0 = -881*p + 878*p + 33. Suppose -p*q = -7*q + 96. Which is greater: q or -26?
q
Let j be 2/((-36)/10 + 0). Suppose 5*w - 109 = 21. Suppose -w*k = 8*k + 68. Is j smaller than k?
False
Suppose 0 = -2*a - 4*f - 2011 + 6851, -3*a = 3*f - 7260. Suppose -a = 14*l - 36*l. Which is bigger: 113 or l?
113
Let s = -360.91 - -361. Which is bigger: s or 118?
118
Suppose 4*r - 31 = 13. Suppose 3*v - 21 = 33. Suppose v = 6*k + 6. Which is smaller: k or r?
k
Let v = -4.6 + 8.1. Let b = 3.46 - v. Is 0.04 > b?
True
Let r = 52 - 417/8. Let w = 1/4 + r. Let d = 658 + -656. Which is smaller: w or d?
w
Let s = 640961/3575204 + 40/5693. Let z = s + 10/157. Is z at most -10?
False
Suppose 583 = -2*m - a, 16*a = -m + 20*a - 305. Let n be 4/(-18) - (-2644)/(-9). Which is greater: n or m?
m
Let r be -5*16/(-140) - (4 + 1614/(-21)). Are 74 and r equal?
False
Let s be (3/(-21))/(11/77). Let z be ((-1)/(-3) + 1)/(-7 - s). Which is bigger: 19 or z?
19
Suppose -f = 5*s + 99, 0 = -4*s - 0*s + f - 72. Let j be (-13953)/12 + 1 - 3/(-4). Let k be j/54 + (-6)/(-4). Which is smaller: k or s?
k
Let m = -17021 + 8922. Is -8100 bigger than m?
False
Let h = 102 - 103. Let n(l) = -4*l**3 + 5*l**2 + 5*l + 21. Let q be n(7). Let b be (-1)/(-7) - (-135)/q. Which is bigger: b or h?
b
Let x be (-2)/1