198/(-15)*((-155)/(-15) + -9). Let b be -337*(-2)/40 - 0. Let a = r + b. Is -1 at most as big as a?
True
Let c = 40/13 - 761/260. Let a(y) = 2*y + 15. Let u be a(-8). Which is smaller: c or u?
u
Let o = -10 - -25. Suppose o = -5*k, -3 = 2*m - k + 4. Which is smaller: m or -4?
m
Let v(z) = 23*z - 42. Let y be v(2). Does 4/17 = y?
False
Let f = 6 - 12. Let n be -2 - (-98)/f*6/(-46). Is 0 at least as big as n?
False
Let u(r) = -2*r**2 + 3. Let x be u(0). Let i = 23 + -17. Which is smaller: x or i?
x
Suppose 0 = -0*f - f + 7. Let o be (f/10)/(1/(-2)). Let t be (-1 - (-36)/(-44)) + 6/(-33). Is t != o?
True
Let i = 89 - 80. Let c = -5 - -14. Is i at most as big as c?
True
Let d be (-11 - -17)*(-1)/(-2). Is -67/2 at least as big as d?
False
Let g(y) be the first derivative of y**5/120 - y**4/6 + y**3 - 1. Let c(x) be the third derivative of g(x). Let k be c(3). Which is bigger: k or 2/11?
2/11
Suppose -2 = -2*i, -3*y - 39 = -5*i + 182. Let m = y - -77. Is 9 greater than m?
True
Let n = -2 + 2.4. Let p be (-1)/(-8) - ((-357)/24 - -3). Let b be -14 + p + 12/5. Are n and b nonequal?
False
Let z = 282 - 282.2. Let s = 0.27 + -0.47. Does z = s?
True
Suppose 6*z + 10 = -8. Let f be z/(12/5) - (-14)/56. Which is smaller: -11/5 or f?
-11/5
Let s = 2 - 3. Suppose o - z - 3*z - 6 = 0, 2*o + 10 = -3*z. Let g = 0 + o. Which is smaller: g or s?
g
Let r be -2 + (1 - (-3)/6). Let i be (-508)/(-5) - (-4)/10. Suppose -4*x + 10 + i = -5*b, 8 = -b - 4*x. Are r and b equal?
False
Suppose f + 0*f = 119. Let u be (17/f)/(1/16). Which is bigger: u or 0.1?
u
Let t = -656.9 + 620. Let j = t + 37. Which is smaller: j or 0.021?
0.021
Suppose 2*w - 44 = y, -2*y + 16 = w - 16. Let p = 50 + -47. Suppose 3*n - p = w. Is 10 > n?
True
Let b be ((-1)/4 - -1) + 5754/168. Is b bigger than 34?
True
Suppose 2*s = -2*s + 16. Suppose 2*z + 22 = 2*c - 2*z, -3*c - s*z = 17. Which is greater: c or -5/22?
c
Suppose 0 = -0*a + 4*a. Suppose a*l + 5*l = 0. Is l at most -0.26?
False
Let z = 1/166 - -655/1494. Let k = 256 - 255.9. Is k at most z?
True
Let m(f) be the third derivative of f**4/8 + 3*f**3/2 + 10*f**2. Let d be m(-4). Let t = 1 - d. Is 4 at most as big as t?
True
Let x = -0.004 + -1.196. Let m = -2.2 - x. Which is bigger: m or -1/6?
-1/6
Let o = 64 + -3. Let n = o - 67. Which is smaller: n or -7?
-7
Let c = -27 - -32. Suppose -c*b + 0*b - 4*f = 17, 2*b = -2*f - 8. Let j be ((-20)/(-6))/(b/6). Are -19 and j non-equal?
True
Suppose 5*c + 27 = -a, 3*c - 14 = -2*a - 82. Let v be (((-21)/(-14))/((-12)/304) - -4) + -4. Which is smaller: a or v?
v
Let i = -392 + 5098/13. Is i smaller than 10/11?
True
Let d be 14*1 + (-70 - -67). Which is smaller: d or 6?
6
Let j be 18/(10 - 13) + 1022/170. Which is bigger: j or 1?
1
Suppose -7*u - 3 - 4 = 0. Is u smaller than 20.9?
True
Let i = -3301.963 - -3299. Let b = i - 0.037. Let g = 1 - 0.8. Which is smaller: g or b?
b
Suppose -18 - 5 = r. Is -4 at most as big as r?
False
Let n(s) = s**2 - s. Let c be n(2). Let u(g) = 18*g**2 - 2*g + 1. Let z be u(1). Suppose 4*o - p - c*p = z, 3*o - 18 = 4*p. Is 0.1 at most o?
True
Suppose 0 = z + 3*z. Let n be 0 + -2 - (z + 3). Are n and 0.3 unequal?
True
Let r = 4224 - 97158/23. Let c be 1/(-1)*(2 + -3). Let i = 2 - c. Is r at most as big as i?
True
Let b = 4 + -5. Let v = 567 - 11909/21. Is v not equal to b?
True
Suppose 5*w + 51 - 6 = 0. Let q be (-1)/(-2)*((-12)/w + -2). Which is bigger: 10 or q?
10
Let c = 3661/15 - 244. Which is smaller: -1 or c?
-1
Suppose -4*a + 4 = 36. Suppose 3*y + 12 = 2*l + y, -4*l + 21 = -y. Let w be (l/1)/(a/(-8)). Which is bigger: w or 4?
w
Let g = -1.29 - -17.89. Let y = -25 + g. Let o = y - -0.4. Does -0.2 = o?
False
Let l = -24/29 - -294/145. Suppose 0 = -2*n - 5*h + 25, 0*n - 7 = -2*n + h. Suppose -3*o + n*q = 7, 5*o - 4*o + 3 = 2*q. Which is smaller: l or o?
o
Let z = 81 - 77. Suppose -4*m - 13 - 9 = -3*u, 3*u = 6. Let j = m + z. Does j = -9/8?
False
Let h = 24028664/1865 + -12884. Which is smaller: -1 or h?
-1
Let r(y) = -y - 1. Let v be r(-6). Let f = -256 - -259. Is f > v?
False
Let m = -117 - -113. Let g = m - 63. Is -67 bigger than g?
False
Let d = 149/90 + -29/18. Let h = 1138 + -1139. Which is bigger: h or d?
d
Let x = 2093 - 2113. Let j = 55 - 91. Let b = 15 + j. Which is greater: b or x?
x
Let l(y) = 3*y**2 + 11*y - 157. Let v be l(12). Do v and 1629/4 have the same value?
False
Let t(h) = -h + 2. Let z be t(7). Which is bigger: z or 30?
30
Let j = 0.08 - 0.02. Let m = j + 9.94. Which is bigger: m or -2/5?
m
Let k = 364 + -363.9. Which is bigger: k or 167?
167
Let p = -2771 - -99739/36. Let l = -149/306 - p. Are l and 0 non-equal?
True
Let w(a) = 12*a**2 + 13*a - 4. Let q be w(-3). Let j = 58/1271 + 2065196/31775. Let k = q - j. Which is greater: 1 or k?
1
Let b = -4 - -16. Suppose 5*w + 0*r - r = -3, b = -5*w + 4*r. Which is smaller: 9/8 or w?
w
Let b = 534/11 - 68363/1408. Let u be -1 - 2 - 0 - -2. Which is greater: u or b?
b
Let h = 36.6 + 1.4. Let s = h + -37.3. Which is smaller: -2 or s?
-2
Let u(r) = 5*r**3 - 6*r**2 - 7*r - 2. Let x be u(-1). Suppose -32 = -4*c + 2*c. Suppose 4*k - 3*k = -3*s - 19, 2*s - k + c = 0. Which is smaller: x or s?
s
Let j be (200/(-12))/(-1)*36/(-15). Let n = j + 46. Is n >= 6?
True
Suppose -4*n - 8 = -5*c + 2*c, 5*c - 15 = 5*n. Suppose c*m + 4*m = -200. Is -25 bigger than m?
False
Let a be (-70)/7*1 + 9. Is 1/358 at least a?
True
Suppose 2*n = 4*q + 1066, 0 = 3*q - 5*n + 1110 - 321. Is q > -265?
False
Let f be 14/(-3) + 12/18. Let i be (90/(-60))/(2/f). Which is greater: 4 or i?
4
Let x = -78 - -23. Let w = x - -35. Is -21 > w?
False
Suppose 12*u - 7*u = 220. Let r = -43 + u. Is r less than or equal to -2/73?
False
Let k = -615 - -543. Is k less than or equal to -73?
False
Suppose -5*v = 2*h - 817, 5*h + 4*v = 3003 - 952. Let y be h/135 + (0 - 3). Suppose -3*s = s. Which is smaller: s or y?
s
Let i = 322.28 + -210.27. Let j = -112 + i. Is j != 2/9?
True
Let i be 18/(-7)*(-39 + 4). Suppose -4*l - 60 = -5*q, 0*q + 2*l = -5*q + i. Let x = q - 22. Which is bigger: x or -7?
x
Suppose 3*g + 5*c = 170, 3*c - 6*c + 234 = 4*g. Which is smaller: 58 or g?
58
Suppose -12 - 84 = -4*g. Let j be ((-10)/55)/((-3)/33). Suppose -j*a = -0*a + t, 4*a = 4*t - g. Is a < 1?
True
Let s(p) be the third derivative of 5*p**4/24 + p**3/3 + 18*p**2. Let q be s(-7). Is -33 <= q?
True
Let q = 7138/189 - 529/14. Suppose 0 = s - 5*s - 4. Is s at most q?
True
Let m = -188.11 + 187. Let n = m - -0.11. Suppose -3*b - 7 = -4*b. Is n not equal to b?
True
Let l = -8/171 + -10/57. Is -1 < l?
True
Let z = -32069/3 - -10790. Is z not equal to 101?
True
Let v(s) = 210*s - 5. Let i be v(1). Let z = i + -107. Is z smaller than 99?
True
Suppose 0*t + 9 = 3*t. Let z be (-3)/2*2/t. Are z and -6 unequal?
True
Let d(l) = -3*l**3 + l**2 + 4*l - 4. Let q be d(3). Let n(v) = v - 114. Let o be n(50). Is q at least as big as o?
True
Suppose 2*c + 8*c + 990 = 0. Let i = c + 50. Is -50 greater than or equal to i?
False
Suppose 0 = -4*d - 4*x - 716, 2*d - 3*x + 8 = -335. Do -176 and d have the same value?
True
Suppose -7*t + 2700 = 5*t. Is 227 smaller than t?
False
Let q = 3.54 - 0.74. Let a = 0.8 - q. Is a bigger than 0.4?
False
Let x = 1051/91 - 126/13. Let a = -4/21 + x. Which is smaller: a or -3/7?
-3/7
Let x be ((-18)/(-21))/((-12)/(-56)) + -4. Let g be (x/(-22))/(-1 + -1). Let z = 349/276 - 1/69. Does z = g?
False
Let w = -11.5 - 1.5. Let p = w - -15. Let n = 0.1 - 0.2. Is n greater than p?
False
Let w(a) = 6*a - 3. Let q be w(4). Let i(o) = 2*o + 17. Let h be i(-14). Let m = q + h. Is 9 bigger than m?
False
Let p = 2476/7 - 354. Is 15.5 < p?
False
Let z = 0.39 + -0.09. Let c = -0.072 - -0.012. Which is smaller: z or c?
c
Let r be -1 + (-17)/(34/364). Is -183 less than r?
False
Suppose -4*k = 3*h - 25, 0 = -0*h - 2*h + 3*k + 28. Suppose 3*i = -f - h, 2*f + i - 3*i = 10. Is 2 greater than f?
True
Let b(r) = 214*r - 225. Let w be b(2). Which is greater: w or 199?
w
Let n = -48 - -53. Let v = 7 + -8. Is v >= n?
False
Suppose -572 = 15*c - 212. Which is bigger: -74/3 or c?
c
Let g = 4039 + -4039. Suppose 0 = -5*u - 82 + 12. Is u <= g?
True
Let i be (4/(-104))/(2*(-1)/586). Let u = 23/2 - i. Is u at most -1?
False
Let j be (2/10)/(2/14). Let i be -2*-2*(-4)/(-8). Which is greater: j or i?
