2). Let l be ((-63)/(-6)*(-12)/27)/33. Let p = r + l. Which is smaller: p or -1?
-1
Suppose 0 = 14*k - 10*k. Suppose k*l - l = -33. Is 33 equal to l?
True
Let r = -343 - -282. Which is smaller: -62 or r?
-62
Let q = 37 + -34. Suppose 4*y = -3*r, 25 = 4*r - 0*y - q*y. Is r <= 4?
True
Let m be -2 - (4 + -4 - 6). Suppose m*s + 9 = s. Let o be 265/15 + (-1)/s. Is o != -2/5?
True
Let m = 1043/6 - 173. Let h = -519 + 3121/6. Let b = m - h. Which is smaller: b or -0.2?
b
Let w = 0.083 - 3.583. Let l = w - -1.2. Which is smaller: -1/4 or l?
l
Let p = 1474 - 110548/75. Which is smaller: p or 1?
p
Let x = -11.2 + 11.1. Let y be -6*-1*(-4)/6. Let g be (-4)/(-30) - 0/y. Is g at least as big as x?
True
Let q = -0.116 - 67.884. Let u = q + 67.5. Which is smaller: u or 19?
u
Let i = 3731/9 - 414. Let m(o) = -3*o**3 - 3*o**2 - o - 1. Let l be m(-1). Which is bigger: i or l?
i
Let j be 94/(-30) - -3*(-3 - -4). Is 5 at most j?
False
Let r(i) = 2*i**2 - 21*i + 9. Let z be r(15). Suppose -6 - 30 = -x - 2*c, 0 = 4*x + c - z. Which is bigger: 37 or x?
37
Let m = 158 - 180. Is -24 less than m?
True
Suppose -2*z + 8 = 4. Let w be (0 - 20)*z/(-5). Suppose -7*j = -3*j - w. Which is greater: 3 or j?
3
Let m = -6.08 + 6. Let x = 1.24 - 3.32. Let v = x - m. Which is smaller: v or 1?
v
Suppose 3*v = -2*y - 2*y - 3, 5 = -5*y - 4*v. Suppose 3*q - 2*r - 80 = 0, y*r = 3*q - 32 - 43. Which is bigger: q or 31?
31
Let w(f) = 3*f**3 - 4*f**2 - f + 2. Let d be w(2). Which is smaller: d or -17?
-17
Let u = 0.09 + 0.09. Let s = u - -2.02. Let c = -3.2 + s. Are -1 and c non-equal?
False
Suppose 12*t + 196 = 8*t. Is t at least as big as -48?
False
Let t = 10.8 - 10.3. Is t not equal to -10/11?
True
Let w be ((-2)/4)/(-1 + 9/12). Suppose -3*p + 6 = w*u, -u + 7 - 4 = 3*p. Is p > -2/11?
True
Let j = 0 - -2. Suppose 0 = -j*x - 3*x - 35. Is x >= -7?
True
Let m(d) = -d**3 - d - 5*d**2 + 6*d + 36 - 3*d**2. Let g be m(-8). Is -40/9 less than g?
True
Let m = 9337/1045 - -20325449/6270. Let l = m - 14092817/4290. Let r = l + 426/13. Are -3 and r nonequal?
True
Let p = 78 - 74. Suppose p*k = -k. Are 1/3 and k unequal?
True
Let f = 16.52 + -7.62. Which is bigger: -3/8 or f?
f
Let f = 5 - 4.9. Let k = -18 - -15. Let i = k + 2.7. Which is bigger: i or f?
f
Let n = -270 + 1358/5. Suppose 0 = -3*r + 2*l + 235, l + 290 = 5*r - 104. Let m = 81 - r. Is m equal to n?
False
Suppose -15 = -2*u - d, -2*d = -0*u - 5*u + 60. Suppose -14*l + 450 = -4*l. Suppose -30*v = -25*v - l. Which is smaller: v or u?
v
Let n = -0.16 + 2.16. Let z = n + 9.1. Let s = 11 - z. Is s at most 1?
True
Let i be (-864)/60 + 1 + 12/(-20). Which is smaller: -168/11 or i?
-168/11
Let h be 1 - (-10)/(5/(-1)). Which is bigger: 4/117 or h?
4/117
Suppose 0 = z + 4*p - 16, -2*z - 5*p + 3*p + 8 = 0. Is z equal to 23/17?
False
Let t = -0.0363 - -21.0363. Which is bigger: t or 4?
t
Suppose -6*l = -l, 0 = 3*b - 3*l - 3. Let y be b/1 - (8 - 0). Suppose 2*g - 45 + 61 = 2*n, 0 = 3*g - n + 20. Which is smaller: g or y?
y
Let r be ((-3286)/8 - -2)/((-2)/8). Let i = 11427/7 - r. Is -4 equal to i?
False
Let x = -25 + 7. Let l be (x/8)/(8/(-32)). Suppose 5*a = 17 + 23. Which is bigger: a or l?
l
Let z be ((-3)/(-27))/(2/6). Let b = -7.5 - -4.7. Let s = 2.2 - b. Is s != z?
True
Suppose 71 = 2*m - 5*j, -4*m + 3*j - 96 = -7*m. Let y = -9 + m. Is 26 bigger than y?
True
Suppose 2*v + 128 = -2*v. Suppose 0 = -4*y + 2*d + 66, 3*y + d - 2*d = 51. Let w = v + y. Which is greater: -13 or w?
-13
Let x = 35 - 88. Let d = x + 55. Let b be (-4)/(-2) + (-2 - -1). Do d and b have the same value?
False
Suppose 0 = -3*h, 0*v - 5*h + 30 = 5*v. Let k be (-4)/(-10)*(0 - (3 - 8)). Let n be (-30)/(-5)*k/v. Is 8/3 less than or equal to n?
False
Let f = 296 + -322. Let l = -118 + 170. Let z be 8/l - (-82)/f. Is -4 > z?
False
Suppose -2*n - 5 = -1. Let d = -6 - -20. Let w = d - 14. Is w > n?
True
Let c = 1508 - 1638.7. Let r = -130 - c. Which is smaller: r or -2/5?
-2/5
Let f(d) be the first derivative of d**2/2 - 6*d + 210. Suppose 2*a = 5*w - 31, 5*w - 22 = a - 2*a. Let g be f(w). Which is smaller: g or -12/5?
-12/5
Let a = -0.049 + 9.049. Is 7 greater than or equal to a?
False
Let y(z) = 13*z - 300. Let o be y(23). Which is smaller: 1/852 or o?
o
Let k = 8968 + -45631/5. Let h = -157 - k. Is h < 3?
True
Let o(w) = -w**3 + w**2 + 5*w - 6. Let l be ((-6)/(-5))/(8/20). Let p be o(l). Let n = 5 + p. Which is greater: n or -5?
n
Suppose g + 0 = -7. Let z = 6 + -6.1. Let u = z - 0.9. Which is smaller: u or g?
g
Let w = -34.8 + 46.8. Which is bigger: -1.9 or w?
w
Let x = 1117 + -5534/5. Which is greater: x or 9?
x
Suppose 2*k - 484 = 4*v, 3 = 4*v - 1. Is k at least as big as 487/2?
True
Suppose -16 = -13*h + 49. Let s(k) = -2*k**3 + 6*k**2 - 2*k - 2. Let t be s(4). Let l be t/(-11) - (-6)/33. Is l equal to h?
False
Let q = -0.317 + 0.275. Which is bigger: -3 or q?
q
Let z(n) = -4*n**2 - 9*n - 126. Let l be z(-8). Which is greater: l or -309?
-309
Let x be 63/(-39) + -3 + -18 + 22. Let a be 0 + -2*(-3)/(-6). Which is smaller: a or x?
a
Let d = -85049/32 - -2658. Which is bigger: 0 or d?
d
Suppose 3*x + 14 = 3*t - 34, -x = -2*t + 20. Is x > -5?
False
Let c = 6731/15 - 1366/3. Let p = -146 - -583/4. Do p and c have different values?
True
Suppose 2*y = w - 11, 3*w - 15 - 6 = 3*y. Suppose -w*f = -4*f + 3. Suppose 4 = f*s - 2*k - 35, -s + 5 = 2*k. Which is smaller: s or 12?
s
Let b(x) = -x**3 + 7*x**2 - 9*x + 8. Let q be b(5). Suppose 6 = -15*w + q*w. Suppose -2*d - 4*i + 4 = 0, 24 = -2*d - 0*d + 3*i. Which is greater: w or d?
w
Suppose 19*c = 24*c + 15. Let f(g) = -2*g**2 - 8*g - 6. Let a be f(c). Let b = 283 - 2551/9. Is a smaller than b?
False
Let z be (-192)/336 + (-190)/(-14). Let k = 46 + -33. Is k at least as big as z?
True
Suppose 0 = -3*v - 2*v - 25. Let t(j) = j**2 + 6*j + 1. Let h be t(v). Let f be 2 + (81/(-2))/9. Is h <= f?
True
Suppose -3*i + 7*i = -2*d - 12, 0 = -5*i + 4*d - 2. Let a = -69/5 - -143/10. Which is smaller: i or a?
i
Let d be -7 + 25 - (-1 + 2 + 2). Suppose 282 = d*y - 588. Do 58 and y have the same value?
True
Let w(a) = 1 + 1 + 0 - a - 1. Let v be w(2). Let p be v - 1 - (-5 - -3). Which is greater: -4 or p?
p
Let g = -255 - -257. Is g at least as big as 3.97?
False
Suppose -4*z + 4*j + 6468 = 0, 61 = 2*z + j - 3158. Let g be 6/(-28)*z/(-10). Let p = -173/5 + g. Which is bigger: p or 2/3?
2/3
Let z be (985/98)/5 + -2. Let d = z + 181/1470. Which is bigger: d or -0.1?
d
Let a be (2 - 1)*0*1/(-4). Let w(p) = p**3 + 10*p**2 + 9*p + 2. Let d be w(-9). Let r be d/72 + (-2)/(-9). Which is greater: a or r?
r
Let s(h) = -h**2 + 8*h + 4. Let c be s(6). Suppose -2*o + 42 = 4*v - 12, -3*o = 3*v - 36. Is c greater than v?
True
Let k = -13 - -53/4. Let t be (132/34)/3 - 1. Is k at most t?
True
Suppose 4*f - 77*l - 16 = -81*l, 3*l = f + 16. Suppose 2*k - 8 = -2*k. Which is bigger: k or f?
k
Let v(b) = b**2 - b - 2. Suppose 2*s = 10, 0*d - 2*d = 3*s - 19. Let f be v(d). Let i(w) = w**3 - 24*w**2 - 26*w + 23. Let p be i(25). Is p equal to f?
False
Let o = 1.99 + -2. Let g = 17332 - 51992/3. Which is bigger: o or g?
g
Let m be 8 + -4 + (-2 - 1). Which is smaller: 4/1095 or m?
4/1095
Let n = 11 + -14. Let p = -2.8 - -3. Let t = p + -0.2. Which is greater: t or n?
t
Let y = -91 - -322. Is 232 at most as big as y?
False
Let z = 3951/16 + -247. Is z not equal to -1?
True
Let d be 28/4 + (-2)/2. Let i be 4/d - (-165)/(-315). Which is smaller: i or 0?
0
Suppose 2*s - 5*s = 3*t + 42, 4*s + 3*t + 55 = 0. Let g = s - -6. Which is smaller: -2 or g?
g
Suppose 6*x = 2*x. Let q be -3*(-1 - (-281)/279). Let n = -52/465 + q. Which is bigger: n or x?
x
Let i be 15*(-1)/38 + (-12)/114. Let l be (-1)/(-2)*(15 - 1). Let u be (-5)/l*(-10)/(-25). Which is smaller: u or i?
i
Let q = 7.9 - -1.1. Let j be (3288/64)/(570/(-4)). Let z = -3/76 + j. Which is smaller: q or z?
z
Let x(q) = 8*q + 26. Let d be x(-3). Suppose -5*k + 22 - 6 = -4*p, -12 = d*k + 3*p. Is k less than 6?
True
Suppose -104 = -122*j + 126*j. Which is smaller: -236/9 or j?
-236/9
Let b(s) = -s**3 - 10*s**2 - 14*s + 5. Let n be b(-8). Is n less than -4?
True
Let u be ((-32)/135)/((-1)/(-12)). Let a = 6836/9 - 762. Let s = u - a. Is -2 equal to s?
False
Suppose 0 = -28*x + 24 + 4. Are x and -0.271 non-equal?
True
Let f = -2528 + 2