26. Let r = f - -70. Suppose 0 = 2*i - 4*i + r. Which is greater: 31 or i?
31
Let b = -4582 + 7103. Is b > 1?
True
Suppose -49*b = -61*b - 3336. Let a = 268 + b. Which is smaller: a or -0.11?
a
Let z(p) = -p**2 - 3*p - 3. Let s be z(-3). Let n be (-3 - -2) + s/(-15). Let y be 6*16/(-24)*(-1)/(-38). Is y != n?
True
Suppose 3*a - 8 = 19. Suppose 16*f + 5*f + 63 = 0. Let j be (4/f)/((-3)/a). Which is smaller: 2 or j?
2
Let a be 2*(-1)/(-4)*-2. Let j be 150/45 + (-35)/12. Are a and j non-equal?
True
Let k be 3/(-3 - 111/(-36)). Let y = 1508 - 1472. Are k and y non-equal?
False
Suppose 6*h - 25 = h. Let g be 2/(-3)*((1 - 2) + (-1500)/192). Do h and g have the same value?
False
Let y be ((-14)/4)/(4/(-40)). Let k = -7818 + 7855. Which is greater: y or k?
k
Suppose -9 = -3*p, 62*g + 33 = 58*g + 3*p. Which is smaller: 2/31 or g?
g
Suppose -2*j = 8, 394 + 198 = 5*x + 2*j. Let r be ((-4)/3)/((-16)/x). Suppose 0 = r*l - 33 - 87. Which is smaller: l or 2?
2
Let n = 138.75 - 139. Let z = n + 0.45. Are z and 42 equal?
False
Suppose -12 = -5*b + 3. Let w = 87421 + -87417. Which is smaller: w or b?
b
Let f = 1639 + -1951. Is f less than or equal to -316?
False
Let s be (-57)/71915*1/4*(-20)/(-5). Do 0 and s have the same value?
False
Suppose 34394*q = 34417*q - 32982. Which is greater: q or 1433?
q
Let r be 2790/(-217)*(-588)/10. Which is greater: r or 753?
r
Let w = 0 + 0. Let p be w*((-6)/4 + 2). Let d = 729.9 + -721.9. Which is bigger: d or p?
d
Let x = 19.2 - 19.8. Let s = 0.2 + x. Is s at most as big as -1/6?
True
Let t = -132.061 - -131. Let g = 0.039 - t. Let a = g + -1.1. Is a != -53?
True
Let k(p) = 3*p**3 + p**2 - 3*p + 3. Let t = 3 + -2. Let j be k(t). Suppose -j = -4*d + 2*b, 0*b - 6 = -5*d + 3*b. Which is smaller: -0.9 or d?
-0.9
Let w(l) = 3*l**2 - 6. Let q be w(-2). Let k be (q/(-8))/((-2)/(-40)). Suppose x - 4 = -18. Is k at most as big as x?
True
Let d be (-111)/(-7)*4/12. Let s = d - 213/35. Which is bigger: s or 1?
1
Suppose 7*g + 91 - 35 = 0. Let a be 5 + (-175 - g/4). Which is smaller: -167 or a?
a
Let l(n) = -n + 43. Let r be l(37). Let j be 8/r*(-24)/1232. Which is smaller: -1 or j?
-1
Let v(h) = h - 6. Let i be v(4). Let b be (206*-1)/i - 0. Let c = -60 + b. Is c != 43?
False
Suppose -3*c = 65*s - 66*s + 4, 2*c + 1 = -s. Suppose -4*d - 3*r - 7 = 1, 5*r = -2*d - 18. Let j be (1*(3 - 2))/d. Is s <= j?
True
Let f = -56.6 - -56.659. Let y = 0.011 + f. Let w = 0.1 - 0.2. Which is bigger: y or w?
y
Let a = -7 - -6. Let j(f) = -33*f**2 - 6. Let x(u) = -67*u**2 + u - 14. Let w(y) = 5*j(y) - 2*x(y). Let d be w(a). Which is smaller: -30 or d?
d
Let m be (-2)/9 - (-5 - (-22060)/36). Let p = 607 + m. Let g = 5 + -5. Is g at least p?
True
Suppose -15137*l + 10 = -15142*l. Is l <= -45/58?
True
Let c = -1165.612 + 1163. Let v = -26.242 - c. Let a = v + -0.37. Which is greater: 2/3 or a?
2/3
Let l = 0.13662 - 0.03812. Which is greater: 2 or l?
2
Let w be ((-2)/(-6))/(18/(-216)). Let d(h) = 13*h + 44. Let q be d(w). Which is smaller: -7 or q?
q
Suppose 4*l + 0*l + 788 = 0. Let u(n) = -9*n**2 + 113*n - 14. Let m be u(14). Which is smaller: l or m?
l
Let j be -9*(40/260 + 41/(-13)). Let n be ((-8)/18)/((-36)/j). Is n less than or equal to -394?
False
Let r = 256.098 + -256. Let g = 0.002 + r. Let v be (-3)/9*(-18 + 0). Which is bigger: g or v?
v
Let z = -0.07806 + 990.07806. Is z less than -0.05?
False
Suppose 6 = -3*r, -2*c - 163 = 3*c + 4*r. Let y = 177/4 + -899/12. Let k = y - c. Which is bigger: 5/2 or k?
5/2
Let t(b) = -33*b**2 + 3*b - 2. Let f be t(1). Let i = f + 34. Suppose i*a + 1 = -3*x - 2*x, -2*a = -2*x + 8. Is x less than or equal to 5/29?
False
Let l = -76 + 27. Let t be (6/12 + -9)*(-5 + 1). Suppose -4*w - t = d, 5*w - 24 = -4. Is d greater than l?
False
Let a = -387/4 - -29811/308. Are -1 and a unequal?
True
Let y be -10*(10/(-4) - 24/(-12)). Let n be (-3)/4*(-20)/y. Let m be n + 3 + -1 + 2. Are m and 11 equal?
False
Let c be ((1200/(-312))/(-25) - 4/26)/(-1). Are c and -17/890 unequal?
True
Let i be 4641/14076 - 2/8. Is i <= 1?
True
Let w = -588 + 587. Which is smaller: 624 or w?
w
Let h = -6715 + 7895. Is 1183 bigger than h?
True
Suppose -o - 23 = -4*v, o + v + 22 + 1 = 0. Let u be (-4 - 8*-6)/(-1 + -1). Which is bigger: u or o?
u
Suppose -5*z = 5*f - 78 - 7, 3*f - 19 = 5*z. Which is greater: 400/31 or f?
f
Suppose -5*a + 47 = 5*u + 7, 3*u + 2*a = 26. Suppose u*y = -2004 - 1616. Which is greater: -363 or y?
y
Let i be 2592/22 - 20/(-110). Suppose 10 = -116*u + i*u. Suppose z + 35 = -4*k, -u*k + z = 17 + 29. Which is smaller: -6 or k?
k
Let z = 476 - 594.7. Let u = 114 + z. Is u greater than 1?
False
Let u be (2/1029)/(80/(-48) - -2). Which is smaller: -0.2 or u?
-0.2
Suppose 3*f - 5*f - 6 = 4*b, -2*b = 2*f - 2. Let q be 24795/225 - 1/f. Is 110 < q?
False
Let b = -3447 + 3581. Let j be (2 - -2)*10/8. Suppose 3*h + 97 = 4*q, 0 = -h + j*h - 3*q + b. Are -36 and h equal?
False
Let c be 15*(-6)/(-36) + (49 - 51). Let f = 10 - 2. Is c bigger than f?
False
Let l(f) = -5*f**2 - 32*f - 73. Let a be l(-3). Are a and -9 unequal?
True
Let l(q) = -76*q + 3 + 149*q - 72*q. Let w be l(3). Suppose 0 = 2*v - w + 8. Which is bigger: v or -0.7?
-0.7
Suppose -5*g = -4*g. Suppose -2*a = -15*f + 17*f - 20, 3*f = 3*a. Let s be (1 - a)/((-180)/(-24) + -11). Which is smaller: s or g?
g
Let i = -24 + 22.3. Let z = i + 16.7. Let d = 15 - z. Which is greater: 3 or d?
3
Let b = -23868 + 23868.03074. Which is smaller: 2/5 or b?
b
Let z be (0 - (-36)/(-34))/((-430)/(-5160)). Is -12 bigger than z?
True
Let h = 1727 + -1726.9. Let d = 65/9 - 1081/153. Which is bigger: d or h?
d
Let p = -215.504 + 0.504. Let m = -231 - p. Is -0.2 < m?
False
Let c = -13 + 2. Let r be 76/(-4 + ((-1836)/(-75))/6). Let q be (-2)/16 - r/80. Are c and q nonequal?
True
Let d = 3677/213829 + 1/8331. Let m = -674/12243 + d. Let f = 45/212 - m. Which is smaller: f or -16?
-16
Suppose -5*k + 32 = 4*f - f, 4 = -2*f + 3*k. Let i = 5 - 23. Let o be (-20)/(-110) - i/22. Which is bigger: o or f?
f
Let u be (5/(-5)*6)/3. Which is smaller: u or -8/3?
-8/3
Suppose -67*t - 4643 = -64*t - c, 3077 = -2*t - 3*c. Which is smaller: -1544 or t?
t
Let z be ((-1477)/(-4))/(-1) + 3201/12804. Is -370 at most as big as z?
True
Let b be 2*-2 - 198/(-44). Let t be (-20)/(-48) - (-6 + 3). Let v = t - 7/2. Which is greater: v or b?
b
Let f = 9249/14 - 1190993/1806. Do 0 and f have different values?
True
Let y = 0.0871 - -139.3129. Let f = -140 + y. Which is smaller: f or 5?
f
Let k(n) = 16*n**3 - 60*n**2 + 23*n + 6. Let f be k(3). Let m = -4 + -28. Which is smaller: f or m?
f
Let k be ((-9)/(-12))/((-2)/16*-2). Suppose -5*z = -3*o - k, 4*z - 2*o = o. Let i(w) = w**2 + 6*w + 3. Let s be i(-6). Is s at most as big as z?
True
Let h = 75 - 228. Let t be (-10)/(150/h) - 1. Which is smaller: 8 or t?
8
Let i(p) = p**2 - 50*p + 431. Let z be i(22). Is z <= -185?
True
Let q = -8192 - -10588. Is q > -0.1?
True
Let h(l) be the first derivative of l**2/2 - 10. Let w be h(4). Suppose w*b = b + 24. Is 8 smaller than b?
False
Let b = -3 + 5. Let l(u) = -u**3 - 5*u**2 + 2*u - 36. Let d be l(-6). Let m be 1/3*(3 + d) + 1. Is m != b?
True
Let r = 1301/108876 - -3/844. Is r less than 1?
True
Let w be 4/12 - (-1066)/(-39). Let f be w + (7 + -63)/(-8). Which is bigger: 3 or f?
3
Let f = -156 - 479. Which is bigger: f or -3/5?
-3/5
Let a(r) = 57*r - 2. Let s be a(-3). Let y(u) = -4*u**3 - 7*u**2 - 72*u + 215. Let k be y(3). Is k > s?
True
Let r = -3 + 3.01. Let l be (-220 + 10)*(-2)/4. Let a = l - 105. Are r and a non-equal?
True
Let b = 7249518/32015 + 464890/337. Let h = -1606 + b. Which is bigger: 0 or h?
0
Let r = 2089 - 2104. Is -17 equal to r?
False
Let x be 1 + 4 - (-22 + -16 + 8). Suppose -29 = -0*g - g. Is g greater than x?
False
Let z = -1 + 17. Suppose 0*h = -h + 43. Let n = -25 + h. Is z less than n?
True
Let h = -294 + 324. Let w be 4/h - 2656/3720. Which is smaller: 0 or w?
w
Let k(i) = -4*i - 2. Let w be k(-1). Let q(d) = 4*d - 6*d + 9 - 156*d**2 + 157*d**w - 8*d. Let c be q(7). Is c at least as big as -11?
False
Let h(p) = 10*p**2 - p - 218. Let l be h(-20). Does 3803 = l?
False
Let s = -6561 + 6543. Which is greater: s or 31?
31
Let f = 3 + 2. Let k = f + -4.8. Let s = 27.203 + -27.803. Is s less than or equal to k?
True