r than -1/38?
False
Let f(h) = h**2 - 9*h + 10. Let n be f(8). Suppose 24 = 4*w - n*z, -2*z + 4*z = w - 9. Which is bigger: 7 or w?
7
Let c(w) = 4*w - 26. Let t be c(8). Suppose -t*k + 27 = -3*k. Which is greater: 12 or k?
12
Let s = 23 - 13. Suppose 2*h - 8 = -2*c, 30 + s = 3*c - 4*h. Suppose 2*j = c*j. Which is greater: j or 1/49?
1/49
Let y(v) = -v**2 + 6*v + 1. Let t be y(6). Let k be (2/249)/((-1)/(-3)). Is k less than or equal to t?
True
Let x = -2/1379 + -4087/34475. Are x and 1 equal?
False
Let v be 4 + -2 - 4 - -6. Suppose -5*w + 4*w = -v. Suppose b - w = -3*b. Which is bigger: b or -1?
b
Let h(w) = -2*w**2 - 7*w. Let n be h(-4). Let q be 5 + -2 + -6 - n. Which is smaller: -3 or q?
-3
Let f = -690 - -692. Which is greater: f or 32/49?
f
Let l(v) = 2*v**2 + 3*v - 28. Let c be l(4). Suppose o + 30 = c. Which is smaller: o or 0.1?
o
Let x = 58.9 + -58.9. Which is greater: x or -1/170?
x
Let v be (-7 - -8)*((-3411)/(-1134) + 3/(-1)). Let w be 0*((-6)/4 + 1). Is w at most as big as v?
True
Let v(g) = -g**3 + 3*g**2 - 2. Let n be v(3). Let s(a) = -a + 2. Let d be s(n). Suppose 4*q - 1 = -5*i + 1, 3*q + d = -i. Is i equal to 4/5?
False
Let g be 2/(-3) - 2/6. Let v be (-28)/(-13)*2 + -2. Let b = 133/52 - v. Is b greater than g?
True
Suppose -5*z - 2*t = -6*t - 20, 0 = -t - 5. Which is smaller: z or -3/130?
-3/130
Let u be (5/((-5)/7))/((-30)/(-27)). Do -6 and u have the same value?
False
Let s be 10*((-26)/5 + 2). Let n be (63/12)/((-12)/s). Suppose 0 = -2*v - v - a - 6, -n = 2*v + 4*a. Which is smaller: v or 2?
v
Let k = 6567 - 6557. Let p be 3/5*(0 + 15). Which is smaller: p or k?
p
Suppose 1 = -n - 1. Suppose 5*j - 2 = -y + 3, -2*j = -3*y + 15. Suppose 2*f + 2 = -j*f. Which is greater: n or f?
f
Let o be 1 - 120/(3 - 5). Are o and 64 nonequal?
True
Let w = 15.6 - 88.6. Let u = w - -103. Let o = u - 29.93. Are 0.2 and o equal?
False
Suppose -l = -5*l - 4*z - 12, 0 = -l + 2*z - 18. Let i = 10 + l. Let y(r) = -r**2 - 5*r + 8. Let m be y(-6). Do i and m have the same value?
True
Let d = 62.5 - 58. Let z = -4.8 + d. Which is greater: 13 or z?
13
Suppose 2*t - 48 = -4*d, -t - d = -4*t + 44. Suppose -j - t = -47. Does j = 31?
True
Let c be 1 - 0 - 1/3. Suppose -2*h + 10 = 4*q, q + h - 1 = -0. Suppose t + 3 - q = 0. Is c <= t?
True
Suppose -2*m + 7*m + v - 15 = 0, 3*v = -3*m + 21. Let d(p) = 3 + p**m - 1 + 10*p - 1 + p. Let c be d(-11). Are c and 3 equal?
False
Let t be (-1)/((-8)/(-138))*4. Let d be -4 - 6*t/102. Which is smaller: 1 or d?
d
Let t = -201 - -308. Are 107 and t equal?
True
Let y = -10.8 + -1.2. Let r = 4 + y. Let l = r + 8.1. Is 0.1 at least as big as l?
True
Let h(d) = d**3 + 4*d**2 - 4*d + 10. Let z be h(-5). Suppose -5*p + 71 = -4*n - 4*p, -4*n + z*p - 67 = 0. Which is bigger: -19 or n?
n
Suppose -3*x + 0*x + 10 = p, 0 = -3*p + 3*x - 18. Let z = -60 - -70. Let o be 5/p*(-28)/z. Is 9 > o?
True
Let t be -9*4*(-35)/(-28)*3. Which is bigger: -136 or t?
t
Let h = -1822 + 1442. Which is smaller: h or -379?
h
Let s = -0.023 + 0.045. Let o = 21.022 - s. Is 0.1 < o?
True
Let p be ((-26)/(-3))/((-5)/15). Let o = 132/5 + p. Which is greater: o or 2/93?
o
Let o(p) = -33*p + 2. Let s be o(-3). Suppose -105 = -5*i + 5*q, -6*i + i = -q - s. Is 18 at least i?
False
Let n = 2 + 0. Suppose 30 = 4*b - n. Suppose -23 = 5*q - b. Which is bigger: -4 or q?
q
Let t = 57 + 23. Let h be (-10)/105 + (-2)/(-21). Suppose 5*o - t = -h*o. Which is smaller: o or 15?
15
Let j = -219 + 223. Is j at least 31?
False
Suppose -133 + 871 = 9*f. Which is greater: f or 740/9?
740/9
Let q be 1/2 + (-266)/(-4). Let i = 3017/45 - q. Which is greater: 1 or i?
1
Let n(p) = -4*p - 12. Let a(r) = r**3 + 2*r**2 - 2*r - 3. Let v be a(-3). Let x be n(v). Let d = x - 13. Is -2/11 bigger than d?
True
Let l = 14535/23 - 632. Which is smaller: l or 0?
l
Let m = 96 - 84. Suppose 0 = 4*o - 3 - 33. Is o not equal to m?
True
Let s(o) = 99*o - 5. Let v be s(3). Let a be (-24 - 0)*(v/(-60) - -5). Are a and -4 unequal?
True
Let n be ((-532)/(-570))/7 + 1 + (-283)/(-15). Let q be 12/2*(-7)/(-2). Is n >= q?
False
Suppose 0 = 7*j - 2*j. Suppose -7*r - 2*r + 45 = j. Is r not equal to 5?
False
Let d = 10/559 - 3988/160433. Which is smaller: d or 0?
d
Suppose -3*f + 780 + 357 = 3*i, f = -5*i + 1899. Which is greater: 759/2 or i?
i
Let g = 23 + -24. Suppose 0 = 5*w - 0*w - 5. Let z = w + 2. Is g < z?
True
Let h = -13 - -66. Let n = h + -32. Which is smaller: n or 25?
n
Let w = -176 - -157.9. Let a = 24 + w. Let d = a + -6. Is 12 <= d?
False
Let z = 12 + -6. Suppose -30 + z = -4*k. Suppose -5*f = -11 - 9. Which is smaller: f or k?
f
Let v = -28 + 49. Is v greater than or equal to 17?
True
Let j(g) = -4*g**3 + 6*g**2 + g - 6. Let a(q) = 5*q**3 - 7*q**2 + 6. Let f(w) = 3*a(w) + 4*j(w). Let b be f(4). Suppose -18*i = -21*i - 18. Is i less than b?
False
Let o be 2/((-1)/(9/(-6))). Suppose 2*s = 3*p + 14, -o*p + 0*s = 3*s + 9. Which is bigger: 0.1 or p?
0.1
Let a be 4/(4/3) + (-546)/208. Which is smaller: a or -1?
-1
Let t = -2 + 2. Let f = -218 - 10. Let v be f/(-72) + (-1 + 0)*3. Is t < v?
True
Suppose 72 = 6*a - 14*a. Let y be a/(390/(-12) + -2). Which is smaller: y or 0?
0
Let t(d) = d**3 - 3*d**2 + 3*d + 4. Let b be t(2). Suppose 0 = 3*y + 15, 0 = -4*w + 5*y - 0*y + 29. Let g be (7 - b)*(-1 - w). Are -3 and g nonequal?
True
Let c = 0.917 - 0.547. Is -0.5 >= c?
False
Let t = 1835/14 - 131. Do -1 and t have the same value?
False
Let p be 6 - 5 - (-3 + 1). Suppose i = -9 + p. Which is bigger: i or -5?
-5
Let a = -0.48 - -0.08. Let b = 10 + 18. Let q = -27.8 + b. Are q and a unequal?
True
Let j be (-52)/3*(-3)/(-4)*-2. Let m(f) = -f**2 + 16*f - 36. Let g be m(6). Is g greater than or equal to j?
False
Let r be 4/20*(-25)/10. Is -175 smaller than r?
True
Let g(z) = z**2 + 9*z + 14. Let n be 0/1 + -2 + -4. Let v be g(n). Let p be v/(-12) + (-1)/3. Which is greater: -2/65 or p?
p
Suppose -6 = -2*q - 0. Let x be 1/(q + -2)*-1. Let o = -179/63 - -23/9. Is o equal to x?
False
Suppose 0 = -4*f - 3*k - 96, -4*f + 3*k - 17 = 103. Let g = f - -30. Suppose 0 = -4*n - 4*t - 5 - 11, 10 = -5*n - g*t. Is n less than 3?
True
Suppose 2*w = 0, 88*w - 175 = -5*m + 91*w. Is 6 smaller than m?
True
Let c = -3/40 + 7/8. Suppose 0 = 4*f + 5*z - 8*z - 12, -3*f - 5*z = 20. Is c smaller than f?
False
Let j be (-20)/30*21/(-2). Suppose -j*d + 10*d = 6. Let t be ((-28)/(-12))/(-1) + d. Which is smaller: t or -2?
-2
Let n = -680 - -683. Is n >= -21?
True
Let x = 48.8 + -47. Let q = 0 + -1.9. Let g = x + q. Which is smaller: -16 or g?
-16
Let r be 6/(-10) - (-506)/110. Suppose w = -10 + 21. Let x = w + -9. Is x <= r?
True
Let l = 2340 + -2454. Are l and -3/7 non-equal?
True
Let j be -3 - -6 - (1 + 0). Suppose 0 = -k + m + 3, 0*k + 5*m + 12 = j*k. Which is greater: k or -10?
k
Let r be ((-54)/(-63))/(63/(-20776)). Which is smaller: r or -283?
-283
Suppose g + 3*c = 4, 4*g - 3*c + 3 - 4 = 0. Let b be (-1)/g*(-116882)/(-138). Let h = -847 - b. Which is smaller: 1 or h?
h
Let k(t) be the first derivative of -t**4/4 + 11*t**3/3 + 6*t**2 - 4*t + 4. Let m be k(12). Let u be m/(-5)*90/36. Which is bigger: -2 or u?
u
Let h(p) = -36*p**2. Let z be h(1). Let q(u) = -u**3 - 22*u**2 - 93*u + 12. Let k be q(-16). Is k at most z?
True
Let l = 26 + -27. Let v = 0.01 + -0.81. Let z = v - l. Which is smaller: -0.2 or z?
-0.2
Suppose 0 = 8*s - 3*s - 40. Let h be s/((4 + -5)*1). Which is bigger: h or -5?
-5
Let l be (12/30)/(2/1200). Which is greater: l or 239?
l
Let r(d) = d**3 + 12*d**2 - 14*d - 8. Let z be (-8)/(-20) + (-201)/15. Let h be r(z). Let k(p) = p**2 - 4*p - 6. Let i be k(h). Which is greater: -2 or i?
i
Let g = -397 + 396.9. Do g and -107 have the same value?
False
Suppose -p + c + 432 = 0, -265 = 4*p + 3*c - 2007. Which is bigger: 0 or p?
p
Let s = 945 - 932. Is -27 at most s?
True
Let d = 3.8 - 3.4. Which is smaller: -14 or d?
-14
Let t = -114.5 - -109.5. Let h = 5 - 8. Which is smaller: h or t?
t
Let g be (3 - 4) + 2 + -1. Let p(u) = -2*u**3 + 3*u**2 - u - 4. Let o be p(3). Let c be (6/o)/(-3) - 0. Which is bigger: g or c?
c
Let h = -1171 + 1172. Suppose n - 3*z + 11 = 0, 3*n - 5*n = -4*z + 16. Let t be 1/(-2)*(n - -2). Is h > t?
True
Let n = -7.891 - -5.891. Let l = -3 - -5. Let u = -2.1 + l. Which is smaller: n or u?
n
Let d be 