han r?
True
Suppose x = 3*x. Let t be ((-3)/3)/(2/(-4)). Suppose t*j - j = x. Which is smaller: -1 or j?
-1
Let w be 6/4*(-12 + 8). Which is greater: 1/5 or w?
1/5
Let j = 132 - 132.077. Which is greater: 1 or j?
1
Let l(n) = n + 8. Let x(p) = -2*p - 15. Let y be (-5 - (-6 - -3)) + 9. Let j(o) = y*l(o) + 3*x(o). Let d be j(-10). Which is bigger: d or 2?
2
Let k(i) = -i**2 - 9*i + 2. Let r be (-2)/(-4) + 27/6. Suppose 2*m + v + 13 = -r, 5*v = -3*m - 27. Let d be k(m). Which is smaller: d or -1?
-1
Let h = -7153/22308 - 41/507. Let y = 3/44 + h. Is 0 greater than or equal to y?
True
Suppose -2*w - 4 = -6*w. Is -1 less than or equal to w?
True
Let g = 5 - 4. Let h(m) = m**2 + 2*m - 1. Let z be h(g). Suppose 2*f + 10 = -z*t - 0*t, 4*f = -8. Which is bigger: -4 or t?
t
Let d(s) = -s**2 + 5*s - 2. Let m be d(4). Let a be (m/156)/((-12)/711). Let o = a - -1/104. Which is bigger: o or 0?
0
Suppose -5*v - 7 = 3. Let u be (0 + 3)/(9/v). Is u less than 3/7?
True
Let a(v) = 2*v**2 + 3*v + 1. Let l be a(-2). Let y be 16/6 + 4 + -4. Which is greater: l or y?
l
Let z be (0 + -3)*(-24)/54. Which is smaller: -1/6 or z?
-1/6
Let o = 6 - 2. Suppose l = -o*l + 20. Suppose 4*p - f = -5*f - 16, -4*p - f = l. Is p at least as big as -1?
True
Let l = -1.99 - -2. Let o = -114.99 + 117. Let x = o - l. Which is smaller: -0.2 or x?
-0.2
Suppose 0*b + 22 = 3*j + 2*b, 2*j + b = 15. Suppose -z - z + j = 0. Which is smaller: z or -2/5?
-2/5
Let a = -5.284 + -0.586. Let l = -0.13 + a. Let m = l - -3. Is -3/5 smaller than m?
False
Let m be (-1)/(-2)*(-4)/6. Let j be (52/273)/(4/(-6)). Is j < m?
False
Let w = -1.1 + 1. Let b = 67 + -69. Are w and b non-equal?
True
Let v be 2/4 + 3/2. Suppose 0*a - 2 = -v*a. Suppose j = 4*t - 12 + 4, 0 = t - 1. Is a >= j?
True
Suppose -o - 2*t + 4*t = 8, 0 = 4*o - 3*t + 17. Let a be (-3)/(-15) - 78/(-10). Suppose -2 = -4*v + 3*s, -2*v - 2*s - a = s. Is o greater than or equal to v?
False
Let l be (72/(-48))/((-45)/44 - -1). Which is bigger: 64 or l?
l
Let x = -1 - -2. Let t be x*2 + (-305)/190. Let j = 2/19 + t. Which is bigger: 2 or j?
2
Let j = -205/6 - -619/18. Let o = -0.3 - 0. Let a = o - -0.2. Which is greater: a or j?
j
Let u be 2/(-8) - (-83)/(-4). Let a be ((-4)/(-6))/(14/u). Which is smaller: a or -3?
-3
Let v = -151/28 + 22/7. Are v and -1 equal?
False
Let j = 2.4 + -0.4. Let s = j + -3. Let f = s + 0.9. Is f smaller than 0.2?
True
Let r = -32 + 32.08. Is r greater than or equal to 2/3?
False
Let c be 4/(-6) + 64/42. Let p = 23 - 21. Let r be (-14)/(-63)*18/p. Is r less than c?
False
Let z be 26/6 - 1/3. Suppose 2*f + z*r = 4, -2*r + 4*r = 4*f + 2. Let s = -2 + 4. Which is smaller: s or f?
f
Suppose -u + 4*w = 8, u + 5*w - 5 - 5 = 0. Is 1/27 smaller than u?
False
Let s = -287/4 - -3699/52. Does s = -2?
False
Let z be 168/(-27) - 6/(-27). Let v be (z/(-9))/((-4)/12). Is v less than -2/3?
True
Let a(d) = -d**3 + 5*d**2 - 4*d + 3. Let h be a(4). Suppose 2 = h*i + 5. Let x = 238/45 - 44/9. Which is smaller: i or x?
i
Let w = -23 + 20. Let v be (-6)/(-3)*w - -4. Are v and -9/4 equal?
False
Let l = -4 - 6. Let s = 7 + l. Let x be s - -3*(-12)/(-9). Do x and -2/19 have the same value?
False
Suppose -h + 9 = 2*l, 4*h + 4*l - 42 = -l. Is 12 smaller than h?
True
Let p = -40.9 - -41. Let b = 1.05 + 0.15. Is b < p?
False
Let m(b) = b**2 - 25*b + 75. Let o be m(23). Are 31 and o non-equal?
True
Let s = -12 - -28. Suppose -5*p - s = -1. Which is smaller: p or -2?
p
Suppose 9*d - 48 = -7*d. Which is greater: 7 or d?
7
Let c = -20494/47 + 436. Which is bigger: 0 or c?
0
Let u = 331/6 + -55. Is 1 bigger than u?
True
Let u = -0.76 + -0.04. Let m = -0.02 + 0.32. Let g = u + m. Which is bigger: 1 or g?
1
Let c(a) = 2*a - 2. Let v(r) = -5*r + 5. Let l(x) = -7*c(x) - 3*v(x). Let h be l(1). Which is greater: h or -1?
h
Suppose -2*j + f = -0*f + 51, 5*j + 2*f + 132 = 0. Do j and -0.1 have different values?
True
Let r = -1 + 1. Let y = -3.7 - -1.7. Is y equal to r?
False
Let l be ((-6)/(-4))/((-1)/(-2)). Suppose 4*z - 3*o = -28, -3*o - 24 = l*z - 6*o. Let y be 5/z*(-3)/15. Are y and 1 non-equal?
True
Let y = -35 - -173/5. Suppose 12 = 4*z - 5*g - 6, 2*z - g - 6 = 0. Suppose u - 3 = z*l, -4*u + 0*l = 2*l + 8. Is y at most as big as u?
False
Let i = -4 - -4.3. Let k = 6 + -5.6. Let l = i - k. Is 0.3 at most l?
False
Suppose 0 = v + 3 - 1. Let d = -3/4 + 1. Is v less than or equal to d?
True
Let v = -0.18 - -0.2. Let b be 36/(-21) + (-4)/14. Is v > b?
True
Suppose 5*p + h - 9 = 5*h, 1 = -3*p + 4*h. Suppose -6 - p = -t. Is 11 less than t?
False
Let a be 3/(-5) - (-108)/30. Let p = -4 + a. Is -3 smaller than p?
True
Let i = 3 - 1. Suppose 3*t - 6*t + 9 = i*g, 0 = -2*g + 2*t + 4. Suppose -2*q - 16 = -2*h, -2*q + g*h = -3*q + 12. Is q smaller than -2?
True
Suppose -v = -4*y - 22, -2*v - 21 + 0 = 5*y. Let w = 7 + y. Which is smaller: w or 4/7?
4/7
Let v(p) = 6*p + 6. Let c be v(-3). Let h be 22/(-24) + 4/c. Which is bigger: h or -2?
h
Let g(m) = -m**2 - 11*m + 12. Let i be g(-12). Is 3/31 >= i?
True
Let i(s) = -4 - s - 2*s**2 + s**2 + 2 + 4*s**2 + 2*s**3. Let o be i(-2). Are -4 and o nonequal?
False
Suppose -4*v + 1 = -7. Suppose 18 = r + v*r. Suppose o - 3*k - 16 = 0, r*k = o + 4*k - 11. Which is bigger: 2/3 or o?
o
Let w(c) = c**2 + 9*c + 2. Let y be w(-9). Let k(j) be the second derivative of j**4/12 - j**3/2 - 3*j**2/2 - 2*j. Let b be k(4). Which is smaller: y or b?
b
Let p(t) = -8*t**2 + 11*t + 4. Let u(w) = -7*w**2 + 10*w + 3. Let j(k) = 6*p(k) - 7*u(k). Let z be j(3). Let l be (2/6)/((-12)/(-9)). Which is bigger: z or l?
l
Let l be ((-10)/(-5))/(-1 - -1 - 2). Do l and -1/171 have different values?
True
Let v be 27/18*(-4)/(-42). Is 0 not equal to v?
True
Let v = -2 + 5. Let y = -4 + v. Is 0 bigger than y?
True
Let j be 14/(-77) - (-2)/11. Do 0 and j have the same value?
True
Let d(u) = u**2 + 11*u - 3. Let y be d(-11). Let v = -3 - y. Let c be v + ((-3)/(-18) - 0). Which is smaller: c or 2/5?
c
Let k(h) = 4*h + 6. Let c be k(-2). Which is smaller: -12 or c?
-12
Suppose -3*m + m - 18 = 2*u, -5*u = -m + 15. Let s be 2/m*110/(-64). Let b = -1/48 + s. Which is greater: b or 1?
1
Let o = -2 + 0. Let h be 1520/28 - o/(-7). Let j be (-39)/h - (-2)/9. Which is smaller: j or -3?
-3
Let v = -0.5 + -1.2. Which is smaller: -1 or v?
v
Let n = 0.01 - 0.11. Let g = 0.93 - -0.07. Which is greater: n or g?
g
Let h = 182271/2365 - -156/473. Let s = h - 77. Let q be (1/(-2))/((-1)/2). Which is smaller: s or q?
s
Let t = -1 - 1. Let d be -1*3/3 + 3. Suppose -f = -1 + d. Is t > f?
False
Let b = -26 + 27. Is 14/5 not equal to b?
True
Suppose 26 = 5*v - 14. Let w = v - 11. Let y be (1 - (w - -1)) + -4. Is y > -1?
False
Let v(i) = -13*i - 52. Let h be v(-4). Is h >= -1/7?
True
Let m(r) = -2*r + 1. Let z be m(1). Which is smaller: z or -2/15?
z
Let u be 3*(-4)/(73 - -3). Which is greater: u or -1?
u
Let b = 22 - 30. Let m be 3/b*(-2 + -2). Let p = 5 - 2. Are p and m nonequal?
True
Let u(l) = l**3 + 5*l**2 + 2. Let n be u(-5). Suppose n*s + 1 = s. Is -1/2 <= s?
False
Let j be ((-3)/5)/(2/2). Suppose 5*c + 9 + 13 = 3*b, -2*b = -3*c - 13. Is b bigger than j?
False
Let l = -1989/29261 - 1/1009. Is -1 greater than or equal to l?
False
Let a(r) = r**3 + 7*r**2 + 8*r + 9. Let w be a(-6). Let d be 1 + w + 0 + 0. Which is greater: -5 or d?
d
Let u be (-49)/(-17) + -3 - (-249)/(-51). Let r = 3 - 6. Is u bigger than r?
False
Let c = -11 + 8. Is c at most as big as -3?
True
Let o be ((-12)/14)/(3/399). Do o and -113 have the same value?
False
Suppose -10 = 5*v + z, 3*v + 4*z = 4 - 27. Is v >= -5?
True
Let q = 0.02 - 0.32. Which is greater: 5 or q?
5
Let a(p) be the second derivative of -p**4/12 + 4*p**3/3 - 4*p**2 - 4*p. Let m be a(6). Which is greater: m or 5?
5
Let d = 4.22 + 0.78. Is d bigger than 4/7?
True
Let f = -6.7 + 5. Let m = -0.1 - 0.6. Let j = m - f. Which is greater: j or 2/7?
j
Let n be (-72)/(-20) + 2/5. Suppose -5*m - n*i + 7 = 0, -5*m - 2*i = 3*i - 10. Suppose 4*d = -d. Are m and d nonequal?
True
Let h = -3.9 + 0.9. Which is smaller: -13 or h?
-13
Let b(g) = -2*g**3 + 2*g**2 - 2*g + 1. Let d be b(2). Is -11 greater than d?
False
Let k = -6 - -3. Let z = k + -2. Let f be 1/(4/((-12)/z)). Which is greater: f or 1?
1
Let q = 44 + -43. Which is smaller: -2/47 or q?
-2/47
Let q(k