e
Suppose -3*v + 3*b - 61 - 8 = 0, -5*v - 91 = 3*b. Let x be (-3)/(225/6)*v/(-16). Which is smaller: x or 1?
x
Let z = 39 - 34. Let w(m) = m**3 - 6*m**2 + 6*m - 6. Let f be w(z). Is -2 at most as big as f?
True
Suppose -56*p + 44*p = -1248. Which is bigger: p or -0.4?
p
Let s be 18598/(-3723) - (16/(-2) + 3). Is s less than or equal to 1?
True
Let t(g) = g**2 - 12*g - 29. Let r(k) = -3*k - 4. Let a be r(-6). Let w be t(a). Let p = -22 - -102/5. Is w equal to p?
False
Let j(c) = -c**3 - c**2 + c + 72. Let l be j(0). Let s be l/(-14)*(2 + (-5)/2). Is s >= 2?
True
Suppose 2*o = o + 14. Let x = o + -13. Let n be x/(-4) - 84/(-16). Is n at least as big as 7?
False
Suppose d = p + 1222, -d + 0 - 3 = 0. Let f be p/(-390) - 4/6. Let w = f - -1/39. Is 4 less than or equal to w?
False
Let v(j) = 7*j - 1. Let l be v(-6). Let o = 22.769 - 23.769. Is l > o?
False
Let b be 132*(-9 - 102/(-12)). Is b less than or equal to -129/2?
True
Let m = 3/4 - 17/12. Is -39/7 less than or equal to m?
True
Let c = 0.28 + -0.13. Let f = c - 16.75. Let l = -17 - f. Is l != 3?
True
Let s be 2/(-13) + 2261/(-91). Which is bigger: -19 or s?
-19
Let v be 16/(-176)*(-6 + 5). Let f(z) = z**3 - 4*z**2 - 3*z - 6. Let c be f(5). Suppose 4*q + 0 = -c. Which is bigger: q or v?
v
Let a be 4/8 - (-35)/(-126). Which is greater: a or 0.3?
0.3
Suppose 0*s = -4*s + 32. Let u = s + -4. Let v be (u/(-6))/(1/6). Is v > -3?
False
Let t(y) = -y**2 - 13*y - 4. Let n be t(-22). Are -201 and n nonequal?
True
Let s = -626 - -531. Is s at least 0?
False
Let m be -8*(-24)/(-8 + 2). Let x = 39 + -71. Is x < m?
False
Let i = 4304/9269 - 2/713. Is -1 at most i?
True
Let d = -8068/7 - -1155. Let n be (-32)/(-11) - (2 + 276/(-132)). Which is smaller: n or d?
d
Let m = -13 - -7. Let u = -388 + 379. Let a = u - m. Is 0.3 less than or equal to a?
False
Let l(p) = -2*p**3 - 10*p**2 + 11*p - 43. Let s be l(-6). Which is bigger: -40 or s?
s
Let c = -79 - -78. Let o be (-8)/152*(11 + -1). Which is bigger: o or c?
o
Let h be 1 - 1 - (-3 - -1). Suppose -h*i - 3 = 7. Let s = -998 + 997.9. Do s and i have the same value?
False
Let c be ((-14)/(-4) - 2)*2. Let l(t) = -3*t**3 + t + 4. Let m be l(-4). Let j be 1 - c - m/(-99). Is j smaller than 1?
True
Let t be (30 + (-1 - -2) + -3)/2. Let c be (-4)/t - 18/(-63). Which is smaller: c or -3/49?
-3/49
Suppose -5*d - 3*u = -30, 0*d - 6 = -d - u. Let f = 10 - 5. Suppose d*l + 2 = f*l. Which is bigger: l or -4?
l
Let k = -199 + 311. Which is greater: 111 or k?
k
Let u(w) = -10*w - 2. Let h be u(0). Let a = 19868/77 - 1824/7. Is h <= a?
False
Let q be (0/(-3) - -1) + 3. Suppose -2*y - 2 = -q*y. Let h be 24/90 - (-1)/3. Is h < y?
True
Suppose -11*d + 20 = -6*d, -766 = -5*y - 4*d. Is 151 greater than y?
True
Let z be (-78)/(-624) + 38/(-48). Suppose 0 = -2*d - 2*d. Which is smaller: z or d?
z
Suppose 3*s - 5*s + 3*u = 23, -3*s - 4*u - 9 = 0. Are s and -84/13 equal?
False
Suppose 9*m - 4*m + 82 = l, 2*l = 3*m + 143. Let f = 1140/17 - l. Suppose -5*o + 2 = -3*o. Is o less than or equal to f?
False
Suppose -2*o + 6*o = 4. Let j be (o - 2) + (-3 - 0). Let k = j - -5. Which is smaller: 2 or k?
k
Let t = -590 + 482. Is t equal to -105?
False
Let k be (-26)/336*(-30)/81*3. Let h = k - 1/84. Let d be 1*(0 - 0/2). Is h greater than d?
True
Let g = -0.23 + 1.43. Let k = 2.6 + -2.8. Is g greater than or equal to k?
True
Let n be (-3 + (-70)/(-15))*9. Let g be 0*(n/3)/(-10). Is 4/15 < g?
False
Suppose 25*x - 35403 = -7578. Which is smaller: x or 1112?
1112
Let r be 8/40 + 62/(-60). Let m = 31 - 29. Which is smaller: m or r?
r
Let d = -7 - -3. Let p be ((-179)/(-36))/(4/((-48)/66)). Let k = p - -15/22. Which is smaller: k or d?
d
Let t = 51 - 38. Let n be t/33 + (-14)/42. Which is bigger: -0.1 or n?
n
Let i = 0.016 - -0.044. Is -0.07 > i?
False
Suppose -3*b - 5*u + 16 = 0, 5*b + 24*u - 30 = 19*u. Suppose -4 + 6 = r. Which is smaller: r or b?
r
Suppose -30 = -3*c + 3. Suppose y + c = 50. Suppose 4*q = 3*z - 2*z + 103, -2*q + 3*z = -y. Is 28 at least q?
True
Suppose -2*i = -4*i - 3*g + 16, 0 = -2*g + 8. Suppose i*q = -q + 6. Let c = 282 + -278. Which is smaller: c or q?
q
Let g(b) = -17*b + 283. Let m be g(-8). Is m <= 418?
False
Let p = 0.24 - -0.12. Let b = p + -2.34. Let v = b - 0.02. Do -4 and v have the same value?
False
Suppose -131*q - 14241 = 4885. Which is smaller: -145 or q?
q
Let m = -3.9 - 0.1. Let x be (-4)/(-10)*(-14 + 633/42). Which is smaller: x or m?
m
Let h(s) = -10*s. Let z be h(-1). Let k(q) = -6 - 3*q - 2 + z + 5. Let g be k(2). Is -1 equal to g?
False
Let s be (6 + 784)/5 + -3. Is s > 153?
True
Suppose -3*d - 5 = -m - 1, -4*m = 2*d - 2. Is 1/24 at least m?
False
Let u be (-4 + 6/24)/((-3)/(-8)). Let h = 13 + u. Let t be 1 + 1/(-2) + 1. Which is greater: t or h?
h
Let l(k) = -4*k + 25. Let w(x) = -2*x + 12. Let t(d) = 4*l(d) - 9*w(d). Let p be t(-2). Which is smaller: p or -10?
p
Suppose 108 = 2*k + 2*k - 2*t, -125 = -5*k + 5*t. Let h = 26 - k. Which is smaller: 1 or h?
h
Let s = -44.2 - -44.224. Which is smaller: 1/2 or s?
s
Let s be 50/(-75) + 5/3. Let i be (6 - 2) + (6 - s). Is 9 > i?
False
Let g be (4 - 344/84)/((-36)/(-27)). Is 1 > g?
True
Let u = 2954 - 2953. Suppose 3*o = -8 + 2. Let r be 0/(2*(-1 - o)). Which is greater: u or r?
u
Let u = -2 + 3. Let m be ((-318)/315)/((-48)/198). Let b = m - 21/5. Which is smaller: u or b?
b
Suppose 0 = -5*m + 4*f - 5, -4*m - 2*f = -0*f + 4. Let y = -5.43 + -0.37. Let s = y + 5.6. Which is bigger: s or m?
s
Let x(o) = 24*o**2 - 12. Let r be x(-3). Which is bigger: r or 203?
r
Let y = -85/7 - -921/77. Let x = -21.9 - -7.8. Let g = 14.1 + x. Is g < y?
False
Suppose g + 4*t + 145 = 0, 5*t + 0*t - 154 = g. Is g greater than -0.2?
False
Let s = 17 + -53/3. Let t = -0.11 - -0.11. Let b = t - 0.5. Which is smaller: s or b?
s
Let r(f) = f**3 + 11*f**2 - 13*f - 11. Suppose 44 = -2*h - 3*h + 4*l, -2*h - 3*l = 36. Let b be r(h). Is b smaller than 1/48?
False
Let k = 0.4 - 0.4. Let d = 0.0933 - -0.2067. Which is smaller: d or k?
k
Let q be 1/1*(2 - 1). Let l(o) = 2*o**2 - 22*o + 18. Let r be l(10). Let k be 8/(-3)*(7 - (-15)/r). Is q at least k?
False
Let f(r) = -r**3 - 14*r**2 - 12*r + 1. Let d be f(-13). Let a be (d/16)/(-3)*-4. Which is greater: -2/121 or a?
-2/121
Let o = -375.23 - -374. Do -1 and o have different values?
True
Let o(j) = -14*j + 147. Let c be o(11). Are -15 and c equal?
False
Suppose -20 = 5*o - 4*w, 5*o = -w + 3*w - 10. Is o < 4/499?
True
Suppose -2*n = -d - 166 - 17, 2*d = 5*n - 456. Let t = n + -1079/12. Which is smaller: t or -2/3?
-2/3
Let i = 2491.8 + -2499. Which is smaller: i or -9?
-9
Let t = 14 + -17. Let d be t - (-12364)/(-420)*-1. Let m = -186/7 + d. Is m > -1?
True
Let h(s) = 34*s - 156. Let r be h(5). Is 77/5 bigger than r?
True
Let a = -300 + 300. Let h(i) = 2*i + 4. Let v(y) = -2*y - 3. Let q(k) = -3*h(k) - 4*v(k). Let w be q(a). Is -3/4 > w?
False
Let h = -0.04 - -0.19. Let i = h - 0. Let a = -0.85 - i. Is a greater than -1/14?
False
Let s be (3/204*-2)/(-5 + (-10)/(-5)). Let j = 2 - 1. Is j <= s?
False
Let r = 879/2 - 1048635/2386. Which is smaller: r or -1?
-1
Let j = 12 - 5. Suppose j = -5*v + 17. Suppose 0 = -v*r - 3*w - 17, 4*r + 4*w + 24 = r. Do r and -6 have different values?
True
Let j be (-5 - -7)/((-8)/(-132)). Which is bigger: 32 or j?
j
Let f(a) = -a**3 - 15*a**2 - a - 12. Let v be f(-15). Let t be -2 - -26*v/6. Which is smaller: t or 9?
9
Suppose -34 = -k + d, 2*k = 6*k + 2*d - 154. Suppose -7*b - k = -8*b. Which is smaller: -0.1 or b?
-0.1
Let o = -1298 - -1358.1. Let v = 62 - o. Is 2/5 greater than or equal to v?
False
Suppose -4*r = -2*r + 6. Let n be (-418)/(-88) - (-6)/(-8). Suppose -u - 5 - 17 = n*k, 0 = 2*u - k + 8. Which is bigger: r or u?
r
Let v = 4841/393 + 2/131. Is v > 13?
False
Let b = 227 - 84. Is 1 bigger than b?
False
Let o = 5 + -3.9. Let x = 16 + -15.6. Let g = -0.3 + x. Which is greater: g or o?
o
Let v(k) = k**2 + 3*k + 1. Let z be v(-3). Let l be (-4)/18*(-198)/858. Is z at most l?
False
Let o = -76 - -52. Let m be (42/o)/(3/12). Which is smaller: m or -8?
-8
Let g = 216 + -216.036. Let o = -6 + 29/5. Which is smaller: o or g?
o
Let g be 5 + 128/(-72) - 3. Which is bigger: g or 2.59?
2.59
Let s(g) = g - 17. Let x be s(8). Let j be 1*-1 - 81/x. Suppose -4*r - 4*a +