3*g - 32 = 0. Let m = h - -16. Is 1/4 at most as big as m?
False
Let m be -2 - (-3)/((-6)/(-4)). Let l be m*(1 + (-2)/4). Let y = 96/5 - 19. Which is bigger: l or y?
y
Suppose -h = -4*m - 12 + 184, 0 = 2*m + 3*h - 100. Let n be m/6 + (-4)/(-6). Let f be (-15)/(-21) + n/28. Is 5/6 at least as big as f?
False
Let m be (2/(2/(-3)))/(-1). Let k be (1 - 0) + -1 - -2. Let y be (-3 - -2) + k + 1. Is y at most as big as m?
True
Let d = 0.21 + -9.21. Which is smaller: -1 or d?
d
Let o = -4/35 - 2/7. Let y be 16/6 - (1 - -1). Is y < o?
False
Suppose -1 = 3*f - 4. Let l be 6/20*(-4)/(-24). Let p = 3/10 - l. Is f < p?
False
Let w be (3 + -9)/((-6)/8). Is w equal to 8?
True
Let i = 46 + -28. Suppose 5*t + 5 = z, 4*t - 2*z + i = 8. Are 0 and t nonequal?
False
Let a be (82/6)/((-3)/(-9)). Let h = a - 121/3. Which is greater: h or 0?
h
Let f = 0.3 - 0.2. Let g(u) = -u**3 - u**2 + 2. Let c be g(0). Let j = c - 5. Is f greater than j?
True
Let c = 7 - 7. Suppose 5*d - r + 5 = 0, 6*d - 3*d + 5*r + 3 = c. Which is greater: 1 or d?
1
Let w = -8 - -9. Which is bigger: w or 2/25?
w
Let w = 2 - 0. Let v = w + 14. Are 16 and v unequal?
False
Let a = -15 - -14.9. Let q = -3.7 - -4.2. Is q != a?
True
Suppose 5*x = -0*x + 4*t - 21, 4*t = x + 17. Let m = 182 - 913/5. Let w = -11/10 - m. Is w less than or equal to x?
False
Let j = 46 + -50.2. Let z = -18 - -14. Let s = z - j. Which is smaller: 0.1 or s?
0.1
Let a = 64 - 67. Let m = -9 - -2. Which is greater: a or m?
a
Suppose 0 = -3*h + 9 - 0. Let x be (0 + 8)/(0 + 1). Suppose -4*k = -4*t - x, 5*k = -h*t - 2*t - 20. Which is bigger: k or 1/5?
1/5
Suppose -4*m + l + l - 18 = 0, -4*m + 5*l - 21 = 0. Suppose -4*w = -23 - 1. Suppose 5*o + 14 = -w. Is m > o?
False
Let a be ((-6)/4)/(6/(-284)). Is a bigger than 71?
False
Let a be 1/(-1 - 2)*-2. Let m = 5.3 - 6. Let z = m - 1.3. Is z equal to a?
False
Let g(l) be the third derivative of -l**5/60 - l**4/3 + 8*l**3/3 - 5*l**2. Let a be g(-10). Are a and -4 non-equal?
False
Let w = -0.2 + 0.1. Let d = w + 0.1. Let m = 33 - 34. Which is smaller: d or m?
m
Let w = 217539442/1821 - 358385/3. Let a = 131578/234909 + w. Let q = a - -1/43. Is q less than or equal to -1?
False
Let n = -11 + 7. Suppose 3*s + 2*t - 23 = 0, -5*s = 8*t - 3*t - 40. Let j = n + s. Is j != 3?
False
Let r(q) = q**3 + q + 4. Let n be r(0). Is n bigger than 4?
False
Let p(v) = v**3 - 7*v**2 + 6*v + 5. Let u be p(6). Suppose -4*r + 4 = -4*o, 4*r - 2*o = 10 + 2. Is r smaller than u?
False
Let k = 9 - 10. Let d be 3 + -2 + k/(-3). Is 2 != d?
True
Let d = 28 + -18. Which is smaller: 6 or d?
6
Let v be 0 + (2 - 1) + -1. Suppose 0 = -8*x + 3*x + 25. Suppose -4*k = -k - 2*t - x, -2*k + 3 = -t. Which is smaller: v or k?
v
Let h = -224 + 4481/20. Is h greater than -1?
True
Let x be 4/5*(2 - 7). Let i be (6/(-9))/(x/6). Which is smaller: 2 or i?
i
Let o(i) be the second derivative of i**5/20 + i**4/6 - i**3/3 + 3*i**2/2 + i. Let r be o(-3). Let a be r - (-1 + 0 - -2). Are -1 and a nonequal?
False
Let x = -4 - -4. Suppose -4*c + s + 53 - 19 = x, 0 = -3*c - 5*s + 14. Let w be c/10*3/(-24). Is w not equal to 1?
True
Let a be (-2)/7 + (-74)/(-14). Let l be 1 + -2 + (1 - -2). Suppose -l*j + 3 = j. Which is bigger: j or a?
a
Suppose -4*a + 12 = -2*l, 0 = -l - 2*a + 10. Let n be (1/l)/((-7)/4). Suppose -6 = -7*j - 6. Is j bigger than n?
True
Let w = -5 + 6. Let p be w*(-1 - 0)*0. Let l = -2 + 3. Is l less than p?
False
Let d be (1/3)/((-2)/(-18)). Suppose f + 4 = d*f. Let s = -1/37 - -116/185. Which is smaller: f or s?
s
Let j be (-4)/6*(-1)/(-2). Let i = -7 - -9. Is i less than j?
False
Let b be (-568)/(-3366) + 4/(-22). Does b = 1?
False
Suppose 2*l - 5 = -1, 0 = 2*a - l + 6. Let q be (-3)/(1 - a) - 1. Which is bigger: -4/3 or q?
-4/3
Suppose -v + 4 - 8 = 0. Are -3 and v equal?
False
Let v = -6 + 4. Which is smaller: v or 0?
v
Let f(r) = r - 1. Let o(s) = 4*s - 9. Let l(t) = -5*f(t) + o(t). Suppose -g + 5*z - 29 = 0, -4*g - 2*z - 3*z + 9 = 0. Let b be l(g). Is b > -1?
True
Suppose 7*q - 66 = 4*q. Let a = -21 + q. Which is smaller: 0 or a?
0
Let z be (-195)/(-102) + (-3 - -1). Let w = z + 49/170. Are w and -1/3 nonequal?
True
Let n = 2.16 - 2. Let l = -0.04 - n. Which is smaller: l or 2/9?
l
Suppose -10 = -2*o - 4. Which is greater: -1 or o?
o
Let i = -3 - -3.06. Let h = -5.06 + i. Let b = h - -5.2. Which is greater: 1 or b?
1
Let t be 2/7 - (-26)/7. Let m = -33 - -33. Suppose m + t = 4*r. Which is smaller: r or 3/5?
3/5
Let d be 3/(-5) + 6/(-15). Let r = 4 + d. Suppose 3*v = -r*j + 6, 0 = v + 2*j - 5*j + 18. Is v less than -3?
False
Suppose d - 4*m - 29 = 0, m - 26 + 4 = -2*d. Which is smaller: d or 14?
d
Let r = -0.15 - -0.22. Let w = r - 0.27. Which is bigger: 1/3 or w?
1/3
Suppose -21 = 2*d - 5. Is d != -7?
True
Suppose -2*l + 21 = l. Let z be 1*(22/4 - (-6)/4). Is l at least z?
True
Let m = -1/28 + -13/28. Suppose -x = -2*k - 4*x - 13, -5*x - 5 = -5*k. Are k and m nonequal?
True
Suppose 3 = 2*v + 13, 0 = 4*x - v - 37. Let b = -5 + x. Suppose 0 = 2*y + 3*g - b, y - 4*y = -3*g - 12. Do -2/7 and y have the same value?
False
Let n(i) = -i**2 + 4*i + 1. Let b be n(4). Let w be 0 - (-6)/14 - 6/7. Are b and w nonequal?
True
Suppose 7*p + 4 = 3*p. Are p and -1/24 equal?
False
Let x be 14/(-35) + 3/(-5). Let v = -3 + x. Does v = -2?
False
Let v = -2097/16 - -131. Which is smaller: v or 1?
v
Suppose -4*t = -29 + 9. Suppose -2*p - p = -5*h, -t*p = 3*h. Is p equal to -2/7?
False
Suppose 2 = 2*p + 3*r + 6, 11 = -p + 3*r. Is -6 less than p?
True
Let d(b) = b - 11. Let y be d(9). Which is bigger: -7/9 or y?
-7/9
Let m be (15/(-9))/((-1)/84). Let p be m/225 + 4/(-18). Is p at least 0?
True
Let r be ((-38)/10 + 4)*-5. Suppose -5*l + 7 = 2. Is r at least as big as l?
False
Let g = 205 - 205. Is 12/11 greater than g?
True
Let p(a) = -2*a. Let r = 14 + -10. Let l be p(r). Let s be (l/(-20))/(2/30). Which is smaller: s or 5?
5
Let g be (-15)/100 - (-6)/(-10). Which is greater: g or 0.2?
0.2
Let u = -1.9 + 0.9. Suppose 5*g - 2*d - 1 = 0, 2*g - 3*d + 7 = 3*g. Which is smaller: u or g?
u
Let j = 11 + -7. Suppose 4*l = s + j*s - 11, -5*l - 3*s + 14 = 0. Let z = -1 + 3. Which is greater: z or l?
z
Let f = -20 + 12. Let l be ((10/f)/(-5))/1. Let g = 0 + 0.2. Do g and l have the same value?
False
Let f(g) = 11*g**2 + 2*g. Let y be f(1). Is y > 11?
True
Let h = -2 + 12. Let j = -11 + h. Which is greater: -1/4 or j?
-1/4
Let h be (24/3)/(2/1). Let j be 2/(-6)*(-3 + h). Which is smaller: j or 0?
j
Let z = 59 - 59. Are z and 0 equal?
True
Let a be (-1)/(-10)*-1*(-1 + -3). Suppose 2*z + z = 4*k - 22, 3*k - 4 = -4*z. Suppose d = k*d. Is d bigger than a?
False
Let h = 0.32 - 0.3. Let v = -3.98 - 1.04. Let d = h + v. Are 2/5 and d equal?
False
Suppose 2*f + 51 = 5*f. Is 17 greater than or equal to f?
True
Let u be 5/(-2)*4/(-10). Let c be 1*5*(-1)/u. Let a be c/6 - 1/(-2). Are -0.3 and a non-equal?
True
Let p = -526/3 - -213. Let j be 2/(-4) + (-150)/4. Let l = j + p. Which is greater: l or 0?
0
Let w = -56 - -283/5. Let d(z) = 2*z - 14. Let h be d(7). Is w at least h?
True
Let y = 48 + -50. Is y less than or equal to 2?
True
Suppose 0 = -x + d - 3, -4*d - 9 = -7*d. Suppose -3*i - 2*h + 13 = 0, 3*i + 5*h = -x*i + 10. Let r = i - 6. Is r less than or equal to 0?
True
Let z = 10 + -10. Suppose 0*g - 5*g - 10 = z. Let h(a) = -2*a**2 - a - 1. Let w be h(-1). Is w < g?
False
Let j = 3799/12 - 317. Let l = -1/12 - j. Which is smaller: l or -1?
-1
Suppose 5 = t, 0 = 2*u + 10*t - 8*t + 4. Does u = -28/5?
False
Let h = -8/3 - -41/12. Which is greater: -2 or h?
h
Suppose -5*n = -0*n + 5. Let s be 2*(0 - n) + -5. Is s > -4?
True
Let u = 0 - 0. Suppose -5*p + 6 = -49. Suppose -5*j - p + 1 = 0. Which is smaller: u or j?
j
Let p = 11 - 17. Let z = p - -3. Let r be (-78)/30 - (-2)/(-5). Is r <= z?
True
Let f = 14 + -10. Let k(l) = -2*l + 5*l**2 - 1 - 2*l - 4*l**2. Let i be k(5). Is f less than i?
False
Suppose 4*f = -0*f - 52. Let m be 558/(-78) + (-2)/f. Which is smaller: m or -5?
m
Let p be ((-80)/(-39))/(-2) + (5 - 4). Which is bigger: 1/4 or p?
1/4
Let d(b) = b**3 + 7*b**2 + 8*b + 8. Let w be d(-6). Let p = -2 + -1. Are w and p equal?
False
Let d = -3 + 4. Let y = 2 - d. Let o be (1 - y)*-1 - -4. Is o smaller than 3?
False
Let t = 3 - 0. Let x = t - 4. Let b be -1 - (