hich is smaller: a or x?
a
Let i be ((-2)/(-6))/((-56)/105). Suppose 0 = -6*w + 3*w - 9. Let b be (-1 - -1)*(w + 2). Which is smaller: b or i?
i
Let b be (-21 - -21) + 357/66 + -2. Is b at most as big as 2?
False
Suppose 77700 = -27*y - 48*y. Is -1/3 at least as big as y?
True
Suppose -5*h - 10 + 180 = 0. Let w = h + -35. Which is smaller: w or -1/49?
w
Let a be ((-9)/(-6) - 0)/(2/4). Which is smaller: a or 11/6?
11/6
Suppose 4*p = 3*v - 29, -3*v + 2*v - 17 = 4*p. Let f be (p + 6)*1/1. Which is smaller: 4 or f?
f
Let k be 2/(-13) + (-132)/(-13). Let l be (-34)/(-8) - k/40. Suppose l*n = n. Which is smaller: -2/21 or n?
-2/21
Suppose -21*v - 82 + 754 = 0. Is v < 94/3?
False
Let l be (-1)/(2 - 15/6). Let q be l - -2*(-4)/8. Which is smaller: 3/50 or q?
3/50
Let h(o) = o**3 + 2*o**2 - 7*o + 4. Let g be h(-3). Let d = g + -26. Is d bigger than -1/3?
False
Let v = 208 + -608/3. Let g = v - 86/15. Let a be (-48)/12*(-2)/(-8). Which is greater: g or a?
g
Let s be 6/(-33) + (-114752)/(-633798). Which is greater: -1 or s?
s
Let f = -4/1877 + 18902/61941. Is f greater than or equal to 1?
False
Let s = 27/19 - 25/19. Let n = -2.6 - -1.7. Let g = n - -1. Is s at most g?
False
Suppose 2*b = 5*j + 359, 0 = 5*j + b + 233 + 135. Let g = j - -73. Is -3/10 less than g?
True
Let w = 7 + -9. Let k be -32*(105/12 + w). Let r = k - -871/4. Which is smaller: r or 1?
1
Let x be (-20 - 1) + 4 - (-5 - 0). Is -12 less than x?
False
Let h = -364 - -351. Let l(y) = y + 8. Let t be l(-6). Suppose -t*j + 19 = -f, 3*f - 2*f + 7 = -2*j. Is f at least as big as h?
True
Suppose 3*l + 20 = 5*q, 2*l + 0 = 2*q - 12. Which is smaller: 7/85 or q?
7/85
Suppose -2*c = 4*c - 12. Let p(o) be the second derivative of -o**5/20 + o**4/4 - o**3/2 + o**2/2 + o. Let m be p(c). Which is smaller: m or 2/25?
m
Suppose 2*j - 3*n = 68, -3*j + 4*n + 99 = n. Is 29 less than j?
True
Suppose 4 = 5*p - 2*t, -2*t = -4*p + 2*t - 4. Suppose 0*s + 2*s + p = 0. Let g = 223 + -889/4. Is g at most s?
False
Suppose -2*g = -118*q + 116*q - 60, -4*q + g - 105 = 0. Which is bigger: -22 or q?
-22
Let p be (12048/30 - 4) + (-4)/(-10). Suppose -7*r + p = 146. Which is bigger: r or 35?
r
Let d = 2.7 - 1.7. Which is bigger: d or -15?
d
Let s(l) = -4*l**2 - l - 4. Let h be s(-3). Let y = h + 38. Which is greater: -1/33 or y?
y
Let n = 6 + -8. Let w(f) = 8 + 23*f + 15 - 32*f. Let p be w(3). Which is smaller: n or p?
p
Let x(h) = -h**3 - 15*h**2 - 34*h - 21. Let p be x(-10). Is -182 bigger than p?
False
Let a = 18 - 17.82. Let i = -27.98 - -28. Let p = a + i. Which is bigger: p or -2?
p
Let j = -3051 - -3056. Let b = -0.1 + 0.2. Which is bigger: b or j?
j
Suppose -q = -4*m + 11 + 7, 3*q + 4*m + 6 = 0. Let j(l) = l**3 + 5*l**2 - 5*l + 7. Let g be j(q). Let x be 135/21 + -6 + 1560/(-3444). Are x and g equal?
False
Let b be (-4)/(-6)*(1 - 10). Let r be b/(-10) - (-93)/(-105). Is r less than or equal to -1/5?
True
Let n(i) = -i**3 + 25*i**2 + 51*i + 6. Let r be n(27). Is -75 at most as big as r?
True
Let z = -6.6 + 33.6. Let i = z - 40. Let n = 7 + i. Is n equal to 1?
False
Let y = 1 + 11. Suppose -6*c = -4*a - 2*c + y, 2*a - 11 = -3*c. Suppose 2*n + 2*h + 3 = 1, -4 = 5*n + a*h. Are -6/19 and n non-equal?
True
Let l = 9 - 22. Let b = l + 13. Is b > 7/8?
False
Suppose 0*g + 3*g = -3. Suppose 5*j = 4*k + k + 15, j + k + 3 = 0. Suppose -6*z - 34 + 4 = j. Is g at least z?
True
Let y be 0/(3 - (-1 - -6)). Suppose -p + y*p = 0. Are p and 3/34 unequal?
True
Let o be (-1)/(-4) + (-10)/8. Let z be (33/(-22))/((-1)/((-4)/(-3))). Let s be (-160)/525 - z/(-5). Which is greater: s or o?
s
Let l be (-48)/264 + (-695)/(-11). Is 63 smaller than l?
False
Let k = 84 + -77.9. Let u = k - 6. Let w be (2/15)/((-2)/(-6)). Is w != u?
True
Let c = -292/3 + 99. Let j = -54/91 - -4/13. Which is bigger: j or c?
c
Suppose 0 = 18*v - 8*v + 940. Which is bigger: -96 or v?
v
Let f(d) = -17 - 5*d - 6*d + d**2 + 2*d. Let u be f(10). Let q = -0.2 - -0.4. Do q and u have the same value?
False
Suppose -437 = -r + 4*v - 101, -4*r + 1325 = 3*v. Do r and 332 have the same value?
True
Suppose y + s - 2 + 6 = 0, -5*y + 5*s + 10 = 0. Let p be ((-24)/1722)/((-44)/(-154)). Which is greater: p or y?
p
Let c = -1047.76 + 1048. Let n = -303/7 - -43. Is c less than or equal to n?
False
Suppose 0*r + 19 = -2*r - g, -2*r - 5*g = 31. Let v be 6/(-20)*r/(-6). Let h(d) = -2*d. Let x be h(1). Which is smaller: x or v?
x
Let g = 943 - 2828/3. Which is smaller: 251 or g?
g
Let p be (-1232)/(-14) + 12/(-3). Which is smaller: 254/3 or p?
p
Let u be (-474*(-5)/25)/2. Which is smaller: 46 or u?
46
Suppose -384 = -3*l - 393. Is -70/19 less than or equal to l?
True
Let y(x) = x**3 + 4*x**2 - 6*x + 6. Let i be (-6)/14 - 544/119. Let k be y(i). Is k at least 10?
True
Let w = 213 + -148. Let d = w - 67. Is d less than -1?
True
Let s = 17 - 8. Suppose 0 = 3*t + 5*d - 131, -209 = -5*t + d - 0*d. Let x = t + -33. Is x at least s?
True
Suppose -3*c = -0*l + 2*l - 3, 4*l = 3*c - 21. Suppose 5*n = -q + 35, 3*q - 33 = -4*n + n. Suppose -5*d + c*d + n = 0. Is d bigger than 3?
False
Let d = 51.9 - 55. Let o be -2*(2 - 5/3). Are d and o non-equal?
True
Suppose 4*z - 160 = -2*c - c, z - 55 = -c. Is c greater than 61?
False
Let a = 0.29 + 9.71. Let n = -10.5 + a. Let c = -0.1 + n. Which is bigger: c or 1?
1
Let i = 24.9026 + 1.0974. Let z = 4 - 6. Is i greater than z?
True
Let o(h) = 2*h**3 - h. Suppose -2*v - 13 = v + 4*i, 5*v = -2*i - 3. Let k be o(v). Suppose 2*z = k - 3. Is z smaller than 1/11?
True
Let i = 3/12220 + 351307/73320. Is 4 <= i?
True
Let z = 2.51 - 5.51. Which is smaller: z or 18.6?
z
Let v = 1524 + -1441. Are 83 and v nonequal?
False
Let y = 9556/35 + -1858/7. Which is greater: y or 9?
9
Let r = -421 + 420. Which is bigger: r or 3/652?
3/652
Let q = -8 + 6. Let y(i) = -2*i + 40. Let g be y(21). Are q and g non-equal?
False
Let n be (6/(-6))/(1/(-91)). Suppose n*p - 87*p - 24 = 0. Is 14/3 at least as big as p?
False
Let o(m) = m**3 - 10*m**2 - 11*m. Let w be o(11). Suppose w = -12*i + 11*i + 27. Is 27 at most i?
True
Let k be ((-14)/(-4))/(-7)*-74. Let j(q) = 0*q + 32 - q - k. Let i be j(-4). Which is greater: i or -1/6?
-1/6
Let c(b) = 2*b + 27. Let r be c(-13). Which is greater: r or 369?
369
Let y(z) = -z**3 + 14*z**2 + 9*z - 95. Let l be y(14). Is l greater than or equal to 26?
True
Let n = 2.01 - 0.01. Let a(v) = 2*v**2 + 0*v + 2*v - 2 + 1. Let u be a(1). Is u bigger than n?
True
Let n be ((-4)/6)/((-7)/399). Suppose 2*x + 51 = 5*l, -6*x = -4*l - 3*x + n. Is l <= 0.1?
False
Let p = 498703 - 1071395/2. Let s = 1111109/30 + p. Let v = 146/3 - s. Which is smaller: v or 6?
6
Let t = 187/14 + -25647/1918. Let s = t - -3842/411. Which is smaller: 8 or s?
8
Suppose -c + 4*w = 16, 0*w + 7 = 3*c - w. Let d be ((-13)/c)/((-4)/64). Suppose 0 = -0*f - 4*f - d. Is f bigger than -12?
False
Let h = 1909/9 + -637/3. Which is greater: h or 0.17?
0.17
Let m(l) = -20*l - 36. Let n be m(-3). Let s be 1 + 3/4 + (-90)/n. Is s greater than or equal to 1?
False
Let p = -172 + 178. Which is smaller: -11 or p?
-11
Suppose -3*x - 93 = 5*b - x, 4*x + 72 = -4*b. Let t be 28/(-44) + 84/(-231). Is t not equal to b?
True
Let b = -253/9 + 310/9. Which is greater: 1 or b?
b
Let r(n) = n**2 - 19*n + 52. Let o be r(16). Suppose 6 = -a + 2*a. Suppose z - a = 4*z. Which is smaller: z or o?
z
Let t = 108 - 108.1. Which is greater: -80 or t?
t
Let b be 2 + -2 + 2 - -1. Let t be 1580/35*3/4. Let n = t + -221/7. Is n less than b?
True
Let y(z) = 5*z - 1. Let q(s) = -s + 14. Let j be q(12). Let c be y(j). Let l be 1*-1 + 44 + -33. Is l <= c?
False
Let h = -12 + 11. Let p = 1815 + -2605. Let m be (-415)/p + (-2)/4. Which is smaller: h or m?
h
Let d = -34 + 52. Let f = d - 6. Is -2 != f?
True
Let s = -25 - -12. Let k = -92 + 75. Is k < s?
True
Let n = -28.9 + 29. Let l = 0.18 + -11.18. Let g = 8 + l. Which is smaller: g or n?
g
Suppose -42 = -5*q - 7. Let k(x) = -x**3 + 8*x**2 - 7*x + 5. Let j be k(q). Suppose -m - j + 4 = 0. Which is bigger: -2/11 or m?
-2/11
Let m = -813 - -812. Let x = -3068/29 + 106. Are x and m non-equal?
True
Let g be ((-6)/(-23) + 0)*-1. Suppose 91*i + 252 - 252 = 0. Is g >= i?
False
Suppose 3*y - 2*y = 20. Suppose 2*n - y = -3*n. Let m = 6 - n. Which is greater: m or 4/5?
m
Let m = 4.709 + -4.