e
Let p = -0.9 - 0.1. Let f = 19.35 + -18. Let t = -0.35 + f. Are t and p unequal?
True
Suppose -2 = n + 2*b, 0 = -n + 3*n + 5*b + 5. Let s be n + ((-9)/3 - -5). Which is bigger: s or 0?
s
Let j = -3.005 + 0.005. Let n = 1.1 - 1. Let u = -0.1 + n. Are u and j nonequal?
True
Let r = 0.4 - 0.3. Let g = -0.1 + r. Let p = 2 - g. Which is smaller: p or -2/5?
-2/5
Let a = -6 - -5.94. Let r = a + 1.06. Let i(h) = -2*h. Let k be i(1). Which is smaller: r or k?
k
Suppose 3*l - 7*l = -12, -5*q = -4*l + 7. Let t be (20/(-14))/(190/(-150)). Let c = -16/19 + t. Which is greater: q or c?
q
Let c(m) = -5*m + 5. Let w(g) = -g. Let d(q) = -c(q) + 2*w(q). Let l be d(5). Which is smaller: 11 or l?
l
Let i = 105 - 134. Which is smaller: i or 2/7?
i
Suppose 4*m - 19 = 5*q, -3*q - 4*m = -14 + 51. Let x be (q/21)/((-2)/(-12)). Suppose 0 = -8*k + 4*k - 20, -3*a - 2*k = 13. Which is smaller: a or x?
x
Let s = -3.05 - -0.05. Let u = 6 + -5.2. Let q = u - -0.2. Is s >= q?
False
Let s = -0.37 - -0.07. Let v = -5 - -9. Let u be 3/(-2) + 2/v. Which is smaller: s or u?
u
Let s = -2 - -4. Suppose 0*v + s*v - 6 = 0. Let p = 1363/7 + -195. Is p less than or equal to v?
True
Let g be ((-2)/3)/((-20)/30). Is -3/35 at least as big as g?
False
Let m = 0.83 + -0.28. Which is smaller: -0.1 or m?
-0.1
Let b(t) be the third derivative of -t**6/120 + t**5/10 + 7*t**4/24 - 3*t**2. Let o be b(7). Let y be (-2)/(o/1 + 2). Which is greater: -1/6 or y?
-1/6
Let q be 83 + 4/(8/(-6)). Let a be (-2)/(-13) - q/13. Are -3 and a unequal?
True
Suppose -x = -8*y + 5*y - 2, 3*y = -4*x - 7. Which is smaller: y or -5/9?
y
Let s be (56/210)/(1 - -1). Which is bigger: s or 0?
s
Let l(f) = f - 9. Let i be l(10). Let c = 1 - -2. Which is smaller: i or c?
i
Let b be 3/9 + (-137)/(-3). Let o = b + -31. Suppose 4*t - o = -t. Which is smaller: -2/3 or t?
-2/3
Let s = 2/91 + 12/91. Let x be 1/(-4)*1*2. Do s and x have different values?
True
Let g(p) = p - 5. Let u be g(5). Suppose -4*s + u*s - 12 = 0. Which is smaller: -1 or s?
s
Suppose 6*t - 4*t = -36. Let d = 18 + t. Which is smaller: d or 3/8?
d
Let c(k) = k + 4. Let x = 3 - 6. Let d be c(x). Let o be -5*1*d/4. Is o greater than -2?
True
Let s(r) = 5*r + 81. Let l be s(-16). Which is bigger: l or 93?
93
Suppose -3*d = -4 - 11. Suppose 2*u - v = -2*u + 19, 0 = -v + d. Is 5 >= u?
False
Suppose -2*w = 3*w. Which is smaller: -2/3 or w?
-2/3
Let s = 1 + -2. Let y = 24 + -13. Suppose 3*i + p = -3*p - y, -2*p + 1 = -5*i. Is i <= s?
True
Let w = -5 + 9. Let m be -3 + -36*w/(-42). Is m less than -1/3?
False
Suppose -c + 3 = -3*o, 5*o + 18 = -c + 5. Let b = -12.1 - -12. Which is smaller: b or o?
o
Let k = -4 - -9. Let u = 5 - k. Do u and 2 have the same value?
False
Let c = -42 + 54. Which is bigger: 11 or c?
c
Suppose 16*o - 47 = 225. Which is smaller: 0.3 or o?
0.3
Let r = 21 - 27. Are r and -7 equal?
False
Let n(j) = j + 11. Let z be n(-6). Let d(a) = a**2 + 15*a + 7. Let l be d(-15). Let m = -3 + l. Which is smaller: z or m?
m
Suppose -5*o + 0*o = 20. Let h = 5 + o. Which is bigger: h or 0?
h
Let s = 22051/330 + -808/11. Let x = 35/6 + s. Is x greater than -1?
True
Let w = -8 + 13. Let x be 1/4 + w/(-4). Is x smaller than -11/5?
False
Let w(a) = a**3 + a**2 + 2. Let g be w(-2). Let i be 0 - (g - -2) - -1. Is 1 not equal to i?
False
Suppose -2*j + j = -2. Suppose 3*t - 2*t = d + j, -2*t = -d - 2. Is 0 smaller than t?
False
Let f(c) = -2*c**2 - 9*c - 3. Let h be f(-5). Let k = h + 8. Let g = -4/19 - 7/57. Is k not equal to g?
True
Let m = 13 + -6. Let a(n) = 2*n + 3. Let g be a(2). Is g > m?
False
Let k = -35 - -30. Which is smaller: 1 or k?
k
Let f be (-32)/(-99) - 2/(-9). Which is smaller: 0 or f?
0
Let p = 21461 + -171433/8. Let x = -1833/56 + p. Is x at least 0?
False
Suppose -4*i - 3*o + 32 = 0, 10 = -2*i - 3*o + 26. Suppose 4 + 8 = 4*a - 3*l, 0 = 4*a + 2*l + i. Let d = -0.3 - 0.7. Which is bigger: d or a?
a
Let a be 2/(-16) + (-1)/(-8). Let f(z) = -z - 2. Let d be f(-3). Suppose -2*j = 1 + d. Which is greater: a or j?
a
Let c(m) = m - 8. Let x be 3/2*(-56)/(-12). Let t be c(x). Which is bigger: t or 0.1?
0.1
Let d be 12/56*5/(-15). Is -1 at most as big as d?
True
Let g be (-2)/(-10) + 67/(-210). Is 1 > g?
True
Suppose 3*l + 16 = -l. Let w be (l/3)/(42/(-9)). Which is greater: 0 or w?
w
Suppose 0 = o - 4*o + 6. Let p(c) = c**3 + 2*c**2 - 3*c + 3. Let q be p(-3). Suppose 5*g - q*u = 35, -u + 1 = 4*g + o*u. Which is smaller: 5 or g?
g
Let p(a) be the third derivative of -a**5/30 - a**4/8 + a**3/3 + 8*a**2. Let d be p(-3). Which is smaller: d or -8?
-8
Let y(a) = a**3 - 4*a**2 + 1. Let u be y(4). Which is smaller: u or 2/53?
2/53
Let y = 8 + -10. Let f be (27/15)/(y/(-10)). Are f and 8 nonequal?
True
Let q = -5.5 + -0.5. Let f = 3.4 - 9.3. Let r = f - q. Is 0.02 at least as big as r?
False
Let z be (14/8)/(3/(-12)). Which is smaller: z or -8?
-8
Let t = -55 + 54.7. Which is bigger: t or 3/10?
3/10
Let v be 7 - 0 - (-8 - -7). Let a be 6/v*(2 - -2). Is 3 at least as big as a?
True
Let f = 1.5 + -3.2. Let r = 13 + -12.3. Let v = f + r. Is -5 >= v?
False
Let k = 0 - -1. Let h = -22 - -12. Let m = -3 - h. Which is bigger: k or m?
m
Suppose 2*q = -x + 3*x - 6, 5*q + 15 = 2*x. Which is greater: x or 1/3?
1/3
Suppose -4*u + y = 62, 4*u + 0*u + 66 = -y. Let p = -16 - u. Is p greater than or equal to 10/9?
False
Suppose -2*l - 1 = -3*a - 0, -l = 4*a - 27. Suppose 0 = 3*p + 5*u + l, -4 = -p + 5*p + 4*u. Let z be p/((0 - -1)/(-1)). Are -0.1 and z equal?
False
Let g be (-12)/(-30) + (-2)/5. Let l be (-4)/(-24) - (-2)/(-4). Which is bigger: g or l?
g
Let k = -27/5 + 71/15. Are k and -0.2 unequal?
True
Let o = 0.7 + -0.4. Is 2 greater than o?
True
Let b = 1/76 + -29/38. Suppose 0 = 5*d - 0*d + 10. Are d and b equal?
False
Let x = 17 - 11. Let d(z) = -z**2 + 8*z - 4. Let r be d(x). Is 8 != r?
False
Let a = 1 + 0. Let t = 236/15 - 46/3. Is t less than or equal to a?
True
Suppose k - q - 24 = -3*k, -2*k = -4*q - 12. Let i(w) = w - 4. Let a be i(4). Which is bigger: k or a?
k
Let q(b) = -b**3 - 3*b**2 + 4*b + 2. Let t be q(-4). Which is smaller: -5 or t?
-5
Let x be 35/10*8/7. Suppose 6*o - x*o - 4 = 0. Does o = 0?
False
Let z = 25 - 23. Suppose -2*t - 4 = z*t. Which is smaller: -5/7 or t?
t
Let v = -18 - -17.88. Which is smaller: v or -1?
-1
Suppose 0 = -5*q - 16 + 41. Suppose -5*c = -2*u - 22, -3*u = -8*u - q*c + 15. Let v be (-15)/35*(0 + 1). Which is smaller: v or u?
u
Suppose n + 17 = 3*v, 2*v - 22 = 5*n + 11. Suppose -v*k = -0*k + 4. Suppose z - 5*z = 8. Which is greater: z or k?
k
Let j be (14/35)/((-1)/5). Let o be 8/j + 2 + 4. Which is bigger: 3/2 or o?
o
Let t = 108 - 107. Is 2/215 not equal to t?
True
Let k be 0 + 4/16 + (-143)/12. Let r = -18 + 6. Let o = k - r. Are o and -1 non-equal?
True
Let s = -29 - -28. Which is smaller: s or -6/11?
s
Let h = 25 + -23. Is h > -10?
True
Suppose -5*k + 8 = g - 16, -23 = -4*k + 3*g. Suppose -4*o = m + k, m + 4 = -5*o + 2*o. Which is bigger: o or 1/19?
1/19
Let w(s) = -s**3 + 6*s**2 - 5*s + 5. Let k be w(6). Let n be (-4)/18 + k/9. Which is greater: -5 or n?
n
Let d be (-2)/(-6)*12/(-14). Which is greater: d or -7/6?
d
Suppose 2*d + 10*h - 15*h + 20 = 0, -5*d - 21 = 2*h. Which is greater: d or -2?
-2
Let c = 17.4 - 11.5. Let p = -15 + c. Let f = p - -9. Is -1/3 > f?
False
Let k be (-2)/9 + 22224/5967. Let l = 44/13 - k. Which is bigger: l or -1?
l
Suppose -5*y = 4*f + 30, 3*f + 0*f + 5 = -2*y. Let q = -8 - y. Which is greater: q or 1?
q
Suppose b = 3*b + 8. Let l = b - -4. Let a be (6/15)/((-6)/(-10)). Is l less than or equal to a?
True
Let u be (4 + -1 - -1)*4. Let o = 16 - u. Which is smaller: -4 or o?
-4
Let r be 1/(-3)*-3 + 3. Let g = -3 + r. Is 0 at least as big as g?
False
Let q = -2729/3 + 880. Let d(v) = 7*v - 12. Let r be d(6). Let o = q + r. Which is greater: o or 1?
1
Let f be 15/((84/(-20))/(-7)). Which is greater: 22 or f?
f
Let y = 14/5 + -47/15. Is 0 at least y?
True
Suppose -2*v + 4*k = -16, -3*v - 2*v + 4*k + 22 = 0. Which is smaller: v or -1?
-1
Suppose -3 = 8*h - 3. Let w be 3/72*(-9)/(-2). Which is greater: w or h?
w
Let x(t) = t**2 - 6*t + 3. Let y be x(5). Let q(k) = k**3 + 1. Let z be q(2). Let l be (3/z)/(y/6). Which is smaller: l or -3?
-3
Suppose -8 + 14 = -6*y. Are y and -1/2 non-equal?
True
Suppose 0 