h is bigger: v or 1/3?
1/3
Let g = -0.01 - -4.01. Let a = -1361 - -1366. Which is greater: a or g?
a
Let q(f) = -f**3 - 7*f**2 - 5*f + 2. Let v be q(-6). Is v less than -6?
False
Let t = -1.9 - -0.3. Let p = t - -0.6. Suppose 0 = -4*h + 2*o - 7 - 5, -3 = -5*h - 2*o. Is h greater than p?
False
Suppose h = -0*h - 2*v + 33, -h = v - 29. Suppose -d - 4*d - h = 0. Is 2 smaller than d?
False
Let l(x) = -9*x**3 - x - 1. Let p be l(-1). Let q = -27 - -35. Is q at least p?
False
Suppose 0 = 3*b - 12, 3*x - 28 = -x - 3*b. Suppose 5*p - 2*p + 2*u = 10, -5*p = x*u - 20. Are p and 1 unequal?
True
Let m(h) = 3*h**2 + 2*h + 1. Let a be m(-1). Suppose z + a*z = 0. Let t be z + 1 + -2*2. Is -2 greater than t?
True
Let s be (6/8)/(3/(-2)). Let f = -67 - -66. Is f less than s?
True
Suppose 4*g - 3*g = 12. Suppose -5*r + 16 = 4*p, 0*p - 16 = r - 4*p. Which is bigger: g or r?
g
Let l(u) = -u - 10. Let s be l(-11). Let v = s - -4. Suppose 0 = -4*r + 21 - 5. Is v greater than or equal to r?
True
Suppose 0 + 2 = m. Let i(j) = j**3 - 5*j**2 - j + 2. Let q(d) = 4*d**3 - 21*d**2 - 4*d + 8. Let n(g) = -9*i(g) + 2*q(g). Let z be n(3). Which is bigger: z or m?
m
Let w = 27 + -18. Is 7 > w?
False
Let k = -38.5 + 38.5. Let n = -61/255 + 2/51. Is n greater than or equal to k?
False
Let i = 73 - 88. Is -5 bigger than i?
True
Let y = 0.06 + -1.06. Let i = -41771/17 + 2458. Let w = 131/187 - i. Which is smaller: w or y?
y
Suppose -15 = 2*o + 3*o. Let l(v) = v**3 + 7*v**2 + 2*v + 4. Let a be l(-7). Let m = a + 8. Is o smaller than m?
True
Let m = 16/21 + -22/21. Let y = -0.11 - -0.21. Let q = y + -0.2. Is m < q?
True
Let c = 13276537184/1035 + -12827703. Let x = -146/115 + c. Let l = x + 132. Which is smaller: 0 or l?
l
Let z = -34663 + 8145741/235. Let s = z + -6/47. Is -0.15 equal to s?
False
Let i be 5/4 + 3/(-12). Let f be 2/(-3) + i/(-3). Let t = -527/7 + 75. Which is greater: f or t?
t
Suppose -2*j + 22 = -4*z, -j + 7 = 4*z + 26. Let s = 57/17 - 2235/697. Let k = s + 16/451. Is k at least as big as j?
False
Let l be (15/(-10))/((-2)/(-4)). Suppose u - q - 6 = 0, 4*u + 2*q = 3*u - 3. Suppose 5*z + 12 = -u. Is z smaller than l?
False
Let h = 2.01 + -0.01. Which is bigger: h or -1?
h
Let r = 32.9 - 46.2. Let m = -14 - r. Let b = m + -0.3. Is 0.3 not equal to b?
True
Let n = -9 - -3. Let d(x) = -x**2 - 7*x - 5. Let y be d(n). Which is smaller: -1/11 or y?
-1/11
Let k = -3.9 - -4. Let i = 0 - k. Let w = -0.1 + i. Are -2/7 and w equal?
False
Let z(o) = 2*o**2 - o + 2. Let v be z(-2). Let b be (v/14)/3*1. Suppose 0 = -4*t - 2*p - 8 - 0, -20 = 4*t + 5*p. Which is bigger: b or t?
b
Let r = -1/2753 + 5571/178945. Which is greater: r or -1?
r
Let a = 23 + -28.2. Let n = -0.07 + 5.07. Let k = a + n. Which is greater: 2/3 or k?
2/3
Let m be (-4)/(-18) + 5 + 224/(-36). Let u(g) = -g**3 + 5*g**2 - 4. Let y be u(5). Let w be (2 - 1)*y/(-20). Do w and m have the same value?
False
Let s be (-2)/(-334) - (-12 + 4 - -8). Are 0 and s unequal?
True
Let f(t) = 18*t**3 + t**2 + t + 1. Let x be f(-1). Is x equal to -17?
True
Let z = -9 - -13. Suppose 13 = 2*m + 5*b, 0 = z*m - 3*b - 3 - 10. Let p be 10/m*8/130. Do -1 and p have the same value?
False
Let q = 9.6 - 10.6. Is 6 greater than q?
True
Suppose -3*v + 2*t = 138, -3*v - 141 = -2*t + t. Let b be v/15 - (-1)/5. Is b greater than or equal to -2?
False
Let g = -16 + 16.2. Is 1/9 equal to g?
False
Suppose 3*z + 2*x = -5, 2*z - 5*x = 3*z + 19. Let o be (1/9)/(9/3762). Let g = 46 - o. Do z and g have different values?
True
Suppose 0 = -5*c - 3*z + 6, -4*c - z = -5*z + 8. Suppose -3*j + 5*h = -40, -4*j + 4*h + 41 = -j. Suppose i = -i + t + 5, 2*i + j = -3*t. Is i != c?
False
Let w = -5 + 1. Let y(v) = -v**2 - 5*v - 3. Let g be y(w). Is g less than or equal to 2/29?
False
Let d be 46/4 + 2/4. Is d not equal to 12?
False
Let b = -14/11 + -13/33. Let h = -4/3 - b. Is h <= -2?
False
Let u(i) = i**2 - 3*i + 4. Let n be u(3). Is n at most as big as 0?
False
Suppose 4 = x, 2*k - 4 = 7*k - x. Is 4/41 > k?
True
Let i be 0 - (3 + 3 + -1). Let c be (1/2)/((13/12)/(-13)). Which is bigger: c or i?
i
Let s = 1598/1967 + -4561297/4425750. Let r be -1*(6/500)/3. Let p = s + r. Is p at most -1?
False
Let q be 3 - 2 - (-31137076)/(-26140950). Let y = 2/174273 + q. Let f = y - -2/25. Which is smaller: 2/7 or f?
f
Let a = 193/445 - 3/89. Are -1 and a nonequal?
True
Let w be -3 - -2 - -1*1. Suppose 15 = -5*n, -2*t + 0*n + n + 39 = 0. Suppose 3*v - t = y, w*v + 5*y = -3*v. Is v > 5?
False
Let k be 1 + -5 + 2 + 3. Let n = -3 - -4. Is n at most as big as k?
True
Let a = 126/13 + -1399/143. Does a = 1?
False
Let z = 74 + -53. Which is bigger: z or 64/3?
64/3
Suppose 22 = -3*a + s, -2 = -a + 3*s - 4. Which is smaller: a or -7?
a
Let f = 122/5 + -49/2. Let b(d) = d**2 - 5*d + 4. Let w(l) = -l**2 + 5*l + 10. Let m be w(6). Let t be b(m). Is f at least t?
False
Let p = 2/9 - -37/36. Which is smaller: 2 or p?
p
Let q = -2.9 + -10.1. Let d = -20 - q. Let j = 6.9 + d. Are j and 2 equal?
False
Let t be (-13)/(-39) + (-1)/(-9). Are -3 and t nonequal?
True
Let w(r) = -r + 11. Let k be w(9). Suppose -2*j = -3*x + 2*x, 3*x = k*j + 8. Is 1 equal to j?
False
Let z(j) = j**2 + 17*j + 20. Let m be z(-16). Which is bigger: 5 or m?
5
Let j = 123 + -131. Which is smaller: 4 or j?
j
Let m = -30 + 13. Which is greater: m or -2/5?
-2/5
Let i(j) = j**3 - 4*j**2 - 7*j + 4. Let g be i(5). Let b be 4/g*3/(-8). Which is bigger: b or -1?
b
Let w be (-2)/7 + (-23)/(-7). Suppose 0 = 2*d - 2*b - w*b - 24, 2*b - 2 = -5*d. Let i be (-1 - 2) + 2 + d. Which is smaller: i or 2?
i
Let p(h) = h**2 - 3*h + 3. Let c be p(2). Is -1/45 less than c?
True
Let d(j) = -4*j. Let i be d(1). Let g be (3/(-7))/(i/8). Which is greater: 1 or g?
1
Let v = -1 - 4. Suppose -c + 1 - 4 = 0. Is c < v?
False
Suppose 4*o - 37 = -197. Let k be o/54 - (-2)/3. Let t be (-1 - (-2 + 0))*1. Are t and k non-equal?
True
Suppose f = 2*r - 10, 2*r - 6*r + 40 = -4*f. Let s be ((-78)/(-65))/(2/(-15)). Is s greater than f?
True
Let g = -5 - -8. Let d be ((-1)/g)/((-2)/6). Suppose -2*p = -3*p - d. Which is greater: p or 2/5?
2/5
Let c(j) = -j**2 - 16*j - 16. Let v(y) = -y**2 - 15*y - 15. Let f(z) = -4*c(z) + 5*v(z). Let g be f(-10). Is -3/7 greater than g?
True
Let u be ((-2)/3)/((-4)/18). Suppose 2*a - u = a, -3*a = 2*d - 9. Let n be (-8)/10*44/(-88). Is d <= n?
True
Let a be -4 - -3 - 0/2. Let i be 9/(-3)*(-2)/(-2). Let w be (10/3 + i)*0. Are a and w nonequal?
True
Let q be 11/(-3) + 8 + -11 + 4. Which is greater: -4 or q?
q
Let w be 4/(-7)*14/(-10). Which is smaller: w or 1?
w
Let f = -26 - -32. Which is smaller: 1/6 or f?
1/6
Suppose k + 2*n - 3 = -12, 3*k + n + 2 = 0. Let l be -1 - -2 - (-13)/(-26). Is k > l?
True
Suppose 4 = 3*g + 5*l - 7, -2*g + 2 = -2*l. Which is bigger: -2 or g?
g
Let r be (-4)/6*-3 - -2. Suppose 0 = v - 2*v - 2*a - 1, -2*v - a = -r. Which is smaller: 4 or v?
v
Let m(d) = d**2 + 11*d - 24. Let h be m(-10). Is -35 at least h?
False
Let w = -38 + 263/7. Which is smaller: 1 or w?
w
Let n(m) = -4*m**2 + 4*m. Let u(l) be the second derivative of -7*l**4/12 + 4*l**3/3 - 2*l. Let s(j) = 5*n(j) - 3*u(j). Let h be s(4). Which is bigger: -1 or h?
h
Let n(s) = s - 2. Let k be n(4). Suppose -4*m = k*d - 14, -3*d = 5*m - 2 - 15. Is -2/25 at most as big as d?
False
Let g be ((-9)/((-99)/(-10)))/((-4)/8). Is 3 at least as big as g?
True
Let u be (-1040)/(-516) + 5/(20/(-8)). Is 0 smaller than u?
True
Let g = -4 + 10. Let r be (-5 - -3) + g/4. Is -1 less than r?
True
Let h = -4 - -4. Let x(p) = p**2 - 4*p - 1. Let t be x(5). Suppose s = -t*o - 5, -1 - 3 = 4*o. Is s != h?
True
Let k be 1/4*4/6. Suppose -3*v - 5 + 20 = 0. Suppose -d = 5*i - 25, -4*i - 5 = -4*d - v*i. Is d < k?
True
Let b = 2/209 + -846/1045. Suppose -6 = -5*p - 16. Which is smaller: b or p?
p
Let u = 2.691 - -0.319. Let a = u + -0.01. Let s be 1/(-3)*3*1. Which is smaller: s or a?
s
Let w be ((-8)/10)/((-6)/(-15)). Let z be (-1)/(-2)*w/(-1). Is -2/9 at least as big as z?
False
Let l be (2 + 16)*(-51)/(-9). Let t be (0 - 1) + l/90. Is -1 < t?
True
Let k(i) = -2*i - 2 - 1 + i. Suppose -3*n - n = -s - 1, -2*s - 5 = -5*n. Let x be k(s). Are x and 1 equal?
False
Let a = 1757/13 + -135. Let j = -1.3 - -0.3. Is j smaller than a?
True
Let y = -0.4 + 0.4. Suppose 3*p - 30 = -z