52*d. Is d less than 34?
True
Suppose -2*g + 2*p + 282 = 0, -238 + 814 = 4*g - p. Suppose 2*o - 245 = 39. Is o less than g?
True
Suppose 6*d = 477 + 477. Suppose -3*y = 3*j + d, 3*y + 2*j = 6*y + 169. Is -55 greater than y?
False
Suppose 10*u = 78*u - 68. Is u > -11/338?
True
Suppose 2*j = -2*r - 18 - 2, -5*r = -4*j - 49. Suppose 0 = -5*q + 10 + 10. Suppose q*m + 3*f = -0*f - 34, -50 = 4*m - 5*f. Is m greater than or equal to j?
True
Let y = 800 + -832. Let m = -201479/6606 + -2/3303. Which is bigger: m or y?
m
Suppose 89 - 238 = z. Suppose 0 = -3*r + 459 - 51. Let y = r + z. Is y < -13?
False
Let l = 2 + -3. Let g be (-2)/2 - (1467/7)/(-9). Let j = 3274/147 - g. Are j and l equal?
False
Let b = 78900 - 78913. Let a(u) = 2*u**3 + 2*u**2 + 3*u. Let s = 4 - 6. Let y be a(s). Which is smaller: y or b?
y
Let v(r) = r**3 - 12*r**2 + 7*r + 39. Let z be v(11). Let i be -2 - ((3968/(-660) - z) + -1). Is -1 less than i?
True
Let l be (-2 - 20) + -5*(-4)/(-4). Are l and -83/3 unequal?
True
Let o(c) = -4*c**2 - 1. Let w be o(-1). Let p be ((-4)/(-3))/((w/(-1))/15). Let v be (p - 1)*6*(-3)/6. Which is smaller: -7 or v?
v
Let q(f) = -f**3 - 14*f**2 + 53*f + 37. Let t be q(-17). Suppose 2*c - 4*r + 3 = -3*r, -t*r = 2*c - 9. Let w = 437/73935 - -1/795. Which is smaller: w or c?
c
Let k be 6 - (-7 + 13) - -4. Suppose k*f + 7 = -3*c, 0*c = -c + 2*f + 1. Is c greater than or equal to 24/55?
False
Let t = 100711/47 + -2143. Let b be (-11)/(-33) - (1 + 4/3). Let x = b - -3. Is x < t?
False
Suppose 4*q + 12 = -203*w + 199*w, -3*q + 1 = -2*w. Which is bigger: 7/202 or q?
7/202
Let w be 288/(-1008) - 9488/14. Is -676 greater than w?
True
Suppose 2*p - 5*p - 123 = 0. Let n = -37 - p. Let x be 350/(-441) - n/(-7). Which is smaller: -1 or x?
-1
Suppose k + 5*z + 4 = -0*z, -2*k - 4*z + 4 = 0. Suppose 0 = k*i - 42 + 48. Let s be 16/172*1/(-2). Is i > s?
False
Let x be (-25)/8 - -3 - (-270)/240. Which is smaller: x or 2/827?
2/827
Let a = 153 - 152. Let t be a*-10*(748/55 + -2). Is -114 bigger than t?
True
Suppose 5*i = p + 450, 9*p - 2*i = -0*i - 3792. Which is greater: p or -418?
-418
Let m = -368 - -368.94. Let b = -0.06 - m. Is -2/361 greater than or equal to b?
True
Let l(d) be the first derivative of -d**3/3 + 4*d - 28. Let s be l(2). Let u = 398/11 + -23051/638. Which is smaller: s or u?
s
Let x be -1 + 0 + 0 + 6. Let s = 65 - 60. Suppose -2*j - 2 = 4*m - 18, -s*m + 5 = 0. Is x at most j?
True
Let o be (-12 + 845/78)/(2 - (-644)/(-306)). Which is smaller: 11 or o?
11
Let j be ((-6)/4)/((-51)/136). Suppose -5*f = -3*p + 4*p - 50, -j*p = 0. Let i be (24/f)/((-9)/30). Are i and -8 nonequal?
False
Let x = -192608 + 2502731/13. Which is smaller: x or -89?
x
Let g(b) = -2*b - 35. Let t be g(-20). Suppose t*z + 425 = -285. Which is smaller: z or -144?
-144
Let w(i) = -7*i**2 - 55. Let r(q) = -4*q**2 - 27. Let x(b) = -5*r(b) + 3*w(b). Let v be x(0). Let k = -29 - v. Is k less than 3?
True
Let x = -1.1 + 222.1. Let q = x - 228. Is 15 <= q?
False
Suppose 0 = -46*u - 3020 - 10826. Is u bigger than -304?
True
Suppose -5*i + 5*v - 5 = 0, -v - 4*v + 6 = -4*i. Let y be (i*2/3)/(2/231). Suppose -47 = 2*k - y. Is 46/3 greater than k?
True
Let t be -572 - 0 - 10/(-5)*1. Let g be (-16)/t + (-36)/(-342). Which is bigger: -1/3 or g?
g
Let c(v) = 5*v**2 + 32*v + 231. Let f(r) = -r**2. Let o(q) = c(q) + 4*f(q). Let y be o(-11). Let d be (-16)/((26/(-2))/(-1)). Which is bigger: d or y?
y
Suppose 8*f + 9 = 11*f. Let v(z) = 2*z - 3. Let a be v(f). Suppose a = -14*o + 17*o. Which is smaller: 2/79 or o?
2/79
Let p(m) = -6*m + 876. Let o be p(146). Which is smaller: 10/2773 or o?
o
Suppose 0 = -m + c - 3, -m + 15 = 4*c + c. Let d be ((-18)/64)/(8 + -5). Is d < m?
True
Suppose 2*o + 5*y + 25 = -0*o, 3*o + 2*y + 32 = 0. Let k be (-47)/o*(5 + -3 + 0). Are 9 and k nonequal?
True
Let y = 800.7 + -801. Which is bigger: -0.051 or y?
-0.051
Let k = -8 - -4. Let s = -138091 - -138054. Which is greater: k or s?
k
Suppose 1880 = -89*b + 42*b. Which is smaller: -38 or b?
b
Let y(m) = -51*m + 4480. Let p be y(83). Is 254 < p?
False
Let w = 3217379/244 - 13186. Which is smaller: w or 0?
w
Let k = 466 - 542.6. Which is smaller: -3 or k?
k
Let s = -30 + 3. Let c be (0 - 1)/((-144)/s). Is c at least -1?
True
Let o = -122 - -180. Let c = o - 69. Which is smaller: c or -9?
c
Suppose 45*z - 50*z - f + 853 = 0, 488 = 3*z + 4*f. Let c = 5280483/30790 - -1/15395. Is c bigger than z?
False
Suppose 2*j = 3*p - 8*p + 20, -5*p + 10 = 0. Let x be ((-1)/3)/((2/(-15))/2). Let g(y) = -y**2 + 6*y + 2. Let f be g(x). Which is bigger: j or f?
f
Let v be (23538/23739 + -1)/((-187)/(-31174)). Let d = 2/7913 - v. Is 1 at most d?
True
Let o = -7 + 11. Suppose 4*j - 2 = -5*p, -4*p = o*j - p + 2. Let f = 119 - 127. Which is greater: f or j?
j
Suppose 410 = 138*d + 272. Which is smaller: d or -3/5374?
-3/5374
Let k be ((-372)/(-30))/(2/5). Let l be 18*((-21)/10)/((-18)/15). Which is smaller: l or k?
k
Let q = 973 + -2143. Let m = -47976/41 - q. Which is greater: m or 0?
0
Suppose -5*x + 3*d - 7*d = -160, 2*d + 130 = 5*x. Suppose 4*b + 2*r - 22 = 0, -15 - 3 = -4*b + 2*r. Suppose b*y - 2*z + 17 = -25, 2*y + 2*z = -x. Does -8 = y?
False
Suppose 61*j + 56 = 75*j. Let r be -3 + (-6 - (j - (-8818)/(-678))). Is r less than 1?
True
Suppose 3*a - 3474 - 708 = 0. Let x = -32056/23 + a. Let h be 1*(-2 - (-1 - 2)). Which is smaller: h or x?
x
Let m = -518.182 - -486.7039. Let j = m - 0.6119. Let b = j + 32. Which is smaller: -0.2 or b?
-0.2
Let h = 1.75 - -8.35. Let q = 16.1 - h. Do 2/3 and q have the same value?
False
Suppose 4*f + 3179 - 569 = -26*f. Which is bigger: f or -94?
f
Let n = -183.3 - -185. Let p = 1304/5115 + 4/341. Let b = 14/15 - p. Is n < b?
False
Suppose -w = -6*w + 20. Let l be 1 + 2 - -33 - w. Let x = l - 82. Are x and -50 equal?
True
Let g = 172537/37 - 4663. Is 36 bigger than g?
True
Let s = 4563 + -3933. Is -0.4 at most as big as s?
True
Let c = 12.499 - 10.499. Which is bigger: c or 1010?
1010
Let i = -3722 - -3143. Is i < -5/4?
True
Let d be (230/(-16675))/(1008/100). Which is greater: 0 or d?
0
Let g be ((19/(-38))/(1/(-18)))/(-1). Let p be (g*(-2)/(-75))/(8/(-10)). Suppose y - 4 = 5*y. Is y at most p?
True
Suppose 14*q - 9*q = 2950. Let h = q + -869. Let l be 3/(-4)*(-1 - 287/h). Which is greater: -1 or l?
l
Suppose 5*b = 4*g - 54, g + b + 0 = 18. Suppose -2*y = 3 - 11. Suppose 0 = -y*m - 0*h + 2*h + 58, 4*h = 5*m - 74. Is m less than g?
True
Let j be ((-12)/37)/(21/14). Let n = -146/333 - j. Is 0.13 > n?
True
Suppose -9*h - 37 = -478. Let s = h - 20. Suppose s*g = 24*g + 15. Which is bigger: 2 or g?
g
Suppose l + 59 = 5*d, 0 = 2*l + d + 4*d + 43. Let i = 25848 - 283956/11. Let u = l + i. Are u and 2 equal?
False
Let y(m) = -m**2 - 8*m + 3. Let t be y(-12). Let x be (-349)/(-9) + (-10)/t. Let k be -3 - -5 - 90/x. Is k at least 0?
False
Let a be 2/(-7) - (0 - 76280/(-119)). Let y = -641 - a. Which is smaller: 1 or y?
y
Let v be (10 + -11)*(-3 - 0). Suppose -2*k + o = -0*k + 4, v*k + 5*o - 20 = 0. Let j be ((-6)/9)/((-1)/(-9)). Which is bigger: k or j?
k
Let s = 1.96 + -2.5. Let u = 50358 + -50357. Which is greater: s or u?
u
Let m = 19.982 + -19.9. Let w = 10.918 + -11. Let b = m + w. Is b greater than 2?
False
Let k = 4301.86 + -4303. Which is greater: 28 or k?
28
Let q = -441 + 440.93. Suppose 152 - 113 = 13*j. Which is smaller: q or j?
q
Suppose 0 = t + y - 377, -1135 = -3*t - y + 2*y. Let a be (72/t)/((-1)/1). Does 1 = a?
False
Let p(j) = 788*j + 14433. Let a be p(-18). Which is greater: 247 or a?
a
Let i = -27172.65 + 27157. Which is smaller: i or -5/4?
i
Let j(i) = -i**3 + 4*i**2 - 3*i - 3. Suppose 3*h = 4*c - 31 + 14, 4*h + 2 = -5*c. Let p be j(c). Is p equal to -2/2545?
False
Let w be ((-2232)/(-54))/31 + (-28952)/6. Is -4824 <= w?
True
Let h(t) = -t - 12. Let j be 2/(201/69 - 3). Let i be h(j). Suppose 2*m + m - 6 = 0. Is m less than i?
True
Suppose 8*w - 9 = 63. Let f(q) be the third derivative of q**6/120 - q**5/6 + q**4/3 - 5*q**3/3 - q**2. Let y be f(w). Is -19 less than y?
False
Let n be ((-15)/10)/(((-15)/(-176))/15). Is -264 greater than n?
False
Let y = -3497 + 6001. Which is greater: y or 6?
y
Suppose 7*r - 20 = 12*r. Let a be (r/10)/((-1071)/85). Which is bigger: 0 or a?
a
Let q = -627 + 211. Let