alse
Suppose -5*i + 4*r + r + 185 = 0, 3*i - 2*r = 110. Let z = i + -14. Let t be z/5 + 9/15. Which is smaller: 4 or t?
4
Let t = 43 - 29. Let u = -12 + t. Which is greater: u or 1?
u
Let z = 30 + -34.8. Let c = 0.03 + -5.03. Let t = c - z. Which is smaller: t or -3?
-3
Suppose 0 = -2*h, q - 4*h = -2*q. Do q and -1/6 have the same value?
False
Let c be ((1 - 2) + 0)*0. Suppose 3*n + c*n = 0. Is n >= 0?
True
Let t(r) be the first derivative of 3*r**2/2 - 6*r + 2. Let y be t(4). Suppose -3*j + 15 = 2*k, -j + 1 + 15 = -3*k. Which is bigger: y or j?
j
Suppose 4*j = 2*y + 3 + 23, y + 3 = 4*j. Which is bigger: -21 or y?
-21
Suppose 32*o = 28*o + 16. Let z(p) = p**2 - 1. Let d be 2/5*5*1. Let j be z(d). Which is greater: j or o?
o
Let d = -0.4 + 1.4. Let j(v) = -v**2 + v - 6. Let k be j(0). Let g be (-16)/(-12)*k/4. Which is greater: d or g?
d
Let j = -28 - -2. Let n = -21 - j. Is n less than 5?
False
Let t = 13 - 13. Which is smaller: t or -1.4?
-1.4
Let q(w) be the second derivative of w**4/12 + w**3/2 + w**2/2 + 2*w. Let x be q(-2). Let h = x - 1. Do h and -1 have the same value?
False
Let m be -18*3/(-12)*-2. Let n = 15 + m. Let g = 4 - n. Is -2 at most g?
True
Let f be 0 - (-3)/(-462) - 0/2. Which is smaller: f or 0?
f
Let n(f) be the first derivative of -f**2/2 + 4*f - 1. Let d be n(5). Suppose 0 = -2*k - s - 4, -k + 4*k - 4*s + 6 = 0. Are d and k nonequal?
True
Let t(i) = -i**3 + 7*i**2 + 8*i - 3. Let j be t(8). Let q be (-4)/6 - 26/j. Let m = 3 - q. Is -4 less than or equal to m?
False
Let g(r) = r**3 - 2*r + 1. Let l be g(-2). Let h = l + 6. Which is smaller: 1/2 or h?
1/2
Let b(f) = -f**3 + 2*f + 0 + f**2 - 3 + 0 + f. Let d = -8 + 10. Let u be b(d). Which is smaller: -2/13 or u?
u
Suppose -9 = -4*j + 3. Suppose 0 = -5*b - j - 2. Which is greater: -2/21 or b?
-2/21
Let q = -17 + -1. Let w = -17.8 - q. Which is smaller: -6 or w?
-6
Let a = 3.3 + -5.3. Which is bigger: a or 8?
8
Let b = -4 + 11. Let c(y) = y**3 - 6*y**2 - 5*y - 7. Let s be c(b). Suppose -3*r = -m - 11, -6*m = -m - 3*r + s. Which is smaller: m or -2/9?
-2/9
Let r be 8/(-12) + (-40)/(-6). Let o be ((-20)/r)/(6/(-9)). Let a = o + -2. Is 1 smaller than a?
True
Suppose -2*o + 0 = y + 1, -3*o = 3*y + 3. Is y < 2/43?
True
Suppose -4*x = 3*t - 8*t, t = 0. Suppose -3*f + 0 + 9 = x. Suppose -3*j = -4*a + 9, f*a + 0*j = j + 8. Are -0.1 and a non-equal?
True
Let i = -166 + 165.814. Let v = i - -2.246. Let k = 0.06 - v. Is k less than or equal to 1?
True
Let y = 827/1881 - -1/209. Is y < -1/2?
False
Let d = -0.67 + 0.729. Is 0 < d?
True
Let z = 25 + -35. Which is smaller: z or -9?
z
Let u = 50805/284 - 720/71. Let f = -4661/28 + u. Is f greater than or equal to 2?
True
Let d = 15829/7 - 2257. Let n = d - 136/35. Let o = -0.3 + 0.5. Which is bigger: o or n?
n
Let w(n) = n**2 + 6*n. Let s be w(-3). Let f = s + 4. Does f = -11/2?
False
Let o be (-8)/2 + 354/87. Is 0.1 < o?
False
Let w be (-12)/(-9) - 4/(-6). Let g be ((-2)/(2 + 0))/(-1). Let h be g + -1*w/4. Is -2/9 < h?
True
Suppose 2*u - 19 + 2 = -5*h, 0 = 3*u - 3*h + 27. Let n = 3 + 8. Let m = n + -14. Is u less than or equal to m?
True
Let z = 19 - 14. Let o = z - 8. Which is smaller: -2/3 or o?
o
Let b = -0.09 + -5.91. Which is smaller: b or -2/7?
b
Suppose 4 = 3*g - 5. Is 0.7 at least as big as g?
False
Let z(u) = -u**3 + 4*u**2 + 12*u + 3. Let d be z(6). Let t be ((-10)/(-3))/((-4)/(-6)). Do t and d have the same value?
False
Let m(w) = -6 + 6 - w - 3 + 9. Let i be m(5). Is i smaller than 0?
False
Let j = -1 - -2. Let d = 0 - j. Let b be 7/3*(-4)/(-14). Is b equal to d?
False
Suppose -26 - 102 = -2*n. Let y = n - 574/9. Which is greater: y or 0?
y
Let k be 4/((-12)/9)*-2. Suppose -h = 2*h - k. Is h greater than or equal to 3?
False
Let v be (-1)/10*(-1 - (-28)/8). Suppose 0 = -2*h - 3*h. Which is greater: v or h?
h
Let l = -0.1 + 0.1. Let i = -4.84 + 4.84. Is i at most as big as l?
True
Suppose 0*d - 72 = -12*d. Which is smaller: d or -1?
-1
Let u(k) = k**2 + 13*k + 5. Let r be u(-12). Let i be (4/(-14))/(1/r). Which is smaller: i or 1?
1
Let q = -27.3 - -25. Let c = 1.8 + q. Which is greater: c or -0.2?
-0.2
Let r = -4 + 4. Let n be 19/(-66) - (-2)/6. Let q = n - -83/110. Is q <= r?
False
Let o = -128591 - -14273707/111. Let u = -9/74 + o. Which is smaller: u or 2?
u
Let m be 4/(-10)*(-5)/10*1. Is m smaller than -1/2?
False
Suppose -3*q + 4*p - 3*p = -14, 5*p + 19 = -2*q. Let b = 0 + q. Suppose -b*k = -3*s + 2*k + 22, 4*k + 16 = 2*s. Which is greater: -2 or s?
s
Let m(d) = 4*d + 7. Let p(b) = b + 1. Let z(s) = m(s) - 6*p(s). Suppose 2*o + 4 = -4, -2*t - 5*o = 16. Let y be z(t). Is 0.1 at least as big as y?
True
Suppose -2*j + j = f - 12, -4*f + 5*j + 30 = 0. Is 4 at least as big as f?
False
Let h = -1 + -5. Let w = 6 + h. Is w at most as big as 0?
True
Let s = -21.09 + 21. Let z = s + 1.09. Is 3 < z?
False
Let g = 3 + -2. Let h = -2 + g. Is h less than -2?
False
Let c(h) = -h + 2. Suppose 3*s + 4 = 2*k, -5 - 6 = -3*s - k. Suppose -18 = -s*m - 2*m + 2*f, 5*m - 3*f - 24 = 0. Let g be c(m). Is 0.2 at most g?
False
Let x = 174026618301/1756 - 99103994. Let i = x - 2/439. Which is bigger: i or 4?
4
Suppose -24 = -7*a + 10*a. Let v be ((-4)/27)/(a/12). Which is smaller: v or -7?
-7
Suppose 0 = -2*x - 8, -x - 2*x - 11 = w. Let p be (2*1)/(-4) + 135/450. Is w bigger than p?
True
Let m be 16/(-456)*(-1 - 2). Let x be 1/(-1 + 2 + 0). Which is bigger: x or m?
x
Let t = 118 + -829/7. Which is smaller: -16 or t?
-16
Let g(m) = 3*m + 1. Let y be g(-2). Let k = y + 3. Which is smaller: -3 or k?
-3
Let j(v) = -5*v - 10. Let d be j(-3). Let f be 5/(-50)*d/(-2). Let w(l) = l + 2. Let p be w(-3). Which is smaller: f or p?
p
Let c(i) = 2*i - 2. Let t(r) = -8*r**2 - r - 1. Let m be t(-1). Let j be c(m). Let n be 3/135 + 4/j. Which is smaller: n or 3?
n
Let p(u) = -16*u - 2. Let b be p(-1). Let c = b - -1. Which is greater: c or 16?
16
Let o(j) = -2*j - 23. Let a be o(-13). Let t(z) = -z - 6. Let p be t(-9). Are a and p nonequal?
False
Let k = 18 - 10. Do k and 8 have the same value?
True
Let m = -3.3 + 3.31. Let o = 0.3 - 0.2. Is o < m?
False
Let f(u) be the first derivative of -u**4/4 + 2*u**3/3 - 3. Let k be f(2). Is k <= 1?
True
Let a(w) = w**3 + 6*w**2 - 7*w + 6. Let n be a(-7). Suppose 3*c + n = 3. Which is greater: 1 or c?
1
Let d be ((-2)/(-10))/(1 - 0). Suppose -h + f + 5 = -0*h, -17 = -4*h + f. Let p be (h*2/4)/(-2). Which is smaller: p or d?
p
Suppose 7 = 4*o - 5. Let x be -2 + o + (-1 - -2). Which is smaller: x or 4?
x
Let q = -1 - -0.1. Let l = q - -1. Let s = 65/3 + -22. Is l at most as big as s?
False
Suppose -10 = -3*c + 2. Suppose -5*o - 2 = 2*b - c, -o = -2. Let z be (4 - (2 - 3))*-1. Is z at most as big as b?
True
Let c(s) = s**3 - 11*s**2 + 7*s + 3. Let k be c(7). Let r = -324 - k. Let b = r - -1616/9. Is 0 less than b?
False
Let v be (-6)/10*182/44. Let w = v - -23/10. Are -1 and w equal?
False
Suppose -2*y = -4*v + 90, -163 - 61 = 4*y + 3*v. Is -53 <= y?
True
Suppose -5*y + 5*w - 54 = -14, 5*y + 37 = 4*w. Let t be (2/5)/(1/(-10)). Which is smaller: t or y?
y
Suppose -17 = -a + 2*a. Let w be (-8)/20 + a/(-5). Suppose y = w*j - 14, 4*y = -j + 3*j - 16. Which is smaller: 2 or y?
y
Let k = 89 + -427/5. Let s = -4 + k. Which is greater: s or 1/4?
1/4
Let x be (13/3 + -1)*3. Let q = 6 + -3. Suppose -q*o = 2*o + x. Is -2 greater than o?
False
Suppose l = -2*k - 3*l - 4, k + 1 = -l. Do -1/3 and k have the same value?
False
Suppose -g + 2 - 7 = 0. Let w(a) be the second derivative of -a**4/12 + 5*a**3/6 - 3*a. Let r be w(6). Is g at most as big as r?
False
Let h = 3 + -3.2. Let k = -8/3 + 37/15. Is h equal to k?
True
Let p be 2 + 1 + (-260)/84. Is p <= 0?
True
Suppose -8 = -c - c. Let x be 1/(-2)*(c + -2). Let v be 3/(-5)*10/14. Is v > x?
True
Suppose 2*k + k + 33 = 4*s, 9 = -k + 2*s. Let i be (-2 - k/6)*2. Let f be (2*(-2)/(-4))/i. Is 1 at least as big as f?
True
Let x(q) = -q**2 - 9*q - 6. Let b be x(-9). Let p be (2/b)/1*-3. Let u be (p - 0)/((-3)/3). Which is greater: -3 or u?
u
Let n = 281 + -276. Let l be -1 + (0 + 14 - -1). Suppose -1 - l = -3*y. Is n smaller than y?
False
Let k = 1.2 + 5.2. Let t = k - 6. Let i = t - 0.4. Is -1 bigger than i?
False
Let f = -836/9 - -93. Suppose -y - 4*y = 0. Let s = 1 + y. Are f and s nonequal?
Tr