 - 11. Which is smaller: -2/25 or l?
l
Suppose 2*g = -j - 7, 0 = 4*j - 4*g - 9 - 23. Suppose -j*a - 2*v + 3*v + 13 = 0, 4*a + 4*v = 28. Which is greater: a or -1?
a
Let s = -20 + 18. Is s less than 2?
True
Let f be ((-22)/(-20)*4)/(1/(-5)). Which is greater: f or -23?
f
Suppose -3*v = -9*l + 4*l - 21, 5*v - 35 = l. Suppose v*u - 2*u = -t - 22, -t - 4*u - 17 = 0. Suppose t*n + 2 + 1 = 0. Which is bigger: n or 1?
1
Suppose d = -2*i - 10, 5*i + 10 = d - 1. Let v(x) = -x**3 - 3*x**2 + 1. Let n be v(i). Suppose 2*o = n + 1. Is o greater than or equal to 1?
True
Let x = 19 - 29. Let n = x + 11. Let j = -0.4 + 0.2. Which is smaller: j or n?
j
Let b = -101/60 - 1/15. Which is greater: b or -2?
b
Suppose -10 = -2*k - 0*k. Suppose w + 2 = -k*h - w, -5*w + 24 = -2*h. Let f be 4*-1*h/(-4). Which is smaller: f or -3?
-3
Let b be (-2)/1 - (-65434224)/(-494). Let y = -132459 - b. Let v = y - 15/19. Which is greater: -1 or v?
v
Let r = -137 + 1229/9. Suppose 2*k = -0*k. Which is smaller: r or k?
r
Let h be (8/10)/((-1)/(-5)). Suppose -5*l - 17 = -n, -3*n - n = -h*l - 20. Let s be (-5 - 46/(-10))*(-6)/4. Which is smaller: s or n?
s
Suppose -5*q + 3*a + 10 = 0, -6*a - 24 = 4*q - 2*a. Let g = 512/17 + -30. Which is smaller: q or g?
q
Let u = -69 - -69.1. Is u <= 1.6?
True
Suppose -18 = -4*s + 2. Suppose -3*r = s*d - 0*d + 25, -3*d + 2*r + 4 = 0. Let k be (6/9)/(12/(-9)). Is k not equal to d?
True
Let n = 24.88 + -26. Let a = 1.1 + n. Is 2 equal to a?
False
Let l = 9.3 + -8. Let m = l + -0.6. Is m at most as big as 2?
True
Let r(j) = 2*j + 16. Let x be r(-8). Does x = 2?
False
Let q = 10 - 0. Is q less than 10?
False
Let q = -15 - -21. Let a be ((-1)/12)/((-2)/q). Which is smaller: 1 or a?
a
Suppose 2*j - 5*y - 5 = 0, 1 = -4*y - 3. Is j not equal to 0.06?
True
Suppose -14*l + 11*l = 0. Let d be (l - 4/28)*1. Let o = -4 - -3. Is o < d?
True
Let o = 7 + -4. Suppose -22 = -3*a + 2. Suppose -3*r + u = -u - 11, 0 = o*r + u - a. Is r smaller than 3?
False
Let f(r) be the second derivative of r**3/6 + 3*r**2/2 + 4*r. Let d be f(3). Let h be 6/20*4/d. Which is bigger: 0 or h?
h
Let x = -13 + 14.3. Let i = x - 0.3. Which is smaller: 3 or i?
i
Let a = -15 - -14.4. Is 0 less than or equal to a?
False
Suppose 3 = 3*g - 0. Is 2/201 less than g?
True
Let q be (-1)/(1/(-4)) + 1. Suppose -f + 6*f = -q. Let i be f/(2 + -3) + 4. Which is smaller: 6 or i?
i
Suppose 10*z - 5*z = -5. Suppose t - 3 = 4*h, -2*h - 9 = -0*h - 3*t. Is z != h?
True
Let j be 18/(-4) - (-12)/8. Let z = -9 - -7. Is z at least as big as j?
True
Let x be (-13 - -2)*4/(-4). Which is greater: x or 21/2?
x
Let k = -114 - -114. Which is bigger: k or -3/26?
k
Suppose 3*r = y - 0*r - 8, r = -4*y + 6. Let l be 1/(-2)*1 - -2. Which is bigger: y or l?
y
Let o = 2/33 - -29/66. Let t = -9 - -7.8. Let c = t + 0.2. Are o and c equal?
False
Suppose 19*c - 21*c = 4*n - 24, -4*c = -4*n. Let a be 5 + (-1 - (0 - 1)). Which is smaller: c or a?
c
Let h = -13954995/3229268 + -2/115331. Let f = 32/7 + h. Which is bigger: f or -1?
f
Let z be 1 + 0 - (-3 + (-1644)/(-410)). Are z and 1 equal?
False
Let h = 1.47 + 0.43. Let y = 2 - h. Is 3/5 bigger than y?
True
Suppose -2*b - 2 = -0*b. Let p = 46107821/570798 + -3/63422. Let w = p - 81. Which is smaller: w or b?
b
Suppose -3*a + 140 = -n - 0, 0 = -3*a + 4*n + 155. Is a bigger than 47?
False
Let w(x) = x**2 - 14*x - 32. Let n be w(16). Which is smaller: 3/14 or n?
n
Let m = 139 + -95. Is m >= 0?
True
Let j = -144 + 1010/7. Let h = -394 + 389.02. Let d = -0.02 + h. Which is greater: j or d?
j
Let j be -1 - 0*(1 + -2). Suppose 0*b - 2 = 2*b. Let x be (b*9/(-6))/6. Which is smaller: x or j?
j
Suppose 39 = 4*t + 23. Suppose -23 = -5*z - 3*c, c - 4*c = 3*z - 15. Is t > z?
False
Suppose 2*h + 2*h = -2*p - 14, 2*h = 3*p + 5. Let y = h + 3. Let b = y + 3. Is 4 equal to b?
True
Let g be -2*(1 + (-7)/2). Let o = g + -6. Is o bigger than -2/9?
False
Let b = 52/63 - 5/7. Is 1 not equal to b?
True
Let t(n) = 0*n + 2*n - 7*n**2 + n - 3 + n**3. Let h be t(7). Let o be 8/h*3/(-2). Which is greater: -1 or o?
o
Let x be (10/3)/(4/6). Let i = 16 - 12. Which is bigger: i or x?
x
Let j be (-8)/6*36/(-8). Let m be (2/j)/((-5)/(-75)). Which is smaller: m or 4?
4
Let i(n) = -n**3 - 15*n**2 - 15*n - 12. Let k be i(-14). Which is bigger: k or 2/3?
k
Let l = -16 - -15. Is l > -7/6?
True
Suppose d - 4*d = 0. Let v be (4 - 4)*(-1 - d). Are 2 and v equal?
False
Let f = -5 + 7. Let m be (f - 1)*(0 + 0). Which is smaller: 4/5 or m?
m
Let g(m) = m**3 + 6*m**2 + 5*m + 2. Let r be g(-5). Suppose 0*b = 2*b + 4. Let s = b - -4. Is r != s?
False
Let r = 10 + -5. Suppose 0*z = 4*z + 4*k - 12, -9 = -r*z - 2*k. Let w be 0 + (2 - 3) + z. Is -1/3 bigger than w?
False
Let w = -0.35 + 0.4. Let d = 0.15 - w. Which is greater: -0.1 or d?
d
Let r(n) = n**2 - 6*n + 9. Let i be r(7). Let h be i + (-3 - 1) - 2. Let l(j) = j**2 - 3*j + 5. Let d be l(4). Which is smaller: h or d?
d
Let s be 2/1*(2 + -4). Let q = s - -4. Let d(i) = -i + 2. Let m be d(3). Which is greater: m or q?
q
Let a(c) = c**2 + 8*c + 12. Let i be a(-4). Is -21/8 greater than or equal to i?
True
Let m be (-4)/(-20) - 2/10. Do m and -3/19 have different values?
True
Let u = -146233/5661 + -36/629. Let g = u - -26. Which is greater: g or -1?
g
Suppose 0*y - 4*m + 84 = -2*y, -212 = 4*y + 3*m. Which is bigger: -51 or y?
y
Let b = 14 - 14. Which is smaller: b or -4/3?
-4/3
Let l = -38 + 38. Which is bigger: l or 6/37?
6/37
Let g(o) = -o**3 + 4*o**2 - 4*o + 3. Let f be g(3). Which is greater: 1/34 or f?
1/34
Let l = -24 - -24. Let s(p) = p**2 + p**2 - 3*p**2. Let k be s(l). Is 0 less than k?
False
Let k be 2/(-5) - (-84)/10. Suppose 3*o - 2*v - 7 = 0, k + 2 = 2*o + 4*v. Let b(t) = t**2 + t + 4. Let i be b(0). Which is smaller: o or i?
o
Let x be 12/(-24)*1*2. Is -2 equal to x?
False
Suppose u - 3*u + 16 = -4*p, -u = -p - 3. Suppose -3*o - 3*x - 12 = 0, 0 = -o - 3*x - 12 + 2. Let z be 4/8 - (o - -1). Which is smaller: z or u?
u
Suppose -l = -2*i - 2*l - 1, 3*i + 5*l = -5. Let s be 1 - (5 + -2) - i. Let q = s + 2. Which is smaller: q or 0.5?
q
Suppose -2*a + 14 + 6 = -3*h, 0 = -4*h + 8. Let k = a - 23. Let d be (-2)/(-5) + 8/k. Which is smaller: d or 1?
d
Let a = -7 - -6. Suppose 3*q - 4*g = -q + 8, 0 = g + 1. Which is smaller: a or q?
a
Let x be -3*((-2)/21)/1. Suppose 0 = -4*v + g - 3, 0 = v - 5*g - 3 - 1. Which is smaller: x or v?
v
Let o be (-6)/(-9) + (-274)/6. Let f be (-4)/18 - 55/o. Which is greater: -2/11 or f?
f
Let j = -22 - -14. Let t = -194 - -202.1. Let g = j + t. Which is smaller: -0.3 or g?
-0.3
Let f be ((-8)/(-6))/(3/(-9)). Let m = -8 + 3. Is f at most m?
False
Let l = 348 + -3825/11. Is -1 > l?
False
Suppose 5*r - 2*t + 17 = 0, 2 = 2*r + 4*t + 4. Which is bigger: r or -1?
-1
Let c = -438 + 2198/5. Which is greater: 2 or c?
2
Suppose 3*y - 16 + 19 = 0. Does y = -3?
False
Let l = -1061/5 + 20054/95. Is l at least -1?
False
Let p = -2 - -1.97. Let y = 0.01 - p. Let i = 0.04 - y. Is 1 at most as big as i?
False
Let d be (-15)/12 - (-1)/4. Which is smaller: 1/13 or d?
d
Let q(i) = -i**2 + 2*i + 1. Let k be q(5). Let y = k - -11. Which is bigger: y or -5/3?
-5/3
Let c(g) = g**3 + 6*g**2 + 4*g - 1. Let m be c(-5). Let a = 3 - 3. Suppose -m*r + x = a, -5*x = r + 4*r. Is -5/6 less than r?
True
Let w be 4/14 + (-8)/14. Let a = 14771/27 - 547. Is a < w?
False
Let j be (-4)/30 - 58/15. Let z = -6 - -4. Which is greater: j or z?
z
Let a = 3 + -2.9. Which is bigger: -0.07 or a?
a
Let b be 4*-2*3/(-6). Let w(f) = 4*f - 3 + 2 - f**2 + 0. Let j be w(b). Which is smaller: 0 or j?
j
Suppose 2 = 8*b - 10*b. Which is bigger: b or 4?
4
Let p(t) = -t**3 - 5*t**2 - t - 2. Let b be p(-5). Is -0.1 bigger than b?
False
Let h be (-2)/(-2)*(-16 - -11). Which is smaller: -3 or h?
h
Suppose 2*y - 14 = 4*b, -b - 20 = 3*b - 4*y. Let m(v) = v**2 + 2*v - 1. Let u be m(b). Which is bigger: u or -5/7?
-5/7
Suppose -4*t = 4*h - 20, 0 = -4*t - h + 8. Suppose -5*a - 5*o + 32 = 2, a - 5*o = 0. Let f(q) = q - 4. Let l be f(a). Is t smaller than l?
False
Suppose 0 = 2*r + 3*r. Let b = r - 2. Let l be ((-4)/4)/((-7)/b). Which is smaller: l or 3?
l
Suppose 3*f - f - 18 = 0. Let x be (-450)/52 - (-12)/78. Let k = x + f. Are k and 0 non-equal?
True
Let q be (-176)/80 + (-2)/(-10). Which is smaller: -