5. Which is smaller: w or -220?
w
Let r(d) = d. Let t be r(6). Let f be (7 - t)/((-2)/10). Let j be (-22)/30 - 2/f. Which is bigger: j or -1?
j
Let g = -211 - -231. Which is smaller: 115/6 or g?
115/6
Let v be (-94)/(-6) - 2/(-6). Let n be (2/(-8) - 0) + (-15450)/(-1000). Which is smaller: n or v?
n
Let h = -83.6 - -91. Let p = 7.1 - h. Let d be 6/(-4)*(-6)/3. Which is bigger: d or p?
d
Let m(s) = -4*s - 2. Let g be m(27). Let h = g - -112. Which is smaller: h or 8?
h
Suppose 68 - 266 = 33*r. Let b = 0.6 - 0.3. Which is greater: r or b?
b
Let x = -33 + 38. Which is bigger: -28 or x?
x
Let t = -296 + 269. Which is bigger: t or 0.1?
0.1
Let j = -38 + 111. Suppose -z - 74 = -j. Which is smaller: -1/40 or z?
z
Let x(q) = -q**2 - q. Let k(g) = -5*g**2 - 9*g - 5. Let i(l) = -k(l) + 6*x(l). Let s be i(4). Let f = -315 - -1269/4. Is f greater than s?
True
Let y(t) = -t**2 - 16*t + 105. Let o be y(5). Let v be 1*-2*(-4)/(-116). Which is greater: v or o?
o
Let y = -52589/1542 + -16/257. Which is smaller: -33 or y?
y
Let s = -1191 + 1192.046. Let a = s - 0.046. Let z be 10/(-4)*(-35)/(-25). Is a > z?
True
Suppose -r - 6*r - 7007 = 0. Let y be 2/(-7) - 132/r. Which is bigger: y or 2?
2
Suppose -3*b - 2*n = -82, -9*b + 10*b - 3*n = 9. Is -4 less than b?
True
Let g = -40 - -7. Let j = g + 111/4. Is -1/3 greater than or equal to j?
True
Let o = -26 + 14. Let i be (-5)/(-2)*o/(-10). Let g be (i*2/(-3))/(-2). Is 1 at least as big as g?
True
Suppose 60*p = 71*p. Which is greater: p or 2/2281?
2/2281
Let x = 457 + -442. Is x less than 3/7?
False
Suppose -h - h = -22. Suppose -8*f = -h*f. Which is smaller: f or 0.2?
f
Let q be -15*(-2)/(-2) + -1. Let b(w) = w**2 + 17*w + 14. Let a be b(q). Is a equal to 0?
False
Suppose -13 = 14*v + 1. Is v bigger than -1/11?
False
Suppose 2 = 5*a + q, 3*a + 5*q = -a - 11. Let r = -1/16 - 1/16. Which is smaller: r or a?
r
Let f(q) = 4*q - 6. Let a(g) = -g + 1. Let b(x) = -3*a(x) - f(x). Let l be b(0). Suppose -6*p + 3*p = -12. Which is smaller: p or l?
l
Suppose f = -0*f + 2*j + 7, -4*f + 24 = -4*j. Let t be (-4)/f*-3*-5. Let c be 266/84 + (-2)/t. Which is greater: c or 3?
c
Let x be (8 + -7)/(1/15). Suppose -4*f + 7 = -3*h - x, 0 = h + f - 2. Is h at least 0?
False
Let t = 9586 - 2080166/217. Which is smaller: t or 0.1?
t
Let h(n) = -n**3 + 8*n**2 + 7*n + 24. Let b be h(9). Which is greater: b or -33?
b
Let f = -344 + 312. Is f <= -32?
True
Let l = 125 - 137. Is l at least -12?
True
Let z = 1.2 - 11.2. Let n = z + 11. Which is smaller: 2/5 or n?
2/5
Let j be 2/9 - (-46)/(-45). Are j and -1 equal?
False
Let t(g) = -g**2 - 13*g + 17. Let m be t(-9). Let v = m - 53. Is 0 smaller than v?
False
Suppose -2*j = 3*j - 225. Suppose 3 = 4*c - j. Suppose 10*q + c = 8*q. Which is smaller: q or -5?
q
Let k = 494 - 495. Are k and 1/830 unequal?
True
Let t = 80/3 - 143/6. Are t and 4 unequal?
True
Let x(n) = 3*n + 6. Let u be x(-2). Suppose -3*f - 3 - 3 = u. Is f smaller than -7/8?
True
Let p(x) = 3*x + 70. Let j be p(6). Is j bigger than 177/2?
False
Suppose -4*z + 21 = 3*u, -2*z + 4*u - 2*u + 14 = 0. Suppose z*k - 2 = 4*k. Which is smaller: k or -3/8?
-3/8
Suppose 6 + 24 = 3*m. Suppose 5*d + m = -5. Let i be 1*1*d/(-3). Do 2 and i have different values?
True
Suppose -132 = 5*m - 3*m. Let j = m + 135/2. Let x be (16/(-6))/4*-3. Which is smaller: x or j?
j
Let n be 12/(-14)*(-2 + 5). Let i = 2953 - 2955. Which is smaller: n or i?
n
Let u = 302 - 265. Is u > 38?
False
Let n be (-64)/(-40)*(-25)/(-470). Suppose 0 = -4*b + 5*b. Which is bigger: b or n?
n
Suppose 3*h - 3*o - 14 = -2*o, 2*h + 19 = -5*o. Suppose 0 = 4*b + 5*s - 2, -4 + 7 = 3*b + h*s. Let x be (b - (-183)/(-45)) + 1. Which is greater: 0 or x?
0
Suppose -5*d + 385 = -z, 6*z = -4*d + 3*z + 308. Let r = 78 - d. Which is smaller: -2/79 or r?
-2/79
Suppose 17 + 3 = -4*a. Let t be a/(-4) + (-2)/8. Let x = 5 + -4. Is t >= x?
True
Suppose 4*g + 0*r = r + 3, 0 = -r - 3. Let j = 1020588/269 + -3794. Which is bigger: j or g?
j
Let b = -103 - 12. Is -116 less than b?
True
Suppose 3*y = 0, -5*u + 4 = -4*u + 3*y. Let a be u/4*(-3)/9. Let s be -3 + (0 - -6) + -3. Is s at most as big as a?
False
Let i = 1991 - 5971/3. Is 181 > i?
True
Let n = 441 + -440.9745. Is -0.1 bigger than n?
False
Let p be (2 - 1)*(-3 - (-20)/10). Is -2/511 at least as big as p?
True
Let l(g) = g**3 - 10*g**2 - 12*g + 15. Let f be (-2)/4 + 3/2. Let j be 8 + 0 - (f - 4). Let h be l(j). Is 0 > h?
False
Suppose 2*y - 2*a + 18 = -5*a, 0 = -3*y - a - 13. Let q be y - 4/8*8. Let b be -1 + 2 - (-6)/(-10). Is b <= q?
False
Let x = 31 - 34.5. Let b = x - -3.5. Do -1/3 and b have the same value?
False
Suppose -3*z - 2*v + 1072 = 0, 0 = 5*z + 3*v - 5*v - 1808. Let w be (-1188)/z - 3*-1. Suppose 0 + 3 = 3*a. Which is bigger: w or a?
a
Let v be ((-1134)/(-192) - 6)/((-1)/(-4)). Is v at least as big as -11?
True
Let f = 1227 - 560. Is 666 greater than f?
False
Suppose -5*x + 15 = -4*j, 0*j - 3*j - 15 = -3*x. Let y = j - 26. Let u be (-4)/5*6/y. Is u less than -1?
False
Suppose -22*n + 2074 = -39*n. Is n < -116?
True
Let u(n) = -14*n - 7*n**3 + 16*n**3 - 8*n**3 + 11*n**2 - 12. Let r be u(-12). Suppose g = -j - 2*j + 13, 4*j = 4*g + r. Is -1/10 bigger than g?
False
Suppose -17 = -65*n + 48*n. Which is smaller: -2/45 or n?
-2/45
Let n = 1377 + -1372. Let s be 1/((1/5)/1). Suppose -12 = s*x - 2. Which is greater: n or x?
n
Let n be (-816706)/(-726) - (-2)/33. Is 1124 equal to n?
False
Suppose -4*g = -g + 111. Let h(r) = r**3 + 12*r**2 + 11*r - 36. Let f be h(-11). Is f >= g?
True
Let d be (-14)/(-84) + (-622)/(-12). Let i be (d/(-25) + 2)*(-15)/(-24). Which is smaller: -1 or i?
-1
Let b be (-623)/178 + 46/4. Which is smaller: b or 18?
b
Suppose -5 = 2*h - 9. Let t(w) = h*w**2 - 1 - 3*w**2 - 4 + 6 - 7*w. Let u be t(-6). Is 7 < u?
False
Let a = 5.6 + -5. Let k = 27 + -26.6. Let r = a + k. Are -0.01 and r equal?
False
Suppose -66 = -11*h + 16*h + 2*i, 4*h = 5*i - 66. Is -25 at least as big as h?
False
Let n = -11 + 11. Suppose 0 = -3*u, -k + 1 + 2 = -2*u. Suppose n = k*x + 2*x + 15. Which is smaller: -2 or x?
x
Let i = -391 + 379. Is i >= -12?
True
Let o be 8/((-13728)/5132) + 3. Which is smaller: 0 or o?
0
Let f = 29 + -41. Let m be (f/54)/(6/9). Is -22 >= m?
False
Let m be (32 + -30)*(-2)/4. Let g = -3 - -4. Is g less than m?
False
Let s be (25/50)/(1/(-2)). Which is bigger: 3/28 or s?
3/28
Let n(m) = 8*m - 59. Let u be n(8). Let w(i) = 2*i - 8. Let c(o) = o - 4. Let y(k) = -5*c(k) + 3*w(k). Let z be y(u). Is z >= 2/21?
True
Suppose 1 = 5*m - t, 1 - 5 = -m + 4*t. Suppose 4*h + 34 = -6. Let u be 8/(-10) - (h - -10). Which is smaller: m or u?
u
Let j = -5.87 - -6. Let g = 1.63 - j. Let p = g - -1.5. Which is bigger: p or 1?
p
Let t = 16.1 - 0.1. Let x = t + -16.5. Let c = -1/30 - -8/15. Which is smaller: x or c?
x
Let i = -6 - -4. Let r(s) = 4*s - 7. Let z be r(3). Suppose -j = -4*k - 12, 3*k - k + 24 = z*j. Is k equal to i?
True
Let p be ((-4)/(-50))/(2/20). Suppose 0 = 9*m - 12 + 3. Let s be ((-1)/m - -4) + -2. Which is bigger: s or p?
s
Let a be 28/56 - (-578)/4. Suppose -8*c + 5*c = 5*h - a, 5*c = 0. Is 30 greater than or equal to h?
True
Let n(c) = c**2 + 9*c - 69. Let u be n(-14). Let i be 2/(-3) + (-4)/(-6). Let r be (1 - 0) + (i - 2). Which is smaller: u or r?
r
Let f be (-77)/(-8) - 23/(-184). Which is smaller: f or 0?
0
Let p(a) = 135*a**2 - a. Let u be p(1). Let b = u - 1339/10. Let q = 71 + -70. Which is smaller: b or q?
b
Let q = -317/665469 + -2/1323. Which is smaller: q or 0?
q
Suppose 0 = -2*j + 4*w + 40, 1 - 2 = j + 5*w. Let p be -3*1*j/(-63). Is p less than 1?
True
Suppose -v + 3*v - 3*a = -215, 3*v - 5*a + 321 = 0. Which is bigger: v or -114?
v
Suppose 4*s + 0*y - 4*y - 28 = 0, 5*s - 11 = -3*y. Suppose -2*z + 6 = -s*z. Let t be (z/6 + 2)/6. Which is bigger: t or 1?
1
Suppose 4*t - 3 = 4*b - 5*b, 2*b + 16 = 3*t. Suppose 0 = z + t - 7. Suppose z = -5*p - 0. Is p greater than -2/13?
False
Let k(b) = b**2 - 8*b - 3. Let q be k(9). Suppose -2*n = 2 + q. Let z be n - 27/(-5) - -2. Is 4 less than z?
False
Let w(l) = -2*l**2 + 14*l - 1. Let d be w(16). Is -0.1 less than d?
False
Let t = 57 + -195. Let u be -3 - t/48 - (-110)/(-16). Is u bigger than -6?
False
Let j = -229.2 - -229. Let d = -5 - -5.4. Let b = j + d. Which is greater