ppose -4*h = -3 - 17. Suppose -4*q + h*o + 12 = 0, 0 = 2*q - o - 0 - 12. Is q < 8?
False
Suppose 0 = -5*x + 5*y - 9*y + 9, 2 = 5*x - 3*y. Is 1/125 < x?
True
Let f = -61.6 - -62.9. Which is greater: -2/25 or f?
f
Let n = -2.98 - -3. Let o = -2.52 - 0.28. Let t = o - -2.6. Which is greater: n or t?
n
Let q = 670.2 + -670. Is q smaller than -105?
False
Let h(p) = -17*p**2 + p + 3 + 1 - 7 + 1 + p**3. Let g be h(17). Is g not equal to 15?
False
Suppose -24 = -d - 0*r - 3*r, 5*r - 89 = -4*d. Suppose -d*n + 14*n = -252. Is 35 at most as big as n?
True
Let r = 95 - 45. Let c = r - 49.8. Let g = 5/2 + -28/11. Is g > c?
False
Let y be (-4)/12 - (-2)/(-12). Let g = -0.0401 + -18.9999. Let p = g + 19. Which is greater: y or p?
p
Let u(d) = d**3 - 3*d**2 - 3*d - 1. Let w be u(4). Suppose -w*j = -0*j - 9. Suppose 0 = 4*a + 2*g - 5*g - 7, 2*g = 3*a - 5. Is j greater than a?
True
Let x = -41 - -60. Suppose 3*h - x = 5*d, -5*d - 6 = -2*h + 10. Let k be (2/3)/((-2)/(-9)). Is k at least as big as h?
True
Suppose -3*h + 156 = -3*z, 3*h = -0*z - 4*z + 184. Is h less than or equal to 1?
False
Let d be ((-66)/9)/((-4)/(-6)). Let u = 9 + d. Let g = -29/8 + 17/8. Is g equal to u?
False
Let o = -377/5 + 75. Let r(p) = -2*p - 16. Let y be r(-9). Let h(m) = m**3 - 2*m**2 + m - 2. Let k be h(y). Is k < o?
False
Let j = -24 - -43. Let c = j - 58. Is -1 at most c?
False
Suppose 0 = 8*l - 11*l + 3. Let p be -3 + ((-567)/(-60))/3. Which is smaller: p or l?
p
Suppose -4*y + 166 = -8*y + 2*z, -3*z + 167 = -4*y. Which is smaller: y or -44?
-44
Let v = 2299/54 - 85/2. Which is bigger: v or 0.3?
0.3
Let u(c) = c - 2. Let p be u(4). Suppose 2*i = -k - p, 2*k = 2*i - 0*k - 4. Let n be 44/23 + 12/(-6). Is i < n?
False
Let p = 14 + -12. Suppose 3*f = -3*r + 21, 3*f + p*f + r = 23. Suppose 6*q + 2 = f*q. Is q bigger than 1/21?
False
Let u be 1/(-2 + 14/6). Suppose 0 = 4*x - g - 48, -x - u*g = 2*x - 21. Is 11 less than or equal to x?
True
Let f(d) = 4*d**2 + 2*d + 4. Let w be f(-2). Let j be w + -20 - -1*3. Which is greater: j or -39?
j
Let r = 3 + 7. Let i(n) = 20*n**2 + n + 1. Let a be i(-1). Let y be 4/r - (-32)/a. Is y <= 0.6?
False
Let c be ((-4022)/15)/((-314)/3). Let l = -6/157 - c. Is l not equal to -4?
True
Let o = -6/121 + -188/1089. Let u(a) = -a**3 + 11*a**2 - 10*a. Let w be u(10). Let p(y) = y**3 + y**2 - 2*y. Let b be p(w). Which is smaller: o or b?
o
Let q(l) = 2*l**2 - 8*l + 4. Let i be q(7). Let z = 52 - i. Are 3 and z unequal?
True
Let j be 1 + (-4)/((-300)/(-81)). Let t = 73/8 - 9. Let c = t + -25/72. Is j > c?
True
Let v be (1/(-3))/(3*4/18). Let m = -0.056 + 0.136. Which is smaller: v or m?
v
Suppose 3*g = -q - 7, 4*g - 2*q + 18 + 8 = 0. Let d be g/10 - (-234)/10. Suppose -d = 2*u + u + 4*c, u - 4*c = 19. Is u at most -3/7?
True
Let l = 14.2 + -35.15. Let c = -21 - l. Let r = c + 0.15. Which is smaller: r or 0?
0
Let v = -5.9 - 3. Let y = v - -9. Let x = -1.1 + y. Is -0.07 greater than x?
True
Let i be 2/(-11) - (-246)/(-99). Let x = 165 + -169. Which is smaller: x or i?
x
Let d(z) = -2*z + 4. Let k be d(0). Suppose -20 = 2*g - k*j, -g + 25 = -3*g + 5*j. Let o(f) = -f**2 + 2*f - 1. Let l be o(2). Is l smaller than g?
True
Let v = 135.95 + -136. Which is greater: v or -2/11?
v
Let h be 0 + 1 - (15 + 80/(-10)). Which is smaller: -14 or h?
-14
Let v be 0 + (-4)/(-24)*-14. Suppose 10*c - 5*c = 60. Let u be 4*(c/16 - 1). Which is greater: v or u?
u
Let j(d) be the second derivative of d**5/20 - 5*d**4/4 - 10*d**3/3 + 35*d**2/2 - 14*d. Let q be j(16). Which is bigger: -28 or q?
-28
Let x be (14/(-14))/(4/((-24)/(-33))). Suppose -3*c + 17 = 2*s, 5*s + 2*c = c + 10. Let w = -1 + s. Which is greater: w or x?
w
Let b = 1739069/42 + -41396. Let k = b + -31/3. Let x be 7/((-21)/(-9))*(-6)/81. Which is bigger: k or x?
k
Suppose -4*b = 2*v + 926 - 2880, 0 = -5*b - 2*v + 2444. Let m be 3 + 87/(-27) - b/(-18). Do -1 and m have different values?
True
Let m be (-6)/18*(12 - 0). Suppose -3*n = 3*t + 27, -n - 27 = 2*n - t. Let r be 2/6 + 39/n. Is r <= m?
True
Let z = 132/41 - 46514/14473. Let h(j) = 2*j**3 - 19*j**2 + 9*j - 1. Let l be h(9). Which is bigger: l or z?
z
Let y = 465 + -442. Let d = -32 + 56. Are d and y nonequal?
True
Let k = -7695964 + 70141015793/9114. Let q = 1/98 - k. Is q equal to 1?
False
Let w(u) = u**2 - 4*u - 4. Let a be w(5). Let r(y) = -19*y**3 - 3*y**2 + 2*y. Let d be r(a). Is d != -20?
False
Suppose 5*r = 2*q - 5*q - 8, -4*r = -4*q. Which is smaller: q or -2/43?
q
Let r be (-2 - -2)*2/4. Let i be -130*3*3/(-9). Let h be 31/(-52) - 20/i. Which is greater: h or r?
r
Let r = -26/5 - -83/15. Is 2/147 less than r?
True
Suppose 2*r + 26 = 4*q, -5*r + 1 = 16. Suppose -5*b + 17 + 8 = 0, q*v = -4*b - 115. Let d be (2 + -9)*1*4. Which is greater: v or d?
v
Let y = -249/170 - -30/17. Let t = 3 - 1. Let j be (4 - t - 2)/(-1). Is y greater than or equal to j?
True
Let u be (-2)/19 + 344/19. Let k be 37/2 - (-16)/32. Which is smaller: k or u?
u
Let j = -77 + 78. Suppose -4*m = 2*o - j + 115, 4*o + 2*m + 246 = 0. Do -62 and o have the same value?
False
Let w be (54/(-3))/(-3) - 2. Suppose 3*a - 8*a + 2*d = 12, -w*a = -4*d. Let u be a/(-2) + -1 + 0. Is u at least as big as -1/3?
True
Let p = -109 - -108.7. Is p at least as big as 192?
False
Let j = 45 + -30. Let y be (-3*2/j)/(64/920). Which is greater: -5 or y?
-5
Let r(w) = 2*w**3 - 22*w**2 - 24*w - 2. Let s be r(12). Which is bigger: -246 or s?
s
Let y = 248 - 230. Is 1 < y?
True
Let g = -104/5 - -1758/85. Let o = 20/119 - g. Are 3 and o equal?
False
Let f = 0.96 + -1.96. Suppose 6*u = 2*u + 40. Let l be (-3*(-12)/45)/u. Is l at most as big as f?
False
Suppose 46*u + 30 = 56*u. Suppose -i = 2*i. Which is smaller: i or u?
i
Let b = 10269/1409320 - 3/6406. Which is greater: b or -2/3?
b
Suppose -28 = -i + 2*i. Let l = -13 - i. Let a be (12/l)/(4/(-10)). Which is bigger: -6/11 or a?
-6/11
Suppose 52*q = -19203 - 8461. Is q equal to -532?
True
Let z(s) = s**3 - 10*s**2 - 11*s - 68. Let b be z(10). Which is smaller: -181 or b?
-181
Let c(o) = -o**3 - 5*o**2 + 5*o - 2. Let x be 1 + -2 + (-20)/4. Let b be c(x). Suppose 3*s = 3*t - 12, -t + 21 = -b*s + 5. Which is smaller: t or -1/8?
-1/8
Suppose 178 = 7*i + 45. Let l = -7 + 13. Let q be l*3*7/7. Which is greater: q or i?
i
Suppose 2*a + 1 = -2*r + 3*r, 2*a + 2*r = -10. Let o = -46 - -59. Suppose -10*i = o + 7. Is i at least as big as a?
True
Let x be ((-126)/(-24) + -4)*2/(-15). Is x at most 1/7?
True
Suppose -137 - 61 = 2*p + 2*c, 5*p - c = -471. Do -473/5 and p have different values?
True
Let s(r) = -4*r. Let t be s(-1). Suppose -3 = -2*q + 4*q + 3*i, -q - 2 = 2*i. Suppose q = 5*n - n - t. Are 2 and n equal?
False
Let w(b) = b**2 - 7*b + 5. Let i be w(6). Is i bigger than 1/16?
False
Let q be ((-4047)/(-12))/(21/12). Let l = 240 - 47. Let i = q - l. Which is smaller: i or 4?
i
Let h be 29565/(-115) + (-12)/(-138). Which is greater: 2 or h?
2
Let o = -0.063 - 54.937. Let p = o + 55. Are p and 137 nonequal?
True
Let k(r) = -37*r + 207. Let j be k(5). Is 24 equal to j?
False
Let a = -14 + 14.2. Let u = a - 5.2. Let g = -3 - u. Are 1 and g unequal?
True
Suppose -155*d - 500 = -175*d. Is d < 218/9?
False
Let k = -3/13682 + -6300549/54728. Let f = -10275/88 - k. Which is bigger: f or -1?
-1
Let m(p) = 3*p**2 + 11*p + 7 - 3 + 4*p**2 - 12 - p**3. Let n be m(8). Does 15 = n?
False
Let a = 0.04039 + 0.05961. Let w = 12 + 15. Is w at least as big as a?
True
Let z = -8 - -1. Let y(v) = v**3 - 3*v**2 + 23*v - 9. Let d be y(5). Suppose 11*k + d - 57 = 0. Which is greater: k or z?
z
Let g be (-1 + -7)/(-2) + (0 - -1). Suppose -g*w = w - 0*w. Is -6/23 equal to w?
False
Let k be ((-8)/6)/(28/(-21)). Is k smaller than -5/33?
False
Let j be 11016/1496 - (-8)/(-22). Suppose -24 = -5*s + 2*s. Which is greater: s or j?
s
Let x = 1214 - 969. Is 245 at least x?
True
Let d be 2 - (0 - (-56)/(-16)). Suppose -2*x - m = -57 - 31, 0 = -4*x + 5*m + 148. Suppose 4*g = x - 14. Which is smaller: g or d?
d
Suppose -77*w + 79*w - 192 = 0. Is w at most 95?
False
Suppose 79*t = 89*t - 130. Which is smaller: t or 11?
11
Suppose 0 = 4*l - 6 + 14. Let h(j) = j**3 - 2*j - 3. Let c be h(l). Let z(p) = p**2 + 8*p + 8. Let r be z(c). Is -1/14 at least r?
False
Let m = 38 + -35. Suppose 5*a - 4*z = -m, 3*z + 6 = z. 