((-4)/(-16)). Let t = m - -11. Let y be 18/(-8) - 2/(-8). Which is greater: t or y?
t
Let n = 35 + -17. Let s = 7 - n. Is s less than 1?
True
Let o = 502 - 5526/11. Suppose -r + 1 = 0, 2*i + 4*r - 1 = 5*i. Which is smaller: i or o?
o
Let x be ((-2)/(-4))/(3/18*3). Is x less than 0.3?
False
Let l = -10.8 - -13. Let m = 0.2 - l. Let y = -0.3 - -0.4. Which is bigger: m or y?
y
Let s = 2 + -6. Let u = 3 + s. Let o(y) = -y**2 - 13*y - 2. Let j be o(-13). Which is smaller: j or u?
j
Suppose t + b + 12 = -2*b, -2*t - 8 = 2*b. Let c(o) = -o**3 - 4*o**2. Let u be c(-4). Let q = u + t. Which is greater: -1 or q?
q
Suppose 9*g - 15*g - 36 = 0. Which is smaller: g or -2?
g
Suppose 0 = 3*u + 7*u. Is u less than or equal to 9/8?
True
Let u = 11 - 11. Suppose u = -r - 2*r - 33. Do r and -11 have the same value?
True
Let i be (3/21)/((-3)/(-15)). Which is smaller: 1 or i?
i
Let v = 2 + 0. Let i = 2 - v. Let n = -9.1 - -9. Which is greater: i or n?
i
Suppose -6*m + 2*m = 12. Let p be 265/(-190) + 0/3. Let o = p - 2/19. Which is bigger: m or o?
o
Let s be -2 - -5 - 26*2/16. Do 21 and s have different values?
True
Let g(l) = l - 8. Let j be g(5). Let n be 5/(-3 + (-8)/(-2)). Suppose 12 = -n*o + 2. Which is smaller: j or o?
j
Let l(v) = 2*v - 3. Let c be l(6). Are 8 and c non-equal?
True
Let h(v) = v**2 + 11*v + 25. Let p be h(-9). Let z be (-1 - -2)*(9 - 2). Do p and z have different values?
False
Let t = -1469/5 + 250. Let k be (110 + 0)*(-2)/5. Let u = k - t. Which is bigger: 0 or u?
0
Let s(p) = -p**3 + 3*p**2 - 2*p + 2. Let j be s(2). Suppose x = -j*x + 33. Let k = x - 9. Is k less than or equal to 1?
False
Let a be 2*1 - 33/11. Is -2/7 < a?
False
Suppose 5*o - 3*u - 113 = 30, 3*u = 12. Do o and 33 have the same value?
False
Let f = -8.71 - -4.65. Let o = f - -4. Let q = 0.14 - o. Which is smaller: 0 or q?
0
Let u be 1/1 + (-2 - 2). Are u and -4 nonequal?
True
Suppose -2*u + g + 3*g = -4, -4 = -5*u + 4*g. Which is greater: -9/7 or u?
u
Let p = -2/41 + 49/164. Let c be ((-8)/20)/((-1)/15). Suppose g + 3 = -3*o - 2*o, -2*g + c = -2*o. Which is greater: o or p?
p
Suppose -2*x = -4*t + 16, -5*x - 12 + 37 = 3*t. Suppose -3*l + x - 8 = 0. Let a be 3 - (l - (-2 - 3)). Is a != -1?
True
Let v = -21 - -21.18. Let u = -1.82 - v. Which is smaller: -5 or u?
-5
Let c(p) = -p + 5. Let f be c(5). Let h = 0.37 - 2.77. Let t = 2.5 + h. Which is greater: t or f?
t
Let x(f) = -2*f**3 + 9*f**2 - 11*f + 5. Let l be x(3). Let i be (4/(-70))/((-2)/(-20)). Which is smaller: l or i?
l
Let k = 3 - 2. Suppose 5*n = -4*m + 3, 2*m + 2*n = -3*n - k. Let u(o) = -o**3 + 7*o**2 - o + 5. Let j be u(7). Is m at most j?
False
Let u be -2 + 3 - (-2)/2. Do 3/5 and u have different values?
True
Let l = 3/5 - 1. Which is greater: 0.05 or l?
0.05
Let c = -0.34 - -0.34. Are -2 and c equal?
False
Let n(a) = a**2 - 5*a - 2. Let d be n(6). Is 1 not equal to d?
True
Let t be (53/(-70))/(2/8). Let z = 17/7 + t. Let w(k) = -k**3 - 19*k**2 - 18*k - 1. Let u be w(-18). Is u < z?
True
Let c = -65.97 - -66. Is c bigger than 0?
True
Suppose 10 = -3*g + 4*g - 4*r, 4*g - 1 = 3*r. Let j be -3 + 2/g + 4. Is j equal to -2/17?
False
Let j = -1 - 4. Let o be j/((-15)/6)*-1. Does -4 = o?
False
Let s = 2 + -6. Let b(a) = 2*a + 6. Let d be b(-3). Suppose -3*f - 15 = d, 0 = -5*h + 4*h - 5*f - 29. Are h and s unequal?
False
Let q be -1 + 570/141 + -3. Are q and -1 nonequal?
True
Let h(m) = 2*m**2 + m + 2. Let z be h(0). Let r = 3 - 2. Is z bigger than r?
True
Let x be 3/((-405)/129) + 1. Is x at most -1?
False
Let f be (-4*4)/(165/(-258)). Let x = -126/5 + f. Which is greater: x or 0?
0
Let c be -3 - (52/(-12) - 3). Let g = c - 29/6. Suppose 3 = i + 5. Which is smaller: i or g?
i
Let a be (-8)/6*(-81)/54. Suppose -2*o - 8 = 3*q, 4*q + 9 + 3 = -3*o. Which is smaller: q or a?
q
Let m = 17 + -18. Which is smaller: 6 or m?
m
Let b(j) = j**2 + 10*j + 6. Let s be b(-9). Let z be 4*3/(s/(-1)). Let p(m) = -m - 5. Let u be p(-8). Which is bigger: z or u?
z
Let d = -2 - 2. Which is greater: -0.06 or d?
-0.06
Let h = -1 - -1. Suppose -6 = -3*w - h*w. Which is smaller: w or -3?
-3
Let s be (-2)/(-3) - (-175)/(-15). Let y = s + 8. Which is bigger: -1 or y?
-1
Let i be 2/(-10)*(-9 - -7). Is -0.14 at least as big as i?
False
Let c(i) = -i**2 + 15*i + 30. Let s be c(16). Which is smaller: s or 12?
12
Suppose 2*f - 70 = -3*f. Suppose l + c = 0, 0 = -4*l - 2*c + 3*c. Suppose 6*r - r - 3*j + f = l, -2*r + 4*j = 14. Is r bigger than -1?
False
Let p(x) = x - 6. Let v be p(7). Is -2/9 greater than v?
False
Let q = -17.66 - 0.34. Let t = q - -17.9. Is t at least as big as -0.15?
True
Suppose 2*r - r - 6 = 0. Which is smaller: r or -2?
-2
Let v(i) = -2*i**2 - 3*i - 2. Let r be -1 + (-3)/(-6)*-2. Let l be v(r). Let t(o) = -o**2 - 3*o + 2. Let z be t(l). Is z < -4/7?
True
Suppose 18 = -2*s + 8*s. Let n(v) = -v - 5. Let f be n(s). Do f and -8 have the same value?
True
Let z = -1 + 0.6. Let c = 3.6 - 0.6. Is c smaller than z?
False
Let z = -37 + 37. Suppose -4*l = 5*h + 7, 3*l = -2*h - h - 6. Let c = h + 1. Is c at most as big as z?
False
Let i = -77.1 - -77. Let y = -253/36 + 29/4. Is i not equal to y?
True
Suppose -10*k = -16*k + 12*k. Let u = -3 + 6. Does k = u?
False
Suppose -2*c = -6*c. Let i(q) = q + 1. Let o be i(0). Suppose -5*y = -4*y + o. Is y equal to c?
False
Suppose 6 = 2*l - 4. Suppose 0 = -5*k + 18 + 2. Which is greater: k or l?
l
Let j be (12/(-9))/(10/315). Let t be 49/j*(-4)/(-2). Which is smaller: t or 0.1?
t
Let n(g) = g - 96. Let i be n(27). Is -69 at most as big as i?
True
Let o be (-4*5/(-100))/((-28)/(-5)). Which is bigger: 1 or o?
1
Let h be 1746/(-27)*3/(-40). Let o be 21*((-2)/(-2))/(-4). Let w = h + o. Which is smaller: w or 0?
w
Let d = -2/89 + 362/267. Let g = 0 - -1. Is g <= d?
True
Suppose s - 4*u + 8 = -3*s, 3*u - 6 = -s. Let y be 57/(-209)*(-1)/(-3). Do s and y have different values?
True
Let a = -0.065 + 0.165. Is -1.2 less than a?
True
Let x = -141.8 + 129. Let j = -13 - x. Is j >= 0.1?
False
Let i = 0 + 2. Which is smaller: i or 3?
i
Let f = 0.1 + -0.2. Let s = -0.3 + 0.3. Let c = s - -0.2. Is c < f?
False
Suppose 40 = a + a. Suppose 0*q + a = 5*q. Is q equal to 3?
False
Let u = 5 + -3. Let n(c) = -c**3 + 4*c**2 + 1. Let r be n(4). Are u and r unequal?
True
Let o = 4.8 - 6.8. Which is bigger: 0.1 or o?
0.1
Let f = 64.9 - 65. Which is greater: f or -10?
f
Let i be (-1 + 384/2)/7. Let z = 27 - i. Let v = -6.9 - 0.1. Is z greater than v?
True
Let n(q) = q - 9. Let a be n(-5). Which is greater: -12 or a?
-12
Let a = 21 - 148/7. Is 0 less than a?
False
Let l(w) = w**3 - 6*w**2. Let n be l(6). Suppose -b = -n*b - 12. Let p = b + -32/3. Is 0 != p?
True
Suppose -5*x - 100 = -0*f - 4*f, -65 = 5*x + 3*f. Is -15 bigger than x?
True
Suppose 34*u - 1 = 35*u. Let g(m) = m + 10. Let l be g(-6). Let o(d) = d**2 - 3*d - 5. Let s be o(l). Is s not equal to u?
False
Suppose 12 = -5*o - 18. Let l = o - -6. Suppose -3*x + 5*h = 16, 4*h + l - 10 = x. Are -2 and x unequal?
False
Let b be (-2 + -1)*2/(-12). Is b < 20?
True
Let w = 11 + -10.9. Let t = w - 0.2. Let y be ((-9)/(-4))/(-3)*4. Is y > t?
False
Suppose k = 3*k - 10, 0 = -5*o + 2*k - 825. Let c = o + 649/4. Which is smaller: c or 0?
c
Let u be 5/(-1)*(-2)/15. Suppose 0*j = 3*j - 3. Are u and j non-equal?
True
Suppose 0*p - 27 = -3*p. Suppose 4*a - p = -3*r, 5*r - 4*a + 0*a = 15. Let d(l) = l**3 + 5*l**2 - 7*l - 3. Let i be d(-6). Do i and r have different values?
False
Let i = -0.74 + 0.7. Let j = i + -0.06. Is j bigger than 0.07?
False
Let s = -0.97 - 1.13. Which is smaller: -2 or s?
s
Let y = 0.1 + 0.7. Let r = 0.2 + y. Are r and 0 nonequal?
True
Suppose 4*o - 4*n + 4 = 2*o, 5 = -3*o + 5*n. Let r be 0 + (-4 - (-2 - o)). Let v(c) = c**2 - 4*c - 7. Let p be v(5). Is r at most p?
True
Let i = 27.1 + -27. Which is smaller: 3/5 or i?
i
Let a be (-60)/(-25) - (-3)/5. Suppose 5*n - 2 = -2*m, -2*m = -a*m + 1. Let r = 817/9 + -91. Is n equal to r?
False
Suppose -2*v + 113 = -117. Do 115 and v have the same value?
True
Let x be (-3)/(-6) - (0 + (-15)/(-54)). Which is bigger: 1 or x?
1
Let q = -6 - -1. Let i be 0/(q - -3) - -1. Is 1 smaller than i?
False
Let t be 16/(16/4) + -14. Which is bigger: t or -2?
-2
Let w = -22/17 - -361/187. Which is smaller: w or 2?
w
Suppose -3*o - 18 = 3