5*h - 5*p = 30. Is 1 > h?
False
Let i = -163.7 - -165. Does -0.1 = i?
False
Let y = 6.4 + -6.6. Which is smaller: -26 or y?
-26
Let w = 0.06 + 3.94. Let l = -0.5 + 0.28. Let y = 0.22 + l. Is y equal to w?
False
Let p(y) = y**2 - 6*y + 8. Let z be p(6). Let u be (-6)/z + 5/(-20). Suppose 0 = -5*x + 2*m + 13, -5*m = -x - 12 + 33. Is x >= u?
True
Let u be 1/(4/(-18)*(-2)/(-4)). Let g(m) = m**3 - 8*m**2 + 7*m - 10. Let j be g(7). Is j smaller than u?
True
Let t = -5.4 + 5.4. Let w = -3.07 + 0.07. Which is smaller: t or w?
w
Let j be (0 + -1)*(-11 + 9). Suppose -j*m - 3 = -5. Is 3/4 at most as big as m?
True
Suppose -20 = -4*a, -2*h - 3*a + 0 + 15 = 0. Let k be ((-5)/6)/((-6)/(-9)). Which is smaller: k or h?
k
Let b(p) = 221*p**2 + p - 1. Let n be b(1). Let f be n/(-1) - 4/2. Let t = f - -3343/15. Which is smaller: 0 or t?
t
Let m be 102/(-26) - (-36)/9. Is m less than 1?
True
Suppose -3*u - 5*q = -6, 0*q = 3*q. Let s = -8 + u. Is s smaller than -5?
True
Let y = -1 + -14. Let z = 14 + y. Do 2/15 and z have the same value?
False
Let h be (-2 + (0 - -2))/(-2). Suppose -10 = -3*l - 4. Is h > l?
False
Let g = -29/5 - -1547/265. Which is bigger: g or 1?
1
Let s be -2*(12/(-3))/40. Which is greater: -1 or s?
s
Suppose 0*s = -s + 1. Let a be -1 + 1 + 12/(-98). Let d = a + -123/196. Is s at most d?
False
Let m(i) = -i**3 - 10*i**2 - i - 10. Let b be m(-10). Which is greater: -1/22 or b?
b
Suppose -4*o + 5*u + 43 = 0, -3*u - 2*u + 5 = 0. Is 9 less than o?
True
Suppose -6 = -q - 4. Which is smaller: q or -1/4?
-1/4
Let p(z) = -z**2 - 3*z - 1. Suppose 5*y - 1 = -3*m + 5*m, 4*m - y = -11. Let r be p(m). Let x be (-2)/(-3) - (-5)/(-3). Is x greater than or equal to r?
True
Suppose -2*v - 6 = -2. Let t be (v/4)/(4/8). Let b be (1/(-2))/((-21)/18). Are b and t non-equal?
True
Suppose 2*m - 2 = -4*d, 0 = -5*d + 8 + 2. Let o(c) = -c**2 - 5*c - 1. Let j be o(-4). Let f = j - 5. Do m and f have the same value?
False
Let k = -0.87 + 1. Let y = 0.87 + k. Is y < -0.2?
False
Let j = -111/2 + 1439/26. Let w = -26 - -26. Is w smaller than j?
False
Let n(v) = -v**2 + 2*v + 1. Let z be (-18)/(-10) - (-2)/10. Let i be n(z). Which is smaller: 3 or i?
i
Let v = 0.07 - 0.12. Let g = v - -3.05. Is 2/3 != g?
True
Let o(q) = q**2 - 5*q - 8. Let i be o(6). Let s be (-2)/2 - (-3)/(-3). Is i less than or equal to s?
True
Let o = -2/193 + 237/4246. Which is bigger: -1 or o?
o
Suppose 4*s = -o + 49, 0*s + 3*o = s + 4. Suppose -5*j = 2*z - 12, 3*z - 18 - 19 = 2*j. Does z = s?
True
Suppose -30 = 3*o - 0. Let c be o/(-25) + (-44)/10. Let t be 4/18 + 60/216. Is t >= c?
True
Suppose 3*w = 3 + 9. Let a be 862/(-42) + w/(-12). Let z = -21 - a. Is 0 smaller than z?
False
Suppose 0*c = c + 4*r - 11, 5*c + 2*r - 37 = 0. Which is greater: 6 or c?
c
Let t be (210 - 6)*(-1)/(-2). Let x be (-12)/t + 94/(-68). Let f(i) = -i - 3. Let r be f(0). Is r bigger than x?
False
Suppose 14*f = 6*f + 32. Does f = -17?
False
Let l(f) = 2*f**2 - 3*f - 4. Let w(t) = -5*t**2 + 9*t + 11. Let d(r) = 8*l(r) + 3*w(r). Let z be d(-3). Are 5/6 and z nonequal?
True
Let w be (-14)/(-6) + (-1)/3. Suppose -t = 5 - 4. Let m be (t/w)/((-2)/4). Is 2 greater than m?
True
Let d(p) = -2*p**3 - 3*p**2. Let o be d(-2). Let g be 8/10 + o/(-10). Is g less than or equal to -2?
False
Let c = -0.8 + 1.4. Let v = c + 0.4. Let s = 2.2 - 5.2. Is v less than s?
False
Let x be (-1)/4 + (-3)/(48/(-340)). Is 21 greater than x?
False
Let b be 4/3 + (-10)/5. Suppose 3 = 3*i + 3*o, 0 + 8 = -4*o. Suppose i*h = -2*h. Which is smaller: b or h?
b
Let z = -29917728 - -182348552644/6095. Let r = -2/265 - z. Let n = -1 - -2. Is n not equal to r?
True
Suppose 5*d + 1 = -4. Let l be 3 - (0 - -6 - -1). Let s be l/(-126)*(-1 - -4). Is s <= d?
False
Let a = -1 - 2. Let u = -233 - -2561/11. Which is smaller: a or u?
a
Let z(t) be the first derivative of 3*t**2 - 5*t - 1/3*t**3 - 2. Let k be z(5). Is -2 != k?
True
Let g = -43/15 + 143/3. Suppose 225 = 4*a - 9*a. Let j = a + g. Is j at least as big as 0?
False
Let k = -5919 - -2346. Let c = k + 107179/30. Let u = c + -2/15. Which is bigger: 2 or u?
2
Let v = 493/53280 + -1/333. Let o = -311/1440 - v. Let y be 2/4 - 28/24. Is y not equal to o?
True
Let n be ((-4)/90)/((-16)/20). Let w = 11/36 - n. Which is bigger: w or -1?
w
Let n = -35.96 + 36. Which is smaller: n or 0.1?
n
Suppose -5 = 5*q - 10. Is 6/17 less than or equal to q?
True
Suppose 3*x + 22 = -5*w, 2*w + 6 = -w. Is -4 greater than x?
False
Let w be (15 - -1) + (-2)/(-1). Let t = 26 - w. Suppose -3*i - t = -i. Is -4 equal to i?
True
Let j be 1/((-54)/(-26) + -2). Let q = 22 - j. Suppose 0 = -f - 5*p + q, -2*p = 2*f + 1 - 3. Which is bigger: f or -3/2?
f
Let b = 14 - 40/3. Which is greater: -11 or b?
b
Suppose 4*j - 5*i + 297 = 0, -i + 144 = -2*j + 3*i. Let t = 700/9 + j. Suppose 0 = -3*r - 3 - 0. Is t at least r?
True
Let x(w) = 3*w - 14. Let p be x(7). Which is greater: p or 5?
p
Let v = 37 + -62. Are -25 and v unequal?
False
Let c(d) = -d - 4. Let j be c(-4). Suppose 0 = -s - o + 5, -3*s + o + 7 + 4 = j. Suppose -3 = -r - s. Is -3/4 >= r?
True
Let a = -5.9 + 4.7. Which is smaller: a or 3?
a
Let p = 18.7 + -19. Let v be 2 - (-7)/((-35)/8). Which is greater: p or v?
v
Let n be -2 + 1*(6 + -2). Is 0.1 greater than n?
False
Let x be 3 - ((-30)/(-3) + -2). Which is smaller: x or -4?
x
Let p be 4*(-1 - 5/(-2)). Let f = 45 + -39. Suppose -4*g + f = -p. Is g >= 3?
True
Suppose -w = -0*w - 3. Suppose -5 + 29 = 4*a + 4*x, 0 = -4*a + 4*x. Suppose -a*g - 5*k = 19, 4*g - 2*k - 3 = -3*k. Is g bigger than w?
False
Suppose -2 = 3*k + 1. Let m(n) = -n - 1 - n**2 - 6*n + 3*n. Let l be m(-4). Is l greater than k?
False
Let y = 14 - 10. Suppose 0 = 2*t + 4 + y. Is -5/2 <= t?
False
Let t = 50.02 + -53. Let q = -0.02 + t. Let p = q - -2.9. Is p equal to 2/7?
False
Suppose 0 = -2*q - 4*n - 26, -5*q = -q - 2*n + 32. Let f = q - -8. Which is smaller: f or 9?
f
Let t = -128 + 119. Which is smaller: t or -6?
t
Suppose -4*b - 3*t - 15 = 0, 0*b - 3*t - 15 = -b. Which is bigger: -1/17 or b?
b
Suppose -4*l = 33 + 3. Let w = -10 - l. Is w at least 0?
False
Let q be (-7)/8*22/(-77). Is 0 at most q?
True
Let m be (33/(-21) + 1)/(-2). Let w be (-1)/(-2) + 1/(-2). Suppose 0 = -w*a - a. Which is greater: a or m?
m
Let y = 8/3 - 35/12. Let a = -5.9 - 0.1. Is y < a?
False
Suppose -9 = 3*s, -4*v - 3*s = -24 + 9. Let m(w) = -w**2 + 5*w - 1. Let t be m(v). Which is bigger: t or -6?
-6
Let l(z) = z**3 - 7*z**2 + 7*z. Let o be l(5). Let w = 10 + o. Is -5 at least as big as w?
True
Suppose -o + 12 = -5*z, 2*o - 3*o - 3 = -2*z. Which is bigger: o or -11?
-11
Let g(t) = t**2 - 8*t + 14. Let h be g(6). Suppose 10 = h*s, -4*s - 12 = -4*n - 8*s. Suppose 0 = -w + 3*a - 17, -a = -2*w + a - 14. Is n < w?
False
Let u be (-3)/13*2/(-3). Suppose -i = -m + 3, 2*m + 2*m - 12 = -3*i. Which is smaller: i or u?
i
Let n = -3488 + 184858/53. Which is greater: n or -1?
n
Let l = -3481125667/1595 - -2182524. Let v = l - 1/29. Is v greater than 1?
False
Let j be 120/18*(-15)/(-4). Which is smaller: j or 23?
23
Suppose 0*g = -2*g + 14. Is g less than 3?
False
Let q be 27/34 + (105/20 - 6). Is 0 >= q?
False
Let t be ((-2)/(-12))/(12/9). Suppose -2*a = -0*a - 2. Is t < a?
True
Let y = -0.168 + -0.032. Is y smaller than -3/10?
False
Let z = 1597 - 1670.9. Let u = -78 - z. Let p = 4 + u. Is p bigger than 1/5?
False
Let s = -11135/9 - -1235. Is s > -2?
False
Let u = -29 - -49. Let k = u + -40. Let l be (-2)/k - 2/4. Is -1 greater than or equal to l?
False
Let q = 14 - 17. Which is smaller: -2 or q?
q
Let k(a) = -a**3 - 4*a**2 + 6*a + 4. Let i be k(-5). Let z be (-10)/6 + 1 + 0. Which is smaller: i or z?
i
Let l(c) = c**2 - 2. Let m be l(-2). Suppose -5*n - 15 = 0, -w - 15 = m*w - n. Which is smaller: -7 or w?
-7
Let g be (3 - 4) + 6/2. Suppose -d + g = -5. Suppose 5*j - p + d = 2*j, 3*p = -j + 11. Which is smaller: 1 or j?
j
Let p(n) = 11*n - 7. Let h be p(4). Which is greater: h or 39?
39
Let a = 74 - 39. Let o be (28/a)/((-2)/5). Is -3/5 >= o?
True
Let q(r) be the second derivative of -r**3/6 - r. Let v be q(1). Is -1 <= v?
True
Let j = -0.1 - 0. Let s = 0 - j. Let w = 16.9 - 17. Which is greater: s or w?
s
Suppose 4 = -x, 0*x + 3*x = -3*t. Suppose -2*d - 3 = 2*h + 1, 0 = -3*d - t*h - 9. Is d smaller than 0?
False
L