, 30*h - 26*h = -5*k + 87. Let t(f) = 28*f - 1. Let w be t(1). Is w at most as big as h?
True
Let p be ((-6 - -6)*(3 + -4))/(-3). Let j(c) = c**2 - 8*c + 3. Let b be j(8). Suppose -b*m - 4 = -5*m. Is p not equal to m?
True
Let m be 1/((-5)/14) - 0. Suppose -19*n = -22*n - 6. Which is smaller: n or m?
m
Let g = -4.739 - 0.211. Let k = -5 - g. Let b = k + 0.07. Are b and 0.1 equal?
False
Let o = 1681 + -1464. Is o > 218?
False
Let o = -81223/8 + 10031. Suppose 4*y + 225 = -263. Let n = y - o. Which is bigger: n or -1?
n
Suppose 2*v + 3*i - 10 - 23 = 0, 4*i = 12. Let o be -31 - v/(-3) - -4. Suppose -4*d - 140 + 48 = 0. Is d < o?
False
Let q = 1376 - 1258. Is 119 less than q?
False
Let a(y) = -4*y + 33. Let w(b) = -2*b + 16. Let g(k) = -3*a(k) + 7*w(k). Let s be g(5). Suppose 2*o + 3 = 5*z + s*o, 2*o + 1 = -3*z. Which is bigger: z or 2?
2
Let q be (1 - 1) + (-7)/7 + -3. Which is bigger: q or -2?
-2
Let f = -5 - -26. Let o = 14 - f. Let x(b) = b**3 - 6*b**2 + 3*b + 4. Let m be x(5). Is m > o?
True
Suppose -i - 5*a + 0*a = -1, -i + 22 = -2*a. Suppose -4 = 3*j - i. Let d be 3/(-12) + 1/j. Is d > -2/3?
True
Suppose 2*i + 42 = 3*r, r - 18 + 4 = -2*i. Let d be (-4)/10 + 3953/295. Which is smaller: d or r?
d
Let v(k) = -k**2 + 7*k + 25. Let u be v(7). Suppose 6 - u = r + 3*s, -r = -4*s + 26. Is r bigger than -22?
False
Let r be (-28)/(-6) - (-5)/15. Suppose 2*l = 10, -3*y - 4*l + 6 = -r. Which is bigger: y or -21/5?
y
Let m = 80 + -138. Let w = m - -58.1. Which is bigger: w or 0.42?
0.42
Let a = -57955918/1511 - -38356. Is a at most 0?
True
Let h = -504 + 28223/56. Which is bigger: 0 or h?
0
Let a be 1/2 - (-98)/(-28). Suppose 4*n + 4 - 12 = -4*q, -2 = 2*q. Let s be -3*(n + 0 - 2). Is s < a?
False
Let b be 108 - (-3 - -10)*(-2)/7. Which is greater: b or 108?
b
Let p(x) = x**3 - 37*x**2 + 108*x + 45. Let d be p(34). Is d greater than 0.1?
True
Suppose 3*j + 10 + 5 = 0, 0 = -4*d - j + 11. Let c be 1/4 + (-5)/d. Let y be 7 - (0 - 3) - (-1145)/(-115). Which is bigger: c or y?
y
Let u(x) = x + 24. Let c be u(-9). Suppose 0 = 4*s + 4, -2*h - 208 = h + s. Let k be h/c - (-6)/2. Is 2/7 bigger than k?
True
Let p be 1326/204 + (-20)/2. Which is greater: p or -1.5?
-1.5
Suppose 0 = -6*g - 3 - 189. Which is smaller: -28 or g?
g
Let l(d) = d - 5. Let o be l(5). Let r = 104957/40 - 2624. Is r < o?
True
Let d = 0.5284 + -0.0284. Which is smaller: 14/5 or d?
d
Let j be 1*(-5 + 2921/584). Which is greater: 1 or j?
1
Let p = -549/124 - -114/31. Suppose -2 = 2*z - 0. Is p > z?
True
Suppose 5*m - 4*a - 66 = 0, -3*m + 17 - 3 = 4*a. Let r = 8 - m. Let s = 0.4 + -0.4. Is s > r?
True
Suppose 3*f + 10 = 19. Let l = 6 + 245. Let w = 1013/4 - l. Which is smaller: w or f?
w
Suppose 4*z = 5*c - 95, 0*z + 4*z + 3 = c. Let o = -122 + 146. Which is smaller: c or o?
c
Let c = -2.5 - -7.8. Let i = -0.4 - 0.6. Do c and i have different values?
True
Let k be (-16)/(-18) - (-10)/(-15). Suppose r - 516 = 4*q, 6*q - q + 4*r = -624. Let p be (1 - -3) + q/28. Which is greater: p or k?
k
Suppose -v + 5 - 10 = 0. Let d be ((-27)/(-6) - 1)*2. Let k be (-10)/(-35) + 12/d. Which is greater: v or k?
k
Suppose 5*z - 6 = -5*s + 9, 15 = 3*s - 3*z. Is 54/11 smaller than s?
False
Let s = -127.8 + -24.2. Which is greater: s or 0.1?
0.1
Suppose p + 43 = -46. Let s = p - -94. Which is smaller: 7 or s?
s
Let v(l) = 5*l + 43. Let b be v(0). Do 47 and b have different values?
True
Let w = 27028288/55 - 492412. Let z = w - -1530937/1155. Let j = z + -337. Which is smaller: j or 0?
j
Let g(u) = -u**2 - 11*u - 9. Let i be g(-5). Let l = 40 - i. Which is bigger: 17 or l?
l
Let j = 18 - 12. Let x be (2/6)/(j/(-54)). Is 2 >= x?
True
Suppose -3*z + 5*k - 25 = 146, 5*z - 4*k = -272. Is -50 at most as big as z?
False
Suppose 33*g - 28*g - 2*k = 5, -2*g = 2*k - 2. Let r be 3/4 - 3/(-12). Let i be r/3 + 3/(-6). Is g equal to i?
False
Let h be ((-6)/(-49))/(95/3059). Which is smaller: 3 or h?
3
Let r be ((-2)/9)/(6/(-89) + 0). Let s = 7049/2133 - r. Are s and -1 unequal?
True
Let p(g) = g**2 - 2*g - 1. Let v = -9 + 8. Let u(w) = -w**2 - w - 1. Let x be u(v). Let j be p(x). Is j at most 4/3?
False
Let o(b) = b + 2. Let c be o(-6). Let n be 1/3 + c/(-6). Let y = -0.017 - 0.083. Which is smaller: y or n?
y
Let z = -0.2203 - 0.8797. Which is smaller: z or -11?
-11
Let u(l) = l - 3. Suppose -3*z - 4*s - 11 = 0, 4*s + 0*s + 23 = z. Let n be u(z). Let t = 162 + -1130/7. Are n and t unequal?
True
Let h = -4552/735 - 1/147. Which is greater: h or -5?
-5
Let v(o) = -o - 7. Let q be -2*3/30*(6 - 1). Let z be v(q). Is 3 smaller than z?
False
Let z(v) = -v**3 + 8*v**2 + 6*v + 8. Let g(w) = 2*w**3 - 17*w**2 - 12*w - 15. Let i(k) = -3*g(k) - 7*z(k). Let j be i(6). Which is smaller: j or -14?
-14
Let k(l) = -l**2 + 5*l + 3. Let j be k(3). Let t be 2/(44/75 + (-6)/j). Is t less than or equal to -25?
True
Let v = -127.969 + 128. Do v and 0.1 have the same value?
False
Let g(n) = 4*n**2 + 4*n - 28. Let x(t) = -4*t**2 + 3 + 3*t**2 + 5 - 1 - t. Let r(h) = 2*g(h) + 9*x(h). Let u be r(-5). Is u at most as big as -1?
True
Suppose -3*h - 4*j + 222 = -3*j, 5*h + 4*j = 363. Which is greater: 76 or h?
76
Let r = 64/39 - -126/13. Which is smaller: 11 or r?
11
Let i = -4.09 + -40.83. Let h = 45 + i. Which is bigger: 2 or h?
2
Let h = 57 + -56. Which is smaller: h or 1/217?
1/217
Let g be -1 + 3/((-3)/(-4)). Suppose -g*l = 1 + 8. Let h = 2724 + -13631/5. Is l at most h?
True
Let k be ((-5)/((-5)/2))/((-15)/10). Which is smaller: 0.04 or k?
k
Suppose 27*b + 1 = 28*b. Suppose 4*s - 5 = -b. Which is greater: 4/9 or s?
s
Let m = -21.296 - -0.196. Let r = 42 - 21. Let n = r + m. Which is greater: n or -0.4?
n
Let a be (10/(-25))/(6*(-4)/(-12)). Is -3/4 not equal to a?
True
Let o = -21 - -7. Let z be 1/(1/(-23)*1). Let n = z + 9. Is o not equal to n?
False
Let h(z) = -z**3 + 15*z**2 - 26*z - 18. Let o be h(13). Let v be (-3 + 2)*-4 - (-15 - o). Let a = 32 - 191/6. Which is smaller: a or v?
a
Let n = -17.01 + 17.01. Which is smaller: -120 or n?
-120
Let l = -117 + 81. Which is greater: l or -39?
l
Let v(p) = 80*p + 2. Let t be v(15). Let z = t + -56496/47. Is z less than 0?
True
Let w be (-2)/5 + 4/10. Suppose 4*n = -3 - 5. Which is smaller: w or n?
n
Let b(c) = 8*c - 38. Let j be b(11). Let z be (-3 + (-30)/(-12))/(1/j). Do -26 and z have the same value?
False
Let l = 2.7 + -0.2. Let z = l + -2.4. Which is greater: z or 11?
11
Let w = 0.06 + 6.94. Let l = 4 - w. Is l greater than 1?
False
Suppose -3*r = 49 + 32. Let b = 2 - 1.9. Is r < b?
True
Suppose 3*q = -3*p + 339, 3*p = 4*q - 6*q + 343. Is 115 not equal to p?
True
Let l be 8/(-66)*57/38. Is -7/20 bigger than l?
False
Let t = -3.2 + 23.2. Let w = 11 - t. Let p = w - -8.95. Is p at most as big as 1?
True
Let m = -19 - -18.31. Let n = m - -0.69. Which is smaller: -9 or n?
-9
Let y = -1.2 - 6.8. Let h = -8.06 - y. Let r = -75.3 - -75. Which is smaller: h or r?
r
Let c be (-14)/5*(-7 + -3). Let g = c - 44. Let b be 1*-3 + g/(-4). Which is smaller: b or 3?
b
Suppose 8 = -3*y + 7*y. Suppose -3*m = -6*m. Suppose 3*t = k - m*k - 11, -4*k + 17 = -3*t. Is y != k?
False
Let h be 10/855*3 - 0. Let a be (5 + -5)/(1*-2*1). Is h > a?
True
Suppose -15 = -21*j - 36. Let l = -15618/11 - -1418. Which is smaller: l or j?
l
Suppose -4*h - 2*m + 82 = -66, h = -3*m + 32. Is h less than 31?
False
Let d = -5/23 + 58/161. Let j be ((-1 - 0)*0)/(-2). Which is smaller: j or d?
j
Let h be 3/(-6) + 37/4. Suppose 0 = -177*d + 834 + 354 + 228. Which is smaller: d or h?
d
Let f = 1.95 - -0.05. Let j = 294 + -370.9. Let h = 77 + j. Do h and f have the same value?
False
Let r = 116 - 199. Which is greater: -84 or r?
r
Let f(g) = g**2 - 5*g + 4. Let q be f(3). Let w = -36 + 34. Is q at most w?
True
Suppose 5*b + 18 = 2*c + b, 3*c = -5*b - 28. Let z(q) = 6*q - 85. Let p be z(15). Is c less than or equal to p?
True
Let b = -285 - -278. Let p(i) = i + 4. Let n be p(-2). Let h = n - 2. Is h greater than b?
True
Let f = -72 + 73. Which is smaller: -50 or f?
-50
Let s = 106 - 958/9. Are -17/2 and s non-equal?
True
Let k = 17 - 25. Let h be (-572)/142 - k/2. Which is smaller: -1 or h?
-1
Suppose -4*w - 5*i - 10 = 0, -6*w - i + 6*i + 10 = 0. Which is smaller: 1/15 or w?
w
Let q = 13 + -9. Let l = 5.74 + 0.26. Let d = q - l. Do d and 1 have the