707. Is k greater than -75?
True
Suppose -34*h + 39 = -37*h. Let l(a) = a**3 - 7*a**2 + 4*a + 13. Let q be 2/4 + (-33)/(-6). Let m be l(q). Are m and h equal?
False
Let f = 28813737/395 - 72946. Which is smaller: f or 1?
f
Suppose -17*a = -19*a + 2600. Suppose 60*r - a = 73*r. Which is greater: r or -101?
r
Let f = -639.97461 - 0.02539. Are -1 and f unequal?
True
Let q = 8969/2 - 4639. Let t = -158 - q. Are t and -3 non-equal?
True
Suppose 197*b - 121*b - 145*b - 69 = 0. Which is bigger: b or -1/22739?
-1/22739
Let c = 10.307 + -7.307. Is c >= -57?
True
Suppose 12*l - l = 88. Suppose 4*h - l + 20 = 0. Let r be (0*3/12)/h. Which is greater: r or 4/27?
4/27
Suppose 5*d - 2 = -2*w + 5, -3*d + w + 13 = 0. Suppose -2*v + 7 = -x + 55, -3*x + d*v + 129 = 0. Let i be (-6)/x*(1 - (-2)/(-4)). Is 1 at least i?
True
Let x be (2/4)/((-30)/400). Let d be 1080/(-75) + 8 - (-8 + 2). Do d and x have the same value?
False
Let j = -21 - -206. Let t = j + -208. Is -23 < t?
False
Suppose -226*w = -229*w + 12. Let n be -1 + (-124 - 1) + -2. Let x be (n + 2)/3 + (8 - w). Is x <= -36?
True
Suppose 5*u = -2*g - 55 + 397, 3*u + 855 = 5*g. Which is smaller: 169 or g?
169
Let b = 11 - -24. Suppose -b = -r + 11. Let t be ((-84)/7)/(-6) + 1*43. Is r at most t?
False
Let f = -28.08 - -0.08. Let n = -39/80 + -8527/560. Let v = n + 16. Which is bigger: f or v?
v
Let d = -0.0701 + -5.9299. Is d < -151?
False
Let q = -4/165 + -962/1155. Let u = 469.15 - 8.15. Let d = u + -459. Which is smaller: q or d?
q
Suppose -102 = 3*u - 87. Let c be 12/10 - (-4)/u. Is -10 > c?
False
Let i = 4256 + -4302. Which is bigger: -49 or i?
i
Let c = 10331/10549 + -63/137. Let z = -4512/385 + c. Is z less than -12?
False
Let z be (2 - 6)/((-3)/(12*2)). Suppose 77*v + z = 73*v. Is v at most as big as -6?
True
Let l = -126 - -129. Suppose -h - 10 = -p, -l*p = -18*h + 20*h - 20. Suppose 2*q = 19 + 1. Is q != p?
True
Let b = 5/4 + -7/4. Let l = 11 - -4. Let u be 6*(-1 + -4)/l - -1. Is b > u?
True
Let y(o) = 2*o**2 + o + 4. Let w be y(-4). Suppose -25 = -w*c + 33*c. Let k be (1 - 12/15)/((-4)/c). Which is smaller: 1 or k?
1
Let a = -7503.73 - 1.27. Is a smaller than -1?
True
Let r be 12/22 + (-66480)/8745. Is r at most as big as -8?
False
Let x = 145.35 - 3.35. Let q = x + -138. Which is greater: q or 0.2?
q
Let g(s) = -48 + 20 - 4*s + 28. Let h(r) = -3*r. Let q(o) = -4*g(o) + 5*h(o). Let m be q(0). Do m and -2/51 have different values?
True
Let k(z) = 9*z**2 - 89*z + 1683. Let i be k(19). Is 2/9 less than i?
True
Let f = -1879.8 - -1884.2. Which is greater: f or -1/4?
f
Let l = 2.5 - 17.7. Let q = l - 10.8. Which is smaller: q or 0.2?
q
Let u be -7*9/189*(-3305 - 4). Are u and 1101 nonequal?
True
Suppose -5*s - 127 = -15*r + 13*r, -4*r = 2*s - 170. Is 1/19 > r?
False
Let x be (339/4)/(6/(-27)). Let y = -382 - x. Is -1 at least as big as y?
False
Let t(v) = 265*v - 1053. Let f be t(4). Suppose 0 = 5*x - 4*y - 46, y = -5*x - 4*y + 10. Which is smaller: x or f?
x
Let k = 562832033/1725570 - 70805/4482. Let c = k + -1552/5. Which is smaller: 1 or c?
c
Let d = 3862 - 3862. Is 52/259 bigger than d?
True
Let j be 20055/2420 + -7 + (-42)/24 + 2. Which is smaller: 1 or j?
1
Let v = -91 - -91. Let f be 0 + 1 + v + -1. Which is bigger: f or 6/11?
6/11
Let a(o) = o**3 + 4*o**2 + o + 4. Let n be a(-4). Suppose -1 = -l, -5*l - 536 = -g - 207. Let m = g + -339. Is m >= n?
False
Let v be ((-33)/9 - 1)/(-2 + -24). Let a = 20/39 - v. Is -56 less than a?
True
Let d = -1142 - -913. Are -229 and d non-equal?
False
Let o be (-3)/6 - 9/(-2). Suppose -4 + 8 = o*p. Let h be 5 - 13 - 2/(-68)*262. Which is greater: h or p?
p
Let q = -47 - -46. Let v be 1 - q - (-166 + -2)/4. Let g = -45 + v. Which is smaller: g or 8/21?
g
Suppose 2*p - 6249 = a, 0*p + 3*p + 2*a - 9384 = 0. Let x = 815888/261 - p. Is x greater than or equal to -1?
True
Let p be 1/((-4)/152*-1). Let i be p/(-95)*10/(-32). Let z be -2 + -1 + 3 + 0. Is z at most i?
True
Let h = -460 - -515.4. Let j = 74.4 - h. Which is bigger: -5/2 or j?
j
Let k be -362 - (14/10)/(2/(-10)). Is -352 less than or equal to k?
False
Suppose 0 = t - 5*f - 11, 3*t - t - 4*f = 34. Suppose 9*h - 13 = 68. Suppose 2*o + 5*k - 52 = 0, -o + 11 = -h*k + 4*k. Are t and o unequal?
False
Let b = -158 - -163. Suppose -28 = 4*o - 8*o - b*n, -4*o + 2*n = 0. Is o > 48/19?
False
Let k = 353.6 + -476. Let v = 9.4 + k. Which is greater: v or -0.3?
-0.3
Let h = -601.1 - -6.2. Let x = h - -627. Let t = -33 + x. Which is bigger: 5 or t?
5
Let z be 8/(-6)*(-58 + 37). Let t(l) = -2*l + 17. Let x be t(-6). Is x equal to z?
False
Let v = 17 - 6. Suppose -v*m + 10*m + 23 = 0. Suppose 3*w + m = -46. Which is bigger: -24 or w?
w
Suppose -2*t - 2*v + 0 - 10 = 0, -5*v = 4*t + 23. Let i = -1120 - -2199/2. Let p = -20 - i. Which is bigger: p or t?
p
Let x = 0.087 + 0.433. Let g = 1.52 - x. Which is greater: 9 or g?
9
Let h = -1819 + 1821. Let v be (-24)/(-14) + 6/(-21). Which is greater: v or h?
h
Let n = -13 + 24. Let o(k) = 2*k - 7. Let r be o(4). Let v be r*(-1 - -7) - (4 - 4). Which is bigger: n or v?
n
Let u = 871049/14081336 + -46/743. Which is greater: -1 or u?
u
Let x be (-3)/(4/(-1) - -3). Let f = -3.8 + 3. Let c = f + 2.8. Which is smaller: x or c?
c
Let s be 126/(-14)*1/(-3). Suppose 4*t + 0 = -3*o + 2, -5*t = -s*o + 11. Let y be 0 + 2 - o - (-11 + 1). Is y greater than or equal to 26/3?
True
Let l = -32.5 + 31.5. Is -74 equal to l?
False
Let m be (2/6)/(6/54). Suppose 3*a = m*o - 8*o + 8, 4*a - 6 = -2*o. Let v = 81 - 5749/71. Is v bigger than a?
False
Let v be 148/(-558) - (-14)/63. Suppose -r = -2*c + 14 - 18, 5*c + 10 = -4*r. Is v != r?
True
Suppose 2*k + 2*k + 4 = -5*l, -2*l + 2*k + 2 = 0. Let p = -4008446/245 + 16361. Which is smaller: p or l?
p
Let u be -1*2 - (0 + 4 - 10). Suppose -x + 4*k - u = 0, x - 2*k + 20 = -4*x. Let l be (9/(-45))/(x/5). Which is greater: -15 or l?
l
Suppose 5*z = 6*z. Let n(y) = -y**3 + 22*y**2 + 24*y - 24. Let b be n(23). Let w be (-4 - (5/(-7))/b) + 4. Which is bigger: z or w?
z
Let t = 19101.81 + -19003. Let l = t + -101. Which is bigger: l or -0.1?
-0.1
Let d be (-119)/(-1547) - (-3352)/26. Which is bigger: 127 or d?
d
Let c be ((-3350)/34)/((-25)/(-7 - -32)). Which is bigger: 99 or c?
99
Let p be ((-27)/(-3))/(-3) - 3. Let j(b) be the third derivative of b**6/120 + b**5/10 - b**4/8 - b**3/2 + 63*b**2. Let y be j(p). Is y at least as big as 16?
False
Suppose -63 = -11*n - 569. Let b be 4/n - (-73203)/6279. Is b bigger than 12?
False
Let x be (-6)/(-45) + 5416/(-120). Which is smaller: -44 or x?
x
Suppose -3*k + 33 = -111. Let r(x) = -x**3 + 8*x**2 - 14*x + 31. Let c be r(11). Let s = -439 - c. Which is greater: s or k?
k
Let s = 18.01 - 0.01. Let l = s - 24. Let g = l - -36. Which is greater: -1 or g?
g
Let m be (-3449)/850 - -1*(-4)/(-34). Which is greater: m or -4?
m
Let y(p) = p**3 - 8*p**2 + 5*p + 10. Let s be y(7). Let h be (-220)/33*((-28)/(-10) + s). Which is greater: h or -2?
h
Let w = -13025/4 + 3236. Which is greater: -19 or w?
-19
Let n be (2/(-3))/(2 + 374/(-153)). Let h(z) = -z**2. Let b be h(0). Which is smaller: b or n?
b
Let m be 6/9*1326/8. Suppose 343 = 2*d - 11*n, 4*n - 74 = -118. Is d at least m?
True
Let w(p) = -p**3 + 3*p + 1. Let i be w(2). Let l be ((-4 - -4) + -2)*i. Let h = -40.1 - -40.22. Are h and l equal?
False
Let a(c) = c**2 - 2*c + 2. Let g be a(2). Suppose 0 = 5*t - 4*s + 503, -g*t = -7*s + 12*s + 221. Are t and -103 unequal?
False
Suppose 3*a + 421 = -257. Let l(x) = -4*x**3 + 9*x**2 + 14*x - 21. Let z be l(5). Is z at least a?
True
Let o be 6*395 + (-70)/(-30). Which is smaller: 2371 or o?
2371
Suppose 0 = -2*q - 5*w + 653, -19 + 1024 = 3*q - w. Let h = q + -297. Is 37 greater than h?
False
Let b(h) = -h**2 + 25*h - 84. Let j be b(21). Suppose 3*q + j + 33 = 0. Which is bigger: -16 or q?
q
Suppose 8*d - 3*d - 30 = 0. Suppose -d*p = -9 - 21. Suppose -p*a + 14 = 5*k + 4, -18 = 3*a - 3*k. Is -11/7 <= a?
False
Let b = 655.7 - 657.7. Is b bigger than 5.31?
False
Let j = 243/2 + -115. Let d be 5/2*(-16)/(-10). Suppose 5*o = -5*b + 2*b + 24, d*o = -4*b + 32. Which is smaller: b or j?
j
Let r(d) = 460*d + 1381. Let a be r(-3). Is 261.8 greater than a?
True
Let u be -2 + 3 + 2 + -3 - -21. Let s = 41 - u. Suppose d + 2 + s = 0. Which is smaller