**2 + 2*z. Let d be n(-2). Let u = 211 + d. Which is smaller: u or 12?
u
Let j(r) = 2 - 6*r + r - 11*r + 15*r. Let z be j(1). Which is smaller: z or 5/106?
5/106
Let b be 8*(5 - 2)/24. Let l = 667/496 + -21/16. Do b and l have the same value?
False
Let h(c) = 6*c - 1. Let s(b) = -5*b - 10. Let t be s(-2). Let r be h(t). Let x be 88/6 + r + 1 + 1. Which is smaller: 15 or x?
15
Suppose g + 3*l = -11, 5*l + 49 = -4*g + 33. Is -2/3629 equal to g?
False
Let w = -104.985 - -58.985. Let r be (-1028)/21 + 4/14. Let u = r - -48. Which is smaller: w or u?
w
Suppose 2535 = -16*t - 33833. Is -2272 greater than t?
True
Let v = 286008 - 54055031/189. Let f = 5/189 + v. Is -0.1 smaller than f?
True
Suppose 3*f = 8 - 2. Let g be f - (3 - 4/52). Suppose -5*k + 3 = 13. Is k > g?
False
Let y(x) = -69*x**2 + x + 1. Let d be y(-1). Let g = d - -80. Suppose 0 = 3*i + 2*i - 60. Are i and g equal?
False
Let t = 15307/9 + -1698. Suppose -5*d + 4*d + 48 = 11*d. Which is greater: d or t?
d
Suppose -3*i = 4*n + 534, 0 = 14*i - 16*i - 4*n - 364. Is -171 > i?
False
Let v = -32 - -42. Let k = 107 + -101. Suppose -5*j = -3*g + k*g - 51, 2*j - 12 = -4*g. Which is greater: j or v?
j
Let l = 104 - 109. Let b be (7/(-357))/((75/54)/l). Which is smaller: 0 or b?
0
Let d be (39/(-15) - -1)/((57090/(-44))/15). Which is smaller: d or 1?
d
Let s be (4425/1165 + -3)*(-20)/(-30). Which is smaller: 1 or s?
s
Let g = -4099/133 + 229/7. Let n = -85 + 56. Let v = -27 - n. Which is smaller: g or v?
g
Let k(g) = g**2 - g. Let a(c) = 6*c**2 + 13*c + 14. Let m(j) = -a(j) + 5*k(j). Let f be m(-17). Let i be (16/f - 4)/((-8)/(-6)). Which is bigger: 10/9 or i?
10/9
Let y(m) = 37*m + 30. Let p(f) = 2*f**3 - 11*f**2 - 7*f + 21. Let i be p(6). Let l be y(i). Which is smaller: l or 584?
584
Let l = -2 + 1.6. Let p = -297 + 74. Let g = p + 219. Is l greater than g?
True
Let o = -54.28 + 36.28. Which is smaller: o or 54?
o
Let o be ((-1)/(-4572))/(248/(-78) - 42/273). Which is bigger: o or 1?
1
Let l = 809 - 810. Are l and 628 equal?
False
Let c = -27 - -30. Suppose -4*f - 4 = -r - 20, -2*r + 12 = c*f. Suppose n - u - 1 = 0, -2 + f = -u. Is n <= 3/23?
True
Suppose 15 = 3*h + 2*s + 2*s, -4*s - 12 = 0. Suppose 0 = 23*g - 14*g - 36. Suppose g*p - 4 = 20. Does h = p?
False
Let i(u) = u**3 + 3*u**2 - 6*u - 4. Let k be i(-3). Suppose k*j = 19*j - 160. Let h be 12*(-2)/j*6. Which is smaller: h or -6?
-6
Let g be -7 + (1095/75 - (-4 - (-36)/3)). Which is greater: -43.83 or g?
g
Suppose -1711*b + 1735*b = -1296. Which is smaller: -26 or b?
b
Let r = -64 + 63.5. Let q = -5 + 85. Let o be (12/q)/(1/(-4)). Which is smaller: r or o?
o
Let y = 1835206/5 - 365305. Let d = 1748 - y. Which is smaller: d or 11?
11
Let x = -99439/678 - 1/678. Is x at least as big as -147?
True
Let f = 0.131 - -98.869. Let h = 100 - f. Let j = 54 + -50. Which is smaller: j or h?
h
Let i = 7.6 - 9. Let r = 0.4 + i. Let f = -80/27 - -844/297. Is f at most as big as r?
False
Let o = -5390.08 + 5413. Is o <= 1/2?
False
Let v be 1 + 18/(-22) + (5 - 1586277/306614). Which is bigger: v or -10?
v
Suppose 0 = -6*m + 2*m - 8. Let w(u) = 4*u**2 + 3*u. Let n be w(m). Suppose -t + 130 = 5*i - n, -3*t = 3*i - 96. Is i less than 26?
False
Suppose -4*r - 47 = -19. Let t(f) = 25*f - 340. Let b be t(13). Is b greater than or equal to r?
False
Let h = 0.1866 - 1.8866. Which is smaller: -1/229 or h?
h
Suppose 933 + 1405 = -5*n - 2*w, 4*n + 1876 = 4*w. Is n <= -1/3?
True
Let n(d) = -9*d. Let g be n(0). Does g = -6/355?
False
Let q = -46 - -77. Suppose -86 - 18 = -26*r. Suppose 2*z - 68 = -2*n, r*z + 5*n - 115 = 8*n. Is z not equal to q?
False
Let k be (-2 + 3/1)*1. Let y = -1439/24 - -60. Which is smaller: k or y?
y
Let p be (-3258)/15 - (-13)/65. Let w be p/(-49) - (-4)/((-8)/6). Suppose y = 2*y - 1. Which is smaller: w or y?
y
Let m(c) = -73*c**3 + c**2 + 11*c + 14. Let h be m(-2). Is h equal to 580?
True
Suppose 3*d - 3*f - 18 = 0, 4*d - 9 = -13*f + 12*f. Suppose d*w - 2*a - 9 = -0*w, -4*w - 3*a - 5 = 0. Is w less than or equal to -12/31?
False
Let p = 393934/45 + -26321/3. Let u = -99/5 - p. Which is smaller: u or -2?
-2
Let r be (-13)/(-4) - (-11)/(-44). Let f = 8.8 + -0.8. Let t = f + -7.94. Which is bigger: t or r?
r
Let d = 173 - 161. Let l = d - 11.9. Which is greater: l or 13?
13
Let m be 102/663 - ((-4984)/52 + 2). Is m greater than 83?
True
Let b = 30433 - 20549. Is b at most as big as 9884?
True
Let x = 11393/5 + -2277. Is 3 less than or equal to x?
False
Let x(u) = 2*u**3 + 81*u**2 + 46*u + 324. Let v be x(-40). Are 82 and v nonequal?
True
Let y(x) = x**2 - 14*x - 10. Let f be y(15). Suppose 4*l - f = 27. Which is smaller: 5 or l?
5
Suppose 246853 - 171180 = -149*r - 243336. Which is smaller: r or -2146?
-2146
Suppose o - 2 = 0, 4*o = -5*c + 2*c + 128. Suppose c = 14*d - 58. Which is smaller: -7 or d?
-7
Let g be (-3)/((-21)/12 + 1/4). Suppose 0 = 7*u - 1 - 20. Suppose u*y = y - g*y. Is 6/37 < y?
False
Let q be ((1/223)/(28/(-21)))/((-22089)/148). Is q < -1?
False
Suppose 4*x - 3*u + u + 14 = 0, -x - 21 = 3*u. Let p be (-2*x/9)/((-12)/(-18)). Suppose 0 = 3*n + p - 5. Which is greater: 48 or n?
48
Let h be 54/(-4)*272/(-6800). Is h greater than or equal to 1?
False
Let k(m) = -4*m**2 - 47*m - 99. Let g be k(-9). Which is greater: 172 or g?
172
Let b = 1.4414 + -0.4414. Which is smaller: 12323 or b?
b
Let g = 7.03 + -6.242. Let u = -37.888 + g. Is -1/3 greater than u?
True
Let w = -100 + 108. Let k be (2/(-8))/(10/w). Suppose -n = 4*n - q, 5*q + 21 = 4*n. Is k >= n?
True
Suppose -16*u + 17*u - 54 = -17*u. Is -416 greater than u?
False
Let p = -42.9 - 13.1. Let f be 826/708*4/(-7). Do f and p have different values?
True
Suppose 328 = 3*n - 356. Suppose -23*c - 1888 = 23*c - 12376. Is n smaller than c?
False
Let q(v) = -2*v**3 - 21*v**2 - 8*v + 21. Let c be q(-10). Suppose -2*u - 5*a + c + 43 = 0, -u + 3*a = -22. Is 21 greater than u?
False
Let w(t) = -t**3 + 16*t**2 + t - 128. Let m be w(16). Are m and -98 non-equal?
True
Let y(g) = -18232*g**2 - 7*g + 8. Let l be y(6). Let i = l + 52513589/80. Let s = -169/5 + i. Which is greater: 1 or s?
1
Let p be 155/225 - (-8)/(-20)*2. Is p less than 3/100?
True
Let s(g) = 36*g. Suppose 0 = -d - 0*l - 4*l + 3, -l = 4*d + 3. Let b be s(d). Let a be (-8)/(-20) + b/75. Which is bigger: 1 or a?
1
Let k be 2/(-10) - (1 - (-10)/((-700)/1077594)). Which is smaller: 15392 or k?
15392
Let z(l) = -l**2 + 24*l - 19. Let h be z(23). Let a = -96 + 100. Is h greater than a?
False
Let v be (-12 - (-94605)/7931) + 1/11. Is 2 at most as big as v?
False
Let b = 506 + -434. Let o = 67 - b. Let l = -1 - 1. Is o at least as big as l?
False
Let n(z) = -z**3 + 77*z**2 + 237*z + 240. Let f be n(80). Is -12/613 greater than or equal to f?
False
Suppose 5*i - 215 = -80. Suppose 34*r - i*r = 28. Let f = -10 - -9.6. Which is bigger: r or f?
r
Suppose -10 = -4*o + 10. Let b = -15.07788 + -1.92212. Which is smaller: b or o?
b
Let d = 13767 + -13759.16. Are d and 0.1 unequal?
True
Let r be 1/(-10)*(-61415)/(-346). Which is bigger: r or -19?
r
Let o(x) = 2*x**3 - 12*x**2 - 55*x + 10. Let f be o(9). Is f at least -2/9309?
True
Let w = -43.519 + 80.565. Let k = 0.046 - w. Let z = k - -4. Is z smaller than 0.1?
True
Suppose -44*f - 2*r - 2062 = -46*f, -2*f + 2020 = 5*r. Is 1025 not equal to f?
False
Let s = 5528 - -718. Let i = 30899/5 - s. Which is bigger: -65 or i?
-65
Let m be (-25)/42 + (-1)/(-6). Let r be ((-249)/(-6) + 3)*-2. Let p = 1155/13 + r. Which is smaller: p or m?
m
Suppose 0 = -c + 4, -89 = -13*a + 10*a - 5*c. Which is bigger: a or 17?
a
Let j be 5 + -4 - (-329 + 12). Let l = j - 316. Is l at most as big as 40/29?
False
Let b be 31 + -22 + 4 + -20. Suppose -a = -0*p + 5*p + 54, -a - 60 = 2*p. Let i be ((-204)/a)/((-1)/2). Is b at most i?
True
Let v = 35 - 33. Let k(n) = -22*n - 26*n - 16*n + 55*n + 39. Let c be k(4). Which is bigger: v or c?
c
Suppose 0 = -c + 4*r - 18, -84 = 2*c - 6*r + 10*r. Let u be (-160)/c + (128/8)/8. Are 8 and u nonequal?
True
Suppose -i - 2*o + 526 = 0, -3194 + 529 = -5*i - 3*o. Which is greater: 2141/4 or i?
i
Let i(w) = 36*w**2 - 4*w - 3. Let l be i(-1). Suppose -40*j + l*j + 30 = 0. Suppose k = -k + 2*v - j, 5*v - 25 = -4*k. Is -4/9 at most k?
True
Let g be (-4)/(-168)*(0 + -1). Suppose z - 5 = -n