 0). Let d = l + -29. Let f be ((-1)/23)/(-2 + 3). Which is smaller: d or f?
f
Let f = 1251 + -48790/39. Suppose 3*o = -0*w + 3*w + 9, -4*o - 6 = 5*w. Is o at least as big as f?
True
Suppose 4*a - 2*h - 21 + 9 = 0, 4*a + 16 = -5*h. Is -8 <= a?
True
Let y be 1*4 + (-22)/11. Let o(p) = p**2 + 1. Let j be o(y). Is j <= 4?
False
Let i be -3*((-24)/(-156) - 45/39). Which is greater: i or 0.02?
i
Let i = -120 + 222. Let m = i + -102. Is m at most as big as 24?
True
Let l(q) = -q**3 - 8*q**2 - 12*q - 34. Let t be l(-7). Which is bigger: 68/65 or t?
68/65
Let t = 2/95 + -59/95. Let y = 25 + -25. Is t less than y?
True
Let y(s) = s**3 + 12*s**2 + 32*s + 1. Let r be y(-8). Is -2/97 at most as big as r?
True
Let o(b) = -9*b**2 + 57*b + 33. Let j(z) = 5*z**2 - 29*z - 16. Let f(s) = 11*j(s) + 6*o(s). Let x be f(-22). Which is bigger: x or -1/7?
x
Suppose -m + c + 7 = 0, 0*c - 6 = 3*c. Suppose 3*o - 5*n - 25 = 0, m*o + 3*n = -n - 20. Which is smaller: o or -3/5?
-3/5
Let w = -204 + 203. Is 1/142 greater than or equal to w?
True
Let m = -22 + 23. Let h be ((m - 4) + 4)*11. Suppose 0 = -4*r + 4*a + 36, -2*a + 6*a + 48 = 5*r. Which is smaller: r or h?
h
Let z be (-2)/(104/284) + -1. Which is greater: -5 or z?
-5
Let t be (7 - 13)*2/(-12). Let n = -12 + 8. Let m = t - n. Is 6 less than or equal to m?
False
Let t(b) = -2*b**3 - 4*b**2 + b + 13. Let u be t(3). Which is bigger: -72 or u?
-72
Suppose 5*f + 22 = 2*w + f, 3*f = 2*w - 19. Let b = w + 0. Let v = b + -6. Which is greater: v or 3?
3
Let z = -12.8 + 0.8. Let y = 9 + z. Let f = y - -2.8. Which is bigger: -2/11 or f?
-2/11
Let b = 1011 - 1220. Is b at most as big as -210?
False
Let x be ((-12)/16 - 0) + 0. Suppose -4*i + 6 = -2*l + i, 3*l = -i + 8. Suppose 3 - 5 = -l*f. Which is smaller: x or f?
x
Let w(b) = b**2 - b - 6. Let y(f) = f**2 - 7. Let g(x) = 4*w(x) - 3*y(x). Let r be g(4). Is -2 less than r?
False
Let x(n) = -218*n**2 + 4*n - 1. Let w be x(-1). Which is greater: -224 or w?
w
Let v be 65/(-85) - 1/(-1). Suppose k - 4*k = 4*c - 24, c = -5*k + 23. Suppose 0 = -4*s - 5*j - 15, -4*j = -c*s - s + 12. Is s < v?
True
Let n = -86606984/2079 + 41658. Which is smaller: 1 or n?
n
Suppose -3*z + z = 128. Let k be (-8)/(z/12) - 131/86. Which is bigger: 1 or k?
1
Let w = -1110 - -48837/44. Let l(n) = 2*n**2 + 9*n + 8. Let b be l(-3). Which is greater: w or b?
w
Let i(s) = 0*s + 1 + s**3 - 2 + s**2 - 6*s + 0*s**3. Let x be i(-3). Is x smaller than 1/70?
True
Let h = 36887/37 - 997. Are 0 and h equal?
False
Suppose -2*c + 172 = 206. Is c bigger than -0.1?
False
Suppose 0 = 27*a - 30*a - 60. Is a less than -20?
False
Let w = 0.081 + -2.081. Which is bigger: 64 or w?
64
Let d = 0.35 - 0.3. Let h = 0.2 - d. Let b = 3.15 - h. Which is smaller: -3 or b?
-3
Let n = -84 + 88. Is 1 less than or equal to n?
True
Suppose -3*s - 231 = 2*t, 2*s + 154 = 39*t - 35*t. Is s at least as big as -77?
True
Suppose r + c = 3*r, -4*r = 3*c - 20. Suppose 2*l - r*n = -14, 3*l + n + 11 = 2*n. Suppose 5*y = y - 8. Are l and y equal?
True
Let s be ((-10)/15)/((-4)/(-18)). Let q be -2*s/(-2) - -6. Suppose 0 = -4*f - 2*d - 12, -3*f + q*d - 27 = -0*f. Is f equal to -6?
False
Suppose 0 = 5*l - 3*j - 86, -2*l + 4*j + 31 = -9. Suppose -2*s - 2*n = -7*s + l, 2*n = -6. Suppose 9 = -s*m + 3. Which is greater: m or -4?
m
Suppose -5*x - 119 = 2*x. Which is smaller: -50/3 or x?
x
Let c = -0.7 + 6.7. Let b = 4.3 - 10.2. Let p = b + c. Is 1 bigger than p?
True
Let j be 46/184*(-24)/101. Is 0 < j?
False
Suppose -99 + 96 = 3*r. Is r at least -3/71?
False
Let d = -1/1561 + 120200/4683. Let y be (-3)/(-15) - 10681/(-420). Let p = y - d. Which is smaller: 1 or p?
p
Let q = 10 - 2. Let x = q + -10. Let n = -1 - 1. Do n and x have the same value?
True
Suppose 0 = 5*k - 2*k - 4*f - 140, -90 = -2*k + 2*f. Suppose 4*l - 5*j = -26, -j = 4*l + j + k. Is l less than -10?
False
Let n be (-11)/(-9) + (-4)/18. Let w be (21*(4 + -5))/(-50). Let x = -431/550 + w. Is n smaller than x?
False
Let m be (-3)/(-9)*-1*-3. Suppose 4 = -3*u + 2*u. Let t be 280/130 - u/(-26). Is m <= t?
True
Let f(q) = q**3 - 36*q**2 + 1. Let k be f(36). Let h be 0 + (2 - 2) + 3. Which is greater: h or k?
h
Suppose -9*d = -4*d - 5. Which is smaller: d or 13/8?
d
Let i = 47 - 45. Suppose 7*y - 70 = i*y. Let s = 23 + -8. Do s and y have different values?
True
Suppose 0 = r + 3*f + 4, -4*r - 55 = f - 50. Do r and 313 have the same value?
False
Let g = -511/2 + 255. Are g and -1 non-equal?
True
Let b = -17 - -12. Let v(j) = -j**2 + 42*j + 233. Let f be v(47). Is f < b?
False
Let z(v) = -v + 145. Let j be z(32). Is j < 2/7?
False
Let p = -157 - -156.8. Which is greater: p or -10?
p
Let c be 15/10*4/75*1. Let f be 1/(-4) - 13/(-4). Let o = f + -2. Is o < c?
False
Let t = 665 - 666.124. Let i = 0.124 + t. Is -40 < i?
True
Let c be (-9)/(-15) - (-546)/(-10). Let u be 12/c*(-1)/(-2)*6. Is u less than -4?
False
Let p be (560/(-195))/((-2)/(-3)). Let d = p + 3123/728. Which is smaller: d or -1?
-1
Suppose 0 = 2*x + 1 - 3, 3*h - 4*x = -22. Let z be (0 - 0/2) + -1. Is z at least as big as h?
True
Let c be (-48)/(-9)*(-45)/20. Let v be (-7)/(-6)*c/(-273). Suppose -5 = -3*o + 4*s - 3*s, -3*o + 1 = s. Which is greater: v or o?
o
Let i = 289 - 149. Suppose 3*n + 3 = 2*o + 73, 0 = 4*o - 5*n + i. Is -36 < o?
True
Suppose -292*g - 948 = -288*g. Which is smaller: -236 or g?
g
Let h be 4/(-14)*-8*(-9)/4. Is -5 equal to h?
False
Let x = -22 - -24. Suppose d = x*d + 189. Let u = d - -369/2. Which is smaller: u or -6?
-6
Let s(a) be the second derivative of -a**3/6 - 2*a**2 - a. Suppose 5*r = 8 - 23. Let v be s(r). Which is bigger: -6/11 or v?
-6/11
Suppose y - 20 = -4*y. Suppose 3 = y*n + 7. Suppose -1 = 5*j - 4*g - 0*g, 5*j - g = -4. Is n less than j?
False
Let u = -2737 - -18943/7. Which is bigger: -32 or u?
u
Let a be (-20)/125*(-850)/(-20). Is a > -7?
True
Let b be -62 + (3 + -10 - -11). Is b greater than 6?
False
Suppose 2*w + 18 = -w. Let z be w - -3 - 1 - -9. Is 11/2 greater than z?
True
Let s = -25 - 21. Let r = s - -68. Let k = r - 16. Which is bigger: k or 0.1?
k
Let i = 14.68 + -12.68. Let d = -2.068 - 0.032. Let q = i + d. Is q greater than or equal to 7?
False
Let s be 9 - (0 + -3 + 1). Let x(i) = 2*i - i**2 - 1 - 3 - 3 - s*i. Let k be x(-8). Which is smaller: 1/3 or k?
1/3
Let b = -26 + 39. Let d = -766 + 781. Which is bigger: d or b?
d
Let m = -28 - -8. Suppose 6*c + 20 = 206. Let s = m + c. Does 12 = s?
False
Suppose 115 - 131 = 16*n. Which is bigger: 671 or n?
671
Suppose -4*d = -8*d - 80. Let h be 14/d*(-3)/6. Let s = 2/5 + h. Are 2 and s nonequal?
True
Let p = 162 + -164.78. Let r = -8.73 - p. Let j = r + -0.05. Which is bigger: j or 2?
2
Suppose -2*l + 2*x + 20 = 0, -4*x + 5 = 4*l - x. Let h = 812 + -3223/4. Which is smaller: h or l?
l
Suppose -3*q - 5*a + 40 = 0, -3*q + 2*a - 25 = -6*q. Let h be 2/q - 99/(-15). Suppose -z + h = -4. Which is bigger: z or 0?
z
Let o = -41 + 22. Let r = 16.08 + -0.08. Let w = o + r. Is w <= 1/6?
True
Let y = -24 - -14. Let u = y + 13. Let n = -17 + 16. Is u less than n?
False
Let z(d) = -92*d. Let i be z(-1). Let r = 641/7 - i. Suppose 0 = 13*x + 9*x + 23*x - 12*x. Is x not equal to r?
True
Suppose 4*u = 3*j - 4, -u = j + 2*u + 3. Is -39 <= j?
True
Let y be 173910/(-170)*1/2. Which is greater: y or -511?
-511
Let i = 34 + -19. Let w = 15.2 - i. Let q = -1.3 + w. Is q less than 0?
True
Let i = -29 - -35. Suppose 0 = 6*t - 2*t - 32. Let v be t/i*6/28. Which is greater: v or 6?
6
Let y = -100/143 - -6/11. Let c = 922 + -11990/13. Let w = y - c. Which is smaller: -1 or w?
-1
Let n(z) be the first derivative of z**4/4 - 4*z**3/3 + 3*z**2/2 + z + 1. Let r(c) = -5*c + 93. Let u be r(18). Let g be n(u). Which is smaller: 3/8 or g?
3/8
Let w = 1421 + -95205/67. Which is smaller: w or 0?
0
Let g = 559/7 + -104484/1309. Which is smaller: g or -1?
-1
Let n be (0 + -1017)*(-53)/(-159). Which is smaller: n or -338?
n
Let l = -6.7 + 7. Let p = l - 0.4. Let t = -90/11 + 652/77. Are p and t nonequal?
True
Suppose -15*q = -10*q + 90. Is q less than or equal to -20?
False
Let k(w) = w**3 - 19*w**2 - w + 25. Let n be k(19). Let h be (n*20/45)/(-1). Is h at most -3?
False
Suppose -36*l = -46*l + 4900. Do 491 and l have the same value?
False
Suppose 5*r - 3 = -2*l + 5, 3*r = -4*l + 16.