Suppose -5*c + 20*v - 695 = 17*v, 0 = -5*c - 3*v - 665. Let h be ((-36)/(-72))/(2/c). Is -34 bigger than h?
False
Let d = 56266/5 - 11084102/985. Does d = 0?
False
Let l = -286 - -295. Suppose 7*p = -2*p - l. Let z = 8/77 + -25/308. Which is greater: p or z?
z
Suppose 5*i + 445 = -5*c, 3*c + 5*i + 271 = 6*i. Let j = c - -72. Let d be 9/(1/(-2) + 0). Is d greater than j?
False
Let j be (-13)/(-260) + 26862/(-534840). Do j and 1 have the same value?
False
Suppose 2*d - 1 = 3. Let v(p) = 19*p + 102. Let g be v(-5). Let x(k) = k**2 - 14*k + 46. Let l be x(g). Which is bigger: d or l?
d
Suppose 92261 = -44*y + 91*y. Do 1965 and y have different values?
True
Let l = -225964/3 - -76197. Which is smaller: 877 or l?
l
Let l = 14.709 - 36.8. Is -1/2 not equal to l?
True
Let j be (-1)/8 - (245/(-40) + 4). Let u be ((1 + 1)/1)/j. Which is smaller: -2/81 or u?
-2/81
Let u = 35 + -8. Which is bigger: u or -5?
u
Let s = 205 - -124. Let h = s + -286. Which is smaller: h or 41?
41
Let m be ((-906)/(-36995))/((-59)/(-10) - (-4)/(-2)). Which is smaller: -1 or m?
-1
Let s = 0.5508 + 0.4492. Which is greater: -885 or s?
s
Suppose -212*s = -761*s - 489159. Which is smaller: s or -4456/5?
-4456/5
Let d(o) = 4*o**2 + 477*o + 4081. Let m be d(-110). Let f(g) = 0*g - 2*g + 1 - g. Let u be f(-3). Which is smaller: u or m?
u
Let a be (-2 - 941) + (4/11 - (-105)/(-77)). Is a >= -946?
True
Suppose 0*f + 4 = -4*f - 3*g, 2*f - 5*g - 24 = 0. Let y be ((-4)/(-8))/(2/28). Suppose 9 = -y*x + f. Are -25 and x non-equal?
True
Suppose -6 - 6 = 2*l. Let w be (l/(-40))/((-20)/25). Let r = 7 + -7. Is w at most as big as r?
True
Let o be -60*(-14)/(-105)*3. Let t be (-175)/(-14)*7/(210/o). Is -10 at least as big as t?
True
Let f = -913 + 6379/7. Let j(k) = -k - 20. Let t be j(-25). Let l(c) = -75*c + 374. Let i be l(t). Is f less than or equal to i?
True
Let h = -4670 - -443658/95. Let t = 571/1140 - h. Let y = -1 - -1. Which is smaller: t or y?
y
Let m = 14 + -11. Suppose -s - 105 = -3*q + 8*q, 5*s + 497 = m*q. Let u = s + 2098/21. Is u at most 0?
True
Suppose -2*d = -2, 2*u + d - 13 = -4*d. Suppose -4*s + u*f = -101 - 59, 3*s - 128 = f. Which is smaller: s or 5?
5
Suppose 154*i - 116*i + 29830 = 0. Which is greater: -783 or i?
-783
Let f be 295470/(-3185)*25/(-3). Is f less than 773?
False
Suppose 0 = 9*y + 19*y - 3080. Let u = y + -105. Is -6 <= u?
True
Suppose 4*j - 55 = 9. Let t(z) = -z - 4. Let c be t(-4). Suppose 10*m + 196 - j = c. Which is smaller: m or -15?
m
Suppose 0 = 5*d - d + 1120. Let u = d + 291. Which is bigger: u or 9?
u
Suppose 707*p - 24 = 5*g + 704*p, -3*g - p - 20 = 0. Let r(o) = -3*o**2 - 2*o + 1. Suppose -3*i + 5 - 2 = 0. Let x be r(i). Is x greater than or equal to g?
True
Let l(d) = -45664*d**3 + d**2 + 2*d + 2. Let n be l(2). Let j = -52237976/143 - n. Let k = j - 12/13. Which is smaller: 1 or k?
k
Suppose -6 = 2*p - 2. Suppose -11 = 5*j + 2*m, 5*j - 2*m - 9 = 8*j. Let x be (j - (-17)/(-9)) + (-64)/(-96). Which is bigger: p or x?
p
Let h = 2.313 + -2.22. Let m = -0.04 + h. Which is bigger: -0.04 or m?
m
Let s = -28067 + 28069. Is s at least -7/437?
True
Let k be ((-11688)/504 - -23)*(-3)/1550. Which is smaller: -1 or k?
-1
Let z = -25672.4 - -25670. Which is smaller: 9/11 or z?
z
Let c = 2.6 - 2.553. Let h = 0.0881 - 0.1881. Which is greater: c or h?
c
Let d = 0 - 0. Let n(i) = 11*i**2 - 14*i - 14. Let y(p) = 5*p**2 - 7*p - 7. Let b(q) = -6*n(q) + 13*y(q). Let u be b(-6). Which is smaller: d or u?
u
Let z(i) = -i**2 + 8*i + 6. Let f(d) be the first derivative of -d**3 + 15*d**2/2 + 11*d - 10. Let y(l) = 2*f(l) - 5*z(l). Let j be y(-9). Is 5/16 <= j?
True
Suppose -8 = -4*g + 12. Let i = -6 + g. Let r be ((-246)/(-238) - 1)/(6 + (-720)/140). Which is smaller: i or r?
i
Let h be 61/(-2) + -5*10/(-100)*1. Let d be 30198/(-436)*(-9)/(-21). Let r = d + 20/109. Do r and h have the same value?
False
Let w(v) = -14*v**2 + 11*v + 89. Let o be w(-6). Let t = 480 + o. Which is smaller: 0 or t?
t
Let u(o) = -5*o + 35 - 25 - 59*o. Let f be u(-2). Suppose j + 29 = f. Are 109 and j equal?
True
Let x be (0 + 0)/(-43 - -41). Is -30/257 < x?
True
Let r(f) = 39*f**2 + 71*f + 142. Let m be r(-2). Is 118 < m?
True
Let s = -17.82 - -15.5. Let y = s - -1.32. Let d = 0.1 - 0.06. Is d at least as big as y?
True
Let q = -90.3 - -90. Let v(z) = 2*z**2 - 23*z + 27. Let a be v(10). Which is bigger: a or q?
q
Let u = -145 - -91. Let w = -54.12 - u. Let s = -1.88 + w. Is s at most 2/29?
True
Let d(j) = 2*j**2 + 30*j + 25. Let h be (3 + -1)*(-39)/(-26)*-5. Let x be d(h). Suppose -4*t + 79 = -5*v - 7*t, -4*t = -v - x. Which is bigger: -19 or v?
v
Let i(p) = -4*p**2 + 30*p - 177. Let d be i(-16). Are -1681 and d non-equal?
False
Let k(r) = 13*r - 6. Let g be k(4). Suppose -5707 = -198*z + 2411. Which is smaller: g or z?
z
Let k be (25 + (3 - 3))*1. Suppose 5*z + 0*z - 150 = 0. Suppose z*l = k*l - 40. Is l < -6?
True
Let k(j) be the third derivative of -j**5/60 + j**4/24 + j**3/3 + 15*j**2. Let a be k(0). Suppose 16 = -a*o + 12. Is o >= -2?
True
Let n = -126 - -130. Let v be (0 - n) + 338/91. Let c = 0 - 0. Which is smaller: v or c?
v
Suppose 12*t - 46*t - 19 = 15. Which is greater: t or -3/9272?
-3/9272
Let x = -26129 - -26146. Suppose 8 = 3*s + c, -4*c - 12 = -s + 8. Are s and x equal?
False
Suppose 55*h - 4160 = 5*o + 52*h, 2*o + 1664 = 3*h. Are o and -834 non-equal?
True
Let w = 76 - 75.4. Let k be (6/(-12))/((2*-1)/(-88)). Let c = -24 - k. Which is smaller: w or c?
c
Let x = -4385 - -4384. Which is smaller: x or -2/719?
x
Let p be (-91063)/35 - (-4)/(-20) - 1. Which is bigger: p or -2/3?
-2/3
Suppose 6*l = -4*l + 30. Let u(m) = -m**3 + m**2 - m - 7. Let o be u(l). Which is greater: o or -22?
-22
Let b(t) = -105*t - 5902. Let o be b(-57). Which is smaller: o or 173?
o
Let k(w) = 4*w - 14. Let c be k(11). Suppose -37*j = -34*j - c. Does j = 10?
True
Let b = -2087/266 + 115/14. Suppose 2*f + f - 2 = -c, -2*c + 3 = 5*f. Is b at most c?
False
Suppose -2 - 13 = -5*z. Suppose 6 = -5*d - 4*a - 1, -z*d = -3*a - 12. Let t = 361/8480 - 3/265. Which is greater: t or d?
d
Let i = 2635 - 2684. Is 0.17 <= i?
False
Let l = 31461 - 31518. Which is smaller: 227 or l?
l
Let w(d) = -d**2 - 155*d - 474. Let p be w(-3). Are p and 12 equal?
False
Let u = -2490 - 2253. Is -4743 bigger than u?
False
Let c = 42.084 + -42.034. Is c bigger than 46/19?
False
Suppose 0 = -3*j - 4*w + 60, -8*j + 23*w + 160 = 22*w. Suppose 0*c + c - o = 24, -132 = -5*c - o. Which is bigger: j or c?
c
Let z = 20642 + -21246. Is -595 smaller than z?
False
Suppose -37 + 7 = 6*v. Let b(x) = 3*x**3 - 24*x**2 + 22*x - 14. Let t be b(7). Does v = t?
False
Let l be (16/112)/(10/(-175))*2. Which is smaller: l or 18?
l
Suppose -5*i = -0*i + 10. Let j = i - -4. Let w be (j - 3/2)*(5 + -3). Does -1/3 = w?
False
Let g = 12040 - 71969/6. Does 46 = g?
False
Let t = 35 + -33. Suppose 2*w + 0*w - x = 10, w - 2*x - 8 = 0. Suppose -a + 20 = w*s - 2*a, 0 = -4*s + 3*a + 20. Are t and s non-equal?
True
Let c(o) = -316*o - 632. Let z be c(-2). Are z and 2/14283 equal?
False
Let f(c) = 5*c + 106. Let l(p) = -3*p. Let k(y) = f(y) + 6*l(y). Let o be k(25). Is -219 at least o?
True
Let o = 4 - 2. Let q be 151/(-6) + (-37700)/(-1508). Is o > q?
True
Let i = -19785 - -28313. Let x = i + -315558/37. Which is smaller: -2 or x?
-2
Let l = 22 - 104. Let m = 112 + l. Is -1/3 at least as big as m?
False
Suppose 0 = 4*v + 5*d + 8, 2*v + d = 3 - 13. Let l = 64/9 + v. Which is bigger: 0 or l?
l
Let g be (3 + 32)/(46/2). Which is bigger: g or 1?
g
Let q = -2962 - -2405. Is q greater than or equal to -557?
True
Let u be -7 + -1 - (-2)/(5 + -6). Let y be ((-135)/u)/(2/4). Let s be (236/233 - 1)/(y/(-18)). Is s < 0?
True
Let c(w) = -60*w**2 - 101*w - 1. Let a be c(-2). Which is smaller: -658/17 or a?
a
Suppose 34*z = 37*z - 2*g + 1999, 5*z + g = -3336. Are z and -667 equal?
True
Let k = 3727.9 - 3728. Suppose n - 3*h = -102, -n + 3*h - 336 = 2*n. Is k < n?
False
Let f(r) = r**2 + 14*r + 25. Let m be f(-9). Let g be ((-12)/5)/((-252)/m - -2). Which is bigger: 1 or g?
1
Let h be 37/7 - (36/(-21) - -2). Suppose 2*r = h*u + 50, -4*u - 7*r - 40 = -4*r. Which is greater: 2/7 or u?
2/7
Let x(w) = -35*w - 515. Let u(c) = 11*c + 173. Let k(m) = -17*u(m) - 6*x(m). Let r be k(-7). Wh