 - s - h = 3*o, -2*o + s - 12 = 0. Which is smaller: -7 or o?
-7
Let i = 88 - 84. Suppose 5*u + i*u - 18 = 0. Which is smaller: 2/113 or u?
2/113
Suppose 2*m + 4 = 2*x + 6, 0 = 2*m + 4*x - 32. Suppose -n + m = n. Suppose -n*r + 8*r + 30 = 0. Is r < -8?
False
Let c = -687 - -512. Is 0 <= c?
False
Let n be 0*(19/209)/((-2)/(-11)). Which is smaller: -2/1045 or n?
-2/1045
Let a = -9.9 + 6.1. Let f = 19.8 + a. Which is bigger: 0.2 or f?
f
Let q = -0.222 + 3.522. Which is greater: 2 or q?
q
Let c(d) = 4*d**2 + 44*d - 142. Let s be c(4). Which is greater: s or 1?
s
Let d = 32 + -31. Let w be 8/36 + 52/9. Suppose 5*x - w*x = d. Are x and -2 nonequal?
True
Let q = 3571/3 + -1214. Let l = q + 23. Let t = 22 + -22. Is t less than l?
False
Let x(u) = -u - 67. Let a be x(-7). Which is greater: -57 or a?
-57
Let n be (-4)/8 + 15/6. Let v be (135/(-35) - -3)*-2. Is n at least as big as v?
True
Suppose 55*r - 114 = 54*r. Is r less than or equal to -6?
False
Let u(v) = -v**2 - 11*v + 3. Let y be u(-11). Suppose y*c = 3, 4*q + 8 = 2*c - 2. Is q at least as big as -6/5?
False
Let a = -2140 + 1930. Is -1472/7 at least as big as a?
False
Let c = 454 + -493. Which is smaller: c or -30?
c
Let h = 0 + -14. Let g be (-1521)/108 - 8/(-96). Does g = h?
True
Let l = 65096327/68259 + 2/22753. Let i = l - 20309/21. Is i < -14?
False
Suppose -342 = 3*b + 3*j, 7*b - 118 = 8*b + 3*j. Which is smaller: b or -107?
b
Let o(r) = r**2 - 5*r + 6. Let w be o(3). Is -14/167 >= w?
False
Suppose -21*q - 3 + 24 = 0. Is q equal to 6?
False
Let b(x) = 44*x**3 + x**2 - 2*x - 2. Let k be b(-1). Suppose -5*y - 142 = 2*n + 64, -y - 50 = -4*n. Is y != k?
True
Let n = 17/107 + 679/2461. Let r(x) = -x**3 - 1. Let p be r(0). Is n at most p?
False
Let u be (-86)/8 - (5 + 114/(-24)). Let x be 11 + u + (-2)/(-2). Are x and 5/7 nonequal?
True
Let t = 57 - 47.2. Let k = 10.1 - t. Is k greater than 11?
False
Let g = 20 - 39. Let a = g - -4. Let y = 17 + a. Which is smaller: y or -0.03?
-0.03
Suppose -4*u + 30 = 2*y + 2, -2*u - 2*y + 10 = 0. Suppose 5*s - u = 2*s. Suppose s*c + 2*c = v + 10, 4*v + c - 2 = 0. Is v <= 1/11?
True
Let z be (1822/(-395))/((-840)/325). Let v = 1/948 + z. Let h = 12/7 + v. Which is smaller: 5 or h?
h
Let k be (-25)/5 + (-511)/(-49). Which is greater: 0.1 or k?
k
Suppose -9*a = -14*a. Suppose a*o - 3*m = -4*o + 25, 0 = 3*o + 4*m. Which is bigger: o or 2?
o
Let r(m) = 6*m + 86. Let w be r(-15). Which is smaller: -48/19 or w?
w
Suppose 21*g = 2*o + 17*g + 1014, -3*g - 993 = 2*o. Which is smaller: -502 or o?
-502
Let t = 39.91 + -40. Let u = -0.21 + 0.12. Let j = t - u. Is -2/9 > j?
False
Let r(q) = -7*q + 69. Let p be r(10). Is 2/263 bigger than p?
True
Let d be ((-3)/(-93)*2)/2. Let p = -863333/45 - -19187. Let s = p + -20/9. Which is bigger: s or d?
d
Let f be ((-116)/40397)/(18/(-7)). Which is greater: f or 0?
f
Let s = -0.5532 + 0.5532. Let q = -1243/574 + 31/14. Are s and q nonequal?
True
Let o = 95 + -94.913. Which is smaller: -2/3 or o?
-2/3
Suppose 21*g + 2 = 22*g. Suppose 2*x = 2*u, g*u + 2*x - 28 = -3*x. Suppose -5*h + 7 = -3*k, -4*h + 0 = -3*k - 2. Which is smaller: u or k?
u
Let x = -7 - -9. Let d be 1 - (0 - (-1 - x)). Let v be (d/6)/(2/6). Which is smaller: v or -2/21?
v
Let m(u) = u**3 - 5*u**2 + u + 2. Let l be m(4). Let k = 4527 - 4540. Is l not equal to k?
True
Let f = 23 + -31. Let n be 22/36 + 12/f. Which is greater: -2 or n?
n
Suppose -4*g - 3*b = -1245, 383 + 1175 = 5*g + 2*b. Let u be 1/6 + (-484)/g + 1. Let m(w) = -w**3 - 2*w**2 + 1. Let j be m(-1). Do j and u have the same value?
False
Let u be (-9)/18 - 14/(-60). Let q = 2/5 - u. Let o = 2 + -1. Which is greater: o or q?
o
Let j = 12.3 - 2.3. Let g = -13 - -13.1. Is j bigger than g?
True
Let a be (-1496)/(-330) - 6/(-20). Is a != 4?
True
Let g = -0.1 + 0.3. Let j = -0.08 + -0.1. Let c = j - -0.28. Which is smaller: c or g?
c
Suppose -16*n - 42 = -13*n. Let d = n + 5. Which is smaller: d or -6?
d
Suppose -1069 - 141 = -5*m. Let r = m - 1206/5. Suppose 0 = 108*j - 101*j. Which is smaller: r or j?
j
Let m(t) = -t**2 + 15*t - 52. Let j be m(7). Suppose -1 = -j*o + 3. Let f be ((-2)/(-16))/((-2)/(-4)). Which is greater: o or f?
o
Let y(d) = -d**3 - 7*d**2 - 6*d - 2. Let r = 1 + 1. Suppose 7*f = r*f - 20. Let n be y(f). Do -25 and n have different values?
True
Let m = 35 + -56. Let w = 21 + m. Is 1 smaller than w?
False
Let d = 0.1 - 1.1. Let l = -224 + 225. Which is greater: d or l?
l
Let z = 516 - 304. Suppose 2*q = 6*q - z. Are 52 and q non-equal?
True
Let w = 4374 - 4367. Let n = -11 - -7. Which is smaller: n or w?
n
Let i(m) = 6*m**3 - 5*m**2 + 3*m + 4. Let o be i(2). Suppose -7*n = -11 - o. Is 7 at least n?
True
Let d = -19.088 - -0.088. Let t = d + -13. Which is smaller: t or 1?
t
Let x be ((-2)/4)/(744/13392). Let r = 1 + -0.3. Which is smaller: x or r?
x
Let n be (6/((-9)/(-3)))/((-2)/41). Let t = -122/3 - n. Is -7 equal to t?
False
Let n be ((-16)/(-10) + -1)/(210/750). Let r(p) = -p**3 + 3*p**2 - p + 1. Let b be r(2). Suppose 2*l - b = 3. Are n and l unequal?
True
Suppose 5*c + 2*m = -41, 5*c + 5*m + 7 + 28 = 0. Suppose -5168*b - 200 = -5143*b. Which is greater: b or c?
b
Let o(c) = -c**2 + 3*c + 4. Let d be o(4). Suppose 3*i - 2*p - 2 = d, -5 + 0 = -p. Which is smaller: i or 5?
i
Let u be 492/(-44) + (-2)/(-11). Let a = u - -12. Let s be 6 - 8 - 1/a. Is s > 0?
False
Let p(w) = 15 - 15 - 8 - 4*w. Let g be p(-2). Is g less than or equal to 1/41?
True
Let o = -35 + 8. Do o and -8 have the same value?
False
Let h(j) = j**2 + 7*j - 11. Let s be h(-8). Let r(n) be the first derivative of n**4/4 + n**3 - n**2 - 2*n + 2. Let t be r(s). Are 2 and t equal?
False
Suppose 7*i - 4 = 3*i. Let l(r) = -2*r**3 + 5*r**3 - r**2 + 0 - r - 2*r**3 + 1. Let j be l(i). Is -1/7 greater than j?
False
Let i = -138 + 208. Let m = -17 - -17. Is i bigger than m?
True
Let j = 15057/4 + -3764. Let i(f) = f**2 - 5*f + 1. Let v be i(4). Let p be (-4 - v)/((-1)/(-3)). Do p and j have the same value?
False
Let z = -2/131 - 119/786. Let y(l) = -l**2 - 4*l - 4. Let t be y(-3). Which is greater: z or t?
z
Let g = 0.19 - -10.81. Let p = -0.024 + 0.024. Is p >= g?
False
Let i = -0.06 + 33.06. Let m = -7885 - -7885. Which is smaller: i or m?
m
Let t be 1 + 4 - 2/1. Let y(v) = 3*v + 13. Let q be y(-3). Suppose -j + 2*o - 3 = 0, j - 6 = q*j - 5*o. Is j < t?
False
Let s(z) = -13*z - 80. Let m be s(-6). Is -42 at most as big as m?
True
Let j be -1 + 27 + 0/6*-1. Is 127/5 greater than j?
False
Suppose 2*z + 2*y - 6 = 3*z, -3*y + 9 = -z. Suppose -2*q = -3*p - 14, z = 4*q + p - 16 + 2. Suppose 2 + 18 = -q*r. Is r greater than or equal to -3?
False
Let o be ((-2)/(-30))/(-4 + 98/12). Does 0 = o?
False
Let b be (-5)/(-30) - (-5)/(-120)*28. Which is bigger: b or 95?
95
Let h = 198604/55 + -17984/5. Let u = h - 6106/429. Is -1 at most as big as u?
True
Let r be 8/(-12)*(-45)/2. Suppose -3*c = -0*c - r. Let k(o) = o**3 - 5*o**2 + 3. Let l be k(c). Which is greater: 0 or l?
l
Let h(i) = i**3 + 12*i**2 + i + 11. Suppose 50 = -2*c - 2*c + j, -3*c - 30 = 3*j. Let a be h(c). Let g be ((-10)/70)/(a/(-4)). Is g <= 0?
True
Let d(b) be the second derivative of b**4/12 + b**3 + 7*b**2/2 + 27*b. Let h be d(-6). Which is smaller: 5 or h?
5
Let v = -276 - -835/3. Let p(i) = 2*i**2 + 23*i - 11. Let r be p(-12). Is r less than or equal to v?
True
Suppose 21*d - 27*d + 42 = 0. Let p be -1*(d + -4) + (-1 - 69). Which is smaller: p or -74?
-74
Suppose 0 = 5*k - 3*y + 60, -2*k - 3 = y + 10. Let j = 2761 - 2768. Is j less than or equal to k?
False
Let x(a) = -a**3 - 5*a**2 - a - 2. Let w be x(-5). Suppose -5 = -2*i + w*i. Suppose 22 = -g - 4*q, -q = -2*g + 4*q + 8. Which is smaller: i or g?
g
Let j(v) be the second derivative of -v**4/12 - 5*v**3/6 - 5*v**2/2 - 2*v. Let w be j(-4). Let x be 0 + -6 - (-2 - w). Are -5 and x unequal?
False
Suppose 382*i = 406*i. Is i not equal to -14/51?
True
Let z = 281.231 + -0.231. Which is smaller: z or 1?
1
Let s = -13.5 + 13.8. Which is smaller: -7 or s?
-7
Let t = -145.8 - -148. Which is bigger: t or 2/3?
t
Let k be 4/10 + (-4)/10. Let z be 15/10 - (-654)/(-444). Is k != z?
True
Let h = -4951/24805 + -2/4961. Let l = 6.2 - 7. Is h smaller than l?
False
Let c = -0.11 + 1.11. Let k = 1 - 3.5. Let z = 2.63 + k. Which is bigger: c o