)/(-25))/(3/(-10)). Is j >= 2?
False
Let w be (-18)/21 + 3/(-21). Which is smaller: w or -8/9?
w
Let k = -36.02 + 36. Which is bigger: k or 0.05?
0.05
Suppose 6 = 4*s - i, 0 = -4*s - 5*i - 9 + 3. Are s and 2/13 equal?
False
Let m be ((-6)/(-5))/(22/55). Suppose 3*o = 5*o + 2, 3*o + 15 = -m*t. Let s(h) = -h**2 + 4*h - 4. Let d be s(4). Is d > t?
False
Let m = 0 + -2. Let o = 3 - 6. Let w be (1/m)/(o/2). Is 0 greater than or equal to w?
False
Let f = -2.99 + -0.01. Let v = 3.1 + f. Let x = -4 - -4. Is x at most as big as v?
True
Suppose 12 = g + 5*o - 11, 4*g = -4*o + 12. Let b = -1 + 1.4. Which is bigger: g or b?
b
Let a be ((-2)/7)/((-15)/7). Suppose 0*g = -4*g - 4. Which is greater: g or a?
a
Suppose 3*t + 2*t = 45. Let m be 6/t + (-6)/9. Which is smaller: m or 1?
m
Let l be (-2)/(-6) - 3/3. Is l less than or equal to 0?
True
Suppose 0 = w + 2*w - 6. Let f be (w + 1 + -3)/(-2). Let g = 38/3 + -260/21. Which is bigger: g or f?
g
Let z = 4.034 + -0.034. Let n be ((-1)/(-2))/((-1)/4). Let a be (n - -2*1)/(-1). Which is smaller: a or z?
a
Let f be (0 - 0) + -3 + 2. Suppose -3*o + 2*c - 2 = -6*o, -c + 6 = 4*o. Let u be o*f/6*-2. Which is smaller: u or 2?
u
Let k = 80 + -97. Is k not equal to -16?
True
Let q(s) = -s**3 + 1 - 1 + 2 - 3*s**2 + 0*s**2 + 4*s. Let i be q(-4). Is 1 greater than i?
False
Let s = -5 - -6. Let a = s - -7. Let n = 9 - a. Which is greater: -2/5 or n?
n
Let i = 21 + -31. Let d be (-1 - i/(-9)) + 2. Let b = -2 - -2. Is d less than b?
True
Let i = -986/8425 - 1/337. Is -1 greater than or equal to i?
False
Suppose 5*l = -w + 15, -3*l = 2*l - 2*w. Let f = 16 - 28. Let c(i) = i**2 + 11*i - 9. Let g be c(f). Is l at most g?
True
Let t = -9 + -2. Is t at least -13?
True
Let z be (-88)/22 - 3/(-63)*86. Let y(r) = -r**3 - 2*r**2. Let i be y(-1). Are i and z equal?
False
Let v be (-1)/((5/180)/((-1)/2)). Is v smaller than 16?
False
Suppose 5*v = -2 + 7. Is v less than or equal to 1/22?
False
Let r(z) = z**3 - 11*z**2 + 10*z + 3. Let o(p) = -10*p. Let x be o(-1). Let t be r(x). Suppose -k + t*k = 0. Which is greater: -4/5 or k?
k
Suppose q - 5*g = -0*q - 25, -4*q - 37 = g. Let a(d) = d + 10. Let t be a(q). Which is bigger: t or 1/6?
1/6
Let b(g) = -g**3 + 6*g**2 + 6*g + 3. Suppose -1 - 13 = -2*i. Let d be b(i). Which is bigger: -5 or d?
d
Let y(l) = -l**3 - 4*l**2 + 7*l + 14. Let w be y(-5). Do w and -0.04 have the same value?
False
Let k be (1 + -3)*1/(-1). Suppose -2*l + 4 = 0, -k*l + 3 = 3*g - 4. Which is greater: g or 0?
g
Let i(c) = -c**2 + 7*c - 4. Let y be i(5). Let d be -2 + 2 + y/(-105). Is 1 != d?
True
Suppose -4*v + 155 - 11 = 4*o, -v + 28 = 3*o. Which is greater: v or -1/2?
v
Let o be 1 + ((-536)/(-266) - 3). Let l = 5/133 + o. Do 1 and l have different values?
True
Let z = 0.059 - 0.059. Is -37 <= z?
True
Suppose -5*g + 13 = -3*p - 17, 3*g - 24 = 3*p. Suppose c + 3*s - 26 = g*c, -23 = 5*c + 3*s. Which is smaller: c or -3?
c
Let y(h) = -h**3 - h - 1. Let l(o) = -4*o**3 + 2*o**2 - o. Let r(q) = l(q) - 3*y(q). Let c be r(3). Suppose 0 = -c*v + 3*v. Which is smaller: v or -3/5?
-3/5
Let q be -2*(0 + 9/(-6)). Suppose 5 = -5*v - 2*b, q*v + 5*b = -v + 13. Let f(l) = l**3 - 4*l**2 - 2*l + 4. Let p be f(4). Are p and v equal?
False
Let y = 25 + -21. Are y and 4 unequal?
False
Let c be 3*(3 + -2)*-1. Let j be ((-2)/c)/((-2)/(-3)). Is -1/3 > j?
False
Let f = -26 + 26.21. Let q = 0.11 - f. Let l = -1 + 3. Which is smaller: l or q?
q
Let r = -352/9 - -39. Is 1 < r?
False
Let z = 7 + -10. Let j be (2/z)/((-6)/9). Is 2/5 greater than or equal to j?
False
Let v = 739/1215 - 2/243. Let l = -4.4 - 1.6. Let y = l - -7. Is y at least as big as v?
True
Let m(h) = 11*h**3 - 2*h**2 + 1. Let a be m(1). Which is smaller: 0.1 or a?
0.1
Suppose a - i = -6, 2*a + 0*i - 16 = -5*i. Is a < -9?
False
Let b be ((-559)/3)/((-15)/9). Let d = b - 111. Let q(n) = n - 6. Let f be q(6). Which is bigger: f or d?
d
Let m = 3.92 + -4. Let u = -0.02 + m. Which is smaller: 5 or u?
u
Let v = 1.2 + -1. Let n = -0.1 + v. Are 0 and n equal?
False
Let u = 6.3 + -6. Which is bigger: u or 5?
5
Suppose 0 = -3*h + 6. Suppose h*v = 3 + 1. Is 3 smaller than v?
False
Let k = -29/11 - -287/88. Suppose 4*q - 4 = -0*q. Is q > k?
True
Let k = -7 + -1. Let c = k - -7. Which is smaller: -1/5 or c?
c
Let f be (-2 - -5) + 1*2. Suppose -f*u + t = 9, -12 - 2 = -2*u - 4*t. Let q = -41 - -122/3. Which is smaller: q or u?
u
Suppose -12*v = -164 + 44. Which is smaller: 34/3 or v?
v
Let s = 4/13 + 1/39. Let p = 0 - s. Suppose y = 3*y + 2. Which is smaller: y or p?
y
Suppose -13 = v - 2*v. Suppose 4*x = -15 - v. Is x <= 2/3?
True
Suppose 0 = -9*j + 12 - 3. Which is bigger: -1/23 or j?
j
Suppose 3*r + 4*w + 11 = 0, 3*w = -r + w - 5. Let i(l) = 5*l - 1. Let d(a) = -3*a. Let q(v) = -7*d(v) - 4*i(v). Let o be q(-6). Does o = r?
False
Let s = -7074/5 - -1360. Let z = s + 55. Which is smaller: 0 or z?
0
Suppose -l = 2*m - 6, -3*m + 2 = -l + 6*l. Suppose w = 4*u, 0 = -4*w + w - m*u. Let k = -83/138 - 3/46. Is w not equal to k?
True
Let b be (-1)/4*(-83 - -1). Let w = b - 20. Let s = -3 - -3.1. Is w equal to s?
False
Suppose 16 = a + 4. Let x be 27/(-9)*2/a. Let w be (-4)/6*12/28. Do x and w have different values?
True
Let f = 20/191 + -5990/2483. Do f and -1 have different values?
True
Let v(i) = 2*i. Let r be v(1). Suppose -r*b = -5*b + 6. Suppose 4*h = 4*p, 3*p - b*h = -p. Is p bigger than 2/13?
False
Let p be 3 + (-326)/66 + 2. Which is greater: 1 or p?
1
Let p(u) = -u**2 + 6*u. Let d be p(6). Let i = 3 - d. Suppose 0 = 3*k + k - 8. Which is greater: k or i?
i
Suppose -2*p - 16 = -3*p + 5*c, -3*p = -2*c + 4. Let m = -1 - p. Suppose 0 = -b + 2*a + 6 + 1, m*a + 6 = 0. Are 3 and b unequal?
False
Let t = -6.4 + 6.2. Let m = -3.07 + 0.07. Which is smaller: m or t?
m
Let b be 1/(-8)*-4*-2. Which is greater: b or -2/17?
-2/17
Let y = -71/305 + 2/61. Let s = -1 + 3. Suppose s*m = -3*m. Which is bigger: y or m?
m
Let k = -0.04 + 6.04. Let a = -6.1 + k. Which is bigger: 4 or a?
4
Let v be 0 - -1 - ((-2135)/(-300))/7. Are -1 and v unequal?
True
Let u be (4/12)/((-5)/10). Which is greater: 6 or u?
6
Suppose 69*l - 15 = 64*l. Is 1 equal to l?
False
Let z be -1 - 0 - (-15)/12. Let a(j) = j**3 - j - 1. Let t be a(0). Let k be (-35)/(-25) + (t - 0). Is z at least k?
False
Suppose 1 = -2*c + 3*c. Which is greater: -9 or c?
c
Suppose -h = -2*h + 2. Suppose 5*q = 4*q + h. Let i be (-1 + 1)*(-2)/q. Are i and -2 unequal?
True
Let a(p) = 6*p + 2. Let m be a(-5). Let s = m + 113/4. Which is bigger: s or -5?
s
Let c(j) = -j**3 + j**2 - j + 6. Let h be c(0). Suppose 0 = l - h*l. Is 0 >= l?
True
Let o be (0 - -1)*4 - 2. Let d = o + 1. Let g be ((-42)/(-54) + (-4)/(-18))*2. Which is smaller: g or d?
g
Let y = -0.575 - 0.045. Let c = 0.02 + y. Let b = -0.6 - c. Which is smaller: 0.3 or b?
b
Suppose -q + 2*q = 6. Which is bigger: q or -0.2?
q
Let o = -7/5 + 63/20. Let a be (-1)/(-3) + (-72)/(-27). Is a > o?
True
Let v be (-3)/2*36/(-891). Do 0 and v have different values?
True
Let v = 0.564 - -2.926. Let a = 0.39 - v. Let f = a - -3. Is -1 not equal to f?
True
Suppose 19 = -2*a + 9. Is a < -1?
True
Let d be -4 + -2 + (-1432)/(-238). Do 0 and d have the same value?
False
Suppose -2*z = -3*z. Let g be 1 + 3*1/(-5). Is z greater than g?
False
Let q(k) = -k**3 - 2*k**2 - 11*k - 2. Let x be q(-4). Is 74 > x?
False
Suppose 0 = 3*m - 15, 2*r - 5*m + 15 = -3*r. Suppose -4 = r*a + 2*a. Is a greater than -1?
False
Let w = 91399/356 - 1027/4. Are w and 1 non-equal?
True
Let b be 0*1/6*3. Suppose b = 5*y - 50 - 15. Is y at least as big as 13?
True
Let u = -3/14 + -13/70. Suppose -3*n - 4*h = 13, -2*h + 2 = -4*n + 14. Which is smaller: u or n?
u
Let l(b) = -b**2 - 8*b - 3. Let h be l(-8). Let z(w) = -w + 1 - 2*w + w - w**3. Let r be z(1). Is h smaller than r?
True
Suppose 3*n = -0*n - 3. Let k = 406 - 6092/15. Is n at least k?
False
Let h(g) = -g**2 - 9*g. Let t be h(-8). Suppose t = -4*p + 6*p. Suppose 6 = -a + p. Which is smaller: -1/2 or a?
a
Let j = -88 + 2019/23. Is j smaller than -1?
False
Let k(d) = -d**2 + 14*d - 13. Let i be k(13). Which is smaller: i or -1/12?
-1/12
Let f(m) = 2*m - 3. Let b be f(1). Which is greater: 2/25 or b?
2/25
Let v be (0 - (-5 + 3)) + -2. Suppose -h - h + 24 = v. Let y be (h/(-8))/(0 - 3). Which is bi