/f). Let a = -3 + 4. Which is smaller: m or a?
m
Let x(t) = 75*t**3 + 2*t**2 + 2*t + 1. Let y be x(-1). Is 2/3 at most as big as y?
False
Let l = -64 + 319/5. Is l smaller than 1?
True
Let h = 0.03 + -0.13. Suppose 5*x - 21 = -2*o, 4*o - 1 + 19 = 2*x. Suppose -x*b + 3 = -2*b. Which is greater: h or b?
b
Suppose -y + v + 3 = 0, 7 = y + 2*v + 4. Do 18 and y have different values?
True
Suppose 0 = -b + 2*b. Let y = 0 + b. Is y < -1/2?
False
Let z = 13 - 53/4. Is z >= -1?
True
Let g = 45004/49401 + -132/499. Let s = g - -2/99. Are 1/12 and s unequal?
True
Let s = 382.99 + -385. Let y = s - -0.01. Is -1/5 at most as big as y?
False
Suppose 1 = 3*o - 2*v, 0 = -4*o + 5*v - 5 + 18. Let a = o - 0. Let y(s) = -s - 4. Let b be y(a). Are -1 and b unequal?
False
Suppose 48 = 2*y + 2*y. Let l = -6 + y. Let p be l/(-21) + 22/28. Are 1/3 and p equal?
False
Let v(u) = u + 9. Let z be v(-4). Suppose 0 = z*x + 5*g + 15, 10 = x - g + 3. Which is greater: x or -2/3?
x
Suppose -2*v = 5*j - 0*v + 60, 5*j = -3*v - 60. Let p = j - -13. Is p at most 1?
True
Let p = -4 + 0. Let z = p - -13. Let r be z/(-6)*2 - 1. Is -3 at least as big as r?
True
Let v(r) = 6 + 5 - r - 2. Let n be v(8). Let p(c) = 4*c - 1. Let z be p(n). Is z bigger than 3?
False
Suppose -4*y = 3*x + 4, 33 = 4*x - 3*y + 80. Let s = 14 + x. Is s != 6?
False
Let k be 0 + 2 + 7 + -2. Does 7 = k?
True
Suppose -2*n = -4*n. Let t = -89 - -58. Let j = -31 - t. Are n and j unequal?
False
Let g be (2 - 0) + -2 + 0. Let n be -2*((-3)/(-12) + 0). Which is smaller: n or g?
n
Let m be (2/(-4))/(2/(-4)). Suppose 2*l = -3*h - 9, -2*l = 5 + m. Let j be (-4 + 1)/((-3)/(-2)). Is j less than h?
True
Let m = 3.1 + -1.1. Which is smaller: m or -1/7?
-1/7
Suppose -2*y = 6*a - 4*a + 10, -2*y = 5*a + 16. Which is greater: y or -3/2?
-3/2
Let w be (-4)/(1/(-1)) + -5. Is -8/11 bigger than w?
True
Let x(h) = -h**2 + 4*h + 14. Let i be x(6). Which is greater: 17/6 or i?
17/6
Let d be -2 + (-1 - -1) - -2. Suppose d = -4*q - 0*q. Which is smaller: -2/11 or q?
-2/11
Let s(c) = -c**3 - 4*c**2 - 2*c + 1. Let k be s(-3). Let f be (1/(-1) + 0)/(-1). Let p be ((-2)/(f + k))/1. Which is smaller: p or 4/3?
4/3
Let g be (8/(-10))/((-2)/45). Suppose -4*c - m = -c + 10, -m - g = 5*c. Suppose 3*a = 3*i - 27, i = 5*a + 46 - 17. Is a < c?
True
Let c(h) = h**2 + 7*h - 8. Let m be c(-8). Suppose 4*x - 15 + 7 = 0. Let l be x + -1 + 29/(-27). Which is smaller: m or l?
l
Let g(t) = -t**3 - 2*t**2 - t + 1. Let u be g(-2). Suppose 0*f - 2*f = -6. Do f and u have the same value?
True
Let z = -888/2195 + 2/439. Is 6 bigger than z?
True
Suppose 2*w + 4 = 4*w. Suppose -w*a = -0*a. Is -4/9 > a?
False
Let t be (2/4)/((-2)/(-4)). Let h(z) = z. Let s be h(t). Which is greater: s or -2/49?
s
Suppose 2*t + 25 = 5. Which is bigger: -1 or t?
-1
Let p = 6.2 - 8. Let l = 0.2 - p. Is l < -0.2?
False
Suppose -o - o - 51 = -3*s, -3*s = -4*o - 117. Let a = 34 + o. Let g be (-4)/6 + 2/6. Which is bigger: g or a?
a
Let t = 4.07 + -0.07. Let f = 0.3 - -0.7. Which is smaller: t or f?
f
Suppose -5*n = -12 - 13. Suppose 7 = -n*s + 2. Which is smaller: s or -3?
-3
Suppose 25 = -5*l - 5. Which is greater: l or -5?
-5
Let o be (2 - (-8)/(-3))/1. Let x = 5.92 - -0.08. Let s = -6.1 + x. Is s >= o?
True
Suppose 2*h - 10 = 2*b + 6*h, -3*b = -4*h - 15. Let a be (-4)/10 - (-74)/60. Is b <= a?
False
Suppose -50*s = -46*s + 4. Let c = 7.01 + -0.01. Do s and c have the same value?
False
Suppose -5*f + 21 = 6. Suppose a = -f*a + 4. Is -1/23 <= a?
True
Let j be 3/6*(18 + 0). Suppose 3*g + j = -3*m - 9, 0 = -4*m + 2*g. Let y be (-2)/(0 + 4 + m). Is -1 < y?
False
Let l = -14/247 - -4/19. Let z be ((-4)/6)/((-14)/(-21)). Which is smaller: z or l?
z
Let k(l) = l - 8. Let t be k(6). Let x be 8 - 4 - (1 - t). Is x at least as big as 1/8?
True
Let s be 66/(-10) + (-8)/20. Let f(l) be the third derivative of -l**5/60 - l**4/4 + l**3 - l**2. Let i be f(s). Which is bigger: i or -2/7?
-2/7
Suppose -3*k + 13 = 2*g, -5*g + 41 = k - 2*k. Let n be 2/g + (-22)/(-8). Suppose 2*p = -4*b + 4, 4*b = 5*b + 2*p - 1. Which is smaller: n or b?
b
Let w = -134 - -1204/9. Let q be (-4)/6 - 14/(-3). Suppose 2*a = 2*h + 8, 3*a = q*h - 0 + 15. Which is smaller: w or a?
w
Let z = 3.09 - 0.09. Let n = z + -4. Is -7 greater than or equal to n?
False
Let w(z) = -z**2 + 6*z - 3. Let b be w(4). Let f = -8 + b. Let k be ((-4)/(-6))/(2/f). Is -1 at least as big as k?
True
Let y be (-3)/2*(-4)/3. Let t = y + -3. Suppose -2*o - 1 = 1. Is o less than or equal to t?
True
Let v = 21 + -23. Suppose 2*f + 4*t + 8 = -0*f, 2*t + 10 = -4*f. Do f and v have different values?
False
Let g = 10 + -9.94. Which is smaller: 0.1 or g?
g
Let u = 28/3 + -9. Is u at most 0?
False
Let q = 45/52 + -8/13. Is q at most -1?
False
Suppose 3*a = 5*i - 19, 5*i + 3*a - 3 = -2. Which is smaller: 0 or i?
0
Let p = -0.45 - 0.05. Let x = p + 0.4. Which is bigger: 3/2 or x?
3/2
Let y be (-4)/(-10) + (-38)/(-5). Suppose -2*w = -4*a + 6*a + y, -4*a + 2*w = 22. Let o = 12 - 17. Is a > o?
False
Let h = 4 - 5. Let k = h + 0.5. Let y = 0.6 + k. Which is bigger: y or -2?
y
Suppose -36 = 5*s + 24. Let j = -5 - s. Is 6 greater than or equal to j?
False
Let a(z) = -z + 2. Suppose -5*b - l - 20 = 3*l, 2*l + 10 = -3*b. Suppose -h + 0*h + 1 = b. Let r be a(h). Which is smaller: 4 or r?
r
Let r = -82 + 86. Let t = 0 + 0. Which is smaller: t or r?
t
Suppose 82 + 69 = -q. Let d = q - -1053/7. Which is bigger: d or 0.1?
0.1
Let h(q) = 5*q - 4 - 4*q + 0*q. Suppose 0 = -9*n + 16 + 20. Let l be h(n). Which is bigger: 1 or l?
1
Suppose -3*f = -8*f. Suppose f = -2*u + 16. Let k be ((-10)/u - 0) + 1. Which is greater: -1 or k?
k
Suppose -5*o = -4*q + 5, -3*q + 0*q - 25 = 2*o. Let y = -4 - -2. Is o at least y?
False
Let s(v) = -4*v**3 - 1 - v**2 + 3*v + 3*v**3 + 2*v**2. Suppose 0 = -0*f - 2*f + 4. Let l be s(f). Do 3 and l have the same value?
False
Let t = -0.03 - -0.08. Let m = -0.05 + t. Let v = 166/35 + -36/7. Is m at least v?
True
Let b(s) = 2*s**2 - 6*s + 8. Let x be b(5). Which is smaller: 30 or x?
x
Let m be (-5)/(-3) + (6 - 5) + -3. Which is greater: m or 2.7?
2.7
Let m = -20 - -15. Suppose 13 = -3*o - 2*y + 3*y, -4*o - 2*y - 14 = 0. Which is bigger: o or m?
o
Let y(k) = -2*k**2 - 5*k - 3. Let c(i) = 5*i**2 + 11*i + 7. Let d(o) = -3*c(o) - 7*y(o). Let p be d(1). Do 2/13 and p have the same value?
False
Let h = 0 - 1. Let i = 3.818 + 0.082. Let k = -4 + i. Which is greater: k or h?
k
Let i(c) = -c**3 - 12*c**2 - 22*c - 13. Let l be i(-10). Which is greater: l or 8?
8
Let m = 16 - 16. Is m greater than 0?
False
Let b(f) = -f**3 + 2*f**2 + f - 2. Let s be b(2). Let t(y) = -y**3 - 4*y**2 + 5*y - 4. Let w be t(-5). Let h be (6/w)/(3/(-4)). Is h at least as big as s?
True
Let r = 0.54 + -0.54. Which is smaller: r or -5?
-5
Let h be 0/(6/3 - 0). Which is smaller: h or 2/97?
h
Let x be (2/14)/(17/119). Let f be (-6)/21 - (-2)/7. Which is smaller: x or f?
f
Suppose -6*h + h + 5*m + 5 = 0, 4*h + 5*m = 31. Suppose 2*l - 28 = -4*d, 2*d - h*l + 36 = 6*d. Let t = 4 - d. Which is smaller: t or 2/5?
t
Let k = -0.03 + -0.87. Let t = -3.9 - k. Which is bigger: t or 0.1?
0.1
Suppose 4*q + 11 = 7. Is -2/23 < q?
False
Suppose 2*n = -5*w + 9, -3*w = -5*w + 6. Let s be 3*(3 + -4 + 4). Suppose -3*x - s = 3*a, 4*a = -x - a - 7. Is x less than or equal to n?
False
Let w = -3 - 0. Let j = 0.1 - -2.9. Let r = w + j. Is 1 greater than or equal to r?
True
Let r(c) = c**3 + 4*c**2 + 4*c + 3. Let k be r(-3). Do 7 and k have the same value?
False
Let k(q) = -q. Let t be k(3). Let w = 5 + t. Is 2 greater than w?
False
Let r = -44 + 43. Are r and 2/5 equal?
False
Let h(t) = t**2 + 9*t - 59. Let c be h(-14). Are 19 and c non-equal?
True
Let n(z) be the second derivative of z**3/6 + 3*z**2 + z. Let x be n(-6). Let l = -20/3 - -106/15. Is x smaller than l?
True
Let u = -3 - 4. Let d = -6 - u. Let i = d - 4. Is 0 <= i?
False
Let a = -38 + 34. Which is greater: 3 or a?
3
Let y be ((-1)/6)/(8/16). Let a = -2 - -2. Which is bigger: y or a?
a
Let u be (-52)/120 - 16/40. Let d = -2 - -1. Are d and u unequal?
True
Let i = 1/12 + -29/60. Do i and 0 have different values?
True
Let g = -0.05 + -0.1. Let x = g - 0.85. Which is smaller: -0.5 or x?
x
Let x(q) = q**3 - 7*q. Let r be x(0). Which is smaller: r or 2/197?
r
Su