h is bigger: b or -6?
b
Suppose 7 + 11 = 4*w - 2*l, 3*l + 9 = 0. Which is smaller: 9/5 or w?
9/5
Let f be -3 + 4 + -2 - 1. Let v = f + 3. Which is smaller: 1/14 or v?
1/14
Suppose 6*r - 69 = -3. Let x(v) = v**3 + 5*v**2 - 7*v + 5. Let n be x(-6). Is r smaller than n?
False
Let q = 1032 + -81530/79. Which is smaller: 0 or q?
q
Suppose 3*c - 4*c + 1 = 0. Let p = -5 - -2. Let d = 4 + p. Does c = d?
True
Let t(y) = -7*y**2 - 11*y + 10. Let a(z) = z**2 + z - 1. Let v(u) = -6*a(u) - t(u). Let m be v(-6). Is 3 less than m?
False
Let y = -21.4 - -20. Let n = y + 1.35. Suppose 1 + 0 = -m. Is n at most as big as m?
False
Suppose 5*r = 9*r - 8. Let u be ((-48)/(-150))/(r/5). Are 1 and u non-equal?
True
Let s(g) = g**3 + 6*g**2 + 4*g - 4. Let i be s(-5). Suppose 0 = 118*t - 121*t + 6. Which is greater: t or i?
t
Let g = -24/7 - -5/28. Let h = g - -11/4. Which is bigger: 0 or h?
0
Suppose -1 = l - 0. Suppose 92 = -5*i + 32. Let c = i - -10. Which is smaller: c or l?
c
Let y be (-308)/26 - 30/195. Is y greater than -14?
True
Let n be (-2)/(-4) - (-21)/(-2). Let s(c) = -c**2 - 11*c - 11. Let k be s(n). Which is greater: k or 1/15?
1/15
Let j be ((-2)/(-1)*-3)/(-2). Is 3 at most as big as j?
True
Let y = 9 + -6. Let d = 2 - y. Suppose -l - 2*r + 4 = -3*r, l = -2*r - 5. Which is bigger: l or d?
l
Let p = -0.91 - -6.91. Is -0.14 not equal to p?
True
Suppose 6*f = f - x + 2, -5*x - 12 = 3*f. Let k(j) = -2*j - 1. Let u be k(-1). Is f >= u?
True
Let u be 0/9 + (-2 + 19 - 2). Which is smaller: u or 10?
10
Let j = 5 - 6. Let c = 0.03 + 0.07. Which is smaller: c or j?
j
Let b = -7 - -4. Let y = b + 5. Let j = -0.1 + 0.2. Is y > j?
True
Let y(l) be the first derivative of l**3/3 - 3*l**2/2 + 3*l + 2. Let n be y(3). Let r be (2/4)/(n/(-2)). Is r equal to 4?
False
Let a be 0/(-3) - (-2)/2. Let g = 2.4 + -2. Let y = -0.3 + g. Which is bigger: a or y?
a
Suppose -8*x = -w - 4*x + 9, 3*w = -4*x + 11. Let s(z) be the first derivative of -5*z**2/2 + z + 2. Let a be s(-1). Do w and a have different values?
True
Suppose 3*a = 7*a - 16. Let r(n) = -2*n + 7. Let v be r(-7). Suppose 3*u + v - 3 = a*t, -2*t = 3*u. Do -0.1 and t have the same value?
False
Let v(k) = k**2 + 2*k + 1. Let c be v(-5). Suppose -5*b + 12 = 2*g + g, g = 5*b - c. Which is greater: g or 3/13?
3/13
Let n be 2 - 0/(0 + -2). Let x = 2 + n. Let f be (1 - 1)/(x - 5). Is f smaller than 2/33?
True
Let u = -0.78 + 1. Let c = u - 0.12. Is -16 < c?
True
Let a be -2 - 6/(-3) - -2. Suppose a*t = 9 + 3. Which is smaller: 4 or t?
4
Let y = 1 - 1.07. Let r = -0.19 + 0.16. Let w = y + r. Is 2 at most as big as w?
False
Let d = -6 - -4. Let j = -4 - -1. Which is smaller: d or j?
j
Let a(c) = 2*c**2. Let b be a(-1). Let w(t) = t**2 + 5*t - 5. Let d be w(-6). Is b at most as big as d?
False
Let t be (8/10)/((-2)/(-5)). Let o be (-1)/4*(-9 - t). Which is bigger: o or 2?
o
Let s be 4/(-35)*84/(-72). Is 0 > s?
False
Let q(j) = j**2 - 3*j - 7. Suppose 3*m - 6 = 2*m. Let f be q(m). Let d = f + -6. Is 5 <= d?
True
Let o be (-4)/(-6) - (-4)/3. Let m be (-1208)/(-4448) - o/8. Let a = m - 577/973. Is a < -2?
False
Let r(a) = a**3 + a**2 + 5*a + 2. Let s be r(-4). Let n be (-1)/(-3) - (-40)/s. Let c = n - -17/22. Is 2 smaller than c?
False
Suppose 0 = -o - 0*o + 2*n + 14, -n = 4*o - 65. Is o bigger than 16?
False
Let l = -1.4 + 1.29. Let f = l - 6.89. Is 0.1 bigger than f?
True
Let r be 2 + -2 + (-2 - 0). Let l be 1/r + (-2)/(-28). Is 1 bigger than l?
True
Suppose a = 1, 0*x + 1 = 2*x + 3*a. Let v(h) = h + 3. Let n be v(-3). Let m be n*(1 + 0 + 0). Which is smaller: m or x?
x
Let i = 35/24 - 1/8. Let o be 2/2*(2 + -2). Which is smaller: o or i?
o
Let c be (-28)/(2 - 148/73). Let j be c/(-12) + (-4)/(-12). Let v = j + 85. Is -0.1 less than v?
True
Let q(h) = 2*h + 6. Suppose 3*i = -p - 10, -28 = 5*i + 4*p - 8*p. Let d be q(i). Which is smaller: d or -5/2?
-5/2
Let y(s) = 9*s. Let p be y(-4). Let l = p - -322/9. Let a(g) = -g**3 + g**2. Let q be a(1). Is q at most l?
False
Let b = -5.95 + 6. Let l = -9.15 - -9. Let i = l + b. Which is smaller: i or 6?
i
Let p = 2 + -5. Let y = 3 + p. Let t = 0 + y. Is -1/3 greater than or equal to t?
False
Let f be 2*((-2)/2 + 2). Suppose 3*v + f = 8. Suppose -2*m + 6 = -l + m, -2*l + 4*m - 6 = 0. Which is greater: l or v?
l
Let t = 6 + -9. Let x be -2 + t/(-3) + -1. Is x equal to -2?
True
Let g(p) = -3*p + 61. Let u be g(20). Which is greater: u or -2/157?
u
Let n = -194/11 + 580/33. Is n at least 1?
False
Suppose 0 = -2*f + 4*y + 22, -f - 8 = -4*f + y. Which is greater: 2 or f?
2
Let i(w) = -w + 4. Suppose 2*a - 7*a + 225 = 0. Suppose -3*t + t + 30 = 4*d, a = 5*d + 5*t. Let s be i(d). Is -2 less than or equal to s?
True
Let l = -102.6 + 95. Let v = l + 7. Let c = v - -1.6. Which is bigger: -2/5 or c?
c
Suppose 3*a + 2 = -4. Let g be 3/(-2)*4 + 4. Let f be (-3 - (g - 1))/a. Which is bigger: f or -2/7?
f
Let g be 1/(2/8 + 0). Suppose g = 3*q - 5. Which is smaller: 2 or q?
2
Let d(s) = s**2 - 12*s - 12. Let v be d(13). Which is bigger: v or 3?
3
Let f = 1974 + -21658/11. Which is bigger: f or 6?
6
Let a = -3 + 3. Let h(v) = -v**2 + 10*v - 18. Let j be h(8). Let s = j + a. Is -2 greater than s?
False
Let q be 1*2/(-2) - -4. Suppose 0 = 2*b - q*b. Which is smaller: b or -5?
-5
Let f = -107/70 + 8/5. Which is smaller: 0 or f?
0
Suppose -3*y + 15 - 67 = -5*u, 3*u - 44 = 5*y. Suppose -6 = -j - 3*q, -5*j = -q - 13 - 33. Do j and u have the same value?
False
Let g = -0.09 + -1.51. Let x = g + 0.6. Is x bigger than -0.1?
False
Let m(o) be the second derivative of -o**3/6 + 3*o**2/2 - o. Let c be (-4)/18 + (-56)/(-9). Let p be m(c). Which is greater: -5/2 or p?
-5/2
Let f(c) = -c**3 - 7*c**2 + c + 8. Let z be (3 - 5)/(-1) + -2. Let g(s) = -s**3 + s - 7. Let l be g(z). Let x be f(l). Is x > 2?
False
Suppose -15 = -5*l + 3*z, -2*l - 6 = 2*z + 4. Which is smaller: l or -1/4?
-1/4
Let s be 32/144 + 346/(-18). Which is bigger: s or -12?
-12
Let m = 1851/5 + -369. Which is greater: m or 0?
m
Suppose -7 = -4*h - 23. Let z = 1/48930 + -115807/293580. Let y = z - 1/180. Which is greater: y or h?
y
Suppose -8 = -5*f + f. Let v be (-8)/f*1/(-2). Which is smaller: v or 5/2?
v
Let c(n) be the first derivative of n**3/3 - n**2/2 - 4*n + 2. Let t be c(3). Let z = t + -3. Which is bigger: 1/6 or z?
1/6
Let b be 2 - ((-16)/(-3) - 4). Is b greater than or equal to 2?
False
Suppose d + 0*y = 3*y - 13, -4*d = -5*y + 24. Which is bigger: -5/11 or d?
-5/11
Let p = -3.6 - -4. Let i = 0.2 - p. Let g = -0.8 + i. Is 0 at least as big as g?
True
Let p(n) = -n**3 + 9*n**2 - 5*n + 5. Let r = 5 - 9. Let y(h) = h**3 - 8*h**2 + 5*h - 4. Let u(o) = r*y(o) - 3*p(o). Let k be u(4). Is k equal to -4?
False
Let w(r) = -5*r**2 - 2*r + 5. Let g be w(-4). Is -67 >= g?
True
Let w = -12814/7 + 1846. Is 15 greater than or equal to w?
False
Let g = 127/10 + -106/5. Which is smaller: g or -10?
-10
Let x = 0.09 - -3.91. Suppose p = -2*a + 7, -3*p = 3*a - 0*a - 12. Is x at least p?
True
Suppose 14*k = 10*k + 12. Is k greater than 3?
False
Let l = -32 + 98/3. Which is smaller: 1 or l?
l
Suppose 0*p + 4*p + 2*x = -12, 4*p - 2 = 5*x. Let d = -6 - p. Let b be 2/(-6)*(-9)/d. Which is smaller: 0 or b?
b
Let w(v) = v**3 - 3*v**2 + v + 3. Let j be w(3). Let q = j - 5. Is 1/14 greater than q?
False
Let n = 2.1 - 1.1. Which is smaller: 7 or n?
n
Let a be 4/(-4*(-4)/(-24)). Let w = -7 - a. Is w at most 2/23?
True
Let f(k) be the second derivative of k**5/20 + k**4/3 + 2*k**3/3 + k**2 + 2*k. Let a be f(-2). Are a and 1 non-equal?
True
Let d be (-10)/35 - (-230)/21. Let k = d + -10. Is k at most as big as 0?
False
Let v(f) = -f + 8. Let m be v(3). Suppose 0*h - m*k = -2*h - 21, -h - 2*k - 15 = 0. Are h and -13 equal?
True
Let r = -31 + 32. Which is smaller: 2/99 or r?
2/99
Suppose 0 = 4*z - 0 - 0. Which is greater: 2 or z?
2
Let m = 0.4 + -0.6. Let r = 0.7 - m. Which is smaller: -1/5 or r?
-1/5
Let g = -53/2 + 27. Let z = -0.05 + -0.02. Let b = 0.27 + z. Which is smaller: g or b?
b
Let v = -2 + 1. Let t be 0 + 2 + (-3 - v). Is -6/11 at least as big as t?
False
Suppose 0 = -5*s + 19 + 256. Let h be 1/3 + s/15. Suppose -a = 2*a + 2*w - 7, h*w - 21 = a. Is -3/2 > a?
False
Let v = 1 - 1.6. Let i = v - -1.1. Do 1 and i have the same value?
False
Let u = 2 + -2. Let a = u + 