(2). Which is smaller: g or 3/115?
g
Suppose 14 = 3*l - 2*x, 2*l + 6*x - x - 3 = 0. Suppose 2 = l*y + 2*t, -4*y + 3*t - 18 - 5 = 0. Let g = -14653/11 - -1331. Is y smaller than g?
True
Let q = 11/119 - 1450/14399. Let r = 90 - 91. Is q equal to r?
False
Suppose -16*h + 12*h + 6 = 5*x, 5*x = -5*h + 5. Is h less than -11/12?
True
Let v(k) = -31*k**2 - 6*k + 30. Let f be v(3). Is f <= -266?
True
Let v = 2/909 + 206339/1818. Let b(t) = 3*t**3 - 4*t**2 - 2*t - 4. Let p be b(4). Let s = v - p. Which is bigger: s or -2?
-2
Let v(i) = 3*i**2 + 48*i. Let w be v(-16). Are -38/17 and w nonequal?
True
Let u(k) = 3*k**2 + 11*k + 5. Let v be u(-4). Suppose 2*p = -o + v, -4*o + 5*p = p + 12. Does 2/47 = o?
False
Let b(g) = g**3 + 3*g**2 + 3*g + 2. Let n be b(-2). Let i be 23/(-8) + (n - -3). Suppose 0*x - 3 = 3*x. Which is greater: x or i?
i
Let u(c) = -9*c**3 + 2*c**2 - 3*c + 2. Let z be u(1). Let w be ((-24)/(-32))/((-27)/z). Which is smaller: 0 or w?
0
Let p = 602 - 25885/43. Suppose -4*u + 4*n = 8, 0 = 2*n - 11 + 5. Is p at most u?
True
Let z = -6 - -6. Suppose 41 - 17 = -6*t. Let l be 2/(-4)*((-70)/15 - t). Which is smaller: l or z?
z
Suppose 226 + 34 = -10*d. Let l be (-11)/(-3) - d/(-39). Let z(y) = -y**2 + 3*y. Let n be z(4). Is n > l?
False
Let o be 36/(-13)*6/(-24). Let t(i) = 4*i - 31. Let z be t(8). Is z >= o?
True
Let k = 3343.19 - 3361. Let q = k - -18. Does -0.1 = q?
False
Let x = 18 + -15. Suppose 0*w + 2*k = -x*w + 8, -1 = -3*w + 5*k. Let p be 14/(-10) - w/(-5). Which is smaller: p or 1/24?
p
Let k = 277 + -2495/9. Is -1.11 less than or equal to k?
True
Suppose c + 3*c - 48 = 0. Suppose -5*s = -s + c. Let u be s + ((-11)/(-9) - -2). Is u > -1?
True
Let b be 1 + (-7)/(28/152). Let a = 63 + b. Let m be (-18)/(-45) - a/90. Which is greater: 1 or m?
1
Let o = -30127/36 + 837. Which is smaller: -1 or o?
-1
Let a be 3*1/(-2)*-6. Suppose -4*r = -a*r. Let q = 367/6 + -4013/66. Is r != q?
True
Let d(t) = 2*t - 7. Let q be d(-8). Let a = q + 77/3. Let m = -17/6 + a. Is m equal to 0?
False
Suppose -n + 4*n + 3 = 0. Let k = 29 + -4. Let l = 22 - k. Which is smaller: n or l?
l
Suppose 1054 = 19*x + 959. Suppose 2*r + 1 = 11. Are r and x unequal?
False
Let w = 1.6 + -10.6. Let j = -8.9 - w. Let h = -0.2 + j. Is h not equal to 0.1?
True
Let d = 53 - 373/7. Let o = 0.273 - -5.727. Which is smaller: d or o?
d
Let x = -124.95 - -125. Let z = 0.039 - x. Which is smaller: -1 or z?
-1
Let q = -5 - -10. Suppose -q*c = -4*c - 4. Suppose c*u = -b + 11, -2*u - 33 = -3*b - 3*u. Which is smaller: 9 or b?
9
Let g = 83/138 - 10/23. Let c(j) be the third derivative of -j**5/60 + j**4/4 - j**3 - 14*j**2. Let r be c(5). Which is greater: g or r?
g
Let x be ((-4)/(-6))/((-52)/1170). Let u be (x/(-45))/(-2*2/248). Is u greater than 1?
False
Suppose 4*n + 5*x + 21 = 0, -x - 9 = -4*n - 0*x. Which is smaller: n or 1.7?
n
Let k(f) = -f**3 + 9*f**2 - 8*f + 7. Let j be k(9). Let z = -32 - j. Suppose 5*t + 12 = -4*o - z, 5 = -2*t + o. Is t > -6?
True
Let x be (-21)/(2 - 28/8). Let b be x/4 - 12/8. Suppose 4*m = -3*i - b*i + 18, 3*m = -5*i + 16. Is i less than 7/6?
False
Suppose -2*k - 2*k - 32 = 0. Let h be 3/(-15) - (165/50 - -5). Which is greater: h or k?
k
Let u = -6603/8 + 825. Is 1 greater than u?
True
Let u = 769.77 + -737.8. Let n = -32 + u. Is 2/7 at most n?
False
Suppose 0 = -3*s + v - 1485, 2*s + 5*v + 894 = -79. Which is greater: s or -496?
s
Let i = -0.12 + -45.88. Let u = -44 - i. Is u smaller than -5/4?
False
Let h be (-18)/(-6) - 6 - 111/(-27). Are 1 and h non-equal?
True
Suppose -2*v - 2 = 2*v - 2*d, 4*v = 5*d - 5. Let o be (-12)/(-8)*16/(-18). Which is smaller: v or o?
o
Let f(s) = s**3 - 4*s**2 + s - 4. Let a be f(4). Let c = 0.18 + -0.05. Does a = c?
False
Let y(p) = -3*p**2 - 2*p - 1. Let h be y(-1). Let n be (h + 0)/(8 + -6). Let u be 0*((-9)/3)/(-3) - 1. Are u and n nonequal?
False
Suppose -131*y - 21 = -128*y. Let a be (-1)/(-2) - (-14)/(-12). Which is smaller: a or y?
y
Suppose 24 + 6 = 10*c. Let x be (2*(-2)/(-4))/(c - 2). Which is smaller: 2/327 or x?
2/327
Let b = -646 - -867. Which is smaller: -2/5 or b?
-2/5
Let k = 142202/239 + -595. Let d = k + 395/12428. Which is smaller: d or 1?
d
Suppose -6*n = -n + 3*o - 776, -148 = -n + 3*o. Let t be 4/(-14) - 124/n. Which is greater: -2 or t?
t
Let b(f) = f**2 + 9*f + 14. Let t be b(-8). Let w be (50/t)/5 + (-6)/(-18). Is 2 at least w?
True
Let t(f) = -f - 4. Let h be t(-4). Let q be (-64)/(-10) + 6/(-15) + 292/(-42). Which is smaller: q or h?
q
Let w be 7 - (-3)/(-1 + -2). Let n be 3/(9/w) - 5. Let d(l) = l**3 + 11*l**2 - 26*l - 2. Let q be d(-13). Are n and q unequal?
True
Let f be (-4)/15*2*(-10)/56. Is 7 <= f?
False
Suppose 3*t + 1204 = -11*t. Let v = -94 - t. Let h = -2 + -7. Which is smaller: v or h?
h
Suppose -4*x - 192 = -12*x. Let a be ((-2)/(-6))/(8/x). Which is smaller: a or -12?
-12
Let n = -1.1 + -9.9. Let c = -13 - n. Let f = c - -1. Is f at most as big as -2/3?
True
Let t = 22/129 - -526/2967. Is t smaller than 0?
False
Let a(c) = -c**3 - 34*c**2 + 30*c - 175. Let y be a(-35). Is -3/4 >= y?
False
Let w = 12 + -13.4. Let q(x) = -x**3 - 4*x**2 - x + 1. Let g be q(-3). Let v be (3/6)/(g/(-4)). Is w at least as big as v?
False
Suppose -2*y = -3*y + 9. Let h = -381 + 391. Is h < y?
False
Let t = -4811 - -14306/3. Which is smaller: -42 or t?
t
Let h be ((-6)/9)/(((-21)/54)/(-1)). Which is smaller: h or -2?
-2
Let n be 2*(1 + 15/6). Let j = n + -1. Let a(g) = g - 6. Let r be a(j). Is r equal to -2/45?
False
Let l = -868 - -14762/17. Which is smaller: -1/15 or l?
-1/15
Let u(y) = 5*y**2 + 155*y + 4. Let z be u(-31). Let j(m) = -6*m**2 + 6*m**3 - 4 - 5*m**3 + 5*m + 4*m. Let r be j(z). Which is bigger: 1/12 or r?
1/12
Let g be (-31)/5 + (-1)/(-5). Let i be 15/g - 1/(-2). Suppose a - 2 = 0, 7*p - 2*a + 24 = 3*p. Which is smaller: i or p?
p
Let k = -1583 - -1584. Which is smaller: k or 9?
k
Suppose 5*r - 26 = -4*n, -r + 22 = -0*n + 5*n. Which is bigger: r or -42?
r
Let v be 0/(-1)*(-9)/(-27). Let y be (-2)/9 - 14096/666. Let n = y + 64/3. Is n at most as big as v?
True
Suppose 5*x - 4 = -19. Let c be ((-2)/(-4))/(x/(-2))*6. Let t = -179/40 - -39/8. Which is bigger: c or t?
c
Let z be (-7566)/9420 + (-8)/(-10). Which is greater: 0 or z?
0
Let m(y) = 21*y - 4. Let w be m(2). Let k = w - 42. Suppose -5*d - 26 = 3*z, 4*z + 3*d + 11 + 9 = 0. Is z bigger than k?
True
Let s = -118762/5 + 36102593/1520. Let f = -3642/5947 + -6/313. Let z = f - s. Which is bigger: 0 or z?
z
Let m be 638/(-1720) + (-8)/(-20). Let q = -7/172 - m. Which is smaller: q or 1?
q
Suppose -9 = 5*q - 29. Suppose n + 3 = q. Does 0 = n?
False
Let j(r) = -r**3 - 9*r**2 + 10*r - 1. Suppose 4*g - 5*l + 30 = 0, 4*g - 7*g - 5*l = 40. Let c be j(g). Which is smaller: -2/9 or c?
c
Suppose -26 + 52 = 2*o. Which is greater: o or 12?
o
Let w(h) be the second derivative of h**5/20 + 2*h**4/3 - h**3/3 - 9*h**2 + 14*h. Let j be w(-8). Is j bigger than -5?
True
Let b = -0.03994 - 0.96006. Let f = 46 + -33. Let i = f - 12.3. Which is bigger: i or b?
i
Let c = 2241/5 + -443. Let l be (-4 + 108/21)*35/10. Which is smaller: c or l?
l
Let w(h) = 3*h - 1. Let a be w(-2). Let b be 2/(-10)*(-56)/a. Suppose 9 = 3*q - 5*r + 2*r, 2*q + 5*r + 29 = 0. Are q and b non-equal?
True
Suppose 19*o = 15*o + 8. Let y be ((-1)/o)/(1/6). Let d be (-10)/y + (-14)/(-21). Which is bigger: 1 or d?
d
Let f = -51 - -51.21. Let t = f - 1.21. Which is smaller: t or 0.1?
t
Let h be (5 - (-6)/(-3)) + 18. Suppose -3*f - 5*u + h + 26 = 0, -1 = -f + 2*u. Which is bigger: f or 10?
10
Suppose -10*s - s = -2*s. Suppose -86 = j - 6*j + 4*g, s = 4*j + 5*g - 77. Which is greater: j or 16?
j
Let k be 16/(2/(-8) + 1507/44). Is k greater than 0?
True
Let k = -66517/3094 - 2/1547. Which is smaller: k or -22?
-22
Let g = 1439 + -10000/7. Is g <= 9?
False
Let w(l) = -21*l - 694. Let n be w(-35). Which is smaller: 52 or n?
n
Let f(m) = -136*m**2 + 9*m + 8. Let p be f(-1). Which is greater: 1 or p?
1
Let o(b) = b**3 + 9*b**2 + 6*b - 22. Let l be o(-8). Suppose -1 - 2 = f. Which is greater: f or l?
f
Let g = 19.6 - 19.7. Let z be (23*1)/(9/9). Which is smaller: z or g?
g
Suppose 3*u - 4*r + 6 = 0, 0 - 4 = 2*u + 3*r. Let h = u - -1. Which is bigger: h or 1/8?
1/8
Suppose 0 = -3*s + 4 + 2. Let l be -2*(1 - 