 Let q be z(8). Let r = 0 - q. Suppose 0 = 2*i - 4*n + 20, -2*i - 3*n = 2*i + 51. Which is greater: i or r?
r
Let v = -19 - -30. Let t be (-2)/(-11) - 123/v. Let u(i) = 2*i**2 + 25*i + 7. Let f be u(t). Which is smaller: f or -27?
-27
Let i(q) = -6*q + 89. Suppose v - 183 = -168. Let l be i(v). Is l bigger than -1/63?
False
Let f(r) be the second derivative of -7*r**3/6 - 35*r**2/2 - r. Let w = 11235 - 11240. Let h be f(w). Is 29/2 at least as big as h?
True
Suppose -3*a - 24 + 6 = 0. Let c = a + 4. Let d be 0 + 2/(-36) - (-6 - 3759/(-378)). Which is smaller: c or d?
d
Let v = 3511 + -3340. Which is greater: v or 0.6?
v
Suppose c + 2*r = 35, -4*r - 80 = -4*c - 0*c. Let i = -64/5 - -1098/85. Is c at least i?
True
Suppose -5*r - 1200 = -35*r. Let g = -51 + 61. Suppose -g*k = -13*k + 123. Are k and r unequal?
True
Let j = -675 + 1073. Let h = 424 - j. Is 0.2 at most as big as h?
True
Let u be ((-204)/357)/(30/(-7)). Let y = -3.8 + 4. Is u <= y?
True
Let b be (-2369)/3772 - (-6)/8. Is b smaller than -1?
False
Suppose 0 = 75*w + 4775 - 8844 - 8756. Is w < 203?
True
Let h = 1.199 - 39.199. Let g be (12/12)/(-1 - 9)*-5. Is h at least as big as g?
False
Let y = 12419/35 - 2012/5. Which is greater: y or -49?
y
Let o = 311 - 311.24. Suppose -26 = 4*d - 14. Is d greater than o?
False
Let z(i) = -i**3 - 24*i**2 + i + 19. Let l be 3/(-8) + (-1134)/48. Let q be z(l). Do -17/4 and q have the same value?
False
Let u = -45 + 37. Suppose -957 = -2*w + 795. Let m be 0 + u/w*3. Which is greater: 0 or m?
0
Suppose 0 = -19*n + 23*n. Let h be 38*3/24 + (-11)/(-44). Suppose n = -3*v - 4 + 1, 0 = -h*t - 4*v - 64. Is -13 at least as big as t?
False
Let b be (46/6)/((-2)/(-6)). Let q = 84 - 81. Suppose 2*w - b = -q*z, -z - 7 = -3*w - 0*z. Is 11/3 not equal to w?
True
Let q = 195 + -789/4. Let y = 1758.9 + -1664. Let o = -95 + y. Which is bigger: q or o?
o
Let d = -9.86 - -10. Let g = -195.94 - -195.44. Which is bigger: g or d?
d
Let v = 115420/7 + -16549. Does -1 = v?
False
Suppose -306 = -5*b - 3*k, 3*b + 3*k - 246 = -b. Suppose f - 7 = b. Let v = f + -59. Are v and 11 non-equal?
True
Let g = -5091 + 5092. Is 39/187 greater than g?
False
Let k = 2072/5 - 415. Do k and 2.79 have different values?
True
Let c = -27216 + 115749649/4253. Is 1 less than or equal to c?
False
Let v = 4.1 + -0.1. Let d = -1940 + 1955. Which is smaller: d or v?
v
Let m be (-112)/(-70) - 108/(-20). Let a = -1.3 - -1.42. Let p = a + 3.88. Is p > m?
False
Let l = -31434 + 31171. Which is smaller: -1579/6 or l?
-1579/6
Let r = -4386 - -2916. Let z be (-8)/14*r/(-84). Does z = -8?
False
Let s = -83 + -82. Let m = s - -162. Are m and -4 equal?
False
Suppose -95*g - 176 = -81. Let q = -1 - -4. Suppose u - 44 = -3*z, q*z + 2*u + 10 - 53 = 0. Which is smaller: z or g?
g
Let h = 141 + 57. Let x be (-12)/(-9) - h/(-27)*2. Suppose -n + 64 = 3*n. Is n at least x?
True
Let v(y) = -y**2 - 37*y + 526. Let r be v(-47). Which is bigger: 40 or r?
r
Let b(w) = -w**2 - 16*w - 16. Let x be b(-13). Let t be (x/6 + (-1)/3)*-2. Let k = t + 8. Which is smaller: 20/9 or k?
k
Suppose 190 + 6 = 7*w. Suppose -15 = 3*c, -77 = 198*y - 200*y + 5*c. Which is greater: y or w?
w
Let u(j) = -j**2 - 9*j - 1. Let i be u(-4). Suppose -451 + 4030 = -3*r. Let c = 6057/5 + r. Which is greater: c or i?
i
Suppose -104 = -3*i - 92. Suppose -12 = -3*v - 3, 2*m - i*v = -420. Are m and -204 nonequal?
False
Suppose 14*f + 5*p = 6*f - 5365, 2*f - p = -1357. Which is bigger: -670 or f?
-670
Let g(t) = 6*t**2 - 13*t - 8. Let m be g(4). Suppose -4*d = -2*q + 90, 2*d - 5*q = -q - m. Which is smaller: -28 or d?
-28
Suppose 4*y = 9*y - 1660. Let d = y - 37515/113. Is 0 < d?
True
Let m(v) = -7*v**2 + 5*v - 14. Let g be m(3). Let i be (-2)/(-23) - g/(-184). Is i greater than -15/8?
True
Let p be 36/(-8) + (-1)/(-2) - 294. Let q = p - 90. Is -388 greater than q?
False
Let p be 298/(-10) + 52/(-10) + 5. Let w = p - -214/7. Does -0.6 = w?
False
Suppose -5*t = -3*t + 28. Let u = -478 - -778. Let w = 575/2 - u. Which is smaller: t or w?
t
Let h = -166 - -247. Let o be (-3)/2*(-192)/h. Let z be 8 - (-27 + 24 - (-9 - -2)). Is o < z?
True
Let z be ((-1123428)/(-306))/(1 + (-4)/3). Is -11014 > z?
False
Let c = -4276 + 4253. Which is smaller: c or 110?
c
Let u = -696 - 1695. Which is smaller: -11954/5 or u?
u
Suppose 0 = -147*h + 299688 + 75456. Which is smaller: 2556 or h?
h
Let q be (2/(-14))/(-4 + 99/22). Which is smaller: 34 or q?
q
Let b = -7.303 - -7.273. Do 0.061 and b have different values?
True
Let w(j) = -27*j + 21. Let t be w(3). Let x = t + 45. Let g be x*((-48)/(-9) - 1). Is -65 greater than or equal to g?
True
Let f = -4429 - -4453.41. Let h = -24.4 + f. Let o = -1 + 0. Which is smaller: o or h?
o
Suppose 3*u - 21*u = 7*u + 375. Do 62 and u have different values?
True
Suppose 4*m - 3*m + 2*i = -2, 2*m - 32 = 5*i. Suppose -3095 = -5*d - 5*z, 2*z - m*z - 3104 = -5*d. Let a be d/(-48) + (-3)/4. Which is smaller: -14 or a?
-14
Let v(f) = -f**3 + f**2 + f - 5. Let a be v(-4). Suppose 2*i - 2*q - 3*q = -133, -3*q - 109 = 2*i. Let o = a + i. Which is greater: 10 or o?
o
Suppose 38*v - 11*m = 41*v - 109, 0 = 5*v + 3*m - 105. Let d be -5*((-111)/105 - -1). Is v != d?
True
Let n = 124 + -116. Let o be n/(352/(-603)) - 4/(-16). Which is bigger: o or -14?
o
Let r = 60363 + -302974/5. Which is bigger: r or -233?
r
Let b = -26119 + 26119. Which is bigger: -3/686 or b?
b
Let y be (-10 + 120)/11 + -298. Suppose -79*k - 2592 = -70*k. Is k greater than y?
False
Let u be -2 + -3*69/(-9) - 0. Suppose -5*q + 0*s + 4*s = -35, -3*q + u = -4*s. Let n be 1/(-3 + q - 1). Which is smaller: 1.4 or n?
n
Suppose 10 = -2*z + 2*h - 2, z = -4*h + 24. Is 1/1179 less than z?
False
Let o be 15 + (-399)/27 - 52/(-9). Suppose -2*l - 2*b = 2*b + 6, 0 = 3*l + 5*b + 13. Let q = l - -13. Is q bigger than o?
False
Suppose 2*p + 211*f - 216*f = 3250, 3*f - 3202 = -2*p. Which is bigger: p or 1611?
1611
Let j(q) = -q**3 - 6*q**2 + 18*q + 19. Let b be j(-8). Suppose 0 = -16*a + b*a + 26. Let x = 5.5 + -4. Is a bigger than x?
True
Let m be (-18)/(-12)*(-2726)/(-87). Which is smaller: 43 or m?
43
Let z = -1441 - -3393. Let h = z - 132741/68. Which is smaller: -1 or h?
-1
Let j(a) = -a**3 + 2*a**2 + 12*a + 9. Let n be j(5). Let y be (((-1496)/55)/4)/(n/(-160)). Which is smaller: -182 or y?
-182
Suppose -34*z - 26917 = -1315. Do z and -757 have different values?
True
Let w be (9723/5)/3 - 1/5. Suppose -3*j - 3*j - w = 0. Let y = j - -122. Which is smaller: 13 or y?
13
Let y = 49 + -84. Let d = y - -32.4. Let j = 54 + -53.9. Is d at least as big as j?
False
Let d = -327 - -330. Let s be (-2)/(-3) - d*2076/9828. Which is bigger: s or 1?
1
Let l be (-41)/44 + (13/156 - (-4)/6). Is 142/39 at least l?
True
Let w = -13.3 - -13.2. Let d = 72 - 103. Let g = 18 + d. Is w != g?
True
Let a(m) = -137 + 45*m + 149 + 24*m - 17*m. Let x be a(-3). Which is smaller: x or -143?
x
Let x(v) = -6*v**2 - 12*v + 6. Let z be x(-10). Let a be (0 + -3 - z) + 3/(-1). Let f be (-4)/(-18) + (-2084)/a + 1. Is -4 less than f?
True
Let t(c) = -48*c**2 + 24*c + 7. Let a be t(-5). Let j = a + 30205/23. Which is smaller: j or -0.5?
-0.5
Let p = -12344 + 12345. Does 6/6337 = p?
False
Let s be -2*95/(-90) - 1. Let z(x) = -3*x**2 - 11*x - 8. Let d(w) = -13*w**2 - 44*w - 31. Let j(m) = -2*d(m) + 9*z(m). Let o be j(-10). Does o = s?
False
Let a be 290/3 - 14/21. Let d be a/(-770) - (-7)/49. Let c = 4855 - 4855. Which is smaller: d or c?
c
Let a = -3977 - -3977.2. Which is smaller: a or 845?
a
Let s be 3/4 + (-9)/12 + -24. Let c = s + 12. Let w be 9/(c/4) + -16. Which is greater: 0 or w?
0
Let f = -9587 - -6430. Let c = 318852/101 + f. Is 0 less than c?
False
Let u be (-20)/25 + (-9)/(-5). Let c(z) = -2*z**2 + 7*z - 7. Let j be c(3). Let d be (j + 0)/4*3/(-45). Is d < u?
True
Let t be (-1)/(0 + 4/144). Let o = -60 - t. Suppose -5*j - 5*m = -2 + 147, j - 3*m + 9 = 0. Is o not equal to j?
False
Suppose 0 = 3*g + n - 561, 47*g - 44*g = 3*n + 537. Let l be (26 + -25)*1/(-3). Which is smaller: g or l?
l
Let l = -1393 + -3326. Which is bigger: 2/5 or l?
2/5
Let w = -18825 + 18847.026. Let q = w - 0.026. Let b = q - 24. Which is bigger: b or -2/5?
-2/5
Suppose -3*m + 9*d - 39 = 12*d, -3*m = -3*d + 9. Are m and -532/59 equal?
False
Let s = -3