). Is 130 bigger than r?
True
Let d be ((-66)/88 + (-1290)/(-56))*-7. Which is smaller: -157 or d?
-157
Suppose -m - l + 1 = -4*m, 0 = 5*l - 20. Let q = 2772/25001 + -26/1087. Is q less than m?
True
Let a = -8 + 5. Let w = -10.08 + 9.08. Is a at least as big as w?
False
Suppose 3 = -m, 28 = -2*u - 5*m - 1. Let y(r) = r + 7. Let h be y(u). Which is smaller: 2/11 or h?
h
Let y be 4 + (5 + -2 - -42). Suppose 11 = -2*v - y. Let g be 12/v - (-12)/25. Which is smaller: g or -1?
-1
Let z(j) = -j**3 - 12*j**2 + 2*j + 6. Let o be z(-12). Is o <= -18?
True
Let d = 2 - 2. Suppose n - 31*v - 3 = -33*v, 2*n = 3*v + 27. Is n < d?
False
Suppose 0 = -4*m - 2*z + 18, 0 = -5*m + m - z + 13. Let s be (0 - m/(-4))*2. Is s > 1/22?
True
Let m = -96 + 90. Let h(v) = 3*v**2 + 7*v + 33. Let f be h(m). Are 100 and f equal?
False
Let b be 12*(-4 + (-552)/(-270) + 2). Do 0 and b have the same value?
False
Let o(y) be the third derivative of -y**5/60 + y**4/12 + y**3/2 + 25*y**2. Let q be (-18)/2*(-4)/12. Let x be o(q). Is -2/45 equal to x?
False
Let w be (21/(-14) - -2)*-2. Which is bigger: w or 5/106?
5/106
Let u = -11 - -11. Let d be (-12)/(-20) + 142/(-195). Let f = d + -43/273. Is u equal to f?
False
Let p be ((-1)/12)/((-1)/(-2)). Let k(o) = -o + 19. Let h be k(17). Let g be h - (-5)/(25/(-5)). Which is bigger: g or p?
g
Suppose -3*n - 125 = 2*u - 4*u, -2*u = 2*n + 100. Which is smaller: n or -47?
-47
Suppose 0 = 2*x - 15 + 9. Let z = x - 3. Are -8/23 and z non-equal?
True
Let f be (0 + -5)/(-1) - 2. Let a be -3 - 57*(f - 2). Let m be 6/8 - (-117)/a. Which is smaller: m or -2?
-2
Let j be 12/(-1 + (-5)/(-10)). Let p = j - -24. Which is smaller: -1/15 or p?
-1/15
Let p be (-7)/63 - (-1191)/27. Which is bigger: p or 0.3?
p
Let w = -58.888 - 0.112. Let m = 58.99 + w. Is -0.1 <= m?
True
Let b = 0.0215 - -0.1685. Which is smaller: -0.1 or b?
-0.1
Let w = -57 + 59. Suppose 0 = 11*r - w*r - 18. Which is smaller: r or 10/13?
10/13
Let g = 567 - 566. Is g greater than or equal to 9/316?
True
Let h = 12 - 9. Suppose -5*k = -2*k + 2*m, 2*k - m = 7. Suppose -h*t = -t + k. Which is bigger: 4/17 or t?
4/17
Suppose 0 = 3*j + a + 2*a + 735, -j - 245 = -4*a. Let u be -4 - (-8569)/(-36) - (-6)/(-2). Let p = j - u. Which is smaller: 1 or p?
p
Let n = -2.397 - -2.4. Let p = n - 0.103. Let s = -12 - -19. Which is greater: p or s?
s
Let z(f) = -2*f + 3*f**2 + 0*f**2 + 2 - 2*f**2. Let p be z(1). Suppose 2*u - k + p = -2*k, 4*u - 7 = -5*k. Which is smaller: -3/4 or u?
u
Let j = -32 - -36. Suppose 2*i - j*a - 3 = 3, 5*i + 2*a = -45. Is 6 equal to i?
False
Suppose -j + 46 = -5*b, -5*j + b = -422 + 264. Which is bigger: j or 1/2?
j
Suppose 4*c = -4*j - 0*j, 5*c - 20 = 5*j. Suppose c*t + q = 7 + 8, 3*t + q - 21 = 0. Is 5 greater than t?
False
Suppose -d + 38*d - 1406 = 0. Is d smaller than 38?
False
Let m be -5 + 28391/9471 + 2 + 0. Is -1 <= m?
True
Let r be ((-91)/(-21))/(-2 + (-858)/(-432)). Is -313 greater than r?
False
Let v = -22/333 + 4454/87579. Which is bigger: v or 1?
1
Let t = 348 - 345. Are -0.026 and t equal?
False
Suppose -41 - 69 = 5*d. Let a(s) be the first derivative of s**4/2 - 2*s**3/3 + s - 8. Let p be a(-2). Are p and d equal?
False
Let s(h) = h**3 - 11*h**2 - 12*h - 20. Let c be s(12). Let d = c - -13. Is -9 bigger than d?
False
Let f be ((-2)/20)/((-5)/20). Is f < 95?
True
Let l = 0.2 - 1.2. Let p = 92.2 - 97. Which is smaller: p or l?
p
Let t = -663/5 + 132. Suppose -148 = -6*d + 38. Let v = d + -32. Which is bigger: t or v?
t
Let r = -107 + 65. Is -4 > r?
True
Let u = 0.34 + -0.3. Let b = -35.06 + 35. Let a = u - b. Is a > -4/3?
True
Suppose -5*m - 162 - 113 = -5*l, -3*l = 3. Is m < -59?
False
Let a be (58 - 168) + 18/(-2). Which is greater: a or -118?
-118
Suppose -4*v - 1 + 5 = a, 0 = 4*v - 2*a - 4. Let c = 187 - 121. Let x be ((-10)/c)/((-4)/24). Which is smaller: x or v?
x
Suppose -3*m - 30 - 78 = 0. Let v = 62 + m. Suppose 0 = 4*g + v - 38. Which is greater: g or 4?
4
Let f = -4 + 7. Suppose 0 = -5*y + 18 + 2. Suppose w = -y*d - 12, -f*w + 4*d + 8 + 4 = 0. Is w smaller than 4/7?
True
Let p(f) = -9*f + 3. Let d(a) = 4*a - 1. Let o(q) = -5*d(q) - 2*p(q). Let h be o(-1). Suppose 2*l - l = 0. Which is smaller: l or h?
l
Let r(g) = g**2 + 3*g + 5. Let q(j) = j**2 + 3*j + 8. Let x(f) = 3*q(f) - 4*r(f). Let y = 3 + -8. Let p be x(y). Do p and -6 have the same value?
True
Let l = 1.98 - 2.08. Which is bigger: l or -2.69?
l
Suppose -2*h + 5 + 3 = 0. Suppose j - 5*j = -h*w - 20, 2*w + j - 5 = 0. Let a be (-36)/14*(-1)/(-3). Is a at most w?
True
Let d = 41.894 - -0.106. Let r = 34 - d. Which is smaller: r or 5?
r
Let x be (-6)/9 - 518/(-21). Let d = x - 24. Are d and -2/65 equal?
False
Let y = -323 - -297. Is y at most -18?
True
Let p = -6.07 - -0.47. Let g = 0.6 + p. Let s = 3 + g. Is 1 < s?
False
Let a be (-187)/(-33) - 1/(-3). Suppose -5*j + 2 = -a*j. Let s be -2 - (-7 - j) - 0. Which is smaller: -2/13 or s?
-2/13
Let p be (-8 - 8/4)/(1 + 1). Let v(c) be the first derivative of -c**4/4 - 5*c**3/3 + c**2/2 + 7*c + 1. Let o be v(p). Is o <= 1?
False
Suppose 4*y - 1358 = 3*o, 3*o - 76*y = -74*y - 1354. Is -450 equal to o?
True
Let d be -10 + 12/(-3) + 4. Let i be d/40 + (-21)/(-100). Is i equal to 0?
False
Let c(j) = -j**3 + 4*j**2 - j - 6. Let g be c(3). Suppose g = -4*o + 3*k + 75, 5*o - 75 = 2*o - 4*k. Is 20 != o?
True
Suppose -240 = 4*a - 32. Let n be (-3)/(-2)*a/(-39). Suppose -r + 2*u - n = -5, -2*u + 22 = 4*r. Which is smaller: r or 6?
r
Suppose -16 = -4*t, -4*o - o = t + 196. Let z = -43 - o. Is -2 bigger than z?
True
Let h(i) = i - 1. Let o be h(-1). Which is greater: -14 or o?
o
Let o = 592/1395 - 22/45. Which is greater: o or -1/2?
o
Let a(v) be the second derivative of -v**4/12 + 5*v**3/3 + 19*v**2/2 + 8*v. Let o be a(11). Suppose 8*r = 9*r + o. Which is bigger: -7 or r?
-7
Let y be (-2 + 1)/(2/12). Let z be -4*y/48*2/1. Which is greater: 6/49 or z?
z
Let q be (-70)/10 + 11 + (-1 - 3). Is q >= 2/291?
False
Let a be ((-5)/3 + 1)/((-4)/18). Suppose 2*i = -a*i + p, 2*i = 3*p + 13. Is i bigger than 1/10?
False
Let r be 2/(-8) + (-793)/(-244). Suppose 0 = -5*k - 11 - 4, 39 = -3*y - 5*k. Let a be 38/y - (-3)/(-12). Do r and a have the same value?
False
Let d be ((-6)/15)/(((-8)/10)/4). Suppose 4*n + 50 = -d*c, 4*n = -4*c + 8*c - 32. Which is smaller: -9 or n?
n
Suppose 0 = -f + 19 - 3. Let z(i) = 3*i. Let v be z(1). Suppose -4*j - 11 = -c, 4*c = v*j - j + f. Is -4/5 at least as big as j?
True
Let m = 1.1 + -8.1. Let h = m - -5. Let q = 2 + 0. Is q > h?
True
Suppose -2*s - 66 - 134 = 0. Let w be 1*s/18624*33. Let a = 1/97 - w. Is a at most as big as -1?
False
Let l(n) = -10 + 10 + 5*n. Let r be l(-1). Let z = -4 + 5. Which is smaller: r or z?
r
Let b(s) = -s - 4. Let k be b(-3). Let y be (-6)/(-3) - (-132)/(-69). Do y and k have the same value?
False
Let b = -3 + -74. Which is bigger: -78 or b?
b
Let q = 337115/17898 - 6/2983. Let g = 37/2 - q. Let x be ((-7)/(-2))/((-2)/(-4)). Is g > x?
False
Let f = 19 - 19.9. Let s = 0.2 - f. Let a = 1 - s. Is a less than or equal to 2?
True
Let h = -969/5 + 78499/405. Let a = 1/78 - -17/26. Is h < a?
True
Let g(s) = 2*s**3 - 4*s**2 + 4*s - 10. Let t be g(4). Suppose 0 = -5*w + t + 190. Is 52 greater than w?
False
Let g(c) = 15*c - 21. Let d be g(1). Which is bigger: d or -3?
-3
Let m = 0.0003 - -0.0397. Which is bigger: 0.1 or m?
0.1
Let z = -445.1 + 427. Let m = z - -19. Let c = 0.1 + m. Which is smaller: -5 or c?
-5
Let s(l) = 3*l**2 - 40*l - 21. Let n be s(18). Let f be (-7)/n*6 - 310/(-11). Do f and 27 have different values?
True
Let h = 34715/514 + -10/257. Which is greater: 69 or h?
69
Suppose -22*i - 6 = 16. Let o(j) = -j + 4. Let b be o(4). Let g be (b - 2)/(i/5). Is g at least as big as 9?
True
Let r = -940 + 951. Is r <= -0.052?
False
Let f = -5729/273159 + 2/1809. Is 0 equal to f?
False
Let n(g) = 2*g**2 + 107*g + 53. Let u be n(-53). Let y be -2 - -1 - (-4)/6. Is y greater than u?
False
Let s = 174 + -2955/17. Suppose 3*k + 4*w - 65 = 0, 3*w + 52 = 5*k - 8. Suppose 2*q + 2*q = u - 1, 5*q - k = -2*u. Is q not equal to s?
True
Suppose -2*g + 2*m + 54 = 0, -3*g - 3*m = m - 116. Which is smaller: g or 61/2?
61/2
Suppose -8*c = -5*c - 12, 3*w + 2*c - 35 = 0. Let q be ((90/28)/w)/((-4)/8). Suppose 2 = 4*h + 2*p, p = -3 + 4