)/4)/1. Let r = j + 43. Is -11 at most as big as r?
True
Let n be -1 - -16 - (11 + -6). Suppose 0 = -4*z + 9*z + n. Which is smaller: z or -21/8?
-21/8
Let k = -2 - -7. Let m be 10/(-24)*(-2)/k. Let h = 1.2 + -0.2. Is h bigger than m?
True
Suppose -2*d - d = 39. Let a = -37 - -36.984. Let v = a + -0.084. Is d smaller than v?
True
Suppose 4*v = 2*n + 24, -4*v + 4*n - 22 = -50. Let y = 70 - -42. Suppose -v*t - y = 28. Is t greater than -29?
True
Let l be (-7 - (-835)/105)*-12. Which is smaller: -12 or l?
-12
Suppose 5*a = -5*n + 30, 7 = 5*n - 2*a - 2. Let d(c) = -c**3 + 3*c**2 - 2*c + 4. Let i be d(n). Is -2 less than i?
False
Suppose 11 + 10 = 3*w. Let a = 0.21 - -0.09. Is a greater than or equal to w?
False
Let x = -13 - -11. Let s be (1 + x)/(-2 + 1). Let t be (-16)/10 + s + 0. Is 0 equal to t?
False
Suppose -3*t + 2*i = -10 + 4, 0 = t + 5*i - 19. Suppose 0 = -t*q + 3*q - 10. Does -9 = q?
False
Suppose -2*i = -8, -p - 4*p = 4*i + 34. Let t = -8 - p. Suppose -5 = t*f + 3*f. Is f less than or equal to -1/5?
True
Let h = -0.19 + -19.81. Let w = h + 21. Which is smaller: -36 or w?
-36
Suppose 0 = -20*p + 42*p - 44. Which is smaller: p or 217?
p
Let d be -12*4*2/(-12). Suppose -13*u + 115 = -d*u. Suppose -8 + u = -5*p. Is p <= -3?
True
Let m be ((-1)/3 + 0)*-2. Suppose -t + 18 = -2*t. Let n = -16 - t. Which is bigger: m or n?
n
Let p be ((-2)/(-8))/(22/5269). Let w = p - 60. Which is greater: 1/5 or w?
1/5
Let g be (-170)/(-340) - (-511)/2. Is g > 257?
False
Let i be (-14)/(-12) - (-1)/2. Let d = -30 + 30.16. Let h = d + -0.16. Is i <= h?
False
Let v(g) = -g. Let u be v(4). Let y(r) = -r**2 + 5. Let f(o) = o**2 - 4. Let k(w) = u*y(w) - 5*f(w). Let i be k(1). Which is smaller: -12/11 or i?
-12/11
Let s = 3640/123 - -44/41. Which is smaller: 32 or s?
s
Let i = -150 - -151. Is i <= -199?
False
Let s(c) be the third derivative of -c**4/12 + 2*c**3 + c**2. Let k be s(6). Let v = -1/85 - -266/935. Which is smaller: v or k?
k
Let x = -67 - 37. Let s = x - -99. Is s less than or equal to -1.7?
True
Let a(p) = 2*p + 2*p - p**2 + 0*p**2 + 4*p - 4. Let k be a(7). Suppose -3*w + h - 4 = 0, 10 + 0 = -2*w - k*h. Is w equal to -5/6?
False
Let j be -3 - (-72)/30 - 6/(-10). Let l = -10/23 + 979/2093. Is j equal to l?
False
Let g = 23/8 - 121/40. Suppose -56 = -5*q - 4*a, -3*q - 5*a = -8*a - 39. Suppose 0 = 5*h - 5*v - 8 - q, -2*h + 13 = -3*v. Which is smaller: h or g?
h
Let q = 38273/3 + -12882. Which is greater: -123 or q?
-123
Let x = 35.86 + -5.86. Which is bigger: x or -0.01?
x
Let x = -2/1487 - 4399/46097. Let z be (-9)/(54/12) - -3. Let u be (2 - 1)*(2 - z). Are u and x equal?
False
Let k be 5/(-2)*(3 - 144/45). Are k and -3.3 non-equal?
True
Let l = -7 - -6.96. Let f = 0.059 + 0.901. Let i = f - l. Are i and 4/9 unequal?
True
Let u = -4 + 11. Let q = -83 - -76.1. Let s = u + q. Is s < -2?
False
Let z(k) = -k**3 + 5*k**2 - 3*k - 1. Let v be z(4). Let g be (-3)/(-2) + v/(-6). Let i be 8/3*g/(-10). Is i >= 1?
False
Let y be (-4375)/49 - (5 + 0). Let v = -94 - y. Which is smaller: v or 3/47?
3/47
Let p(m) = -m**2 - 8*m - 192. Let x be p(-39). Does x = -1401?
True
Suppose j - 5 = 13. Suppose -47*u = -49*u + 34. Which is greater: j or u?
j
Let x(v) be the third derivative of -v**5/60 + v**4/4 + 7*v**3/6 - 9*v**2. Let i be x(6). Is 13 smaller than i?
False
Let r be 3*2/6 + 18. Suppose -4*x + r = -5*d - 2*x, -d - 2*x + 1 = 0. Let n = -38 + 35. Do d and n have the same value?
True
Suppose 3*q = -2*q. Let c(d) = d + 16. Let j be c(q). Which is smaller: j or 14?
14
Suppose 0 = -p + 4*p - 27. Suppose -18 = 8*j - p*j. Are 17 and j unequal?
True
Let i(p) = p**2 + 7*p + 9. Suppose 2*b - 42 = 8*b. Let a be i(b). Let s be 12/a*3/2. Do 3 and s have the same value?
False
Suppose -3*g - 75 = 2*g. Let o = g - -18. Does o = 2/9?
False
Suppose -3*l + 12 = -9. Let u(t) = 6*t**3 + 0*t**2 - l*t**3 - t + 0*t**2. Let n be u(0). Is n smaller than 1/9?
True
Let n(c) = -c**2 - 9*c - 28. Let u be n(-9). Is u bigger than -29?
True
Let r = -1605 + 251. Let u be (-1)/(-5) - r/(-70). Let i = u + 1601/84. Are i and 2 non-equal?
True
Suppose -3*o + 287 = 1970. Which is smaller: o or -562?
-562
Let j be 6/(-10) - (-96)/(-15). Let u be ((-2)/j)/((-2)/(-14)). Is 8/3 smaller than u?
False
Let c(r) = r**3 + 32*r**2 + 2*r - 13. Let x be c(-32). Is x at most -77?
True
Suppose d + 4*k + 80 = 5*d, 5*d + 4*k = 82. Let o be (-220)/693 + (-2)/d. Which is greater: o or 1?
1
Let d = 34 + -67. Let t = d - -31. Which is smaller: -8/9 or t?
t
Suppose -357 + 357 = -18*j. Let l be (0 - 0) + 1 - 13. Which is smaller: l or j?
l
Let v = -0.23 + 3.43. Let h = v - 3.4. Let r = -6 - -8. Is h less than r?
True
Let a = 6.9 + -16. Which is greater: 6 or a?
6
Let c = -8460/17 + 498. Suppose 2*n + h = -3 + 5, 5*n + 3*h - 5 = 0. Is c < n?
True
Let k = 42 + -50. Let q = k + -3. Is 1 at least q?
True
Let n be (2/(-3))/((-2)/(-3)). Let u be (8/(-52))/(n - -7). Which is smaller: 1 or u?
u
Let z be (-85)/(-15) + 2/(-3). Suppose g - 12 = -z*j + 2*g, -6 = -5*j - 2*g. Suppose 0 = -q - q - j. Which is bigger: 1 or q?
1
Let d(z) = -13 + 4*z**2 - 2*z**2 - 5*z**2. Let x(r) = r**2 + 6. Let v(s) = -2*d(s) - 5*x(s). Let q be v(-4). Which is greater: q or 13?
13
Suppose -c = -5*x + 51, -5*x + 5*c + 22 + 13 = 0. Is 6 at most x?
True
Suppose -3*w - 54 = -4*s, 5*w + s = 6*s - 90. Let x be (-77)/63 - 4/w. Let u be 60/(5 + x) + 1. Which is smaller: u or 15?
15
Let r = 20 + -24. Let s be (3 + (-33)/6)*r. Suppose i - 4*f + 9 = 0, -2*i + s + 8 = 4*f. Does i = 8/3?
False
Let h = 12 - 10. Suppose -h*q = 4*i - 6, 4*q - 2*i - 6 = -4*i. Which is smaller: q or -2/15?
-2/15
Let o be -2 - (4/(-2) - -2). Suppose 23*h - 26*h = 2580. Let r = -9466/11 - h. Which is bigger: o or r?
r
Let l(i) = i**2 + i + 5. Let s = -2 + 7. Let h be l(s). Let v be (-4)/h - (-16)/(-56). Is -0.2 <= v?
False
Let t = 348 + -305. Is -1 < t?
True
Let j = -25 - -27. Let w be (j/4)/((-5)/(-90)). Let p(h) = h**3 + 6*h**2 - 7*h + 2. Let g be p(-7). Are w and g nonequal?
True
Let s be -1 - ((1 - 5) + -1). Let l(i) = -2*i**3 + 76*i**2 + 79*i - 34. Let t be l(39). Is s less than or equal to t?
True
Let y(a) = -a + 8. Let w be y(6). Suppose -2*m + 5*s - 35 = 0, -w*s + 50 = -3*m + 3*s. Let q(g) = -g**2 + 8*g - 7. Let o be q(9). Which is bigger: o or m?
m
Let u = 0.9 - 1.6. Let s be ((-2208)/(-364) + -6)/(3/7). Which is smaller: u or s?
u
Let b(l) = l**3 + 15*l**2 + 3. Let q be b(-15). Suppose -r = 4*y + 38, 2*r - 5*y + 65 = -q*r. Which is smaller: -17 or r?
r
Let w be -1 + 46/14 + 2/(-7). Do w and 0.203 have different values?
True
Suppose 2*p = -8 - 2. Let o = 212 + -6574/31. Which is smaller: p or o?
p
Let j(i) = -2*i + 7. Let y be j(0). Let l = 2 - y. Let h be (-23)/6 - (-1)/3. Which is bigger: h or l?
h
Let p(s) = -s**3 - 14*s**2 - 19*s - 10. Let u be p(-13). Let i = 71 - u. Which is greater: 4 or i?
4
Let a be (-4*(-2)/(-8))/(2/(-10)). Which is smaller: 3 or a?
3
Suppose 5*n + 105 = 100. Which is smaller: -6/155 or n?
n
Let g be ((-200)/(-60))/(4/(-18)). Suppose -2*d - 38 = -3*k, 3*k = 4*d + k + 60. Is d at most g?
False
Let k(j) = 4 - 16*j + 3*j**2 + 1 - 2. Let l be k(5). Is l less than -3?
False
Let n be 3/4*(8/(-3) + 3). Which is smaller: n or 20?
n
Let z be 7/(-3) + 2/6. Let f = z + 2. Let y = 256 - 256. Is f at most y?
True
Suppose -5*c - 10 = 0, -20*s + c - 578 = -24*s. Is s <= 145?
True
Suppose 0 = 2*p + 5*c - 40, -5*p - 10*c + 5*c = -85. Let w(l) = -l**2 + 5*l + 6. Let d be w(6). Which is greater: p or d?
p
Let b = 302 - 152. Is 150 at most b?
True
Let o = 22 - 78. Suppose 47*s = -39*s. Is o less than s?
True
Let w be (2/(-4))/((111 + 3)*-1). Let i = 2513/1140 - w. Which is smaller: i or 2?
2
Let c = 271 - 258. Which is smaller: -3 or c?
-3
Suppose 0 = 8*c - 4*c + 5904. Let g be 108/c*4/6. Let n(r) = -r. Let k be n(1). Which is smaller: g or k?
k
Let d = 1.4 - 8.4. Let t = -120 + 93.9. Let r = 26 + t. Are r and d unequal?
True
Let v = -72 - -358/5. Let o = 31 - 34. Let y be o - ((-52)/15 - 3/15). Does y = v?
False
Let s = 0.3 - -29.7. Let x = 23 - s. Let t be (-4)/(-14) - 40/42. Which is smaller: t or x?
x
Suppose -q = -2*f + 6*f + 27, -5*q = f + 97. Let v(r) = -5*r + 10. Let m be v(6). Which is bigger: q or m?
q
Suppose 0 = -7*w + 11*w. Suppose 17*q - 16*q = w. Suppose 4*u +