6)/(-2)*22/(-6). Is v at least as big as i?
False
Suppose -4*u - 26 = 6. Suppose 0 = -3*v - z + 3*z - 42, -5*v - 3*z = 51. Which is smaller: v or u?
v
Suppose 9 - 11 = -2*f. Suppose -11 - f = 6*a. Suppose -4*h = 4*w + 20 + 4, -3*h - w = 14. Is a equal to h?
False
Let c = -9927/7 + 68223/56. Which is bigger: -199 or c?
-199
Let x(r) be the first derivative of -5*r**3 + r**2 - r + 1. Suppose -3*d + g = 2 - 9, 3*g = -12. Let k be x(d). Is k bigger than -27/2?
False
Let w(c) = -c**3 - 19*c**2 - 14*c + 74. Let m be w(-18). Suppose -5*j = -m*h - 482, -3*j + 2*h + 290 = -0*h. Which is smaller: 95 or j?
95
Let g = -1633 + 2180. Which is bigger: g or 548?
548
Let p(q) = -q**3 - 7*q**2 + 10*q + 12. Let y be p(-8). Let w be (y/5)/(8 - (-3588)/(-450)). Which is greater: w or -59/2?
-59/2
Let x = -256172/11 - -23428. Is 139 greater than x?
False
Let l be 54/(-27)*(-4)/72. Which is smaller: 28 or l?
l
Let b be -2 - 0 - (-65)/10*-20. Let h be b/54*(-2)/36. Which is smaller: h or 1?
h
Let f be (-5*6/(-10) - 95)*-2. Suppose 189*d = f*d - 10. Which is smaller: -1 or d?
d
Suppose 4*k - 2 = 2, 0 = -3*c + 5*k - 5. Suppose -2*y = c, -y + 5 = -2*u - 3*u. Let r be 10/8 + u/4. Is r bigger than 1/9?
True
Let f(s) = -s**2 + 9*s - 14. Let g be f(6). Suppose -12 = g*t - t. Let m be 7 - (30/(-42) - t/(-14)). Which is greater: 11 or m?
11
Suppose 0 = 3*q + 5*q. Let i be ((-2)/(-10) - q)/(20/100). Which is smaller: i or 6/67?
6/67
Let f = -6583/104321 + 4/2129. Is 3/14 greater than or equal to f?
True
Let i = 77164 - 1002572/13. Is i at most as big as 42?
False
Suppose 34*k - 324 = -20*k. Let f(h) = h**2 - 8*h + 14. Let t be f(6). Suppose -d + t = -3. Do k and d have different values?
True
Let n be (-30)/25 - 21051/(-17055). Do 0 and n have the same value?
False
Suppose -3*y - 4*q = -68 - 25, -4*q = -5*y + 187. Let z be 29/1 + 1*(0 + -2). Let s be ((-1)/z)/(y/30). Is s not equal to 0?
True
Let f = 30.1 - 31. Let l = -36.1 + f. Let s = -37.1 - l. Is -12 > s?
False
Let c = -1 - -5. Suppose 5*u = -2*t - t + 9, 0 = 5*u + c*t - 12. Which is smaller: 2/453 or u?
u
Let u = -73/2 + 45. Suppose 4*d - 20 = -4*q, -38*d = -34*d. Suppose 8*o - q*o = -b - 7, -2*b = 4*o + 4. Which is bigger: u or b?
u
Let r = -2973/7 + 92159/217. Which is bigger: 1 or r?
1
Let i = -21158 - -21133. Do 202 and i have the same value?
False
Let a be (-77)/(-33) - (-230)/(-69). Which is smaller: -7/2732 or a?
a
Suppose 0 = -2*f + 17 + 299. Let q = -158 + f. Which is greater: -3/5 or q?
q
Let r be 88/66*(-36)/2. Let n be 106/(-6) + 1 + r/(-36). Let f be ((-61)/(-4))/(28/n - -1). Is -20 bigger than f?
True
Let v = -142 - -711/5. Let c(j) = -j**2 + 9*j - 19. Let p(n) = 3*n**2 + 3*n. Let f be p(-2). Let r be c(f). Which is greater: v or r?
v
Let g = 69335 - 69340. Let n be 12*(1 - 0 - 0). Suppose 2*k + 2*k = n. Which is smaller: k or g?
g
Let d = 696 + -721.9. Let z = d + 52.4. Is -1 > z?
False
Let d(k) = -2*k**2 + 29*k - 38. Let i be d(13). Which is smaller: i or -2991?
-2991
Let b(s) = -s**3 + 2209. Let a be b(0). Let c = -11108/5 + a. Is -12 at most as big as c?
False
Let l = 14815 + -15573. Is -757 less than l?
False
Suppose 2*p - 2*n - 68 = 0, -4*n + 355 = 5*p + 131. Let u(i) = 5*i. Let s be u(7). Is s >= p?
False
Let z be (49/15 + 100/250)*3/4. Is z <= -98?
False
Let g(i) = 3*i**2 - 6*i + 15. Suppose 14 = -6*z + 4*z. Let h be g(z). Is 202 less than or equal to h?
True
Let f = 449.31 - 449.3. Is -4/161 < f?
True
Let r be (-26)/18 - (-1176)/(-735). Is -2 not equal to r?
True
Let a be (-56)/(-10)*(1251/(-90) - -3). Which is bigger: -60 or a?
-60
Suppose -t - 6 + 8 = 0. Suppose 5*d + 13 = -t*v - 25, 3*v + 23 = d. Let w be 27*1*6/v. Which is smaller: w or -2/7?
w
Suppose 2*n + 2*b = -11*b - 8384, -5*n + 2*b - 21167 = 0. Which is bigger: -4230 or n?
-4230
Let y be (-8)/(-28383)*(315/(-36) - -8). Let v = y + -416274/47305. Which is bigger: v or -8?
-8
Let b be (-378)/(-210)*(-5)/(-8). Let f = -5 + 2. Let d = f + 3. Which is smaller: d or b?
d
Suppose w - 1049 = -3*q + 518, -4*q = -3*w - 2098. Suppose -q*r = -525*r. Which is bigger: -1/332 or r?
r
Let q = -0.07 - 0.33. Let b = -107 + -82. Let a = b - -189.05. Is q less than or equal to a?
True
Let t(r) = -72*r**2 - 311*r + 12. Let g be t(-9). Are -3021 and g equal?
True
Let l = 36149/7 + -443791/84. Is l greater than -120?
True
Suppose -9*j + 1404 = 1935. Which is bigger: -44 or j?
-44
Suppose 5*t + 757 = 3*g, g - 5*t = 197 + 72. Suppose 0 = -3*b + g - 64. Let m be 20/b - 10/(-6). Which is bigger: -16 or m?
m
Let s = -3 + 6. Let h(u) = u**2 - u - 4. Let x be h(s). Let q be 25/9 + 192/864. Which is smaller: x or q?
x
Let p be -7 + (2 + (-1004)/518)*(-1587)/(-14). Which is greater: 0 or p?
p
Suppose 5*h = -5*k + 128 + 2, -k = -3*h + 90. Let q be 7/2*2 - 16/(-4). Suppose 124 = 4*p - q*l + 6*l, -3*l = 0. Which is smaller: h or p?
h
Let m be (40/12)/5*27092/(-1740). Let s = m - 40/261. Let k = 4432/435 + s. Is k at most as big as -1?
False
Suppose -8509 = 57*h + 12410. Which is smaller: -369 or h?
-369
Let d = -74744983/11181 + 6685. Let v = -397546/3727 - d. Let k = -104 - v. Which is bigger: 2 or k?
k
Let t = -53 - -58. Let b be 13/(-65) + 1601/t. Let x be -2 + (-3)/(-4)*b/105. Which is bigger: x or 0.03?
x
Suppose 5*d - 175 + 25 = 0. Let i = -5 - d. Which is smaller: i or -36?
-36
Let y(t) = -20*t - 24. Let c be (5 + -3 + 18)/(-2). Let u be y(c). Which is bigger: -0.1 or u?
u
Let v be (76 - 73)/(6*(-3)/5136). Which is bigger: -859 or v?
v
Suppose r - 2*o - 265 = -14, -4*r + 3*o = -1029. Let t be 6/r*(-45)/10. Let w = -241 + 242. Which is smaller: t or w?
t
Let b(l) = l + 6. Suppose -3*d + 3*q - 6 = 0, 2 = 5*d + q - 3*q. Suppose 5*k - d*j + 31 = 2*k, -5*j - 10 = 5*k. Let t be b(k). Is 3/8 at most t?
False
Suppose l - 42 = i - 4*i, 2*i + 3*l - 28 = 0. Let o be 3 - (4/(-4)*i)/1. Suppose -o + 14 = -u. Which is smaller: u or 6?
u
Let h be 72/90 + (-8)/10. Suppose -11*j + 2*j = h. Suppose j = -2*s - s - 33. Which is smaller: -12 or s?
-12
Let q be (4 - 3) + 3 + -4. Let u be -5 + (-1 - q)/(-1) + -11. Which is bigger: -29/2 or u?
-29/2
Let a(y) = 89*y + 1. Let g be a(0). Is g < -42?
False
Let x = 18 - 23. Let k = -5.2 - x. Let f be (-3 + (2 - 1))*1*-30. Which is smaller: k or f?
k
Let p = -3.6 + 2.25. Let t = -2725.65 + 2623. Let f = t + p. Which is bigger: 0 or f?
0
Suppose 5*w = q + 2011, -2*w + 0*w - 3*q = -801. Suppose -5*a = -3*a - w. Is 201 != a?
False
Suppose -5*x = 5*q - 75, 0*x = -5*x - 5. Suppose 19*z = q*z. Let n = -4/7 + 1/63. Is n at least as big as z?
False
Let y be (-2)/(6/(-3))*(-194)/(4/(-2)). Is y at least 96?
True
Let f = -24 - -22.8. Let s = -1.14 - f. Let r = 35 - 35.4. Which is greater: r or s?
s
Let d be (357/6 + -1)/((-35)/(-10)). Let y = -461/28 + d. Let z = 126/11 + -202/33. Is y at most z?
True
Let y(j) = -j**3 - 17*j + 14. Let q be y(6). Let l be 3*(q/(-42) - (-3)/7). Is 29 not equal to l?
True
Let q = 26 + -24. Suppose q*j - 11 = 55. Let o = j + -36. Which is smaller: o or -11/4?
o
Let l = 85387777240/68199189 + 6/1196477. Suppose -a + 4*b = -0*a - 1248, -2*a + 2*b = -2502. Let d = l - a. Which is bigger: 1 or d?
1
Suppose 31*f = -7*f - 152. Let u be 1790/22*f - (-72)/(-132). Which is bigger: -327 or u?
u
Let x be 18*((-94)/6 - -10). Is x at least 10?
False
Let h = -6.8 + 11. Let w = h - 4.88. Let m = w + 0.88. Which is bigger: m or 2?
2
Let a = -6138/7 - -951389/1085. Is 0 not equal to a?
True
Let n be ((-8)/(-3))/(-8) - 6923/4899. Is -3 greater than n?
False
Let y(v) = -9*v - 55. Let b be y(-6). Let x be (b*1/2)/(19/266). Let k be (-1)/1 - 50/8. Which is smaller: x or k?
k
Suppose -44*p = -49*p. Suppose -3*g + r - 3 = p, 5*g - 2*r + 3 = -2. Let u = 431 + -7324/17. Are u and g equal?
False
Let z = 3142 - 3691. Is z less than -552?
False
Suppose -38718 + 13443 = 258*z + 12393. Is -166 >= z?
False
Let x = -2 + 1. Let m(k) = 24*k + 16. Let q be m(-7). Let p = 17786/117 + q. Which is smaller: p or x?
x
Let w = 11 + -66. Suppose 5*j + 100 = -2*g, -4*j + 50 = -g - 8*j. Are w and g non-equal?
True
Suppose 3*v - 16 = -p, 2 = 2*v + 3*p - 4. Let o = 5 - v. Let n be (-1)/(-5 + -7 + -1*5). Which is greater: n or o?
n
Let q(w) = -16*w - 380. Let y be q(-21). Let s be (11/(y/(-8)))/6. Which is smaller: 3 or s?
s
Let p be 1*(1 - (-318)/(-309)). Is p equal t