r: k or l?
l
Let w = 18 + -91/5. Let m = 2 + 0. Let o be 2/(-6) + m/6. Is w at most o?
True
Let n(c) = -c**3 + 2*c**2 - 2*c + 2. Let k be n(2). Do 3 and k have the same value?
False
Let m = -19 + 18.1. Let a = -0.5 - m. Is a at most as big as 0?
False
Suppose v + 0*v = -3. Is -3 less than v?
False
Suppose -4*g = 5*x - g - 42, -g - 8 = -2*x. Let s be (2*-1)/((-24)/x). Which is bigger: 1/3 or s?
s
Let y = 1 - 1. Let j be 1/(y - 9/3). Which is smaller: -0.4 or j?
-0.4
Let f be ((-12)/90)/((-8)/(-10)). Suppose -l = 4*c - 3, 4*l - 5 = -2*c + 7. Which is bigger: f or c?
c
Let p(s) = -10*s - s**3 + 3*s**2 + 2*s**3 + 6*s**2. Let j be p(-10). Are j and 2/23 nonequal?
True
Let f = 72 - 72. Which is bigger: 3 or f?
3
Suppose -4*l + 4 + 8 = 0. Let d be l - 3 - (-2)/(-23). Let v = -1 + 2. Which is smaller: d or v?
d
Suppose 2*u - 2*m = -4*m + 12, -3*u + 8 = -2*m. Suppose 5*d - 1 = 24. Suppose z - d = -u*z. Which is smaller: z or 2?
z
Let r = 17 + -5. Let v = r - 11. Is v >= 1?
True
Let c be 10/4 - (-2)/(-4). Let a be 1/(-5)*(c - 4). Let y = -0.2 + 0.1. Are a and y nonequal?
True
Let j = 0.55 + 24.45. Is 0 < j?
True
Let l = -0.49 - 1.47. Let d = l + -0.04. Which is bigger: d or -1/4?
-1/4
Let v = -0.7 - 2.3. Suppose -g + 3*g = 0. Which is greater: g or v?
g
Let j be 5/(5/(-2)) + 3. Suppose -2*u = u - 6. Let k be (-5)/(-2)*u + -2. Is j <= k?
True
Let l(q) = -4*q**3 + 6*q**2 + 6*q + 1. Let h(g) = 3*g**3 - 5*g**2 - 5*g - 2. Let o(f) = 3*h(f) + 2*l(f). Let n be o(3). Is n equal to -13?
True
Let a = 48/5 - 52/5. Which is greater: -2 or a?
a
Let s = 10 - 8. Let m be (-1)/s - 6/(-8). Suppose 1 = k - 0*k. Which is greater: m or k?
k
Let k be -5 + 2/1 + 1. Let p be (2/6 - 0)*3. Let o = p + k. Which is smaller: o or -0.2?
o
Let j = 37/936 - -3575/72. Let u = j - 50. Which is smaller: 1 or u?
u
Let f = -5 - -5.4. Let w = f - -0.6. Let m = w + -1.2. Does -1/4 = m?
False
Let z = -0.4 - -0.2. Let d = z - -0.3. Let n = -0.7 + 1. Which is greater: d or n?
n
Let c be -18*(1012/204 - 5). Which is greater: 0 or c?
c
Let l be (-2)/4*4/2. Which is smaller: l or -2?
-2
Let v be -1*(1 + -7) + 0. Suppose -3*n = -2*d - 2*d - 21, 2*d = 0. Is v equal to n?
False
Let x = 63 + -78. Is x greater than or equal to -12?
False
Let f = 0.16 - 0.06. Let w = 0.1 + -0.18. Let t = -0.22 + w. Is t at least as big as f?
False
Let v = 21.1 + -22. Which is smaller: -1 or v?
-1
Let r = -6 - -8. Let m = -8 + r. Is -1/3 >= m?
True
Suppose 0 = m - 0*m - 5. Suppose -3 - 12 = -3*z. Are z and m unequal?
False
Let r = 0.1 + -3.1. Let y = -1 - r. Do -3 and y have different values?
True
Let a(t) = 2*t - 1. Let p be a(0). Do p and -4/5 have the same value?
False
Let o be (-1)/((-3)/((-54)/3)). Let p be ((-8)/o)/1*-6. Does p = -2?
False
Let t(j) = j**3 - 7*j**2 + 1. Let w be (-1 - (-3)/3) + 7. Let u be t(w). Which is smaller: 1/2 or u?
1/2
Let m = 0.36 - -0.04. Let x = 0.1 + -0.6. Let a = x + m. Which is bigger: -1 or a?
a
Let g = 0.8 - -0.2. Let c = -3 + 2.8. Which is greater: c or g?
g
Let p(d) = d - 3. Let c be p(5). Let t = -11 + 12. Which is bigger: c or t?
c
Suppose -r - r - 8 = 3*y, -3*r = -4*y - 5. Let s be y + (-4)/2 + 4. Let c = -1 + 2. Is c equal to s?
False
Suppose -3*i = -i - 8. Suppose 3*j - j = 6. Which is bigger: j or i?
i
Let q(p) = p - 16. Let i be q(-17). Which is greater: i or -34?
i
Let b be 14/21*2/(-4). Suppose 4*f + 4 = 12. Suppose 0 = -3*s + 5*t + f, -s - 2*t - 4 = t. Is b not equal to s?
True
Let p = 0.1 - 0.09. Let w = -1.99 - p. Let z = 18 + -17. Which is smaller: w or z?
w
Let r = 21.16 - -0.84. Which is greater: -2 or r?
r
Let p = -4 - -4. Let f(s) = s**2 - s - 4. Let m be f(p). Let c(z) = 3*z. Let w be c(-1). Which is greater: w or m?
w
Let b = -60 - -58. Does -2.7 = b?
False
Suppose -4*t + 3 - 11 = 0. Is t less than -2?
False
Let q be (5 + 1)*(-294)/(-12). Let o = q - 1611/11. Is o at least -1?
True
Suppose 5*x + 0*f = 5*f + 430, -350 = -4*x - 2*f. Which is smaller: x or 88?
x
Let b = -56 - -90. Is b at most 0?
False
Suppose 5 + 27 = 2*c. Let s be (1 - 34/c) + 1. Let v = 9 - 10. Is s at most v?
False
Let k = 0.022 - 2.022. Which is greater: 1 or k?
1
Let l = -1/8 - 1/8. Suppose -2*i - 3 = -3*i. Let f(h) = -h + 4. Let y be f(i). Is y equal to l?
False
Let q be ((-135)/35 + 4)*(-1 - -3). Let i = 9 + -5.8. Let t = -0.2 + i. Which is greater: q or t?
t
Suppose -2*u = 2*n - 9 - 7, -4*u - 5*n + 27 = 0. Which is bigger: u or 14?
14
Let w = -0.8 + -0.2. Let n be 2/((-4)/(-6)) - -3. Suppose -t - n = t. Is w > t?
True
Let i = 41/3 - 199/15. Which is bigger: -1.3 or i?
i
Suppose 6 = -2*z - 2*f, 4*z - 15 - 18 = 5*f. Let u = z + 0. Let i be (-1 + u)*(-5)/(-10). Are i and 2 non-equal?
True
Suppose 60 = n + 3*n. Suppose -7*c + n = -2*c. Suppose -c*y - 11 = -r, -2*r + 6 = -5*y - 11. Which is smaller: r or -5?
-5
Let r be 2/3 - (-78)/18. Suppose r*h + 5 = -5*t, -3*t + 0 = h - 1. Is -1 < h?
False
Let z = 7 - 8. Let l = 3 + z. Are -0.1 and l non-equal?
True
Let n = -11.29 + 0.29. Let o = 11.1 + n. Which is smaller: o or -15?
-15
Let z = -22.8 - -25. Let x = 2 - z. Let f = 0.2 + -0.1. Which is greater: f or x?
f
Let i(g) = -g - 7. Let m be i(-10). Let y = m - 3. Suppose -l = -y + 4. Which is greater: -5 or l?
l
Let p(o) = -o**3 - 6*o**2 + 7*o + 55. Let l be p(-6). Let w = -0.8 - 0.2. Does w = l?
False
Let s = 11 + -5. Suppose 14 = 2*p - 4*v, 0 = -7*v + 4*v - s. Suppose 6*q - p = 3*q. Is 1/9 at least q?
False
Let z(j) = -j**2 + 8*j + 10. Let h be z(9). Let c be h/(1 + 0/4). Which is smaller: -0.1 or c?
-0.1
Let g = -6 - -5.4. Let s = -0.1 + g. Let m = 1.3 - s. Which is smaller: m or -1?
-1
Let z be (-4)/(-20)*10/6. Let p(q) = q**2 + 7*q. Let r(u) = -2*u**2 - 8*u. Let y(o) = 3*p(o) + 2*r(o). Let i be y(5). Which is smaller: i or z?
i
Suppose -2 = -3*z - 32. Which is bigger: z or -9?
-9
Let h(t) = -t - 2. Let v be h(-2). Let y = -24 + 45. Let k be ((-2)/4)/(y/6). Is v smaller than k?
False
Suppose m - 4*f - f - 22 = 0, -2 = -5*m - 2*f. Let z = 0 + 2. Is m >= z?
True
Let x be 15/(-9) + 1 - 7/(-6). Is 0 at least x?
False
Let r = -3 - -3. Let p = 3.08 + -0.08. Let h = p - 3. Is h at least as big as r?
True
Let b = 39 - 31. Is -1/3 < b?
True
Let p(u) = -6*u + 13. Let a be p(7). Is a smaller than -27?
True
Let j be (225 - -1) + 4 + -2. Let z be j/8*(-2)/(-3). Is z >= 20?
False
Let b = 4 - -1. Suppose -b*d = 5*h + 30, -5*h + 5*d = -8*h - 26. Let r = -15 + 11. Which is greater: r or h?
h
Let f be 0*((-10)/4 + 2). Which is smaller: -1 or f?
-1
Let c(w) = -w + 4. Let b be c(3). Suppose -4*s - 7 = -3*d, -3*s + 2 - 1 = -d. Suppose d*o - 5 = 4*q, 2*q - 3*q - 4 = -4*o. Which is smaller: b or q?
q
Let u be (2/(-4))/(6/4). Let p(k) = -2*k**2 - 4*k - 1. Let f be p(-7). Let z = f + 498/7. Which is smaller: u or z?
u
Suppose 4*t + 25 = 5*c, 3*c - t - 8 = 7. Suppose b - 17 = -b + c*d, -5*d - 18 = -3*b. Let u be b/1 - (4 + -2). Is 0 != u?
True
Let q(a) = -a**2 - 5*a + 1. Let h be q(-5). Suppose -h = 2*f - f. Which is smaller: -2 or f?
-2
Let b = 35.3 - 35. Which is greater: 7 or b?
7
Let z = 59 - 91. Let u = 98/3 + z. Which is greater: 0.1 or u?
u
Suppose -3 = 2*h + 3*w, -6 = -2*h + 2*w + 6. Let m = -667 + 3351/5. Which is bigger: m or h?
m
Let k(d) = -d**3 - d**2 - d + 4. Let h be k(0). Suppose -n = h*n. Let o = n - 3. Is -3 at most o?
True
Let k(b) = b**3 - 10*b**2 + b - 3. Let z be k(6). Let o be (-2)/9 + z/(-27). Suppose -4*c - 5*n + 25 = -c, -3*c + n = o. Is c greater than 0?
False
Let w = -4.8 - -3.8. Is w equal to 8/13?
False
Suppose -8 = -2*d - 2*c, 0*d - 3*c = 2*d - 8. Let r be (-38)/(-8) + 1/d. Suppose 5*s + m - 5 = 21, 4*s = m + 19. Is s > r?
False
Let v(x) = -x**2 - 11*x - 2. Let k be v(-11). Let o be (0 - 1) + 10/(-6). Which is greater: k or o?
k
Let t be (39/33 + -1)*14/35. Are 0 and t unequal?
True
Let z = -1.52 - -1.54. Which is smaller: -1/3 or z?
-1/3
Let s = -11 - -10. Let p = -1774/11 + 161. Which is bigger: s or p?
p
Let c(f) = -f**3 - 8*f**2 - 7*f. Suppose 3*j + 1 + 20 = 0. Let n be c(j). Is -3 greater than or equal to n?
False
Let n(a) = a**3 - 3*a**2 - 5*a + 5. Let i be n(4). Let t be -14 + (12/(-4) - -6). Let y = -12 - t. Are i and y nonequal?
True
Let h = -27 - 2. Let g = h + 19. Which is smaller: -9 or g?
g
Suppose 3*w = 7*w + 16. Let g(j) = j**2 + 6*j + 6. Let p be g(w). Let z be (36/(-15)