r a?
a
Suppose 3*h - q = 2*q, 3 = 5*h - 2*q. Let i = h + -1. Is 2/13 greater than i?
True
Suppose 2*c - 8 = -20. Is c less than -1?
True
Let f(z) = z**2 - 2*z - 1. Let y be f(2). Let r(i) = 4*i + 64. Let q be r(-16). Is y greater than q?
False
Let k(s) = -s**3 - 4*s**2 - 2*s - 2. Let q be k(-4). Let i be 4/q*2*-3. Is -5 less than i?
True
Let h = 7.9 + -8.9. Is h < -48?
False
Let t = -33 + 32. Suppose -5*a - 5*r + 5 = 0, -4*a - 4*r + 1 = -3*r. Let w = t + a. Which is smaller: -1/6 or w?
w
Suppose 2*m + 2 = -3*k, -4*k + 3*m = -4 + 1. Which is smaller: k or 7/5?
k
Let n be ((-3)/(18/33))/(2/4). Is -13 less than or equal to n?
True
Let z(t) = t + 4. Let c be z(-8). Let l be (c/24)/(6/(-4)). Is 0 greater than l?
False
Let j = -0.9 + 0.78. Is j <= 3?
True
Let h = -0.02 - 0.38. Let r = h - -0.3. Let s = r + 0. Is s smaller than 0?
True
Let v = -25/7 + 23/7. Let i = 0.05 + -0.03. Let m = i + -1.02. Which is smaller: v or m?
m
Suppose 5*k + 4*l + 8 = -5, 4*l = -8. Let n be -3 + (1/(-3) - (-4 + 1)). Which is smaller: n or k?
k
Suppose -3*n - n + 12 = 0, -5 = r + 2*n. Which is smaller: -10 or r?
r
Let m be (222/20)/(141/(-4)). Let l = -19 + 889/47. Let y = l + m. Which is bigger: -1 or y?
y
Let s(k) = 6*k. Let v be s(2). Let y be (45/v)/5*-4. Let h be (1 - 3)*y/2. Which is greater: 5/2 or h?
h
Let q = -0.007 + 2.007. Which is greater: 3/10 or q?
q
Let r be (-1 - -1)*(-4)/(-4). Let a = 0 + r. Let q = -3772/17 - -222. Is a at most as big as q?
True
Let p be (25/(-10) + 3)/(-1). Which is greater: 0.14 or p?
0.14
Let b = -32 + 31. Which is smaller: b or -4/17?
b
Let t = -1.31 - 0.09. Let j = -0.2 + 0.6. Let d = j + t. Is -1 bigger than d?
False
Let b = -23.6 - -135.6. Let t = b - 120.1. Let c = t + 8. Which is smaller: c or 0?
c
Suppose 8*x = 23*x + 15. Which is greater: -4/17 or x?
-4/17
Let u be 199136/231 + -4 + 1. Let v = 859 - u. Which is smaller: 0 or v?
v
Let v(n) = -7*n - 6. Let y be v(-1). Let o = -3 + 2. Is y at least o?
True
Let j = -11/7 + 403/252. Let q(m) = m**3 + 5*m**2 - 7*m - 5. Let b be q(-6). Is b >= j?
True
Suppose 34*k - 33 = 23*k. Let g = -2 - -4. Which is smaller: k or g?
g
Let m = 10 - 9. Which is greater: m or 3?
3
Suppose y = 2*y + 10. Let v be 5/y*3/(-12). Let f = 1 - 0. Is v >= f?
False
Suppose -8 = 3*d + 1. Does d = -1?
False
Suppose 0 = -4*k + 8. Let w be k/(-2) - 4/(-12). Let z be 2/(-5) - 4/(-5). Which is smaller: z or w?
w
Let a(d) be the first derivative of 11*d**2/2 + 7*d + 3. Let u be a(-5). Let l be (-4)/2 - u/26. Is l <= -1?
False
Suppose 5*t + 2*f = -35, -3*f + 5 = 4*t + 33. Is -4 at least as big as t?
True
Let x be ((-8)/2)/(-1 + 0). Suppose -5*k = -1 - x. Are k and 2 non-equal?
True
Let h be ((-2)/21)/((-1)/3). Suppose -6 = -3*g + 2*y, 4*g + 4 = -y + 12. Suppose -5*i - 4*b - 22 = -2, 3*i + 10 = -g*b. Which is smaller: h or i?
i
Let k = 19 - 18. Which is smaller: k or -1/54?
-1/54
Suppose 12 = -j - 6*i + i, 2*j + 4*i + 18 = 0. Let y(b) = -3*b - 18. Let z be y(-7). Let l = j + z. Is l != -3?
True
Let p = -22 - -20.9. Let x = p + 1. Is x greater than or equal to 0?
False
Let a = -763/9 - -85. Let u be (-4)/(-12) - 5/(-3). Let g be u/(-5) + (-6)/(-15). Is a at most g?
False
Let q = 6 + -5.4. Let l = 1.4 + q. Let p = -1.9 + l. Which is bigger: p or 2?
2
Suppose -2*f + 0*f - 2 = 0. Suppose x - 1 = -0*x. Let r = x - 1. Is f greater than r?
False
Let u = -0.1 + 1.1. Let n = -1 - -1. Let s be (-4 + n)*(-3)/54. Is s greater than u?
False
Let d be 0 - (-17 - (-6)/2). Let q be 34/4 - 7/d. Is 8 <= q?
True
Let w = -5 + 7. Suppose w*r - 2 = 4. Which is smaller: r or 1?
1
Let j = 26 + -6. Let y = 21 - j. Are y and -1.2 unequal?
True
Let l be 16/2 + 9/(-3). Suppose -2*z = -4*y - 4, -4*z + l*y = z - 5. Is 0 bigger than z?
False
Let l(g) = -g**3 - g**2 + 2*g + 3. Let d be l(-2). Let w be d - 3/3 - 6. Do -5 and w have different values?
True
Let l(q) = q - 1. Let n be l(-3). Let u be (-10)/n + 2/(-4). Suppose u*x - 10 = -3*x. Is x less than 2?
False
Let m = -21 + 29. Let z be 26/m + (-2)/8. Suppose -4 = -s + z*r, -6 + 3 = -s + 2*r. Do 2/3 and s have the same value?
False
Suppose 3*z + 15 + 15 = -3*a, 2*a = 3*z. Let u be 4/a*12/(-8). Which is smaller: u or 6/5?
u
Let p = 47 + -48. Are 1/8 and p non-equal?
True
Let g = -3/5 + 1/10. Let n = -1.3 + 13.3. Let f = n + -17. Which is smaller: f or g?
f
Let k = 5 - 7. Is k > -5/8?
False
Let h be (-84)/9 + 2/6. Let u be 1 + (-3)/(h/(-3)). Are u and -1 equal?
False
Let x = -21 + 42. Is x at least as big as -2/3?
True
Let d(w) be the second derivative of w**5/20 - w**4/12 + w**3/6 - 3*w**2/2 + 4*w. Let c be d(0). Let u = 0 - c. Which is smaller: 2 or u?
2
Suppose 4*f + 32 = 4*x, -2*x = 2*x - 2*f - 22. Suppose -x*m + 27 = -6*m. Are -9 and m unequal?
False
Let s = 1810/7 - 258. Let t = 6 - 5. Let f = 2 - t. Is s equal to f?
False
Let j be 4/(-6)*(37 - -2). Which is bigger: -27 or j?
j
Let l = -4/5 - 2/5. Is 1/3 at least l?
True
Suppose 2*r = -8 + 14. Which is smaller: 7 or r?
r
Let r be (6/(-26))/((-27)/(-18)). Let m be 8/2*(-1)/2. Let x be -1 + 3 - (4 + m). Is r less than or equal to x?
True
Suppose -4*a + 8 = 5*b - b, -b - 2*a + 7 = 0. Is -4 < b?
True
Let u = 0.16 - -2.84. Let p = -8.3 - -8. Let m = -0.7 + p. Is u <= m?
False
Let a(z) = -z**3 + 3*z**2 - z - 1. Let q be a(2). Let u be -7*(q/2)/(-1). Which is smaller: u or 5?
u
Let b = -0.28 + 0.48. Is b less than or equal to 5?
True
Let k be (-16)/6*(-6)/(-4). Let q be (1/k)/((-4)/8). Let w = q - 9/10. Are w and 0 equal?
False
Let j = 9 - -6. Suppose -d - 4*d = j. Which is smaller: d or -1?
d
Let c(y) = y**3 - 3*y**2 - 4*y + 2. Let t be c(3). Let f(k) = 8*k**2 + 66*k + 7. Let m be f(-8). Which is smaller: t or m?
t
Suppose -9 + 10 = -b. Is b greater than or equal to 0.044?
False
Let k be (2 + -2 + -1)*1. Let n = 0.09 - 0.01. Let t = 0.02 + n. Which is smaller: k or t?
k
Let p = -31 - -61. Suppose 0 = 6*l - 11*l - p. Is 1 equal to l?
False
Let g(z) = z**2 + 7*z + 5. Let k be g(-5). Are k and -2 non-equal?
True
Let v be (-130)/(-40) + 2/(-8). Suppose -v*n + 21 = -3*j, -2*n = 2*n + j - 53. Which is greater: n or 13?
13
Let p be -1*(0/(-3) + 0). Suppose p = -3*i - 4 - 8. Let w be ((-2)/6)/((-2)/i). Which is smaller: w or 0.1?
w
Suppose -b + 5*r = -6, r = 3*b + 4*r. Which is smaller: 2/11 or b?
2/11
Let v = -200 + 202.02. Let p = v - 0.02. Suppose -5*d - 35 = -5*r, -3*r + d = -0*d - 11. Is r > p?
False
Let i(m) = -m**2 - 4*m. Let b be i(-4). Let o be 2 + 2 + (-9)/(-6). Let p = o - 6. Which is smaller: b or p?
p
Let j = 0.44 - 0.34. Let k = -3 - -2. Which is bigger: k or j?
j
Let z(t) = t**2 + t + 3. Suppose -16 = -y + 5*y. Let v be z(y). Is 16 < v?
False
Let c(y) = -y - 5. Let f be c(-7). Suppose -2*v - 4 = 4*o, -o + 0 - 1 = -f*v. Let h be (o/(-5))/((-12)/(-15)). Which is greater: h or 1?
1
Suppose 2*l = 4*l - 4*c - 22, -2*c = -3*l + 17. Is -2 greater than or equal to l?
False
Let s(x) = -x**3 + x**2 + x + 5. Let d be s(0). Which is bigger: 3 or d?
d
Let v be (-169)/(-15) + 3/9. Let q = v - 12. Let n = 0.36 - 0.06. Which is greater: q or n?
n
Let j(c) = -c**3 - 24*c**2 + 24*c - 25. Let n be j(-25). Is n greater than 1/4?
False
Suppose -5*p + 9 = -2*p. Suppose -c - s = p, 6 - 15 = 2*c + 3*s. Which is smaller: c or 3/5?
c
Let l(w) = -w**2 - w - 6. Let r be l(0). Let x be r/9 + (-4)/(-2). Which is greater: x or 0?
x
Let p = -45 - -90. Suppose 0*s + p = 3*s. Are s and 15 unequal?
False
Suppose 2*p + p + 3*r + 6 = 0, 0 = -3*p + 2*r - 1. Let q(h) = h**2 + 6*h - 2. Let s be q(-6). Let o be (1/(-6))/(s/(-9)). Which is smaller: o or p?
p
Let n(t) = -t**3 - 7*t**2 - 7*t + 21. Let d be n(-5). Let f = 473/2 + -230. Is d smaller than f?
True
Suppose -1429 = -4*f + h - 506, -5*h = -f + 207. Let j be 6/3 + f/(-118). Is -1 greater than or equal to j?
False
Let y = 14 - 14.03. Is y < 2/7?
True
Suppose 3 = -4*k - 1. Let f be k/(0/1 - -7). Suppose 3*o + 3*x - 1 = -13, 0 = -3*o - 5*x - 22. Which is bigger: f or o?
o
Let r(w) = w**2 - 6*w. Let z be r(4). Let y be ((-1)/(-2))/(2/z). Suppose 8 = 3*c + 2*a, 3*a + 4 = -c + 16. Is c less than or equal to y?
False
Suppose -2*z - z = z. Does z = 1/10?
False
Suppose 0 = -2*j - 10*j + 12. Is 17/10 less than j?
False
Suppose 0 = -9*n - n - 100. Is n less than or equal to -11?
False
Let f(s) be the second derivative of s**3/6 + 9*s*