 -63 have the same value?
True
Let u be -1 + 11 - (-1 + -1). Let i(t) = t. Let x be i(2). Suppose x*o + o = -u. Is o smaller than -4?
False
Let d = -4 + 8. Suppose d*k = 6*c - c + 2, -11 = 2*c - 5*k. Are 5/6 and c unequal?
True
Let l be ((-3)/(-12))/(138/(-48)). Which is bigger: l or -1?
l
Let f(t) = t**2 - 5*t - 6. Let h be f(6). Suppose h = u - 0 - 2. Let a = -3 + 10. Is a smaller than u?
False
Suppose 0*r = r + 5*g - 32, -r = -g - 38. Suppose -3*u + 17 + r = 0. Suppose -3 = -3*c - u. Which is greater: c or -4?
-4
Let d = 3 + -1. Suppose d*f - 6*f = -20. Suppose 5*g - v - 3*v = 0, -4*g = -f*v + 9. Are 4 and g non-equal?
False
Let l(f) = f**2 - 11*f + 12. Let c be l(10). Suppose d - 2*d - c = 0. Which is bigger: -4 or d?
d
Let o = 22 - 113/5. Suppose 0 = -g + 4*f - 10, 2*g - 4*f = f - 11. Let u = -2 + g. Are o and u non-equal?
True
Suppose -p - d = 3, -d = -2*p + 2*d + 4. Is -2 smaller than p?
True
Let p = -0.5 + 0.3. Let n = 37 + -25. Let j be ((-2)/n)/((-1)/(-4)). Is j greater than p?
False
Let b be 136/56 - 6/14. Let z be (2 - 4)*2/(-2). Is b at least as big as z?
True
Let x = 1 - 2. Suppose 5*r - 30 = b, 5*r + 0*b - 4*b = 30. Let s = -6 + r. Which is greater: s or x?
s
Let z(j) = -7*j**3 + 7*j**2 + 9*j - 10. Let o(a) = 10*a**3 - 11*a**2 - 14*a + 15. Let d(t) = 5*o(t) + 7*z(t). Let u be d(7). Is 0 bigger than u?
False
Let h = 0 + 0. Which is greater: 2/17 or h?
2/17
Suppose -4*a = -2*a + 5*m - 3, -4*m = 3*a - 15. Is a >= 9?
True
Let s = 26.7 - 27. Does s = 0.1?
False
Let w = -1.7 + 0.7. Is 10 at most as big as w?
False
Let l be 4 - 1/((-10)/(-35)). Suppose -5*f = 5*m - 5, 6 - 5 = m - 3*f. Let q be -1*(-1)/(m - -2). Are l and q unequal?
True
Let u = -21 + 17. Is u greater than or equal to -8?
True
Let o be 16/6 + 24/(-36). Is -9 at most o?
True
Let s = 0.89 + 0.11. Is -2/75 at least as big as s?
False
Let p be -134 - -2*(-1)/(-2). Let g = p - -52. Let n = -407/5 - g. Is -1 bigger than n?
False
Suppose 2*b = 2*n - 34, -2*b - 3*n = 16 - 2. Is b < -11?
True
Suppose -5*k + 23 - 39 = n, 3*k - 5*n + 4 = 0. Let y be (6/56)/((-2)/32). Which is greater: y or k?
y
Suppose -5*q + 26 = 2*z + 4, -4 = -2*q - 2*z. Which is greater: q or 7?
7
Suppose 12*v - 7*v = 0. Is -2/9 <= v?
True
Let u = 6827/14971 - 2/1361. Which is greater: 1 or u?
1
Suppose 3*k - 4*k + 1 = 0. Is k at least 5?
False
Let q be 44/(-242) - 96/(-286). Which is greater: q or -4/7?
q
Let t be 7/4 + 4/16. Is -4 less than t?
True
Let a be 100/(-36) + (-4)/(-72)*-4. Are a and -6 equal?
False
Let d be (18*-1)/6 - -4. Are -6/43 and d nonequal?
True
Suppose 0 = -5*k + 2*k - 24. Let r be (24/32)/((-5)/k). Is r != 0?
True
Let d = -302/375 + 2/375. Suppose -4*y - 8 = 0, v - 3*y + 1 = 10. Let k be (-9)/3*2/v. Which is bigger: d or k?
d
Let v = -0.7 - 6.3. Let o = v + 8. Is -2/7 smaller than o?
True
Let f be (-1*1)/((-14)/(-21)). Is -1 < f?
False
Suppose -15 = -0*w - 3*w - 3*j, -2*w + 4*j = 14. Suppose 2*q - q - w = 0. Is 1/26 less than q?
True
Let v = 254/3 - 84. Let d be (3/24)/(4/(-8)). Is d bigger than v?
False
Let p be (-2)/(-9) + (-32)/(-18). Let i be p/(-1) - (-3 + -3). Suppose -2*x - 2 = -i*x. Which is bigger: x or 0?
x
Suppose 22*c - 5*k + 4 = 23*c, 0 = 5*c + 2*k - 20. Let p = 0 + 0. Let g = p + -0.1. Are g and c non-equal?
True
Suppose 0*y - 3*y - 3 = 0. Let i = -3 + 2. Let b be 21/(-12) - i/(-4). Which is greater: y or b?
y
Let q = 11.75 + -8.8. Let b = q - -0.05. Is b less than or equal to -0.4?
False
Let n = 12 + -22. Let h be (-2)/n + (-14)/(-5). Suppose 4*t - 5*b = 25, -2*t + 2*b + h = -7. Is 1/6 < t?
False
Suppose 0 = -3*d - 2*d - 15. Are -7/4 and d equal?
False
Suppose -g - 10 = -3*g - 2*l, 0 = -2*g + 2*l + 14. Suppose 5*c + 0*c - 2*o = g, -o - 3 = 3*c. Are -1 and c unequal?
True
Let k be (-55)/(-77) - 2/(2 - -2). Is 0 at most k?
True
Let v(f) = -4*f**2 - 5 + 0*f**2 + 5*f - 6*f**2 - f**3 + 5*f**2. Let k be v(-6). Is k smaller than 0?
False
Let b be (-209)/308 - (-3)/7. Is -1 at most as big as b?
True
Let y(z) = 6 - 1 - z - 2. Let g be y(6). Let v = -3 - g. Is v > -3/7?
True
Let d be 3*(1 + -13)/(-3). Let v be ((-4)/(-10))/(d/(-18)). Which is smaller: 0 or v?
v
Suppose -13 = 5*k + 97. Which is greater: -45/2 or k?
k
Let v = -160409/9 - -18047. Let d = 224 - v. Let g = 1/9 + d. Is g >= 1?
False
Let u(x) = x**2 + 9*x - 22. Let t be u(-11). Which is bigger: 2/5 or t?
2/5
Suppose 0 = -4*u + 17 - 5. Let n(y) = -y**3 - 3*y**2 + 2*y - 5. Let g = -2 + -2. Let z be n(g). Is u not equal to z?
False
Let y(k) = k + 11. Let l be (-1)/3 - (-69)/(-9). Let d be y(l). Suppose -r = d*u - 2, -7*u + 5*u = -2*r + 12. Which is bigger: u or 3/7?
3/7
Let a = -26 + 26. Is a bigger than 2?
False
Suppose 2*k + 0*k = -6. Let v = k - -4. Let a be (-2)/9 + (-6 - (-1290)/216). Is v greater than or equal to a?
True
Let f be (4 - 8)/(-1) - 5. Which is greater: 7 or f?
7
Let s = 0 - 1. Let y be -4*s/(-1 + -1). Suppose -10*a = -9*a + 1. Is a > y?
True
Let v = -82 - -247/3. Which is greater: -0.4 or v?
v
Let r be (-2 + 4 - 2) + -2. Which is bigger: r or -3?
r
Let x = 8 + 2. Let k(v) = v**3 - 9*v**2 - 9*v - 10. Let h be k(x). Suppose h*q - 2 = -2*q. Do 2 and q have different values?
True
Let a be (-24)/(-108) - (-178)/9. Is 21 greater than a?
True
Let p = 0.05 - -5.85. Let l = p + 0.1. Which is smaller: 0.2 or l?
0.2
Let f be (-2)/15 + (-13)/15. Suppose 0*r - 3*r = 0. Suppose -3*n + 2*j + 2 = -n, r = 2*n + 3*j + 13. Which is greater: n or f?
f
Let h be (-2)/(-5) - (-22)/20. Suppose d + 4*z = -0*d - 16, 5*d - 3*z - 12 = 0. Let c = d + 2. Is c <= h?
False
Let v be 4 - (-11)/((-33)/150). Is v greater than -45?
False
Let t be 3 - 1 - (-134)/(-108). Let h = t + -1/108. Is h bigger than 2?
False
Let b be 205*(-2)/(-18) - -1. Let n = b + -24. Suppose -10 + 4 = -4*c - 2*k, -8 = -4*c - 4*k. Which is greater: n or c?
c
Let z(a) = 3*a**3 - a - 1. Let w be z(-1). Let r(k) = -k**3 + 3*k**2 + 3*k + 2. Let u be r(4). Are u and w unequal?
True
Suppose 0 = -0*s + 5*s - 25. Let m be (-64)/10 + 2/s. Let n be m - -8 - (-7)/(-3). Which is smaller: n or -5?
-5
Suppose 0 = -o + 3*o - 64. Let v be -2 - (o/(-9))/2. Let z be (-1)/(-3) - 7/12. Do v and z have different values?
True
Let m = 17.46 + 0.54. Is m at least as big as -1/4?
True
Let h = 0.053 + 0.147. Which is greater: h or -0.7?
h
Let s = -22 + 20.7. Let c = 1.3 + s. Let h = 2 + -1. Is h != c?
True
Let z(t) = t**3 + 8*t**2 - t - 9. Let a be z(-8). Which is bigger: a or 2?
2
Let l be (5 - 3) + 4/2. Which is greater: 5 or l?
5
Let x = -79.6 - -81. Is x greater than 0.1?
True
Let v = -0.04 - 19.96. Let t = 11 + v. Let m = -8 - t. Which is smaller: m or 0?
0
Let y be (-5)/(-10) + (-6)/(-4). Let k be 4/6 + y/(-3). Which is greater: k or -2/19?
k
Suppose -5*b = 5*p + 10, 4*b + 5 = -5*p - 7. Which is smaller: b or 3?
b
Let l be 688/(-6)*(-3)/(-12). Let p = 30 + l. Is 1 <= p?
True
Suppose -2*q = 3*q + 30. Let x be 2/(-3) - 3/q. Is -1 smaller than x?
True
Let t = -5.8 + 6. Let k = t + -3.2. Is k < 0?
True
Let z = 0.082 + 0.018. Is 7/6 at least z?
True
Let y = 0 + 3. Suppose -6*o + 5*o = 0. Which is greater: y or o?
y
Let q = -14 + 10. Let x be 6/q - 255/(-162). Is 0 > x?
False
Suppose 5*y - 14 = 3*u, -3*u - 5 = 6*y - 2*y. Let d = 4 + -3. Are y and d unequal?
False
Let b = -33.87 + 34. Let w = b - -7.87. Let x = w - 8.1. Is x at most -0.1?
True
Let g(t) = t - 73. Let h be g(0). Let c = 368/5 + h. Is 1 bigger than c?
True
Suppose 4*u + d + d = 4, 0 = -5*u + 2*d - 4. Let q = 419/7 - 60. Which is greater: u or q?
u
Let u = -12 - -32. Let o = -5/16 - -1/16. Which is greater: o or u?
u
Suppose 7*q - 34 = 2*q + n, 4*n = 2*q - 28. Let y = q + -5. Let s be 3/3 - -2*y. Does 3 = s?
True
Let m be 2/6 + 1/(-9). Is m less than 1?
True
Let c = 6 + -6.04. Let v = 6.04 + c. Let s = -6.4 + v. Is s >= -0.2?
False
Let q be (3 + -6 + 3)/(-2). Is -4/15 greater than q?
False
Let m(k) = 1 + 2*k**3 + 2*k**2 - k + 0*k - 3*k**3 + 1. Let o be m(2). Which is smaller: -1/7 or o?
-1/7
Let n be (11 - 12) + 17444/51. Let w = 341 - n. Which is smaller: w or 0?
w
Suppose -20 = -5*h + 5*w, 4*h - w = 2 + 2. Let q be (-1)/(-2)*(9 - 8). Which is smaller: q or h?
h
Let g be (-2)/(-5) - 36/(-10). Suppose -5*z - 20 = g*f - 0*f, z + 3*f + 15 = 0. Suppose z*w = -3*w. Are 1/5 and w equal?
False
Let m = 164/21 + -1426/231. Do 2 and m h