-z - 91. Let g be (1 - -10 - (-4214)/(-344))*(0 - -68). Which is greater: g or z?
z
Suppose 0 = -2*h - 5*b - 712 - 202, 1378 = -3*h - 4*b. Do h and -463 have the same value?
False
Let s be 8742/(-56) - 16/(-96)*(-9)/(-6). Is s greater than or equal to -155?
False
Suppose q + 3*q + 68 = 2*g, -3*g = 0. Let f be (-2 - 33/q)/((-10)/60). Do 1 and f have the same value?
False
Let k = 740 - 731. Suppose 854 = -k*s + 710. Is s at most as big as -12?
True
Suppose 58*u - 156 = 4*t + 55*u, -5*t - 198 = -3*u. Which is greater: 3 or t?
3
Let s = 7336/3 - 1151758/471. Let u be ((-1)/(-4))/(6/8). Is s at most as big as u?
True
Let q be 2/1 - 2460/25. Let i = q - -97. Suppose 129*f + 723 + 621 = -207*f. Which is bigger: i or f?
i
Let b = 172 + -2287. Which is greater: -2113 or b?
-2113
Suppose -3*h + 3*w = 0, 0 = -346*w + 345*w + 1. Which is greater: -12/739 or h?
h
Suppose 2*a + 2*h + 1726 = 0, 23*a = 21*a - 5*h - 1741. Which is smaller: a or -859?
-859
Let h be (-471)/(-7)*126/(-189). Let a(d) = -2*d - 44. Let f be a(0). Is h at most as big as f?
True
Let c = 19339/257347 - 2/3841. Let i(t) = t**2 + 11*t - 12. Let q be i(-12). Which is greater: c or q?
c
Let w = 3783 + -3759. Let b(x) = -6*x - 4. Let f be b(-3). Is w bigger than f?
True
Let p = -2753 + 2748. Let r = -32416/5785 - -4/1157. Which is smaller: p or r?
r
Let h(m) = 17*m**3 + m**2 + 3*m - 1. Let s be h(-3). Let q be (-4821)/(-9)*438/(-511). Let g = q - s. Is 0 < g?
True
Let g be 0 + (90/40*-1143 - -1). Is g smaller than -2570?
True
Suppose -4*v - 3*x = -1385, 7*v = 4*v - 3*x + 1038. Is v > 347?
False
Let g(v) = v**3 - 6*v**2 + v - 5. Let l be g(6). Let y = -12.29 - -12.3082. Let d = 5.9818 + y. Which is smaller: l or d?
l
Let x = 16.793 + 23.017. Is x > 1/3?
True
Suppose 25*z + 1848 = 21*z. Let m be (z/(-88))/((-2)/(-28)). Is 73 != m?
True
Let r = -0.004 + 5.104. Let k = 4.9 - r. Let i = 0.021 - 1.321. Is k at least as big as i?
True
Let i(s) = s**3 + 41*s**2 - 17*s + 62. Let u be i(-23). Do u and 9976 have different values?
True
Let g be (40056/2010)/(-4) - (-6 - (-6)/6). Are 0 and g unequal?
True
Let b = -15672 - -15673. Which is greater: b or 4832?
4832
Let q(z) be the third derivative of z**4/12 + z**3/6 + 2*z**2 - 10*z. Let h be q(-18). Are h and -35 equal?
True
Let q = -2509/33187 + -1/431. Let z(n) = 2*n - 58. Let h be (-153)/408 + (-470)/(-16). Let t be z(h). Which is bigger: t or q?
t
Let u be (-33014375)/10100 + ((-1)/(-4))/(-1). Which is bigger: u or -3271?
u
Let w = -27.7 - 310.3. Let b = 338.05 + w. Are b and 9/2 unequal?
True
Let s = 975.5 + -979.5. Is -0.0981 less than or equal to s?
False
Let p = 141.5 - 118. Let z = -22.51 + p. Let k = 0.01 + z. Is k > 1/5?
True
Let m(p) be the first derivative of -p**4/4 + 2*p**3/3 + 4*p**2 - 16*p - 79. Let u be m(2). Is 131 greater than or equal to u?
True
Let r = 0.252 - -29.548. Let z = 14.8 - r. Do -2/7 and z have different values?
True
Let c(r) = r**3 - 11*r**2 - 7*r - 15. Let b be c(12). Suppose b*u = 41*u. Suppose u = h - 15 + 11. Are 3 and h nonequal?
True
Suppose 0 = -5*c + 25, 4*s - 6*c + 2*c = -8. Suppose 4*k - s*f + 34 = 0, -4*f + f - 8 = 2*k. Suppose -6*t = t + 49. Is t greater than k?
False
Let i = 194 - 277. Let z = i - -44. Let p(f) = -f - 56. Let l be p(-18). Is z greater than l?
False
Let k be 60/(-175) + 3/21. Let s = 69702/7 + -9957. Which is smaller: s or k?
k
Let c be (600/(-700))/((-7)/(196/8)). Let x = -38 - -25. Which is smaller: c or x?
x
Let d = 4928.19 + -4919. Which is greater: d or -1?
d
Let f = 178301/11 + -16197. Suppose -5*d = -d - 48. Is f equal to d?
False
Suppose -4*o - 2*u - 18 = 0, -2*u = o + o + 6. Let f be o - -3 - -1*(2 - 3). Let m be 174*((-2)/f + (-12)/(-72)). Is m greater than -2/3?
True
Let x be 0 + 48/(-6) + (-1 - -5). Let i be 1*-4*(-3)/(x - -1). Which is smaller: -5 or i?
-5
Let l be 701/15 + ((-333)/(-45) - 8). Let v = l - 11194/255. Which is greater: 2 or v?
v
Let h = 0.12 + 0.88. Suppose 2*r - 204 = 8*r. Let b = r - -33. Is h <= b?
False
Let j(q) = 23*q - 2. Let c be j(2). Let o be 1/((-5)/10) - (-1 + 103). Let u = -61 - o. Which is smaller: c or u?
u
Suppose -3*p + 4*x - 847 = 611, 5*x + 467 = -p. Which is bigger: -13 or p?
-13
Let y = 12197/3515107 + -2/206771. Let v be 1/3 + (-2)/6. Which is smaller: y or v?
v
Suppose 998*h + 12 = 994*h. Let t(w) = 27*w + 118. Let u be t(h). Which is bigger: u or 0?
u
Suppose -3*j = -2*j - 67. Let u = 11810 - 11744. Is u greater than or equal to j?
False
Let t(f) = -f**2 + 9*f + 7. Let x be t(6). Let l = 0.978 + -5.668. Let g = l + 6.69. Is x < g?
False
Let x(r) = -7*r - 5*r**2 + 2*r**3 - r**3 - 16 - 3*r**3 + 3*r**3. Suppose -b + 12 = 2*d, -3*b - 1 = 5. Let n be x(d). Is n less than 32?
False
Let j(d) = 18*d**2 + 68*d - 943. Let r be j(15). Which is smaller: 4123 or r?
4123
Let u = -2450 - -2421. Do u and -20 have different values?
True
Let j(h) = -1507*h + 1884. Let w be j(7). Which is greater: w or -8664?
-8664
Let d be 7328/768 + (1 - 11). Let x be (4/10)/((-28)/(-70)). Are d and x equal?
False
Let v = 0.10352 - 0.06672. Which is smaller: v or 2?
v
Suppose 2*v + 3*m - 9 = -0*v, 3*v + 3*m - 9 = 0. Is 3/358 <= v?
False
Suppose 0 = -2*s - 3*a - 13, -20 = 5*a + 5. Let h(o) = -o - 1. Let b be h(s). Which is smaller: b or -25?
-25
Let m(z) = -2*z**3 + 16 + 18*z**2 + 16*z - 4*z**3 - z**3 + 6*z**3. Let j be m(20). Let f be (j/(-24))/(4/(-6)). Is f at most -29?
True
Let u = -0.57 - 3.33. Let x = 2.9 - u. Let r = x - 6.9. Which is smaller: r or -15/2?
-15/2
Suppose 0 = -2*q - 4*d + 2076, -q + 1056 - 26 = 4*d. Is q equal to 1042?
False
Let o = -1.65 + 57.65. Let q = o + -55.74. Is -1 less than or equal to q?
True
Let s = -499.9 + 472. Let b = 1299 + -1327. Let z = s - b. Is z at least -4?
True
Let p(z) = 505*z**3 - 3*z**2 + 3*z + 11. Let o be p(-2). Is -4046 <= o?
False
Let g(n) = -n**3 - 15*n**2 - 15*n - 45. Let r be g(-15). Suppose -185*p + 990 = -r*p. Which is smaller: 199 or p?
p
Let p = 334 + -322. Let z be -8 + p - (-15)/(-3). Let f be (-3)/((-249)/(-30) + -2). Is f less than z?
False
Suppose 0 = 10*i - 136 - 784. Suppose i + 52 = -6*a. Which is bigger: -23 or a?
-23
Let p be (-42 + 20)/((-1)/(35/(-24))). Let x(g) = -g**3 + 11*g**2 - 4*g + 12. Let q be x(11). Let r = p - q. Which is greater: r or 1?
1
Suppose 0 = -8*t + 88 + 64. Suppose 57 = t*z - 38*z. Let g be (-1 + 2)*-2 + -1. Is z smaller than g?
False
Let a = 10 - 37/4. Suppose -4*s - 20 = 3*v, 4*v + 11*s - 12*s = 5. Let q be v/(12 + -1 + -9). Is a > q?
True
Let l(z) = 6*z**3 - 75*z**2 - 122*z - 58. Let x be l(14). Let u be (-114)/26 - 1/(-1). Which is greater: x or u?
x
Let w = 1371/130 + -3/65. Let o = 65 + -54. Which is smaller: w or o?
w
Suppose -3*z - j - 2 = 0, -14*j + 10*j = 4*z + 8. Is z < -1.783?
False
Let w = 637 - 365. Let z = 276 - w. Which is greater: z or 6/7?
z
Suppose -2*p = 3*g + 5620, -5*p - 3 - 22 = 0. Which is greater: g or -1875?
g
Let n = 144 + -121. Suppose 0 = -29*g + n*g + 12. Is g equal to 23/9?
False
Let p = -50032.949 - -50070. Let d = 0.051 - p. Let u = d + 36. Which is bigger: u or -2/219?
-2/219
Suppose -4*k + 9 = -4*a - 51, 0 = -4*k - a + 55. Let l be 4/(-26) + ((-540)/(-130) - k). Is -21 != l?
True
Suppose -w - 4*z + 2*z = 0, z - 5 = -3*w. Let o be (4/(-700))/(1/w). Let x = -68/175 + o. Is x smaller than -4?
False
Let o(m) be the third derivative of m**4/6 - 7*m**3/2 + 23*m**2. Let z be o(10). Let u = -115 - -803/7. Is z at most as big as u?
False
Let o(m) = -3*m - 20. Let h(c) = 12*c + 80. Let k(p) = -2*h(p) - 9*o(p). Let r be k(-7). Is -15/13 less than or equal to r?
True
Let f = -49.47 + 49.98. Which is bigger: f or 1?
1
Let t = -11762 + 11764. Which is smaller: t or -49.7?
-49.7
Suppose f + 28 = -0*b + 4*b, -3*b = 3*f + 9. Let i(g) = 7*g + 22. Let t be i(-3). Which is bigger: t or f?
t
Let c = -16473 - -7517. Is c not equal to -8957?
True
Suppose -4*h + 390 = -9*h. Let k = h - -82. Suppose 3*w - 4 = 3*n + 104, -k*n - 3*w = 172. Is -1 at most n?
False
Let f = -5657.973 + 5658. Is f greater than -36/11?
True
Let t(v) = v - 20. Let n be t(15). Let i be (11/77)/(4/(-100)). Is n at most as big as i?
True
Let c = 11 + -6. Let h be c/(-6) + 6/(-36). Let p be (h*2)/(22/55). Do p and -5 have different values?
False
Let g(j) = j**2 + 14*j + 19. Let z be g(-12). Let o be 1874