
Let g(r) = -2*r - 18. Let v(l) = -l - 9. Let a(d) = 4*g(d) - 7*v(d). Let t be a(-9). Let x = -2.6 - -0.6. Is t at least x?
True
Suppose -o = 3*o - 0*o. Are o and 6/37 equal?
False
Suppose 0 = -5*g + 17 - 2. Is g at most 5?
True
Let o = -0.07 + 0.67. Which is bigger: -3 or o?
o
Let z = 17 + -21. Let a = -4 + 9. Let h = a + z. Which is bigger: h or -2?
h
Let w = -4626022/5 + 9006863174/9735. Let h = w - 2/177. Let l = 26 + -26. Which is bigger: h or l?
l
Let j = 32 + -54. Let x = j + 38. Which is bigger: -1 or x?
x
Let d = -38 + -3. Which is greater: -43 or d?
d
Suppose 7*l - s = 4*l + 1, -2*l + 5*s - 8 = 0. Let h = -23 + 13. Let x be (2 - h/(-4))*l. Do x and -0.3 have different values?
True
Suppose 8*i = 4*i + 16. Suppose -i*a + 9*a = 5. Which is smaller: a or 5/6?
5/6
Let b(t) be the first derivative of 13*t**3 + t - 1. Let r be b(1). Let u be (4/r)/(2/(-4)). Is 1 at least u?
True
Suppose 0 = -4*q - 5*w + 23, -4*w + 0*w - 4 = 0. Suppose q - 22 = -3*g. Is 5 > g?
False
Let h = -14.4 + 15. Is 2 greater than h?
True
Let h be ((-22)/9)/((-36)/27). Is 1 smaller than h?
True
Let n = 0.01 + -1.01. Is -0.05 at most n?
False
Let v = -2 - -2.02. Let d = 0 + v. Let h = 0.22 - d. Is h at most as big as 1/5?
True
Suppose 4*q + 50 = -26. Which is greater: q or -20?
q
Suppose -8*n - 2 - 22 = 0. Let s(m) = -m**2. Let y(i) = i**3 + 2*i**2 + 7*i + 8. Let o(j) = 5*s(j) - y(j). Let d be o(-6). Which is smaller: n or d?
n
Suppose -4*t = -8, 2*q + 14 = 3*t + 2. Which is smaller: -1 or q?
q
Let k = 0.3 - 0.7. Let q = -59/3 + 20. Which is smaller: k or q?
k
Let b be ((-20)/(-7))/((-6)/(-21)). Let x be 14 - 12 - (-2)/(-2). Which is greater: x or b?
b
Let a = 59/11 + -1743/286. Let f be (-1 + (-10)/(-13))/(-1). Let u = a + f. Is 1/2 equal to u?
False
Let q = 9 - 10. Let u be q/(-2) + (-1332)/3416. Let p = -2/61 - u. Is p greater than or equal to 1?
False
Let j(a) = 2*a**2 + 2*a - 1. Suppose 4*h + 2*g - 14 + 4 = 0, 14 = -h + 5*g. Let b be j(h). Suppose t = -2*p + b*t + 4, 0 = 3*t - 6. Are 5 and p unequal?
True
Let y = -1 + 9. Let u = 9 - y. Suppose 0*q = 2*q - 2. Is u > q?
False
Let s(c) = c**2 - 6*c + 6. Let p be s(5). Suppose -u = -2*u + 1. Is p at least as big as u?
True
Let y = -6/11 - -45/22. Let g be (-1)/(-2)*(7 - 1). Is y <= g?
True
Let h(n) = -n**3 + 8*n**2 - 9*n + 7. Let t be h(7). Let o(a) = -a**2 - 8*a - 15. Let z be o(-7). Is t greater than or equal to z?
True
Let m(r) = r + 5. Let f be m(4). Let d(c) = 2*c + 6. Let p be d(f). Let z be 6/p + (-22)/(-8). Is z greater than 0?
True
Let y be ((-3)/(-9))/((-2)/(-18)). Suppose 0 = -y*b + 7 + 14. Is 5 greater than b?
False
Suppose 8 = c + 2. Suppose -5*m = c*p - p + 25, -m - 2 = 0. Suppose 8 = -5*r + 3*r, 0 = 5*v - 5*r. Do v and p have the same value?
False
Let d be 2/2 - (-1 - -9). Suppose 2*p - 3*v - 21 = 7*p, 3*p = 2*v - 24. Which is smaller: p or d?
d
Let b be (-6 - (-52)/8)/(21/(-4)). Is b less than 1?
True
Let x = 0.32 + -0.12. Which is smaller: 0 or x?
0
Suppose 7*w = 5*w + 50. Suppose -o - 5*m = -12, -5*o + 5*m - 5 = w. Let u = -2 - 0. Which is smaller: u or o?
o
Let d(q) = 3*q**2 + 8*q - 4. Let z(m) = m**2 + 4*m - 2. Let i(y) = -2*d(y) + 5*z(y). Let o be i(3). Suppose 4*w + 5 = o. Is -1 less than w?
False
Let x = -0.1 - 0.1. Let i = x + 1.2. Let b = -3 + 0. Are b and i equal?
False
Let u be 3 - (-9)/(36/(-56)). Are -11 and u unequal?
False
Let o be (15/(2 + 1))/1. Let a = o - 9. Suppose 0 = 3*x + l + 5, x = -x + 5*l - 9. Is x smaller than a?
False
Suppose 38 - 254 = 4*i. Let x be 24/i + 4/(-18). Does -2 = x?
False
Let o be 3 + (-5)/(-80)*-78. Is -1 bigger than o?
True
Let j = -49 - -31. Is j < 0?
True
Let u be (-8)/(-10)*(-30)/(-4). Suppose -a = 2*a + 12. Let q = 1 - a. Is u less than or equal to q?
False
Let c = -38 - -51. Are c and 14 unequal?
True
Let v = -41 - -61. Let l = v + -10. Let z be 21/90 - 4/l. Do z and 1 have different values?
True
Let t be 11/9 + 6/(-27). Let p = -27 - -350/13. Is t >= p?
True
Suppose -2*j = 4*v - 8, -2*j + 2*v - 2 - 2 = 0. Let b = 42/17 + -428/187. Is j at most as big as b?
True
Let t be 7/21 - ((-4)/6 + 0). Is 4 <= t?
False
Suppose -1 = 4*d - 5. Let f(h) = h**2 + h + 2. Let c be f(0). Let q be d + (5 - 6/c). Is q smaller than 2?
False
Let a be 4/1 + 34/1. Which is smaller: 39 or a?
a
Let l(p) = p**3 + 7*p**2 + 6*p - 7. Let v be l(-5). Which is greater: v or 40/3?
40/3
Let l be (-20)/(-8) - 2/4. Suppose a = -l*a. Suppose -2*y + 5 - 7 = 0. Which is smaller: a or y?
y
Let q = 11/30 - -3/10. Suppose -2*v + b = -4*v + 4, -2*b + 6 = 3*v. Which is bigger: v or q?
v
Let v(s) = -2*s - 1. Let t be v(1). Suppose -9*y - 1 = -8*y. Which is bigger: y or t?
y
Let p = -8.96 - -9. Let a = 0 - -3. Which is smaller: p or a?
p
Let w = -23.2 - -23. Which is greater: -0.6 or w?
w
Suppose 3*h - 4 = 8. Suppose -5*n = 12 + 18. Let d = n + h. Is d > 0?
False
Let v = 11 + -10.96. Let p = -0.24 + v. Which is smaller: -4 or p?
-4
Let o = -68 + 381/5. Is o >= 8?
True
Suppose 0 = -9*i + 11*i + 10. Which is smaller: -4 or i?
i
Let j be (-4)/(-30)*-3 - (-195)/300. Which is bigger: 9 or j?
9
Suppose 0 = 2*a + 4. Suppose 0*t + 4*t = 0. Suppose -5*v = 4*m - v + 16, t = -m - 5*v - 8. Which is smaller: m or a?
m
Let o = 1 - 2. Let i = -1 - o. Let k be ((-6)/8*-6)/(-6). Which is greater: k or i?
i
Let b = 17 + -12. Let i be 10/3*3/b. Is 1 bigger than i?
False
Let u be (-3)/(-3) + 10 + 1. Let h = 12 + 0. Do h and u have the same value?
True
Suppose -4*m + 9 = -m. Suppose -m*r + r + 8 = 0. Let i = r + -4. Which is smaller: i or 1/3?
i
Let y be 7 - (0/4 + -4). Which is greater: y or 13?
13
Let y = -9.9 + 1.9. Let l = 6 + y. Let m = -0.22 + -0.78. Which is bigger: l or m?
m
Let n = 15 + -15. Which is smaller: -0.3 or n?
-0.3
Let j be -50*((-55)/75 - -1). Which is smaller: j or -13?
j
Let j = 2 - 13. Let k = 11.5 + j. Which is greater: -0.2 or k?
k
Suppose -4*x = 17 + 7. Let z(s) = s**2 + 5*s - 5. Let o be z(x). Suppose -3*w = -2*w - o. Which is smaller: w or 2?
w
Let o(x) = x**2 + 0*x**2 - 1 + 0*x**2 - 4*x - 4*x. Let p be o(7). Which is bigger: -7 or p?
-7
Let y(g) = -5*g - 3. Let h(o) = 3 - 2 + 4*o + 3. Let a(d) = -6*h(d) - 5*y(d). Let v be a(10). Do v and 1 have different values?
False
Let v be -1 + (4/14 - -1). Let i(o) = -2 - 1 - o + 2 + 0. Let j be i(1). Is j < v?
True
Let b be 55/(-10)*2/1. Let z = -6 - b. Let t be 10/(-6)*(-15)/5. Is t bigger than z?
False
Let l = -6 + 5. Is l smaller than -1?
False
Let y(f) = f**3 + 6*f**2 + 2*f + 1. Let m be y(-4). Suppose -3*r - 2*r = -m. Does r = -1/4?
False
Let w be 2/8 - 90/(-24). Let q be 5 - (3 - (-3 + 5)). Is q <= w?
True
Let v be (-19)/38*(-206)/1. Which is smaller: 102 or v?
102
Let d = -0.4 + 0.3. Let m = -38.6 + 38. Is m at least d?
False
Let y = -8 + 5. Let j = -6 - y. Which is bigger: j or -4?
j
Let g be (0*(-3)/6)/2. Which is smaller: 1/5 or g?
g
Suppose 5*s = k + 12, -7*k + 44 = -3*k + 3*s. Let t be (3 - (-14)/k) + -4. Which is smaller: 1/4 or t?
1/4
Let w(l) = l - 6. Let s be w(6). Let p be (s/(2/(-1)))/(-1). Which is bigger: p or -1?
p
Let z = 81.8 + -82. Is -0.25 smaller than z?
True
Let r = 72 - 289/4. Which is smaller: r or 2/9?
r
Let r(v) be the second derivative of -v**5/5 - v**4/6 + v**2/2 + 2*v. Let b be r(-1). Let f be 1 - (1 - b/3). Is f less than -2/9?
False
Let s = 0.9 - 0.91. Which is bigger: 1 or s?
1
Let d be -394*2/4 - -1. Let j be 7/(d/(-24))*7. Which is smaller: 7 or j?
j
Let o = -10 + 4. Let r(q) = q - 20. Let w be r(6). Let j be (2/(4/w))/1. Which is greater: j or o?
o
Suppose 3 + 0 = 3*d. Suppose s + d + 2 = 0. Is -4 bigger than s?
False
Suppose -b - 2*j + 10 = 3*b, 5*b = -5*j + 25. Let q = -1 - -6. Let r be q*(-2 - (-24)/15). Which is smaller: b or r?
r
Suppose -l - 5 = -5*r, -2*r + 5*l - 15 = 3*r. Suppose r*b + 2 = 3*b. Suppose b*w = -w - 6. Is -3 equal to w?
False
Let d(s) = 4 + 3 - s**2 + 2*s**2 - 6*s. Let c be d(5). Suppose 0 = -c*i + 6 - 2. Is 3/2 equal to i?
False
Let u = 0.06 + 6.94. Let x = u + -6.4. Let g = x + 0.4. Which is smaller: g or 5?
g
Let s = 13 + -11. Suppose -s*l + 2 = -4*l. Which is greater: l or 0?
0
Suppose -2*d + 9 = 5*i + d, 9 = 2*i + 3*d. Suppose i = 10*h - 5*h + 5. Which is bigger: -1/2 or h?
-1/2
Let b = -26 - -24. Which is greater: 1/8 or b?
1/8
Let v = 1.7 + -1.9. Which is greater: v or -1?
v
Let i(u