 + 1. Let g be v(0). Let b be 1550/(-4)*((-522)/45 - -10). Let u = b + -4955/8. Which is smaller: u or g?
u
Suppose -3*s + 109 = -4*a, 2*a + 3*s = 7 - 48. Let k = 21 + a. Let g be (k - (-1412)/354)/((-2)/(-3)). Is -1 >= g?
False
Let f = -1526 + 1543. Which is bigger: f or 79/5?
f
Suppose -8 = -6*q + 16. Let o be 372/(-9) + q/(-6). Let s = o + 43. Is s smaller than -3?
False
Suppose -2819*n + 2823*n - 116 = 0. Is 516/17 greater than or equal to n?
True
Let u be (-17 + -7 + 8)/((-8)/228). Suppose 189 + u = -43*a. Is -95/6 at most as big as a?
True
Let u = 6822 + -6822.028. Which is smaller: u or 2/13?
u
Let y(x) = 42*x**2 + 206*x - 17. Let r be y(-5). Which is bigger: -442 or r?
r
Let u = 377/3 - 2014/15. Let h(b) = b**2. Let k be h(2). Suppose k*n + 20 = 2*n - 4*v, -4*v = 0. Which is smaller: u or n?
n
Suppose 4*u = -3*a + 42, 4*u - a = 3*u + 7. Let b = 776 - 772. Is b >= u?
False
Let d = -37 + -36. Let a = -126 - d. Let j = a + 52.98. Which is bigger: -3 or j?
j
Let z be (-1)/(-2 - 126/(-66)). Suppose 11*o + 418 = -z*o. Let w(h) = -20*h**3 + h**2 - h. Let f be w(1). Is f > o?
False
Let y = -1058.37 - 32.63. Which is smaller: 0 or y?
y
Let t = 4/1071 + -1138/1071. Suppose -92316*j + 10 + 5 = -92331*j. Is t greater than j?
False
Suppose 2*z + 8 = -300*v + 298*v, -12 = 2*v + 3*z. Is 10/77 greater than or equal to v?
True
Let m(j) = 14*j + 168. Let c be m(-12). Let s be -178 + 1 + 9/(-3). Let r be (-70)/s*(-6)/(-28). Which is smaller: c or r?
c
Let m be ((-1069)/44)/((-21)/(-6) + -4). Let n = 97/2 - m. Let d(t) = -t**3 - 14*t**2 - 13*t + 1. Let k be d(-13). Is k != n?
True
Let i(m) = -2*m**3 + 6*m**2 + 6. Let u be i(3). Let p be 13 + (-19 + 20)/((-2)/u). Which is smaller: 11 or p?
p
Let t = -190.6 - -190.6. Which is greater: t or -4384?
t
Let f = 51.138 + 1.862. Let b = -53 - 4. Let g = b + f. Which is greater: g or 0.1?
0.1
Let c = -2943 + 53009/18. Let z = -1003/522 + c. Which is smaller: -1 or z?
-1
Suppose -2*z + j = -124, -3*z + 2*j = -z - 126. Suppose -z + 51 = 2*s. Suppose -27 = 4*r - r - 3*k, 5*r + 4*k + 18 = 0. Which is smaller: s or r?
r
Let t be ((-14)/(-2))/(1 - 0). Let o be 45/(-35) - (-2)/t. Let d be (2/(-4))/(o/(-2)). Is 3/8 greater than d?
True
Suppose -4*p + 4 = 40. Let k = 8 + p. Let v = -59/55 + -8/11. Do k and v have the same value?
False
Let a be (-6)/(-8) - 189/(-36). Let x be (-26)/(-78) + 1 + (-8)/a. Let i be (-56 + 57)/(54/(-20)). Which is bigger: i or x?
x
Let v = 186 + -189. Let n be 252/1368*v/(-7). Is n not equal to 1?
True
Let h = -0.182 + -0.918. Let m = -0.23 - -15.13. Let g = m - h. Which is bigger: -2 or g?
g
Let k(y) = -43*y**2 + 48*y**2 - y**3 - 1 - y - 3*y. Let f be k(2). Let g be (-8)/(-10) - f/(-15). Is g <= 7?
True
Let l(v) = -51*v + 153. Let r(o) = o**3 - 16*o**2 - 33*o - 51. Let d be r(18). Let s be l(d). Let n be 2/(-24)*6/8. Which is smaller: s or n?
n
Let r = 205 - 202. Suppose 6*h + f = r*h - 44, -3*h - 49 = -4*f. Let c = -0.22 - -0.12. Is c greater than h?
True
Let a = -1987.85 + 1993. Let h = -29 + 28.15. Let b = a - h. Do b and -0.06 have the same value?
False
Let q = 7.612 + -7.082. Is -0.18 less than q?
True
Let x = -35537 + 5614847/158. Let h be 1/(-1*(0 + 1)). Is h >= x?
False
Suppose -50*y - 1644 = 726 + 1480. Which is smaller: -119 or y?
-119
Let p = 1113 + -759. Let w = -354.8 + p. Which is smaller: 0.2 or w?
w
Let m(o) = -o**3 - 14*o**2 + 55*o + 714. Let b be m(-14). Are -0.52 and b nonequal?
True
Let p be (-2 - (5 + -6))*(-66)/(-2). Let z be -2*p/12*4/(-2). Let t be 2/z + (-4 - 114/(-22)). Is 7/17 at most t?
True
Let z(y) = -13*y - 53. Let d be z(-6). Let f be (-1 - (-2)/3)/(d/225). Which is greater: 7 or f?
7
Let w = -278 - -77. Let k = 200 + w. Which is smaller: k or 1/14?
k
Let f = 33.05 - 32.75. Do f and -155 have the same value?
False
Let m(p) = -p**3 - 27*p**2 - 51*p - 340. Let i be m(-33). Which is smaller: 7879 or i?
i
Let r(i) be the second derivative of 4*i**3/3 - i**2 - 55*i. Let u(a) = a**3 - 4*a**2 + 2*a - 7. Let v be u(4). Let c be r(v). Which is greater: c or 12?
12
Suppose -238*u - 6 = -237*u. Let i be u/(-8 + 11) - (-6)/(-5). Which is smaller: i or 7?
i
Let c(v) be the first derivative of v**3 + 87*v**2/2 - 17*v - 211. Let d be c(-31). Is 168 > d?
False
Let f(z) = -95*z + 69. Let o be f(8). Let l = 637 + o. Which is smaller: -55 or l?
-55
Let o be 1*37*(-2 + 1). Let a be ((-117)/(-195))/(0 + 9/(-585)). Which is bigger: a or o?
o
Let z = -1130 - -819. Which is bigger: z or -309?
-309
Let b = -747 - -632. Let d = -145 - b. Is d greater than -86/3?
False
Suppose 15 = 9*v - 8*v - 4*o, 4*o = 4*v - 24. Suppose 3*w + 225 = 3*a, -v*a + 3*w + 2*w = -217. Let t = a + -80. Which is smaller: -3/2 or t?
-3/2
Let w = 10559 - 9186. Is 1370 greater than or equal to w?
False
Suppose 5*o = -y + 190, 3*y = 2*y. Let g be 42*(-2 - 60/(-21)). Which is smaller: g or o?
g
Let b be 371/9 + (-24 - 6634/(-279)). Is b bigger than 518/13?
True
Let z = -3995 + 3631. Which is smaller: z or -365?
-365
Let b = 8.6 - 8.66. Let m = 0.573 + -0.393. Which is smaller: b or m?
b
Suppose -o - 5 = 0, -3*n - 8*o - 13 = -3*o. Suppose 0 = -4*s, -52*m - 69 = -49*m + n*s. Do m and -21 have different values?
True
Let t(o) = o**3 - 35*o**2 + 135*o + 50. Let n be t(33). Which is smaller: n or 2328?
n
Suppose -4*z - b = -513, -4*z + 5*b = 7*b - 518. Let j be (3 - z)*(-1)/(-14). Is -10 less than j?
True
Let s = 0.762 - 0.086. Let j = s + -0.176. Are 26 and j equal?
False
Suppose 2*d = -2*b - 48, -3*b - d - 80 = 4*d. Let m(h) = h**2 - h - 94. Let f(k) = -12*k - 15. Let q be f(-2). Let c be m(q). Which is bigger: b or c?
b
Let t = 125205486311/7882560 - 3287864/207. Let p = t - 3/1088. Is -1 bigger than p?
False
Let x be (2/4)/(3/(-66)). Let y = -12 - x. Suppose 6*k - 4*k + 2 = 0. Is y at least as big as k?
True
Suppose -2*b - 3*b - 20 = 5*s, -6 = -3*s. Suppose 4*g + 38 = -3*d, -51*g - 44 = -46*g + 2*d. Let u(k) = k**2 + 8*k - 4. Let l be u(g). Which is smaller: b or l?
b
Let l = -11986 - -11985.924. Are l and 0.2 non-equal?
True
Suppose 4*j = 3*j + 6*j. Suppose -3*x - 19 = 4*n + 8, j = -n. Which is smaller: 7 or x?
x
Let n = 0.71 + -41.71. Let k = n + 37. Let m = -1 - k. Is m at least -12?
True
Let g(t) = -t**3 + 6*t**2 - t + 12. Let i be g(6). Suppose i*h + 377 = -127. Let v = h + 87. Is v <= -7?
False
Let w(t) be the third derivative of -t**5/60 - t**4/8 + 19*t**3/6 + 8*t**2. Let i be w(-7). Let h = 26 - 37. Which is greater: i or h?
i
Let x = 0.01 - -0.39. Let h = x + 12.6. Let i = h - 1. Is i less than 2/5?
False
Let p = -11522 - -11522. Are p and -970 nonequal?
True
Let l be (-3516)/(-45) - (-4)/(-30). Let c = 57 - l. Let r be ((-2)/c)/(-3 + 1). Which is smaller: 1 or r?
r
Let p = 7871 + -7870.4. Is -2/793 greater than p?
False
Let g = 7772 + -7757. Let v be ((-21)/(-2))/(1/(-2)). Let d = -2 - v. Which is greater: d or g?
d
Suppose -28*u = -18*u - 3940. Which is smaller: u or 389?
389
Let z = 0.079 - 195.079. Let n = z + 196.8. Is n >= 0?
True
Let q = 54.8403 + 0.1597. Let j = 0.61 - -1.39. Which is bigger: j or q?
q
Let w = -11 - -8. Let r = 5001.4 - 5001. Is w equal to r?
False
Suppose -m - 3*d - 74 = d, 0 = d + 1. Let j = -61 - m. Suppose -w = j*w - 20. Is w > 2?
False
Suppose 4*f = 4*r + 21982 + 51138, 2*r + 5*f = -36567. Is -18281 bigger than r?
False
Let j(k) = 5*k - 66. Let i be j(14). Let d be 2/i*54 + 5. Let n = d - 286/9. Which is smaller: -0.03 or n?
-0.03
Let o = 42386 + -29627813/699. Suppose 2*c + 3*c = 0. Which is bigger: o or c?
o
Let t = 249 - 269. Let z be (-8)/t*(-60)/36. Is z less than 14?
True
Let j = -6.9649 - -7.928. Let c = 0.0369 + j. Which is bigger: 10 or c?
10
Let j = 28630 - 3006194/105. Let l be (-192)/945 - (-2)/9. Let k = l + j. Is k > 1/5?
False
Suppose -4*r + 14*r + 3220 = 0. Let v = r + 321. Is v not equal to -2/51?
True
Let j = -4632938 + 4878484135/1053. Let i be (-7264)/(-1296) - (-4)/(-6) - 5. Let u = i - j. Do -4 and u have different values?
True
Let l be -10 + 6 + 1026/852 - 1/(-1). Which is greater: l or -2?
l
Let s be (-2 - 13) + 118790/140. Which is bigger: s or -0.3?
s
Let z(a) = -a**3 + 2*a**3 + 44615 + 8*a**2 - 20*a - 44612. Let g be z(-10). Is -0.2 at least g?
False
Let w = 63.8 - 64. Let m = -287 + 245. Is m not equal to w?
True
Let h(y) be the second derivative of -