e (-20)/15 - (0 + d). Which is smaller: l or -1?
l
Let k = 307/100 + -63/20. Let h = 210 - 211. Which is bigger: k or h?
k
Let u = 3.6 + -6. Let f = 1.4 + u. Do 0.1 and f have different values?
True
Let r = -1648 + 9929/6. Which is greater: 6 or r?
r
Let p = -0.4 + -0.7. Is p <= 2?
True
Let n(p) = -2*p + 20. Let k be n(10). Which is greater: k or 2/7?
2/7
Let b(t) = -t - 2. Let g be b(-5). Let h(p) = p - 3. Let c(o) = -3*o + 9. Let a(d) = -4*c(d) - 11*h(d). Let q be a(g). Which is smaller: -2/13 or q?
-2/13
Let c be 1*(8 - 2 - 4). Let l(a) = -a**3 + a**2 - a + 3. Let t be l(0). Which is bigger: c or t?
t
Let l = 1 + -0.9. Is l not equal to 1?
True
Let v = 80 - 78. Let f be 0/(-1 + 2 - 3). Suppose f = -v*a - a - 12. Is a not equal to -4?
False
Let c be 4 - ((-11)/2)/(3/6). Which is smaller: -1/4 or c?
-1/4
Let d = -4.3 - -0.3. Let c = 9 + -12. Let t = c - d. Is 0.3 < t?
True
Let t = 0.2 + -0.3. Let y = -0.14 + -4.86. Let r = 6 + y. Which is greater: t or r?
r
Let v = -26/4281 - 592069/492315. Let a = v + 1/115. Is a < -1?
True
Let i = 220 + -2856/13. Which is smaller: i or 0?
0
Let r = -1 + 5. Suppose -3*o + 2*p + 63 = -4*o, -106 = 2*o - p. Let w be (-92)/(-22) + 10/o. Is w at least as big as r?
True
Let i = -0.11 + 4.11. Let y = i + -4.1. Let v = y + 0.2. Is v bigger than 0?
True
Suppose 3*s - 1 = 2*s. Which is bigger: -4/27 or s?
s
Let m = 95/238 - 8/17. Which is smaller: -1 or m?
-1
Let p(s) = s**2 + 14*s + 1. Let x(b) = -b - 7. Let q be x(0). Let m be p(q). Let d = m + 241/5. Is -0.1 bigger than d?
False
Let y(s) = s + 4. Let r be y(-4). Let n be -1*0/(0 + -3). Let v = r + n. Is -2/9 greater than v?
False
Let f(j) = -j - 2. Let t = 1 + 2. Let h be f(t). Which is smaller: -4 or h?
h
Let h be 36/(-4)*2/(-10). Are 3 and h non-equal?
True
Let y = 1 - 1.3. Is -2/7 greater than or equal to y?
True
Let z = -31/10 - -597/70. Which is smaller: z or 0?
0
Let m(z) be the third derivative of -z**5/60 - z**4/6 - z**3/6 - z**2. Let s be m(-4). Let d = -2 - s. Which is bigger: d or -3/5?
-3/5
Let y = 2.5 - -8.5. Let u = -8 + y. Which is greater: 0.2 or u?
u
Suppose 0*i - 115 = 5*s - 3*i, 5*i = -5*s - 115. Let m = s - -33. Let z be 6/(-5)*m/3. Which is smaller: z or -3?
z
Let x = 0.1 + -0.08. Let o = 0.08 + x. Is o at most -0.3?
False
Let d be -6*(-1)/(-2 - 0). Let w be (0/1)/((-6)/d). Is w greater than or equal to -1?
True
Let p(j) = 8*j + 18*j + 2 - 7*j. Let c be p(-5). Let u be (-4)/(-22) - c/33. Which is smaller: u or 2?
2
Let l = 0 + 0. Let i = -1690/9 - -188. Is l at most as big as i?
True
Let f be (-1 + 4)*2/3. Let s(t) = t - 2. Let j be s(4). Suppose -3*v - 2 = -2*y, -4*y + 3 + 1 = j*v. Which is smaller: y or f?
y
Let v = 2.5 - 2.8. Is v equal to -4.3?
False
Let v be 261/15 + (-4)/10. Suppose 2 = -2*p + 2*u, 4*p = 6*p + 3*u + v. Is p > -4?
False
Let j(i) = -i**3 + 8*i**2 + i - 9. Let g be j(8). Which is smaller: 3/8 or g?
g
Let n = -1.8 + 1.63. Let l = 0.07 + n. Let r = l + -0.9. Which is smaller: 2/7 or r?
r
Let g(h) = -h + 2. Let s be g(1). Suppose y - s = -5. Let j be (-2)/(y/(-2)*-2). Which is greater: j or 1?
1
Let q = -68 - -614/9. Suppose 0 = 4*l - 0*l + 16. Which is smaller: l or q?
l
Let v = -49 + 48. Let u = 1498/65 + -116/5. Is v at least as big as u?
False
Suppose 3*r + 9 = -6. Let f = r + 5. Let b(u) = -u**3 + 2*u**2 - 2*u + 1. Let z be b(1). Is f bigger than z?
False
Let f be 1 - 0 - (1 + 20). Let s be f/4 - (-1 - -1). Is s at least as big as -5?
True
Let i = -28 + 16. Which is smaller: i or -11?
i
Suppose -4*p - 3 + 35 = 0. Suppose -13 = -2*f - 5*q, -2*q + 12 = f + 5. Are p and f equal?
False
Let j = 14 - 2. Is j greater than or equal to 12?
True
Let x(r) = -2*r - 2 - 2*r + 3*r - 2. Let k be x(-7). Suppose 2 = -k*h - 13. Which is smaller: h or -6?
-6
Suppose -45 = -3*z - 3*y, -3*y - 13 = -2*z + 2. Suppose z = -3*l - l. Suppose 10*r = 8*r - 6. Is r at most as big as l?
True
Let d(u) = u**3 + 12*u**2 + 17*u - 5. Let y be d(-8). Which is smaller: y or 116?
y
Let d(r) = 2*r**3 + r**2 - r - 1. Let x be d(-1). Let p = -13/6 + 2/3. Which is smaller: p or x?
p
Let c = -4.5 + -0.7. Let f = c + 0.2. Is -0.1 less than or equal to f?
False
Let o = -24 - -15. Which is smaller: o or -15/2?
o
Let y = 5 - 1. Let x(f) = -f**3 + 7*f**2 - 6*f - 5. Let o be x(5). Let v be -10*(2 - 36/o). Do v and y have different values?
False
Let n = -121 - -73. Is -50 smaller than n?
True
Let g = -15 + -12. Which is greater: 1 or g?
1
Let a = -27 + 25. Which is smaller: -13/5 or a?
-13/5
Let l = -1974 - -1144. Let b = l - -825.01. Let n = 0.01 - b. Which is smaller: 0 or n?
0
Let r be 34/8 + 2/(-8). Suppose 4 = r*z + 8. Which is greater: z or -2/5?
-2/5
Let w = -2 + -1. Let f be (0 + 1)*(-1 - 0). Let b be (1 - 3)*(f - -2). Which is smaller: w or b?
w
Let t be ((-2)/(-4))/((-10)/8). Let z = -40 - -51.6. Let s = z + -12. Are t and s non-equal?
False
Let m be (-444)/(-15) + (-8)/(-20). Which is smaller: m or 31?
m
Let j be -1 + -4 + 2 + 7. Is j equal to 6?
False
Let f = -193426/35 - -5527. Let x = 13683/14 + -978. Let h = x + f. Is h less than 1?
True
Suppose -4*s - 4 = 4. Is -1 less than s?
False
Let o(b) = -b**3 + 5*b**2 - 1. Let f be o(5). Is f <= 2/9?
True
Let g = 2.1 - 1. Let r = g - 1. Which is smaller: r or -4?
-4
Let u(m) = m - 3. Let j = -4 + 10. Suppose -4*b + 14 = 2*p, 4*b = -4*p + 10 + j. Let a be u(b). Is a not equal to 1/3?
True
Let u be (-1 - -3) + (-3 - -2). Let s = 0 - -4. Let j(z) = z**2 - 4*z - 1. Let i be j(s). Is i less than or equal to u?
True
Let t(d) = d - 1. Let v be t(6). Let n(c) = -5*c**3 - c**2. Let m(i) = i**2 - 4*i + 2. Let w be m(3). Let o be n(w). Does o = v?
False
Let h = 18.82 - 35.88. Let j = h - -17. Is 2/7 greater than j?
True
Let n = -34/3 - -11. Does n = -0.2?
False
Let z = -4.9 + -0.1. Let m = -6 - z. Let g be (-10)/(-35)*(-7)/(-3). Which is bigger: g or m?
g
Let k be 6/(-3)*-2 - (4 + -1). Is -2/77 >= k?
False
Let o = 39/20 + -7/4. Which is bigger: 2/5 or o?
2/5
Let d(k) = -k**2 + 15*k + 20. Let z be d(16). Let s = -3 + 8. Suppose 0 = s*p - z - 1. Is -2/5 > p?
False
Let c = -31 + 32. Is 1.2 smaller than c?
False
Let u be 7/(-12) + (-2)/(-8). Let o = -4 + 4. Is u equal to o?
False
Suppose -1 = -b + 3*v - 2*v, 0 = -5*b - 2*v - 23. Which is smaller: b or 2?
b
Let x be 20/(-9) + (-6)/(-27). Let b = -100 + 96. Are b and x equal?
False
Let q = 6 + 0. Let o = q + -3. Let y = o + -5. Is 0.2 < y?
False
Let d be (3/(-2))/((-84)/16). Which is bigger: -34 or d?
d
Let t(s) = -s**3 + 6*s**2 + 7*s + 7. Let w be t(7). Suppose 5*j + w = 17. Let v be (-36)/(-15)*j/(-6). Is -2 > v?
False
Let y = 18 - 13. Let k = 0.2 - 1.2. Let i = y + k. Do i and 0 have the same value?
False
Let t = 2 - -1. Suppose 6 = -0*i + t*i. Is i less than or equal to -1?
False
Suppose 0 = -l - l. Let f be (-6)/(-4) + (-303)/6. Let t = f - -341/7. Which is greater: t or l?
l
Suppose -6*i + 3*i + 15 = 0. Is 6 greater than i?
True
Let p(n) = -10*n - 25. Let m be p(6). Are m and 1 nonequal?
True
Suppose -3*s + y - 2 - 1 = 0, 3*s = 2*y - 3. Which is smaller: 0 or s?
s
Suppose -25 = 5*p + 5*i, 4*i - 32 + 2 = p. Let m = 11 + p. Is m less than 2?
True
Let m = 0.34 - -0.06. Let x = -1.6 - m. Let n = -2.1 - x. Is n >= 1?
False
Let c be 2/5 + 17/(-5). Let a be (-1)/(0 + (c - -2)). Let t be (5 - 6)/(1 - (-26)/(-4)). Is t > a?
False
Suppose 0*x + 3 = x. Suppose -v - x*v + 40 = 0. Is 10 less than or equal to v?
True
Suppose -235 = 24*r - 29*r. Which is smaller: r or 45?
45
Suppose 2*b + 2 = 8. Suppose -2*n + 2*l + 7 + b = 0, 5*n - 16 = -4*l. Let k be 6/(-2)*(3 - 4). Are k and n equal?
False
Suppose -n - 17 = -5*x, 0*n + 6 = 2*n. Let u(a) = -a**3 - 6*a**2 - 6*a - 1. Let j = -11 - -6. Let k be u(j). Are x and k equal?
True
Let y = -433.99 + 437. Let t = y + -0.01. Let j = t - 3. Which is smaller: 0.2 or j?
j
Let g be (3741/90)/29 + (-1)/2. Which is greater: g or 1?
1
Let l(j) = j - 11. Let o be (-49)/(-4) + 1/(-4). Let p be l(o). Are p and -2/5 unequal?
True
Let o = 8 - 7. Does -6 = o?
False
Let o be (-46)/(-11) - (-8)/(-44). Let s be (o/10)/((-6)/(-30)). Let l be (1 + -5)*6/(-8). Is l <= s?
False
Let k(q) = q**3 - 2*q**2 + q - 3. Let t be k(3). Suppose 0 = -4*u - t + 1. Let d = 398 + -398. Which is greater: u or d?
d
Suppose -p - 4 = -3*p. Let k = p - -1. Which is bigger: 2 or k?
k
Let