et k be t(8). Suppose -2*r + k*r - 4 = 0. Suppose -2*l = 2*l - 8. Which is greater: r or l?
l
Suppose 43 = -21*t - 3527. Let d be (-1)/(3 + -2) - t/(-2). Is -86 < d?
False
Suppose 3*x + 44 = d + 43, -3*d + 47 = 35*x. Suppose 734 = -3*n + 281. Let v = 3472/23 + n. Is v smaller than x?
True
Let c = -26 + 9. Let o = c - -14. Which is bigger: -5 or o?
o
Let m(o) = o**2 + o**2 - 21*o - 6 - o**2 + 0*o. Let z be m(21). Which is bigger: 1 or z?
1
Let w(g) = 11*g - 319. Let t be w(29). Do t and -1/938 have the same value?
False
Let f = -305 - -645. Is 340 at most as big as f?
True
Suppose -5*h - 6 = 2*x, 0 = -h + 11*x - 7*x + 12. Let w = 0.2 + 0.1. Do h and w have the same value?
False
Let n = 6 + -6.45. Let s = 0.43 + n. Is 0.4 greater than s?
True
Suppose 0 = -r - 5*n + 15, -r + 0*r - 4*n = -12. Which is bigger: r or 7/18?
7/18
Let r = 253 + -252.7. Let q be ((-6)/14)/((-6)/(-21)). Do r and q have the same value?
False
Let f = -897/17450 + -3/349. Let u = 391/150 - f. Which is smaller: 2 or u?
2
Let g(x) = -x - 38. Let a be g(-12). Let i be (-4)/a*(-20)/(-30). Which is smaller: i or -1?
-1
Let m(q) be the second derivative of q**4/12 + 2*q**3 - 7*q**2/2 - 24*q. Suppose -2*s - 2*s - 48 = 0. Let y be m(s). Is -7 less than or equal to y?
True
Suppose 60 = 5*i - 0*i - 5*q, -4*q = 2*i + 6. Suppose -375*m = -370*m - 40. Which is greater: m or i?
m
Suppose 5*f + 30 = -5*i, -2*i - 11 = 3*f + 1. Let m(g) = -g**2 - 8*g - 11. Let p be m(i). Which is smaller: 15/7 or p?
p
Let u = 0.11 - 0.51. Which is smaller: u or -4?
-4
Let y = 737 - 738. Is y greater than 1/88?
False
Let o be (-8*(-4)/48)/((-20)/66). Let z(h) = 5*h - 1. Let y be z(1). Suppose -1 = -y*w - 13. Which is smaller: o or w?
w
Let a(v) = v**2 - 3*v + 42. Let b be a(7). Let j be -4*b/(-21) + (-2)/(-3). Is 12 equal to j?
False
Let x = 219 - 218. Is 228 not equal to x?
True
Let o be 26/182 + 8/(-644). Is o greater than 1?
False
Let r be (-4)/(-14) - (-694)/(-77). Let u(w) = w**2 + 297*w + 874. Let v be u(-3). Which is bigger: v or r?
v
Let a be (-1 + 0)/((-2)/(-22)). Let n = -30 + 18. Is a <= n?
False
Let v = 15 + -14.91. Let z = -530/279 + 52/31. Which is smaller: z or v?
z
Let z = -10.929 - 0.071. Let o = 45 + z. Which is greater: -1 or o?
o
Let b(d) = -2*d**2 + 4*d + 54. Let u be b(-18). Is u smaller than -665?
True
Suppose 2*u + 42 = 4. Suppose 4*v + 88 = -3*j, -9*j = -2*v - 11*j - 46. Is u at least v?
True
Let v = -0.288 + -7.862. Let l = v - -8. Is l bigger than 0?
False
Let i be (5/(-4))/5 - 65/(-20). Let x be 3 - (i/((-4)/(-4)) - -1). Does x = 2/15?
False
Suppose 7*p = -3 + 10. Let o = -214 - -2780/13. Let q = -3/65 + o. Which is greater: q or p?
p
Suppose 0 = 647*s - 636*s - 1100. Is 97 at most as big as s?
True
Let b be (-2 - (-8 + 4)) + 1. Let a be (b - (-5)/(-1)) + 2. Which is bigger: a or 3/16?
3/16
Let v = 919.2 - 919. Which is smaller: -16.9 or v?
-16.9
Let m(v) be the first derivative of v**3 + 3*v**2/2 - 3*v - 7. Let c be m(-3). Let g = -3 + 19. Which is smaller: g or c?
c
Let m be (-332)/(-6)*66/(-31620). Let x = -1/465 + m. Let r = -1/12 - 1/6. Which is bigger: x or r?
x
Suppose 38 - 4 = -2*q. Let h = 16 + q. Which is smaller: -4/17 or h?
h
Suppose -16*b = -30*b - 4046. Is -288 <= b?
False
Let l(h) be the second derivative of -5*h**4/12 + 11*h**3/3 + 5*h**2 + 6*h - 1. Let p be l(6). Is p <= -38?
True
Suppose -7*k - 8*k = 0. Which is smaller: k or -2/25?
-2/25
Let z be 30/(-35)*14/2. Let t be -2*(3/z)/(1 - 2). Which is smaller: t or 31?
t
Let b = 30 - 33.9. Which is smaller: 2 or b?
b
Suppose -2*j = 2*j + 4*p + 4, 0 = 5*j - 2*p - 16. Which is smaller: 15 or j?
j
Suppose 21*h - 20*h = 0. Which is bigger: h or 2/577?
2/577
Suppose -4*x + 0 = 8. Let f = -5 + x. Is -7 smaller than f?
False
Let c(n) = n**3 - 8*n**2 + 4*n + 12. Let q be c(6). Do q and -39 have the same value?
False
Let o be 1/(-2 + (-3)/(-2)). Let r(b) = 3*b**3 - 20*b**2 - 11*b + 27. Let u be r(7). Is o not equal to u?
True
Suppose 9*a + 800 + 745 = 1158. Let c be ((-84)/(-10))/((-1)/5). Which is smaller: a or c?
a
Let s = 0 - -6. Suppose -s*l = -5*l. Which is smaller: 2/33 or l?
l
Suppose o + 295 = s - 2*s, -869 = 3*o - 5*s. Is o at least -292?
False
Let x = 0.73 + -0.33. Suppose 3*p = 2*h - 2, 0 = h + 3*h - 4*p - 12. Is h less than x?
False
Let t be 1*(-92 + (-21)/(-7)). Which is smaller: -87 or t?
t
Let k = -1675 + 1675.1. Is 1345 at most as big as k?
False
Let z = 103.5 - 101. Which is smaller: z or 1/2?
1/2
Let h = 4 + -1.2. Let m = 2.9 - h. Let c = 1.5 - 1. Is c < m?
False
Let b(w) = 9*w**2 + 2*w + 1. Let o be b(-1). Let j(a) = a**3 - 8*a**2 - 3. Let d be j(o). Which is smaller: -2 or d?
d
Let u = 1/727 + -1459/3635. Does 71 = u?
False
Let q be ((-54)/36)/(2397/1200 - 2). Suppose l - 3*l = 5*b + q, -2*b = 4*l + 224. Is b <= -122?
True
Let o be (-3)/(-2572)*4/83*-242. Let r = 1/643 + o. Which is smaller: -1 or r?
-1
Let j = -8245795 + 395783137/48. Let a = j - -313. Let b = -115/912 + a. Are b and 1 nonequal?
True
Let p(l) = -l**2 - 26*l - 28. Let i be p(-25). Let r be 56/i - (-140)/84. Is r <= -18?
False
Let r = 11851 + -35554/3. Let b(w) = -w - 3. Let h be b(-3). Are r and h non-equal?
True
Let s = -46 + 147. Let n be s/30 + (-8)/40. Is 4 not equal to n?
True
Suppose 6*k = -16 - 20. Suppose 0 = -4*y - j + 18, 0*y + 2*j = y. Suppose -3*d = -y*c + 8, 5*c + 10 - 1 = -d. Is k > c?
False
Let m(q) = 11*q + 57. Let p be m(-8). Let o(r) = r**3 + 32*r**2 + 32*r + 14. Let b be o(p). Do 1 and b have the same value?
False
Let t(x) = -2*x - 3. Let i be t(-4). Suppose -2*b - 4*z - 18 = 0, 0*b + 3 = b - z. Let l(y) = -10*y - 2. Let w be l(b). Is w bigger than i?
True
Let z(y) = -y**2 + 4*y + 4. Let c be z(5). Suppose -l + 5 = 4*l. Let n be (l*5/465)/((-2)/(-18)). Is n at least c?
True
Let b be -1 + 2/(-2) + 3. Let t be ((-56)/(-272))/((-42)/(-36)). Which is greater: b or t?
b
Let a be (20/15)/(17/3). Suppose -24*k + 19 = -5. Which is smaller: k or a?
a
Suppose -3*c = 2*l - 13, 4*c + 0 = -3*l + 18. Let w be ((-54)/(-10))/(c + 24/(-15)). Which is bigger: 5 or w?
5
Let g = 2.4 - 107.4. Let t = g + 105.6. Which is bigger: 0 or t?
t
Suppose -4*u = -3*p + 12, 4*p - 9 = 6*p + 3*u. Is p less than -2/379?
False
Let c be ((-3015)/(-430) - 7)/(-1). Which is smaller: 0 or c?
c
Let q(k) = k**3 + k**2 - 5*k - 5. Let u be q(-4). Is 8 less than or equal to u?
False
Let u = 29 + -26. Suppose 13 = n + u. Let r be 4/(-8)*1/n. Which is smaller: r or 1?
r
Let y(f) = f**3 - 5*f**2 - 2*f + 2. Let l be y(6). Let h = l + -28. Do h and -3 have different values?
True
Let v(i) = 3*i - 5. Let f be v(4). Let y = f + -6. Suppose -y + 5 = -2*t. Is t at least as big as -1/2?
False
Let w = -8 - -4.2. Let t = -0.4 - w. Which is bigger: t or -1/2?
t
Let f = -2403003/1534 - -3133/2. Is 1 equal to f?
False
Let w(y) = -y + 7. Let x be w(7). Suppose c + c = x. Let s = -35 - -35. Is c greater than s?
False
Let s(q) = -4*q + 56. Let n(z) = -z + 14. Let y(h) = -9*n(h) + 2*s(h). Let m be y(18). Suppose 3*p - 7*p - m = 0. Are p and -2 unequal?
True
Suppose -3*m + 4*w = 0, -2*m - 7 = -0*w - 5*w. Let z(h) = -h**2 + 20. Let v be z(0). Suppose -n = 2*q + 4, v = 4*n + q - 5*q. Is m > n?
True
Suppose t = -3*h - 10, -6*t + 10 = 2*h - 2*t. Let m be h/(-6) - 5/10. Let w = -3 - -4. Is w > m?
True
Let z = -30 - -92. Suppose j - 5*j + 42 = -3*t, -5*j - t + z = 0. Let o be (-1 - j/(-21))*1. Which is smaller: 0.3 or o?
o
Suppose 2*j - 58 + 10 = 0. Is j bigger than 21?
True
Let d = 185 + -12. Is 172 at most d?
True
Suppose 5*x - 12 = 3. Let o(p) = -p + 4. Let g be o(x). Let c be ((-3)/3)/((-1)/g). Is c > 2/37?
True
Suppose 22*s = -4*s + 26. Are 1/730 and s nonequal?
True
Let u(w) = -w. Let b be u(-3). Suppose -2*a - b = 3. Are a and 0 unequal?
True
Let y be (-5 + -19)/(-1 - 1). Let q = y - -4. Is q at least as big as 16?
True
Let m = -17 + 10. Suppose l + k + 11 = 0, 3*l - 16*k + 1 = -11*k. Is m less than or equal to l?
True
Let x = 6392/13793 - 2/1061. Suppose 0 = -5*c + 2 + 8. Let r be (c/(-2))/(1 - 0). Which is bigger: r or x?
x
Let x be -4 + (7 - 3) + -2. Let p be -2*x/(-328)*-2. Is 0 > p?
False
Let i be (-32)/144 - 101/(-9). Let j(q) = -q + 20. Let u be j(i). Suppose -3 = u*g - 6*g. Which is smaller: -3/13 or g?
g
Let w be 2/7 + (-1)/(693/(-6438)). Let p = -1/11 - w. Is -1 not equa