alse
Let r be ((-218)/216 + 1)/(15/(-40)). Which is greater: r or 1?
1
Let q be (-2 - 0) + -3 - -3. Let r = -2 - q. Let p = 3 - 2.6. Which is smaller: r or p?
r
Suppose -3*f - 32 = -5*f. Let n = f + -11. Let o be -1*(6/n)/(-2). Is 0 > o?
False
Let v = 142521/16610 - -253/302. Let f = -48/5 + v. Let r = 2 + -1.9. Which is greater: f or r?
r
Let w = 461 + -5537/12. Are -1 and w non-equal?
True
Let j = -8 - -12. Suppose -7*r + 3*r = j. Let l be (2/2 - r) + -5. Is -3 > l?
False
Let f be 250/(-264) - 4/16. Let b = 2371/44 - 221/4. Let n = b - f. Does 1 = n?
False
Suppose -20 = -y + 4*q, -3*q + 1 = 10. Which is bigger: y or 6?
y
Let h be 6/4*64/12. Let b(i) = i**3 - 9*i**2 + 6*i + 11. Let c be b(h). Let w(k) = k**3 + 5*k**2 - 3. Let q be w(c). Is q at most -2?
True
Let u = -1.4 - -1.5. Let m(p) = 2*p + 1. Let z be m(3). Which is greater: u or z?
z
Let u = 2 - -1. Suppose -z = -u + 5. Let v = z + 5. Which is smaller: v or 2?
2
Suppose 2*j + j = -3. Let a = 1.9 + -0.9. Which is greater: j or a?
a
Let x = -7 - -11. Let d = x - 3.8. Is d less than 0.1?
False
Let x(y) = -y**2 - 3*y - 3. Let t = -16 - -14. Let l be x(t). Does -3/16 = l?
False
Let o = 40 + -28. Suppose -5*s + 6*b = 4*b - 6, -4*b - o = -s. Is s less than 0?
False
Let s be (-9)/(-42) - (-3)/(-6). Suppose 3*f - 21 = -5*t, 2*t + 3*t + 2*f = 19. Suppose -l = t*l. Is l bigger than s?
True
Suppose 2*q + 16 = 6*q. Suppose -5*h + 26 = -7*v + q*v, 0 = -3*v - 2*h + 2. Suppose -2 = -3*a - 5. Is a > v?
True
Suppose -2*v = -1 - 17. Is 4 at most as big as v?
True
Suppose 0 = 3*d - 2*d. Let l be 0/2 + 1/7. Which is smaller: d or l?
d
Let v = 8 + -6. Let p be 1/3 - (-7)/6. Which is smaller: p or v?
p
Let m be ((-6)/(-29))/1*10/80. Is 1 bigger than m?
True
Let p be ((-2)/(-8))/((-2)/4). Is -1/26 smaller than p?
False
Let m = -24121 + 266957/11. Let x = m - 148. Is x at most -1?
False
Suppose -c - 5 = -2*g, 5*g - g - c - 5 = 0. Which is bigger: g or 8/9?
8/9
Let y = 14054/13 + -1080. Is y less than or equal to 1?
False
Let j(l) = -l**3 + 8*l**2 + 9*l + 2. Let d be j(9). Suppose 2*w = -10, 51 = 6*f - d*f - 3*w. Is 9 less than or equal to f?
True
Let p = -2 + 2. Let a be ((-21)/4)/(159/(-7)). Let h = a - -1/53. Which is bigger: h or p?
h
Suppose -3*w + 13 = -11. Let j(b) = b - 9. Let i be j(w). Let r(m) = -m**2 - 3*m + 4. Let x be r(-4). Which is bigger: i or x?
x
Suppose -5*n = -0*n - 20. Suppose -z + 5*z - n = 0. Which is smaller: z or 0?
0
Let l = -4 + 7. Let i = -99 + 102. Is l < i?
False
Let b = 1.1 + -0.1. Let a = -11.8 + 11. Let l = a - 0.2. Which is smaller: l or b?
l
Suppose 37*p - 36*p = 2. Is p at most as big as 1?
False
Let u = -57/2 - -28. Which is bigger: u or -1/4?
-1/4
Suppose -3*a - 17 = 16. Let w = 6 + a. Is -5 >= w?
True
Let k = 0.5 - 0.3. Let x = k - -0.8. Let b = 2.4 + -5.4. Is b < x?
True
Suppose -13 = 3*q - 4*q - 5*b, 0 = 5*q + 3*b - 21. Suppose -o + 4*o = q. Are o and -1/6 unequal?
True
Let f(w) = 5*w**2 - 10*w + 12. Let q(t) = -9*t**2 + 19*t - 23. Let r(z) = -11*f(z) - 6*q(z). Let h be r(-5). Let v = 7 - 8. Which is greater: h or v?
h
Suppose -5*o + 9 = -6. Suppose 0 = 7*p - o*p + 4. Let r = -0.1 - 0.1. Is r bigger than p?
True
Suppose -4*n + w = -11, -3*n + 3*w + 10 = -5. Suppose -3*g - 1 = 2*d + 1, 0 = d + 4. Is n at least g?
True
Suppose 0 = -3*y + 1 + 11. Suppose 7 = y*n + 3. Is 3 at most as big as n?
False
Let h = -20 + 22. Suppose -5*b + 12 = j + 2, b = 4*j - 19. Let y = 0 + b. Which is greater: h or y?
h
Let b = 29 + -29.1. Which is smaller: b or -14?
-14
Let l be (-1)/(2 - (-9)/6). Is l <= 1?
True
Let o = -112 + 1010/9. Let s = 5 + -5. Let y = s - -1. Which is bigger: o or y?
y
Suppose -k = -0*k. Let b be ((-4)/(-3))/((-8)/24). Let r be b/30 + (-1)/(-3). Which is greater: k or r?
r
Let g be (-5)/(30/(-9))*-4. Let v = -11 - g. Which is greater: v or -4?
-4
Let u(f) = 9*f - 7. Let d be u(3). Suppose 3*c + 2 - d = 0. Is 6 > c?
False
Let f = -0.6 + 14.6. Let n = -6 + f. Let a = n - 11. Is 0.1 equal to a?
False
Let j = -3 + 4. Let h = 2 - j. Let r be 2 + (-3)/1 + 0. Which is smaller: r or h?
r
Let g = 37 + -36.94. Which is bigger: g or -3?
g
Let o be (0 - -1)/(-10 + 11). Are o and 0.2 nonequal?
True
Let k(z) = z - 8. Suppose -p + 18 = p. Let r be k(p). Let d = 10 - 9.9. Which is smaller: d or r?
d
Let d = 1 + -1.02. Does d = 2/5?
False
Let z = 49883/5 + -10061. Let c = z - -85. Is 0 less than c?
True
Suppose -3*n + 9*n = 36. Suppose 5*y + 7 = 2*s - n, -3*y = 2*s - 5. Is y smaller than -3/17?
True
Let w = -0.66 - 1.34. Which is smaller: w or 1?
w
Suppose g - f + 12 = -4*g, 3*g = -4*f + 2. Let q = 5 + g. Suppose -8*h + 5 = -q*h. Which is greater: h or 1/2?
h
Let d be 6/24 + 38/8. Suppose -s = -d*s. Which is smaller: 3 or s?
s
Let a(w) = -w**2 + 2*w - 2. Let q be a(2). Let s = q + 3. Is s less than 2/11?
False
Let b be 3/36*(-24)/(-81). Is 0 at least as big as b?
False
Let a = 2 + 0. Suppose 6*q = q - a*r + 33, 5*q + r = 34. Suppose 0*s + 4*s - q = c, 5*s = -5*c + 15. Are c and 1 non-equal?
False
Let y = 3.1 + -7.4. Let u = y - -0.3. Let f = -1 - -1. Is f != u?
True
Suppose 0 = -i - 0*y + 3*y + 30, 0 = -4*i - 2*y + 176. Which is greater: 44 or i?
44
Let z(p) = -p - 35. Let w be z(-16). Which is greater: -18 or w?
-18
Let h = 0 - 4. Let j(w) = 2*w + 6. Let g be j(h). Let q(d) = -d**2 - 11*d + 10. Let z be q(-12). Is g at most as big as z?
True
Suppose 24 = -4*o + 152. Which is greater: 33 or o?
33
Let s be (1/(-3))/(1 - 0). Which is smaller: 2 or s?
s
Suppose 2*x + 2 = 4. Let o be 1*(-1)/2*-1. Which is greater: x or o?
x
Let p(m) = m**2 - 3*m - 5. Let s be p(4). Let v be -2 - ((-16)/12)/1. Which is bigger: s or v?
v
Let w(a) = -2*a - 1. Let u be w(-1). Let f be (5/5)/(u/6). Let m = 23 + -19. Do f and m have the same value?
False
Suppose m - 4*v + 5 = 0, -v + 21 = 5*m + 2*v. Suppose 2*n + n - m = 0. Let j be (0/(-2))/(-1 + 0). Is n less than or equal to j?
False
Let u = 1 + -1. Suppose 0 = 3*b - 5*a, 3*b + u*b = -5*a. Let c be (b + (1 - 0))*-2. Is -4 greater than or equal to c?
False
Suppose -4*i - 26 = 3*y, y + i = -6 - 3. Which is smaller: y or -45/4?
-45/4
Let y be (6/4)/((-1)/4). Let s be (-3)/12*4/y. Which is smaller: -1 or s?
-1
Let g(o) = -o**3 + o**2 + 5*o - 3. Let t be g(3). Is 0.6 <= t?
False
Let y = -3 - 0. Let x be 2/6*y/2. Let h = 19.1 - 19. Which is greater: x or h?
h
Let z be (2/3)/(2/(-6)). Let c(u) = 6*u**3 - 2*u**3 - 3*u**3 + 3*u**2 + 2*u. Let m be c(z). Is 0 less than or equal to m?
True
Let z be ((-18)/(-4))/(6/(-34)). Suppose 33*u - 125 = 38*u. Let m = z - u. Which is bigger: m or 1/3?
1/3
Let u = -0.05 - -3.05. Let t = -0.22 + 0.12. Let p = -2.1 - t. Which is smaller: p or u?
p
Let q(k) = k + 3. Let v = 2 + 0. Let w = -6 + v. Let h be q(w). Is -2 not equal to h?
True
Suppose -4*s + 0*s = 12. Let x = 3 + -5. Which is smaller: x or s?
s
Let d = -1 + 6. Let s = 5.01 - d. Which is bigger: 0.1 or s?
0.1
Let m(n) = -n**2 - 5*n. Let c be m(-4). Suppose -k = l - c, -k + 20 = -0*k + 5*l. Do k and -2/5 have the same value?
False
Let l be (3/2)/(135/60). Is 14 less than or equal to l?
False
Suppose 3*m + 5*w = 35, m - 2*w = 3 - 6. Let g = m - 4. Let q be 19/(-35) - 8/(-20). Does q = g?
False
Let t = 9 - 13. Let s = 6 + t. Which is smaller: 4/7 or s?
4/7
Let u(g) = g**2 + g. Let z be u(0). Which is greater: -2 or z?
z
Let q(j) = -j - 14. Let t be q(-13). Which is smaller: t or 1/25?
t
Let y(k) = k**2 - 3. Let d be y(-3). Suppose -2*c + c - d = 0. Let m be (c/(-8))/(36/32). Which is smaller: 0 or m?
0
Let p = -540 - -380. Let u = p + 484/3. Suppose -8 = 2*g + 4*a + 2, -2*a = -4*g + 10. Is u >= g?
True
Let n be -2*(-4)/2*1. Suppose 3*v + n = v. Let g(f) = -f - 1. Let c be g(1). Is c > v?
False
Let u = 82 - -38. Let r be (-62)/15 + 16/u. Which is greater: r or -2/9?
-2/9
Let p = 0 + 0. Is p not equal to 2/9?
True
Let o(f) = f - 6. Let x be o(6). Let t be 3/(-12) - x/3. Is t smaller than 1/3?
True
Let s be (-18)/8 - (-2)/8. Let f be ((-4)/(-20))/(s/(-4)). Let a = 7 - 13/2. Is f less than or equal to a?
True
Suppose -q = q + 8. Which is bigger: q or -18?
q
Let l(h) = -h**2 + 12*h - 20. Let a be l(10). Is 2/27 > a?
True
Let f be (-26)/8 - (-2)/8. Let j = -3.5 - -7.3. Let m = j - 4. Is m != f?
True
Suppose -s - 2*g - 5 = -15, -4*s + 52 = 5*g. Let p = -18 + s. Which is smaller: -2