, 15 = 5*a. Do u and -12 have the same value?
False
Let w be 8/16 + (-18)/(-4). Let i = -16 + w. Do i and -10 have the same value?
False
Let z be (3/9)/(1/(-9)). Let s be z/(-12)*2*-12. Let t(r) = -r**3 + 8*r**2 - 7*r - 6. Let f be t(7). Is s greater than f?
False
Suppose -3*d + 4 = -d. Let z be (-3)/d*-4 + -1. Suppose -4 = -t - y, -3*t - 2*y = -z*y + 18. Is t > -1?
False
Let b(c) = c**3 - 9*c**2 + 8*c. Let m be b(8). Let d be 0 - (-1 + (-576)/(-2)). Let j = 2012/7 + d. Which is smaller: m or j?
m
Suppose 5*d = 2*d - 21. Let w(g) = -g**2 - 8*g - 5. Let a be w(d). Suppose a*l = -l - 3. Which is smaller: l or 1/4?
l
Let d = 2 + -2.3. Let n = d - -0.1. Let q = 0.57 + 0.43. Is q greater than n?
True
Let w = -3 - -5. Suppose 0*p = -w*p - f - 2, -4*p - 12 = 4*f. Let a be ((-6)/(-18))/(p/3). Which is bigger: a or 2/19?
a
Let f(d) = -d**3 + 3*d**2 + d - 3. Let k be 1/(-1) + 2/2. Suppose -4*a + 6*a - 6 = k. Let l be f(a). Which is greater: l or -1/10?
l
Let l be 0*((-15)/9 + 2). Let w be ((-15)/(-2))/((-12)/(-2)). Which is smaller: w or l?
l
Let l = -0.3 - -0.3. Is l bigger than 3/2?
False
Let o = -96 + 98. Let x = 3 - 3.5. Which is greater: x or o?
o
Let p be (-27)/58 + 1/2. Let v = p - -25/116. Let c = 12/25 + -22/25. Is c at most v?
True
Let f = -4 + 6. Suppose -f*w - 3*w - 30 = 0. Which is smaller: w or -5?
w
Let l be ((-6)/(-1 + -2) - 5) + 2. Are l and -8/15 nonequal?
True
Let l be 6/(-15) - (-12)/5. Let s be -1 - (-3 - 2) - l. Suppose -13*y + 14*y = 0, -y + 2 = 2*d. Which is smaller: s or d?
d
Let p be (0 - 4/(-10))*-5. Let a = 7 - 13. Let v(t) = t + 3. Let r be v(a). Which is bigger: r or p?
p
Let u = -17 - -13. Let l be u/(-10) + 54/40. Is 2 <= l?
False
Suppose 5*v = -2*k + 50, -5*v + 20 = -3*v + 4*k. Which is smaller: 9 or v?
9
Let b be -9 + 6 - (-3 + 0). Let z be b*2/4 + -1. Is z != -2?
True
Let q be (-6)/(6/(-3))*-1. Is q greater than or equal to -3?
True
Let u = 2 + -1. Let m = 0.7 - -0.3. Is m < u?
False
Suppose -4*t = 4 + 4. Do t and 0 have the same value?
False
Let k = 0.3 + 0.7. Let n = 0 + 0.2. Is n greater than k?
False
Suppose -2*r + r - 3 = 0. Let g be -3 - (0/(-1) + 0). Are r and g equal?
True
Let r(s) = 3*s - 14. Let n be r(5). Let u be (2/5)/((-1)/(-5)). Is u equal to n?
False
Let k(b) be the third derivative of -b**5/60 + b**4/8 + 4*b**2. Let x be k(3). Is x at most -4/5?
False
Suppose 3*p - 6*p = 0. Is p > -0.18?
True
Suppose -3*y - 28 = -2*y. Let a be 100/y - 6/(-2). Which is bigger: -2 or a?
a
Let d = -89 - -443/5. Do d and -4/35 have different values?
True
Let b = -8.01 + 0.01. Let h = -13 - b. Do h and 1 have the same value?
False
Let m = 14 - -11. Let j = 23 - m. Is j equal to -2/17?
False
Suppose -3*j + 27 = -4*o - 0*j, -2*o - 21 = -3*j. Let y be (2/o*3)/1. Which is smaller: y or -2/3?
y
Let x(s) = -s + 44. Let l be x(7). Which is smaller: l or 35?
35
Let l = 0.34 - 0.21. Let x = -0.23 + l. Which is greater: x or 0?
0
Let k = -30.028 + 0.028. Is k bigger than -1/3?
False
Let a be (-1)/2 - 1/92*-38. Is -1 > a?
False
Let x be -3*(40/18 - 2). Let w = -17 + -5. Let k be (-2)/4 + w/(-28). Which is smaller: k or x?
x
Suppose 0*j = -j - 2, 5*y + 5*j + 10 = 0. Let l be y*4/(-12) + 4. Let d be -2 + 3 - (-6)/4. Which is smaller: l or d?
d
Let x = 580/27819 + -2/3091. Is 0 at most x?
True
Suppose -s + 20 = 3*s. Suppose -s*d = -d. Let w(j) = -j + 1. Let a be w(d). Which is smaller: a or 2?
a
Let s = 12925/10404 - 62/289. Let o = 7/9 - s. Which is smaller: o or 1?
o
Let x = 0.24 + 1.76. Which is smaller: 0.6 or x?
0.6
Let a = 3 - 7. Let h be 3*-2*a/12. Which is smaller: 2/9 or h?
2/9
Let i(o) = -3*o + 38. Let z be i(13). Let x = 4 + 0. Is x bigger than z?
True
Suppose 4*v = -2*v. Let x = 4 - v. Which is smaller: 1 or x?
1
Let f be 6/(-15) + (-32)/(-55). Let b(q) = -q - 1. Let l be b(-2). Let d be l + -3 - (2 - 3). Which is greater: f or d?
f
Suppose -6*u = -8*u - 4. Let l be 1/(u*9/(-6)). Is 1/6 greater than or equal to l?
False
Let r be (-6)/(-9)*-3*(-2)/28. Which is smaller: r or 0?
0
Let c(q) = -7*q + 90. Let w be c(12). Let y(u) = u**2 - 4*u + 4. Let d be y(4). Which is bigger: w or d?
w
Let b be (-8)/(-6) + 5/(-15). Let m be (-6)/8*-4*b. Let c be (1/m)/((-6)/9). Which is smaller: -2 or c?
-2
Suppose -3*h + 12 = h. Suppose -2*s = h*s. Let a = 9 + -35/4. Which is bigger: s or a?
a
Let h(y) = y**3 + 5*y**2 + 5*y - 1. Let r be h(-4). Does -7 = r?
False
Suppose -c + 9 + 35 = 0. Let q = 16 - c. Let u be (1 + 0)*8/q. Which is smaller: u or -0.2?
u
Suppose -2*k + 15 = 3. Let g = k + -13. Are -7 and g equal?
True
Let m(n) = -n**2 + n. Let f be m(0). Suppose 7*z + 9 = 4*z. Let l be 1 + (-1 - z/(-4)). Are f and l nonequal?
True
Let v = 34 - 34. Which is greater: v or 37?
37
Let q be 38/(-120) + 20/50. Is 0 < q?
True
Let k = -107/3 + 36. Is k > 0?
True
Let w(j) = 3 + j**2 + 2 - 4 + 1. Let a be w(0). Let i = 219 - 1091/5. Which is greater: i or a?
a
Let u be (0 - 3/4)/1. Suppose 0 = -3*b - 0*b - 6. Is u greater than b?
True
Let z(p) = -p**3 + 6*p**2 - 3*p - 7. Let b be z(5). Which is greater: b or 9/4?
b
Suppose 5*y - 5*b = -15, 5*b = 3*y + 6 + 13. Let i = -3 + y. Let k = i + 1. Which is bigger: 1/5 or k?
1/5
Let q be -1*(75/9)/(-5). Let o be (6/63)/((-6)/(-98)). Let p = o - q. Is 0 greater than or equal to p?
True
Let r be -3 + 4 + -3 + (-236)/(-119). Which is smaller: -1 or r?
-1
Let s be -2 - 7/(14/(-8)). Suppose -6*h - 3*b = -4*h + 4, 5*b + 28 = s*h. Are h and 3 unequal?
True
Let k = -1/18 + 13/18. Let a(d) = -3*d - 4. Let f be a(-4). Is f bigger than k?
True
Let w(d) = -d**2 - 4*d - 3. Let l be w(-2). Let y = -3 + l. Let t = 4 + -3.8. Which is bigger: t or y?
t
Let h = 1.06 - 0.06. Suppose 4*u = -2*q - q + 40, 3*q = 2*u - 2. Let t = 23/3 - u. Which is smaller: h or t?
t
Let j(v) be the first derivative of -v**5/120 - 5*v**4/24 - v**3/3 - 1. Let l(b) be the third derivative of j(b). Let s be l(-6). Is 2 equal to s?
False
Let m(s) = 2*s - 25. Let a be m(13). Is a != -2/61?
True
Let c = -0.5 + -4.5. Let t = -3.9 - -4. Do c and t have different values?
True
Let f = 29 + -33. Which is bigger: f or 2/3?
2/3
Let l(y) = y**2 + 8*y - 5. Let d be l(-9). Let v(x) = x**2 - 4*x + 3. Let s be v(d). Is s >= 12/5?
True
Let u be 9/(-14)*40/15. Does u = -2?
False
Let h = 3.86 - -0.04. Let i = 4 - h. Is i smaller than 2?
True
Let z(c) = 3*c**2 - 2*c + 1. Let d(m) = m**2 + 3*m - 3. Let p be d(-4). Let l be z(p). Which is smaller: l or 3?
l
Let q = 0.21 - 9.21. Is q < -1?
True
Let c be 16/3 - 1/3. Suppose 37 = -c*z - 23. Let d be 8/z + (0 - -1). Is 1 greater than d?
True
Let v = 10 + -5. Let a be 1/1*(-6 + v). Is a at least as big as -3?
True
Suppose 0 = 4*z - b + 33, -2*z - 4*b - 6 = 24. Is z > -11?
True
Let g = -4 - -6. Suppose 2 = -g*j + j. Let n be (-7)/(-3) + (-4 - j). Which is bigger: 0 or n?
n
Let t = 397/21 + -58/3. Which is smaller: t or 0?
t
Let s(v) = -5*v**2 + 4*v**3 - 1 - 5*v**3 - 5*v - 1 + 0*v**3. Let l be s(-4). Is 2 greater than l?
False
Let u(h) = 2*h**3 + 15*h**2 + 2*h - 17. Let f be u(-7). Is 15 >= f?
False
Suppose -11*q + 15 = -16*q. Let m be 2 - ((-7)/(-2))/1. Is q greater than m?
False
Let m be (-1)/(1/(-23)) + 1 + 2. Which is greater: m or 25?
m
Let m be 4/18 - (-2)/(-9). Let d = -0.66 - -2.66. Is m < d?
True
Let u(j) = -j**2 + 0*j**2 - 12*j + 5 + 7*j. Let x be u(-4). Is 9 greater than x?
False
Let k = -11 + 24. Let m = k - 7. Suppose u + 0*u + 10 = -3*v, -3*u - 4*v - 5 = 0. Which is bigger: u or m?
m
Let d = -8 - -9. Let r(g) be the second derivative of -g**5/20 + g**4/12 - g**3/6 + g. Let j be r(d). Which is bigger: j or -1/5?
-1/5
Suppose 15 = 4*h + 3*g, -h - h + 10 = 2*g. Suppose h*j + 3*j = 3. Suppose -4*y - 2*u = -j + 7, -4*y + 14 = -2*u. Is 0 > y?
False
Let s be (1 - -2)*(-2 + 1). Let o be 54/40 + 2/5. Let d = 0 - o. Is s > d?
False
Suppose 3*z + 3*y + 60 + 33 = 0, -25 = z - y. Is z at least as big as -28?
True
Let d = -122 + 119.8. Is -0.1 smaller than d?
False
Let a = -547/7 - -78. Let f be (0 + (-1)/1)*1. Which is smaller: f or a?
f
Suppose 4*d = 4 - 0. Is d smaller than -0.024?
False
Let u = 15.2 + -15. Let p = 0.8 + u. Which is greater: p or -6?
p
Let a = -1/188 + -2065/564. Let o = -4 - a. Do o and 0 have different values?
True
Suppose 0 = 2*m - c - 4*c - 10, -4*c - 8 = 4*m. Is -1/6 less than or equal to m?
True
Suppo