Let w = 11 + -9. Suppose 3*x - 20 = o - w, 3*o - 1 = -2*x. Suppose 3*i = x*i. Do i and -2 have different values?
True
Let j be ((-1)/(-3))/((-2)/(-4)). Let m = -4 + 3.8. Is j > m?
True
Let r(u) = -u**2 + 7*u + 6. Let t be r(8). Let f be t + 1 + 6 + -5. Which is bigger: f or -3/16?
f
Let i(s) = -s**3 - 4*s**2 - 3*s. Let d be i(-3). Is -3/8 less than d?
True
Let g(c) = c**3 - 2*c**2 - c - 1. Let d be g(2). Let o(i) = i**3 + 3*i**2 - i - 3. Let r be o(d). Which is smaller: 2/7 or r?
r
Let x(w) = -w - 7. Let r be x(-8). Is r less than -2/55?
False
Let i(h) = 3*h - 2. Suppose 5*v = 10*v + 5. Let z be i(v). Let m be 4*((-1)/1)/1. Is m less than z?
False
Let d(j) = 4*j + 3. Let q be d(-2). Let h = 26.35 - -0.65. Let w = 26 - h. Is q at least w?
False
Let n be 1*((-11)/(-4) - -1). Which is smaller: n or 3?
3
Let w(j) = -j - 4. Let h be w(-6). Suppose -3 + h = l. Which is greater: l or -2/11?
-2/11
Let q = 2/1091 + -1181/49095. Is 0 not equal to q?
True
Let t be 2/(-5)*(-10)/14. Let i(o) = -2*o**2 - 2*o - 1. Let k be i(-1). Which is greater: k or t?
t
Let g be (-2)/4*(4 - 4). Suppose g = -3*b + j + 13, b + 4 - 12 = 4*j. Let p be (4/12)/(b/(-6)). Which is smaller: 0.1 or p?
p
Suppose 2*j - 3*x = -3, 3 = -3*j + x + 2. Is j at most as big as 4/11?
True
Let y = -11 - -23/2. Which is bigger: y or 0.8?
0.8
Let q = 239 + -1441/6. Suppose 16*o = 11*o - 10. Which is smaller: o or q?
o
Suppose k - 4*k = -48. Suppose -3*u = -2*t + 14, 2*u = -2*t - k - 0. Let n = u + 4. Is -1 less than n?
False
Let t = 14 + -14. Is t greater than -1/2?
True
Let o be (-2)/2 - (3 + -5). Suppose -y + 4 = -o. Suppose y*p + 3 + 2 = 0, 0 = 3*t + 5*p + 2. Which is smaller: t or 3/2?
t
Let h be -1 + 10/8 + -1. Let j(s) = s**3 + 4*s**2 - 4*s + 7. Let d be j(-5). Suppose -v = d*v. Do h and v have different values?
True
Suppose -5*s - 55 = -60. Which is greater: 2 or s?
2
Let b = -5 + 7. Let w be (-411)/(b - -1) - 0. Let t = w + 961/7. Is t < -1?
False
Let u = -36 - -39. Which is greater: 3/2 or u?
u
Let o be -1*1 - (-12)/8. Let s(g) = -g**2 + 6*g - 1. Let x be s(6). Let y = x - -2. Which is greater: y or o?
y
Let w be 5/(-45)*(0 + 3). Let q be (-34)/8 + 4/16. Let y = 3 + q. Which is bigger: y or w?
w
Let k = 4 + -8. Let v = k - -3. Let p = 33/35 - 8/7. Which is smaller: v or p?
v
Let n(o) = -o**2 + 7*o - 6. Let g be n(6). Suppose -2*l + 2 = -g. Suppose -3*k = 2*r - 15, 0*k + 4*k = -r + 20. Is l at most as big as r?
False
Let l be -1 - (0 + 9/(-7)). Let w = 15 - 4. Let v = w - 15. Are v and l equal?
False
Let r = -6 + 7. Let j be (-2)/(r + (2 - 5)). Does 1 = j?
True
Let n be 1/(-2) + 30/36. Which is greater: -1 or n?
n
Let m be 12/9*4/16. Let s = -3 + 5. Suppose s*f + z - 4*z - 2 = 0, 5 = 5*f - 5*z. Is f less than or equal to m?
False
Suppose -16 + 24 = -4*k. Suppose -u = -t, u + 3*t + t = -15. Which is smaller: k or u?
u
Let z = -0.2 + 0.4. Suppose 0 - 16 = -4*o. Suppose -18 = 2*r - 0*r - o*h, -r = h - 6. Is z greater than or equal to r?
False
Let u = -2.3 + 0.5. Let t = 3.4 - 5.4. Let o = u - t. Is 1 smaller than o?
False
Let g be (-7 + 2)*(-8)/10. Suppose -g*a - 1 = -5*x - 3*a, -5 = -2*x + 5*a. Which is greater: x or 1?
1
Let l be (2/(-3))/((-4)/(-6)). Let r be (1 + l)/(1*2). Let w = 247/989 - 7/43. Which is bigger: w or r?
w
Let m(x) = -x**2 - 4*x. Let g be -3 + 3 + -1 + -2. Let z be m(g). Is 2 <= z?
True
Let d(l) = -l**2 + 7*l - 6. Let c be d(7). Let m be (1/(c/8))/(-42). Are m and 0 nonequal?
True
Let f be 48/22 + -2 - 0. Let r(v) = v**3 + 4*v**2 + 4*v + 16. Let z be r(-4). Is f bigger than z?
True
Suppose -2*s - 3*s = 10. Let g be s*1 + 0 - 0. Is -2/3 less than or equal to g?
False
Let y be ((-14)/(-16)*4)/(-1). Suppose 3*s + 16 = w - s, 0 = -5*s - 25. Which is greater: y or w?
y
Let c be 2/(-1*(8 + -1)). Are c and 1 equal?
False
Let c = 1 - -2. Let m be (-14)/(-10) + (-3)/c. Which is greater: m or 0.1?
m
Let i be (1/(-2))/(3/6). Suppose -109 - 51 = -5*r. Let g be (-2)/3 + r/84. Is i less than g?
True
Suppose 4*l = 9*l + 65. Is l greater than -12?
False
Let x = 21 - 20.9. Which is smaller: -0.11 or x?
-0.11
Let z be ((-1946)/(-1650))/(-7) - 0. Let p = z + -1/75. Let m = 3 - 2.9. Is m less than p?
False
Let r = -6 + 6.06. Let i = -0.8 + -0.2. Is r < i?
False
Suppose -z + 113 = 116. Is z less than or equal to -4?
False
Let d be (-3 - (-10)/3)*12. Suppose -20 = d*y - 0. Which is smaller: -4 or y?
y
Let j(y) = -3*y - 1. Let n be j(2). Let q = 10 + n. Do q and 0.2 have different values?
True
Let j be 2 - (-38)/(-14) - -1. Let f = -320/7 - -46. Is f at most as big as j?
True
Suppose -4*t + 6 = 10. Which is smaller: t or 7?
t
Suppose -2*w + 5*k = 13, 5*w - k - 2 = -0*w. Let t be -2 - (0 - (1 - 0)). Let j = w + t. Which is greater: -1/2 or j?
j
Let z = 5.85 - -0.15. Let k = 0.1 + -4.1. Let y = z + k. Is y at least as big as -1?
True
Let q(o) = o**3 - 4*o**2 + 6*o - 9. Let j be q(3). Is 6 less than j?
False
Let b = 0.1 + -0.6. Let t = b + 0.4. Is t equal to -9/7?
False
Suppose 4*p = -6 - 10. Let m be 3/p - 7/(-12). Is 1 greater than m?
True
Let o = -280 - -3074/11. Is -2 != o?
True
Let v = 15 - 10. Suppose 3*i + 5*g - 38 = 32, -i + 4*g + 12 = 0. Suppose v*n - 15 = i. Is 6 != n?
True
Let u = 3.1 - -1.9. Which is bigger: 0.2 or u?
u
Suppose 2*f = -0*f - 10. Let y = f + 37/7. Suppose -5*p = -2*p. Which is smaller: p or y?
p
Let z(q) = 2*q + 19. Let c be z(-8). Suppose 0 = -3*h - c - 0. Is h bigger than -5/6?
False
Suppose -5*u + 3*l + 25 = -u, 0 = -3*u + 5*l + 16. Is u not equal to -3/2?
True
Suppose -p = -4 + 2. Suppose 5*l + 25 = 5*g, l = -l - p*g + 2. Is l greater than or equal to -4?
True
Let i = 393 - 276. Let v be 33/i + 2/(-6). Which is smaller: v or 0?
v
Let x = -14 - -15. Do x and 1 have the same value?
True
Let m = 463.78 - 468. Let u = m + 0.22. Which is smaller: 3 or u?
u
Let d be 18/10*(-32)/24. Which is smaller: d or -3?
-3
Let b = -2.7 + 2.6. Is 5 greater than b?
True
Let u = -3701/525 - 7/75. Is u at least -7?
False
Let b(s) = -s**3 + 5*s**2 - 4*s + 2. Let a be b(3). Let x be (-10 - 0)/(1/(-1)). Let t = x - a. Which is bigger: 3/2 or t?
t
Let w = 51/46 + -1509/1081. Let m = w + -29/799. Let z = m - 3/17. Which is bigger: -1 or z?
z
Let r(m) = 4*m - 4. Let s be r(3). Let k be (s/14)/((-3)/(-7)). Is 2 > k?
True
Let c be 26/(-4) + 2/(-4). Let u be (-2)/(-7) - (-9)/c. Let f be (-20)/35*7/(-10). Is f bigger than u?
True
Let v be (-64)/(-28) + 4/(-14). Suppose 3*d + 2*n + 10 = 0, 3*n - 15 = 6*n. Suppose -j + 2*j - 1 = d. Is j at least as big as v?
False
Suppose 29 = -7*x + 2*x + 4*o, -30 = 5*x - 5*o. Which is bigger: x or -6?
x
Suppose 2*z + 21 = -3. Let g = -18 - z. Let m be 11/15 + 2/g. Which is smaller: 1/3 or m?
1/3
Suppose -4*z = 4, -5*l + z + 11 = -0*l. Let r be 2/(-2 + 5/l). Which is greater: r or 5?
5
Let p be 10/25 - 1*2/(-20). Is p < 7?
True
Let f(n) = -n**2 - 3*n. Let p be f(-3). Which is bigger: p or 2/13?
2/13
Let g = -1 - -4. Let q(z) = -4*z**3 + 3*z**g - z**2 + 0*z**2 + 3*z**2. Let k be q(2). Is k <= -5/4?
False
Let f be (2/4)/((-4)/24). Let q = 0 - f. Suppose -8*r = -2*d - 4*r, d = -q*r. Do 1 and d have the same value?
False
Let f be 2/6 + (-10)/(-6). Let h(y) be the third derivative of y**4/24 + y**3/3 + y**2. Let l be h(0). Are f and l equal?
True
Let t = 10.98 - -0.02. Let z = -10.9 + t. Is 0.1 >= z?
True
Let p(m) = -m + 21. Let q be p(14). Is 8 bigger than q?
True
Let q = 0.3 - -1.5. Let j = q + 0.2. Is -0.2 < j?
True
Let t be (-9540)/(-44) - 2/(-11). Let d = 1081/5 - t. Suppose -4*b = -0*b. Which is greater: b or d?
b
Let t be (-105)/(-28) + 2/8. Suppose -t*c - 1 = -3*c. Let k be 0 + (1/(-5) - c). Is k <= 0?
False
Suppose 537 = -4*j + 1433. Let s be j/22 - 2/11. Suppose m = 6*m + s. Is 1 less than or equal to m?
False
Let m(g) = -g**2 + 5*g + 10. Suppose -4 = 2*d - 18. Let s be m(d). Which is greater: s or -5?
s
Let d = -43/28 - -1/28. Let z = d + 7/4. Is 3 <= z?
False
Suppose -3 = -3*u - 6. Which is smaller: -1/14 or u?
u
Let r(o) = -o + 1. Let m be r(-8). Let q be 1/(-4)*12/m. Is q at least 1?
False
Suppose -2*m = -4*j + 50, -2*m + 13 = 4*j - 17. Suppose 3 - j = n. Is n greater than or equal to -2?
False
Let q = -8 - -13. Let l be (1 - -1) + (-1)/(-1). Which is smaller: l or q?
l
Let g = 1 - -3. Let x = 4 - g. Are -1/8 and x nonequal?
True
Suppose 0*x = 3*x +