 -2*o. Let w be (1/(-2))/((-13)/o). Suppose 5*c - 11 = 3*c + 5*g, w*c = 3*g + 56. Which is smaller: c or 11?
11
Suppose 0 = -2*w - 4*m + 10, -5*w + 15*m - 13*m - 35 = 0. Is w greater than -39?
True
Let z = 2981 - 3597. Which is smaller: z or -3087/5?
-3087/5
Let a(t) = 2*t**3 - 5*t - 4. Let r be a(-1). Let s(n) = -57*n**2 + 2*n. Let i be s(1). Let d be (4/10)/(693/i). Is d at least as big as r?
True
Let q = -0.0305 + -31.9695. Let s = 32.6 + q. Do -20 and s have the same value?
False
Let x be (((-375)/250)/(9/28))/((-2)/(-339)). Is -791 at most x?
True
Suppose -l = 2*o - 19, -2*o + 5*l + 12 = -25. Let z be ((-11)/o)/((-5)/108). Which is bigger: 21 or z?
z
Let o be (-155)/(-4) + (-1)/(-4). Suppose -t + 2*x = 3*x - 125, 4*t - 498 = -3*x. Let l = t - 83. Which is smaller: l or o?
o
Let f be 3508/438 + -4 - 4. Let k = -673/1752 + f. Let c = -7/15 - -1/15. Which is greater: c or k?
k
Let v = 2849.338 - 2853. Let j = v + -0.338. Which is smaller: j or -0.06?
j
Suppose -11*j - 14*j + 3750 = 0. Let y = 11 - -138. Which is bigger: y or j?
j
Let h = 401/110 + -18/5. Let f = 37/154 + h. Suppose -11 = -7*q - 4. Which is smaller: f or q?
f
Let m = 0.194 - -133.806. Let u = m + -56. Is u != 2?
True
Let i = 13/4 - 3. Let h = 111750 + -111813. Which is bigger: h or i?
i
Let t = 9.275 - 9.2. Let p = -0.065 + t. Is -62 != p?
True
Let s be 20/(-10) + 2 + (32/(-2582))/4. Which is bigger: 1 or s?
1
Let h(k) = k**2 - 100*k - 2091. Let f be h(-18). Is 14 < f?
True
Let t = -174 - -183. Suppose 4*d = 4*v, v + 9 = -5*d - t. Which is greater: -26 or d?
d
Let x be ((-195)/(-8424)*12)/((-40)/(-6)). Is x at most -3/35?
False
Let y = 35665/9 + -3963. Is 363/5 smaller than y?
False
Let l(r) = -3*r + 12. Suppose -9*k + 7*k + 12 = 0. Let i be l(k). Let g be 1/(((-3)/i)/((-1)/(-2))). Is 7/8 < g?
True
Let u = 3771 - 4320. Which is smaller: u or 1?
u
Suppose -j - 2*t + 104 = 14, j = 2*t + 102. Suppose 0 = 92*r - j*r. Which is smaller: r or -18/65?
-18/65
Let y = 24.28035 - -0.02965. Let w = y + -2.41. Is w > -0.1?
True
Let s = 138 + -138.077. Let t = 2.423 - s. Let b = t - 2.3. Is 12 > b?
True
Suppose 0 = -15*n + 19006 - 3556. Suppose -8*a - n - 722 = 0. Which is smaller: a or -2/3?
a
Let a(l) = 149*l - 746. Let w be a(5). Does -3/928 = w?
False
Suppose 0 = -b + 4*q - 131504, -q = -5*q - 16. Let v be b/(-385) - (-4)/(-22). Let u = -2290/7 + v. Does u = 15?
False
Suppose 2*p - 53 = -3*k, p - 2*k - 7 = 2. Suppose 20*l - 4*c = p*l - 1, -2*l = -c + 2. Which is greater: l or 2/247?
2/247
Let u = -363 + 294. Let i = 1169/17 + u. Is -1 >= i?
False
Let f(w) = -2*w + 8. Let i be f(5). Let d(k) = k**2 + 5*k + 4. Let t be d(i). Let n be t + 1 - 3/(48/(-13)). Which is smaller: n or -0.1?
n
Let p(x) = 16*x - 30. Let s be p(2). Suppose 4*j = -2*a - 2 + 24, -3*j - s*a = -16. Is 19/3 bigger than j?
True
Let c(r) be the second derivative of -r**5/20 + r**4/4 + 3*r**3/2 - 17*r**2 - 238*r. Let q be c(6). Are -93 and q equal?
False
Suppose 1089 + 187 = 44*l. Let s = -117 - -1754/15. Which is greater: l or s?
l
Let x = 46074/17 - 18751574/6919. Which is smaller: -1 or x?
-1
Let g = -15.3454 + 0.3454. Is g < -0.44?
True
Let r = 26024/535797 - 25/1609. Which is bigger: r or -1?
r
Suppose 46 = 2*m - 4*n, 5*n = -2*m + 8 + 65. Suppose 11*g - m = -b + 6*g, -10 = -2*g. Let z = 14 - 8. Are z and b equal?
False
Let i be 197122/40 - 27/(-36). Let w = i + -4945. Let c be 56/(-40) - (-146)/(-10). Which is greater: w or c?
c
Suppose 0 = 16*p - 4*p + 840. Let q = 72 + p. Which is greater: 12 or q?
12
Let c = 38 + -65. Let g(v) = v**3 - 9*v**2 + 8*v - 4. Let w be g(8). Let l be 2/w*(2 - 56)/(-1). Is c < l?
False
Suppose -98*k + 1408 = -160. Let v be ((6/(-9))/2)/(k/(-32)). Let s = -1.8 + -7.2. Is v greater than or equal to s?
True
Suppose -4*y - 5*v + 13377 = 0, -3*v - 1833 - 1507 = -y. Are y and 3342 equal?
False
Let h = -0.076 + -0.084. Let d = h + -0.34. Is d < -28?
False
Let u = 53426 - 47962. Is u greater than 5466?
False
Let a = 359.2 + -359.1. Which is bigger: a or 27.41?
27.41
Let w = 217 + -199. Let k be (1508/(-87))/((-3)/(w/44)). Do -0.1 and k have the same value?
False
Let q(g) = 2*g**2 - 6. Let x be q(2). Let d = -2 - x. Is -14 > d?
False
Suppose 0 = -62*y + 358 - 110. Suppose -3*z + z + 98 = 0. Suppose -y*v = 31 + z. Which is bigger: v or -1/3?
-1/3
Let o be (-77)/(-77) - (4 - 3). Which is smaller: o or 1/280?
o
Let w = 10 - 12. Let v be 104/65*5/w. Let m be -3*v/144*(3 - 17). Which is bigger: m or -1?
-1
Let o = 630474895/1677 - 375954. Let b = o - 3/86. Let w be (-36)/6 + 6 - -1. Is w at most as big as b?
False
Suppose 6*w - l - 21 = 3*w, -4*w = -3*l - 23. Suppose -3*j = 8*j - 11. Let z = j + w. Is z at most as big as 9?
True
Let w = 75321521/1215 + -61993. Which is greater: 1 or w?
1
Suppose 0 = -4*y - 1400 - 10748. Let x = -24247/8 - y. Let k = x - 23/4. Do k and 0 have the same value?
False
Let t be ((-324)/63)/((-2)/7). Let h = -3701 - -26035/7. Is t smaller than h?
True
Let d = -1213/7 + 3335743/19250. Is d bigger than 0?
False
Suppose -15*q + 38*q - 736 = 0. Which is bigger: q or 21?
q
Suppose 0 = 5*p + 9370334 - 24503899. Let g = p - 6991708943/2310. Let m = 2/385 - g. Is 0 <= m?
True
Suppose -18 = -2*o + 3*x - x, 2*x = -3*o + 42. Suppose 3 - o = 9*v. Let w be -2 - -14*9/51. Does w = v?
False
Let q = 3.18 - 34.98. Let u = q + 27. Let l = 4.9 + u. Are l and -0.38 equal?
False
Let p be (-5754)/(-27) + 54/243 + 0. Which is greater: 212 or p?
p
Let h = 304 + -298. Suppose -3*r = 0, 5*u + 10 = h*r - 5*r. Is u at most -14?
False
Let i = -68.2 + 50. Let v = i - -18.1. Is 103 at least v?
True
Let q = 14659 + -14605. Let y = 2 - 0. Are y and q nonequal?
True
Let w = 6217 - 6216.9727. Which is smaller: w or -3/5?
-3/5
Let q = 34 - 26. Suppose -3*t + 5*t + 13 = -v, q = 4*t. Suppose 0 = -m - 3*m - 68. Is m < v?
False
Let a = -45/49 - -503/441. Which is smaller: a or -1?
-1
Let z(b) = -3*b + 28. Let v be z(10). Let a be (v*(-7)/28)/(2/(-620)). Does -155 = a?
True
Let q(a) = 10*a - 53. Let j be 7/(-2 - 1/(-1)). Let l be q(j). Let x = l + 124. Is x not equal to -6?
True
Let c(l) = 5*l + 128. Let s be c(-25). Let j be s*54/3 + 9/(-3). Which is bigger: j or 53?
53
Let k = 3.59 - -521.41. Let u = k + -523. Which is bigger: 1.5 or u?
u
Let c(g) = 7*g**2 - g. Let y be c(-1). Let t = -64/9 - -466/63. Which is bigger: t or y?
y
Let k(a) = 2*a**3 - 102*a**2 - 111*a + 71. Let l be k(52). Which is greater: l or -291?
-291
Suppose 471*n - 460*n = -143. Let p be (n + 3830/260)*(-1)/(-5). Which is greater: -2/9 or p?
p
Suppose -5*q + 6638 = -4752. Let r = -243743/107 + q. Which is smaller: 0 or r?
0
Let z = 77 + -4698/61. Suppose 177*k - 4 = 175*k, 3*a - 5*k = -10. Is z not equal to a?
True
Suppose 5429 = 4*g + g - 2*i, -3*g + 3253 = i. Let y be 6/(-435)*(-471981)/12*-2. Let u = y + g. Is u >= -1?
True
Let o be (375 - 389)*(-13336)/(-14). Which is greater: -13337 or o?
o
Let h be -1 - (-59)/((-8 + 1)/427). Do -3600 and h have the same value?
True
Let l be 3/(-7 + -8)*(1 + 0). Which is bigger: -3336 or l?
l
Let n be (-20 + 224/(-12))/((-2)/(-123)). Is n at most as big as -2378?
True
Suppose 0 = -5*z - 1 + 11. Let p be (-1)/((10/105)/z). Let o = -2 - 20. Is p <= o?
False
Let d be (-9425)/(-100) + 3/4. Which is smaller: 78 or d?
78
Let f = -137 - -141. Suppose 0*z - 2*z - 198 = 5*x, 2*z = f*x - 216. Is z at most -104?
True
Suppose -5*m + 105 = 3*h, m + 843*h - 19 = 842*h. Is m less than 21?
False
Let z(h) = 4*h**2 + 4*h + 1. Let w(k) = -1 + 7*k**3 + 26*k - 8*k**3 - 149*k**2 + 160*k**2. Let g be w(13). Let n be z(g). Which is bigger: -10 or n?
n
Let g(u) = 5*u + 65. Let w be g(-13). Let o be w*5*5/25. Which is greater: o or 1/109?
1/109
Let j be -1*(-2 - -3)*(6 - 8 - -1). Is j > -3/824?
True
Let s = 15108 - 15109. Which is bigger: s or -220/197?
s
Let b(i) = -2*i**2 - 23*i + 51. Let j be b(-15). Let w be ((-740)/8)/(j/(-12) + -4). Is w >= -184?
False
Suppose 0*o - 2*q - 24 = -4*o, -5*q = -3*o + 25. Suppose 0 = -2*c + 4*p + 10, 0*c + 3*p - o = -c. Suppose c = 11*t - 6*t. Is t less than 1?
False
Let w = 9998 - 1879617/188. Let m = 793/3948 + w. Suppose 0 = -14*l + 7*l + 7. Is l < m?
False
Let f = 13335 - 13333. Is f not equal to 90/97?
True
Let m(u) = -u - 28. Let g be m(-27). Let z be g - 1*(4 + (-19)/4). Let j = -1.21 