Is -2/5 at least as big as s?
False
Let l be 4/2 - 1 - 1. Let g be 30/42 + (-6)/21. Is g > l?
True
Suppose 5*p = 14 + 1. Does 4 = p?
False
Let a be (-68)/12 + (-5)/15. Suppose 5*d = -q + 4*d - 8, d + 3 = 0. Which is greater: a or q?
q
Let x = -49.6 + 52.287. Let a = 0.013 + x. Let p = a - 3. Which is greater: p or -0.1?
-0.1
Let w = -7/16 + 81/112. Let f = 51853 - 1037303/20. Let c = -47/4 - f. Which is greater: w or c?
c
Let d be -3 - 1/4 - 4. Which is smaller: d or -7?
d
Let n be ((-1)/(618/76))/4. Let q = n + 4970/5871. Let b = q + -6/19. Which is smaller: -0.2 or b?
-0.2
Let s = -28/3 - -9. Is 18 at most s?
False
Let s be 1 - -1*(2 + -1). Let o be 3/(45/s) - 0. Suppose -7*f + 2*f - 5 = 0. Is o less than f?
False
Let k(l) be the third derivative of -l**7/5040 - l**6/144 - l**5/30 + 3*l**2. Let c(h) be the third derivative of k(h). Let g be c(-7). Are g and 2 non-equal?
False
Let y = 0 + 2. Let l be (-90)/5*(-2)/6. Suppose -2*a - l = -4. Which is bigger: a or y?
y
Let z be (-3)/(-8)*2*(-24)/45. Let r = -0.1 - -0.1. Let n = r - 1. Is z >= n?
True
Let r(s) = -s**2 + 4*s + 2. Let j be r(4). Suppose k = -4*l - 20, -6*k + j*k - 24 = 2*l. Is l greater than -6?
True
Let c be (0 - -3)*(-2)/6. Let a be 4 + c + 0 + -1. Let x = 13/30 + 1/15. Which is bigger: a or x?
a
Let x = -5 + 12. Suppose 4*t - z = x, 2*t - 2*z + 4*z = 6. Which is bigger: t or 1?
t
Suppose 2*m = -2*m + 5*d - 42, 44 = -4*m + 4*d. Which is bigger: -15 or m?
m
Let b(t) = t**3 + t**2 - t. Let k be b(-2). Let c(g) = g**3 + 5*g**2 + 4*g - 4. Let l be c(-4). Let j be -3*2/l*-2. Is j greater than or equal to k?
False
Let p = 30 + -30. Is p > -1/45?
True
Let o be (-8)/(-2)*3/(-6). Let c be (-196)/(-8) + o/(-4). Suppose 0 = g - 6*g + c. Which is smaller: g or 3?
3
Let l(b) = b**3 - 7*b**2 + 5*b + 4. Let x be l(6). Let o be (48/20 + x)*-20. Which is smaller: o or 1/4?
o
Let y(j) = j + 11. Let l(u) = u**3 - 9*u**2 + 6*u. Let g be l(8). Let b = g - -8. Let h be y(b). Which is smaller: h or 4?
h
Let r = 9 - 0. Suppose r = 2*o - 3*c, -3*c = -5*o - c + 6. Suppose 2*t + 0*q = 2*q - 4, o = -5*t - 5*q + 40. Are 3 and t equal?
True
Let z(l) = 3*l + 1. Let g be z(-1). Let t be (-1 + -1)/(1*g). Let j be (2/(-20))/(2/(-10)*-3). Is j != t?
True
Let u(n) = -n + 12. Let s be u(13). Is s > 2/51?
False
Let x = -41 + 38. Suppose 0 = -8*z + 3*z + 3*a - 12, 0 = 5*z + 3*a + 18. Is x greater than or equal to z?
True
Let u(y) = y + 4. Let q be u(-9). Let x be (-4)/(-5)*15/(-2). Is q at most x?
False
Let i(x) = x**2 - 4*x - 2. Let n be i(4). Let k be 66/54 - n/(-9). Is 1/4 < k?
True
Suppose 15 = -0*s + 3*s, 2*s - 19 = -3*q. Which is smaller: q or -0.07?
-0.07
Let p = -215377/8446 - -2/4223. Let d = p - -26. Is 0 > d?
False
Let x be (-3)/(5 + -2) + -2. Do x and -3 have the same value?
True
Let x = -0.196 + -1.834. Let n = -5 - -5.03. Let p = n + x. Are 2 and p equal?
False
Let m = 20 - 11. Let z be (-8)/20 - m/(-5). Let x = z - 16/15. Are x and 0 nonequal?
True
Let m = -7.7 - 1.3. Let n = m + 8. Is n at most as big as 3?
True
Let w be (1/4)/((-3)/(-114)). Let g = w - 9. Let b = -10 + 6. Is g != b?
True
Let n = -12 - -55. Is n less than 0?
False
Let c(t) = -t**2 - 22*t + 42. Let w be c(-23). Which is smaller: 17 or w?
17
Let f(p) = -p**3 - 3*p**2 + 3*p - 4. Let u be f(-4). Suppose i + 23 + 22 = u. Let d be 33/i - (-4)/10. Are -0.1 and d nonequal?
True
Let z be ((-55)/22)/((-2)/4). Let s(o) = o - 3. Let n be s(z). Are 2 and n non-equal?
False
Let q = -11 + 15. Suppose -3 = 3*u - 0. Let r be 0 + u + q/2. Which is smaller: 3 or r?
r
Let u be -4*(1 - 86/90). Let m = -19/45 + u. Which is smaller: m or -1?
-1
Let k(x) = x - 4. Let g be k(4). Suppose 0 = -2*s - 2*f - 2, -s + f - 4*f - 11 = 0. Let n(c) = -c**3 + 4*c**2 + c - 3. Let b be n(s). Which is smaller: b or g?
g
Let o be 120/225 - 4*(-2)/(-20). Which is greater: o or -0.11?
o
Let d be 50/(-102) + (-8)/(-12). Which is smaller: d or 1?
d
Let g be 16*(0 + (-6)/116). Is 0 > g?
True
Let j = -180 + 731/4. Is j at least as big as 3?
False
Suppose 15 - 38 = -k - 2*x, 5*x - 105 = -5*k. Is 19 at least k?
True
Suppose -5*h + 2*h - 4*o + 30 = 0, -2*h - 4*o + 24 = 0. Let f = 7 - h. Let d be (-35)/84*2*f. Which is smaller: -1 or d?
-1
Let r = -348.03 - -346. Let y = 0.03 + r. Is y less than or equal to 0.2?
True
Let g(u) = 20*u**2 + u - 1. Let l be g(1). Let w = l - 121/6. Which is bigger: 1 or w?
1
Let g be ((-2)/3)/(2/(-5)). Let m(t) = t**3 + 5*t**2 - 4*t + 8. Let y be m(-6). Let u be 0/(-2) + y + 5. Which is greater: g or u?
g
Let g = 3 + -3. Let y = -1 - 1. Let a = 2 + y. Are g and a non-equal?
False
Let y(b) = -b + 12. Let v be y(7). Let u = 3 - v. Which is greater: -3 or u?
u
Let w be 1*(4 + 2)*-1. Let m(s) = s**2 + 6*s + 1. Let g be m(w). Which is smaller: 2 or g?
g
Let w = -14.96 + 1.66. Which is greater: w or -0.1?
-0.1
Let k be -2 + 12/9 + 0. Suppose -b = 2*b + 4*u + 11, 0 = 3*b + 5*u + 13. Are k and b nonequal?
True
Let f = 23 - 18. Let m be (4/f)/(10/25). Is 2 <= m?
True
Let y = -0.13 + 1.03. Is 1/3 greater than y?
False
Let w be (4/8)/(1/6). Let p be (-6)/(-4) + w/6. Suppose -p*d + 0*d = -2*x - 2, -4*x - 2 = -2*d. Are -0.2 and x unequal?
True
Let g(y) = y**3 - 8*y**2 + 10*y + 13. Let u be g(6). Is -1/149 greater than u?
False
Let r(u) = 2*u - 8*u + 8 + 6*u - 2*u. Let m be r(4). Which is bigger: -1/6 or m?
m
Let i = -4.8 - -4.7. Let g be 2/(-8) - (-26)/40. Which is smaller: g or i?
i
Let i = -1/105917 + 18278249/105917. Let z = 173 - i. Which is greater: z or 1?
1
Let b = 0.001 - -13.999. Is 2 less than b?
True
Suppose 3*c + 8 = c. Let m be (c/10)/(2/10). Let u = -7 - -20/3. Are u and m equal?
False
Let z be -1 - 5/(-3) - 4/(-3). Let l be 1/4 + (-14)/(-8). Does l = z?
True
Suppose 6 = -4*c + 2*c, u + 10 = -4*c. Let k be 4/(-10) + 63/(-5). Let l = k - -14. Is l greater than u?
False
Let f be (-4)/2*-1 - 1. Suppose 7 = -4*z - f. Let w be z + 4 + -2 + 0. Is w at least as big as -2/5?
True
Let q = -46 + 47. Let j be 10/(-14)*2/(-5). Is j less than or equal to q?
True
Let h(m) = m**2 + 2*m. Suppose 2*f = -0*f - 2. Let v be h(f). Let x = 47/85 - 6/17. Which is bigger: v or x?
x
Let t be (-3)/2*8/3. Let b = t + -1. Is -4 <= b?
False
Let v = 9 - 5. Let m(i) = -i - 3. Let p be m(v). Is p less than -7?
False
Suppose 0 = 2*o - 3*u - 7, 3*o - 3 = -0*u + 2*u. Let d be (0 + o)/(9 + 3). Are 1 and d nonequal?
True
Let c = 4.34 - 0.34. Which is bigger: c or 0?
c
Let o = -9.05 - -9. Let d = -3 + 4. Is d smaller than o?
False
Let j = -35 - -21. Let s be (-12)/j*14/8. Which is smaller: s or 1?
1
Let i = 1 + -4. Let k = 35672/5 + -7104. Let z = k + -1074/35. Which is smaller: z or i?
i
Let k be 35/20 - (3 + -1). Let p = -103/126 + 7/18. Which is greater: p or k?
k
Let v(r) be the first derivative of r**3/3 - 3*r**2/2 + r + 1. Let t be v(4). Which is smaller: t or 7?
t
Let z(u) = -u**3 + 8*u**2 - 7*u. Let d be z(7). Let j be -5 + 8 - (0 + d). Suppose 3*r + j = 2*r. Which is greater: r or -1?
-1
Let y be 6 + 3 + (-4*3)/2. Is y <= 3/2?
False
Let t = 0.96 - 1. Let d = -0.56 + t. Let f = d - -0.5. Are f and -0.1 unequal?
False
Suppose u - 4*d = -2*u - 38, -u - 31 = -5*d. Let c be ((-2)/u)/(3/(-6)). Are -0.09 and c equal?
False
Let c = -23 + 2. Which is smaller: -22 or c?
-22
Let o(d) = d**3 - 6*d**2 + 6*d - 4. Let a be o(4). Which is bigger: -13 or a?
a
Let z = 2.4 + -2.4. Let f = -13.9 - -13. Let w = -1 - f. Is z equal to w?
False
Suppose 2*f - 5*q + 9 = 0, -5*q + 30 + 11 = 2*f. Is 11 at most as big as f?
False
Let z = 0 - 0. Let f = 2 + -2.3. Let s = f + z. Is -1 > s?
False
Let z(o) = -o - 3. Let w be z(-5). Let r = -1 - -4. Which is smaller: r or w?
w
Let f(w) = -3*w. Let v be f(2). Let y(a) = -2*a - 33. Let d(s) = s + 17. Let n(r) = v*y(r) - 11*d(r). Let x be n(-8). Is x less than 0?
False
Let g(x) = x**3 + 5*x**2 + 4*x + 4. Let h be g(-4). Suppose -7*a + 4 = -2*a + h*b, -4*b + 4 = -2*a. Suppose -2*f - 1 + 3 = a. Does 2 = f?
False
Let z = -11 - -47. Which is greater: 0.2 or z?
z
Let b be (-2 - (-3)/1) + 4. Let i be (b + -4)*(-2)/(-10). Is 1 >= i?
True
Suppose 4*r + 23 = -1. Let b = -35/6 - r. Which is bigger: 0 or b?
b
Let u = -16 - -5. Let x = -7 - u. Suppose -5*c - l = -0*c - 6, 0 = -3*l - 12. Is c at most as big as x?
True
Suppose -2*g - 3*g + 10 = -5*c, -3*c - 2 = -2*g. Suppose -f -