4. Which is smaller: 2/113 or g?
g
Let u(x) = x**2 - 4*x + 6. Let g be u(3). Suppose 4*r - 1354 = -2*s, -r + g*s = r - 657. Let j be (-3)/(-7) + r/(-98). Which is bigger: 0.1 or j?
0.1
Let g be 111/74 + 81/(-2). Which is smaller: -2/7 or g?
g
Suppose -2*s + 3*f = -2, -6*f + 4*f = -8. Let g(m) = -m - 2. Let u be g(-5). Let t be (-4 - (-1 + u))/(-1). Do t and s have the same value?
False
Let s = 14.64 - 15. Let j = -0.04 + s. Let q be -3*(-4 + (-410)/(-105)). Are q and j nonequal?
True
Let b(j) = j + 14. Let u be b(7). Suppose u - 57 = 6*m. Is -6 at least as big as m?
True
Let w(x) = -9*x - 253. Let r be w(-29). Let q = 15 - 6. Do q and r have the same value?
False
Let m = 60 - -7. Suppose -103 = -4*g - 5*u, -46 - m = -5*g - u. Let y = g + -23. Is y at least -3/19?
False
Let g(k) = 21*k. Let r be g(3). Let o = r + -44. Is 20 smaller than o?
False
Let o(n) = n**2 - 3*n - 4. Let x be o(6). Let d(m) = -2*m - 3. Let v be d(5). Let u = v + x. Which is greater: u or 4?
4
Suppose 4*j - 20 = -76. Is -18 bigger than j?
False
Let x = 0.6 + -2.6. Let n = -12316.1 + 12316. Is x at least n?
False
Let i(h) = h**3 + 8*h**2 - 12*h + 20. Let l be i(-8). Which is smaller: l or 0.03?
0.03
Let s = -49 - 507. Let p = 303 + s. Let z be (-1)/(-3) - p/231. Is 0 not equal to z?
True
Let z(j) = -6*j**2 - j + 1. Let m be z(1). Let g = -10 + m. Which is greater: g or -17?
g
Let v = 3601/392 + -73/8. Do v and 1 have different values?
True
Let q = 3.06 + -0.16. Let s = -3 + q. Let l be 2/(-18)*63/42. Which is smaller: l or s?
l
Suppose 0 = -5*c - 4*q + 74, 6*q = -c + 4*q + 16. Let m(f) = -f**3 + 16*f**2 - 14*f - 1. Let j be m(15). Let b = j - c. Is 1/3 <= b?
False
Let g = 39 - 54. Let q = 15 + g. Which is smaller: -0.1 or q?
-0.1
Let d = -7/166 - -6191/1162. Let f = 305/63 - d. Is 1 >= f?
True
Let n = -21 + 26. Let r be (n/(-15))/(5/(-6)). Which is smaller: r or 1?
r
Let q = 2216/3 + -726. Suppose -26*c = x - 22*c, 0 = 2*x - 4*c - 36. Which is smaller: q or x?
x
Let i be (-3)/(-3) + -53 + -5. Which is smaller: i or -0.3?
i
Suppose 5*d - 559 = 3*h, -2*h - 89 = 2*d - 319. Is 114 bigger than d?
True
Suppose 549*j = 561*j - 5376. Is -0.1 < j?
True
Let c be (0 - 0)*(65/15 - 4). Let a be (-2)/1 - (-68)/35. Which is bigger: c or a?
c
Let t = 21 + -20. Suppose b + z - 10 = -z, b - 3*z = -5. Suppose b*s + 20 = 88. Which is greater: t or s?
s
Let m = 255 + -249. Is -6 less than m?
True
Suppose -2*p = -6*p - 32. Let w = p + 7. Let o = -20 + 98/5. Which is smaller: o or w?
w
Let g be 15/(5 + (-98)/21). Is g at most as big as 44?
False
Let s(k) = k**3 - 4*k**2 + 3*k + 2. Let b be s(3). Suppose -2*j + 24 = -b*n, -3*j - 12 = -0*j. Let y be ((-1)/(-54))/((-4)/n). Which is smaller: y or 1?
y
Let b(j) = j**2 + 5*j + 3. Let p be b(-3). Suppose 11*c + 4*c - 60 = 0. Do p and c have the same value?
False
Let h(x) = -x**2 - 10*x + 23. Let w be h(-9). Let p be (-16 - -15)*w/2. Which is smaller: -15 or p?
p
Suppose 2*v = 4*h - 614, 619 = -2*h + 6*h + 3*v. Is 153 > h?
False
Let r = -122 + 147. Does 195/8 = r?
False
Let n(y) = -y**2 + 3*y + 133. Let j be n(-9). Let o be 2 - (2 + 1 + -1). Suppose 5*h = -j, -4*s + o*s + h - 3 = 0. Is s > 10?
False
Suppose d + 5*q - 952 = -5, 0 = -2*d - 5*q + 1909. Is 962 bigger than d?
False
Let x = -3846 - -3845. Let c = -7/3 + 2. Which is greater: x or c?
c
Let r be 0/3 + -1 + 52. Let c = -49 + r. Which is greater: c or 1?
c
Let r = 7/166 + -797/3154. Let x = 3/76 - r. Which is smaller: x or 33?
x
Let w(b) = 2*b**3 - 2*b**2 + 13*b + 32. Let p be w(-5). Which is greater: -3 or p?
-3
Suppose 35 = -m - 27. Let n(b) = b**3 + 13*b**2 + 12*b - 62. Let z be n(-12). Is z >= m?
True
Let o(q) = q**3 - 44*q**2 + 40*q + 97. Let i be o(43). Which is bigger: i or -30?
-30
Suppose 116*o = 17*o - 1386. Suppose 60 = -3*h - 2*h. Is o at least as big as h?
False
Suppose 7*r + 98 = -0*r. Let d be (r/3)/(14/21). Which is smaller: d or -9?
-9
Suppose 0 = 5*r - 5*i + 35, -2*r + 4*i = 11 + 13. Let l = 2 - r. Suppose 5*g - 4*z = 18, 2*g + 2*z + 6 = l*g. Which is bigger: 4 or g?
g
Let l(d) = -d + 5. Let s be l(-4). Suppose -4*a + a + s = 0. Let h be (a/9)/(2/(-18)). Which is bigger: h or -3/4?
-3/4
Suppose -2340 = 2*k + 3*k. Let v = -29165641/61639 + 6055/1163. Let o = v - k. Which is smaller: o or 1?
o
Let i = -378 + 378. Is i less than -17?
False
Let h = -0.361 + 0.061. Suppose -w = 2*o - 3*w - 12, -w = 3*o + 2. Let t be 1 + (3/o - 3). Which is smaller: t or h?
h
Let l(u) = -u**3 + 6*u - 5. Let j be l(1). Which is smaller: j or -18/23?
-18/23
Let v(q) = -52*q**3 - 7*q**2 - 2*q - 8. Let f be v(-3). Is f at most as big as 1340?
True
Let m = 235 - 350. Which is smaller: -343/3 or m?
m
Suppose 0*p - 2*a + 5 = p, -12 = -2*p - 3*a. Suppose -p = -27*y + 24*y. Which is greater: 20/7 or y?
y
Suppose -5*k - 150 = 3*a, 4*k = 2*a + 66 + 12. Let d be -1*47 - 2/(-2). Is d > a?
False
Let j be (-22 - -22) + (1 - 36). Let i = j + 36. Which is smaller: i or -2?
-2
Let q be (7 + 655)*(-2)/10. Let r = q + 133. Do 1 and r have the same value?
False
Let h = -2/41 + 139/328. Let x(v) be the first derivative of v**4/2 - v**2 - v - 3. Let r be x(-1). Which is greater: h or r?
h
Let x be 1/(-4) + (-114)/(-16). Let o = x + -1469/216. Let b = -73/108 - o. Which is smaller: b or 1?
b
Let n = 19 - 18. Let g be (n/(-2))/((-5)/(-20)). Let x = -7/4 - g. Which is smaller: -7 or x?
-7
Let c = 55 + -44. Suppose 16 = c*u + 5. Which is smaller: u or 1/12?
1/12
Suppose 4*t - 4*r + 2 = 18, -20 = 2*t + 5*r. Suppose t = 5*f - 0*f - 65. Let y = -7 + 19. Which is greater: y or f?
f
Let n = 51 - 51. Which is greater: n or -7/5?
n
Suppose 3*a = -2*c - 31 + 501, 4*a - 4*c - 620 = 0. Which is smaller: 154 or a?
154
Suppose -1188 = -951*g + 947*g. Which is greater: 298 or g?
298
Let s = 61.46 + -5.86. Let y = s + -56. Which is bigger: -1/6 or y?
-1/6
Let m(n) = -n + 2. Let t be m(3). Let o be (-2 - -2)/((-3)/t). Suppose -4*a + 3 + 13 = o. Which is smaller: a or 2?
2
Let z = -40955374 + 128395100351/3135. Let g = 1/285 - z. Let r(t) = t**3 + 16*t**2 + 15*t - 2. Let f be r(-15). Which is smaller: g or f?
f
Let g be 10 + 1 - (-12)/(-12). Let o = -0.27 + 0.01. Let q = -0.16 - o. Is g smaller than q?
False
Let r(n) = -n**3 - 5*n**2 - 3*n + 7. Let d be r(-3). Suppose -5*i = 5*p - 10 - 15, 2*i - p = 1. Suppose -i*u + 0*w - 5*w + 6 = 0, 5*u + 3*w = -4. Is u <= d?
True
Let h(b) = b**3 + 13*b**2. Let d be h(-12). Suppose 10*t - 13*t = -d. Which is greater: 0 or t?
t
Let s = -36.8 + 40. Let g = 4.2 - s. Is g > -5?
True
Let g be -1 + (-8 + 2)/(16/(-8)). Suppose 5*c - c + 16 = -3*p, g*c + 14 = -3*p. Which is smaller: c or -26?
-26
Let y = 0.9 + 3.1. Let n = 7 - y. Let b = -0.07 + -1.93. Is b smaller than n?
True
Let x = 109 - 110. Is x greater than 12/91?
False
Suppose 2*c - 3*g + 20 = -7*g, -4*c + 3*g - 51 = 0. Which is smaller: c or -7?
c
Let s = -0.1 + -0.1. Let v = s + 0.1. Let d = 1305.9 - 1306. Is d at least v?
True
Suppose 5*x - 137 = 78. Let g = -29 + x. Let u = 20 - g. Is 6 bigger than u?
False
Suppose 2*h - 2*b + 8 = 0, 2*h - 4 = -b - 15. Which is smaller: -11 or h?
-11
Suppose 6*j - 5*j = 2. Let l(u) = -u**2 + 2*u. Let k be l(j). Are 1/32 and k non-equal?
True
Let d be ((-1719)/48 - 3)/((-2)/8). Let f = 154 - d. Let l = 0.1 - 1.1. Which is greater: f or l?
l
Suppose 0 = -3*y + 5*r + 7 - 0, 3*y + 2*r - 14 = 0. Let x(g) = g**2 + 24*g - 48. Let a be x(-26). Is a at most as big as y?
True
Let q = 4481 - 587007/131. Which is smaller: q or 0?
0
Let f = 23 - 22.41. Let c = -0.49 + f. Which is greater: -1 or c?
c
Let k = 0.5 - 0.6. Let s = -19 + 19.22. Let w = -10.22 + s. Does w = k?
False
Let v(x) = 2*x**2 - 2*x - 11. Let i be v(-3). Is i at least as big as 17?
False
Suppose 60 = -3*x + 54. Let i = -58/91 + -1/13. Which is smaller: x or i?
x
Let o = -393/440 - -1/55. Suppose m = -0*m. Which is bigger: m or o?
m
Suppose 11*t - 9*t = 98. Let n be (-29)/(-77) - (-2 - (-112)/t). Which is smaller: 1 or n?
n
Suppose t - 3*t + 11 = -3*b, 0 = -4*t - 4*b - 8. Which is smaller: t or 2/29?
2/29
Suppose 5*g - 11 = 4*w, 5*w - 4*g + 8 = -8. Let u be (-27)/(-12)*(-96)/36. Which is smaller: w or u?
u
Let h be 2/1 + 0/(-2). Suppose 0 = -2*f + 1 + 3. Suppose r = t, -r + h*t = -t - f. Which is greater: r or -10/9?
r
Let s(l) = l**3 - 2*l**2 - 2*l + 3. Let g be s