+ 26. Which is greater: 1/666 or h?
1/666
Let r = 46.91 - 45. Let y = 0.17 - 0.26. Let a = y - r. Which is bigger: 3 or a?
3
Suppose -74*s + 1224 = -92*s. Which is smaller: s or -69?
-69
Let s(d) = -d**3 + 2*d**2 + 7*d + 9. Let a be s(4). Which is smaller: -2 or a?
-2
Let o be 1 + -2 - (-2 - (1 + 4)). Let n(x) = x**2 - 2*x. Let g be n(6). Suppose 4*w = 2*s + g, 4*s = -w + 6*s + 3. Is o smaller than w?
True
Let f = -4159 + 49879/12. Is f at least -1?
False
Suppose 7*o - 203 + 77 = 0. Suppose 5*w - 3*f + o = 0, 12 - 1 = -4*w - f. Do 2 and w have different values?
True
Let r be (142/(-213))/(2*2/198). Which is smaller: -171/5 or r?
-171/5
Let t be 10/(-4) + (-95)/(-38). Is t at most as big as -8/129?
False
Let l(p) = -4*p**2 + 7*p - 6. Let i be l(4). Let q = -39 - i. Suppose 0 = -q*w - d - 42, -2*d - 70 = 5*w - d. Do w and 0 have the same value?
False
Let u = 0.142 + -0.142. Which is greater: u or 13/3?
13/3
Let u(x) = -x**2 - 13*x - 23. Let b be u(-2). Is b less than -3/86?
True
Suppose -3*l - 113 = b, l - 2*b = -0*l - 40. Let y = l - 5. Is y at least as big as -42?
False
Let b = -7821.1 + 7821. Let s be (48/(-14))/(4/(-70)). Is b < s?
True
Suppose -d - 1 = 0, -i - 6*d + d = 0. Suppose -3*t - 4 = r - 20, i*t = 4*r + 21. Suppose -2*p = r + 1. Which is smaller: p or -7/3?
-7/3
Let p = 1/4029 + -153109/28203. Which is smaller: -6 or p?
-6
Let h(p) = 4 - 5 - 3*p + 0*p + 12. Let g be h(0). Is g smaller than 12?
True
Let l = 354 + -345. Which is smaller: 99/10 or l?
l
Let a = 0.3 + -0.3. Let r = 1 + a. Let m = -2231/9 - -248. Which is greater: r or m?
r
Let k = 651 + -1159. Is -507 less than or equal to k?
False
Let n be (-320)/(-304) - (-5)/(-95). Is n at most as big as 3/952?
False
Suppose -6*k + k = 3*k. Let t be ((-2 + (k - -2))/1)/2. Suppose y = -2*y - 3. Which is smaller: t or y?
y
Let t be (-54)/135 + (1 - (-6)/(-10)). Does 3/353 = t?
False
Let h be 20/(-40) + 2/4. Suppose -c = -3*a, h = 5*c - a - 2*a - 12. Are c and 3 nonequal?
False
Suppose 6*t - 8*t - 28 = -v, 0 = -6*t - 2*v - 104. Suppose 4*r - 31 + 99 = 0. Which is smaller: r or t?
r
Suppose 0 = 4*l - 4*k - 8, -11*l + 8 = -14*l - 4*k. Let h = 292 - 5553/19. Which is bigger: h or l?
l
Suppose -144 - 233 = -5*k + 2*m, 3*k + 2*m = 239. Let c = k + -52. Let j be 6*4 + -2 + 2. Is c bigger than j?
True
Let o = -46 + 33. Let g = -60 - -62.2. Let r = g - 2.1. Is r equal to o?
False
Suppose -4*h + 294 = 3*h. Let y = h + -125/3. Are -1 and y equal?
False
Let h be (-4)/34 + 1/(119/133). Which is smaller: -7 or h?
-7
Let b = -76.82 + 77. Which is smaller: -3 or b?
-3
Let r(k) = k + 7. Let d be r(-3). Let n be 3 - (d - (4 - 1 - 2)). Suppose x + 0 = t + 2, x + 2 = 5*t. Are t and n non-equal?
True
Let c be (165/10)/(-11)*(-66)/9. Is c at most as big as 2?
False
Let g = -50 + 84. Let k be (-378)/g + 8/68. Which is smaller: k or -10?
k
Suppose h = 3*d + 4, -5*h + 2*h + 3*d = 0. Let x = h + 2. Suppose 5*n - n = x. Is -1/10 > n?
False
Let m = 0.0212 - 0.0212. Is m bigger than 0.0494?
False
Let z = -1 - -4. Suppose 4*r = z*r + 2. Which is smaller: r or 0?
0
Let i be 18/(-99) + (-105)/(-33). Let m be -5*i/(15/5). Which is greater: m or -7/2?
-7/2
Let y = 357 + -352.4. Let d = 16.4 - 18. Let h = y + d. Which is smaller: 1/4 or h?
1/4
Let f = 1467 + -1484. Suppose -4*c + 4*a = 64, 5*c + 89 = -4*a - 0*a. Does c = f?
True
Let g(q) = 3*q - 25. Let d be g(6). Let x(a) = a**3 + 5*a**2 - 16*a - 11. Let m be x(d). Is 1 greater than or equal to m?
False
Let x = 315 - 304. Is 11 not equal to x?
False
Let z(b) = -4*b**3 + 8*b**2 + 5*b - 7. Let r be z(3). Which is smaller: r or -146/5?
-146/5
Let p be 1/2*(3 - 1). Suppose 0*a - a = -p. Let j be (-60)/(-70)*(-14)/26. Is a at least j?
True
Let t(y) = -156*y + 12. Let x be t(-1). Is x greater than or equal to 167?
True
Let y(t) = t**2 - 2. Let i be y(2). Suppose -p = i*g - 21, 4*g - 4*p - 28 + 4 = 0. Let w = -45.4 - -45.4. Which is greater: g or w?
g
Suppose -i + 3*i = -m + 7, 2*m + 14 = 3*i. Let p be 6*(1 + 2/m). Let b be 76/832 + p/39. Which is bigger: b or 0?
0
Let r(j) = 4*j**2 - 10*j - 3. Let i(y) = 3*y**2 - 9*y - 2. Let m(g) = 5*i(g) - 4*r(g). Let o be m(-5). Suppose -2*w + o = -0*w. Is 2/5 bigger than w?
False
Suppose 0 = 3*s + 5*w - 42, -w - 3 = s - 5*w. Suppose -5*r = 2*o - 12, 0*o - o = 4*r - s. Is 3/71 less than or equal to o?
True
Let y be 1*((2 - 5) + 2). Which is smaller: y or -17/7?
-17/7
Let j(q) = -4*q - 16. Let w be j(-4). Suppose 2*d + 10*d - 24 = w. Let h be 4/(-2) + (-8)/(-2). Is d <= h?
True
Suppose 0 = 23*c - 15*c - 168. Suppose -s - b = 4, 0*s + 4*s + 5*b + c = 0. Are -7 and s equal?
False
Suppose -4*f + 9 = -f. Let m be ((-3)/6)/(f/48). Let g = -15 - m. Which is smaller: -6 or g?
g
Let v be (-2)/3 + 2 - 2. Let f = 41 + -112. Let k = f + 68. Which is greater: v or k?
v
Let n = 645 + -645. Do n and -130 have the same value?
False
Suppose -3*t + 2*s = -3*s - 70, 3*t - 74 = 4*s. Let m be (-6)/t*(-2)/(-22). Let b = -2/11 + m. Which is smaller: b or -1?
-1
Let g be 6/(-33) - 169/(-143). Which is smaller: 30/41 or g?
30/41
Let r = 2.151 + -0.351. Are 0.1 and r nonequal?
True
Let u be (-12)/(-1930)*(-98)/(-98). Which is smaller: 1 or u?
u
Let p = -11 + 9. Let a be ((8*1)/p)/((-20)/10). Let y = -6 + 9. Do y and a have different values?
True
Suppose 13*l + 6757 = 42*l. Which is smaller: l or 232?
232
Let w = -1800 - -178204/99. Is w greater than -1?
True
Let v = -308 - -907/3. Which is greater: -5 or v?
-5
Let d = 78 - 82.97. Let m = 5 + d. Let z = m + 0.27. Is 0 at least z?
False
Let d be 21/6 + (-6 - (1 - 3)). Do d and -16/5 have different values?
True
Let f = 131/36 + -26/9. Let m = 9 + -21. Let n = 62/5 + m. Which is smaller: f or n?
n
Let c = 289/1085 + 3/155. Let g be 2/(-8)*0 + 18/21. Is c > g?
False
Let j be (-25288)/(-81795) + 12/(-42). Let p = 12/205 - j. Suppose -5*r + 5*r + 2*r = 0. Is r at least as big as p?
False
Let t be 2/(-15) - 1573/15 - -1. Let j be (-143)/t + 6/(-16). Which is bigger: 4 or j?
4
Let k = -131 + 130.8. Let b = -1 + 20. Is k <= b?
True
Let g(q) = q**2 - 6*q - 3. Let a be g(3). Let y be 4/(-6)*a/(-26). Let h = -406.7 - -406.6. Is h bigger than y?
True
Let o(m) = m**2 - 2*m - 2. Let q be o(3). Is q smaller than 25/16?
True
Let j be 1/4 + (-49)/(-196). Let i be (-6)/(-4) + 0/(-2). Are j and i nonequal?
True
Let t(p) = -p**3 + p**2 - p - 3. Let x be t(0). Let w = -28 + -59. Let o = 84 + w. Are o and x nonequal?
False
Let d = -2373/2 + 1117685/942. Are 0 and d nonequal?
True
Suppose -23*y = -18*y - 125. Let d = y - 220/9. Which is smaller: d or 2?
d
Let u = 45813.037 - 45787. Let p = u - 0.037. Let d = 25.7 - p. Are 1 and d non-equal?
True
Let p = 23 - 21.3. Let d = -1.6 + p. Is d bigger than 3.1?
False
Let q = 64 + -7. Let o = 58 - q. Let i = 19 - 131/7. Which is greater: o or i?
o
Let c be (-41)/3*216/2016. Is 0 smaller than c?
False
Let c = 366 + -36601/100. Let k(u) = 753*u - 4517. Let r be k(6). Are r and c nonequal?
True
Let o = -13222 - -8871964/671. Is o smaller than 1?
True
Suppose 18*q - 73 = -19. Let v(x) = -x**2 + 7*x - 8. Let k be v(6). Is q <= k?
False
Let t = -87610/87 + 1007. Which is smaller: 1 or t?
t
Let l(j) = -2*j + 36. Let q be l(15). Suppose 5*v - 4 = -2*s, -2*s + v = 2 - q. Let x(n) = n**2 + 6*n + 3. Let f be x(-6). Which is greater: s or f?
f
Let j = 4653/6524 - -1/932. Is 0 equal to j?
False
Suppose 4 = -2*j - 2*x + 3*x, -x - 6 = 3*j. Is 3 greater than or equal to j?
True
Let b = -0.5 + 0. Let t = b - -0.7. Let u be 5 - (5 + (-15)/(-20)). Does t = u?
False
Let w = -5.3 - -0.3. Let s = 347 + -186. Let j = s - 485/3. Is w smaller than j?
True
Suppose 2*x = 3*j - 15, 4*x + 7 + 13 = 4*j. Suppose 3*k = 8*k + j*t - 80, -24 = -4*k + 4*t. Which is smaller: k or -1?
-1
Let g = -220 + 199. Which is bigger: -22 or g?
g
Let v be -25 + 12/(3/(-1)). Let q = v - -27. Let f be q/5 + 5 + -3. Is f > 1?
True
Let o = 1131835643/5026192 + -2/314137. Let n = -225 + o. Suppose 5*r = 2*t + 17, -2*t + 2*r = 7*r - 13. Which is bigger: t or n?
n
Suppose 4*a = 2*a - 3*r - 15, 3*r + 15 = 3*a. Is -98 at most as big as a?
True
Let z = 66 + -42. Suppose -23 = -3*g - r + 53, 3*g + 3*r = 84. Is g <= z?
True
Let a = 12 - 22. Let v = -25 - a. Let p be v/45 + (-1)/(-4). Which is smaller: -1 or p?
-1
Suppose 26*k + 855 = 21*k. Is k bigger t