44/(-110))/(2/(-60)). Suppose 0 = a + 5*z - 11 - 2, 0 = -3*z + v. Which is smaller: a or -5?
a
Suppose 2*h + 109 = 269. Suppose -23 + h = 3*s. Suppose 0 = -3*l + 4*m + 25, -l - 3*m + s = m. Is 1 at most l?
True
Let k be (0 - (-56)/8) + 7*-37. Which is bigger: -1762/7 or k?
-1762/7
Let h = 0 + 3. Suppose 6*i - 161 = -287. Let d be h*-7*18/i. Which is smaller: d or 19?
d
Let c = -24.8 - -24. Let z = c + -5.3. Let w = -6 - z. Which is smaller: 2 or w?
w
Suppose -4*m = 2*n - 0*m - 6, -4*n + 3*m = -23. Suppose 0*j = n*k - 3*j + 126, -j + 50 = -2*k. Let h be 8/12 - k/(-9). Is -3 smaller than h?
True
Let s = 5 + -3. Let r(z) = -z**2 + 6*z - 4. Suppose -3*o + 27 = -4*x, 6*x + 34 = 5*o + 3*x. Let u be r(o). Are u and s equal?
False
Let f = -467 + 465. Let j(d) = -d**3 - 6*d**2 + 6*d - 7. Let x be j(-7). Which is smaller: x or f?
f
Let j be 3/(-3) - 4*(-5)/(-10). Let v be -3 + 3 - 3 - 1. Is j less than v?
False
Let w = -18 + 17. Let y be (1 - (-1)/w)/2. Let b(l) = l - 8. Let c be b(6). Do y and c have the same value?
False
Let f = -4418 - -3410697/772. Which is bigger: f or 1?
1
Let k(d) = -2*d**3 - 20*d**2 + 15*d + 6. Let l be k(-10). Is -145 equal to l?
False
Let b = 109.1 - 109. Which is smaller: b or -83?
-83
Let g(t) = -2*t**2 - 11*t + 89. Let k be g(-10). Which is greater: -0.0122 or k?
-0.0122
Suppose -5*z = 3*u + 200 - 62, u + 1 = 0. Let h = -28 - z. Which is smaller: h or 2/27?
h
Suppose 2*a - 3*a = 0. Let o = 0.12 + -0.72. Let b = 0.4 - o. Which is smaller: b or a?
a
Let c be (81/228 - 2/19)*4. Which is bigger: c or 2/63?
c
Let q(w) = w + 42. Let s be q(-20). Suppose 0 = b + 3 - s. Let f be 17 - 3*(-4)/6. Is b > f?
False
Let h = 1183 + -1174. Which is bigger: h or 7?
h
Suppose -164*f + 171*f = 7. Let w = 223 + -103. Let t = w + -1199/10. Is t at most as big as f?
True
Let o be 1/2 - 63/2. Let n = -34 - o. Let i be (n - 70/(-22))/(-2). Is i less than 0?
True
Let w(p) = p**2 - 4*p - 8. Let y be w(6). Suppose 2*s + 2*d - 20 = 4*d, s = 4*d + 25. Which is greater: s or y?
s
Let p = 17.7455 + 0.1545. Is p at least -0.2?
True
Let z = 1121 + -1013. Is 108 at most as big as z?
True
Let h be (-1)/((2/(-2))/(-1)). Let b = 0 - 25. Let s be 96/165 - (-10)/b. Which is greater: h or s?
s
Let w be ((-4)/(-10))/((-465)/(-321)). Let a = w + -16/31. Which is greater: a or 0?
0
Let q = -72 - -70.84. Let t = -0.66 - q. Do -3 and t have the same value?
False
Let t(l) be the second derivative of l**4/12 - 7*l**3/6 + 3*l**2/2 - 8*l. Let v be t(7). Suppose -f - v = 5. Which is greater: -15/2 or f?
-15/2
Suppose -2*x = -10, 4*x = -2*o - 0*o + 240. Suppose 3*p - 12 = 0, -3*f + o = 2*f + 5*p. Which is bigger: f or 19?
19
Let o = -199 - -220. Is 141/7 bigger than o?
False
Let n(q) = 77*q + 3. Let a be n(1). Let g = 38/3791 - -4552421/56865. Let m = a - g. Does m = -2?
False
Let k be -2 + -5 + 3 + -19. Let n = 14 + k. Is n bigger than 1?
False
Let x = -39.679 - 0.321. Suppose 3*w = w. Which is greater: x or w?
w
Let k be -2 + ((-138)/(-33) - (-6)/(-33)). Suppose 4*v + 104 = 4*j, -v + k*j = -2*j + 41. Which is smaller: -23 or v?
-23
Let n(g) = -g**3 - 9*g**2 - 3*g - 12. Let s be n(-9). Let l be (1 - (2 + 1)) + 18/s. Is -1 at most as big as l?
True
Let l(v) = 2*v - 3*v - 3*v**2 - 12 + 8*v**2 + v**3. Let b be l(-5). Which is smaller: -17/3 or b?
b
Let x = 5.14 + -5.04. Which is smaller: x or 91/9?
x
Suppose -97*v + 102*v = -30. Which is smaller: -7 or v?
-7
Let p = 109/891 + -1/891. Suppose 65*d + 52*d = 0. Which is smaller: p or d?
d
Suppose -5*a + 3 = -2*a. Let q be 2*a*(1 + -2). Let d be 28/49*1*-2. Which is smaller: q or d?
q
Let a = 77.99 - 78. Let p = a + 0.1. Which is greater: -2/7 or p?
p
Suppose -3*o - 2*o = -5*z + 70, -41 = -3*z + 2*o. Suppose 6 = 10*j - z*j. Is j greater than -12/5?
True
Let n = -1.76 + -15.224. Let o = -0.184 - n. Let x = o - 2.8. Which is smaller: x or -0.2?
-0.2
Let h = 0 - -3. Suppose -s + h = 2. Which is bigger: s or -4?
s
Let h = 12981382/1809 - 7176. Which is smaller: 1 or h?
h
Let z(f) = 16*f**3 + 2*f**2 - f. Let r be z(1). Let s = 35 - r. Let k = 16 - s. Which is smaller: -1 or k?
k
Let s = 1843 - 1829. Which is bigger: 36 or s?
36
Suppose -a + h + 14 = 0, -4*a - 4*h - h + 38 = 0. Suppose 10*w = a*w - 16. Is w equal to -1?
False
Suppose 3*s + 4 = u, -4*s + 2*u + 4 = 10. Let f be (-15)/10*s/(-3). Let k = f - 0. Which is bigger: k or -2?
k
Let d(i) = 11 - 24 + 13 - 4*i**2 + 20*i. Let m be d(5). Which is smaller: m or 3?
m
Let d(c) = 11*c + 40. Let a be d(3). Is 77 >= a?
True
Let w = 98 + -688/7. Let g = -1.5 - -2. Let d = -0.6 + g. Which is bigger: w or d?
d
Suppose -8 = -2*o - 40. Which is smaller: -17 or o?
-17
Let a = -231 - -246. Is 7 smaller than a?
True
Let l be (-41)/8 - 20/(16/(-4)). Which is smaller: l or -1?
-1
Let h = -22.4 + 23. Let i = 0.7 - h. Are -0.1 and i unequal?
True
Let r = -200.348 - -200. Let u = -0.052 + r. Which is bigger: 0 or u?
0
Let w(i) = -i**3 + 16*i**2 + 19*i + 28. Let z be w(17). Is 59 greater than or equal to z?
False
Let n be (-2)/(-4) - (-1)/2. Suppose -29*z + 24*z = 285. Let r be ((-18)/z)/((-42)/(-28)). Which is smaller: n or r?
r
Let c be (-500)/65 - 25/(-5). Which is smaller: c or -3?
-3
Let f be (-7 + 4 + 1)*47. Is f equal to -94?
True
Suppose 0 = 4*u + u - 5. Let i = -6182 + 463658/75. Let g = 3/50 + i. Is u greater than g?
True
Let u = 22 - 21. Let x be ((-162)/15)/(-6) + u/5. Let f be ((-22)/(-4) + -2)*2. Which is greater: x or f?
f
Suppose -j - 2*j = -2*f - 4, 0 = f + 2. Is 6/23 at most j?
False
Let b = 1.591 - 0.591. Do 141 and b have different values?
True
Let p = 35 - -8. Let f = -85/2 + p. Is f >= -66?
True
Let p(h) = h**2 + 9*h + 9. Let w be p(-8). Is w smaller than 6/197?
False
Suppose -9*a + 600 = -129. Is 81 less than or equal to a?
True
Let m = -0.108 + 0.21. Let f = -3.198 - m. Is f greater than 1?
False
Suppose 152 = -37*k + 29*k. Is k >= -19?
True
Let q = -45 - -27. Let b = q + 18.06. Let s = b - 4.06. Which is greater: -0.1 or s?
-0.1
Let b(d) be the third derivative of d**5/20 - d**4/4 + 5*d**3/3 - 7*d**2. Let h be b(3). Is h greater than or equal to 19?
True
Suppose j = -4*k - 2*j - 43, -2*k + 4*j - 16 = 0. Let p = k + 10. Suppose b - 3*g - 15 + 4 = p, -4*g = b + 10. Which is smaller: 1 or b?
1
Let k = 1861 - 1862. Which is smaller: k or -10/271?
k
Suppose 0 = p + 2*p - 3. Let u = p - -4. Let v be (-2 + 3)/(u/2). Is v less than or equal to -1?
False
Let x = 9 - 15. Let w be (12/(-9))/((-14)/x - 3). Is w less than or equal to 5/3?
False
Let r = 16.11 + -16. Let f = r - 0.01. Which is bigger: 2 or f?
2
Let w = 1 - -1. Let f = -0.9099 - -0.8099. Is f greater than or equal to w?
False
Let q be 15/3 + -1 + 2. Let z be (3/q)/((-6)/42). Let i = -7 + 3. Is i at most z?
True
Suppose -58 = 3*z + 5*a + 49, z + a = -37. Let v be z/(-27) + -1 - 4/10. Is 0 != v?
True
Let i(u) be the second derivative of 7*u**3/6 - 45*u**2/2 + 16*u. Let h be i(11). Is 31 > h?
False
Suppose 19*k = 710 + 639. Does k = 72?
False
Let u be 0 + ((0 + 3)/(-3) - 2). Which is smaller: u or -211?
-211
Suppose 3*h - 117 = 4*s, -5*s + 86 + 39 = 4*h. Let c be 21/h + (-64)/(-10). Let f(t) = -t + 3. Let j be f(-5). Which is greater: c or j?
j
Let u = -925 + 897. Is u at least -169/6?
True
Let w(j) = -j**3 - 2*j**2 - 4. Suppose 4*h - 4*l + 8 = 0, -2*h + 22 = -h + 5*l. Let f be 5/(-3 + 2) + h. Let s be w(f). Is s >= 6?
False
Let v be (7 - 3)/((-10)/(-555)). Which is bigger: v or -2/9?
v
Let u = 230/7 - 13333/406. Which is smaller: -1 or u?
-1
Let m = -0.281 - 0.039. Let y = -0.42 - m. Which is greater: y or 0.08?
0.08
Suppose -p + 25*p = -6*p. Which is greater: p or 2/4291?
2/4291
Let q = 72/11 + -2509/385. Suppose d = -0*d. Which is smaller: d or q?
d
Let h = 201 + -200. Is h < -3/13?
False
Suppose -4*o = 5*k - 401, o = k - 5*k + 103. Suppose l = -8*l + o. Which is greater: l or 9?
l
Let u = 22/7 + -387/112. Suppose 0*d = 2*d + 8, 3*d = -5*x - 7. Is x at least u?
True
Suppose -130 = -5*x + 36*g - 38*g, -g + 79 = 3*x. Is x at least 213/8?
True
Let m(a) = -89*a + 44. Let n be m(2). Which is greater: -133 or n?
-133
Suppose 5*s + 65 = 5*c, -5*s - 83 = 6*c - 5*c. Which is smaller: s or -20?
-20
Suppose 28*f - 118 = 243 - 25. Let k(z) = z**3 - 4*z**2 - z + 5. Let n be k(4). Let b = n + 0. Does b = f?
False
Suppose -9221 = -21*g - 