 + -7)*1/(-3). Suppose b*y - 16 = 4*y. Which is smaller: v or y?
y
Let g(t) = t - 4. Let y be g(-8). Let d = y - -18. Which is bigger: 7 or d?
7
Let i be ((-16)/12 + 1)*-9. Suppose -20 = -0*t - 5*t. Are t and i nonequal?
True
Let b(i) = -i**3 - 3*i**2 - i - 1. Let l = 14 - 8. Suppose 0 + l = -2*t. Let f be b(t). Is f at least as big as 1?
True
Suppose -5*h - r + 12 = 0, r = 3*h - 4*h. Is 13/5 at most h?
True
Suppose b - 9 = -4*v, 4*b = -v - 3*v. Let h be (-5)/(-2) + v/(-6). Is 2 at least h?
True
Let f = -2 + 1. Let v = -281/1485 - -1/135. Do f and v have the same value?
False
Let i(j) = -j + 5. Let z = 9 + -4. Let a be i(z). Let h be 3/((-15)/(-3) + a). Which is smaller: h or 1?
h
Let w be 2 - 6/(-27)*-8. Suppose -l - 5*x - 28 = 2*l, 4*l + 29 = -5*x. Which is smaller: w or l?
l
Let u = -0.99 - 0.01. Is u <= 0.05?
True
Let w be 2/10 - 3627/(-15). Let l = -719/3 + w. Is l at most 1?
False
Suppose -2*v - f - 4 = -3*v, 4*v - 17 = 5*f. Suppose -v*y + 4 = -2. Let q = 4 + -1. Which is greater: y or q?
q
Suppose 0 = 6*k - 11*k - 3*a - 29, 2*a + 2 = k. Let b be k*(18/8 + -2). Let n = -3 + 1. Are n and b non-equal?
True
Let j(g) = g**3 + 3*g**2 + 3*g + 1. Let u be j(-2). Is u less than or equal to -1?
True
Let y be -4 - -3 - (-7 - -1). Suppose 6*k = 3*k - 15. Let o = y + k. Is o bigger than 3?
False
Let r = -2279/9 + 253. Are 0 and r nonequal?
True
Let i = -0.7 + 0.64. Let q = -0.06 - i. Let n = 0.2 - 0.3. Which is greater: n or q?
q
Let y = 11 + -9. Let w be (3 - y)/(7/3). Which is greater: w or 0?
w
Suppose 2*m - 3*m = -2. Suppose 4*r - r - 15 = -5*j, m*j + r = 5. Suppose j*q - 4*q = 4. Which is bigger: -2/5 or q?
-2/5
Let o = 0 + 1. Let x = 5 - 3. Does o = x?
False
Let l = 7 + 35. Let k be 138/l - (-2)/(-7). Suppose -2*s = k*s. Which is greater: 4/7 or s?
4/7
Let h = 24799/22 - 1127. Which is greater: h or -1?
h
Let p = 35/261 - 2/87. Let o(w) = -4*w + 8. Let r be o(6). Let d = -15 - r. Which is bigger: d or p?
d
Let v(n) = -2*n + 8 + n + 3. Let o be v(9). Suppose -3*h = -o*k + 1 - 8, 3*h - 4*k - 5 = 0. Is 2 <= h?
True
Let f = 1 - 1. Let u = 4 + -17. Let z = -14 - u. Which is smaller: f or z?
z
Let p(j) = -2*j. Let m be p(3). Which is smaller: m or -7?
-7
Suppose -2*j - r = -3 - 17, 4*j = 4*r + 28. Is 10 greater than j?
True
Let j be 1/(2 + (-123)/69). Which is smaller: 4 or j?
4
Let q = 3.4 - 0.4. Let l = -3.1 + q. Which is bigger: -3 or l?
l
Let z be 2*3/(-3) - 2. Let d(f) = f + 5. Let p be d(z). Is -1/6 != p?
True
Let v = -3 + 2.9. Let x = -62.01 - -62. Which is greater: v or x?
x
Suppose 3*o + 4*s - s = 0, -4*o = 2*s - 4. Which is greater: 0.01 or o?
o
Let n be (-56)/(-130) - (-2)/(-5). Is -1 less than or equal to n?
True
Suppose -2*k = 2*j + 2*k - 14, j - 4*k + 5 = 0. Suppose j*t = 4*u + 3 + 3, -39 = -4*t - 5*u. Is t smaller than 6?
False
Let f = -2 - 1. Let g be 6*1*f/12. Is -3 greater than or equal to g?
False
Let w = -3 - -5. Let i(n) = -4*n + 3. Let h be i(w). Are -6 and h equal?
False
Suppose 0 = -n + 2*y + 13, -7*n + 59 = -3*n - y. Let l be 44/(-39) - (-10)/n. Are l and 1 unequal?
True
Suppose -2*g + 2 = -3*g + 2*z, z + 9 = -2*g. Let a = g + 4. Suppose 5*x - 4*x = -4*t - 3, -2*x = -5*t - 7. Is a smaller than t?
False
Suppose l + 12 = -2*l. Let t = 9 + -14. Is l smaller than t?
False
Let l be (-1 + 0)/(5/(-10)). Let g be l - (-1 - (-2 - 0)). Let u be 1/1 - 33/27. Is g bigger than u?
True
Let z = -10 - -11. Suppose 36 = -b + 5*b. Which is smaller: b or z?
z
Let h = 87085519529/6541 - 13313793. Let r = -2/211 - h. Which is smaller: r or 1?
r
Let s = 11 - 16. Let x = -3 - s. Is -0.1 at least as big as x?
False
Let x be (((-32)/3)/(-4))/2. Let h = -0.3 - -0.4. Which is smaller: x or h?
h
Let a be (1*-2)/(-2*1). Let p be 16/(-2) + (-4)/(-2). Let x be 4/(-7)*21/p. Is a greater than or equal to x?
False
Suppose -2*m - 2*m = -4*v + 20, 3*v + 4*m - 1 = 0. Is v equal to -4?
False
Let q(k) = k**3 - 10*k**2 + 12*k - 13. Let n be q(9). Suppose -3*s = n + 10. Let w be s/(-198) - (-14)/(-63). Is 1 greater than w?
True
Suppose -5*r = -4*r + 1. Let o(g) = 3*g**2 + 1 - 3*g**2 - g**2 - g + 0. Let v be o(r). Do v and -1/6 have the same value?
False
Let b = 829/30 + -55/2. Suppose 4*a = -4*l - 20, 0 = 3*a - 3 + 18. Is b >= l?
True
Let q be (-108)/(-40)*(-16)/6. Let z = q - -147/10. Which is smaller: z or 7?
7
Let x = -12 + 11. Let z = 0.28 - -12.72. Which is smaller: x or z?
x
Let y = 2.2 + 0. Let u = -2 + y. Let w = u - 0.3. Which is smaller: 1 or w?
w
Let u be (-2 + 8)/((-6)/(-4)). Suppose -u*d + 4*n = d + 8, -5*n = -10. Is d <= -1/6?
False
Let j = -3 + 0.93. Let s = -0.07 - j. Let i = s - 1. Which is smaller: 0.1 or i?
0.1
Let v = -84 - -54. Do v and -30 have the same value?
True
Let m = -82 - -86. Which is smaller: m or 6?
m
Let v(a) = 16*a - 105. Let i be v(6). Which is bigger: -76/9 or i?
-76/9
Suppose t + s - 15 = -2*s, 5*s - 25 = -5*t. Suppose -k - 3*k = t. Does k = -3/14?
False
Let r = 2/53 - -47/159. Which is greater: r or -0.15?
r
Let z(l) = l**2 - 8*l + 3. Let n be z(8). Suppose -p + 3*p = 6. Let m be (p/2)/((-2)/(-4)). Is m at most as big as n?
True
Suppose -17 = -3*i - 5. Suppose 3*y - 2*z - i = -z, 5*y - 5*z = 20. Is y <= -1?
False
Let z = 4.5 - 2.6. Which is smaller: z or 0.2?
0.2
Let h(m) = m**2 - 2*m + 1. Suppose 1 + 11 = 3*x. Let v be h(x). Suppose 0*o = -r - 3*o + 24, -5*o = -3*r + 2. Are r and v nonequal?
False
Let o = 5.4 - 5.3. Is 0.13 not equal to o?
True
Let i = -54 + 36. Is -18 > i?
False
Let g = 0.23 - -0.17. Let s = -0.6 - 0.4. Which is greater: g or s?
g
Let r(i) = 4*i**2 + 3*i - 7. Let g be r(-5). Suppose -2*x - 20 + g = 0. Suppose 4*o + c - x = -4*c, 3*c - 15 = 0. Which is smaller: 2/5 or o?
2/5
Let a(s) = -s**2 + s + 12. Let c be a(0). Suppose 0*n = -3*n + c. Suppose n*f = f. Is 2/13 at least as big as f?
True
Let j be ((-2)/55)/((-10)/150). Is 0 at least as big as j?
False
Let z be (-14)/(-36)*(8 - 6). Which is bigger: z or 1?
1
Suppose 0 = -c - 5*i + 2, 4*c - 3*i = 11 - 3. Let g be (4 - 5)/(c/8). Is -2 equal to g?
False
Let q = -33.09 - -33. Are q and 1 non-equal?
True
Let n(b) = -b - 4. Let u be n(-7). Suppose -k = u - 4. Is 2 bigger than k?
True
Suppose 73 = 4*t + t - 4*x, 2*t - 4*x - 22 = 0. Suppose i = -2*b + 9, t = 5*b - i - 2. Suppose n + b*a = 10, 3*n + 4*a - 8 = 6. Which is smaller: n or 4?
n
Suppose 2*l - 4*j = 3*l - 12, j + 24 = 2*l. Which is smaller: 11 or l?
11
Let i = 31.48 + -25.4. Let a = i + -6. Let f = a - -0.92. Which is bigger: 4/9 or f?
f
Let r(j) = j - 18. Let b be r(14). Let y be (-2)/5 + b/(-10). Is -0.2 greater than y?
False
Let k = -68 + 61. Which is greater: 2/5 or k?
2/5
Let h be 2/8 + 84/48. Let l be h*(-1 - (-15)/21). Which is smaller: 0 or l?
l
Let a(q) = -q**2 - 7*q - 5. Let b be a(-6). Suppose 4*y = -b - 3. Is -2/11 less than or equal to y?
False
Let j be (-1)/3*(0 - 15). Let x(r) = -r**2 + 4*r + 7. Let k be x(j). Which is bigger: 0.2 or k?
k
Let r(w) be the first derivative of w**4/4 + 11*w**3/3 - 13*w**2/2 - 10*w + 2. Let d be r(-12). Which is bigger: 4/3 or d?
d
Let f be 4 + -6 - 167/(-5). Let w = f + -32. Let x(k) = -k**2 - 4*k - 3. Let z be x(-3). Is z >= w?
True
Let y be ((-1)/(-4))/(18/(-56)). Is -2 >= y?
False
Let a = -395587/31395 - -2/6279. Is a less than or equal to -12?
True
Let b = -16 + 5. Let r(a) = a + 8. Let h be r(b). Is h greater than -3?
False
Suppose 5*d + 2 = -18. Let t(h) = 3*h + 6. Let o be t(d). Let r be 2/(-12) + (-13)/o. Which is smaller: 1/2 or r?
1/2
Suppose -5*c - 5*t + 99 = -2*t, -4*c + 66 = -2*t. Is c at least as big as 19?
False
Suppose 5*j = 9 + 6. Suppose 5*z + h + j = 8, 5*z - 2*h + 10 = 0. Is 4 at least z?
True
Let x = -33 - -22. Is x not equal to -10?
True
Let s = -0.04 - 0.02. Let u = -4.6 - -4. Let q = -0.6 - u. Are s and q unequal?
True
Suppose 2*w = 8 - 12. Is w < 0?
True
Let w = 7/5 - 37/30. Suppose -1 = -l - 0*l. Which is smaller: w or l?
w
Suppose 5*o - 10 = -0*o. Suppose 2 = -o*j, 5 + 12 = -4*s - 5*j. Which is smaller: s or -7/2?
-7/2
Let s = 4 - 1. Let t = -14 - -16. Is s equal to t?
False
Let j be (-8)/(3 - 51/18). Let n = -433/9 - j. Is n less than or equal to 0?
True
Let z = -26 - -27. Which is smaller: z or 1/309?
1/309
Let g be 48/5 - (-8)/20. Let i = -7 + g. Suppose i*a - 2*a = 0. Are 0 and a equal?
True
Let c = -621828/35 - -17764. Let r 