 u = 3 - s. Which is smaller: u or 2/9?
u
Let i(l) = 18*l - 1. Let g be i(4). Suppose 2*y + 18 = -2*w, 0 = -4*y - w + 4*w - g. Is -14 less than or equal to y?
True
Let c = -0.21 + 2.21. Which is greater: c or -2?
c
Let s = -19 + 22. Let r = s - 4. Is -2 at most r?
True
Let i be 4 + (-3 - (0 + -3)). Which is smaller: i or -0.1?
-0.1
Let k be (-1 - (1 - 2)) + 1. Let r be 1/4*k/(-1). Suppose -2*n + 0*n - 2 = 0. Is n at most r?
True
Suppose -3*i = -2*i - 3. Let f(c) = -c + 6. Let n be f(i). Is 2 < n?
True
Let y = 31 + -50. Let n be (4/(0 - -2))/y. Let i(j) = j**2 + 7*j + 6. Let d be i(-6). Which is smaller: n or d?
n
Let v(q) = -q + 13. Let b be v(14). Let f = -0.5 - 5.5. Let i = 6.3 + f. Is i at least b?
True
Let v = -0.042 - -0.272. Is v greater than or equal to -0.2?
True
Suppose -3*i = 2*n + 7, 6*n + 17 = 3*n + 2*i. Let b = -6/31 + -267/62. Is n at least b?
False
Let z(i) = 1 - i + i**2 - 3 + 2 - 2. Let k = -6 + 4. Let q be z(k). Is 4 < q?
False
Let y = 25 - 26. Is 0.18 at least as big as y?
True
Let a(c) = 2*c - 4. Let u be a(6). Suppose u = -5*r + r. Is r equal to 0?
False
Let p = 20 - 18. Is p > 1?
True
Suppose -36 = -5*c - n, n = -0*c - 4*c + 28. Which is smaller: 9 or c?
c
Let y(r) = 2*r + 23. Let c be y(-11). Which is smaller: 6/7 or c?
6/7
Let v = 0 - -0.6. Let p = 6.4 + -6. Let w = v - p. Is 0.2 at least as big as w?
True
Suppose 7 = -5*t + 4*f + 23, -17 = -5*t + 3*f. Does -0.1 = t?
False
Suppose 5*l - 2*v + 67 = 0, -2*v + 72 - 18 = -4*l. Is -13 at least l?
True
Suppose 9*s = -9 - 9. Which is smaller: s or -22/9?
-22/9
Let m(s) = 5*s**3 - 2*s + 1. Suppose 0 = -2*v - l - l + 8, -5*l + 12 = -3*v. Let f be m(v). Is 3 at most as big as f?
True
Suppose 4*r + 4 = -2*x - 10, -4*x - r - 56 = 0. Let n = x + 61/4. Let t = 66 + -65. Are t and n equal?
False
Let y = 9 + -10. Let l = 0.2 - 0.2. Let s = y + l. Is s at most -5?
False
Let d = 1 - 1.2. Let h = -8.6 + 9. Let r = h + d. Which is greater: -0.2 or r?
r
Let m = 3.5 - 4. Let z = -0.5 + m. Let o = z - 0. Is 1 < o?
False
Let r = 1.3 + -2.39. Let a = -0.01 + r. Let f = a + 1. Which is smaller: f or 2/9?
f
Suppose 5*c + 1 = -n, 2*c + 6 = -5*n + 24. Is 2/19 less than or equal to c?
False
Let i be -3 + 0 - (6 + -14). Suppose 0*o + 1 = -o, 3*w + i*o + 8 = 0. Is -4/13 at most w?
False
Suppose 6 = 2*x - 5*x. Which is smaller: x or 2/37?
x
Suppose v - 10 = -9*v. Which is greater: -1/8 or v?
v
Let n = 1.1 + 0.9. Which is smaller: -0.4 or n?
-0.4
Let r = -3 - 33. Let s be ((-2)/r)/((-5)/10). Are -1 and s nonequal?
True
Let v = 8 - 5. Let c = 2 - v. Let m = -5 + 3. Which is greater: c or m?
c
Let v = 1.2 + -0.2. Let i be ((-5)/5 - (-18)/(-4)) + 6. Is i != v?
True
Let x = -3 - -6.7. Are x and 2 equal?
False
Let c be (-13)/(-24) - (-12)/(-18). Which is smaller: c or 1?
c
Let h(j) = -2*j**2 - 9*j - 8. Let l be h(-5). Is -14 at least l?
False
Suppose -l = -0*l - 3. Let u be (0*l/(-6))/2. Is 2/3 != u?
True
Suppose -5*q - 2 = 3. Let g(h) = -3 - h - h**2 + 4 - 2 - 2*h**3. Let t be g(-1). Which is greater: q or t?
t
Suppose 2*a + 3 = -0*a + 3*z, -a = -2*z + 2. Suppose -30 = -2*t - 3*t. Suppose 4*n - t*n - 10 = a. Is n at least -6?
True
Let c(t) = t**2 + 0*t**2 + 0*t - t - 3*t. Let u be c(5). Do u and 5 have the same value?
True
Suppose 3*f - 3*s - s = 10, -f + 4*s - 10 = 0. Let o be -2 + 1 + 8 - -3. Let m = o - f. Which is smaller: -1/4 or m?
-1/4
Let r be (-3)/(-6) + 26/4. Suppose -2*k = r - 9. Let o be -3 + (k - -1) + 1. Is o <= 4?
True
Suppose -3*r + 5 = 2. Let a = -2.2 + 4. Let j = a + 0.2. Is r not equal to j?
True
Suppose 0 = -0*y - 2*y + 10, y - 11 = 3*m. Let r = -4 - -2. Is m <= r?
True
Let h = -1.5 + 1.7. Which is smaller: 9 or h?
h
Suppose 20*m - 2*m - 9*m = 0. Let c(a) = a**2 - 2. Let g be c(2). Is m > g?
False
Let q = 2.8 + -0.8. Let a = -2.2 + q. Let w = 5 + -3. Are w and a equal?
False
Suppose -2*b + 13 = -11. Let y be (b/10)/((-3)/15). Which is smaller: y or -5?
y
Suppose 0 = l + l - 8. Suppose l*j = 282 + 1230. Let s be 192/j + 2/(-9). Which is smaller: s or 1?
s
Let f(t) = -t**3 - 5*t**2 - 2*t - 7. Let p be f(-5). Suppose i + i - 3 = p*n, -2 = 2*n - 5*i. Let d = 680/7 + -97. Which is smaller: d or n?
n
Let g(s) = s**3 - s - 1. Let i be g(0). Let h = -0.6 - -0.64. Let t = h + -0.14. Which is smaller: t or i?
i
Let i be (-3)/4 + 2/(-8). Let h be (-16)/6*(7 + -4). Let y be (h/220)/((-2)/10). Which is smaller: i or y?
i
Let c = -5.8 - -6. Let a = 3 - 3.1. Let p = c + a. Which is smaller: p or -5?
-5
Let i = 37.916 - -0.084. Which is smaller: i or -0.1?
-0.1
Suppose 25 = -5*w, -2*z - 4*w - 20 = -0*z. Which is smaller: z or 4/35?
z
Let z be (-1*1)/(17/357). Which is bigger: -22 or z?
z
Let t = -7.8 + 8. Which is bigger: -0.4 or t?
t
Let l = -8783/942 + -3/314. Which is smaller: l or -0.1?
l
Let b(x) = -x**3 - 5*x**2 + 8*x + 6. Let z be b(-6). Let y be ((-3)/(-12)*z)/3. Suppose 3*t = 7*t. Which is bigger: y or t?
t
Let h be (-2)/(-12)*(7 + -5). Suppose -1 = -g - 3. Let m be g/5 - 7/(-5). Which is smaller: h or m?
h
Let r(a) = a**2 - a + 3. Let c be r(0). Let p be (-27)/c*(3 + 0). Let u be 13/18 - (-6)/p. Which is smaller: u or 2?
u
Suppose 442 - 143 = 4*h - m, -2*m + 162 = 2*h. Which is smaller: -1 or h?
-1
Suppose 0 = -z - 0*z. Suppose 4*g - 3*g - 1 = 0. Let p(o) = o**2 - o. Let b be p(g). Is z less than b?
False
Suppose 0 = -5*l - o, 2*l + 3*o + 2*o = 0. Suppose 2*j + 2 - 12 = l. Let s = j - 5. Is -2/3 smaller than s?
True
Suppose -5*k - x - 10 = x, 5*k = -5*x + 5. Let m be (2/k)/((-4)/8). Let z(w) = w - 1. Let b be z(m). Which is smaller: 1 or b?
b
Let p(c) = c**2 + 4*c + 3. Let x be p(-2). Let q be (x/(-2))/(4/8). Is 2 less than q?
False
Let m be (3 - 3)/((-2)/1). Which is smaller: m or -1/14?
-1/14
Suppose 5*r = 17 - 7. Which is greater: r or 5/4?
r
Let c be 301/(-35)*(-15)/(-9). Which is smaller: c or -14?
c
Let f(b) = -b - 6. Let l be f(-6). Which is greater: l or -2/251?
l
Suppose -4*p + p + 27 = 0. Suppose -2*a - a - p = 3*i, 25 = -5*a. Suppose -4*u + 18 = -i*o - 8, 3*o + 3 = -3*u. Which is greater: 1 or u?
u
Let b be -2 - (1 + -3 - 3). Suppose 3*t = b*z - 3, 0 = -2*z + t + 4*t + 5. Which is bigger: z or -2/5?
z
Let k(t) = -t + 9. Let h(s) = -s + 10. Let l be h(6). Let q be k(l). Suppose r = q*i - 2, -2*i - 3*i - 3*r = -14. Which is bigger: 0 or i?
i
Let d(z) = -z**3 + 9*z**2 + z - 9. Let q be d(9). Let s = -1060/9 + 118. Is s >= q?
True
Let k = 22 - 20. Which is smaller: k or 3?
k
Let j be 7/21*(-1 + -11). Which is greater: j or -5?
j
Let q(o) be the second derivative of -o**5/20 + o**4/3 + 3*o**2/2 - o. Let t be q(4). Let g = -0.03 + 0.03. Which is bigger: g or t?
t
Let m(x) = x**2 - x + 1. Let i be m(2). Is i < 4?
True
Let m = 97 - 97.2. Is m at most as big as -2/9?
False
Let j be (-4)/(-18) + 16/(-45). Let r(p) = -p**3 + 6*p**2 - 2*p - 5. Let v be r(5). Suppose v = -8*l + 3*l. Do l and j have the same value?
False
Let f be 15/(-111)*4/(-10). Is f <= 0?
False
Let k(d) = -2*d**2 + 4*d - 3. Let n be k(3). Let w = 19/2 + n. Suppose 0 = -2*q - 1 + 5. Which is bigger: q or w?
q
Let c = -0.16 + 2.06. Let i = c - -0.1. Let o = 1/16 + -5/16. Is i bigger than o?
True
Let k(w) = w**3 - w**2 + 33. Let y be k(0). Is y at most as big as 33?
True
Suppose 3*g = -4*h + 19 - 3, 3*h = -4*g + 19. Are h and 10/9 non-equal?
True
Let r(h) = h**2 + 8*h - 9. Let i be r(-8). Do i and -9 have different values?
False
Let r be (-3)/((2 - 4) + 1). Let l be 1 - (2/4 + -2). Which is greater: l or r?
r
Let n be 1*-1 - (-1660)/225. Let p = 33/5 - n. Which is greater: p or 0?
p
Suppose 5*u = 5*a - 11 + 1, 3*a = 5*u + 6. Suppose -5*m = 2*o + 24, 3*o - 10 = a*o + 3*m. Is -2/3 at least as big as o?
True
Let n be (9 - 6)*(-2)/6. Is -11/5 less than or equal to n?
True
Let x be (-6)/(2 - (0 - -3)). Which is greater: 7 or x?
7
Let p = -206 - -142. Which is bigger: -65 or p?
p
Let b = -45 + 355/8. Do -2 and b have the same value?
False
Let t be 1 + (-14)/(-8) + 12/16. Is t greater than 4?
False
Suppose 13 = -3*l + 10. Is -4/11 greater than l?
True
Suppose -3*h = -0*h - 21. Let c = h + -7. Which is smaller: c or 1?
c
Let q be (-4)/3*15/(-10). Let f be (-5)/(0/q + 1). Are f and -5 equal?
True
Suppose 3*h - 13 = -2*r, -6*r + 3*r + 2*h - 13 = 0. Which is bigger: -1/23 or r?
-1/23
Let r be 63/60*4/((-24)/15). Does -2 = r?
False
Let