 = 3*r - 30. Let f = 71 + -61. Let x be u(f). Which is smaller: 4/7 or x?
x
Suppose -2*p + 3*p - 5 = g, 2*g + 10 = 5*p. Let r = 620 + -282. Let q = -2370/7 + r. Which is smaller: p or q?
q
Let z be -646 + 94 + 7/1. Which is smaller: z or -544?
z
Suppose 0 = -0*h - 4*h + 44. Let n be (-2)/(-3)*(-189)/(-315). Is h < n?
False
Let d(f) = -2*f**3 + 1. Let c be d(1). Let r be (-3)/(-18)*-3386*9/546. Let s = r + 120/13. Is c <= s?
True
Suppose -3 = -2*i + 1. Suppose 14 = -3*m + 5*g - i, 13 = m + 2*g. Suppose 6 = -5*w - 5*t + 1, -m*t - 7 = -w. Is 3/4 at most w?
True
Let p be 4/(-3)*3051/(-452). Let v = 39 - 28. Let j = -2 + v. Are p and j unequal?
False
Let o = -37557 + 188851/5. Which is smaller: o or 214?
o
Suppose -71*p + 53 = -18*p. Is p at least as big as 8/21?
True
Let b(o) = 8*o**3 + 5*o**2 + 10*o + 2. Suppose -5*h + 3*n - 6 = 7, 4*h - 4*n = -12. Let c be b(h). Is c smaller than -61?
True
Suppose l - 3 = -u, -4*u - l - l + 6 = 0. Suppose -p - p + 2 = u. Let f be ((-80)/28 - -2) + 1. Is f smaller than p?
True
Let x = -52/33 + 9473/5907. Which is smaller: 1 or x?
x
Let l be (-2)/9 - 138377/(-171). Let t = l - 46114/57. Which is bigger: 1 or t?
1
Let b = 42 - 15. Let h = b + -23. Which is greater: h or 2/7?
h
Let y(o) = -3*o - 3. Let t be y(-2). Suppose 0*x - 3*x + 13 = 2*l, -t*x + 17 = 4*l. Suppose 0 = -5*k - 4*m - m - 5, -2*k = x*m + 7. Which is smaller: 5 or k?
k
Let a = -0.2 - -10.2. Let w = -8 + a. Let r be (-2)/(-13) + (-378)/91. Is w at most r?
False
Suppose 0 = -2*m - m + 2*m. Which is greater: -4 or m?
m
Let q = 1351 + -1351. Is 0.0399 > q?
True
Let u be ((-58)/(-3))/(4/(-6)). Is -25 > u?
True
Let o(y) = -y**3 + 2*y**2 + y + 26. Let n be o(6). Is -332/3 bigger than n?
True
Let f be -8 + 12 - 102/15. Suppose 2*c + 3 + 3 = 0. Which is greater: f or c?
f
Let m = -607/70 - -60/7. Is m greater than 0.07?
False
Let c = -1083/5 - -33773/155. Is 1 smaller than c?
True
Let f(k) = 3*k - 20. Let j be f(11). Suppose -5*w + 4*z - 21 = 0, w - 5*z = -2*z - j. Which is smaller: w or -8/17?
w
Let i = 285 + -285. Which is bigger: i or 3/173?
3/173
Let r(c) = 9*c**3 + 11*c**2 + 11*c + 3. Let x be r(-7). Let a be (2/3)/(x/522 - -5). Is -29 <= a?
True
Let s(q) = q**3 + 18*q**2 + q + 19. Let u be s(-18). Which is smaller: u or 0?
0
Let i = -8 - -8. Let n = 10 - 8. Suppose n*l = -h + 23, -4*l + h + 43 = -i*h. Which is greater: l or 10?
l
Let u = -64 - -183. Let r = u + -92. Are 27 and r nonequal?
False
Suppose -3*c + 3 = -h, 1 = c + c - h. Suppose 3*n - 1195 = -2*n. Let k = n + -1663/7. Is k equal to c?
False
Let g(z) = -13*z**2 + z - 1. Let w be g(1). Suppose y - 55 = -29*u + 34*u, -3*u - 5*y - 61 = 0. Is u not equal to w?
True
Let i(p) = 8*p**2 + 4*p + 4. Let g be i(4). Let t be g/22 + (-7 - -5). Let b = t - 342/77. Which is greater: b or 0?
b
Let s(b) = 4 - 9*b**2 + 4*b**2 + b + 6*b**2. Let d be s(0). Which is bigger: 0 or d?
d
Let p(r) = -35*r**3 - 2*r**2 + 4*r + 7. Let w be p(5). Let h be -3 + w/(-322) - 0. Let g = -74/7 + h. Are g and -2/7 equal?
False
Suppose 8*c - 13*c + 20 = 0. Suppose -18 = -c*p - 2. Suppose n + p = 5*n. Which is smaller: n or -1/11?
-1/11
Suppose -14 - 30 = -5*t - 4*o, 3*t - o - 40 = 0. Suppose 4 = -4*h - t. Suppose 1 = -0*k - k. Which is greater: h or k?
k
Let g = -1/5 - -4/5. Suppose -2*k = -7*k - 5*l, -2*k - 5*l = 15. Suppose 2*c - 5*f = 3*c - 5, -2*c - k*f = -5. Which is smaller: g or c?
c
Let b = -29 - 60. Let w = 88 + b. Is -18 <= w?
True
Let x be 4/((-1232)/(-5863)) - 4/14. Which is greater: x or 19?
19
Let f = -0.2 + -0.8. Let t = 1412 - 1396. Is f not equal to t?
True
Let c(z) = -7*z**2 + z. Let g be c(-1). Let h = -1 + 9. Let i = g + h. Which is greater: i or -2/17?
i
Let f be (-6)/(-15)*7/2. Suppose 2*k = -2*y + 16, 7*y + 6 = 9*y. Suppose 0 = -l + k*l. Which is smaller: l or f?
l
Suppose o = -2*y - 2*o + 10, y = -5*o + 19. Which is smaller: y or 5/203?
y
Let l be (-1634)/(-43)*2/(12/(-15)). Which is smaller: -92 or l?
l
Let m(z) = z. Let b(w) = -w**3 - 7*w**2 - 10*w - 19. Let q(x) = -b(x) + m(x). Let t be q(-6). Which is bigger: -10 or t?
-10
Suppose -1529 = 24*u + 1255. Is u != -0.3?
True
Suppose -3*n - 3*c + 8*c + 22 = 0, -n + 3*c + 10 = 0. Suppose 6 + 18 = 4*r + 3*z, -24 = -n*r - 2*z. Which is smaller: 36/7 or r?
36/7
Let a = 41.62 + -41.12. Let f = 0.06 + 0.24. Is a less than f?
False
Let b = 538 + -675. Is b > -136?
False
Let j = 829 - 828.6. Is -110 at least as big as j?
False
Let o = 75 + -78. Let w be (-25)/12*(o - 3 - 2). Which is bigger: 16 or w?
w
Suppose -2*s + 7*s = 85. Suppose -4*c - 15 = s. Let i be (-4)/(c/(-2)) - -3. Which is smaller: 5/9 or i?
5/9
Let a = -10 + 13. Suppose -10 = -l + 5*z, -8 = l + a*l - 4*z. Let f be 12 - 10 - (-4)/l. Do f and 1 have different values?
True
Let t = -24 - -11. Let d = 2587 + -13004/5. Which is smaller: d or t?
d
Let j be ((-3)/(-10))/(576/(-15))*-1. Are j and 0 non-equal?
True
Let c be (3 + -1)*(3 + (-1)/2). Suppose 0 - 5 = -t, c*u - 2*t = 20. Is u <= 11/2?
False
Let y = -2/5777 + -756777/28885. Let d = y - -2222/85. Is d at least as big as 0?
False
Suppose -2*q + 3*q = 2*q. Suppose a - 35 = -2*g - g, q = -2*a + 10. Is 8 less than g?
True
Suppose 0 = -22*k + 566 - 588. Which is smaller: k or 1/328?
k
Suppose 3*u = -2*f + 30 + 61, -2*u + 3*f + 65 = 0. Suppose c = g - 16, -c - c + g = u. Is c at least -17?
True
Suppose 325 = 2*k + 245. Are 283/7 and k non-equal?
True
Let n(r) = -r**2 + 10*r - 17. Let s be n(8). Let t be 6 - 5 - (s - -10). Is t less than 0.1?
True
Let v(u) = 2*u. Let i be v(4). Let m(p) = -p - 10. Let t be m(-17). Which is smaller: t or i?
t
Suppose 0 = t - 2*q - 5, 0*q - q = -2*t + 22. Suppose -3*v - p + 39 = 0, -2*v - 3*v = -5*p - 85. Do v and t have different values?
True
Let s(z) = -z**3 + 4*z**2 + 12*z - 28. Let q be s(-5). Are q and 140 equal?
False
Let d(b) = 256*b. Let n be d(1). Let p be n/1040 + (-2)/5. Which is smaller: 1 or p?
p
Let f = 269/5 + -4623/85. Let n = f - -3/34. Which is smaller: -1 or n?
-1
Let y = 3802/73 + -52. Is y >= 1?
False
Let y = 7 - 19. Let h be (0 - 0)*y/(-36). Are -1 and h non-equal?
True
Let y = -0.0356 - -0.1216. Which is bigger: y or 1/3?
1/3
Suppose 10 = 6*s - 254. Is s at most 216/5?
False
Let m(d) = -48*d**3 + 2*d**2 + 2*d + 1. Let w be m(-1). Let u = w - 50. Is u greater than or equal to -2?
True
Suppose -13 = 4*r - p + 573, 3*p = 4*r + 590. Let w be r/(-20) - (-5)/25. Is w <= 9?
True
Let z = 74129/3 - 24342. Let u = -13603/37 + z. Is -1 > u?
False
Let l be ((-8)/(-30))/((-119)/306). Which is smaller: 0 or l?
l
Let v be -5*((-7)/5)/((-14)/(-28)). Let x be 30/(-9)*9/(-2). Which is smaller: v or x?
v
Let i be (-847)/119 + 4/34. Suppose -2*g + 3*j - 25 = -2, 0 = -5*j + 25. Is g greater than i?
True
Let m = 719/46 - 3/23. Which is greater: m or 16?
16
Let f = -1/1038 + 541/22836. Are f and -0.01 unequal?
True
Suppose 696 = -25*s - 579. Does s = -55?
False
Let y = 0.2 - 0.1. Let m be (1092/(-216) + 5)/(-2 + (-6)/(-4)). Which is bigger: y or m?
m
Let f be 5*1*4/70. Let m(b) be the third derivative of -b**6/120 + b**5/60 + 2*b**3/3 - 10*b**2. Let n be m(2). Which is smaller: n or f?
n
Let c = 100/110931 + -2/309. Which is smaller: -1 or c?
-1
Suppose -d - 2 = -4, 5*h = 2*d - 809. Do -161 and h have the same value?
True
Let y = -56/13 - -1314/299. Suppose 0 = 3*s + 5*d + 256, 82 = -s - 3*d - 2*d. Let l = s + 86. Is l at least y?
False
Let a = -1.108 + 4.108. Which is smaller: a or -1/4?
-1/4
Suppose 4*t - 98 = 2*o, t - 12 = -3*o + o. Suppose -4*a = -2*q - 18, -2*q - 2*a + t = 2*a. Is 1 equal to q?
True
Let b be (-5195)/(-10)*2/10. Let k = b - 104. Suppose -13 = p + 3*c, c + 4 - 1 = p. Which is greater: k or p?
k
Let q = -20 + 14. Let t(x) = x + 5. Let h be t(q). Is h less than -8?
False
Let y = 25 - 3. Suppose -6*t + 8*t = y. Let x be (2 - 65/(-2))/3. Which is greater: t or x?
x
Let r = 0.1558 - 0.0258. Which is bigger: 17 or r?
17
Suppose -178*i + 8 = -186*i. Is i smaller than -13/11?
False
Let v = -2 + -12. Let n = 8 + v. Let m = n - -3. Which is bigger: 1/2 or m?
1/2
Let h(g) = 3*g - 2. Let n be h(2). Let b(o) = o**2 - 3*o + 3. Let l be b(3). Suppose 0 = -n*s + l*s. Are s and -5/6 non-equal?
True
Let r = -55.37 + 55. Let w = r - 0.43. Which is bigger: w or -0.2?
-0.2
Let d be (-13)/((-65)/(-465)) + -2. Which is smaller