is smaller: v or w?
v
Let i = 9 - 5. Suppose i*h + t - 29 = 6*t, 0 = h + t - 5. Suppose r + 5 = h*r. Is -0.2 not equal to r?
True
Let r(a) = a**3 - 9*a**2 + 8*a - 6. Let k be r(8). Let c be (-3)/7*(-1)/k. Is c > 0?
False
Let a(i) = 2*i**3 - 2*i**2 - 3*i + 2. Let c be a(2). Let d = 0 + 5. Let t = d - c. Are 1/6 and t non-equal?
True
Let o = 416 + -6659/16. Which is greater: o or 1?
1
Suppose -3*r - 3*v = -4*r + 3, 33 = -3*r - 5*v. Which is smaller: r or -7?
-7
Let x = 0.7 + -2.7. Let k = x - -4. Which is smaller: k or -0.1?
-0.1
Let m = -16 - -13. Suppose -5 + 3 = 4*o - 2*w, -7 = 4*o - w. Are o and m non-equal?
False
Let d be 14/(-30)*11 + 5. Let n = -1 + 2. Is n > d?
True
Let x = 0.7 - -4.3. Let u = 4.944 - -0.056. Let m = u - x. Which is smaller: m or 2?
m
Let a(t) = -4*t - 5. Let b(g) = g. Let u(s) = a(s) + 5*b(s). Let r be u(6). Suppose 0 + r = y. Do -2/19 and y have different values?
True
Suppose 0 = 10*f - 7*f - 3*p - 24, 3*p + 32 = 5*f. Suppose -2 = 4*o - 26. Are f and o unequal?
True
Let d = -5 + 5. Let i = -10 + 4. Let c = i + 9. Which is bigger: d or c?
c
Let u(y) = -y**3 - 4*y**2 + 2*y - 15. Let k be u(-5). Let q(p) = p - 1. Let s be q(2). Is s > k?
True
Let r be (1/(-5))/(1*273/(-6)). Which is smaller: r or -1?
-1
Let y(q) = q**2 - 12*q + 12. Let x be y(11). Which is smaller: x or -1/9?
-1/9
Suppose 2*o - 4*j - 22 = 0, 5*j = -2*o - 3*o - 5. Is 1 greater than o?
False
Let p be (5/35)/(-2 + 0 + 3). Let y(o) = o**2 - 3*o + 1. Let d be y(3). Suppose d = -c + 2. Is p at most c?
True
Suppose 0 = i + 8 - 9. Is i < -2/53?
False
Let l = -0.3 + 0.5. Which is bigger: 1/3 or l?
1/3
Suppose 3*c - 6*c = 24. Let d = 9 + c. Let a(z) = -z**3 + 6*z**2 + 6*z + 8. Let g be a(7). Is g smaller than d?
False
Let m = 0 - 0.1. Is -4 greater than m?
False
Let g(c) = c**2 + 4*c - 4. Let m be g(-4). Let v be 18/27*(-30)/m. Let x(t) = t**2 - 3*t - 6. Let j be x(5). Which is smaller: j or v?
j
Let t = 1753/330 + -53/30. Which is greater: t or 4?
4
Let d be -16*((-5)/(-4) + -2). Let i be d/70*10/4. Is 0 less than or equal to i?
True
Let j be (-9)/(-3)*(-1 + 2). Let k be ((-135)/(-12))/(-5) - -2. Is k greater than or equal to j?
False
Let s be (-2)/7*24/(-16). Let i(p) = -4*p + 1. Let k(t) = 5*t - 2. Let g(u) = 6*i(u) + 5*k(u). Let b be g(5). Which is smaller: s or b?
s
Let u = 0.5 + -0.7. Let c be (-4)/14*1 + 0. Which is greater: c or u?
u
Let s = -0.02 - 5.98. Let h = s + 4. Let d = 0.4 - 1.4. Is d greater than h?
True
Let t be (-34*1/(-2))/(19 - 28). Is t at least as big as -2?
True
Suppose 2*a - 21 = 5*v, -3*v = 3*a - v - 3. Suppose 4 = -f - 0*i - i, 5*i + 28 = a*f. Which is bigger: f or -6?
f
Let p = -50 - 5. Let q be (73/(-12))/(3/(-27)). Let y = p + q. Is -1 at most y?
True
Suppose -5*n - 9 = 1. Is 2/7 smaller than n?
False
Let q = -44 - -112. Is q >= 68?
True
Let x be ((-1)/3)/(34/(-17)). Suppose z - 4 = -4*d, -4*d - 3*z + 12 = -5*d. Which is smaller: d or x?
d
Suppose 2*x + x = 6. Let g be ((-4)/21)/(x/(-3)). Let r = 2 - 3. Which is smaller: r or g?
r
Suppose -100 = -3*x + 8. Let u = 0 + x. Let q be (3/u)/((-1)/(-2)). Which is smaller: q or 1?
q
Suppose 6 = 3*c - c. Suppose -10 = z - c*a - 0*a, a + 4 = 4*z. Let f = z - 3. Which is smaller: f or 1?
f
Let o = -0.9 - -1.3. Is o <= -3?
False
Let g = -21 + 20. Is g at most -3/13?
True
Let n = -0.99 - -33.99. Do n and 1 have the same value?
False
Let f = -2870/11 + 260. Is -2 at least as big as f?
False
Suppose -10*d = -2*d. Which is bigger: -6/11 or d?
d
Let i be (1 - 15)*(-2)/4. Suppose x + 2 = 2*p + 3*x, p - i = 2*x. Let y = 13 + -9. Are p and y equal?
False
Let b(i) = i**2 - 11*i - 3. Let j be b(11). Let u be -4*(j - 10/(-4)). Is -0.2 >= u?
False
Let b be (-12)/15*(-15)/(-2). Let u be 16/b*(-9)/6. Suppose -7 = -2*y - 4*c + 7*c, -11 = -3*y + 4*c. Is u greater than y?
False
Let o be (3 - (15/4 - 1)) + 16. Does 17 = o?
False
Let c be 12/8 - 2/(-2 + 4). Let m(t) = t + 2. Let k be m(0). Is c bigger than k?
False
Let v = 5 + -7. Let g = v - -1. Which is smaller: g or -0.4?
g
Let a = 95 + -96. Which is bigger: a or 3/35?
3/35
Let b = 15 - 14. Which is greater: b or -3?
b
Let d = 5 + -7. Let o be 2*34*(-3)/12. Let g = -18 - o. Which is smaller: d or g?
d
Suppose 2*t - 2 = 0, 4*m - 5 = -0*m - t. Is m at most 2/23?
False
Let q be 2/(3 + -5 - (-2 - -1)). Is q bigger than -1?
False
Suppose 3*v - 2*l = 59, 9*v = 4*v + 2*l + 93. Which is bigger: 20 or v?
20
Let g(s) = s + 1. Let r be g(-1). Let z(y) = 39*y**3 - 2*y - 1. Let i be z(-1). Let l be (-9)/(-27) + i/60. Which is smaller: l or r?
l
Let t(u) = u**2 + 2*u - 4. Let i be t(-3). Let q(m) = 5*m**2 - 4*m + 3. Let v(d) = -d**2 + d - 1. Let l(a) = i*q(a) - 4*v(a). Let y be l(1). Is 0 less than y?
False
Let p be 3724/35 - (-4)/(-10). Is 107 equal to p?
False
Let t = -56 - -123/2. Which is smaller: t or 5?
5
Suppose -3*y - 6 = -2*y. Let b = 6 + y. Let l be (-34)/(-14) - (1 - -1). Which is smaller: b or l?
b
Let p(r) = -r + 4. Suppose -15 = -4*i + 1. Let o be p(i). Let k = -1 - -3/2. Which is bigger: o or k?
k
Let t = -5 + 5. Suppose -3*s + 6 = -u - t*s, -2*u - 4*s - 2 = 0. Let m = u + 0. Which is bigger: -3/2 or m?
-3/2
Suppose -3*h = 5*q + 30, q + 2*q + h + 14 = 0. Suppose -5*s - 2*v = 11, -s - 4*v = -4 - 1. Is q less than s?
False
Let r = 7/20 - 607/1620. Is r > 1?
False
Let b be 2/7 - (-94)/14. Suppose -m - 1 = -7. Let y be (m/(-9))/(b/6). Which is bigger: 0 or y?
0
Suppose -m - 6 = -w, 0*m = -2*m - 2*w + 8. Is m > -1?
False
Suppose c - 5*c + 16 = 0. Suppose 2*o - 2*v = 22 - 4, 4*v = o - 24. Let b(y) = y. Let t be b(o). Are t and c non-equal?
False
Let v = -25.2 + 25. Which is greater: v or -1/4?
v
Suppose 4*j = -3*y - 1, y = 4*j - y + 6. Let i(a) = -a**3 - 3*a**2 + a + 1. Let m be i(-3). Does m = j?
False
Suppose -200 = 4*l + 64. Are -66 and l nonequal?
False
Let v = 17 - 18. Which is greater: v or -12/7?
v
Let t = 13 + -14. Which is smaller: -1/2 or t?
t
Let a = 88 - 81. Is 9 greater than a?
True
Let a = 72 + -170. Which is smaller: a or -97?
a
Let i(t) = t**2 - 10*t - 8. Let s be i(11). Is 1 < s?
True
Let w = -11 - 5. Is w > 0?
False
Let j be (1/(-2))/((-2)/(-28)). Let c(v) = v + 1. Let m(z) = z**2 - 14. Let k(o) = -6*c(o) - m(o). Let i be k(j). Is i smaller than 1/4?
False
Let a be 3/2*((-22)/3 + 0). Is a > -13?
True
Suppose 0 = 3*k + a - 2*a + 15, 36 = -5*k - 2*a. Which is smaller: -9 or k?
-9
Let i = 15 + -13. Is i less than or equal to 2?
True
Let b = 0.18 - -0.52. Let j = b - 1.2. Is -1 at least as big as j?
False
Let g = -40 + 24. Let y = g + 6. Let s be (y/(-15))/((-2)/(-3)). Are -1 and s unequal?
True
Let t = 145 - 156. Which is smaller: 0.02 or t?
t
Suppose -3*g = -4*b + 3, -4*g - 3 = -2*b + 1. Which is smaller: -1/11 or b?
-1/11
Suppose -4*s - 5 = -2*b - s, -3*b = -2*s. Suppose -16 = 4*k, -4*v + 31 = 2*k - 1. Let z be (-2)/(-2) - v/6. Which is smaller: b or z?
b
Let g be 6/(-9) - (-6)/9. Suppose -5*n + 9 + 11 = g. Suppose -n = 2*l - 2. Do l and -1 have the same value?
True
Let w = -7 - -9. Let v be (-1)/w - 1 - -1. Is 2 smaller than v?
False
Suppose n = -n. Suppose n = -0*g - 5*g. Is 1/2 bigger than g?
True
Let m(s) = s**2 + 3*s + 2. Let p be m(-2). Suppose q + 10 = -q. Let d = -6 - q. Which is greater: d or p?
p
Let h be (-1)/(3/15)*1. Let y = -6 - -1. Is y greater than h?
False
Let c = 6 - 6. Suppose 2*s + s - 9 = c. Which is smaller: 4 or s?
s
Let f(o) = -4*o - 11. Let m be f(-4). Suppose 0 = -0*p + p + 5, -m*n = p + 20. Suppose -4*z = 2 + 2. Is z >= n?
True
Suppose -2*l = 2*l - 5*o + 7, 3*l - 9 = -o. Let q(a) = -5*a**3 - 2*a - 1. Let r be q(-1). Let c = 8 - r. Is l less than or equal to c?
True
Let n be 2*1/(-2)*-5. Let g be 1 + -1 - n/(-5). Which is bigger: g or 1/4?
g
Let z = -0.26 + 0.3. Let f = -0.06 - z. Let t = 0.1 + -0.1. Is t less than f?
False
Suppose 67 = 5*c - 0*v + v, c - 19 = -3*v. Is 0.2 bigger than c?
False
Let x = 5 - 4.7. Is x greater than 8?
False
Let x = 73.8 + -74. Let d be 34/14 + 2/(-1). Which is greater: x or d?
d
Let p = -0.3 - -0.2. Let w = -28/15 + 11/5. Which is smaller: w or p?
p
Let i(c) = -c + 4. Let y be i(5). Suppose -2*b + 3*b + 2*l = 0, -5*l = -3*b + 22. Suppose -2*o + 4 = -2*d, 0 = 2*o + b*d + 5 + 3. Is o <= y?
False
Let j = 2/857 - 2599/11998. Which is bigger: 1 or j?
1
Let j(w) = -w - 3. Let m be j(8). Is m at l