2)/(-13). Which is bigger: 2 or s?
2
Let f be 317/805 - (-30)/(-70). Is f greater than -1?
True
Suppose -47*j - 364 = 393 + 89. Let l(k) = -k**2 - k - 4. Let s be l(3). Is s at least as big as j?
True
Let t = 2.99 - 1.88. Let g = -0.71 + t. Which is smaller: 17 or g?
g
Suppose 2*p + 313 = c + 4*c, 3*c - 190 = -p. Let f = c - 8. Suppose 0 = 13*x - 8*x - f. Which is smaller: 12 or x?
x
Suppose -45 = -5*v - 0*v + 5*f, -4*f = 5*v. Let k(h) = -h - 3 - v + 0 + 5. Let w be k(2). Is -3 less than or equal to w?
False
Let l be ((-205)/(-574))/(7/(-6) - -1). Is l <= -0.02?
True
Let f be (64/15)/1 - 10/15. Let s = f - 11/10. Which is greater: 4 or s?
4
Let z = 1.1 - 1. Let l = -11 - -13.1. Let a = -7.9 - l. Which is smaller: z or a?
a
Suppose 16*o - 16 = 32*o. Which is smaller: 1/218 or o?
o
Let h = 321 + -597. Which is smaller: -1 or h?
h
Let w = 24 - 23. Suppose w = -4*g + 13. Let h be -4 - ((-6)/g - 3). Which is greater: h or 1/5?
h
Suppose 0 = -15*m + 5*m + 50. Suppose -g - 6 = m*g. Is -3 at least as big as g?
False
Let y be ((-413880)/(-93080))/((-6)/16). Let u = -154/13 - y. Is u at least as big as 1?
False
Let q be (1*(-2)/4)/(399/(-48)). Which is smaller: q or -1?
-1
Let y be -4*((-40)/1)/2. Let j = 242/3 - y. Which is smaller: 1 or j?
j
Suppose 0 = 3*g - 5*t + 3*t + 282, -4*t - 80 = g. Is g greater than -92?
False
Let j(q) = 16*q + 3. Let g be j(-3). Let c be (-50)/(-15)*(-3)/g. Is c less than 0?
False
Suppose 3*u = -7*d + 5*d - 8, -10 = 5*u + 5*d. Let b be -4 - (-308)/(-68) - -5. Is b at least as big as u?
True
Let h be 43958/(-155) - (-6)/10. Is -283 less than or equal to h?
True
Suppose -3*l - 2*m = -7, m = -0*m - 1. Suppose 5*b = l*b - 2. Let c(f) = -3*f - 2. Let h be c(b). Are -2/17 and h nonequal?
True
Let n(a) = a**2 + 6*a - 10. Let c be n(-7). Let i = -101/35 - c. Let s = 6/35 + i. Which is greater: s or -2/9?
s
Suppose 5*w = d - 155, -w - 2*d = 2*w + 80. Let h = -31 - w. Which is smaller: h or -2/27?
h
Suppose -2*b = -0*j - 3*j - 41, 5*b = 2*j + 31. Suppose 4*d + 5*c + 57 = -18, -4*c = 12. Let g = j - d. Are g and -2 non-equal?
True
Let z = -40 + 22. Let r = 23 + z. Are r and 3 equal?
False
Let g = 1.69 - -0.31. Which is smaller: g or -27?
-27
Suppose -4*y = 4*z - 9*z + 7, -2*z + 5*y - 4 = 0. Suppose 84 = z*j + 3*w, -2*j + 24 = -j - 3*w. Which is smaller: j or -1?
-1
Let d = -18427/37 + 498. Is -1 at least as big as d?
False
Let s = 3 - 7.5. Let z = 0.45 + 0.05. Let j = s + z. Which is smaller: 0 or j?
j
Suppose 4*f - 4 - 4 = 0. Let g be f/11 + 452/(-308). Let x(z) = z - 1. Let k be x(1). Which is smaller: k or g?
g
Let l = 9 + -9.1. Suppose p = -2*x + 275 + 111, p - 2*x - 382 = 0. Let v = 2309/6 - p. Which is smaller: v or l?
l
Let y be -5*48/264*(-1)/(-15). Which is greater: -18/11 or y?
y
Let d(n) = n - 35. Let g be d(15). Let q be 15/g + (-15)/(-4). Suppose q*y - 2 = 2*j, 3*y = -2*y - 4*j - 4. Which is smaller: -2/3 or y?
-2/3
Let k(s) = -55*s - 17. Let f be k(3). Is -0.1 greater than f?
True
Suppose 6 = -3*i + 3. Is i less than 7/15?
True
Let k be 124/16 + -1*1/(-1). Is 8 at most as big as k?
True
Let v = 19 + -12. Let z = -4 + v. Suppose z*l = 7 - 1. Which is greater: l or -1?
l
Let v = 56.9 + -56. Let n = v - 0.4. Which is greater: n or -2?
n
Let x = -0.065 + 23.665. Let m = x - 21. Is 0 less than m?
True
Suppose p + 0 - 1 = 0. Suppose z - u = 3 - p, -5*z + 4*u = -10. Suppose -z*l + 4 = 2*l. Which is smaller: l or 2/5?
2/5
Let v = -3/8 + 1/2. Which is smaller: v or -0.27?
-0.27
Let m be ((-13)/(39/(-2)))/(5/12). Is 1.2 bigger than m?
False
Let i be (-59)/(-2) - (-2 + (-6)/(-4)). Let w be ((-9)/12)/(i/28). Is 0 equal to w?
False
Let y = -0.080513 + 493.150513. Let u = y - 496. Let o = u + -0.07. Which is bigger: 1 or o?
1
Let c = 25 - 19. Suppose 14 = -c*o + 152. Which is smaller: o or 22?
22
Let w be (2 - 33/15)/((-60)/(-450)). Is 0.1 smaller than w?
False
Let p be (4 - 3) + (-28)/10. Suppose -17 = -3*y - 4*a, 3*y - 26 = -a + 6*a. Let m(c) = 3*c - 21. Let f be m(y). Which is bigger: f or p?
f
Let a = 967 + -923. Is 40 equal to a?
False
Let n = 72 - 70. Suppose -n*i + 108 = 112. Which is smaller: i or -4?
-4
Suppose 0 = n + n + 8. Let s(h) be the first derivative of -h**4/4 - 4*h**3/3 - h**2/2 - 3*h + 1. Let d be s(n). Is d at least -4/9?
True
Let q = -32 - -32. Suppose j = -3, 24 = -5*s - q*s - 3*j. Let d(b) = b - 4. Let n be d(2). Which is smaller: s or n?
s
Suppose -7*q = -19*q + 8*q. Let s be (2 - (2 + -1)) + 1. Which is smaller: q or s?
q
Let u be 0 - -3 - 1295/345. Let n = -2/23 - u. Suppose 2*j = 5*j + 3. Is n > j?
True
Let m = 400 - 4402/11. Which is greater: -5 or m?
m
Let j(r) = r**2 + 15*r - 84. Let t be j(5). Do 16 and t have different values?
False
Suppose 5*z = w + 39, -3*z + 140 = -3*w - 37. Let a = w + 46. Let f = -11423 + 11404. Is f greater than or equal to a?
False
Let m = 23 - 11. Let h(l) = -2*l**2 - 9*l - 2. Let r be h(-4). Suppose 7*t = r*t - 5*c, -m = t - 3*c. Which is smaller: t or -4?
-4
Suppose 2*l + 0 = -8, -9 = o - l. Let g = -86 - -69. Which is bigger: o or g?
o
Let g = -360.5 - -363. Which is smaller: g or -3?
-3
Let v = -1106 + 1095. Let a(q) = 2*q**2 - 6*q - 2. Let m be a(-4). Suppose -m = 4*c - 0*c + 3*t, 0 = 4*t + 8. Which is greater: v or c?
v
Suppose 0 = 4*l + 5*s - s + 8, -5*s = 10. Let x = -304/5 + 61. Which is smaller: l or x?
l
Suppose 39*i - 228 = 36*i. Which is smaller: i or 56?
56
Let w = 23.38 + -0.38. Let a = -22.9 + w. Which is smaller: -7/5 or a?
-7/5
Suppose 8*z = -20*z - 28. Is -3/64 at least z?
True
Suppose m - 2*m - 2*w - 7 = 0, 0 = -3*w - 12. Let b be 2 - 2 - m*-3. Suppose 12*l - 12 = 9*l. Is b <= l?
True
Let w = -1.94 + -0.06. Let a = 19.5 - 17. Let l = 2.44 - a. Do l and w have the same value?
False
Let r be (-30)/(-20) - (-2)/(-4). Suppose 0 = d - r - 2. Suppose -d = -5*q + 2*q. Are q and -2/7 unequal?
True
Let n = 1877/300 + -77/12. Suppose -2*h + b + 33 = 0, -h - 13 = -5*b - 43. Suppose 14*w = h*w + 1. Which is greater: n or w?
n
Let k = -194.9 - -195. Does 0.5 = k?
False
Let s be -2 + (-5)/(-3) + (-1860)/900. Let n(j) = j**3 - 9*j**2 - 11*j + 15. Let x be n(10). Let r be (1 + 0)/(x/(-15)). Which is smaller: s or r?
r
Suppose -2*i - 4*q - 3 = -5*q, -5*i - q = 4. Which is bigger: -0.161 or i?
-0.161
Let v be (2 - 3)/((-2)/(-786)). Which is smaller: v or -394?
-394
Let q = -201 + 199.42. Is -0.1 smaller than q?
False
Let r(m) = 3*m**2 - 54*m - 14. Let a be r(18). Which is smaller: -9 or a?
a
Let s(z) = -z**3 + 26*z**2 - 65*z - 160. Let p be s(23). Are -64 and p nonequal?
True
Let o be 134/(-14) - 21/49. Let r = o - -8. Which is smaller: -1/5 or r?
r
Let s = 5.72 + -5.4. Let n = 10.32 - s. Is 0.1 smaller than n?
True
Let m(f) = 2*f - 6. Let c be m(-3). Let j = 22 - c. Which is greater: j or -1?
j
Suppose -461*g + 466*g - 720 = 0. Which is smaller: 143 or g?
143
Let b = 6492 + -6492. Let c = 1.99 + 0.01. Does b = c?
False
Let d = -1273/33 - 1497/11. Which is smaller: -176 or d?
-176
Let v = 561/14 - 61/2. Which is greater: 11 or v?
11
Let z = 0 + 0. Suppose -5*n = -f + 10, 0*n - 3*n = -2*f + 34. Let u be (1/5)/((-32)/f + 1). Is u equal to z?
False
Let k(n) = -n**3 - 10*n**2 - 21*n - 40. Let q be k(-8). Do 1/1999 and q have the same value?
False
Suppose 3*k = -5*f - 620, -2*f + 632 = -4*k - 238. Is -215 greater than or equal to k?
True
Let w be (3 + (-602)/196)/(3/54). Let n be ((-4)/(-10))/((-1)/5). Which is smaller: n or w?
n
Let j be 4/24*(-4 - 0). Does 0.28 = j?
False
Suppose 2*s = -3*s + 40. Suppose -10*c = -0 + 10. Let k = 6 - c. Is k greater than s?
False
Let w(i) = i - 5. Let r be w(8). Let u(s) = 0 - r - 2 - s. Let x be u(-5). Is 1/4 less than or equal to x?
False
Let o be (-67 + 14)/((-2)/16). Let w = -2113/5 + o. Is w >= 1?
True
Let n be 1/((-10)/(-30) + (-4)/6). Which is greater: -4 or n?
n
Let g = 31 + -31. Let b = -1.9 - 6.1. Is b < g?
True
Suppose 6*v = 4*v + 20. Let y be (-2)/v - (-174)/1170. Is y less than -1?
False
Let h be ((-5)/3)/((-12)/(-9)). Let k = -313 - -317. Are h and k unequal?
True
Let q = 20 + -13. Suppose -5*l = -1 + 31. Let t be (12/(-9))/(2/l). Which is smaller: t or q?
t
Let h = 647 - 647. Let f(v) = 2*v**3 - 4*v**2 + v. Let w(u) = -3*u**3 + 5*u**2 - u. Let i(n) = -4*f(n) - 3*w(n). Let t be i(1). Which is bigger: t or h?
t
Suppose q + 5 = 0,