(1 - 2)*0/1. Which is bigger: q or d?
d
Let h = 1 + -1.5. Let t = h - -0.4. Which is greater: t or -2?
t
Let h(p) = p**3 - 10*p**2 + 3. Suppose -z - 4*z = -50. Let v be h(z). Do v and 3 have the same value?
True
Let w = 22.4 - -6.6. Let q = w - 18. Is -1/4 bigger than q?
False
Let a = -0.3 + 0.3. Let k = 108 + -230. Let v = -616/5 - k. Which is smaller: v or a?
v
Let h(w) = w - 1. Suppose 0 = -4*p + 4*v, 5*v = 4*p + 1 + 2. Let o be h(p). Is 2 != o?
False
Let u = 2/183 + 139/4026. Is -1 >= u?
False
Let h = -8 - -15/2. Let j = 0.2 - 0.2. Let l = j + -0.3. Which is bigger: h or l?
l
Let q(h) = -9*h + 2. Let c(r) = 10*r - 3. Let a(w) = -6*c(w) - 7*q(w). Let s be a(-3). Is -4 bigger than s?
True
Let p = -1.7 + 0.9. Let d = -0.1 + 0.3. Let k = p - d. Which is greater: k or 1?
1
Suppose 4*o + 15 = 3*z, 0 = -o - 0*o + 5*z - 25. Let j = 4.3 + -4. Which is bigger: j or o?
j
Let w = -197/4 - -49. Suppose -2*r = -3*r + 1. Is w less than or equal to r?
True
Let a = -4 + 4. Is a >= -17?
True
Let p = 22 + -10. Is 10 at least as big as p?
False
Let g(y) be the third derivative of -y**5/60 + y**4/12 + y**3/2 + 6*y**2. Let p = 8 - 5. Let z be g(p). Which is greater: z or 3/4?
3/4
Let m be 2/8 - 14/(-8). Let x = -65837/22935 + 6/1529. Let z = x + 11/3. Which is smaller: m or z?
z
Let g be (471/27)/((-3)/45). Let k = g + 265. Are 3 and k equal?
False
Let u = 238 - 1669/7. Let i = -8 - -17/2. Is u at most as big as i?
True
Suppose -4*z + 98 - 2 = 0. Suppose -5*p + z = -6. Is 4 less than or equal to p?
True
Let f be 2 + -5 - 0/(-1). Let j be (0 + -3)*9/((-162)/(-12)). Which is smaller: f or j?
f
Let r(t) = -3*t - 35. Let a be r(-8). Which is greater: -5 or a?
-5
Suppose 2*f + 3*m = -5, 0*f - f + 3*m = 7. Let w = 5 + f. Is w at least as big as -0.2?
True
Suppose 6*h - h + 15 = 0. Let u be 2/7 - 250/140. Which is greater: u or h?
u
Let y = -156 - -155.9. Do y and 30 have the same value?
False
Let n be (2 - 4)/4*28. Let h(d) = -d - 6. Let x be h(n). Is x bigger than 7?
True
Let t = 280 - 2524/9. Which is smaller: 0.1 or t?
t
Let s = -65 - -70. Which is greater: s or 0?
s
Let c = 27 - 27. Which is smaller: c or -0.017?
-0.017
Let n = 766/65 - 122/13. Which is smaller: n or 3?
n
Let j = -10 - -9. Let o = -856/9 - -95. Is o at least j?
True
Let i be (-17)/15 - -3 - 2. Is i smaller than 1?
True
Let b(p) be the third derivative of -p**5/60 + p**4/6 + p**3/6 - 3*p**2. Let y be b(4). Is 1 smaller than y?
False
Let z = 22/13 - 118/39. Is -1 not equal to z?
True
Let a = 4061/1743 - -2/581. Is a < 3?
True
Let o(k) = k**3 + 4*k**2 - k - 4. Let f be o(-4). Let a = 4 - 7. Let b be (-3)/2*(-1)/a. Does f = b?
False
Let t(l) = -6*l**2 + 3*l + 3. Let o be t(-2). Let p be 3*2/o - 0. Suppose 0 = -h - 0*h + 1. Is p smaller than h?
True
Let g = -0.012 + -2.988. Is -1/4 <= g?
False
Suppose -2*c = -5*l + 6, 3*l + 6 - 21 = 5*c. Let o be 16/(-30)*(-3)/(-2). Do l and o have the same value?
False
Let s be -1*(0 + (-2 - -2)). Suppose 4*n - 5*j = -n - 20, 3*n - 4*j + 12 = s. Suppose -4*g + t - 19 = 4*t, -3*g + 2 = -t. Are n and g non-equal?
True
Suppose -n = -3*v - 11, v = n + 5*v + 17. Suppose 5*b - 1 = 4. Let t = b + -1. Is t at least n?
True
Let k = 19 + -16. Let j = -43/2 - -21. Which is bigger: k or j?
k
Let f(a) = -a**3 + 5*a**2 + 8*a - 12. Let q be f(6). Let v = 18 - 56/3. Which is smaller: q or v?
v
Let w = -7.6 + 7. Let a = -139/5 - -137/5. Which is smaller: w or a?
w
Let f = -7.505 - -0.525. Let j = 7 + f. Let y = 0.18 + j. Is y != 0?
True
Let h be ((-27)/(-6))/(3/16). Suppose -3*y = -6 + h. Which is smaller: 1 or y?
y
Suppose -24 = -2*m + 4*o, -3*m - 5*o + 26 = -2*m. Let s be (3/2)/(6/m). Is s at least as big as 3?
True
Let o be (3 + -3)/(1 + 1). Let r(j) = -14*j - 1. Let n be r(-5). Let v = 205/3 - n. Is v smaller than o?
True
Suppose 8 = t + 5. Which is bigger: t or 4?
4
Suppose -1 - 4 = -a. Suppose 4*n - 42 = -0*n + 2*p, 0 = a*n + p - 56. Are 11 and n nonequal?
False
Let w be (3/(-6))/(1/14). Which is greater: w or -6?
-6
Let a(s) = -s**3 + 7*s**2 - 2*s - 4. Let h be a(4). Let g be 9/h - 114/40. Is -4 greater than g?
False
Let o be (-10)/(-2) - (-6 - -9). Let s = o + -15. Which is bigger: s or -14?
s
Let g be (2/8)/(3/12). Which is smaller: g or -2/23?
-2/23
Let q = -344/5 - -70. Suppose 0 = -6*h + 3*h. Do h and q have the same value?
False
Let q = 2.3 + -1. Is q bigger than -2/3?
True
Let d = 5 - 4.96. Let z = d - -4.96. Which is greater: z or 2?
z
Let p = -34 + 10. Let l be (-14)/p + (-1)/3. Is -1/2 greater than l?
False
Suppose 5*j + 87 = -3. Let g = -26 - j. Let c = -9 - g. Are 1 and c equal?
False
Let k = 1/314 + 5335/942. Let a = k - 5. Is 2/5 != a?
True
Suppose 8 = 7*t - 5*t. Let g be t/(-12) - (-1)/3. Let r = -2 + 5. Which is bigger: r or g?
r
Suppose -2*a + 3*n - 42 = -a, 5*n + 10 = -a. Is -59/2 >= a?
True
Let j be ((-6)/(-18))/((-2)/2) + 1. Does j = 2/51?
False
Let o(m) = m**2 + 4*m + 4. Let h be o(-3). Let i be (1/1 + h)/(-2). Let a = 0.99 + 0.01. Which is bigger: i or a?
a
Let d = -11761/360 + 261/8. Is 0.1 > d?
True
Let a = 10.073 + -0.073. Which is greater: a or -2/3?
a
Suppose 0*x - 5 = 5*x - 2*h, 2*x - 2*h = -2. Which is smaller: x or -2/31?
x
Let p be 1/(1/48) - -1. Let g = 29 - p. Let n = g + 39/2. Which is greater: n or -1?
n
Let r = -3 - -3. Let g(a) = 2*a**2 + 3*a - 6. Let f be g(-6). Let j = f + -191/4. Which is bigger: j or r?
j
Let g = 8.4 - 8.3. Which is smaller: g or -4/7?
-4/7
Suppose 15 = -3*o + 3*s, 20 = 4*o + s + 55. Let l = -9 - o. Let v = -908/5 + 181. Is v < l?
False
Suppose 4*h - i = -4 - 10, -h = -i + 2. Let q(n) = n**2 + 2*n - 4. Let z be q(h). Is z at least 3?
True
Suppose -2*h - 3 = 1. Let c be (h/2 - -4)/1. Which is smaller: 2 or c?
2
Let d = 56.1 + -0.1. Let g = 32 - d. Is g equal to 0.1?
False
Let y = -76/7 + 173/14. Suppose -1 + 4 = 3*b. Let p be b/((9/(-3))/(-6)). Is p greater than y?
True
Let k(d) = 2*d. Let y be k(-3). Let u be (-26)/y - (-1 + 4). Suppose -2*o - 15 = -4*t - 5*o, 5*t = -o + 5. Is u equal to t?
False
Let c = -0.6 + 1. Let w = c + -5.4. Let v = w - -5.1. Which is smaller: v or -3?
-3
Let y be 0 + (-18)/(28/8 + -2). Is y bigger than 0?
False
Let i be 218/(-3) + 4/6. Let m be (i/32)/(1/4). Let d = -8 - m. Which is greater: 1/4 or d?
d
Let t = 10 + -9. Let n be 2/(-4)*2/t. Let k be 2/5 - (-24)/(-10). Which is greater: n or k?
n
Suppose 3*p = -2*p. Let r be (0 + p)*(-3)/6. Let w be 0 - (r - 2) - 1. Which is smaller: w or -2/5?
-2/5
Suppose 2*c = -2*c + 4. Let q = c + 1. Let y(x) = 2*x - 3. Let f be y(3). Is f equal to q?
False
Let p = 19475/815811 + -13/579. Let l = p - -2780/26771. Is 0 <= l?
True
Let w(v) = -v**2 + 7*v + 4. Let q be w(6). Suppose 27 = 3*b + 3*z, 5*b - z - z - q = 0. Which is smaller: b or 0.1?
0.1
Let x = 1 - 2. Let w = 0.03 - -0.97. Is x != w?
True
Let r = 2 - 1. Let s be r*((-1)/6 - 0). Suppose 0 = -c + d, -3*c + 4 = -2*c + 3*d. Which is smaller: c or s?
s
Suppose -5*c + 2*v + 154 = 0, -24 + 91 = 2*c + v. Let s be (0 + (-4)/c)*-18. Is 3 <= s?
False
Suppose -24*m + 21*m + 6 = 0. Which is bigger: m or 8?
8
Let y be (1 - -3 - 5) + 1. Is 10/9 at most y?
False
Let p be (3 + -1 + -2)*1. Let z be 4/8 - (p - -1). Which is bigger: z or 0?
0
Let r be ((-6)/(-6))/((-1)/(-169)). Let w = r - 2200/13. Is w != -1?
True
Let u be (2*-2*(-5)/(-25))/(-2). Let f(q) = -q**2 + 10*q - 10. Let z be f(8). Suppose -y = -z*y, 0 = 4*l - 2*y. Is l at most u?
True
Let i(h) = -h. Let x be i(-1). Let k = 135/7 + -20. Let l = k + 6/7. Is l at least x?
False
Suppose -18 + 6 = -4*u. Suppose u*p = -12, 0 = -2*n - 2*p + 2. Suppose -2*b - 6 = n*k + 3, -k = -5*b + 18. Is k greater than -0.2?
False
Let i = -43 - -89/2. Let h be 3/1*2/(-18). Is h less than i?
True
Let j be 2/16*(3 - -6). Which is bigger: -0.2 or j?
j
Let i = -10 - -16. Let s = -5.9 + i. Let w = -1.8 - -2. Which is smaller: s or w?
s
Let j(p) = p**3 + 4*p**2 - 6*p - 6. Let v be j(-5). Suppose 3*l - 5 = -2*u + u, -5*l + 12 = -2*u. Let c be (-8)/68*v/l. Do c and 1 have different values?
True
Let v(s) = 2*s**3 - s**2 - s - 4. Let f be v(0). Suppose 1 = 5*h - 4*h. Let l = 2 - h. Which is bigger: l or f?
l
Let i be (0 - 1) + 2 + 2. Suppose 0 = -3*q + i + 42. Suppose -5*b - 2*y - q = 0, b - 5*y - 38 = -14. Is b equal to -1?
True
Suppose 0 = 4*d - 4*q - 22 - 14, 10 = -5*q. Let p(s) be