+ -3). Let m = 0 + 1. Is m <= s?
True
Let x(y) = -y**3 - 11*y**2 - 4*y - 3. Let q be x(-11). Suppose 4*i = 1 - q. Let a = i + 10. Is -1/41 smaller than a?
True
Let j = -1.16 + 1. Suppose 3*n + 6 = -39. Let b = -29/2 - n. Which is smaller: b or j?
j
Suppose 2*k + 26 = -3*r, -2*k - 2*r = -r + 30. Let u be (-2 - k/5) + -1. Let v = 8 - 8. Is v at least as big as u?
False
Let x = 2/881 - 913/14096. Let w = -31/272 + x. Is 1 at least as big as w?
True
Let f be 102/(-702) + 4/18. Suppose 0 = -14*q + 9*q - 5. Which is smaller: q or f?
q
Let w be ((-2)/20)/(3/(-6692436)). Let k = 222244 - w. Let i = -840 - k. Is 1 not equal to i?
True
Suppose -5*k + 3 + 3 = 3*h, 4*h + 5*k - 3 = 0. Let i be (1 - 0) + h - -1. Let w = -19.2 - -19.2. Is w bigger than i?
True
Let t = -85 + 128. Let r = t + -83. Which is smaller: r or -1?
r
Suppose f = 5*f - 2*j - 18, -5*j + 3 = 2*f. Let h = -2 + 4. Suppose -2*b + 2*k = -h, -b - 4*k = -3*b - 6. Which is smaller: b or f?
f
Let i be 1868/6 + -1 - (-10)/(-30). Does 309 = i?
False
Suppose 2*k + 6 + 0 = 0. Let j be (-1)/k + 86/(-114). Let h = j - -73/38. Which is bigger: 2 or h?
2
Suppose -5*o + 5*v + 555 = 0, -2*o + 135 = -v - 92. Is 113 equal to o?
False
Let t be (-12)/18 + -3*(-4)/(-36). Which is bigger: t or 0?
0
Let o(g) = g**2 - 3 - 10*g + 17*g - 11. Let r be o(-9). Suppose 51 = r*w - w. Is 17 greater than w?
False
Let r = 81/7 - 71/7. Let p(g) = -g + 6. Let f(c) = -c**2 - 5*c + 6. Let w be f(-5). Let j be p(w). Is r at least j?
True
Let z = 591 + -678. Are -89 and z nonequal?
True
Let n = -1 + 1. Let i = 316/5 - 4113/65. Does n = i?
False
Let w be 3/(-2)*((-612)/(-42))/17. Let i = -0.4 + 0.3. Does w = i?
False
Let x = 37 - 25. Suppose 6*j - 7 = 5*z + 2*j, 5*j = 3*z + x. Let a = -21 - -87/4. Which is smaller: z or a?
a
Let w(h) = -h**2 - 6*h + 6. Let k be w(7). Let o be 253/k + (-6)/(-2). Let z = 164/255 + o. Which is greater: z or -0.03?
z
Let y(z) = -30*z - 36. Let i be y(-1). Suppose -4*o = -9*o + 3*m - 40, -o = 5*m - 20. Is o < i?
False
Let d(o) = -o**3 + 6*o**2 - 3*o - 7. Let f be d(5). Suppose -2*w + n - 3*n = -74, -4*w - 2*n + 146 = 0. Let u be 4*(0 + w/80). Which is smaller: u or f?
u
Let m = 44/1845 + 404624/53505. Are m and 9 unequal?
True
Let h = 0.0531 - -0.2469. Let w = -0.2 - -0.7. Let q = 0.2 - w. Which is greater: q or h?
h
Let i be 37/(-5) + 10/25. Let r be 2/((-14)/i) - 4/(-2). Is 11/7 != r?
True
Let m(p) = -p**3 - 7*p**2 - 8*p - 5. Let n be m(-6). Let a be 63/(-54) - (-637)/78. Does a = n?
True
Let f(v) = -55*v - 5445. Let j be f(-99). Let n = 279/221 + -28/17. Is n equal to j?
False
Suppose -2*q - 15 + 19 = -2*j, 3*j = -2*q - 1. Is 7/86 smaller than j?
False
Let z = -215 - 607. Which is smaller: z or -823?
-823
Let h(l) = l**3 - 29*l**2 + 75*l + 5. Let p be h(26). Which is smaller: p or -72?
p
Let v be (-1 - 3378/(-4482)) + (-6)/(-27). Which is bigger: v or 1?
1
Suppose 27 - 84 = -57*p. Does -1/1075 = p?
False
Let c = 249 + -385. Is c less than -136?
False
Let l be (-3 + (1 - -1))/(22/2). Let m(s) be the second derivative of s**3/6 - 4*s**2 + s. Let f be m(8). Which is smaller: f or l?
l
Let u(a) = -2*a + 3. Let f(q) = -3*q + 4. Let c(n) = 3*f(n) - 4*u(n). Let g be c(0). Let s be (-1 + (-34)/(-30))/((-48)/(-72)). Which is bigger: s or g?
s
Let g(u) be the first derivative of 8*u**3/3 - u**2/2 - 20. Let l be g(-1). Which is smaller: 2 or l?
2
Let p(c) = c**3 + 8*c**2 + 9*c + 10. Let l be p(-7). Let v be -2 + l + 1*5. Is v at most as big as 1/4?
True
Let h(s) = -9*s - 4. Let b be h(-2). Suppose -b = -6*q - 2. Suppose -q*c + 4*c = 0. Which is greater: -4 or c?
c
Let k be ((-24)/30)/((-1)/(-15)). Let p(f) = f**2 - 7*f - 7. Let o be p(8). Let a = o + -12. Which is smaller: k or a?
k
Let g = -69490/7513 - 16/683. Let p = g - -1508/165. Let c = -2 + 2. Is c > p?
True
Let r = 0.08 - -1.92. Are r and -7/3 nonequal?
True
Let s(p) = 39*p - 62. Let f be s(5). Do f and 132 have different values?
True
Let y be ((-6)/(-8))/((-4)/32). Let b be 68/(-20) - y/15. Is -3 at least as big as b?
True
Let v(r) = 22*r - 175. Let g be v(8). Is g < -1/1437?
False
Suppose 6*z - 8*z + 6 = 0, -5*z + 15 = -5*g. Let i be (3/(-294))/((-2)/8). Is g greater than or equal to i?
False
Let n = 25 + -9. Suppose 0 = 3*k, 2*g - 3*k - n = -5*k. Suppose 2*l - 3*i = -g, -l - 5 + 1 = 5*i. Which is bigger: -3 or l?
-3
Suppose 5*m - 87 - 66 = 4*p, -3*m = -5*p - 97. Let a = -57/2 + m. Which is greater: a or 0?
a
Let g be (-8)/2 + (12 - 14). Let o = 8 + g. Is 2 <= o?
True
Let o = -8 - -11. Suppose -4*n + 2*x = 6*x - 4, -o*x = -5*n + 13. Let d(f) = f**3 - f**2 - f + 2. Let t be d(0). Is n at least t?
True
Suppose -4*d = 52 - 4. Suppose -t = 4*t - k + 5, -5*t + 2*k = 0. Let s be (1*t/5)/(2/60). Is d < s?
False
Let k(b) = b - 2. Let y be k(3). Let i be (-6)/10*(-3)/9. Is i > y?
False
Let q = -34.8 - -39.8. Which is bigger: q or 17/5?
q
Let m = 166 + -88. Which is smaller: m or 79?
m
Let c be (27/(-6) - -4)*10. Let j be (-30)/(-9)*(-6)/5. Let r = j - -1. Which is smaller: r or c?
c
Let x = 6.9 + -18.9. Which is greater: 0 or x?
0
Let r = -12 - -12. Let z = 12 - 33. Let o be (3/10)/(z/56). Which is greater: o or r?
r
Let y = 8.5 + -5.8. Let j = 2.7 - y. Let n = -3 + 2.94. Is j less than or equal to n?
False
Let c = 97/2 + -695/14. Is c != 0.2?
True
Let w(d) = 5*d + 7. Let s be w(-23). Let q be -3*8/s - 119/9. Is -12 equal to q?
False
Let f = 1493 - 50741/34. Let c = f + -1/442. Let l = c - -2/39. Is l bigger than -3?
True
Let z(d) = -d**3 + 10*d**2 + 13*d - 20. Let q be z(11). Suppose 4*k = q*r + 12, -4*r - 9 = -7*k + 2*k. Which is smaller: 0 or r?
0
Suppose 3*k + 7 = -23. Let f = 0.017 - -0.983. Which is smaller: f or k?
k
Let l be (-2)/2 - 160/(-20). Let f = l + -24. Is -16 bigger than f?
True
Let u be ((-560)/(-12))/(-7)*3*-1. Suppose -u = -3*t - 17. Is t greater than 2/9?
True
Let u(b) = 3*b + 1 + 6*b + b**2 + 12 - 1. Let j be u(-9). Let m be ((3/(-6))/(-1))/((-5)/10). Which is bigger: m or j?
j
Suppose 5*g + 3674 = -17*g. Which is smaller: g or -166?
g
Let t be (0 + 4/14)/((-3)/(-21)). Suppose 3*h = 2*h - t*n, 2*n = 0. Is 1/30 greater than or equal to h?
True
Let l be (-2)/(-100)*5*(0 - 2). Let z be -1*1 - (-2 - 1). Suppose 0*p = z*p. Is p < l?
False
Let w be (-56)/((-4)/2*1). Suppose -2*b = 5*b + w. Let u be (-3)/2*(1 + 1). Is b < u?
True
Let j = 21 + 66. Which is greater: 86 or j?
j
Let t = -38 + 44. Suppose -t*k = -13*k - 119. Which is smaller: -18 or k?
-18
Let w be 63/(36/8 + -2). Let m = 25 - w. Which is smaller: -1/3 or m?
-1/3
Suppose 0 = i + 2*i - 3. Let n be 12/(-3)*19/(-798) + 128/(-1050). Which is smaller: n or i?
n
Let f(t) = t**2 + 12*t + 15. Let h be f(-6). Let d = -64/3 - h. Let g(k) = k**3 - 6*k**2 + 5*k. Let m be g(5). Are m and d nonequal?
True
Suppose 0 = -2*s + 4 - 2, 2*s - 2 = f. Let x be (0 - f)*7/(-14). Let j be x/(-2)*6/12. Do -2/5 and j have the same value?
False
Let t = 88.6 - 69. Let u = -40 - -61. Let a = t - u. Is a not equal to 2/7?
True
Let l(k) = k - 23. Let h be l(17). Let t be (-27)/(-6)*h/(-9). Which is smaller: t or 14/9?
14/9
Let t = 31.876 - 31.2. Let w = 0.076 - t. Which is smaller: 0 or w?
w
Suppose -11*m + 360 = -6*m. Let y = m - 362/5. Is -2/7 at most y?
False
Suppose -2*b + 16 = -2*z, 3*b - 2*z = -7 + 26. Suppose 5*k + q = -b*q - 13, -2*k = -5*q - 8. Do -1 and k have different values?
False
Let h(l) = -2*l - 6. Let t be h(-4). Let p = -1.09 + -0.21. Let g = -0.7 + p. Which is smaller: g or t?
g
Let o = 124 - 234. Let f be (-70)/o + (1 - 2). Are f and -1 unequal?
True
Let t = -10.922 - -11. Let y = -0.022 - t. Is y less than 1?
True
Suppose 18*d + 4 = 22. Which is bigger: 5/368 or d?
d
Suppose 3*a + 4*i - 19 = 21, -3*i = -4*a + 45. Let z = 3 + a. Is 16 > z?
True
Let u be 4/10 + (-6)/40. Is -16.1 at most u?
True
Suppose -2*y = -2*s + 28, 7*s - 4*y = 6*s + 8. Let l be (-2 - 1 - -15)/(-1). Let c = 27 + l. Are s and c nonequal?
True
Let m(b) = -6*b + 33. Let z be m(8). Let q = -15 - z. Is q at most 12/17?
True
Suppose 0 = 4*i - 20, 4 = -5*c - 2*i + 39. Let n be 57/c - 26/65. Let q = n + -21. Is -10 smaller than q?
False
Let x = 152 - 144. Let v(u) = u**3 + 6*u**2 + 4*u + 2. Let h be v(-5). Suppose 3*b + x + h = 4*t, 15 = 3*t - 3*b. Do -5 and t have different values?
True
Let g = 85.8 - 116. Let q = g + 30. Whi