ose 0 = -v - 4*t - 192, t - 23 = -v - 212. Let o = 367/2 + v. Is -4 at most as big as o?
False
Let g(k) = -k**2 + 2*k + 6. Let d be g(5). Which is smaller: d or -10?
-10
Suppose -3*o + 2 = -y - 1, -6 = -3*o + 2*y. Let p = 1 - 3. Is o less than or equal to p?
False
Suppose -3*u + 0 = 4*g - 9, -3*g = 0. Suppose -4*l + 40 = -3*y, -4*y - u*l = -0*y + 95. Let j = 138/7 + y. Is j less than or equal to 0.1?
True
Suppose 3*k - 4*h = 1, 3 = 4*k + h - 11. Which is smaller: k or -2?
-2
Suppose -4*d + 32 = 5*f, -9 = -5*f + 4*d - 1. Suppose f*l + 1 + 15 = 0. Is l > -4?
False
Let n = 114 - 117. Which is greater: n or -6?
n
Let d be -1 + -2 - 1046/(-350). Let x = d - -207/2800. Is x >= 0?
True
Let h be 8*(27/(-12))/3. Are -16/3 and h non-equal?
True
Let y be 6/(-15) - 21/(-15). Are -1/117 and y nonequal?
True
Let u be 9/2 + (-1 - 2). Let y(p) = -p**2 - 10*p + 10. Let i be y(-10). Suppose -4*s + i = -2. Is s smaller than u?
False
Suppose -23*y + 2 = -22*y. Suppose -12 = -7*o + 3*o. Let x = o - y. Is 0 < x?
True
Let w = -11/12 + 145/132. Which is smaller: w or -0.5?
-0.5
Let f be 5 + (-2015)/505 + -1. Are 1 and f nonequal?
True
Let o(y) = y - 1. Let l be o(7). Suppose -2*t + l = -0*t. Let g(n) = n**3 - 4*n**2 + 4*n - 3. Let k be g(t). Is k at most as big as -1?
False
Let r = 19 + -15. Which is greater: -0.3 or r?
r
Let g = 78314/55 + -1424. Let d = g - 496/495. Is -1 >= d?
True
Suppose 2*c - m = -6, 0*c + 5*m - 2 = -4*c. Let s be (c/2)/((-21)/(-9)). Do 0 and s have the same value?
False
Let a = -2 + 5. Suppose -2*w = s - 2 + 1, -a*s + 3 = w. Are 2/7 and w unequal?
True
Let n = -15.7 + -2.3. Let d = -511 + 510. Which is bigger: d or n?
d
Let a = -151 - -601/4. Let p(t) = t + 6. Let g(o) = o + 7. Let l(x) = -5*g(x) + 6*p(x). Let v be l(-3). Which is smaller: a or v?
v
Let k = -0.06 - 1.54. Let o = k - -0.6. Is o at least as big as 2?
False
Let h = 4/11 - -3/22. Let l = -7/10 + h. Is 0 at least as big as l?
True
Let j(u) = u + 4. Let b be j(-7). Let p = -13 + b. Let d be 2/(-8) - (-12)/p. Is -1 != d?
False
Suppose 0 = -3*r + 5*r + 26. Let f be 2/3 + r/(-3). Suppose c = b + 6, 3*b + 23 = c + f. Is b > -6?
False
Let f = 140 - 162. Is f not equal to 0.1?
True
Let i = -237 + 7345/31. Is i at least as big as 1?
False
Suppose -4*t + 74 = 30. Let s be (-6)/(-33) + 31/t. Suppose 2*n = -3*b + 6*b + 14, 4*n - s*b - 16 = 0. Which is greater: n or -2/5?
n
Let m be 0/(-5) + 3 + -2. Is m bigger than -4/19?
True
Suppose -5*s + 14 = 3*y, -4*y + 4*s = -2*y + 20. Suppose 0 = 2*l + 3*c - 21, -5*l + 30 = 4*c - c. Let h = l + y. Which is smaller: h or 2?
h
Suppose 123 = 4*t + 119. Is 4 != t?
True
Let b be ((-4)/3)/(6/(-9)). Suppose -1 + 3 = b*s. Let p = -3 + s. Which is smaller: p or -6/7?
p
Let o be -1 - (1 - 2 - -1). Let i be 2/(-4)*72/(-108). Does i = o?
False
Let r(a) = a - 9. Let j be r(9). Which is smaller: -6 or j?
-6
Suppose -3*x + 16*x - 481 = 0. Is 37 bigger than x?
False
Let t(r) = -r - 22. Let x be t(-13). Which is smaller: x or -3?
x
Let c = -30 + 29. Which is greater: 1/181 or c?
1/181
Let p be -1 + 0 + 1 + -2. Suppose -v = 3*v - 12. Suppose v*o = -10 - 5. Is o < p?
True
Suppose -5*t - 46980 = -0*t. Let q be (-1 - 0) + 11781/t. Let c = q - -1/261. Is c smaller than -2?
True
Let j(n) = 2*n**3 + 4*n**2 + 3*n + 2. Let t be j(-2). Is t > -4?
False
Suppose 2*r = c + 21, -4*c - r + 5*r = 84. Let v = 20 + c. Which is bigger: v or 3/13?
3/13
Let o(v) = -110*v - 1. Let p be o(-1). Are 110 and p equal?
False
Suppose -j - 4*j = g - 27, 5*j = g + 23. Which is bigger: g or 3?
3
Let p be 88/46 - 1 - 1. Suppose 0 = 4*x - m - 1, 2*x + 0 - 4 = 4*m. Are p and x equal?
False
Suppose 2*t + 48 = 4*t. Let r = t - 95/4. Is -3 != r?
True
Let q = 17.3 + -17. Which is bigger: 2 or q?
2
Suppose -4*v + 13 = 3*q - 0*q, 2*q = -2*v + 6. Let b(c) = -c**3 + 6*c**2 - 3*c - 5. Let d be b(5). Let p = -6 + d. Is q equal to p?
True
Suppose 3*a = -a. Let y = -29.8 + 30. Which is smaller: a or y?
a
Let j be (189/(-36))/(2/(-32)). Let f be 5 + -4 + (-81)/j. Is -1 at least f?
False
Let y = 4 - 4. Let t = 17/39 - 10/13. Do y and t have different values?
True
Let s = 0.24 - 0.2. Let k = 12 - 11. Is k not equal to s?
True
Let t(i) = -i**2 + 3*i + 2. Let q be t(3). Let y = 1 - q. Are -1/3 and y nonequal?
True
Let o = 3/214 + -3653/1070. Let k = 56/15 + o. Is 1 less than k?
False
Let l = 22 - 22. Is l at least as big as -0.09?
True
Let g(r) = -r**3 - 10*r**2 - 2*r - 16. Let u be g(-10). Is 0 at least as big as u?
False
Let o = -0.2 + 0.2. Let t = 2 + o. Which is smaller: t or -1?
-1
Let g be 3/(-15) + (-12)/(-10). Let s be g/(-2) + (-22)/4. Let u be (-4)/(-14) - s/(-21). Which is greater: -4/3 or u?
u
Let z(o) = o**3 - 5*o - 4. Let g be z(-3). Let i be 0/1 - g/12. Is i greater than 1?
True
Let j(m) = -m**3 + 6*m**2 - 6*m + 7. Let r be j(5). Suppose -3*g + 0*g + 3*t = 9, 3*g + r*t = 6. Let k be 2/12*8/12. Which is smaller: g or k?
g
Let t be 36/((-12)/(-4)) - -2. Let l be 4/t - (-32)/(-14). Which is bigger: -3 or l?
l
Let o = 3/68 + 45/136. Which is smaller: o or -1?
-1
Suppose -4*n + 4 = -0*n. Let l be 1/(-3)*(-2 - n). Which is smaller: l or 1/2?
1/2
Let z = -618 - -6792/11. Let i(r) = -r**2 + 4*r - 3. Let h be i(3). Which is greater: z or h?
h
Suppose 0 = 4*z + g + 3, -3 = -3*z + 4*z + g. Suppose -2*l = -2*a - 4 - 2, -4*l + 12 = 0. Suppose a = -3*q - 0*q - 3. Which is smaller: z or q?
q
Let f = 151/14 + -21/2. Is 30 not equal to f?
True
Let a be (0 - 0)/(-2 + 0). Is 1 < a?
False
Suppose -8*h + 4*h = 5*o - 230, 5*h = o - 17. Suppose -4*a - 5*x + 134 - o = 0, -4*a + 132 = -5*x. Let u = 223/8 - a. Is u at most as big as -1?
False
Let f = -104/63 - -10/7. Let z = -3.91 - -3.6. Let d = z - -0.01. Are f and d equal?
False
Let c(z) = z**3 + z + 1. Let m be c(0). Do m and 6/7 have different values?
True
Let q(m) = m**3 + 3*m**2 - 5*m - 6. Let p be q(-3). Is p greater than -1?
True
Let p(s) = s**2 - 19*s + 18. Let w be p(18). Which is greater: 2 or w?
2
Let o be (4/5)/(6/15). Suppose 2*y - 3*y = -3*l + 35, 4*l = -4*y + 20. Let w be ((-8)/l)/((-6)/15). Is o greater than w?
False
Let b = -173/3 + 57. Let g = 3 - 3. Do b and g have the same value?
False
Let p = -161 - -2575/16. Which is smaller: p or -1?
-1
Let h = -3/22 - 17/198. Let c be (2/(-4))/((-20)/40). Is c > h?
True
Let w(j) = 3*j**2 + 2*j + 1. Let i be w(-1). Suppose 4*l = -i + 10. Which is bigger: -1/3 or l?
l
Suppose -5*d = -0*a + 5*a - 25, -5*a = 0. Is d less than or equal to 5?
True
Let s be 7*(-10)/(-35) + 102/(-50). Which is smaller: 1 or s?
s
Suppose 4*s - 8 = -5*d, -2*d - 3*s = -8*s + 10. Which is bigger: d or 4?
4
Let n = -83 - -47. Let i be (-4 + n/(-8))*-2. Is i greater than or equal to -1?
True
Let k = 9988/45 - 222. Which is bigger: k or 1?
1
Let u = -3 + 7. Let i = u + -12. Which is bigger: -0.1 or i?
-0.1
Suppose -5*x + 4*p - 8 = 0, 3*x + p + 0 = 2. Suppose -25 = 3*h + 68. Let g = h - -153/5. Is g at least x?
False
Suppose -4*u - 5*a - 24 = 0, 5*a - a = -16. Which is greater: -7/3 or u?
u
Let h(c) = 26*c - 1. Let u be h(2). Let b be -1*(8/u)/(-4). Let k = b + -214/255. Which is smaller: 0 or k?
k
Let d(x) = -x. Let o(l) = l**2 - 5*l + 6. Let i(a) = -a**2 + 9*a - 7. Let n be i(8). Let p(u) = n*o(u) + 2*d(u). Let q be p(6). Which is bigger: -2/9 or q?
q
Suppose -4*g - 185 + 49 = 0. Which is greater: -32 or g?
-32
Let m = -20.77 + 21. Let g = -3.03 - -3. Let n = g + m. Is 1/3 < n?
False
Suppose -9 = a + d, 4*a + d - 11 = -32. Let n = -6 + 3. Is a less than n?
True
Let f = -0.15 - -11.15. Let i = 11.07 - f. Which is greater: -1 or i?
i
Let v = 11 + -11. Is 2.4 != v?
True
Let g = 595/4 - 146. Does g = 4?
False
Let p be 0 + (-1)/(-2) + -2. Suppose 8*g + 10 = 3*g. Which is greater: p or g?
p
Let u = 8 - 2. Let n be (12/(-357))/(u/(-7)). Is 1 >= n?
True
Let m = 2 + -1. Let n(b) = -b + 3. Let k be n(5). Let r be (-3)/(21/k)*7. Is m greater than or equal to r?
False
Suppose 4*r + 40 = g + 4*g, 2*g + 2 = -2*r. Do g and 9/2 have the same value?
False
Suppose y - 2*y = -5. Let m be 8/15 + (-2)/y. Suppose 5*v - 2*c + 20 = 3*c, 5*v + 11 = 2*c. Is m equal to v?
False
Let h = 10 + 0. Let l be h*((-7)/(-6))/(-7). Is -2 at most as big as l?
True
Let q be ((-4)/9)/((-2)/3). Suppose 5*l + 2*v + 2*v = -11, 0 = 5*v - 5. Let d be (-3)/(-2 - -5) - l. Is d bigger than q?
T