807.898. Which is greater: k or m?
m
Let n = -395/42 - -31406/3339. Let s = n + 19067/12402. Let a = 3 - 0. Does a = s?
False
Let d(k) = -2*k**2 - 14*k - 19. Let g be d(-4). Which is smaller: g or 174/35?
174/35
Suppose -2*a + 13*s + 25 = 8*s, 2*s = -10. Let z = -10/173 + 989/8131. Which is bigger: z or a?
z
Let k be (1*-2 + 91/28)/((-41)/11808). Which is greater: k or -359?
-359
Let w be (-2 - -1)*(3 - 3). Let z = w + 4. Suppose -k - z = -7. Is k >= 3?
True
Let p be -3 - (-15 + (49 - 24)). Which is smaller: -231 or p?
-231
Let i = -5640.9 + 5641. Let r = -176 - -145.6. Let t = r + 26. Are t and i nonequal?
True
Let g(c) = -c**2 - 12*c - 19. Let t be g(-8). Suppose -64 = -t*y + 14. Suppose -5*i = 5, 0*i + 5*i = 4*v - 33. Is v at most y?
False
Let b be 1341753/2674818 - 1/2. Does b = 1?
False
Let p = 1026612/65 + -15794. Let z = 1.2 - 1. Which is greater: p or z?
z
Suppose -4*n + 720 = 4*s, 2*n + s - 298 - 58 = 0. Let t be ((-28)/6 + 4)*18/n. Let d = -61/396 + t. Which is bigger: -1 or d?
d
Let w = -196 - -155. Let j = w + 40. Is -3/8 less than j?
False
Let c be 4*(-2338)/224 + (-3)/12. Do -47 and c have different values?
True
Let t = -5075 - -4751. Which is bigger: t or -323?
-323
Let d = 121 - -53. Let t = d + -175. Which is smaller: t or 2/31?
t
Suppose 4*j - z = -j - 2, -2*j + 8 = 4*z. Is 4/3033 < j?
False
Suppose 5*m = -2*c + 3, -m = -4*c + 26 - 9. Let h = 203 + -2645/13. Which is smaller: m or h?
m
Let s(k) = -17*k - 7. Let l be s(-1). Let d(f) = -6*f + 47. Let o be d(l). Are o and -20 equal?
False
Let u be (-6 - -1)/((-17)/85). Let l = u - 22. Suppose -l*c + 14 = -34. Which is bigger: 15 or c?
c
Let a be 8/685*286/27196156. Let i = a + -431838115726/4667731169595. Let d = i + -2/3939. Which is smaller: d or -1?
-1
Suppose 8*b - 6*b - 122 + 2604 = 0. Which is bigger: b or -1243?
b
Suppose 0 = -3*a + 4*q - 1 - 10, -5*q + 15 = -5*a. Let s be 2/(-9) + (-2536)/333 + 8. Which is bigger: s or a?
s
Let a(b) = 117*b + 350. Let r be a(-3). Do r and 39/127 have the same value?
False
Let v = 26/9 - 14/9. Let m(o) = -98*o**2 + 47*o**2 + 48*o**2 + 24 + 21*o. Let r be m(8). Which is smaller: v or r?
r
Let d be (-80)/(-100)*(7/2 + -3). Is -41/3 > d?
False
Let y be -1 - (0 - 11*-1). Let h = 7 + y. Let n = 28418.9 + -28421.9. Does n = h?
False
Suppose 62*z - 40468 + 8910 = 0. Is 508 less than z?
True
Let q be -7 - -4 - (16/4 - 4). Let o be 6/2 + ((-12)/q - 6). Is -1/382 greater than o?
False
Let n = 66 + -66. Suppose c - b + 2*b - 195 = 0, 2*b - 2 = n. Let o = c + -1547/8. Which is smaller: o or 2?
o
Let l(b) = -10*b**2 - 10*b + 19*b + b - 2 + b**3 - 1. Let t be l(9). Suppose 4*r + t - 50 = 0. Is 10 greater than r?
False
Let v = 157/12240 + -5/272. Let p be (6/3)/(-37 - -35). Is p greater than v?
False
Let t(r) = -86*r - 43. Let c be t(-12). Let g = c + -688. Which is greater: g or 302?
302
Let k be 12 - (-6 + (6 - 5)) - 2. Suppose 0 = -3*l - 4*t - 20, -5*l - 3*t - k = 0. Does -1/228 = l?
False
Let u(r) = -r**2 - 9*r + 5. Let o be u(-8). Suppose -11*h = -o*h - 2. Let w be 80/10 + (-1 - h). Is w at most as big as 3?
False
Let s = 548769/2827 + -2363600539/10861334. Let z = s + -2/1921. Let p = -0.4 - -0.3. Which is smaller: p or z?
z
Let o = 3413 - 3413.5. Which is smaller: 63 or o?
o
Let z = 2632.9 - 2633. Let k be 1*(-3 + 2)/(-2). Which is greater: z or k?
k
Let t(f) = 49*f**3 - 16*f**3 - 7*f - 16*f**3 - 34 + 10*f**2 - 18*f**3. Let g be t(6). Are 66 and g equal?
False
Suppose -1554*h + 32656 = -1541*h. Do h and 2513 have different values?
True
Suppose 4*d - 5*v - 159 = 0, 25*d = 20*d + 4*v + 210. Suppose 0 = 38*t - 37*t + 2*u - 23, 2*t - d = -u. Is t < 27?
True
Suppose -3*o + 869 = 5*m, 3*m - 5*o + 86 = 621. Let d(j) = -j**2 - 32*j + 173. Let x be d(-32). Which is smaller: x or m?
x
Let t(a) = -a**3 + 11*a**2 + 154*a + 18. Let o be t(-8). Which is smaller: o or 83/59?
83/59
Let q be (-85290)/(-23100) + 0 + -4. Let h = q - -3/385. Is h less than or equal to -1/4?
True
Suppose -4*o + 0*o + 5*i - 1553 = 0, o + 3*i + 384 = 0. Does -387 = o?
True
Let o(j) = 2*j**3 + 25*j**2 - 7*j - 204. Let m be o(-12). Let h(b) = b - 3. Let a be h(0). Which is smaller: m or a?
a
Let z be (3 - 2) + 1338 + -65 + 5*-1. Which is smaller: z or 1268?
1268
Suppose 0 = 6*o - 5*o - 4*h, 0 = -5*o - 4*h + 96. Suppose 3*r = -2*t - 14, 4*t + 36 = -2*r + o. Which is smaller: 0 or r?
r
Let x = 375 + -373. Let q(m) = -53*m**2 - 5*m + 10. Let i be q(x). Which is bigger: -211 or i?
-211
Let o be ((-64)/(-72))/(2 - 27748/13881). Is o less than 881?
False
Let w = 1 + -3. Let h(f) = -f**2 - 41. Let y be h(-27). Let l be 6/(-15)*y/(-98). Is l greater than or equal to w?
False
Suppose -503 + 2084 = 49*p - 526. Is 63 >= p?
True
Let n = 29 - 27. Suppose -42 = n*b - 44. Is b bigger than -3/250?
True
Suppose y = 4*a - 3119, -44 + 3159 = 4*a - 5*y. Which is smaller: 783 or a?
a
Suppose 6*l + 75 = 3*l - 4*f, 2*l = 5*f - 50. Is -403/16 not equal to l?
True
Suppose -4*p = 25 + 7. Let u(l) = l**3 + 7*l**2 + 6*l + 21. Let t be u(p). Are -91 and t unequal?
False
Let l = -393 - -392. Let t be (l*(-8 - -6))/2. Is 13/35 less than or equal to t?
True
Let m = -1 + 1. Let t = 377.803 - 378. Let o = -0.503 + t. Do m and o have different values?
True
Suppose -i = -5*a + 2*i - 8, 4*a = 5*i + 4. Let b be 28/(-6)*6/a. Suppose -b*w = 31 - 3. Which is smaller: 15 or w?
w
Let u(f) = f**3 + 8*f**2 + f - 7. Let m be u(-6). Let c = m - 72. Let h be (-4 + c/(-3))/((-1)/2). Is 4/13 >= h?
True
Let t(j) = j**2 + 111*j + 629. Let d be t(-19). Do d and -1119 have the same value?
True
Let r = -206 - -384. Let c = 167.6 - r. Which is smaller: -0.1 or c?
c
Let z be (-22)/143*(-10)/25*5/(-3086). Which is greater: z or -1?
z
Let o(a) = 9*a**3 - 13*a**2 + 41*a + 2. Let u be o(5). Are u and 1002 equal?
False
Let r = 1548 - 1633. Let s = 37 - 38.3. Let z = s - -1.2. Which is bigger: z or r?
z
Suppose 3*w + u = 12595 + 8722, -20 = -4*u. Which is bigger: w or 14205/2?
w
Suppose 0 = 373*w - 383*w + 6220. Which is greater: w or 1870/3?
1870/3
Let c(t) = t**2 - 19*t - 7. Let d be c(17). Let b = d - -41. Suppose 3*m + 57 - 51 = b. Is 1 <= m?
False
Let b be -3 + (70146/70 - 0). Let d = -999 + b. Suppose -4*k - 4 = -4*i, 185*i - 184*i = 3*k + 1. Is i >= d?
True
Let s = 7.48 - 9.5. Let g = s - -0.02. Let a = -46572.03 - -46572. Which is greater: a or g?
a
Let r = -0.0475 + 84.7975. Let m = r + -86. Let b = 51.75 - m. Which is bigger: b or -1/2?
b
Suppose 12767 + 1312 = -23*m + 117441. Is m bigger than 4493?
True
Let d = -773.966 + 774. Let t = -71.066 - -71. Let c = d - t. Is 7 greater than or equal to c?
True
Let w = 437 + -71. Let s = -365 + w. Is -1/116 < s?
True
Let s(u) = -u**3 + 2*u**2 + 4*u. Let b = 10 + -7. Let r be s(b). Let k be (5031/63)/13 + (-4 - -1). Are r and k non-equal?
True
Suppose 0 = -3*q + 3*t + 105, 5*q - 5*t + 129 = 8*q. Let j be q/10*(-15)/9. Which is smaller: j or -7?
-7
Let f(w) = -w**3 - 20*w**2 + 23*w + 47. Let i be f(-21). Suppose h + 4*a - 66 = -0*a, 235 = i*h + a. Let p = h - 48. Which is smaller: -9/10 or p?
p
Let x = -217.2 - -217.4. Is x bigger than -515?
True
Let v(a) = -493*a + 4. Let c be v(-2). Suppose 0 = 994*k - c*k + 140. Which is greater: -173/5 or k?
-173/5
Let r = -0.8 - -0.2. Let h be ((-1)/3)/(1400/(-468) + 3). Let l be (4/8)/(h/26). Is l greater than r?
True
Let p = -2.14 - -0.14. Let n be (-4)/(-10)*9/(-18) + -11. Which is smaller: p or n?
n
Let i = 9226/47 + -285076/1175. Let t = -668116/14425 - i. Which is greater: t or -1?
t
Let c = -0.66 + 0.6. Let l be 2 + 1*(-1)/3*-3. Suppose l*b = -49 + 34. Is b less than or equal to c?
True
Suppose -4*c - 4*x = 876, 3*c + 708 = 2*x + 76. Let w = c - -193. Which is smaller: -23 or w?
-23
Let o be (0 - (-193647)/(-21)) + (-26)/(-910)*10. Is -9221 less than o?
False
Let o be -10 + 38396/7 + (-4)/28. Does 5473 = o?
False
Let a be (-1 - (-3280)/3270)/(4/(-1200)*-4). Which is smaller: 0 or a?
0
Suppose -10 + 6 = -2*a. Let k be 210/132 + (-1)/a. Is 1 smaller than k?
True
Let k be 6/(18/(-2910) + (-2)/10). Let s = -2899/90 - k. Is s at most as big as -4?
False
Let f(p) be the first derivative of 8 + 1/3*p**3 - 9*p**2 + 22*p. Let r be f(7). Which is greater: -56 or r?
r
Let i = -376 - -1878/5. Let l = 3.89 - -0.11. Is l at least as big as i?
True
Let v(f) = f**2 