is smaller: -1 or j?
j
Let l(x) = 3*x - 5. Let f be l(2). Suppose 0 = -z - 3*z - 56. Let y be ((-1)/3)/(z/(-12)). Is y bigger than f?
False
Let t = -15 + 17.05. Let h = 0.05 - t. Let d(c) = c**2 - 9*c + 6. Let m be d(8). Are h and m equal?
True
Let b be 2/8 + 27/(-12). Let j be (0 - -3 - 3)/b. Let y be (-2)/(-2)*(-1 - j). Is y at most -1/6?
True
Let l(i) = -i**3 - 7*i**2 - 5*i + 5. Suppose 0 = o - 4*u + 2*u, -u = 3*o + 21. Let g be l(o). Let h = -62/9 - -292/45. Which is smaller: g or h?
g
Suppose -v + 2 = h, 0 = -v - 0*v - 1. Let z be (h + -2)*5/9. Which is smaller: z or 0?
0
Let w = -5 - -4. Which is greater: w or 2/7?
2/7
Let p = 58 - 57. Which is smaller: p or 0.03?
0.03
Let u be (-44)/(-24) - (-2)/12. Which is smaller: 0.05 or u?
0.05
Let i = 59/75 - 3/25. Let w be (3/(-2))/((-201)/268). Which is smaller: w or i?
i
Let z be (2/(-3))/(5/30). Let b = z + 3. Is -3 >= b?
False
Let f(z) = 3*z + 2. Let a be f(-2). Let r = 56 + -60. Is r less than a?
False
Let k = -76 - -71. Is k smaller than -3?
True
Let b be (4 - -1)/(2/8). Is 20 less than b?
False
Let y(h) = -h**2 + 5*h - 5. Let l be y(4). Let a(m) = -m**3 + 3*m**2 + 5*m - 4. Let b be ((-3)/(-6))/(5/40). Let d be a(b). Which is bigger: l or d?
d
Let h be (-11)/4 - (-5)/(-20). Let r = h - -3. Let n be (r + 0)/(1/1). Which is greater: n or -2/7?
n
Let a = 0.87 + 0.13. Is -4 equal to a?
False
Let p = -0.61 + 0.01. Let s = p - -6.7. Let l = -6 + s. Does l = 5/7?
False
Let i = 0.8 - 1. Let l = 3 + -3. Let r = l + -0.2. Is r at least i?
True
Let k(o) = 3*o + 10. Let w be k(6). Which is greater: w or 1?
w
Let w(u) = u**3 + 3*u**2 - 6*u - 3. Let y be w(-5). Which is smaller: y or -22?
y
Suppose 3*q = 4*q + 9. Let z be (((-18)/(-15))/3)/((-2)/40). Which is smaller: q or z?
q
Suppose -51*x = -46*x + 5. Which is bigger: -3/7 or x?
-3/7
Suppose 15 = 13*d - 8*d. Suppose -4*r = 4*k + 6 + 6, 4*k + d*r + 8 = 0. Which is smaller: 2/45 or k?
2/45
Let k be (-2)/(-6) + 984/(-90). Which is bigger: k or -12?
k
Let p be (2*3/(-8))/((-2)/(-136)). Do p and -51 have different values?
False
Suppose -122*t + 119*t = 270. Is t != -90?
False
Let n(g) = -g**3 + 3*g**2 + 6*g - 5. Let a be n(4). Let f = a - 17. Let u be (-6)/f*(-8)/(-12). Are -1 and u equal?
False
Let u = -1 + 1. Suppose 5*p = 10*p + 5. Which is greater: u or p?
u
Let y be (-4)/22 + (-8)/(-44). Let v = -10 + y. Does -11 = v?
False
Let i(s) = -s + 2. Let c be i(2). Suppose c = -k + 6*k. Let p be (4/10)/((-6)/10). Which is bigger: p or k?
k
Suppose -3 = -2*g - g. Which is bigger: 8/13 or g?
g
Let d = 2 - 7. Let x(k) = -2*k**2 + k + 1. Suppose 4*i - 14 = -3*u, -u + 4*i - 6 + 0 = 0. Let g be x(u). Do d and g have the same value?
True
Suppose 4*y = -5*z + 11, 3*z - 2*y + 3 = 8*z. Suppose 4*p = 4, a - 5*p = -4*p - 2. Let q be (0 + a - -1)/(-1). Do q and z have the same value?
False
Let m(p) = p**3 + 3*p**2 + p + 5. Let t be m(-3). Let u = 1 - t. Is u at most -1?
True
Let d = 15 - 14. Are d and 1 non-equal?
False
Suppose -3*g = 3*d - 11 - 19, 2*d = 2*g - 32. Is g at most 11?
False
Let g(q) = q + 7. Let y be -1 + 0 - 6/2. Let m be g(y). Is 2 equal to m?
False
Suppose -4*h = -0 - 12. Suppose 0*k + h = -k. Is k equal to -4?
False
Let h be (2 + -2 + 0)*-1. Suppose -z = -3*z. Is h greater than z?
False
Let h be (1 - 1)/(2/1). Let t be (4/(-10))/(2/10). Is t != h?
True
Let k = 591.2 - 591. Let u = -0.7 + -0.3. Which is bigger: u or k?
k
Let k = -1.09 - -0.09. Let c = 3 + -5. Let p = c + 2. Is k != p?
True
Let d be 2/21*(-39)/2. Which is smaller: d or -2?
-2
Let b = -51 + 50. Which is smaller: -2/19 or b?
b
Let v(m) = m - 14. Let z be v(12). Let y be z + (-3)/(-2)*1. Which is smaller: -1 or y?
-1
Let x be (0/4*-1)/2. Suppose x = p + 4*p. Is p at least -0.3?
True
Let z be (-10)/12 - (1 + -2). Suppose -6*l = -7*l + 2*c + 7, -9 = 3*c. Which is bigger: z or l?
l
Let s = 3/20 - -39/140. Suppose 4*j = 2*j + 2. Which is smaller: j or s?
s
Let f be 3/8*(-1)/(11 + -5). Which is smaller: -1 or f?
-1
Let l = -9/8 + 7/8. Suppose -5*j - 9 = -4. Which is bigger: l or j?
l
Suppose 0 = -5*k + 7 - 2. Suppose 5*q - 5*m = -0*m - 35, 0 = -q + 2*m - 6. Let o be 22/77 + q/14. Which is smaller: k or o?
o
Suppose -1 + 17 = 4*z. Suppose 5*u = z*i - 13, -3*u = -3*i + 3 + 3. Are -1 and i non-equal?
True
Let o(c) = c**3 - 5*c**2 - 5*c - 6. Suppose 2*f + 5*y = -0*y - 17, -2*y - 10 = 0. Suppose 0 = f*q - 35 + 11. Let n be o(q). Do n and 1/3 have the same value?
False
Let k = 25 + -37. Let o be k/135*5/(-2). Let l = 0 - 1. Which is smaller: o or l?
l
Suppose 4*n - 44 = l - 5*l, -4*l - 5*n + 48 = 0. Is 8 at most l?
False
Let l be (-2)/(2*(-3)/24). Let j be (-5)/(-15) + l/(-6). Let m = -48 - -575/12. Which is smaller: m or j?
j
Let p(s) be the third derivative of -s**4/24 - s**3 - 2*s**2. Let g be p(-7). Let y = -4/3 - -37/21. Which is smaller: g or y?
y
Let b(g) = g**2 + 21*g + 54. Let z be b(-18). Which is smaller: -1/11 or z?
-1/11
Let w(n) = -n - 12. Let h be w(-6). Let l(d) = -d - 10. Let c be l(h). Are c and -5 equal?
False
Let u = 4 - 3. Let k(h) = 6*h**2 + 10*h + 5. Let b be k(-2). Is u equal to b?
False
Let a = 0.29 - -4.51. Let p = -5.11 + 0.11. Let z = p + a. Is z at least as big as 1?
False
Let h = 14 + -14.04. Is h smaller than -0.1?
False
Let y = -5545708 + 10442567612/1883. Let b = -2/269 - y. Suppose o - 4*k + 7 = 0, -3*o = -o + 5*k + 1. Which is greater: o or b?
b
Let d = -1.3 + 3.9. Let v = d + 0.4. Let p = 2 - v. Is p > -1?
False
Suppose -6 = 3*s + 2*l, -5*s + 2*l = -2*l - 12. Let u = s - 6. Which is bigger: u or -4?
-4
Let l = 0.076 + -0.176. Let h = 2.2 + -2. Let z = h + 0. Is l bigger than z?
False
Suppose -5 = -5*m - 15. Is m >= -9/7?
False
Let v = 88 - 88.94. Let p = v + 0.04. Let k = p - -1. Which is smaller: k or 1?
k
Let m(s) = -4*s**3 - 4*s**2 - 3*s. Let n be m(-2). Let d = n - 197/9. Let c be 4/(12/9) - 2. Is c at most d?
False
Let l = -0.7 - -3.7. Let z = -2.8 + l. Let j = 21 - 20.8. Is z at least as big as j?
True
Let i(s) = -s**3 + 2*s**2 + 2*s + 3. Let c be i(3). Is -1/3 less than c?
True
Let n be (-99)/(-15) + (-4)/(-10). Let w = n - 5. Suppose 3*r - w = 4. Which is smaller: -2/5 or r?
-2/5
Let u(n) = -7*n - 18. Let x be u(-5). Which is smaller: x or 3?
3
Let y(w) = w**3 + 2*w**2 - 2*w + 1. Let z be y(-3). Is 3/7 less than z?
False
Let g(o) = o - 4. Let f be g(7). Suppose -3*p = -w + f*w + 7, 0 = 4*w - 3*p + 5. Is w >= -9/4?
True
Suppose -z - 1 = -0. Let r = -12 - -8. Let w be (2/(-4))/(6/r). Which is bigger: w or z?
w
Let z be -3 + -2 + 0/(-1). Let a = z - -3. Let y = a + 1. Is y greater than 1/10?
False
Let f(q) = -q + 7. Let b be f(6). Is -1/30 >= b?
False
Let a(q) = -q**3 - q**2 + q + 4. Let s be a(0). Suppose -8*u - 32 = -s*u. Let x be 4/(-16)*u/3. Which is greater: 0 or x?
x
Let c = 80 - 57. Which is smaller: 21 or c?
21
Let x = 0.03 - 4.03. Let n = 4.5 + -0.5. Let f = x + n. Is -1/4 less than f?
True
Let o = -3.9 + -1.1. Let x = -6.3 - -6. Which is smaller: o or x?
o
Suppose 0 = 2*r + 2*k + 2 - 0, -r + 2*k - 4 = 0. Is -2/3 <= r?
False
Let t(y) = 3*y**3 - 2*y**2 - 2*y - 1. Let f be (-1 - 1/(-1)) + -1. Let j be t(f). Which is bigger: -2 or j?
-2
Suppose z - 4*y = 2*z - 17, -5*z + 4*y = -13. Is z <= 6?
True
Let c(b) = 3*b - 20. Let i be c(8). Which is smaller: i or 5?
i
Let c(n) = n**2 - 2*n. Let k = 0 + 1. Let i be c(k). Which is smaller: i or -2?
-2
Let c = -2.0315 - 0.0385. Let o = -0.07 - c. Does o = -0.09?
False
Suppose b = z - 4*b + 24, -4*z - 11 = -3*b. Let h = z - 2. Which is greater: h or -1/8?
-1/8
Let r = 52 - 154/3. Which is greater: r or -0.5?
r
Let g(z) be the third derivative of -z**5/60 - 7*z**4/24 - 5*z**3/6 + 3*z**2. Let i be g(-6). Which is greater: 3/8 or i?
i
Let c = 1.09 - 0.19. Let w = -0.08 - -0.18. Let r = c + w. Is -2 smaller than r?
True
Let l be 15 + -19 + (-68)/(-18). Let x be (3/(-9))/(2/(-6)). Is l at most x?
True
Suppose 0 = 5*g + 15, 2*x = -3*x + g + 23. Suppose x*t = -8 - 12. Are t and -5 nonequal?
False
Let k be ((-1)/(-2))/((-3)/18). Suppose 2*x - 9 = -2*d - 3, 2*d = -3*x + 9. Suppose d = -3*v - 4*g + 16 - 6, -30 = 5*v - 5*g. Is k < v?
True
Let q(h) = h**2 - 2*h**2 - 16 + 0*h**2 + 6 - 11*h. Let k be q(-10). Let w = -35 + 247/7. Is k less than w?
True
Let k(d) = -4*d + 1. Let g be k(1). Let m(o) = o**2 - 6*o - 4. Let t be m(6).