maller: w or -1?
-1
Let u = 2/213 + -160/1917. Let m = 9 - 5. Suppose m*r = r. Is r less than u?
False
Suppose 2*d - 60 = -d. Let p be (-2)/d*(-485)/(-2). Let f = p - -24. Which is smaller: f or 1?
f
Let j = 19 + -38. Which is greater: -22 or j?
j
Suppose 9*b - 14*b = 0. Are b and 2/61 non-equal?
True
Let j = 0.12 - 0.02. Which is smaller: -0.2 or j?
-0.2
Let g = 17.1 + -17. Which is greater: -3/5 or g?
g
Suppose -4*a = -2*d + 694, -5*d = -a - 1780 + 54. Let s = d - 2411/7. Are s and 2 unequal?
True
Let j(y) = y**3 + 9*y**2 + y + 13. Let o be j(-9). Suppose -5*v + s + 3 = -1, -s = 2*v + o. Which is greater: v or 2?
2
Let s = 0.2 + -0.23. Let n = s + 0.03. Which is greater: -1/7 or n?
n
Let l = 1574/75 + -21. Is -1 >= l?
False
Suppose 0 = -i + 5*i + 16. Let s be 0 + i + 2 - 5. Which is smaller: -8 or s?
-8
Suppose -3*r = -5*g + 111, -4*r + 4*g - g = 148. Is -38 smaller than r?
True
Let o = -81402 + 7163025/88. Let w = 48/11 + o. Which is greater: 0 or w?
w
Let x be 1 - (3*-2)/(-1). Let j(b) = b + 5. Let o be j(x). Is o less than or equal to -7/5?
False
Let o = 2.9 - 11.9. Which is bigger: 1/5 or o?
1/5
Let t = -0.1 - 0. Let w = 27 + -19. Which is greater: t or w?
w
Suppose -o - 5 + 3 = 0. Suppose 4*s + 6 = 3*s. Let l be 50/(-28) - s/21. Which is greater: l or o?
l
Let z = -10/31 - -4163/124. Let c = z + -33. Which is smaller: c or 2/7?
c
Let a(f) = f + 13. Let s be a(-8). Let p be s/20 - (-2)/8. Suppose -j - 2*x + 4 = -2, 19 = 5*j - x. Is j at most as big as p?
False
Let h(i) = i**2 + i + 5. Let c be h(0). Let l be 8/(-20) + (-1112)/c. Let o = -222 - l. Is o equal to 1?
False
Suppose 0 = 2*n + 4*d + 18, -4*n + 8*n - 3*d = 8. Let o be n/(-3)*(-6)/4. Let y be (-5 + 1)*(-1)/6. Is o > y?
False
Suppose 0 = -4*l - 0 + 8. Suppose -6 - l = 2*g. Let n(p) = -p**2 - 4*p + 3. Let j be n(g). Is j at most as big as 3?
True
Suppose 0 = j - 2*g - 14, 3*j - 5 - 7 = -4*g. Suppose -5*v + 2*u + 43 = 0, -u - 25 = 2*v - 5*v. Which is smaller: j or v?
v
Let q be (-6)/8*16/(-30). Suppose -5*p + 22 = 17. Is q less than p?
True
Let w = -8 - -8. Let o = 54 - 217/4. Which is greater: w or o?
w
Let y = -12 - -8. Let c be (-1)/2*(y - -10). Which is smaller: c or -4?
-4
Let v = -4/5 + -28/15. Is v bigger than -3?
True
Suppose 0 = -3*x - j - 30, 3*x + 49 = -2*x - 2*j. Is 1 <= x?
False
Let z be -4 + ((-8)/(-2))/2. Let y be -1 - -3 - (-5)/z. Let v = 1 - 1. Which is smaller: y or v?
y
Let v(h) = -3*h**2 + 15*h - 14. Let y be v(4). Suppose 2*o - 4*o - 11 = 3*r, -4 = 4*o. Which is smaller: y or r?
r
Let g be (-4)/82*9/9. Which is greater: g or 0?
0
Let w = 0 - -1. Let g be (w - -1)/(2 + 4). Let h(p) = p - 1. Let x be h(3). Which is smaller: g or x?
g
Let l be 3*((-40)/(-12) + -4). Suppose -4*x = -20, 4*x - 14 - 4 = -a. Is l at least a?
True
Let u = -0.4 + 0. Let g = -0.4 - u. Let t be ((-2)/3)/((-2)/3). Which is bigger: t or g?
t
Let d = -422/5 - -84. Let x(k) = -k - 1. Let z be x(-3). Suppose 4*n = -m - 11, 0*m + z*n = m - 7. Is d at most as big as m?
True
Let c be (-1)/2*(-9 - -13). Is -0.1 > c?
True
Suppose 2*k - 5*i = -0*i + 34, 4*i = -2*k + 16. Let p(c) = -c**2 + 4*c + 9. Let y be p(5). Let m be k/(-7) - y/14. Is -3/4 not equal to m?
True
Let q be (-42)/4 - (-5)/10. Let j be (-2 + q/(-4))*-6. Is j less than -1?
True
Let y be 2/10 - (-8)/10. Which is smaller: y or -2/41?
-2/41
Let j = 47/80 + -3/16. Let h = -0.6 + 0.6. Do j and h have the same value?
False
Let k = -4 + 7. Let m(y) = -y - 1. Let d(i) = 3. Let l(v) = d(v) + 3*m(v). Let w be l(-1). Is w <= k?
True
Let h = 26 + -26.3. Let u = -0.3 - h. Which is smaller: -9/2 or u?
-9/2
Let y = -195 + 3511/18. Is y less than 1?
True
Let m be 11 - 2/(-4)*-6. Let i = m + -6. Which is greater: i or 4/7?
i
Let n be -1*4 - (-39)/10. Which is smaller: 0 or n?
n
Let u be (96/(-90))/((-4)/10). Do u and 4 have the same value?
False
Let x be (20/(-105))/((-6)/14). Which is smaller: 0 or x?
0
Let g be (-12)/28 + (-11)/7. Is -0.1 equal to g?
False
Let t = -70/11 - -523/77. Let p = -18 - -9. Let z be ((-2)/(-6))/(3/p). Is z <= t?
True
Suppose -16*q = -14*q - 34. Which is smaller: q or 1?
1
Suppose 0*m + 10 = 2*m. Let w(y) = 2*y - 2. Let r be w(2). Suppose -3*t + 8 + 5 = r*s, -5*s - 5 = -m*t. Do t and 3 have the same value?
True
Let r(x) = x**2 - x. Let f(t) = -5*t**2 + 11*t. Let c(y) = -f(y) - 6*r(y). Let a be c(-5). Let o = 2 + -3. Which is smaller: o or a?
o
Let u = 14 - 10. Let l = -4 - -7. Let w = l - u. Which is bigger: -2/9 or w?
-2/9
Let m(a) = -a**3 + 9*a**2 - 9*a + 9. Suppose 8*w - 3*w = 40. Let g be m(w). Which is greater: 0 or g?
g
Let d be 2/(-4)*(-2 + -4). Let l be (0 - -4) + 5 + -7. Which is smaller: l or d?
l
Let j = -1098460903 - -76693441788028/69819. Let p = j + -2/1369. Which is smaller: p or 0?
0
Suppose 0 = 5*d - 3*v - 137, -2*d - 2*v = -d - 17. Let k = d + -76/3. Let t = -3 + 4. Which is smaller: t or k?
k
Suppose -8 = -2*c - r, -2*c - 3*c + r + 27 = 0. Let k be 4/(-10) + 2/c. Let h = k + 0. Which is smaller: 2/7 or h?
h
Let q be 1/(-3)*-5 + -2. Suppose 3*d - v + 1 = 0, d - 4*v + 7 = -2*v. Do q and d have different values?
True
Let k = -0.4 - -0.3. Let g = 2 - 4. Which is smaller: g or k?
g
Let f be ((-3)/(-6))/((-2)/(-12)). Let h be f - -1*13/(-5). Suppose -8 = -4*l + 4*p, p + 5 = -4*l - 2. Which is bigger: h or l?
h
Let a = -1.56 - -1.5. Let f = 0.26 + a. Let t be 2/6 - 4/3. Which is smaller: t or f?
t
Let q be -1*5*(-2 + 1). Suppose -q*a + 2 = -3. Is 2 > a?
True
Let s be (-2)/(-402)*-802 + 4. Are s and -1 nonequal?
True
Suppose -w + 4 = -1. Suppose -w + 2 = -r. Suppose r*o = 2*o + 1. Which is smaller: o or 0.1?
0.1
Let r = -17 + 9. Which is smaller: -1 or r?
r
Let r be ((-314)/(-45) - 14/(-63)) + 0. Which is smaller: r or 7?
7
Let i be (-6)/(-24)*48/(-33). Which is greater: 0 or i?
0
Let a be (2/(-4))/(2/4). Suppose 1 = 4*u + 5. Let f = u + 4/3. Is a smaller than f?
True
Let s(k) = -k**3 - 7*k**2 - 7*k - 6. Let n be s(-6). Let x be (0 + 2)*(-21)/14. Is x equal to n?
False
Let x = -9 + 9. Is x equal to -1/7?
False
Suppose -o - 1 = 2. Is -1 <= o?
False
Let u(z) = -z - 17. Let a be u(-13). Is -4 equal to a?
True
Let a(l) = l**2 + 3*l - 1. Let z be a(2). Let k be (z/24)/(6/(-4)). Let i = 0.3 + -0.3. Is i not equal to k?
True
Suppose -4*y + 35 = -5*p, -3*p = y + 8 - 4. Let z = -1 + p. Let i be 4/10 - z/10. Is 2 at least as big as i?
True
Let b(k) = k**2 + 18*k + 24. Let z be b(-17). Which is greater: z or 9?
9
Let f = -2 - -5. Suppose 2*b + 3 = z + f*b, z + 4*b = 12. Which is greater: 2 or z?
2
Let t = 7 - 4. Suppose -3 = -3*c + t. Suppose 5*x + b = 2*b - 3, 4 = -2*b. Which is greater: c or x?
c
Let w be 88427/93 + 4/(-6). Let z = w + -75038873/78957. Let u = 2/283 - z. Which is smaller: -2/9 or u?
-2/9
Let r = -23 - -26. Which is smaller: -7 or r?
-7
Let a(z) = -z**2 - z + 2. Let b be a(-3). Let k be (1/(-3))/(b/6). Let i(n) = -n**3 - 3*n**2 + 6*n + 6. Let u be i(-4). Is u > k?
False
Let d = -0.18 - -0.2. Let j = -0.02 + d. Which is greater: -1/5 or j?
j
Let j(f) = -2*f + f**2 - f**3 + f**2 + 4 + f**2. Let c be j(3). Let k = 0.8 + -0.6. Which is greater: c or k?
k
Let x be (8/(-20))/((-1)/15). Let g(a) = -a**3 + 7*a**2 - 7*a + 5. Let c be g(x). Is c < -2/33?
True
Suppose -5*v + 0*v = 0. Let u = -1 + 4. Let x be (-16)/7 - (-5 + u). Is x less than or equal to v?
True
Let j be ((-4)/(-3))/(8/12). Suppose k + k = -j*p + 6, 3*p - 9 = k. Is p at least as big as 7/2?
False
Let s = 555/136 - 12/17. Let m = 2990/9 + -121031/360. Let x = m + s. Which is bigger: x or -0.1?
-0.1
Let x = -1 + 6. Let u = 8 - x. Suppose -5*d + 2*v + 0*v = 16, -6 = -3*d - 4*v. Which is smaller: d or u?
d
Let b be (22/20)/((-6)/12). Let j(f) = -f**3 + 5*f**2 - 3*f - 5. Let m be j(4). Is b at most as big as m?
True
Let k = -21320/33 - -646. Is 0 less than or equal to k?
False
Suppose -11*t - 90 - 372 = 0. Which is greater: -41 or t?
-41
Suppose v + 3 = -1. Let a be (-3 + (-10)/v)*2. Is a smaller than 1?
True
Suppose 3 = 4*b - 1. Suppose -k = 2*s, 3*s + 6*k = 5*k. Which is smaller: s or b?
s
Suppose 2*y - 5 = -3*m, 4*m - 2*y = -0 + 16. Let u(c) be the second derivative of c**4/12 - 5*c**3/6 + 3*c**2/2 + c. Let h be u(m). Which is smaller: -2 or h?
h
Let t = 17 + -18. Which is greater: t or -9/4?
t
Let z(h) = 4*h - 10. Let i be z(10). Is 30 != i?
False
Le