ose 8 + 2 = 5*l. Let m be -1*7/(-2)*l. Is m not equal to 9?
True
Let h = 3 - 4. Let t(x) = -x + 12. Suppose -64 = -4*q + 4*w, 0 = 4*q + 3*w - 2*w - 39. Let u be t(q). Which is greater: h or u?
u
Let h be -1 - (3009/1005 + -4). Which is smaller: -1 or h?
-1
Suppose 5*s + 3*l = 5, 0 = -s + 3*l + 10 - 9. Is s >= 14/89?
True
Suppose -26*h - 15*h = -55*h + 28. Let v = 3 + -4. Let p = v + -1. Which is bigger: p or h?
h
Let x be 1/(-4)*(16 - 8). Are -20/9 and x non-equal?
True
Let s = -6.41 + 0.01. Which is bigger: s or 2?
2
Let u(x) = 2*x**2 + 46*x - 3. Let y be u(-22). Let t(r) = -2*r**2 - 6*r + 10. Let f be t(-7). Which is bigger: y or f?
f
Suppose -2*z + 4 = -14. Suppose -5 = 4*d - z. Let a be ((-4)/(-6))/(2/3). Is d less than a?
False
Let s = 33 + -34. Let w = -3476967 + 100842278/29. Let v = 353 - w. Is v at most s?
False
Let g = -24 + 13. Let l = g - -11.9. Let k = -0.5 + l. Is k != -2/3?
True
Let p = -224/1045 + 6/55. Let n = -0.07 - -6.07. Let x = n + -5.9. Which is smaller: x or p?
p
Let v be 33/(-55)*(1 - 37/(-8)). Is v > -4?
True
Suppose -2 = -p + 2. Let y(n) = -n**3 + 9*n**2 - 8*n + 2. Let d be y(8). Suppose -d*h - 2*x + 6 = 2*h, 5*h + p*x = 12. Which is smaller: h or -2/7?
-2/7
Let d = 47 - 44. Suppose 3*g + v = -2*v - 9, -13 = d*g + 4*v. Is 3/20 not equal to g?
True
Let b be (-27)/135*(3036/(-8))/3. Which is smaller: 26 or b?
b
Let h = -1/4618 - -17339/99287. Which is smaller: h or -1?
-1
Let z be 6/27 - 227/9. Suppose -2*w - 2*g = -6*g + 48, 3*g = 0. Let r = z - w. Which is smaller: 1/15 or r?
r
Suppose -16*y + 1380 = 4*y. Is y bigger than 69?
False
Let a be (5/2)/5*(-36)/2292. Which is bigger: -1 or a?
a
Suppose 0 = -2*o + 2*a - 128, 5*o + a = -0*o - 320. Is -63 <= o?
False
Suppose p - 5 = -0*p, 2*b + 5*p + 87 = 0. Let l be ((-3)/4)/((-110)/b - 2). Which is greater: l or 20?
l
Let j be (-2)/(-3*2/66)*1. Which is smaller: 2 or j?
2
Suppose -3*j + 22 = 2*h, 0 = 5*h + 11*h + j - 222. Let u = -18 + 32. Is h at most as big as u?
True
Let p = -186 + 186. Is -1/166 greater than or equal to p?
False
Let q(l) = l + 407. Let a be q(-35). Is a <= 370?
False
Suppose -13*x + 14391 = 3029. Let c = x + -53317/61. Which is bigger: 1 or c?
1
Suppose -5*d + 2*j - 182 = j, 5*d + 197 = -4*j. Which is greater: d or -71/2?
-71/2
Let s = -167 - -171. Suppose 3*p = s*f + 636 - 182, 442 = 3*p - f. Which is smaller: p or 145?
145
Suppose 3*c = -15 - 0. Let x be (-95)/(-15) - (-2)/c. Let n = x + -13/3. Which is smaller: 3 or n?
n
Let a = 2 - 2. Suppose 39 + 11 = -5*b. Let n be 5/4 + 5/b. Is n at least a?
True
Let m be (12/8)/(-3)*-4. Let u be (3/m)/(-3*51). Is 0 at most as big as u?
False
Let x be 40480/280 - 8/14. Is x >= 144?
True
Suppose 5*f = -4*y + 23, 2*f + 4 = -6. Suppose 2*z - 6*z + y = 0. Let u(i) = -i**2 + 8*i - 4. Let p be u(7). Is z at least p?
True
Suppose -3*w = -2*w. Let f be (-9)/(-9) - (2 + -16). Let q be 1/21 - (50/f - 3). Is w less than q?
False
Let q = -0.8 - 13.2. Let r = -17.9 + 1.9. Let j = r - q. Which is smaller: j or -1/4?
j
Suppose 2*h = -j + 22, -5*j = -0*j - 4*h - 68. Suppose 0 = -4*l - 3*x + j, -l + 7 + 6 = 3*x. Which is smaller: 4/5 or l?
4/5
Let w be 236/30 - 32/(-240). Let y = 4 + -5. Let x(n) = 6*n**2 - n. Let o be x(y). Which is bigger: o or w?
w
Let u(m) = m**3 - 4*m**2 + 3*m - 6. Suppose 0*i + 3*i = -5*z + 5, 0 = -5*z - 4*i. Let w be u(z). Suppose w*p - p = 35. Is p smaller than 4?
False
Let i = 84808723/12320 - 530154/77. Let k be (1 - 2258/2880) + 18/(-81). Let j = k - i. Is j < 1?
False
Let z be (6/(-99))/(17/102). Suppose 0 = -4*q - 0*q + 8. Let f = -1 + q. Is f < z?
False
Let o = 19615/30384 + 1/3798. Is 0 bigger than o?
False
Let t be 1/9 + 1/(-3). Let l be -1*((2 - 3)*-2 - 2). Which is greater: l or t?
l
Let i(o) = -9*o + 2. Let v be i(-5). Suppose d + 9 = 5*c, -d - v = 2*d + 5*c. Is d less than -1?
True
Suppose -2*r + 5 = 4*a - 5, -a + 8 = -5*r. Let w = -1 - -1. Which is smaller: r or w?
r
Let s = -50 - -51. Let d be 2/(-18) - (-4)/(-18). Is s greater than d?
True
Let t = -0.67 + -0.03. Let f = 1.29 - 1.4. Let w = f - -0.11. Is t greater than or equal to w?
False
Let p be 4 - 11 - 21/1. Is p smaller than 0.5?
True
Let w = -1.543 - -1.483. Which is greater: w or -2/149?
-2/149
Let t = -28 + 47. Suppose t = -4*l - 125. Do -36 and l have the same value?
True
Let r be ((-32)/10)/(1224/(-340)). Which is greater: r or -5?
r
Let n(s) = -s**2 - 13*s + 13. Let x be n(1). Which is greater: 1/3 or x?
1/3
Suppose -q = -6*q - 5. Let y = -477083103/73 - -6535249. Let n = 136 + y. Is n < q?
False
Suppose 11*v - 112 = 130. Which is smaller: v or 165/8?
165/8
Let t be -8 - -4 - (-184)/36. Suppose -9 = -2*c - 5. Is c < t?
False
Let d = 7110 + -2865328/403. Let l = 7653/806 + d. Which is smaller: 11 or l?
l
Let k(x) be the first derivative of 7*x**2/2 - 21*x - 8. Let z be k(4). Is 7 at most as big as z?
True
Suppose -3*l = 3*m - 5*l + 3374, -l - 2247 = 2*m. Is -1124 greater than or equal to m?
True
Let s = 1273 + -1286.8. Is s != -7?
True
Suppose -2*n = -5*s - 11, -3*s + n - 2 = 5. Which is smaller: s or 20?
s
Let v = -2 + 8. Let g(q) = q**3 - q**2 + q - 2. Let y be g(2). Suppose y*r - r = v. Is 2 less than r?
False
Let a be (-14 - (0 - 13))*31*-7. Which is smaller: a or 218?
a
Suppose -k + 8*i = 6*i + 190, -5*k - 937 = 3*i. Let d be k/(-423)*9/14. Let p = -2 + 0. Which is bigger: p or d?
d
Let c be (9/1515)/(330/44). Which is bigger: 0 or c?
c
Let p be (-4)/(-30) - (-1614)/(-4680). Which is smaller: 0 or p?
p
Let g be -1 + (-3 - 1 - -9). Suppose 2*n = -c - 4, 0*n = n - c - g. Is 2 > n?
True
Let m be -1 - (-2 + 1) - (803 - 795). Is -76/9 greater than or equal to m?
False
Let t be 0 - -1*(-2)/(-2). Let x(h) = -4*h**2 - 115*h - 801. Let c be x(-17). Do c and t have the same value?
False
Let r = 2 - 2. Suppose 0 = -3*n - r + 6. Let b = n - -2. Are 0.1 and b equal?
False
Suppose -102 = 4*s - 26. Let m be 35/(-17)*(-2)/s. Let v = m - -3/19. Which is smaller: 0 or v?
v
Let m = 6 - 4. Let c = 15 + -15.12. Let f = c - 0.88. Is f smaller than m?
True
Suppose -3 + 36 = 11*v. Is 25/13 greater than v?
False
Suppose z + 0*z - 1 = -a, -2*a = -2*z - 2. Suppose -d - 2 = l - a, 5*d - l - 1 = 0. Which is smaller: d or 15?
d
Let z be ((-44)/(-6))/(2 + (-32)/12). Let i = z - 1. Is -12 bigger than i?
False
Let c be -3*(7 - (-12)/(-3)). Let y = c + 15. Suppose 5*k - y*k = 0. Which is bigger: 2/19 or k?
2/19
Suppose 556 = 7*i + 780. Which is bigger: i or -33?
i
Let k be (-2)/((3 - 5/(-10)) + -4). Let w = -1 - -3. Let t = 6 - w. Is t != k?
False
Let l = -0.2 + -0.2. Let j = 0.6 - l. Let i = 10.9 - 11. Does i = j?
False
Let y(q) = 10*q + 42. Let j be y(-10). Is -59 at least as big as j?
False
Suppose -178*l = -159*l - 646. Is 34 smaller than l?
False
Let n(t) be the third derivative of t**6/120 - t**5/12 + 5*t**4/24 - 2*t**3/3 - 8*t**2. Let l be n(4). Is -0.2 at least l?
False
Suppose -92*k = -84*k - 24. Which is bigger: 0 or k?
k
Let m = -12/89 - -1510/9879. Is 2 smaller than m?
False
Let g = 0.01 - -0.03. Let q = g - 1.04. Let h = q + 0.9. Which is bigger: 0.1 or h?
0.1
Suppose 0*o + 3*k = 2*o, -4 = -4*o + 5*k. Let b = -18.69 + -0.31. Let i = b + 21. Is o at least i?
True
Let n = -25.5 + 25.6. Is -191 at most as big as n?
True
Let s be ((-12)/((-24)/29))/(2/8). Let q be 0*3/9 - -58. Is s less than q?
False
Suppose 65*l = 69*l - 28. Let a be (-145)/(-48) + (-21)/l. Which is bigger: a or 0?
a
Let j = -2 - -3. Let m(o) be the first derivative of 3*o**2 + o - 6. Let y be m(j). Is 9 != y?
True
Suppose 3 = 3*a + 3*h, -a + 4*h = 2*h - 1. Which is smaller: a or -10/79?
-10/79
Let h be (-139)/355 + 1/(-5). Are -1 and h unequal?
True
Let v = 1799 + -1800. Is 117/4 less than v?
False
Let i = 69/2 - 1171/34. Which is greater: -0.24 or i?
i
Let d = 10 + -36. Suppose 0 = 7*w + 85 + 104. Is d greater than w?
True
Suppose -3*d + t + 274 = 0, -4*d + 5*t = 8*t - 348. Do 91 and d have different values?
True
Suppose 3*f = -3*b + 4*b + 10, -4*f + 13 = -b. Suppose 4*u = f*u - 12. Let n = u - -15. Is -1 bigger than n?
False
Let j be (6/(-81))/((-4)/(-3)). Let k = -7/18 - j. Suppose -37*c = 2 - 2. Which is smaller: k or c?
k
Let i(h) be the second derivative of -h**6/180 - h**4/2 + 11*h. Let q(f) be the third derivative of i(f). Let r be q(-2). Is 6 greater than r?
False
Let 