 + -5. Let f be c*(4 + (-44)/12). Which is smaller: -1/4 or f?
f
Let l = 0.2 + 0. Let k(g) = g - 7. Let y be k(5). Let m be (-1)/((4 - 3) + y). Is l < m?
True
Let d(j) = -2*j - 9. Suppose -5*u + 1 - 6 = -2*k, -2*u = -2*k - 4. Let t be d(k). Are t and 1/6 equal?
False
Let p = -5.6 + 6. Let y = 0.6 + p. Let a = 0 - 0.1. Which is smaller: y or a?
a
Let q be ((-10)/(-18))/5*6. Which is smaller: 0.11 or q?
0.11
Let t be (-32)/28*(98/(-3))/7. Let a = 5 + 0. Is t at most as big as a?
False
Let d = -1.9 - -2. Let x = 0.1 - 0. Is d bigger than x?
False
Let b be (-114)/18 - -6 - (-4)/(-6). Are -5/3 and b non-equal?
True
Let m be 12/3*3/22. Is 0 > m?
False
Let h be (2 + 0)*4/(-8). Which is smaller: h or -2/25?
h
Let l be (-2 + (1 - 0))/1. Let q(h) = -h + 13. Let v be q(11). Suppose -v*z + n - 3 = -6, -5*n = 2*z + 27. Is l < z?
False
Let j = -0.039 + -2.061. Let x = j - -2. Which is smaller: -0.03 or x?
x
Let w = -0.08 + -0.52. Let b = 3.4 - w. Let q = 5 - b. Do q and -2/3 have the same value?
False
Let h = -10 - -10.7. Is 0.1 != h?
True
Let i be 1*(24 + 1 - 2). Let n = -33 + i. Is n >= -11?
True
Let p(m) = m**2 - 5*m + 2. Let b be p(5). Suppose 4*f + 8 = b*f. Suppose -27 = 5*v - 4*y, 0*v - y = v. Are f and v nonequal?
True
Suppose -r = -4*r + 42. Let o be (r/476)/((-1)/(-6)). Does o = 1?
False
Let n = 6 + -5.8. Let r = -23.2 + 21. Let s = r + n. Which is smaller: -1 or s?
s
Let c(u) = u**2 + 10*u + 2. Let p be c(-10). Suppose p*j + 18 = -0*j. Let y be (2/27)/((-3)/j). Which is smaller: y or 0?
0
Suppose -2*r - 4*n + 4 = 0, 3*r = -4*n + n. Let k = 0 + 2. Let c = k - 0. Which is smaller: c or r?
r
Let l(h) = -h**2 - 9*h + 10. Let d be l(-9). Suppose -d = -5*a + 5. Let v = 1 - 1. Which is greater: a or v?
a
Let v = -32 - -32. Let u be (-1 + 1)*2/(-4). Is v bigger than u?
False
Let a be 7/(21/2) + -1. Is a greater than -71/4?
True
Let u = -3 + 5. Let b be (2 - 3/2)*4. Let w be b + -3 - (2 - u). Which is bigger: -3/4 or w?
-3/4
Let l(q) = -3*q + 25. Let r be l(6). Does r = 8?
False
Let r = 0.09 - 1.09. Which is greater: r or -3?
r
Let y = -26 - 4. Let c be 4/(-6)*y/(-70). Which is smaller: 2 or c?
c
Let s = -46 + 46. Let d = 81/287 - -6/41. Which is smaller: d or s?
s
Let i(j) = -j**2 + 25. Let v be i(0). Is 27 greater than v?
True
Let h be (8/(-4) - -3) + -1. Which is greater: h or -1/9?
h
Let y = 238 + -235.99. Let k = y - 0.01. Is k at most 1?
False
Let l = 18 + -7. Suppose -3*v + l = -4. Is v at least 6?
False
Suppose 3 = -4*a - 1. Let l be ((-4)/4)/(5/3). Which is bigger: a or l?
l
Suppose 3*f - 10 = 5*f. Let r = f + 6. Which is bigger: r or 3/8?
r
Let i = -0.3 + 1.3. Is -2/47 bigger than i?
False
Let b(c) = -c - 6. Let g be b(-14). Suppose g*y - 4*y + 24 = 0. Suppose 2*v + 8 = 5*k + 1, -5*k - 5 = 0. Is y <= v?
True
Let t = -36 + 34. Let g(c) = c**3 - 6*c**2 + 5*c - 1. Let q be g(5). Is q > t?
True
Let g be (6 - 92) + -4 + -1. Is 1/3 < g?
False
Let q(v) = -v**3 - 4*v**2 - 2. Let a be q(-2). Let m be 8/a*(-15)/6. Which is smaller: m or -1?
-1
Let d(u) = u**3 + 5*u**2 - 7*u - 7. Let j be (2 - 3) + (2 - 7). Let f be d(j). Let q = -3 - f. Is q not equal to -1?
True
Let w = -51 - -48.9. Let x = w - -2. Let f = 1.3 - 1. Which is greater: f or x?
f
Let t = 29 - 59/2. Let o = -78.8 - -81. Is t less than or equal to o?
True
Let r = 0.23 - 0.13. Suppose 0 = -v + 6*v + 10. Which is smaller: v or r?
v
Let u be 0*(-3)/6 + 8. Suppose 3*s = -5*v + u, v - s = 3*s - 3. Let y be (3/(-6))/(v/(-2)). Is y smaller than -2/7?
False
Let t be 3 + (-6 - -3) + 0. Let d be -1 - -6 - (1 - -1). Let g = d + -3. Is g greater than t?
False
Let f be (-6)/(-4) + 1/2. Suppose 3*a + 7 = 2*h - 0*a, -5*a - 15 = 0. Let n be (2/(-1))/(-2 - h). Is f equal to n?
True
Let j = -4 + 6. Suppose -j*h = h. Let p be (-10)/6 + 1 + 0. Which is greater: p or h?
h
Let k = -2 - 0. Let x be k + (-3)/6 + 2. Is -2 at least x?
False
Let t(i) = -i**3 + 5*i**2 - 4*i + 3. Let f be t(4). Suppose 5*d = -5*k + 38 + 7, 0 = f*k - 15. Suppose o = -4*z + d, -2 - 3 = -5*z + 3*o. Is z < 2/7?
False
Let o(u) = 2*u + 45. Let j be o(-21). Is j bigger than -8?
True
Let l(b) = b + 8. Let z be l(-7). Is -1 smaller than z?
True
Let r be ((-16)/(-24))/(2/(-87)). Which is greater: -30 or r?
r
Let w = -4/9 + 1/9. Let q = 5 - 5. Suppose -r + 3*r = q. Is r >= w?
True
Let k(o) be the second derivative of -o**5/20 + o**4/4 + o**3/2 + o**2 - o. Let b be k(4). Is -2 < b?
False
Let t be 50/24 - 1/(-4). Let w be (-3)/2*28/(-21). Which is smaller: w or t?
w
Let v = -107 - -108. Let k = -56 + 1233/22. Which is smaller: v or k?
k
Let k = 38.1 + -38. Which is bigger: -70 or k?
k
Let o = 0.027 - -0.273. Let x = 2 + -1.9. Is o != x?
True
Let k(l) = -l + 1. Let c be k(-5). Let i(x) = x - 2. Let z be i(c). Let v be (3 + 2 - 0)/1. Which is greater: z or v?
v
Let c = 0.33 - 0.53. Is -6 less than c?
True
Suppose 0 = -2*k - 2 - 4. Let u be (0 - -6)/k + 2. Let j = -10/13 + 139/130. Which is smaller: j or u?
u
Suppose -p + 0 = -q + 4, 0 = 2*q + 5*p + 20. Let h be (4 - 2)*2/(-4). Which is smaller: h or q?
h
Let t(o) = -o**2 + 4*o + 1. Let f be t(4). Let b be 5*((-1)/f + 0). Is b >= -4?
False
Let o = -1/10 - 7/5. Let i = 0.2 + -0.1. Is i at least as big as o?
True
Let a be 2 - 4/((-2)/(-1)). Let u be -2 - a - (-120)/87. Let s = -91/87 + u. Is s less than -1?
True
Let v = -1.2 - -0.2. Let c = -6 + 6. Is c smaller than v?
False
Let v(u) = 5*u - 5. Let f be v(4). Suppose -2*s = s + f. Is -2 greater than s?
True
Let x = -4.8 + 1.8. Which is smaller: 3/2 or x?
x
Suppose 0*n + 136 = -8*n. Which is bigger: -3 or n?
-3
Suppose -172 = y - 5*y. Let g = y + -128/3. Let q = -5 - -3. Which is smaller: q or g?
q
Let p(z) = 1 + 4*z**3 - z**2 - z**3 - 2*z**3. Let c be p(-1). Let l be (-8)/14 - 8/(-28). Does l = c?
False
Let u = 15 + 20. Let q be ((-30)/u)/(11/7). Which is smaller: -2 or q?
-2
Suppose 62 = -5*v - 4*d, 3*v - 4*d - 2 = -20. Do -10 and v have the same value?
True
Let a(z) be the third derivative of z**4/24 + z**3/2 - 2*z**2. Let g be a(-5). Is g <= -2?
True
Suppose -4*k - 3*y - 2 = 2, 0 = -2*k + y - 2. Let i = 7 - 7. Which is smaller: i or k?
k
Let v be 4/(-8)*1/2. Let a = -1 + 0. Which is greater: v or a?
v
Suppose 146 = -z + 2*z. Let j be ((-153)/(-28))/(z/12). Let r = j - 3/146. Which is greater: 0 or r?
r
Let z = -8.1 + 9. Let g = -231 + 230. Which is bigger: g or z?
z
Let c(f) = f + 1. Let w = -8 + 14. Let g be c(w). Let s(t) = -t**2 + 6*t + 7. Let n be s(g). Which is greater: 4/3 or n?
4/3
Suppose -2*l + 1 = -3. Suppose 5*a = 2*u, 4*a = -2*u - l*u. Is a < 0?
False
Let m = 0 + 1. Let l = 6156 - 29649/5. Let b = -225 + l. Is m greater than or equal to b?
False
Let w(x) = -x**2 + x + 18. Let n be w(0). Let f = n - 13. Suppose -f*t - b - 2 = 2, -4*t + 5*b = 9. Is t greater than -1?
False
Suppose 0 = -2*j + 2*i - 8, -5*j - 5*i + 8 = -2. Let z be 1 - (-3 + 5) - j. Which is bigger: z or 1?
1
Let u(q) = -7*q**2 + 7*q - 21. Let m be u(3). Which is smaller: -61 or m?
m
Let s = -215/4 - -54. Which is bigger: s or -1?
s
Let j(f) = -3*f + 5. Let k be j(4). Let a = k + 5. Is a less than -12/5?
False
Let a = 1.4 - 2.4. Let f = 3 + -2.9. Let y = f - 0.1. Which is smaller: y or a?
a
Let k = 2 + -4. Does k = -5?
False
Let h = -1.1 + 2. Let b = 1.3 - h. Is 0 equal to b?
False
Let c = 1.3 - 0.3. Let b be (-33)/(-6) - 9/6. Suppose b*y - 2 = 2. Is y at most as big as c?
True
Suppose -23 - 82 = -5*i. Let g be -1*36/i*-7. Suppose g = -q + 4*q. Are q and 3 equal?
False
Let y be 306/132 - (-2)/11. Is -0.1 smaller than y?
True
Let j = 110 + -64. Which is bigger: 48 or j?
48
Let y(o) = -o**3 - 4*o**2 + 5*o - 3. Let j be y(-5). Let k be (93/(-27) - j)*-1. Is k at most as big as 1?
True
Let t = -39 - -267/7. Is t less than 0?
True
Let w(b) = 3*b**3 + 2*b**2 - b. Let c be w(1). Suppose 0*d + 5*d = 25. Does d = c?
False
Suppose k - u = -5, -3*k - 1 - 22 = -5*u. Let x be (-8)/10*10/(-4). Let z be x + (k - -1) + -1. Which is smaller: z or 4/5?
4/5
Let v be (-5 - 1)*(-1 - 1). Let b = v - 23/2. Let p be (-1)/(1*2/(-4)). Which is smaller: b or p?
b
Suppose 2*q - 4 + 6 = x, 3*q = 4*x - 13. Let l be ((-3)/(-12))/((-9)/(-6)). Is l at most q?
True
Let r(o) = -o**3 + 8*o**2. Let x be r(8). Are x and 10/7 unequal?
True
Let i = 230 - 229. Let k = 352 + -7394/21. Is i greater than or equal to k