 Suppose 0 = 3*g + 6 - 12. Which is smaller: g or f?
f
Let g(u) = u**3 + 18*u**2 - 37*u + 63. Let z be g(-20). Suppose -q - 3 = -10. Which is smaller: q or z?
z
Let m be 6 + (-3175)/1585 + -4. Is m > 0?
False
Let c = -45 + 45. Let v = 29 + -31. Which is bigger: v or c?
c
Suppose -4*t - 32 = 4. Suppose 2*a - 3 = -23. Is a less than or equal to t?
True
Suppose 2*d - 2 = 4*k + 22, 4*k + 3*d = -4. Let s = 5 - k. Let v = 9 - s. Which is greater: v or 6/5?
6/5
Let g(p) = 2*p + 13. Suppose -n + 10 = -v, 5*v + 3*n + 9 = -9. Let i be g(v). Let b be i + -4 - 104/(-8). Which is bigger: 9 or b?
b
Let s = 114 + -89. Suppose -2*g = -5*g. Which is smaller: s or g?
g
Let d = -34 + 29.6. Let p = 3.5 + d. Let v = 1.9 + p. Do -2/9 and v have the same value?
False
Let h be 12/(-9)*12 + -2. Let o = 26 + h. Let x = -22 + o. Is x equal to -14?
True
Let x(m) = -2*m**2 - m - 6. Let i be x(-2). Let t be (0 - -4) + (-7 - i/4). Is 2/9 >= t?
True
Let f = 1422.21 + -1421. Is 1/14 >= f?
False
Let b = -22 + 46. Suppose -3*c + 40 = 4*n, 3*n = 7*c - 3*c - 20. Suppose -b - c = 4*j. Is j greater than or equal to -8?
True
Let h be 126333/(-99)*(-4)/3. Let v = h + -1700. Is 1 at least as big as v?
False
Let d(m) = -m + 21. Let s = 30 - 8. Let l be d(s). Which is greater: l or -1/16?
-1/16
Suppose 5*o - 62 = -3*z + 1, 4*o = -3*z + 63. Suppose -118 = z*m - 19*m. Is m equal to -59?
True
Let u(f) = 8*f**2 - 3*f**2 - 6*f - 13 + 463*f**3 - 462*f**3. Let n be u(-6). Which is smaller: n or -14?
-14
Let z be 44/(-33) - (-1)/3. Let i be z*4 + 495/126. Is -1 greater than or equal to i?
False
Let d = -2 - -4. Let b be (d/(-2))/(2/(-4)). Suppose 3*s = b*s + 1. Which is smaller: 2 or s?
s
Let h(w) = -w**3 + 2*w**2 - 3. Let d be h(3). Let l = 17 + d. Suppose -20 = l*t, -18 = -x - 4*x + 2*t. Which is smaller: x or 5/7?
5/7
Let f(q) = -11*q + 0 + 13*q + 2 - 4*q. Let k be f(1). Which is smaller: k or -15?
-15
Suppose -l = 3*l + 8, -3*l = 2*a - 10. Suppose -3*m - 5*m + a = 0. Which is smaller: 0 or m?
0
Suppose 0 = -2*l + 4 - 0. Let t(d) = d**l - 4*d - 4*d - 9 + 0*d. Let i be t(9). Do 0 and i have different values?
False
Let l = -12/221 + -1/221. Let f = -34 + 59. Let p = f - 26. Is l less than p?
False
Let y = -2.2512 + 0.1112. Is -2 greater than or equal to y?
True
Let t(p) = 5*p - 49. Let m(z) = z - 10. Let c(o) = 11*m(o) - 2*t(o). Let b be c(12). Is -15 < b?
True
Let f = -318/85 + 19/5. Let o = f + -22/85. Is o >= -0.1?
False
Let y = -40.84 + -0.16. Let z = 41.1 + y. Let d = 4.92 - 5. Is d < z?
True
Let o be -1*(0 + -3) - 0. Let i be 1 + -10 - 0/o. Let z = -261 + 253. Is z <= i?
False
Let g be 60/18*(-6)/(-5). Let o be 1/(-2)*(-6 - g). Suppose -3*j - o - 1 = -2*r, 5*r + 4 = -2*j. Which is bigger: r or 1/24?
1/24
Suppose 0*o + 4*o = 0. Suppose o = -z + 2. Let g be z*-2 - (5 + -2). Which is greater: g or -6?
-6
Let u = 4 - 7. Let s(a) = 2*a**2 + a. Let b be s(-2). Suppose h = b - 12. Which is greater: u or h?
u
Let b = 252 + -252.289. Let h = b + -0.011. Is h at least as big as -0.08?
False
Let f = -2177 + 1130. Is 0 equal to f?
False
Let j = 203523/12524 - 2/3131. Let q = 16 - j. Which is greater: -0.1 or q?
-0.1
Let v be 1/((2/(-284))/(39/390)). Is -13 at most v?
False
Let p be 2071348/(-1547) - 4/14. Let b = p + 1340. Is 1 > b?
True
Suppose 6*g = 32*g + 962. Is -37 < g?
False
Let n = -299 + 374. Does 526/7 = n?
False
Let n = 0.751 - 0.67. Do 0 and n have the same value?
False
Let l be (2 + 1 - 2)*5. Let r be 7/((-4)/(-20)*l). Are r and 7 equal?
True
Let k = 2 + -1. Let o = -465 + 477. Which is smaller: o or k?
k
Let x = -50 - -45. Let n = 13 + x. Is n >= -2?
True
Let o(v) = v**3 + 5*v**2 - 6*v + 5. Let q be o(-6). Suppose 2 = -p + 4*g, 3*p + g = q*g + 26. Let c(k) = -k**2 + 14*k - 2. Let j be c(p). Is -4 bigger than j?
False
Suppose 5*l + 2 - 3 = -q, -q + 3*l = -9. Let d be (-96)/220 - q/(-15). Is 1 < d?
False
Suppose -5*b = -125 + 5. Let i = -31 + b. Is -0.1 < i?
False
Let h = 41/2 + -13. Which is bigger: 0 or h?
h
Let w = -0.3 + 0.2. Let p = -8.98 - 0.02. Let n = p - -12. Is w greater than or equal to n?
False
Suppose 8*w + 134 = 254. Is w > 14?
True
Let c = -4 - -3. Suppose -2*w - 15 = 3*w. Let k = w + -1. Which is bigger: k or c?
c
Let h = 81 - 87. Do 25 and h have the same value?
False
Let k = -10.76 + 13.76. Is 8 >= k?
True
Let m be (-19)/(-3) + 16/12*3. Which is smaller: m or 10?
10
Let u = 155 + -159. Which is smaller: -7 or u?
-7
Let d = 2.16 - 2.16. Which is smaller: d or 177?
d
Let c = 71 + -85. Let f be (-24)/(-6) + (-48)/c. Which is bigger: f or 7?
f
Let z = -3741 + 3724.995. Let o = z + 0.005. Does 1/3 = o?
False
Let m(r) = r**2 + 7*r - 6. Let t be m(-7). Let x(n) = n**3 + 7*n**2 + 8*n. Let u be x(t). Let b be -2 - 4/(16/u). Is b < -1/9?
False
Let f be 6 - 26 - -4*3. Let g = 0 - 0. Which is bigger: g or f?
g
Let l = 60791/9264 + -402/193. Let g = 19/16 + l. Is 5 bigger than g?
False
Let n = -4.8 - -4.93. Let j = -0.13 + n. Let k = -17 - -25. Is j <= k?
True
Let i = -29.5 - -25.72. Let y = i + -0.82. Which is bigger: -1 or y?
-1
Suppose -3*v = -3*w + 348, 5*v + 0*v + w = -580. Which is smaller: -115 or v?
v
Let t be 2/(80/(-132)) + 3. Let s = t + 13/30. Which is smaller: s or -1?
-1
Suppose 2*m = -5*a - 8, 8 = -m + 2*a + 4. Let t be (23/(-46))/(1/m). Do 3 and t have different values?
True
Let g = -1.2 + 4.2. Let u = -3 + g. Let p = u - -5. Are 0.1 and p equal?
False
Suppose 12 = 4*n - 8. Suppose 3*d - 27 = t, -n*d + 3*d = -3*t - 11. Do d and 9 have different values?
True
Let a = -11/25 - -1599/1475. Which is bigger: a or 0?
a
Let p be 57/(-36) - 2/(-8). Suppose -2*d - g + 5 = 0, -3*d = 3*g + 1 - 4. Suppose d*r + r + 10 = 0. Which is bigger: r or p?
p
Let b be (-29)/(2146/(-572)) + -12. Which is greater: b or -3?
-3
Let l be (-5)/((-170)/4) - (-8140)/170. Is 48 > l?
False
Let x = 127 - 638/5. Which is smaller: -15 or x?
-15
Let w(h) = -21*h + 148. Let v be w(7). Let m(b) = 2*b**3 + 3*b**2 + b - 2. Let p be m(-2). Let j be (-36)/(-77) - p/(-44). Which is smaller: v or j?
j
Let v = 2299 + -2222. Is v greater than 0.09?
True
Let g be (-8)/14 + (-2 - -4). Let v = 64/35 - g. Let w be ((-10)/(-4))/(-1) - -2. Is w > v?
False
Suppose 5*n + 5 = f, -3*f - 2 = 4*n - 112. Let d be (-1 - (-64)/f) + -1. Is d greater than -1?
True
Let k be 2/6*294/(-196). Is -88 at least k?
False
Let y(o) = o**2 - 4*o - 8. Suppose -5*i = -5*f + 10, i = -3*f - 2*f + 34. Let z be y(f). Suppose 20*x - 4 = 19*x. Is x bigger than z?
False
Let j(y) = 23*y - 18*y - 15*y - 10*y**2 - 8 - y**3. Let k be j(-4). Do k and -64 have different values?
False
Let t = -46 + 46. Let o = 39 + -39.2. Are t and o non-equal?
True
Suppose 14 = -2*l + 3*r - 0, 12*l = -3*r. Are l and -19/18 equal?
False
Let i = -480/7 - -69. Let u(o) = -o**2 - 8*o - 9. Let a be u(-6). Suppose -3*z - a*j + j = -10, -25 = z - 5*j. Is i at most as big as z?
False
Let d be -5 + 1 + -4*(-134)/(-4). Is d not equal to -140?
True
Let k(r) = -r**2 - 8*r + 22. Let p = -38 + 28. Let u be k(p). Which is greater: 1 or u?
u
Let y be (-1)/(-6) + (-77)/390. Suppose r - 9*d = -5*d + 8, 4*r - d - 2 = 0. Which is bigger: r or y?
r
Suppose 9*w - 4*w + 10 = 0, 0 = 4*n - 5*w - 2. Let c be -2 + n/6*-3. Let j = -415/3 + 138. Is c at least j?
False
Suppose -9 - 22 = -i. Suppose -23 = 3*s + i. Let w be 12/99*s/4. Which is smaller: 0 or w?
w
Let f = 2/1161 - 4261/2322. Suppose -k + 1 = 2*l - 1, -5*l - 13 = -2*k. Is l bigger than f?
True
Suppose 0 = -4*j - 2*h - 2*h - 564, -j - 137 = -3*h. Let p be j/741 + (-14)/(-91). Is 1 >= p?
True
Let r(g) = -36*g + 10. Let u be r(4). Let l = 539/4 + u. Let w = l - 5/12. Which is greater: w or -1/6?
w
Suppose -4 = t + 2*c, 4*t - 2*c + c - 29 = 0. Suppose t = -2*j + 2*s, -5*j = s - 5*s + 14. Let x = -1801/14 - -251/2. Which is bigger: x or j?
j
Let x = 0.05 + -0.16. Let k be (4 + 0)/(-12 - -18)*3. Which is bigger: x or k?
k
Let i(p) = p**2 - 11*p + 24. Let m be i(8). Suppose 8*b - 11*b + 120 = m. Are b and 40 nonequal?
False
Let v = -479.87 + 480. Is v >= 46?
False
Let w(p) = p**3 + 23*p**2 + 23*p + 2. Suppose 0*g - 3*a - 78 = 3*g, -106 = 5*g - a. Let j be w(g). Which is smaller: -19 or j?
j
Let p(a) = -2*a**2 + 9. Let h be p(2). Which is bigger: 1/392 or h?
h
Let o = -860 + 566. Which is bigger: -293 or o?
-293
Let q = -0.4 + 0.2. Let m = -45