 = -w + 1. Let q = -5 + 7. Let g be y(q). Let v = 916/6645 + -2/443. Which is bigger: v or g?
v
Let a = -1 + 3. Suppose -3*s - 4 = a. Let o = 0.91 - -0.09. Which is smaller: s or o?
s
Let c be (-2)/(-9) - 76/18. Let z be 2/8 + (-100)/16. Is z bigger than c?
False
Suppose 4*t = 8, 5*v + 3*t - 9 = 2*v. Is -2 equal to v?
False
Let k be ((-15)/9)/((-10)/12). Let l = -23 - -23.9. Let a = l - -0.1. Which is bigger: k or a?
k
Let d be (-13 + 11)/((-1)/3). Suppose -g = 2*g + d. Let f be (-1 + 2/4)*2. Which is smaller: f or g?
g
Let o be (-18)/(-20)*(-5)/(-3). Let q = o - 2. Is q smaller than -2?
False
Let r = -21.91 + 22. Let f = r + 0.11. Let d = -27 - -51/2. Which is greater: d or f?
f
Let g = 17/6 - 107/42. Is 5 less than or equal to g?
False
Let l(w) = 2*w**2 - 5*w + 5. Let f be l(4). Let v = 17 - f. Does -2 = v?
False
Let t = -2/373 - 684/11563. Which is bigger: 1 or t?
1
Suppose 7*b = -4*b + 4*b. Which is greater: b or -2/151?
b
Let n(y) = y**2 + y - 6. Let j be n(3). Is 7 > j?
True
Let x = -0.2 - -0.3. Let q = 0.1 - x. Let y = -2 - q. Which is smaller: -0.1 or y?
y
Let c(u) = -u + 5. Let k(x) = -x + 4. Let q(r) = -3*c(r) + 4*k(r). Let w be q(-7). Let y be (12/w)/(3/4). Is 4/3 smaller than y?
True
Let u be (-1)/12*1*-3. Let k(x) = x**2 + 2*x - 2. Let g be k(-3). Which is bigger: u or g?
g
Let p = -10 - -16. Suppose -r + p*r - 20 = 0. Let f be (-16)/154 + r/14. Is f bigger than 1?
False
Let s be (-2)/8 + (-155)/20. Let w(l) = -l**3 - 8*l**2 - l - 5. Let g be w(s). Which is greater: 2 or g?
g
Let o = 30.115 + -0.115. Which is smaller: 0 or o?
0
Let d = 182647073878/93906189 - 1201/380187. Let h = -1945 + d. Let v = h - -508/1729. Which is smaller: v or -6?
-6
Let y be (12/(-15))/((-18)/15). Which is smaller: y or -1/3?
-1/3
Let h be (2 + -3)*(-2 - 0). Suppose -2*l = h*d, 3*l - d - 2*d = 0. Which is smaller: 5/4 or l?
l
Let k be (-4)/(-2) - (-9 - -8). Suppose -k*t = 2*t. Is 5/7 at least t?
True
Let b be (3/(-9))/(1/6). Let f = -4 + 9. Suppose 0 = 2*x + 5*g + 12, -2*g = -2*x - f*g - 8. Which is greater: x or b?
x
Suppose -5*x + 3*m + 9 = 0, 5*x - 5*m + m - 12 = 0. Let s = 21 + -18. Let p be 4 + s/42 + -4. Which is smaller: p or x?
x
Suppose -2*o + 5*m = -31, o + m + 20 = 6*o. Let d = 1 + -1. Suppose 2*a - 2 = -d*w + o*w, 3*a - 3 = 4*w. Is w less than or equal to -2/19?
False
Let j = 1/618 + -2783/1236. Which is bigger: -1 or j?
-1
Let u(p) = -p**3 + 4*p**2 - p - 3. Let w be u(2). Which is bigger: w or 4?
4
Suppose 0 = -4*v + s - 9, 4*v + 1 = v - 5*s. Let a be 12 + 0 - (v - 0). Let o be (-14)/(-35) - a/10. Is o < -2?
False
Let v = 19.9 + -32. Let c = v - -12. Is -0.1 greater than or equal to c?
True
Let j(g) = g**3 - 7*g**2 + 2*g - 2. Let m be j(7). Let n be (m/30)/((-4)/(-15)). Which is smaller: -1 or n?
-1
Let h = 2 - 1.9. Let d = 7.7 - 8. Is d > h?
False
Let v = 12 - 11.9. Is v less than -4?
False
Let p(j) = -j**3 - 6*j**2 - 9*j - 2. Let h be p(-4). Suppose -3*w + w = -h. Is -1/5 != w?
True
Let h be (1 - 2)*0/(-2). Let n = 24 + -12. Let u = 13 - n. Which is smaller: h or u?
h
Suppose 3*l - 80 + 29 = 3*y, 5*l = -2*y + 78. Suppose -l = 5*j + 114. Let r = j - -51/2. Which is smaller: -2 or r?
-2
Let s be 2 + -2 - -2 - 3. Let y be -2 - s - (-1)/(-3). Suppose -2*u + 6*u = -4*n - 16, -3*u = -3*n - 12. Which is bigger: y or u?
u
Suppose -5*b - 76 = 4*q, -2*q = 3*b + 1 + 37. Is q bigger than 0.1?
False
Let g = 6 - 3.5. Let i = -3 + g. Do i and -0.1 have different values?
True
Suppose -5*y - 10 = -5. Which is bigger: y or -3?
y
Suppose -7*x = -6*x. Is 4/11 bigger than x?
True
Let b = -97 + 147. Let h be ((-10)/b)/(2/5). Are h and -4 nonequal?
True
Let w be 1*(-1)/(-1) + 1. Let k be ((-1)/1*7)/(-5). Is k != w?
True
Let i(v) = -2*v**2 - 6*v + 3. Let j be i(4). Let g be 205/(-4) + 1*-2. Let n = j - g. Is 4 > n?
True
Let b be -3 - (15/(-2) + 4). Is b >= 2.6?
False
Let o be 2 + 0 + (-540)/(-63). Let y = 349/35 - o. Is 0 != y?
True
Let y = -0.5 + -1. Let t = 0.5 + y. Let b = t - -1. Is 0 less than or equal to b?
True
Let z = 0.6 - 0.5. Let s = 27.08 - 24. Let u = -0.08 + s. Which is greater: z or u?
u
Suppose -4*x + 10 = -2. Let h = -3.5 + 4. Let v = 0.4 - h. Do v and x have different values?
True
Suppose -3*r - r = -3*p + 30, -r = -4*p + 40. Which is smaller: p or 9?
9
Suppose -2*d - 42 = 3*j, -d + 7 = -2*j - 14. Let i be 4 + j/2 + 3. Let k be (-1)/4 - 5/(-4). Is k != i?
False
Let t = 1.71 - 0.01. Are -0.1 and t equal?
False
Suppose 4*r = 3*r + 1. Suppose 2*g = -4*t - 9 + 29, 3*g + 10 = 2*t. Is r less than or equal to g?
False
Let r(m) = -2*m - 1. Let a be r(-2). Suppose -5*g = -a*g. Which is smaller: 2/15 or g?
g
Let a be -1 + 14/10 - 924/(-840). Which is smaller: a or -1?
-1
Let v = -9 - -16. Let a(j) = -j**3 + 6*j**2 + 8*j - 7. Let c be a(v). Which is bigger: c or 3/4?
3/4
Suppose 4*t - 12 = 2*q, -4*t + 2 = -3*t - q. Suppose 2*a - 2*d + 0*d - t = 0, 3*a + 4 = -2*d. Is 3/7 less than a?
False
Let n be ((-6)/(-10))/(98/35). Which is smaller: n or 0?
0
Let u be ((-20)/46)/((-16)/88*-11). Which is smaller: u or -1?
-1
Let v = -19/2 + 41/4. Is v < 0.02?
False
Let d = 1240783/7063 + 41/1009. Let x = -176 + d. Which is greater: x or -2/9?
-2/9
Let z be 5*2/(-10)*-2. Let n(g) = -g**2 + 9*g - 8. Let v be n(7). Let i be z/3 - 2/v. Is i >= -3?
True
Let l be ((-3)/(-2))/((-3)/52). Let q = l - -51/2. Let o = 7.6 - 7.4. Which is greater: q or o?
o
Let w(o) = o + 19. Let r(f) = -f - 18. Let k(x) = 5*r(x) + 4*w(x). Let z be k(-10). Which is smaller: 0 or z?
z
Let f = 67/7 + -2204/231. Is -1 < f?
True
Suppose 0 = v - 0 - 1. Let g = -0.8 + 0.6. Which is smaller: g or v?
g
Suppose 16*f - 12*f = 0. Is f at least -4/7?
True
Suppose 0 = -4*o - 3 + 11. Let x(k) = 3*k**2 - k. Let c be x(1). Let r be -1*(c - (-21)/(-9)). Which is bigger: r or o?
o
Let t = 0.05 + 0.35. Let a = t - 0.5. Let z = 1.9 - a. Which is greater: z or 0?
z
Let k be ((-154)/207)/(-1) - (-4)/(-18). Are 0 and k nonequal?
True
Suppose 2*f + 3*z - 12 = 0, 6*f - z + 12 = 8*f. Let k be f/(-9) + (-2)/(-12). Suppose q = -2*t - 2*q + 4, 0 = -2*t + 4*q - 10. Which is smaller: t or k?
t
Let p = -2 + 3. Is p greater than or equal to -2/137?
True
Suppose -6 = -4*n + n. Do -0.05 and n have the same value?
False
Suppose 4*j - 2*r = 90, -3*j - 2*j - 5*r + 120 = 0. Suppose -27 = -5*q + j. Let p = 14 - q. Is p < 1/2?
False
Let u = 21.3 - 9.4. Let y = u - 12. Which is bigger: 0.7 or y?
0.7
Let d(h) = -15*h - 1. Let p be d(-1). Suppose p = a - 3*l, -2*a - 19 = 2*a + 3*l. Let z = 2 - 1.8. Which is bigger: z or a?
z
Let v = -57 + 56. Which is greater: 4/15 or v?
4/15
Let m(n) = -2 + n**2 + 6*n**2 + 8 + n**3 + 8*n. Suppose 5*b - 25 = 5*p, -4*b + 34 = -5*p + 8. Let y be m(p). Is 0 at most y?
False
Let l(o) = o + 4. Let d be l(-4). Suppose -5*n = -d*n - 5. Let s = 349 - 5233/15. Which is smaller: n or s?
s
Suppose -101*i + 95*i + 6 = 0. Is i bigger than 1/106?
True
Let i(f) = f**2 + 8*f - 43. Let y be i(-12). Is y at least -7?
True
Let m = 0.02 - 1.92. Let t = m - -2. Let n = 0.3 + -0.2. Is n equal to t?
True
Let j = -1.6 - -2.2. Let x = j - -0.4. Is x at most 0.2?
False
Suppose 4*l = 3*v - 11, 5*v - l - 29 = 3*l. Let a be ((-6)/v)/(4/(-30)). Suppose 0 = 3*o - a*o + 6. Which is smaller: 2 or o?
2
Let p = 0.1 - 0.6. Let l = p - 0.5. Let z(h) = -h - 2. Let n be z(-1). Is n at least l?
True
Suppose -2*t + 10 = 5*k + 23, -5*k = -3*t - 7. Let a(o) = o**2 + 3*o - 2. Let r = 1 - 3. Let p be a(r). Are t and p equal?
True
Let y = -12 + 12. Is y > 1?
False
Let o = 1 + -3. Let h = 0.8 + o. Let z = h - -0.2. Is z > -0.1?
False
Let q be (-77)/(-28) - 1/(-4). Suppose -q = -5*j + 2. Which is greater: -3/7 or j?
j
Let s be 6019/(-156) + 1/4. Let m = 37 + s. Which is bigger: m or -1?
-1
Let j(w) = -w**2 + 2*w. Let z be j(7). Let m be (-21)/z - (-2)/10. Which is greater: m or -1/4?
m
Let x = -37 + 35. Is x >= -2.3?
True
Let w be 405/11 - (1 - 3). Let t(i) = 2*i**3 - 6*i**2 + 7. Let h be t(4). Let m = h - w. Are 0 and m non-equal?
True
Let i = -0.5 - 0.3. Let g = i + 0.7. Let p be -7 - (-2)/(2/1). Is p less than g?
True
Let r = -95 - -98. Let v be (2/(-15))/(9/(-15)). Which is smaller: v or r?
v
Let a be -37*1/2*-2. Suppose 0*o + 5*o = -5*z - 10, 0 = 4*z - 5*o - a. Suppose r + 6 = 3*x, z*r + 3*x = 7*x - 8. Which is smaller: r or -1?
-1
Let p = 2 - 1.