+ 6*b**2 + 7*b**2 + 2. Let j be w(3). Is r smaller than j?
False
Let z(d) be the first derivative of -d**2/2 - 25*d - 13. Let f be z(-6). Is f >= -19?
True
Let v = 1892 + -1656. Is 235 > v?
False
Suppose -4*h - 3*i - 113 = 0, h + 2 = 4*i - 12. Let b(u) = u - 7. Let n be b(8). Let z be (n - -1)/(1 - 145/135). Which is smaller: h or z?
z
Let j(m) = m**2 + 2*m + 9. Let n be j(0). Which is greater: n or 13?
13
Let j = -149 + 155. Which is smaller: -8/7 or j?
-8/7
Let l be (-5 - (-36)/6)/(-1). Which is bigger: 1/608 or l?
1/608
Suppose -6*x - 418 = -46. Let m = 61 + x. Is m bigger than 3/65?
False
Let m = 7 + -4. Let d = 23.1 + -22.1. Is d less than m?
True
Let d(r) = -2*r**3 - r**2 - 5*r + 7. Let f be d(1). Do 481 and f have the same value?
False
Let m be -2 - (3 + (-2373)/(-15)). Let a = m + 165. Which is smaller: a or 1?
1
Let q = 9 - 4. Suppose 2*p = 8*p - 0*p. Suppose p = q*j - 3*j + 6. Is j smaller than 1/4?
True
Let v = -742 + 447. Is -1 less than v?
False
Let z = 845 + -838. Let g be 2/8 - 85/(-12). Which is bigger: z or g?
g
Suppose -5*g - 3*p = -8*p + 10, 4*g - 3*p + 3 = 0. Which is greater: -9 or g?
g
Let z = -35 - 0. Let l be (-7)/z + (3 - (-3)/(-15)). Is -6 < l?
True
Let z = 0 + 6. Suppose -3*u - z = 0, -5*u + 16 + 88 = 3*x. Which is smaller: x or 37?
37
Suppose 15 = -2*d - 3*d, -d = -4*u - 29. Is u at least as big as -7?
False
Let d(x) = -9 - 5*x**2 + 2*x**2 - 3*x**2 + 7*x**2 + 8*x. Let r be d(-9). Let a = 1.07 - 0.07. Which is greater: r or a?
a
Suppose -3*p - 6 = 0, 3*v - p = 6 - 1. Which is smaller: v or 1/296?
1/296
Let j be (7 - 4) + (4 - 2412/344). Which is smaller: j or -2?
-2
Let j = -4954 - -19917/4. Do 24 and j have different values?
True
Let n = 19 - 16. Suppose -g - 48 = -n*g. Suppose -k = 5*k - g. Is 4 not equal to k?
False
Suppose 62 = -2*x + x + v, 2*x + 159 = -5*v. Let n = -29 - x. Is n less than 36?
False
Suppose 0 = -2*r - 6, 4*y - 6 - 5 = 5*r. Let q be -2*(528/(-177) - -3). Which is bigger: y or q?
q
Let k be 8/12 - (-87)/(-9). Let z = k + -8. Is -16 greater than z?
True
Suppose -2*b + 9 + 11 = 0. Let v = -101 - -113. Is v at least b?
True
Suppose -4*u = 2*g + 22, 5*u - g + 29 = -2. Let n be (-6)/u - (-29)/(-3). Which is bigger: n or -8?
-8
Let z = 2.487 + -2.527. Which is smaller: z or -32?
-32
Let l = -19 + 61. Suppose c - 90 = -4*d, -4*d + 40 = 5*c - l. Is d != 26?
True
Let v = -6133/3 - -2021. Which is smaller: -22 or v?
v
Let g(r) = 4*r - 118. Let k be g(34). Do 18 and k have different values?
False
Let l = 0.15 + -0.45. Let r = l - 1.1. Let h = -1.6 - r. Which is smaller: h or 0.7?
h
Suppose 9*s = 8*s + 36. Let p be (8/(-12))/(5/(-271)). Let z = p - s. Which is bigger: -2 or z?
z
Let v = 6 - 6. Let z(l) = v*l + 3*l - l**3 - l**2 - 3*l. Let h be z(-1). Which is bigger: h or -1/9?
h
Let w = 6/35 + 34/35. Suppose 3*u + 3*g = 12, 0*g = -4*g + 16. Which is bigger: w or u?
w
Let q = -767 - -762. Is q >= -46/9?
True
Let h(i) = i**2 - 5*i - 121. Let s be h(14). Let t = 1 - 1. Suppose t = -s*z, 2*m = m - z. Which is smaller: 2/47 or m?
m
Let n be 4/(-3)*(0 + 3). Let i = 2453 + -2454. Is i at least as big as n?
True
Let z(y) = -y**3 + 10*y**2 - 15*y - 17. Let o be z(8). Let d = 10 + o. Let r = -7.12 - -0.12. Which is bigger: d or r?
d
Suppose 2*s + 3*q = 270, 8*s - 7*s - 129 = -3*q. Which is bigger: 145 or s?
145
Let o = 20.86 - -2.14. Which is smaller: o or -1?
-1
Let i be -8*(3 - 1) + 2. Suppose 7*l + 2*l + 108 = 0. Is i greater than or equal to l?
False
Let k = -105 - -198. Let x = -29 + k. Is x smaller than 63?
False
Let i = -893 - -6234/7. Let g = -19/7 - i. Let a = 6.2 + -6. Is g greater than a?
False
Suppose 18*s = 7*s - 11. Which is smaller: s or 13.4?
s
Let s = 389.6 + -388. Which is bigger: 0.3 or s?
s
Let x = 6 + 2. Suppose 3*d = -d + x. Suppose -d*f = 2*w - 3*f - 2, f = 0. Which is smaller: -0.3 or w?
-0.3
Let r = 8 + -5. Let c(s) = -s**3 + 25*s + 11. Let y be c(5). Suppose r*h - 41 + y = 0. Which is smaller: 9 or h?
9
Suppose -29*r + 11*r = 38*r. Is r greater than or equal to 912?
False
Suppose -3*l + 8 = -7. Suppose 0 = a + u + l, -a = 2*a - 5*u - 25. Is -1/2 >= a?
False
Let f be 0 + 13 + (-4 - -2). Let u = f - 11. Suppose 0 = -a - 5*j + 2, u*j = 4*a - 2*j + 14. Which is smaller: a or -1?
a
Suppose 43*c + 17353 = 6*c. Are c and -469 equal?
True
Suppose -2*z = 3*z + 30. Let a(k) = -k**3 - 17*k**2 + 20*k - 348. Let o be a(-19). Is z greater than o?
False
Suppose -5*j + 18 = l, 2*l = j - 3*l + 12. Let x = j + 1. Suppose -5*s - x*g - 25 = 0, -2*g - 5 = -3*s - 2*s. Are s and 3/16 unequal?
True
Suppose -5*w - 18 = u, -4*u - 9 = -2*w + w. Let h = 19479 + -19471. Is w at least as big as h?
False
Let d = 883.1 + -928. Let w = -45 - d. Which is smaller: 24 or w?
w
Suppose -3*t - 6 = -o + 2, 0 = 3*t + 3. Let m = 398 - 1181/3. Which is bigger: o or m?
o
Let c be 3 + 1 - (1 - -6). Let l be 3/9 - 2/c. Suppose 0 = 5*g + l + 54. Is g less than -12?
False
Let u = 748 - -54. Is 802 at most as big as u?
True
Let p = -716 + 1147. Which is smaller: 1 or p?
1
Let k be (-65)/(-90) + (-4)/18. Let z = -25 - -17. Let m = -7 - z. Which is smaller: k or m?
k
Let h be 4*35/40*-38. Which is smaller: -134 or h?
-134
Let z = 858.9824 - -0.0176. Does -1 = z?
False
Let r = 5511/71 + -4799327/61770. Let s = r - 2/87. Let o = 815 + -814. Which is smaller: s or o?
s
Let z = 15 + -10. Suppose 0 = 6*k + z - 23. Which is bigger: 2 or k?
k
Let j be (64/24)/(-8) - (-13)/3. Suppose c = -3*d - j, 2*d + 0 + 10 = 3*c. Is -4 <= c?
True
Let v = -19 - -34. Let d be (v - 2)*(-4 + 2). Let j be 4/d - (-84)/(-637). Which is smaller: 0.12 or j?
j
Suppose 0*i + 7*i = 0. Let o be 1/(-1) + 0 + 7. Suppose o + 0 = -3*q. Is q > i?
False
Suppose 3 - 1 = t. Let h = 14 + 2. Let g be (t - 6)*(-4)/h. Which is smaller: 3 or g?
g
Let a(q) = 0 + 4 + 0*q**2 - q + q**3 + 5*q**2. Let f be a(-5). Which is bigger: 10 or f?
10
Let f = -417 + 695. Let p = -258.1 + f. Let l = p - 20. Is l not equal to -2/5?
True
Let j(o) = 6*o**2 + 44 - 5*o + 5*o**2 - 13*o**2 - 3*o. Let x be j(6). Are x and -78 equal?
False
Suppose -4*f + 5*f = 19. Let n(j) = -j**2 + 19*j - 1. Let b be n(f). Which is greater: 2/15 or b?
2/15
Suppose -13 - 14 = -3*w. Let u be w/1 + 2 + -4. Suppose 4*y - 48 = -4*n, n - 5*y = -4*n + 10. Is u < n?
False
Let v = 40 - 56. Let q be (-3)/(-2) + (-8)/v. Suppose -2 - q = -4*a. Which is greater: a or 2?
2
Let t be ((-18)/(-45))/((-1)/(-5)). Suppose -4*j = -z - 21, -z = 2*j + t*z - 21. Let k be (-16)/(-3) + 2/(-6). Which is bigger: k or j?
j
Let o = 0.0693 - -10.9307. Is o equal to -20?
False
Let a = -0.7 + -0.3. Let t = 114 - 111. Suppose -t*r - 2 = 16. Which is bigger: r or a?
a
Let n = -29.0502 - 0.0498. Let h = n - -29. Is 0 <= h?
False
Let g be (0/(-4))/(6/3). Suppose 0 = 2*f + 5*y - 7, -f + 3*y - 6*y + 4 = g. Suppose 4*t - 17 = -3*k, -t - 4*k = -f - 0. Is 7/2 smaller than t?
True
Let s(h) = h**3 - 8*h**2 - 7*h + 3. Let l be s(4). Which is smaller: -91 or l?
-91
Suppose 4 = -4*c - 4, -4*a - 1170 = 3*c. Is a at least -291?
True
Let i be 840 + -1 + (-170)/(-17). Is -1/3 < i?
True
Let g be (34/(-51))/(6/(-2745)). Which is smaller: 302 or g?
302
Let s(r) = -4*r**2 + 1. Let f be s(-1). Let t = -107 + 53. Let u = -57 - t. Are f and u non-equal?
False
Suppose -b + 2*b - 4*n = -75, -4*n = 3*b + 145. Let l = b + -23. Is -78 less than or equal to l?
True
Suppose -4*c = -2*h + 14, 10*c - 14*c - 8 = -4*h. Which is bigger: h or -209?
h
Let x = -14/17 + 161/51. Let n = -38/15 + x. Is 11 >= n?
True
Let d = 2/8789 + 105410/254881. Are d and 0 equal?
False
Let p be 6 + -6 - -2*2. Let s = 1/475 + 1519/475. Which is smaller: s or p?
s
Let y = 5.2 - 5. Let i = 0.024 - 1.324. Which is smaller: i or y?
i
Let c = -4 + -50. Is -54 greater than or equal to c?
True
Let n be (9/4)/((-3)/(-8)). Let q be 784/42*n/20. Let v = q + -262/45. Is v at most 0?
True
Let l = 10 + -11. Let o = l - -0.7. Let j = o + 0.1. Do 0.4 and j have the same value?
False
Let v be (-156)/130*5/(-2). Let t be (v - -13)/(-2) + 4. Let j = 5 + -3. Which is smaller: t or j?
t
Let v(t) = t**2 - 4*t + 1. Let u be v(5). Suppose -13*o = -9*o + 36. Let z = o + u. Is z smaller than -3?
False
Suppose -25*r = -6*r - 266. Let v be 16 - (-1 + 3 + -1). Which is greater: r or v?
v
Let h(q) = 2*q**3 + 3*q**2 - 2*q - 2. Suppose 4*y - 1