 l(2). Suppose 3*m + 9 = -r. Which is smaller: m or 2?
m
Let p = 32 - 27. Suppose -x + p = -2*v - 2, -2*x - v = -24. Is x greater than 11?
False
Suppose 0 = -2*o + h + 4, -5*h - 4 = -3*o + 9. Let r = 506 + -503. Is r greater than o?
True
Let o(p) = -p**2 + 8*p. Suppose 15 = -b + 6*b. Let w be o(b). Is w not equal to 15?
False
Let x(z) = 7 - z**2 - 7 + z**3 - 3*z**2. Let l be x(4). Suppose l = 3*k - 2*k - d - 5, -2*k - 5*d = 18. Is k at least as big as 1?
True
Let o be 2/8 - (-226)/(-8). Let f be -3 + 6 + (-39)/15 + 588/(-20). Which is smaller: o or f?
f
Let w(p) = -p**3 - 5*p**2 - 1. Let j(z) = -z**3 - 5*z**2 - 6. Let s be j(-5). Let q be w(s). Let f = 34 - q. Which is smaller: 2/31 or f?
f
Let w(p) = -p**2 + 9*p - 5. Let f be w(8). Suppose -f*r = -r - 2. Let g = -0.2 + 0.3. Which is smaller: g or r?
g
Let l be (-13)/(-104) - (-241)/(-8). Let a be (2/(-4)*(-15)/10)/l. Is a <= 1?
True
Let s be (-12)/(-42) - (-10)/14. Suppose 0 - s = -q. Suppose -4*t + 2*h + 9 + 39 = 0, 4*t = 5*h + 54. Is q != t?
True
Let o(a) = 48*a + 267. Let c be o(-8). Is c >= -113?
False
Let a be -7 + 7 - (0 + (-4)/2). Suppose -4*x - a*f = -6*f + 12, -5*x - 3 = f. Which is greater: x or 8?
8
Let x be 10/8*(2 - -2). Suppose 2*w + 8 = 0, 8*h - 3*w = 3*h + 7. Let a be ((-12)/16)/(h/8). Is x < a?
True
Suppose 3*k - 3*u - 9 = 4*k, -3*u = 4*k + 9. Suppose -3*z + k - 39 = 0. Is -13 smaller than z?
False
Let a be (31/4 + 2)/((-2652)/1872). Is a < -7?
False
Let d = 2.91 - 0.11. Let r = 6.8 - d. Let b(f) = -f**2 + 7*f - 6. Let s be b(6). Is s less than or equal to r?
True
Let k = 1264/9 - 654743/4662. Which is greater: k or -1?
k
Suppose 18*d - 36 = 17*d. Let i be (d/480)/((-1)/(-36)). Is i >= 4?
False
Let l be (10/5)/(42/9). Let v be (-45)/(-18)*12/10. Let q(k) = -k + 4. Let p be q(v). Which is bigger: p or l?
p
Let v(n) = n**2 + 5*n. Let w be v(-5). Let q be 5/(-113)*(-82)/(-205). Is q less than w?
True
Let w = 0.0336 - 0.1336. Let u = 0.93 - 1.1. Which is bigger: u or w?
w
Let g = -185 + 186.2. Let m be ((-6)/54)/((-2)/12). Are m and g equal?
False
Let w be 4116/(-387) + 12 + (-4)/6. Which is smaller: 2 or w?
w
Suppose 4*t = -3*h + 230, -3*h + 179 + 36 = t. Let k = 100 - h. Which is bigger: 31 or k?
31
Suppose 36*c = -764 + 188. Suppose -d - d = 32. Is d at least c?
True
Let l = 13 + -12.6. Let c = 14.8 + l. Let h = c - 15. Is -0.4 bigger than h?
False
Suppose 11*y - 16*y = -2*i + 738, -2*y - 1824 = -5*i. Which is bigger: 365 or i?
365
Let v be (5 + -2 - 113) + -1. Is -112 smaller than v?
True
Suppose -4*m - 7*a + 4 = -11*a, 4*a + 8 = 5*m. Let i = 9 + -2. Which is bigger: i or m?
i
Let d(i) = i**3 - 4*i**2 + 4*i - 1. Let f be d(3). Suppose f*u + 8 = 4*s, -s + 5*u + 6 = 2*s. Suppose -k = 2*q - 7, 6*q = 4*q + s*k - 8. Is q <= 2/7?
False
Let t be 0/5 - (-984)/10. Let d = 98 - t. Let p = -1/594 + -587/4158. Is d != p?
True
Let f = -966 + 1008. Are 0.05 and f equal?
False
Let b = -4 - -4. Let y(f) = 12*f + 6. Let i be y(-3). Let a = i + 59/2. Which is greater: b or a?
b
Let c(p) = -p**2 + 3*p + 4. Let d be c(3). Let t = -364 + 373. Suppose d*n - 40 = t*n. Is -6 at least n?
True
Suppose -41*m + 56 = -34*m. Is m <= 41/6?
False
Suppose y + 508 = 5*i, -2*i - 2*y = -3*i + 98. Suppose 5*r - 2*n - i = -2, -4*n + 40 = 2*r. Let o = r - 18. Do 3/2 and o have different values?
True
Let v = -9 - -6. Let x(f) = -9*f. Let l be x(16). Let t = l + 141. Is t < v?
False
Let j = 21 + -27. Let h = -2.9 + 8.8. Let u = j + h. Which is greater: u or -10?
u
Suppose -6*z = 597 + 327. Let t be (6 - 2) + (-140)/z. Is 5 equal to t?
False
Suppose 1789*g - 1786*g + 3 = 0. Which is greater: -15/14 or g?
g
Let y = 540 + -188. Is y not equal to 352?
False
Let k be (-22)/(-88)*(1 + 3). Are 2/255 and k equal?
False
Let d = -310 - -309. Is -3.41 smaller than d?
True
Let p = -729 - -741.6. Which is smaller: 0.2 or p?
0.2
Let k(a) = -4*a - 3. Let w be k(-6). Suppose 0 = -3*y + w + 21. Is 15 at most as big as y?
False
Let a(z) = 4*z + 33. Let l = 9 - 18. Let x be a(l). Is x less than -9?
False
Let a be (18 - (4 + -1))/((-1)/(-4)). Suppose -a = -5*d + 4*z - 15, 0 = -4*d + z + 36. Which is smaller: d or 2?
2
Let b be (5 + -31)/(88620/570349). Let l = b - 1/14770. Let y = l + 166. Which is bigger: y or -1?
-1
Let i be (2 - -2*1) + -2. Let s be 0 + i + (-2 - -2). Let h = 323 - 2251/7. Is h at least as big as s?
False
Let u = 17 - 15. Suppose 0 = -i + 3 + 1. Suppose -u*j = -i*j. Which is smaller: j or -1/4?
-1/4
Suppose a - 3*b - 117 = -2*a, -4*b + 152 = 3*a. Suppose 5*n = -a - 41. Does n = -16?
False
Let g(k) = 5*k**2 + k - 1. Let u be g(1). Let x(f) = f**2 + 5*f - 12. Let q be x(-7). Suppose 9 = -3*y, -y = q*t - u*t. Which is smaller: t or -2/19?
t
Suppose -6*l - 4 = 2. Is -21/10 not equal to l?
True
Let j = 118.1 - 118. Which is bigger: 131 or j?
131
Let z be 2/(-3) - 2/(-3). Let s(r) = r**3 + 8*r**2 - 20*r + 4. Let m be s(-10). Suppose z = m*i + 8. Which is smaller: i or -5/8?
i
Let b(n) = -n**2 + 18*n - 72. Let d be b(5). Is -15 < d?
True
Let a = 5 - 4.95. Let l = 787/3 - 263. Is a less than or equal to l?
False
Let w be 3*10/205*-3697. Let d = -541 - w. Let u = 0 + 0. Is u at least as big as d?
False
Suppose 27*q - 21*q = -18. Is q smaller than -13/8?
True
Suppose 6 = 4*n - 2*n. Suppose 0 = -k + 6 + n. Let z be k/(-6) + 69/54. Is -4 equal to z?
False
Suppose 3*j + 4*g = 121, -189 = -5*j - 3*g + 20. Which is smaller: j or 51?
j
Let b(x) = x**3 - 7*x**2 - 9*x + 8. Suppose q = -4*p - 4, -4*p - 76 = 4*q - 8*p. Let a be (-1)/(2/q)*1. Let i be b(a). Which is smaller: i or 4?
i
Let o(t) = t**2 - 8*t. Suppose 3*m = 2*a + 2*m - 21, -3*m + 25 = 5*a. Let p be o(a). Let j be (2/(-6))/(10/18). Is j equal to p?
False
Suppose -l - 3*o + 24 = 0, 5*l - 4*o - 47 = 16. Let g be ((-84)/35)/(3/l). Is -11 greater than or equal to g?
True
Let r = -689.9 - -734. Which is smaller: -1/4 or r?
-1/4
Let p = -1854 - -1986. Is -6 less than p?
True
Let p = -163 + 159. Let m = 3.8 + 1.2. Let j = p + m. Is 7 at most as big as j?
False
Suppose -6*m + 2 = -4*m. Let w(v) = v - 2. Let n be w(-1). Let u be ((-45)/40)/(n*1). Which is smaller: m or u?
u
Let d(g) = 22*g - 190. Let n be d(9). Let k = 597/92 - -1/92. Is n greater than or equal to k?
True
Suppose 4*l + 9 = 3*c - 3, c = -5*l - 15. Let h be (c + -3)*(-212)/(-72). Let b = 163/18 + h. Is 1 greater than b?
True
Suppose -102 = -8*k + 2*k. Suppose -4 = -21*b + k*b. Is -2/7 >= b?
False
Let w(f) = -5*f + 151. Let c be w(30). Let s = 457/91 - 33/7. Which is bigger: s or c?
c
Suppose -5*x = -2*z - 2*x + 4, -z + 2 = -x. Suppose -10 = -7*h + z*h. Let t be ((-11)/(-66))/(h/(-27)). Which is bigger: t or -1?
-1
Suppose -5*b + 52 = -b. Suppose -q + 18 = -4*j, -q - 2*j + 5*j = -b. Let d be (-1 - 0)*(-1)/q. Which is greater: 1 or d?
1
Let y = -5767 + 5777. Let p = 0.12 - 0.06. Is y < p?
False
Let y = 9 - 5. Suppose 0 = -y*u + 1 + 11. Let q be (-10)/55 - ((-228)/44 + 1). Which is smaller: q or u?
u
Let i = 18 + -13. Let u be (-2)/(-2) - (4 - i). Suppose 8 = 56*s - 54*s. Is u bigger than s?
False
Suppose 4*a - 3*w - 358 = 0, 4*a - 7*a + 4*w + 265 = 0. Are 95 and a nonequal?
True
Let u be 7/(105/50)*33. Is 111 != u?
True
Let d = 5303/11 - 482. Which is bigger: d or -3/4?
d
Suppose 39*m = 46*m. Is -2/599 <= m?
True
Let n(g) = -28*g**3 + 12*g + 24. Let k be n(-2). Which is smaller: 222 or k?
222
Let t be 84/(-24) + (-8)/2. Let o = t - -7. Are o and 6 nonequal?
True
Suppose 9*n - 6*n = 36. Suppose 2*h = -b - 2*h + 16, -5*b = -3*h + n. Let y = 16 + -6. Is b smaller than y?
True
Suppose -6*u + 4 = -7*u - 2*c, 0 = -u + 2*c + 4. Which is smaller: 2/129 or u?
u
Let x = -42 - -43. Suppose -11*m = -1 + x. Which is bigger: 12/11 or m?
12/11
Let z(r) = r - 6. Let q(k) = 5*k**2 + 2. Let l be q(-1). Let u be z(l). Which is smaller: u or 11/9?
u
Let m be 32*((-1)/(-3))/((-6)/18). Is m equal to -32?
True
Let u be -5 + (6/(-9))/(6/9). Let b be u/(-12)*(0 - 0). Which is bigger: b or -1?
b
Let c = 81 + -86. Let p be (0 - c) + -5 + 2. Is p bigger than 15/7?
False
Suppose 23*n + 100 = 19*n. Is n at least -26?
True
Suppose -29*n + 1767 + 1452 = 0. Is n less than or equal to 112?
True
Let u = 23.9 - -10.1. Let q = u - 29. Is q at most -1/4?
False
Suppose 24 = 4*n + 4*b, -10*b = -11*b. Is n < 48?
True
Suppose -2*a = -4*z - 52, 156 = a - z 