**2. Let w be y(-1). Which is smaller: -1/11 or w?
-1/11
Let u = -34 + 34.1. Which is bigger: u or 3/23?
3/23
Suppose -m + 12 = -0*m. Suppose 2*u + 0*u = -2, -a - u = -m. Let c = -12 + a. Which is bigger: c or 2/13?
c
Let q = -0.08 - 0.32. Let i = -0.12 + 0.32. Let k = q - i. Which is greater: 0 or k?
0
Let p = 34 + -33.7. Let q(x) = x**2 - x - 6. Let k be q(4). Is k bigger than p?
True
Let w be 14/10 + -2 - (-105)/(-325). Let y(k) = k**3 + 20. Let u be y(0). Suppose -4*v - 5*g = -v + u, -4*v = -g - 4. Which is greater: w or v?
v
Suppose 5*b + 26 + 15 = 4*t, -2*b = 4*t - 6. Is t smaller than 0?
False
Let u = -36.29 - -36. Let k = -0.29 - u. Which is bigger: 6/7 or k?
6/7
Let g(c) = c**3 + 18*c**2 + 11*c - 9. Let z(q) = 3*q**3 + 53*q**2 + 34*q - 27. Let u(r) = 8*g(r) - 3*z(r). Let x be u(-14). Which is smaller: x or 10?
x
Let x = -12982217/72504 + -3/8056. Let d = x - -179. Suppose 0 = -7*q + 2*q - 5. Is d at least q?
True
Let n = -199 + 59. Let r be (-396)/n - (0 + 3). Which is smaller: -1 or r?
-1
Let t(c) = -19*c**2 - 2*c + 4. Let x be t(-2). Let f = x + 70. Are 17/7 and f equal?
False
Suppose 2*h = -3*w + 6*h + 773, 0 = -3*w - 4*h + 733. Which is greater: 253 or w?
253
Let t = -1.6 + 0.7. Let j = t - -2.9. Let d = j + -5. Which is bigger: d or -1?
-1
Let z(b) = -b + 5. Let a be z(5). Suppose 4*q = 5*p, -8*q + p = -12*q + 24. Let c be q + (0 - 0 - 4). Is a > c?
False
Suppose -961 = 6*f - 3*f + d, 1604 = -5*f - 4*d. Is f != -3?
True
Let o = -13.982 - 0.618. Which is greater: -1/3 or o?
-1/3
Let i be (-3)/((11691/(-6))/(-3)). Is 0 not equal to i?
True
Let o = -3 - -5. Suppose -f - o*q = -12, -4*f - 2*q + 24 = -0*q. Suppose -f = -4*i - 0. Is 10/13 smaller than i?
True
Let r = -1126 - -1126. Which is smaller: 0.557 or r?
r
Suppose -2*u + 1 + 3 = 0. Let j be 10/(-12)*3/(-15)*-1147. Let h = j + 192. Which is smaller: h or u?
h
Let q be 3*27 + (-115)/23. Let d = q - 92. Is -17 at least d?
False
Let x = -4448/93783 + 2/2181. Which is smaller: 0 or x?
x
Let d = -238 - -75. Let l = 163 + d. Which is smaller: 5/12 or l?
l
Let y(r) = -r**2 - 9*r - 13. Let o be 1 + (-3 - -10)/(-1). Let v be -11 - 6*3/o. Let u be y(v). Which is greater: -6 or u?
u
Let v = -1984 + 1983. Is -4/235 != v?
True
Let x be (-110)/15*(-12)/8. Suppose 1 = -4*q - x. Which is smaller: -1 or q?
q
Let w = -175 - -170.94. Let f = 0.06 + w. Let d = 0.2226 + -0.0226. Is d at least as big as f?
True
Let q = 3.1 + -4.5. Let y = 1.8 + q. Let d be (4/4)/((-1)/(-2)). Do y and d have the same value?
False
Suppose 0 = w - 1, -2*h - 5*w + 645 = 2*h. Let d = -1438/9 + h. Do 0.5 and d have the same value?
False
Let d be (-2)/((3 + -6)/90). Suppose -4*t + 934 = 690. Is d < t?
True
Suppose -4*n = -q + 29, 0*n = 2*q - 2*n - 52. Let y = -30 + q. Is y at most -8?
False
Let n be 21/68 - (-130)/(-2210). Suppose -2*z = t, 2*t = 3*z + 3 + 4. Let m = 2 - t. Is n greater than or equal to m?
True
Let z be ((-1)/3)/((-7576)/1896 + 4). Do -76 and z have the same value?
False
Let u(k) = k**3 + 4*k**2 + k - 5. Let w be u(-4). Let s(f) be the first derivative of f**2 + 17*f + 5. Let z be s(w). Which is smaller: 0 or z?
z
Let m = -85 + 83. Let s be (1 - (-12)/(-8))/((-13)/m). Which is greater: s or -1/4?
s
Let t be 106 + 7 + 0/2. Is t > 116?
False
Let j = -908.09 + 913. Let r = j - 4.7. Which is smaller: 1 or r?
r
Let v(n) = -14*n - 268. Let p be v(2). Is -294 >= p?
True
Let b be (((-129)/4)/(-3))/(2/16). Is b smaller than 1?
False
Suppose -30*v = -24*v. Is -14/129 less than or equal to v?
True
Let i = 1111 - 1111.2. Which is greater: -824 or i?
i
Suppose 11*k = 7*k + 5*l - 29, 5*k + 25 = 4*l. Which is smaller: 6/215 or k?
k
Suppose 2*u = v, -5*v + 0*u = -u. Is -1/797 bigger than v?
False
Suppose 4 = -4*s, -4*v - s = -3*v - 5. Suppose q - 2*a = 4, -2*q + v*q + 3*a = -17. Which is greater: -1 or q?
-1
Suppose 2*q - 8 - 2 = 0. Suppose -3*y + i + q = 0, -6 = 2*y + 3*i - 2. Which is bigger: y or 5?
5
Let l = 4.998 - 0.098. Let o = 5 - l. Is o at least 2/11?
False
Let l be 60/(1*(0 + -1)). Let q = l + 56. Is q greater than -26/5?
True
Let x be 32/40 - 1838/2285. Which is greater: x or -1?
x
Suppose -28*u = -3944 + 16572. Do -450 and u have different values?
True
Let k = 69.78 + -70. Which is greater: 0.3 or k?
0.3
Suppose 22*n = -429 - 693. Which is bigger: n or -50?
-50
Let p(x) = -17 + 9*x - 2 + 8. Let j be p(2). Which is smaller: 13/2 or j?
13/2
Let p = 321.2 - 321. Which is smaller: 0.39 or p?
p
Let g = 8.166 - -0.014. Let q = 0.18 - g. Let j = 29 + -28.9. Is j < q?
False
Let c = 8.5 - -0.5. Is 16/7 greater than or equal to c?
False
Let x = 526 + -525. Are 4/187 and x unequal?
True
Suppose 0 = -5*u - 4*u + 9. Suppose -g - g - 8 = 0. Let o be 45/84 + g/14. Which is greater: u or o?
u
Let b = -725 - -725. Which is greater: b or 0.119?
0.119
Let n = -13 + 19. Let i = n + -5. Let b be (3 - 2)/1*4. Which is smaller: i or b?
i
Let l(q) be the first derivative of -q**2/2 + 15*q + 2. Suppose -5*x = 4*p - 54, x - 40 = -x + 3*p. Let m be l(x). Are m and 9 unequal?
True
Let h = -4.4 - -6.4. Let w = 88/7 + -1482/119. Which is greater: w or h?
h
Let c(o) = -2*o - 5. Let d(n) = -7*n - 3. Let h be d(-2). Let w be c(h). Let j = -25 - w. Which is greater: j or 3/4?
j
Suppose 4*d + 5*w - 30 = 0, -12*d + 10*d = -5*w + 30. Let b = 0 - -2. Suppose 0 = -4*y + b*y. Is y >= d?
True
Let p = -0.3 - -0.8. Let x = p - 2.5. Let h = 24.1 - 24. Which is greater: x or h?
h
Let i = 339 - 313. Is i > 51/2?
True
Let i = 0.1 + -1.8. Let b = 1.904 + 0.096. Let j = i + b. Which is greater: 0.1 or j?
j
Let q = 26 - 54. Let b = q - -14. Which is smaller: b or -1?
b
Suppose 0 = -3*n - 2*y - 80, 2*y - 79 = 4*n + 23. Which is smaller: -131/5 or n?
-131/5
Let q = 1 - -2. Let h = 52/61 - -228/305. Which is bigger: h or q?
q
Let x = -2/539 - -97/5390. Let y(k) = -5*k - 20. Let p be y(-4). Is x greater than or equal to p?
True
Let u = -1952 - -1950. Which is greater: u or 1.85?
1.85
Let j = 12604 - 4360987/346. Is 0 not equal to j?
True
Let b = -21 + 25. Suppose -b*z + 2*v = 98, 11 = -z - v - 12. Which is smaller: z or -25?
-25
Suppose -3*i - 7 = 4*i. Let l be (i - 0)/(403/26). Which is bigger: 2 or l?
2
Let q be (16 - 0)*2/4. Let d = 0 + q. Let j be 1*(-10)/d*2. Is -4 at least as big as j?
False
Let v(q) = q**2 + 8*q + 11. Let s be v(-6). Which is bigger: 1/959 or s?
1/959
Let t = 1 + -1. Let m(j) = j**3 - 7*j**2 - 10*j - 8. Let f be m(8). Let n be -2 + (-120)/(-64) + (-1)/f. Which is smaller: n or t?
n
Let b = 0.208 - 0.018. Let d = -0.43 + -0.07. Let k = -0.5 + d. Which is smaller: k or b?
k
Suppose -3*u + 19 = 3*n + u, 0 = -4*n - 3*u + 23. Suppose n*g = g - 32. Let x be 2/5 - g/(-20). Which is greater: -2/17 or x?
x
Suppose -3*b + 7*b = -3*b. Let g = 15.8 + -16. Is g less than b?
True
Let v = 723 + -722. Which is smaller: v or -1/1208?
-1/1208
Suppose -2*w - 37 = -4*b - 3*w, b - 4 = -2*w. Suppose -9*d - b = -11*d. Is 4 bigger than d?
False
Let i be (4/6)/2*0. Suppose 15 + 7 = 2*l + 5*k, -4*l - 4*k + 20 = i. Does l = -2/69?
False
Let a(y) = 7*y - 3. Let i = -53 + 55. Let s be a(i). Which is greater: 9 or s?
s
Suppose 2*h = l + 8, l + 5*h = -3*l - 6. Let a be (-4 - 0) + l + (0 - -9). Do a and 1/21 have different values?
True
Suppose v - 2*u = -53 - 25, -u - 267 = 4*v. Let y = v + 59. Let d(l) = l**2 + 7*l. Let t be d(-5). Which is greater: y or t?
y
Suppose -y = 3*i + 4*y - 2048, -2*y = 4*i - 2740. Is 686 at most as big as i?
True
Let b(l) = -l**2 + 8*l - 5. Let i be b(4). Let p = 30 + i. Are p and 39 unequal?
True
Let b = -6.2 - -4.82. Let j = -1.35 - b. Are j and 10 nonequal?
True
Suppose 0 = 5*k - 15, -2*m - 5*k - 2 + 15 = 0. Let g be 0 + (3 - (3 - m)). Is -2/9 bigger than g?
True
Let z be (2/5)/((-2)/(-30)). Suppose -g + 45 = -z*g. Let y be g/(-16)*7/(-21). Are -1 and y non-equal?
True
Suppose -38*w = -20*w + 7326. Is w < -405?
True
Let p(q) = -q**3 - 14*q**2 + 13*q + 51. Let a be p(-15). Which is bigger: 244/3 or a?
244/3
Suppose 5*h = 22 + 3. Let v be ((-2)/5)/((-7)/h). Let k = 49.14 + -49.2. Do k and v have the same value?
False
Let s be 14/(-7) + 14/8. Which is smaller: s or 140?
s
Let w = -7 + 2. Let u be w/(-50) - 8/(-20). Which is smaller: u or 2/7?
2/7
Let m be 7/((-4795)/(-695)) + -1. Which is smaller: m or 0.2?
m
Suppose -2*f + 18 = 2*w, -3*f