0.06 + 13.06. Let h = 9 - m. Which is greater: h or k?
k
Let r be 1/3 - ((-168)/(-54) + -3). Is r smaller than -1?
False
Suppose x = 4*x. Are 0 and x unequal?
False
Let v(w) = -4 + 2 - 2*w + 4 + w**2 - 2*w. Let n be v(3). Are n and -3/4 equal?
False
Let k = -92 - -462/5. Which is smaller: k or 0.24?
0.24
Suppose r + 8 = -3*y, 2*r - 26 - 2 = 5*y. Suppose 0 = 4*o + d + d, -3*o + r*d + 11 = 0. Which is smaller: o or -0.16?
-0.16
Let d = -1.1 + 0.1. Let o = d + 1.1. Let l = 0.1 - 0.2. Which is bigger: o or l?
o
Let j = 239/5 - 47. Suppose -22*c + 25*c = 0. Which is bigger: c or j?
j
Suppose 2*q = -c + 45, -4*q - 4*c + 87 = c. Suppose 3*s = g + 3*g + q, -2*g = -2*s + 12. Let j = 43/44 + -8/11. Which is greater: j or s?
s
Let k be (5 - 3) + (-2)/1. Which is bigger: -3 or k?
k
Let y = -4 - -1. Is y at least as big as -2?
False
Let l = -1/2764 - 181039/8292. Let z = l + 45/2. Which is greater: z or 2/5?
z
Let h = 87 - 237. Which is bigger: -151 or h?
h
Let z(m) = m**3 + 2*m**2 + m + 2. Let h(y) = -3*y**2 + y. Let g be h(1). Let x be z(g). Suppose w - 3*w - 9 = -3*b, -3*w - 6 = 3*b. Is x less than b?
True
Suppose 3*j = -j + 8. Suppose j*u - 2*d = u - 5, -5*u + 3*d - 4 = 0. Suppose 5*g = -4 - u. Which is bigger: g or -1/2?
-1/2
Let n be 0 + 22 - (3 + -1). Let p be n/6 - (-2)/(-6). Suppose -3*x + 0*x - 5*w = -6, 24 = -5*x + p*w. Is -3 <= x?
True
Suppose 2*p + 52 = u + 4*p, -u + 4*p + 28 = 0. Which is greater: 42 or u?
u
Let k be (680734/(-14))/(129/(-213)). Let x = 80286 - k. Let d = x + 2/43. Which is smaller: d or 0?
0
Let m be (8/14)/(-10 + 12). Is -3 less than m?
True
Let c be (2/1 - 3)*-1. Let b be ((-2)/(-6))/(1/12). Which is bigger: c or b?
b
Let u = 8/61 - -273/244. Suppose 0 = 8*f + 7 - 15. Is u greater than or equal to f?
True
Let b(d) = 10*d**2 - 2. Let a be b(2). Suppose 13 - a = 5*h, -v = -4*h - 21. Let p be (6/(-52))/((-3)/4). Is p smaller than v?
True
Let q = -8 - -10. Let d be q*-1*(-1)/(-8). Is 3/8 greater than or equal to d?
True
Suppose 13*b = 10*b - 108. Which is smaller: b or -37?
-37
Let u = 125 - 143. Is -19 greater than or equal to u?
False
Suppose 4*f = 5*q + 2 + 10, 5*f = -4*q + 15. Which is greater: 13/3 or f?
13/3
Let n = -3/8 + -7/24. Does n = 0.1?
False
Let g(s) = s**3 + 7*s**2 + s - 25. Let k be g(-6). Which is smaller: 2 or k?
2
Let d be -2*1 - (-5 + -1). Suppose i - 11 = -4*o, -d*o + 38 = -2*i + 12. Suppose 0 = -2*t + 6*t + o. Which is smaller: t or -2/3?
t
Let d(i) = -7*i. Let l be d(-1). Suppose l*k = -2*s + 2*k + 1, 3*s - 3*k - 12 = 0. Suppose -s*r + 10 = -5. Which is greater: 6 or r?
6
Let a(v) = 18*v. Let m be a(-1). Let h be 6/(-27) + (-10)/m. Which is smaller: h or 2/7?
2/7
Let w be 2*(-1)/6*6. Let m be (8 + -2)/w + 3. Which is smaller: -6/5 or m?
-6/5
Let n = -0.148 - 0.052. Which is smaller: n or 16?
n
Suppose 26 = -0*s + 3*s + g, -4*s = g - 36. Which is smaller: s or 11?
s
Let l = 109 + -95. Does 11 = l?
False
Let j be 10/2 - -1 - 3. Suppose -6*i = -j*i - 3. Which is smaller: i or 5/6?
5/6
Let a = 3 + -2.9. Let s be 22/28 + 11/(-22). Is a equal to s?
False
Suppose 3*y - 99 = 30. Is 44 at most as big as y?
False
Let z = -1/20 + 43/60. Is -0.7 > z?
False
Let p(b) = b + 5. Let j be p(-8). Let y be -5 + -4*12/(-16). Is j bigger than y?
False
Let p(z) = z**3 + 2*z + 7*z**2 - z + 4*z + 1 + 2*z. Let b be p(-6). Is -4 at least b?
True
Let z(j) = -4*j - 3. Let t be z(-2). Suppose -4*l = t*a + 19, 2 + 11 = -4*l - 3*a. Is l less than 4/9?
True
Suppose 0 = -v, -4*g - 5*v + 1650 = g. Let n = 2306/7 - g. Is n >= 0?
False
Let u be -2 + -1 - (-10 - -6). Which is smaller: 2/11 or u?
2/11
Let r be -1 - (0 + -1 - 1). Let b = r - -1. Let h be (4/(-30))/((-2)/b). Which is smaller: 1 or h?
h
Suppose -3*b = -5*s - 0*b + 5, -4*s + b = -4. Is s greater than or equal to 2/29?
True
Let t = 2 - 3. Let s(l) be the first derivative of -l**2/2 + 2*l - 3. Let p be s(2). Which is bigger: p or t?
p
Let h = -1 - -1. Let m = -0.27 - 11.73. Let k = -12.2 - m. Which is greater: k or h?
h
Let y(t) = -t**3 - 11*t**2 - 10*t + 5. Let w be y(-10). Suppose 4*p - 23 = 5*p - 4*c, -25 = -w*c. Are -3 and p equal?
True
Suppose 0 = -2*u + 5*h - 24, u - 4*u = -2*h + 14. Let q = -0.2 + 4.2. Let p = -5 + q. Is u bigger than p?
False
Suppose 6*q - 58 + 10 = 0. Let b be -1*(q - 2)*1. Do -6 and b have the same value?
True
Let x(n) be the first derivative of -5*n**4/4 - n**3/3 - n**2/2 - n - 1. Let g be x(-1). Let o = g - 4. Is o greater than 1?
False
Let c(w) = w + 8. Let j = -15 - -8. Let z be c(j). Do -2/9 and z have the same value?
False
Let s = -3.75 + 1.74. Let m = -0.01 - s. Let y = m - 2. Is 0 at most y?
True
Let a(u) = -u**3 + 7*u**2 + 8*u + 2. Let j be a(8). Suppose 1 = -3*x - j. Which is smaller: 0 or x?
x
Suppose -7*t = -3*t. Are t and 0 unequal?
False
Let z = 11 - 8. Suppose 10 - 1 = z*g. Is 2 at most as big as g?
True
Let q(j) = 3*j - 2. Let h be q(-4). Let t = -11 - h. Let y = 0 + 3. Is t != y?
False
Let p = 901/20 - 183/4. Which is bigger: -1 or p?
p
Let c(y) = 2*y**3 + 5*y**2 + y + 4. Let f(h) = -h**2 - 7*h - 5. Let n be f(-7). Let l be c(n). Let b be (-8)/(-36) - (-64)/l. Which is smaller: b or -1?
-1
Let p = -9441/13 + 727. Is p at most 1?
True
Let y = 0.4 - 0.3. Let o = 1 + -1. Let u = o + 0.1. Are u and y equal?
True
Let f(i) = -5*i**2 - 3*i + 14. Let t(z) = -z**2 + z + 1. Let j(x) = f(x) - 4*t(x). Let g be j(-8). Does g = 2?
True
Suppose -3*v + 23 = -25. Is v at most 18?
True
Let b(s) = 5*s - 18. Let j be b(4). Is j < -2/7?
False
Let w be (-14)/10 - (-10)/10. Let n be ((-2)/4)/(2/(-4)). Are n and w non-equal?
True
Let b = -14 + 15. Which is bigger: 16 or b?
16
Suppose -5*g - j - 4*j = 5, 3*j + 3 = 4*g. Let a = -8 - -2. Let s be (27/a)/(99/(-12)). Which is smaller: g or s?
g
Let v(c) = -c - 8. Suppose 0 = -4*o - 4*k - 32, 0*o + o + 3*k + 4 = 0. Let a be v(o). Which is smaller: 12/5 or a?
a
Let m = 0.18 - -1.32. Let x = m - 0.5. Is 10 equal to x?
False
Let d(i) = i**2 - 23*i - 57. Let k be d(25). Do -12 and k have the same value?
False
Let s(y) = y**2 + 4*y + 4. Let q(g) = -g**3 + 5*g**2 - g + 2. Let k be q(5). Let x be s(k). Is x less than -2/21?
False
Let d = 1.6 + -1.4. Let n = d - 0.2. Which is greater: n or 5?
5
Suppose 2*t + 3*t = 0. Let l be (-5 - (-2 - t)) + 5. Is l at most as big as 2?
True
Let u = 36 - 25. Is u at least as big as 19/2?
True
Let m = 2/587 + -1771/2935. Which is smaller: -2 or m?
-2
Let f = 3/13 - -4/39. Let a = -3 + 4. Is a smaller than f?
False
Suppose 2*o - 24 = -10. Let p = -4 + o. Let j = 0 + 2. Is p > j?
True
Let d = -10 - -7. Is 0 equal to d?
False
Let x = -5 + 10. Suppose x*s - 20 = s. Is 5 greater than or equal to s?
True
Let f = -1.5 - -1.8. Are -10 and f equal?
False
Let o(f) = -f**3 - 4*f**2 - 4*f - 2. Let n be o(-3). Let x = 3 - n. Which is smaller: x or 1?
1
Suppose 2*y + 4 = k, 14 - 2 = 3*k + 5*y. Suppose 7*z - 3 = k*z. Let b = 13/4 - 3. Which is greater: z or b?
z
Let j be -3 - 346/(-2) - 2. Suppose 2*i - j = 6*i. Let h be (2/16)/(7/i). Which is smaller: h or -1?
-1
Let v = -1 - -14. Let c = v + -12. Let u = -2 + 1. Which is bigger: u or c?
c
Let t = 2.6 + -2.49. Let x = t - -3.89. Suppose -5*u = -3*l - 5, 6*u + 5*l - 5 = u. Is u greater than x?
False
Let j(x) = x - 9. Let v be j(14). Is 6 at least v?
True
Suppose 5*v = 2*v. Let l = v + 1. Let t = l - 2. Is t > -1?
False
Let a = 11.1 + -11. Is -1 < a?
True
Suppose -3*z + 7 = -x + 2*x, z - 9 = 3*x. Which is smaller: -19 or x?
-19
Let i be 92/(-6) + 8/(-12). Let h be (-1)/4 - 84/i. Suppose 0 = h*z + 14 + 16. Is z at least -6?
True
Let l = 431 + 335. Let b = l + -23748/31. Which is greater: b or 0?
0
Let y = 56 + -55. Is y <= 3/34?
False
Let k = 6 - 8. Let g = 18 - 11. Let n = 6 - g. Which is smaller: k or n?
k
Suppose -w = -2*w. Let y(n) = -n**3 - n**2 - 6. Let z be y(w). Let l be (-3)/(-4) + z/(-8). Is l < 2?
True
Suppose -3*o = 2 - 5. Suppose -23 = -3*x + 5*y, 0 = 2*x - 4*x - 5*y - 18. Let q be (-88)/(-42) - (x - -1). Is o < q?
False
Let m = -5.8 + 2.8. Which is bigger: m or 3?
3
Suppose 2*s = 0, 4*z + 3*s = -2*s - 4. Is 8 not equal to z?
True
Let h(v) = -14*v - 2. Let c be h(-1). Let i = -14 + c. Which is bigger: -3 or i?
i
Let z = 6.5 + -6.5. Are 5 and z unequal?
True
Let i = 35 + -34. Which is smaller: i or 4/7?
4/7
Let f = 7 + -13. Let k = 3 + f. Su