v = -1 - -3. Suppose -h = -v - 1. Which is smaller: g or h?
h
Let o(i) = 2*i + 27. Let m be o(0). Which is greater: m or 26?
m
Let o be (-2)/2*(-2)/1. Suppose -o*z - 2*w - 12 - 2 = 0, -4*w - 25 = 3*z. Is z at most as big as -3?
True
Suppose 0 = 24*n - 26*n + 2. Let m = -39/4 - -223/20. Which is bigger: n or m?
m
Let r be (-2)/(-5) - 66/(-10). Let h = 67 + -66. Is r less than h?
False
Let c = -3/1340 - 40161/17420. Which is bigger: -3 or c?
c
Let r(q) = 5*q + 5. Let j be r(-5). Let d be j/(-6) + 4/(-12). Let g = -3 + d. Are g and -1 unequal?
True
Let p be (-2 + (-3)/6)*2. Let b(k) = -3*k + 2 - 2 + 2. Let n be b(2). Which is greater: p or n?
n
Let x(y) = -y - 5. Let n be x(-7). Suppose 3*w + n*w = 4*f - 42, 3*f = -5*w - 21. Let r = w + 4. Which is smaller: -6/7 or r?
r
Suppose 3 + 0 = -3*f. Which is bigger: f or -4/3?
f
Let v(m) = m**3 - 4*m**2 - 6*m + 12. Let c(n) = -n**3 + 5*n**2 + 7*n - 12. Let u(d) = -3*c(d) - 2*v(d). Let b be u(8). Let w be (2/b)/1*-2. Is 0.3 less than w?
False
Let v = -2.6 + 3. Let r = -7 - -7.6. Let x = r - v. Is -2 < x?
True
Let w = -9.3 - -6.2. Let c = 3 + w. Which is bigger: -7 or c?
c
Let t = 22.1 - 22. Are -7 and t non-equal?
True
Let f = -0.218 - -0.048. Does f = -0.2?
False
Let g = 15/7 - 53/28. Which is smaller: g or -0.3?
-0.3
Let q be 1 - 3 - (-4 + -1). Suppose 2*o - 3*x - 6 = 3, -4*o - 3*x = -9. Does o = q?
True
Let t = -6 + 9. Suppose -t*s - 3 = 3*g, 5*s - 3*g - 6 = -19. Which is smaller: s or 0?
s
Suppose -2*x - 3*x + 10 = 0, 2*s - 2 = -x. Suppose -68 + 14 = -2*i - 5*p, -4*i - 3*p = -80. Which is smaller: s or i?
s
Let l be (-12)/(-10)*(-50)/15. Let h be 9/l + (-12)/16. Is -4 < h?
True
Let x = 8 + -7. Are x and 1 equal?
True
Let z = -0.3 + 0.4. Let j = -51 - -21. Let n = j - -272/9. Is z at least n?
False
Let b be (1 - (-2)/2)/1. Let w be (-2 - -3) + (b - 2). Let q be (2/((-2)/w))/(-5). Is -1 greater than or equal to q?
False
Let q be (0/(-3) - -5) + -6. Do -77 and q have the same value?
False
Let b(r) = r**3 + 8*r**2 - 9*r + 6. Let w be b(-9). Let n = 3 - w. Is -2 at most n?
False
Let x(d) = -d + 4. Let y be x(1). Suppose -4*h + y*h + 14 = 0. Is 13 equal to h?
False
Let p = -11 - -4. Let r be (-1)/(p/(-2)) + 0. Suppose 4*c = -0*c - 4. Which is greater: c or r?
r
Suppose -16*g + 14*g = 2. Which is greater: 2/7 or g?
2/7
Let x = 0.9 - 1. Let w(k) = k**3 + 3*k**2 - 3*k + 3. Let a be w(-4). Let g be a/((-18)/40) - 2. Is x at most g?
True
Suppose -z - 2 = -12. Let s be 1/(-4) + z/8. Let h be (0 - (0 + 0))/(48/48). Which is greater: h or s?
s
Let n be ((-40)/12 + 4)*1. Which is smaller: -0.6 or n?
-0.6
Let w be (12/21 - (-165)/(-7))/6. Is w at least -4?
True
Let w(b) = b**3 + 2*b**2 - 3*b - 4. Let s = 1 - 4. Let p be w(s). Let a be 55/(-20) + (-1)/4. Which is smaller: p or a?
p
Suppose 15 = 3*z - 3*o, 2*o - 3 = -1. Let a(v) = v**3 - 2*v**2 + v - 1. Let f be a(1). Let n = z + f. Is 3 < n?
True
Suppose 6*m - m = -4*w + 50, -m + 2*w = 4. Which is bigger: m or 8?
8
Suppose 4*p + 0 - 1 = 3*s, -4 = -4*s + 4*p. Is s greater than or equal to 11?
False
Suppose -3 = 3*p - 2*p. Is -3 less than p?
False
Let d = -28 - -28.3. Do -4/7 and d have different values?
True
Let t = -8 + 8.9. Let v = t - 0.9. Is -0.02 not equal to v?
True
Suppose 2*v - 5*v - 54 = 0. Let z = v + 7. Let s be z/3 + (2 - -1). Is 0.1 != s?
True
Suppose -4*w - 4*j = -184, -3*j + 108 = -5*w + 378. Let k be (-17)/w*18/(-16). Suppose n = -2*n + 3*a + 12, -3*n = -5*a - 20. Is n != k?
True
Let l = 0.3 - 0.3. Let p be (-15)/4*(-5)/(-25). Let d = 5/12 + p. Which is bigger: l or d?
l
Let w be 3/(3 + 35/(-12)). Let h be (27/w)/(1*-3). Which is smaller: -2/3 or h?
-2/3
Let c be (-2)/24 + (-1)/(-3). Let n(y) = y - 9. Suppose -7*j + 3 = -f - 4*j, 2*j = 8. Let g be n(f). Is g at least c?
False
Let l be -1 + 2 + -1 + 1. Let s = 2 + 7. Let q = s - 8. Is l at most as big as q?
True
Let b = 0.29 - -0.01. Let p = -3.3 + b. Let j = p + 5. Which is smaller: -0.2 or j?
-0.2
Let g(k) = 2*k - 3*k + 3*k - 3*k - 3. Let z be g(6). Does -10 = z?
False
Let m be -4 + ((-33)/12)/(3/(-8)). Is m not equal to 2?
True
Let t = -12 - -7. Let w = t - 2. Let d = w + 5. Which is smaller: d or 2/7?
d
Suppose 1 - 6 = 5*z. Let t be (1 + -1)/(16 - 13). Are t and z non-equal?
True
Let s(d) = d + 2. Let a(m) = 4*m + 9. Let l(c) = 2*a(c) - 9*s(c). Let j be l(-1). Which is smaller: j or -3/7?
-3/7
Let n(t) = 2*t**2 - 11*t + 2. Let g be n(5). Which is bigger: g or -2?
-2
Let h = -29/5 - -32/5. Do h and -24 have different values?
True
Let v be 2/7 - (-135)/(-7). Which is smaller: -18 or v?
v
Let g = -17.1 - -18. Let m = 0.1 + g. Let u be (-10)/(-18) + (-8)/36. Which is smaller: m or u?
u
Suppose -12 = -3*q + 9. Let m = q - 4. Is 2 greater than or equal to m?
False
Let y = -33 + 43. Is -7 <= y?
True
Let b(t) = 3*t**2. Let m be b(1). Are 11/5 and m equal?
False
Let u = 0 + -15. Let q be (642/(-33) + 0)/u. Let a = -2/55 - q. Which is greater: a or -2?
a
Let q be 6/(-18) - (-412)/(-14). Let s = q + 150/7. Is -7 equal to s?
False
Let d be (-6)/21 + (-1122)/(-56). Let y = d - 707/36. Which is bigger: 0 or y?
y
Let j = -4 + 4.3. Let x = -0.5 + j. Suppose 4*f + f = -5. Is f greater than x?
False
Let c = 48 + -92. Let b = c - -40.9. Let y = b + 3. Is 0 != y?
True
Suppose -11 = -t + 5. Let o = t + -10. Is 7 less than or equal to o?
False
Let i = 110.1 - 110. Let x = -244/7 + 2698/77. Which is bigger: i or x?
x
Suppose -32 = -5*v - 7. Suppose -3*o + 207 = 3*f, 2*f - 344 = -v*o - 2*f. Let r be o/253 - 8/44. Which is bigger: -1 or r?
r
Let k(v) = -9*v - 15. Let o(n) = 4*n + 8. Let h(s) = -2*k(s) - 5*o(s). Let q(u) = 2*u + 9. Let i(x) = 4*h(x) + 5*q(x). Let l be i(-4). Is -4 at least l?
False
Suppose -4*c - 4 = -5*c. Is 7 less than c?
False
Let g = 47 - 31. Suppose -4*b + 5*q = q - g, -q = b + 6. Do 1 and b have different values?
True
Let h = 296/3 + -10943/111. Is h less than or equal to 0?
False
Let k = -51 - -87. Suppose -k = -2*s - 0*s - 2*a, -5*a = -4*s + 72. Let t be 4/(-8)*(-8)/s. Which is smaller: 0 or t?
0
Let s be (8/(-6))/(6/(-27)). Suppose -2*j + s = j. Suppose -j*y - 2 + 6 = 0. Which is bigger: 1/2 or y?
y
Let v(l) = l**2 + 4*l + 1. Let r be v(2). Is 11 at least r?
False
Let t = 21 + -34. Which is greater: t or -14?
t
Let i = -1/6 - -1/2. Which is bigger: 0.08 or i?
i
Let o(n) = -n**3 - 5*n**2 - n. Suppose k + k = 6. Suppose 2*s = -7 - k. Let h be o(s). Is h smaller than 3?
False
Let q = 5 + -4. Let a(l) = 7*l**2 + 2*l - 1. Let z be a(q). Let v be z/12 - (-2)/(-12). Do 2 and v have different values?
True
Let w = -62 + 61. Which is greater: -26 or w?
w
Let w(p) = -p**3 - 2*p**2 + 2*p - 3. Let z be w(-3). Is z greater than or equal to -3/19?
True
Suppose -3*z - 14 = 4*r - 6, -3*r = 6. Suppose 0 = v - z*v. Suppose 2*y + 3*y = 5*c - 5, -y = v. Which is bigger: 7/4 or c?
7/4
Let w = 5/338 + 8077/2366. Which is smaller: w or 4?
w
Let n be (1/5)/((-1)/3). Let v(j) = j + 8. Let i be v(-5). Suppose -5*m + i*d = 20, -m - 1 = -2*d + 10. Is n equal to m?
False
Let z = 20 + -98/5. Let f = 14 - 20. Let v = f - -12. Is v equal to z?
False
Let h = -4 - -6. Let m be (-10)/(-6) - h/3. Is m at most as big as -2/11?
False
Let r(a) = a**3 - a - 2. Let i be r(2). Let f = -6 + i. Suppose 0 = -5*y - 4*u - 26, -3*u - 6 = -y - u. Is f > y?
False
Let h be 331/9 + 2/9. Suppose -2*v - 5 - h = 0. Which is greater: -22 or v?
v
Let u(p) = -p**3 + 10*p**2 + 11*p + 4. Let z be u(11). Suppose -i = -z*s + 2*i - 24, i - 4 = 0. Let t(k) = -k**2 + k + 3. Let y be t(3). Is s > y?
False
Let p(i) = i**2 + 7*i + 2. Let r be p(-7). Suppose 27 = 2*w + 5*f, 5*w = -f + 5*f - 15. Is w >= r?
False
Let u = 74 + -25. Suppose 5*h = -4*s + u, 0 = -4*s + 3*h - 27 + 100. Let p be 4/s - 1/4. Is p less than -1/11?
False
Let d = 1.3 - 0.3. Let f = 0.4 - 0.1. Let o = f - 0.27. Is o <= d?
True
Let r(b) = b**3 + 7*b**2 - 2*b - 9. Let l be r(-7). Suppose -k + l*k = -5*g + 2, 0 = 4*k - 12. Suppose 4*d + 10 + 0 = 3*f, 5*f = 5*d + 10. Is g equal to f?
True
Let l = -85 - -67. Which is bigger: 5 or l?
5
Let z = 139181/5 + -27675. Let q = z - 162. Which is greater: q or -2/7?
-2/7
Let q = 24 + -24.37. Let o = 0.07 + q. Let n = 0.3 + o. Which is smaller: 1 or n?
n
Let d = 0.306 + -0.106. Are d and -30 unequal?
True
Let i = -250 - -248.01. Let b = 2 + i. Let r = -2.01 + 