 Let u be (-1)/13*(7 - 8). Which is bigger: k or u?
u
Suppose d - 4*d = 5*f - 1480, -5*d + 5*f + 2440 = 0. Suppose -11*o + d = 3*o. Is o greater than 37?
False
Let d = -33 - -32.983. Let h(f) = -f**3 - 20*f**2 - f - 20. Let u be h(-20). Is d smaller than u?
True
Let j(x) = x**2 - 3*x + 1. Let c be j(5). Let z(y) = y**3 - 12*y**2 + 7*y + 27. Let i be z(c). Are i and -18 non-equal?
True
Let s = 18 + -15. Let h(w) = -4*w + 10*w**2 - 5*w**2 + 5*w**s - 4*w**3. Let z be h(-6). Is z smaller than -12?
False
Let b = -115.9 + 116. Which is smaller: 32.8 or b?
b
Let i = -0.1223 - -0.1223. Is 83 equal to i?
False
Let n = 0.18 + 0.1. Let p = n - -0.02. Let i = 0 + p. Which is smaller: -1/2 or i?
-1/2
Let v(x) = x**2 - 10*x - 18. Let t be v(6). Is -42 at most t?
True
Suppose -4*y - c + 78 = 0, -3*c - 47 = -3*y + 2*c. Let g be 4/6 - y/(-3). Which is smaller: g or 0?
0
Let t be 6/((-9)/(-2) + -3). Suppose -2*u + 26 = 2*x, 0*u + 2*u = -t*x + 34. Let h = u + -8. Is -1/18 equal to h?
False
Let w = 262 - 257. Is 39/7 at most w?
False
Let g be 0*4/(-4) - -4. Suppose -g*d = 3*d + 7. Let o be 12/15*(-1)/(-4). Is d >= o?
False
Let l be (-837)/186*(-4)/3. Let g(d) = 3*d**3 - d**2 + d + 1. Let x(f) = -5*f**3 + 3*f**2 - 2*f - 3. Let i(j) = 5*g(j) + 2*x(j). Let z be i(1). Is l >= z?
True
Let w = -0.1 - 0. Let a = -2.879 - 0.121. Which is greater: w or a?
w
Let a = -1 + 0.9. Let v = -0.0574 + 1.4574. Does v = a?
False
Suppose 1140 = -4*q + 20. Let n be q/68 - (-10 + 6). Is n at least as big as 1?
False
Let w(d) = d**3 + 10*d**2 + 9*d - 3. Let k be w(-9). Let h be ((-2)/(-8))/(k/(-21)). Suppose p - x - 3 = 2*p, 9 = 5*p - x. Which is greater: h or p?
h
Let d be 5*(-5 + (-115)/(-25)). Is d < -6/5?
True
Suppose -3*h - 45 = 3*n - 8*n, 4*n = 0. Let a = 7 - h. Let w be (-1)/(-1 + (-22)/(-23)). Are a and w nonequal?
True
Suppose 0 = c + 10*c - 2662. Is c at least as big as 242?
True
Let k = 75 + -44. Let u(r) = -3*r + 72. Let t be u(15). Let i = k - t. Is 4 less than i?
False
Let g = 37.3 - 37.1. Is g smaller than -7/9?
False
Suppose 3*t - 24 = -3*z - 48, 0 = 4*z. Is -70/9 at least t?
True
Suppose 467*a = 473*a + 12. Suppose l = -4*p - 23, -4*l = -5 + 1. Let x be (p - -1)*4/10. Is x greater than a?
False
Let p = -12 - -5. Let b(c) = -c**3 + 7*c**2 + 7*c - 87. Let r be b(6). Is p greater than r?
True
Let v be 15 + (-4 + 6)/(-2). Let x be 4/v + (-96)/(-56). Let o be x/8 + (-126)/(-72). Which is smaller: 13/5 or o?
o
Suppose -i = 2*i + 504. Let m = -21900 + 154478/7. Let g = m + i. Which is greater: 1 or g?
1
Let a = 0.0172 - -43.9828. Which is smaller: -5 or a?
-5
Let j = -82 - -46. Let u = j + 12. Which is greater: -21 or u?
-21
Let b = 144 - 265. Let n = 117 + b. Which is bigger: -7/2 or n?
-7/2
Suppose 0 = -4*r - 3*o + 13, -r + 4*o - 2 - 9 = 0. Let q(c) = c**2 + 9*c - 15. Let i be q(-9). Let d be 4/(5/(i/(-42))). Which is smaller: r or d?
d
Let u(t) = -t**2 - 17*t - 22. Let p be 134/(-8) - (-2)/(-8). Let o be u(p). Let x be (-11)/o*2/(-3). Is 1 greater than x?
True
Let v = -109 - -107. Let r(b) = b**3 - 13*b**2 - b - 12. Let j be r(13). Which is smaller: v or j?
j
Suppose -12*o - 222 = 606. Is o at least -64?
False
Let b(d) = 3*d + 11. Let u be b(-4). Let j be 0 + (-1 - u) - -3. Suppose 0 = -5*f - j - 2. Which is greater: f or 4/13?
4/13
Let o be 2 + (-2 + 10 - 9). Let w be ((-4)/6)/((-62)/6). Are w and o unequal?
True
Let h = -71 - -70. Let t be 1/2 + 26457/(-102). Let c = 259 + t. Which is greater: c or h?
c
Let d = -0.0915 + 0.1615. Which is greater: -4 or d?
d
Let k(q) = q**2 + 12*q + 10. Let i be k(-12). Let r = -9/2 + i. Suppose 3*u - n = 6*u - 15, -5*u - 2*n + 25 = 0. Which is smaller: r or u?
u
Suppose u + 23 = -3*v - 176, 3*v + 179 = 4*u. Let b = 59 + v. Is -6 at least as big as b?
True
Let f = -89 - -89. Let g(h) = -h**2 - h. Let r be g(f). Which is smaller: -1 or r?
-1
Suppose 2 - 10 = -2*z. Let j = -3 + z. Let v be j/(-5) + (-52)/(-60). Is v > 0?
True
Let d = -446 - -419. Let s be ((-21)/28)/(3/(-2)). Is d smaller than s?
True
Let h be (-2)/(-8) + 3010/(-40). Let t = 75 + h. Is 1 less than t?
False
Let z = 20 - 23. Let w be (-63)/266*4/z. Which is greater: w or -1?
w
Let t = 54 - 50. Suppose -n = -t*p + 11, -5*n - 27 = -5*p - 2. Is 1 greater than p?
False
Let v = 170 - 336. Is -165 at least as big as v?
True
Let o be (762/(-72))/((-1)/4). Let s = o - 42. Let a = 364 - 366. Which is bigger: s or a?
s
Let n = -0.6 + 1.2. Let c = n + -1.6. Let b be 2/18*(-3)/(-2). Is c at most b?
True
Let t = 15.776 + 0.224. Which is smaller: 0.2 or t?
0.2
Suppose -55*d + 66*d = -11. Is 3/302 not equal to d?
True
Suppose -11 = -2*w + 4*j + 13, -12 = -2*w - 2*j. Suppose 4*y - 4 - w = 0. Suppose 0 = -3*n + y. Which is bigger: -2 or n?
n
Let k be (0 - 2)*63/42. Suppose 9 - 28 = -3*s + 2*b, -4*b - 11 = 3*s. Let w be k/((-18)/20) - s. Do w and -2/9 have the same value?
False
Let s be -212*3*(-4)/(-24). Let h = s - -74. Let x = h - -65/2. Which is bigger: 2 or x?
2
Let k be 484/(-231)*67/(-20) + -7. Which is smaller: k or -1?
-1
Let k = 272.878 - -1.122. Which is smaller: 2 or k?
2
Suppose 33*l = 29*l - 24. Which is smaller: l or 1/14?
l
Let d = 10 + -78. Let c = d + 68. Which is smaller: -16 or c?
-16
Let o(m) = m**3 + 6*m**2 + 6*m + 4. Let l be o(-5). Let k = 6825/2368 - 189/74. Let q = -3/64 - k. Which is greater: l or q?
q
Suppose 14*m = 9*m. Suppose 5*o - 8 - 7 = m. Is o bigger than 7?
False
Let l = -63.126 + 0.126. Let w = l - -62. Let k = 4 + 6. Which is smaller: w or k?
w
Suppose -8*i + 15 = -3*i. Suppose -i*x + 4 + 11 = 0. Which is smaller: x or 4?
4
Let v be -7 + -7435*40/(-42488) + 0. Which is greater: 0 or v?
0
Let s(h) = -20*h**2 - 28*h - 53. Let a be s(-2). Is a at most as big as -80?
False
Let j be 20*(-4)/(-8)*-1. Let b(g) = 6*g + 14. Let i be b(j). Let z be 4 + 2*i/20. Is -2 greater than or equal to z?
False
Let s = 0.081 + 6.069. Let q = s - 1.15. Is 2/5 less than or equal to q?
True
Let k be -5*(-2 + 0)*(-28)/5. Which is smaller: k or -55?
k
Let t = 41 - 13. Suppose 32*u = t*u + 4. Suppose -4*k - 2 = -6. Is u < k?
False
Let f = 34 + -14. Let p = -20 + f. Which is greater: -0.1 or p?
p
Let j be 36/(-264)*4/21. Which is smaller: 0 or j?
j
Suppose 5*j - m = 15, 5*m - 1 = 3*j - 32. Suppose 0 = -4*x - x - 2*t + 26, t = -j. Let y be (-10)/12 + (-1)/x. Is y != -1/6?
True
Let x = 6.4 - 6.305. Let h = x + 0.905. Let p be (-4)/16*(-4)/5. Do h and p have different values?
True
Let j = 301 - 130. Are j and 169 non-equal?
True
Suppose 2*q + 4*y + 10 = 0, 4*q + 5*y + 6 = -8. Let i be -1*((-1344)/(-245) + (-2)/7). Let b = i + 229/45. Is q less than b?
True
Suppose 0 = 4*n - 2*n. Suppose -150*p - 34 = -152*p. Suppose 6*l - p + 47 = n. Which is greater: -4 or l?
-4
Let i(z) = -z**2 - 32*z + 185. Let w be i(5). Is w smaller than -185?
False
Let o(q) = q**2 + 4*q + 11. Let k be o(-9). Suppose k = -3*w + 7*w. Which is greater: 11 or w?
w
Let p be (-139828)/(-576) + (-4)/(-18). Let j = p - 243. Suppose 62*v - 42 = 47 - 27. Which is greater: j or v?
v
Let d(p) = -p**2 - 3*p - 2. Let u(t) = -2*t**2 + 4*t - 4. Let q be u(1). Let x be d(q). Is x != 1/35?
True
Let f = 0.8 + -1.3. Let z = f + 1.5. Let o = -2.2 - -0.2. Is z > o?
True
Let x be 102 + (-2)/(-7) + (-15)/(-21). Let s = 104 - x. Is 16/11 at least s?
True
Let l = -0.1 - -0.15. Let o = -2.05 + l. Which is greater: o or 3?
3
Let z = -60 - -62. Which is smaller: -24 or z?
-24
Let g = 408 + -314. Do 96 and g have different values?
True
Let h = -53 + 78. Let k = h - 17. Let i = 10 + -3. Which is bigger: k or i?
k
Suppose -17*s + 130 = -4*s. Let z be 1/(-2)*(-5)/s. Is 1 >= z?
True
Let o be (69/(-10))/((-12)/70). Let m = -40 + o. Is -1 at most m?
True
Let q = 81 + -77. Let n be 2/(-47)*(q + 0 + -3). Which is bigger: -1 or n?
n
Let y be (-5)/1*(-6)/(-10). Let o be (-6 - y) + (-1 - 1). Let u = 5 + o. Do u and -2/11 have the same value?
False
Let l be (-96)/(-17) + 2015/221 + -9. Is 7 at least as big as l?
True
Suppose -m = -0*m + 3*g - 11, -m + 15 = 5*g. Suppose -15 = -3*j, m*i - 4 = -3*j + 1. Let n be 1 - 1*(i + -2). Which is smaller: n or 6?
n
Let y be 3/12 + (-11100)/176. Let h = 63 + y. Let w = -12 + 13. Which is bigger: h or w?
w
Let v be 2/9 + (-52)/(-9) + -2. Suppose 5*y = 3*r - 52, 0 = r - 3*y + 4*y - v. Are r and 8 nonequal?
True
Suppos