*w - 28. Let t be l(3). Let f(d) = d - 1. Let y be f(t). Suppose 43 = -y*v - 17. Which is smaller: -1 or v?
v
Let o be ((1/(-7804))/((-3)/12))/(28 + -27). Are 0 and o equal?
False
Let s(v) = 15*v + 51. Suppose -4*f + 28 = -4*n, -8*n - 4*f + 10 = -9*n. Let p be s(n). Which is greater: -38 or p?
-38
Suppose 7*k - 2*k = 2*a - 9089, 4*k = 8*a - 7252. Is k at most as big as -1821?
False
Let j(y) = y**3 - 5*y**2 + 2*y - 7. Let z be j(6). Let d be (9/(459/34))/((-2)/123). Let g = z + d. Which is smaller: g or -4/21?
-4/21
Let p(u) = -u**2 - 15*u - 139. Let h be p(-14). Which is smaller: h or -128?
-128
Let c = 10916 - 10969. Are c and 0.68 non-equal?
True
Suppose -f + 39*l - 34*l = 131, -f - 131 = -8*l. Is f >= -152?
True
Let m be 2*(-5)/30*60/10. Which is greater: m or -66/115?
-66/115
Let l(s) = -3*s + 4. Let q be l(-2). Let k be 12/3 + q/6. Let v = -69 + 74. Does k = v?
False
Let k = 11 + -12.52. Let f = k - -5.52. Is f less than or equal to 4/5?
False
Suppose 0 = -j + 3*j - 60. Suppose -1163*x = -1161*x + 4. Let y be ((x/2)/((-7)/217))/1. Which is greater: y or j?
y
Let a be 1728 + -1 + 4 + -6 + -2. Is 1724 bigger than a?
True
Let r be (-12)/(-5) - (-50)/(-125). Let f be r/((-3 - -4)*-2). Which is smaller: -2/1079 or f?
f
Let y(l) = -14*l - 126. Let h(g) = 7*g + 63. Let p(w) = -5*h(w) - 2*y(w). Let j be p(-9). Which is smaller: 12/31 or j?
j
Let k = -10.6 - -10.742. Let d = -2.858 - k. Is -0.037 greater than or equal to d?
True
Let i = -21 - 92. Let c = i - -110. Let q be 6/c*(84/(-8))/3. Which is smaller: q or 4?
4
Suppose 46 - 112 = 6*c. Let g be (0 - (-1473)/c)/((-8)/(-32)). Let v = g - -536. Do 0 and v have different values?
True
Let p = 817.1 + 833.3. Let t = p + -1524. Let m = t - 127. Is 1 < m?
False
Suppose 0 = 2*z + 2*r + 8, -z = -3*z - 5*r - 17. Let u be -6*z*10/3. Suppose 6*l = l - u. Is -2 < l?
False
Let z = -1977/154 + 87/7. Let g = 579/44 + z. Is g greater than or equal to 14?
False
Suppose y + 7 = 2*y. Let g(i) = 36*i**2 - 786*i - 126. Let d be g(22). Is d < y?
True
Let k = -153.8 - 490. Is k at least as big as -0.1?
False
Let i = 97 - 93. Suppose 2*s - 379 = -3*g, i*g + 2*s - 500 = -2*s. Let c = 901/7 - g. Which is smaller: c or 0?
c
Let k = 30 - 30. Let i(q) = -q**3 + 3. Let n be i(k). Let a be 1/(-3) - ((-152)/42 + n). Which is smaller: -19 or a?
-19
Suppose 0 = 3*n - s - 25, 4*s = -0*s + 20. Let g be (2/n)/(2 - 18/12). Let v = 5.2 - -20.8. Which is greater: g or v?
v
Suppose -2*g = -0*g. Let q be (g + 2/(-40))*(-88)/(-121). Is q at most as big as 1?
True
Let m be (7/3)/((-12)/72). Which is smaller: m or -404/29?
m
Suppose -3*v + 3*u - 42 = 411, -2*v + 4*u - 296 = 0. Let s be (28/v + 26/22)*2. Suppose 0 = 4*h - 3*g - 15 - 3, -h + 2*g = -s. Which is smaller: h or 2?
2
Let v be -1 - -1 - (-3 + (421 - -7)). Which is smaller: v or -1279/3?
-1279/3
Let q = 7.998 + 0.002. Let s = q - -58. Let c = s + -69. Which is smaller: -4 or c?
-4
Suppose 786*x + 1880 = 782*x. Is -471 greater than or equal to x?
False
Suppose 0 = -0*o + 3*o, -14 = -2*a - o. Let l be 5 + a + -7 - (-370)/(-38). Is l greater than -4?
False
Suppose -a = -2*z - 3794, 4*a + 0*a + 3*z = 15121. Suppose a = -7*c + 991. Which is greater: -400 or c?
c
Let j(i) = i**3 + 41*i**2 - 84*i + 87. Let a be j(-43). Which is smaller: a or 3/19051?
3/19051
Let w = 24990 + -23457. Is w at most as big as 1533?
True
Suppose -11*c - c = -3696. Suppose 5*r + 5*h = -290, c = -5*r - 2*h + 3*h. Which is smaller: r or -62?
-62
Let j(b) = -b**2 - 2*b + 5. Let c(p) = -p**3 + 6*p**2 - 4*p. Let g be c(5). Let o be j(g). Let a be o/21*(-14)/6. Which is greater: a or 2?
a
Suppose o - 38 = -3*i, -4*o + 5*i + 165 + 38 = 0. Suppose -4*a + 5*k = -o, -4*a + 5*k + 23 = -3*a. Let w be (a/(-20))/((-124)/20). Are 0.1 and w equal?
False
Let o be -2 + 1 + 12 + 10 + -28. Suppose -56 = 5*d + 9. Let a be (d + 9)*((-38)/(-20))/1. Is o at least a?
True
Let h = 71 - 61. Suppose f - c = -2, 6*f - 2*c + h = 7*f. Suppose -f*g = -9*g - 0*g. Is g less than or equal to 1/15?
True
Let l = -358 - 2521. Let d = l - -54687/19. Which is smaller: d or -1?
-1
Suppose 3*z = 4*q + 14 - 11, 3*z = q + 3. Are q and -1/620 non-equal?
True
Let a(o) = -o**2 - 10*o - 5. Let m be a(-7). Let x be (m/(-12) - (-10)/12)*0. Is -1/299 bigger than x?
False
Let b = 4273 - 7858. Let a = b + 276040/77. Which is bigger: 1 or a?
1
Suppose -24 + 10 = -2*i - 2*m, -2*i + 10 = -2*m. Let s be 0/(-2) - 65/i. Suppose 555*o - 59 = 551*o + 4*x - 19, -x - 22 = 0. Which is greater: o or s?
s
Let q = -7 - -155. Let j be (-3)/4*q/(-111). Do 184 and j have different values?
True
Suppose 3*d + h = -82, 62*d = 63*d - 5*h + 38. Is -73 greater than or equal to d?
False
Suppose 2*g + 3*h + 785 = 0, 5*g = h - 2*h - 1930. Let s = 349 + g. Which is greater: -35 or s?
-35
Let v = 0.1 - 1.1. Let u = 212.63 + -245.4. Let f = u + 2.77. Which is smaller: f or v?
f
Let d = 13442 - 13440. Is d smaller than -398/23?
False
Let h be (-550)/(-30) + (7/(-3) - -2). Suppose -16*f + 3*y = -h*f - 66, 0 = 3*f - 3*y + 99. Which is smaller: f or -32?
f
Suppose 575*u + 5 = 570*u - 2*s, 0 = 2*s. Are 22/79 and u unequal?
True
Suppose 4*c + 72 = 2*z, -3*z + 119*c + 60 = 121*c. Let f(i) = 10*i - 4. Let k be f(3). Which is smaller: k or z?
z
Let w = 3.7 + -23.8. Let h = 18.1 + w. Which is bigger: -31 or h?
h
Suppose -20 = -4*p, -16*p + 103 = 2*y - 17*p. Let b = y + -71. Which is smaller: b or 0.1?
b
Let i be (8 - 5) + 9 + -12 + (-2)/2. Which is smaller: -11/2566 or i?
i
Let s be 4/(8 + 220/(-30))*12/(-1). Which is smaller: -58 or s?
s
Suppose 4*z - 2*m - 168 = 0, -3*z - 3*m + 158 = z. Let t = z + -43. Let f be (4 + (0 - t))/((-6)/(-4)). Is 3 equal to f?
False
Let w = -6131/7 + 2323651/2653. Let d(b) = -28*b**3 - 1427*b**2 + 33*b - 919. Let z be d(-51). Is w at least z?
True
Let x be (-803)/33 - (-2)/(-3). Let g be (-3 - 84/(-10)) + 10/x. Let s be g/((-15)/(-12)) + (-9)/6. Which is smaller: s or 2?
2
Let n = -336 - -348. Suppose 7*s + 5*s - n = 0. Which is greater: -13/33 or s?
s
Let n be (-4)/(-3)*(-20 + (-57718)/4). Do -19266 and n have the same value?
True
Let h = 326678/111 - 2943. Let s = 1145 + -1144. Is s at most as big as h?
False
Let n be 1824/171*(-60)/16. Is -95 at most n?
True
Let p = 439 - 444. Let j(q) = -q**2 - 4*q + 8. Let f be j(p). Which is smaller: f or 5?
f
Let s(t) be the third derivative of t**5/60 - t**4/6 - 31*t**3/3 - 146*t**2. Let n be s(10). Which is smaller: n or -5/9?
n
Let j(i) = 12*i**2 + 72*i - 88. Let m be j(-7). Is -363/95 less than m?
False
Let w(r) = -3*r**3 + 19*r**2 + 38*r - 129. Let f be w(11). Is -1403 != f?
True
Let q(z) = -8*z - 18. Let m be q(-2). Let t = -5/36 + -3/4. Is t >= m?
True
Suppose 8*g - 3*g = 10. Let r be (0*(-1)/g)/1. Suppose -2*c + 24*t - 21*t = -38, -11*c + 71 = -5*t. Are c and r unequal?
True
Suppose -5*q - 2*p = -3413, 2*p - 624 = 3*q - 2643. Is 676 bigger than q?
False
Let v be 8/(-14) + 52/91. Which is bigger: v or -11/140?
v
Let m = -10.98812 - 0.01188. Which is bigger: -102 or m?
m
Let c = -94.5 + 73. Let o = 28 + c. Let a = o - 5.5. Which is greater: a or 32?
32
Let m be (-2)/(-4)*(8 + 8). Let f(n) = -n**3 + 7*n**2 + 8*n - 7. Let x be f(m). Suppose 81 = -78*a - 349 - 272. Which is smaller: x or a?
a
Let y = -18807/75244 + -1/18811. Which is greater: y or 32/11?
32/11
Let p be (7/14)/(1*(-3)/2328). Let c = p - 61. Is 2/7 < c?
False
Let n(y) = -y**2 + 50. Let z be n(-7). Which is bigger: z or -3/709?
z
Let u = -85.034 + 0.034. Let c = 0.013251 + -0.113251. Is u != c?
True
Let p = -0.67495 + -34.36405. Let n = p + 0.039. Let u = n + 21. Is 1 at least as big as u?
True
Suppose -254*y = -203370 - 19064 - 30804. Is y less than 999?
True
Let b be 2667/(-84) + (-1 - 6/(-8)). Let j be 18*(-11)/((-132)/b). Is j < -50?
False
Let c be 12*70/60 + -1686. Is c greater than or equal to -1670?
False
Let y = -4206.5 + 4175.5392. Let m = y - 0.0392. Which is smaller: -0.01 or m?
m
Let t be (-1)/((-24)/27 + 1). Let p be 290/90 + -3 + 38/t. Which is greater: 3 or p?
3
Let c = 2984 - 2983.9204. Which is bigger: -1/2 or c?
c
Let y(o) = o**2 + 104*o + 854. Let v be y(-9). Are 2/24613 and v equal?
False
Let d = -3981 - -4671. Is d equal to 688?
False
Let o = -31085/31 + 1003. Suppose -2*i = -i. Which is bigger: o or i?
o
Let r = 7952/3 + -2679. Let z = r