19. Suppose 2*f + 84 = -s*q, -210 = 8*f - 3*f - 2*q. Which is smaller: -40 or f?
f
Let u be ((-36)/(-14636))/(48 + -45). Which is smaller: u or 0?
0
Suppose -17*i - 8*i + 7*i = 0. Suppose a + 3*p = 2*p, i = 2*a - 5*p + 14. Do a and 3 have the same value?
False
Suppose r - z + 206 = 0, -4*z - 134 - 682 = 4*r. Let s be (-3)/(r/55 + 4). Is s at least as big as -11?
True
Let f(q) = 76*q**3 + q**2 - 7*q - 7. Let j be f(-1). Let h be (-10)/j - 8076/60120. Which is smaller: -1 or h?
-1
Suppose 8 = 6*t - 4. Suppose 4*z + 10 = 5*g + 1, -t = 2*z. Is g <= -3/92?
False
Let x(k) = -32*k**2 + 13*k - 14. Let f be x(1). Suppose 0 = 4*v + n - 0*n + 208, 5*v + 273 = 2*n. Let j = v - f. Which is smaller: j or -21?
-21
Let x be (3 + (-15)/10)/(15/(-6) + 4). Are x and -1/3060 nonequal?
True
Let i(x) = 24*x + 47. Let k be i(-2). Let m(p) = 6*p**3 - 2*p**2 - 2*p. Let d be m(k). Is 14 at most d?
False
Let g be (-1 + 5)*(87/(-4) + 1). Let x(n) = n**3 - 24*n**2 + 90*n + 13. Let d be x(19). Is g < d?
True
Let c = 204 + -204. Suppose c = t + 3*k - 5*k + 75, -4*t + 2*k = 324. Which is bigger: t or -85?
t
Suppose -4*s + 73 = 1. Suppose -2*h + 16 + s = 0. Which is bigger: h or 15?
h
Let b(n) = -2*n**2 + 3*n + 8. Let u(r) = -r**2 + r + 1. Let v(g) = b(g) - 4*u(g). Suppose -5*i = -3*i. Let j be v(i). Is j at least 11/4?
True
Suppose 1178 - 412 = 28*c - 1082. Are 324/5 and c nonequal?
True
Let p(r) = 4*r**2 + 134*r + 520. Let o be p(-29). Which is greater: o or -82/157?
-82/157
Let p = 116 - -226. Let b = -349 + p. Which is bigger: 3 or b?
3
Suppose h + 5*l - 54 = -160, 4*h - 4*l = -520. Is -79 equal to h?
False
Let x = 45.59 - 44.59. Does x = 160?
False
Suppose 0 = 2*d - 0*d - 10, 4*n - 93 = -5*d. Let y be (267/5 - (-16)/(-40))/n. Let x = -167/119 + y. Is x at least as big as 1?
True
Suppose 0 = 16*g + 2 + 46. Let h(m) = -m**2 - 5*m + 2. Let p be h(-6). Let f = p + 7. Which is bigger: f or g?
f
Let r(c) = 6*c**2 + 7*c. Let t(v) = 5*v**2 + 6*v + 1. Let o(z) = 6*r(z) - 7*t(z). Let b be o(0). Suppose -3*w = 3*y + 24, 5*w + 25*y = 28*y - 64. Is b > w?
True
Let i(y) = -472*y - 3071. Let j be i(-7). Is 5 >= j?
False
Let o = -918 + 918.1. Let t = 8 + -5. Suppose x + 0*f - 23 = 2*f, 0 = -t*x + 5*f + 74. Is x equal to o?
False
Suppose 8*j - 120 + 128 = 0. Let h be ((-25)/(-125))/(j/(-10)). Are h and 12/5 unequal?
True
Suppose 36*z + 1028816 - 69761 = -49*z. Which is smaller: z or -11281?
z
Suppose -4*g + 3*s - 14 = -9*g, 0 = -5*g + s + 2. Let u be (495/(-77))/((-2)/g - -1). Let h = -1139/175 + u. Which is smaller: h or 0.1?
h
Let j(q) = 2*q**3 + 30*q**2 - 11*q - 53. Let v be j(-13). Is v bigger than 765?
True
Let g = -8 + 43. Let c = g - 30. Suppose 0 = c*u - 0 + 10. Is -11/4 bigger than u?
False
Let m be 14*((-2 - 0)/(-1) + (-780)/(-35)). Is m at least -3?
True
Let h = 2973357/59 + -50391. Is h greater than or equal to 4?
True
Suppose -5*q = -6*q. Let y be (-19)/(950/20)*3*(-100)/(-1464). Are y and q equal?
False
Suppose -2*a - 4586 = -p, -2*p - 586 = 2*a + 4012. Are a and -2296 nonequal?
True
Let m be (-5890318772)/334360 + 6/(-20). Let c = m - -17617. Which is bigger: 0 or c?
c
Let m = 12826461/883 - 14526. Which is smaller: m or 0?
0
Let n be (-256 + 0)/(-5 + (-9642)/(-1940)). Let b = n - 8564. Is -2 greater than or equal to b?
False
Let k = -1269 + 6366/5. Suppose -23*b - 104 = -49*b. Is b less than k?
True
Let x = -67.5 - -68.5. Let i = -310 - -228. Is i not equal to x?
True
Suppose -2*i - 4*k + 548 = 0, -45*i + k = -49*i + 1040. Which is smaller: 274 or i?
i
Let l = -0.8009 + 1.7836. Which is smaller: l or 1?
l
Let v = 8140 - 7201. Which is smaller: 938 or v?
938
Let n(g) = -g + 3. Let f be n(4). Which is smaller: f or -1/7090?
f
Let o be (250/70 + -4)*-63. Which is greater: -154 or o?
o
Suppose -201*i - 57*i - 123040 = -98*i. Which is bigger: -772 or i?
i
Let t(k) = 3*k**3 + 20*k**2 - 9*k - 2. Let v be t(-11). Is -1480 smaller than v?
True
Let q = 58.94 - -0.06. Let v = -714.02 + -183.88. Let k = v + 898. Which is greater: q or k?
q
Let h = -267 + 406. Let k = 93 + h. Which is smaller: 231 or k?
231
Let h(w) = -194*w - 53. Let r be h(-13). Let x = 64167/26 - r. Which is smaller: x or 0?
x
Let s(k) = -k**2 + 72. Suppose -9*i + i - 64 = 0. Let f be s(i). Are f and 3 equal?
False
Let g = 122 + -124. Let t be (-120)/18 - (-10)/g*1. Suppose 4*p = 13 - 57. Is t > p?
False
Let d be (12/((-252)/59493))/1. Is -2834 greater than d?
False
Let f = -645 - -966. Let c = 380 - f. Which is greater: 61 or c?
61
Let o(c) = c**3 - 8*c**2 - 19*c + 85. Let y be o(-12). Are y and -2566 unequal?
True
Let h = 0.7 + 65.3. Let a = h - 66.67. Let o = a + 0.57. Is 0.035 > o?
True
Let s be (-12)/600*1735 + (-9)/30. Suppose -1 = 4*b - 9. Suppose -b*i - 100 = 3*h - 3*i, 4*i - 50 = 2*h. Is s <= h?
True
Suppose 2*n = -5*u + 23 + 322, 3*n = u + 509. Let y = n - 182. Suppose 4*d = d - 36. Is y <= d?
True
Let q be (9/(-6))/(6/24). Let w(z) = -z**3 - 3*z**2 + 12*z - 35. Let f be w(q). Are f and 30/31 equal?
False
Let x = 5 - 2. Let z be (2945/3410)/((-1)/(-6)*3). Is z at least as big as x?
False
Suppose -5107*c - 32 = -5115*c. Which is bigger: c or 1665?
1665
Let y = 1571 - 1570.733. Is -3/7 < y?
True
Suppose 2*b + 6 = -2. Let n be b - (0 + -111)*15/(-9). Is n at most as big as -188?
True
Suppose 4*s = -0*s + 128. Let b be (-2)/(-5) + s/(-81). Suppose -24*t - 4*r = -25*t - 41, -3*r = -5*t - 35. Which is smaller: t or b?
t
Let w = 8600 - 8503. Which is bigger: 86 or w?
w
Let z = 827 + -818.2. Let t = z - 8.8. Which is bigger: t or -34?
t
Suppose -362*m - 350 = -372*m. Suppose 43*p - 3*t + m = 42*p, p = -4*t. Is p less than or equal to -102/5?
False
Let l(q) = 58*q - 462. Let w be l(8). Let a be (-1)/15*3*-11. Is a <= w?
False
Let r = -3120/17 + 30553/136. Let w = -8169/200 + r. Which is smaller: w or -1?
-1
Suppose 3*z + 3 = 0, 4*z - 10 - 154 = c. Let u be (-2)/2 + (-171)/c. Suppose 5 = 2*x + 3*x. Is u bigger than x?
False
Let d(p) = p**2 - 22*p - 26. Let j = -77 + 101. Let l be d(j). Which is smaller: l or 21?
21
Suppose 3*x - 30 = -y, -4*x + 3*y = -11 - 29. Let m(b) = -b**3 - 8*b**2 - 14*b - 5. Let a be m(-6). Suppose 9*o + a = x*o. Which is smaller: 5 or o?
5
Suppose 0 = -7*r - 6*r + 65. Which is smaller: r or 103?
r
Suppose -17*n = -20*n - 168. Let j be (n/12)/(-7)*-6. Let g be (j - (0 + -3))*21/10. Which is smaller: -2 or g?
g
Let g be (3/(-1))/((-5)/45). Let q = g + -24. Suppose -4*s - 2*y = -s + 3, 0 = -q*y. Which is bigger: s or -1/66?
-1/66
Let w = -67 - -38. Let h = 2164 + -2193. Is h at most w?
True
Let p be 194/(-6) - 4/(-12). Let g be (6/(-8))/(892/p + -4). Is g less than -1?
False
Let v = -66 + 65.62. Let y = v + 0.48. Are y and 7 unequal?
True
Suppose 9*v - 428 - 535 = 0. Let d = -108 + v. Is d >= -3/445?
False
Let n be (-116)/(-10)*(-5)/(-2). Let h(p) = -p**3 - 20*p**2 - 19*p + 44. Let a be h(-19). Suppose -254 + a = -7*u. Which is smaller: n or u?
n
Let x be ((-96)/(-40))/((-2)/15). Let t be (2 - x)*110/44. Which is smaller: 49 or t?
49
Let q = -446 + 445. Is 3/6094 less than or equal to q?
False
Let q(k) = k**3 + 10*k**2 + 8*k - 48. Let x be q(10). Which is smaller: x or 2031?
2031
Let v = 0.21916 - 0.01916. Which is bigger: v or 7/20?
7/20
Suppose 44*j + 17930 = -12606. Let m = 694 + j. Which is greater: 19 or m?
19
Let o = -1 + 1. Let j(z) = 26*z + 133. Let r be j(-5). Let t be (r - (-102)/(-12)) + 6. Which is greater: o or t?
t
Let k be 1/((-16)/(-6)) - (-3393)/104. Let d = 2.015 - 0.015. Is k less than or equal to d?
False
Suppose -7275 = -351*v + 336*v. Let x = -37 - -523. Which is smaller: x or v?
v
Let s = -3745 - -3746. Which is smaller: s or 0.084?
0.084
Let h = -9081 - -5221584/575. Are 0 and h unequal?
True
Let t(k) = -41*k + 204. Let m be t(5). Is m less than 3/3226?
True
Let a = 715 - 442. Let x = a - 172. Which is bigger: x or 1?
x
Let h be ((-22)/(-6) - 1)*3420/38. Is h at most as big as 234?
False
Suppose 1320 = -9345*z + 9334*z. Do z and -481/4 have the same value?
False
Suppose 95*r - 138719 + 621889 = 0. Which is bigger: -5088 or r?
r
Suppose 244134 = 71*h - 60*h. Is h greater than 22194?
False
Let u = 3739 - 18694/5. Is -67.2 smaller than u?
True
Let l(n) = -5*n**2 + 70*n - 31. Let u be l(15). Is u greater than -944/9?
False
Let q = -217 - -303. Let m = 78 - q. Which is s