4/(-10). Which is bigger: w or -4/5?
-4/5
Let g(d) = 3*d**3 - d**2 + 1. Let r be g(1). Suppose -2*p + r*p = 0. Suppose -4*o + 7*o - 12 = p. Is o equal to 4?
True
Let x be (12/8)/(1/2). Suppose 4*d - 2*d - x*u + 4 = 0, 5*d - 8 = 3*u. Suppose -1 = d*n + 15. Is -4 less than n?
False
Let f be (33/22)/((-3)/4). Is f <= 0?
True
Let l = -1 - -0.8. Let h = -0.3 - l. Let z = h - 0.2. Is z greater than -0.1?
False
Let y be (-15 + 16)/(-122*1). Which is bigger: y or 0?
0
Let q be (-14)/(-18) - (-2)/9. Let k = 7 - q. Suppose -k = -0*o - 3*o. Are 1 and o nonequal?
True
Let h = 17.8 - 19. Let n = -6.2 - h. Which is bigger: -0.3 or n?
-0.3
Let q be ((-5)/(-10))/(2/(-16)). Let a be 25253/(-72660) - q/16. Let l = -2/865 - a. Which is bigger: l or 1?
1
Let v be (-1)/(-2) + 37/164. Let n be (-1 + 2)*(-7)/287. Let l = v - n. Which is smaller: l or -1?
-1
Let u = -26 + 20. Which is smaller: u or -8?
-8
Let d be (0 - (-4)/(-14))*5. Is d greater than -2?
True
Let q(d) = 2*d - 16. Let u be q(8). Which is smaller: -4 or u?
-4
Suppose -5*a - 5*q + 9 = -2*a, -9 = -3*a + 3*q. Suppose 4*b - 9 = -g, 0 = g + 3*g + a*b - 23. Suppose -6 + g = -y. Which is smaller: y or 4?
y
Suppose -3*o = 2*o + 10, 2*o = -2*q + 70. Is q <= 36?
False
Let h = -0.21 + 0.12. Let v = h + -0.11. Is v bigger than -2/7?
True
Let v = -12.86 - -13. Let r = 0.06 + v. Is -1 at most r?
True
Let z(c) = -c**2 + 6*c + 5. Let o be (4/(-10))/((-2)/30). Let j be z(o). Let r = 2 - 1. Is j less than or equal to r?
False
Let z(m) = 2*m**2 - 10*m - 12. Let p(g) = -5*g**2 + 30*g + 35. Let y(c) = -3*p(c) - 8*z(c). Let v be y(-9). Is 1 greater than v?
True
Let i be 4*2/4*-2. Let p = -8 + 3. Are i and p nonequal?
True
Let l be ((-44)/(-6))/(-3 - 8/(-3)). Is -24 less than l?
True
Suppose 0 = -f + 4*s + 4, 4*f - 3*f + 5 = -5*s. Let b be (15/9)/5*f. Is b greater than 1/5?
False
Let y = -2.9 - -15.9. Let b = y + -21. Are b and 0 non-equal?
True
Let l be ((-252)/(-90))/(2/10). Is 13 <= l?
True
Let w be 3/((-11)/4 - -2). Let x be -1 - (-4 - (1 + -2)). Let k = w + x. Which is smaller: -1 or k?
k
Suppose 0 = p - 1 + 2. Let j = -9 + 2. Let r = -7 - j. Is p > r?
False
Suppose l + z - 12 = 2*l, -l - 42 = 5*z. Is -16 greater than l?
True
Suppose 3 = -u + f + 13, 4*u - f - 25 = 0. Suppose -s = 1, u*v + 2*s - 2 = 16. Suppose g = -v*g. Is g > 2/11?
False
Let z = -4 - -3. Let q(m) = -3*m**3 - 35*m**2 + 41*m + 36. Let b(c) = -c**3 - 12*c**2 + 14*c + 12. Let i(f) = 11*b(f) - 4*q(f). Let l be i(-9). Is l at most z?
True
Let l = 18 - 43. Let k be ((-15)/l)/(3/2). Which is greater: k or 1?
1
Let k be 2/(-4)*(-6)/1. Suppose -k*c + 20 = -7*c. Let q(r) = -4*r**3 - r. Let l be q(1). Is c less than l?
False
Suppose 16 = -z - 3*a + a, -4*z = -3*a + 119. Are z and -26 equal?
True
Suppose 4*j = -0*j. Suppose 0 = -3*x + 2*x - 3, 3*k + 2*x + 12 = j. Let v = 1 - k. Do 3 and v have different values?
False
Let r = 2.38 + -2.5. Which is greater: r or 0?
0
Let t = 8.352 - -0.048. Let b = -9 + t. Which is greater: b or -0.1?
-0.1
Let v(o) = -5*o - 5. Let p be v(-9). Suppose 8*n = 3*n - 4*j + 5, -3*j = -5*n + p. Suppose q - 2*f = 2*f - 1, 5*q + 2*f + n = 0. Is q != 0.2?
True
Let h(k) = -5*k. Let g be h(-1). Suppose -2 = 3*f - a - 20, -g*a = -2*f + 12. Is f >= 6?
True
Let z = 3 - 1. Let f be (-1)/(z*14/4). Suppose -3*o = o. Which is bigger: f or o?
o
Let y = 1.4 + -11.4. Which is greater: 2 or y?
2
Suppose -3 = j - t, -t + 25 = 4*t. Let n be 74/9 - j/9. Let u = -11 + n. Is u > -3?
False
Let m = -5 + 6. Let d be 15/(-6)*4/(-5). Let w be (0 + d - 1) + 0. Do m and w have the same value?
True
Let a(c) = 4*c**2 + 2*c. Let m(d) = -9*d**2 - 5*d - 1. Let t(q) = 7*a(q) + 3*m(q). Let n be t(2). Is 0 >= n?
True
Let j(a) be the first derivative of -a**4/4 + 2*a**3/3 + 2*a**2 - 2*a - 2. Let x be j(3). Which is greater: -1 or x?
x
Let u = -9 + 9. Suppose 2*o - o = u. Which is smaller: 2/11 or o?
o
Let s = -21 + 27. Suppose -s = -3*n - 0. Which is smaller: n or -2?
-2
Let j be (-6)/8 + (-3)/(144/(-68)). Which is smaller: 10 or j?
j
Suppose g - 63 = -3*u - 3*g, 59 = 2*u - 3*g. Suppose u = -5*r + 4*p, -5*r + p - 25 = 6*p. Is -0.1 <= r?
False
Let n = -1 + 1. Suppose n = 4*t + 9 - 1. Suppose -5*f = -8*f - 5*f. Is f at most as big as t?
False
Let r = 4156739/1854120 + -7/30902. Let a = -47/24 - r. Let g = -79/20 - a. Which is smaller: g or -0.1?
-0.1
Let g = 7 - -1. Let m = g - 6. Which is greater: -1 or m?
m
Let o(z) = z**2 - 8*z + 11. Let y be o(6). Let k(i) = i**3. Let j be k(-1). Are y and j equal?
True
Let h be 127/(-3) + 44/11. Is -39 != h?
True
Let b(v) = 3*v + 2. Let a be b(-1). Are a and -2/225 equal?
False
Suppose -3*p + 4 = -5*d, -2*p + 3*p = d. Is 7 equal to p?
False
Let m = -0.07 + 4.07. Let w = m - 4. Which is greater: -2/7 or w?
w
Let y = 1/2 + -7/6. Which is smaller: 0 or y?
y
Let m be -2*-2*1/2. Suppose 0 = a - m. Let p be 1/(-5) - (7 - (-174)/(-20)). Is a <= p?
False
Suppose 0*m = m. Let d(o) = o. Let b be d(3). Suppose 0 = -5*g + b*c - 2*c + 9, 12 = -3*c. Is m at least g?
False
Suppose 0 = 6*t - 3*t - 3. Which is smaller: 2/309 or t?
2/309
Let z = 34 + -41. Is -3 equal to z?
False
Let o = 53 - 62.2. Let y = -9 - o. Is y < 0.3?
True
Suppose 4*l - 5*o - 15 = 0, 5*l - 5*o - 9 = -2*o. Let t be l/(3*4/6). Let d be -1*1 - (-116)/87. Which is bigger: t or d?
d
Let h = 50 + -51. Which is bigger: 1/124 or h?
1/124
Let n = -53019/365788 - -1/4813. Let s be ((-24)/32)/(114/(-16)). Let b = s - n. Which is smaller: -1 or b?
-1
Suppose z + 35 = 6*z. Suppose -46 = -3*t + 5*g, 5*t + 4*g - 2 - 13 = 0. Is t less than or equal to z?
True
Let s(q) = 3*q - 3. Let i be s(1). Which is greater: i or 1?
1
Let f(n) = n + 9. Let y be f(-6). Let u be 0/(1 - 0 - y). Is u greater than 2?
False
Let h = 1 + 0.8. Let l = -1.7 + h. Let c = -2 + 2. Which is smaller: c or l?
c
Let j be 7 - -3*(0 - 1). Suppose -4*l + j*w = 32, l - w = -l - 12. Suppose 0 = 2*h + h + 9. Is l greater than or equal to h?
False
Suppose -h = -2*j - 3*h - 50, 0 = 2*j + 3*h + 46. Is j greater than or equal to -28?
False
Let o(y) = y**3 - 5*y**2 + y - 5. Let l be o(5). Which is greater: -1 or l?
l
Let a = 21.75 + -23. Let r = a - -1.2. Is -0.1 bigger than r?
False
Let u(i) = -i**2 + 3*i + 1. Let a be u(3). Let d be (-4)/12 + (-17)/3. Let v = 8 + d. Which is smaller: a or v?
a
Let a(y) = y**2 - y + 5. Let v be a(0). Let s(x) = -x + 3. Let n be s(v). Let t be (-2 - n) + -1 + 2. Which is bigger: t or -2?
t
Suppose 16*n - 11*n + 15 = 0. Let y be ((-56)/6 - n) + 3. Do y and -2 have the same value?
False
Let c be 0 - (-4)/((-416)/(-142)). Let h = c + -8/13. Are 0 and h non-equal?
True
Let q(l) = l**3 - l**2 + l. Let h(n) = -n**3 + 4*n**2 - 3*n - 1. Let b(u) = -h(u) - 4*q(u). Let r be b(1). Suppose -6*t + t = 5. Is r bigger than t?
False
Let p = 20.9 + -20. Let h = p + 0.1. Let i = 16.2 - 16. Is i at most as big as h?
True
Suppose -14*v + 8 = -22*v. Do v and -3 have different values?
True
Let d = 10 + -16. Let g = d - -12. Let h be 3*2 + g + -8. Is h bigger than 5?
False
Let o be -3*4/21*3/16. Do 1 and o have the same value?
False
Let h = -21 - -21.9. Let o = -9 - -10. Let w = h - o. Do w and -1 have different values?
True
Suppose 27 = 4*h - 49. Let q = 20 - h. Is 3/16 >= q?
False
Let i be 0/((-2)/(-3)*-3). Suppose -4*y = 4*b - 4, 0*b + 4*b + y - 1 = i. Suppose 0 = -5*t + 2*d + 10 + 3, 4*d + 16 = 0. Which is bigger: t or b?
t
Let x = 10 + -7. Suppose -6 = x*v, 3*u = 2*u - 4*v - 20. Is -12 greater than u?
False
Let i be 0 - (6/(-54) - 4/18). Which is bigger: 145 or i?
145
Let n(p) = -p**2 + 12*p - 12. Let i(x) = x**2 - 7*x + 6. Let w be i(8). Suppose -4*h - w = 3*c - 5*c, -4*c = -5*h - 34. Let j be n(c). Is j <= -2?
False
Suppose 5*c = 2 + 3. Which is greater: -3/8 or c?
c
Suppose -7 = -8*x + 7*x. Let l = x - 12. Which is greater: l or -6?
l
Let o be 2/9 + 335/(-495). Which is smaller: 0 or o?
o
Let k be 2872/(-15) - (-4)/(-10). Suppose 4*c + 2*c - 1152 = 0. Let a = k + c. Which is bigger: a or 0?
a
Suppose -2*u + 36 = -4*k, 2*u + 2*k = k + 61. Suppose -2*b = b. Suppose 18 = 2*o + 3*d, b = -6*o + 2*o - 4*d + u. Is o less than or equal to 3?
True
Let o be (1 - (0 - -2))*1. Let c be (o*2 - -5) + -2. Let a be ((0/(-2))/c)/1. Do a and 0.2 have different values?
True
Suppose j - 2*m = -3, -3*j = 2*m - 6 + 31. Let z(b) = 3*b + 4