smaller: -19 or k?
-19
Let p = -366989/6 - -61301. Is 137 greater than or equal to p?
True
Suppose -43*k + 108*k = 45*k. Which is smaller: 16/2349 or k?
k
Suppose 138 = 59*p - 13*p. Suppose 3*y = 3*u - 33, 2*u - 33 = p*y + u. Which is greater: -25 or y?
y
Let s(f) = f**2 - 17*f - 26. Let v be s(19). Let u be 2/v - (-333)/(-2322). Is 0 equal to u?
False
Suppose -294*h = -304*h - 20. Which is bigger: h or -46/71?
-46/71
Suppose -23*n + 21*n = -2*g + 70, -n - 4*g - 55 = 0. Is -43 at least as big as n?
False
Let m = -2700.7 + 2700.6. Which is greater: m or -9683?
m
Let s = 799 + -2215. Is s less than or equal to -1417?
False
Let j = 91 - 109. Let o(d) = -d + 31. Let h(n) = -2*n + 31. Let l(q) = -4*h(q) + 3*o(q). Let a be l(3). Is a <= j?
False
Let r(h) be the second derivative of -h**3/3 + 14*h**2 + 22*h. Let y be r(15). Let o be ((-272)/(-12))/(y/6). Which is bigger: 0 or o?
0
Let u be 2/(-12)*-2 + -33 + (-3332)/(-102). Are u and 200/277 non-equal?
True
Let j = 651 + -4547/7. Suppose -10*g - 8*g + 54 = 0. Suppose -g*d + 7 = -i, i + 33 = 2*d + 27. Which is bigger: j or d?
j
Let c be (-6984)/(15/3 - (-3 + 132/18)). Is -10476 equal to c?
True
Let v(h) = 3590*h**3 - 1. Let z be v(1). Let y = z + -10667/3. Is y less than or equal to 32?
False
Suppose 0 = 5*v + c - 15532, 3*c + 6328 = 5*v - 9216. Which is bigger: 3108 or v?
3108
Let j = 105496/159448205 - -2/55615. Which is greater: j or 1?
1
Let a = 3/1854706342 + 1995971905242681/1292730320374. Let w = -1544 + a. Which is greater: 0 or w?
0
Suppose -9 = -5*g - 5*r - 89, 0 = -5*g + 4*r - 44. Let q be g - -16 - -2*2. Let h be (-2)/(-8) + (-2)/q. Which is smaller: -3/7 or h?
-3/7
Let n = 73 + -121. Let s be (15/(-100))/(n/231070). Let p = 722 - s. Does 1 = p?
False
Let c be 2/(-7) - (-116)/14. Let h(x) = -x**2 - 14*x + 35. Let l be h(-19). Let s be 8/l*-1*50/c. Which is greater: 0 or s?
s
Let g = -6 - -8. Let b = 103.624 + -103.63. Which is smaller: b or g?
b
Suppose w + 4862 = -o, o + 3*w = 6*w - 4882. Do o and -4866 have different values?
True
Let p = -364 + 348. Let u be ((-2)/p)/(645/(-10)). Which is smaller: 1 or u?
u
Suppose 2*d + 0*s = -4*s - 366, s = -4*d - 725. Let o = d + 184. Which is smaller: 6 or o?
o
Let h = -60535 - -60503. Let s = -0.1 + 0.1. Which is smaller: s or h?
h
Let h = 149 - 144. Suppose 4*r + 2*l + 6 = 0, 2*r = -3*l - 18 + h. Is -2/75 at least r?
False
Let q = -0.428 - 0.062. Let p = -0.791 - 0.199. Let t = p - q. Is t at least -1?
True
Let y be (-10)/(-16) + (-3096156)/(-672). Is y != 4609?
True
Let r = 9.71 + -1.88. Let z = 8.5 - r. Let o = z - -0.33. Is 2 not equal to o?
True
Suppose 5*h - s = 16, -3*s - 3 = -0. Suppose -4*x + 0*m + m - 5 = 0, -x + 15 = h*m. Suppose 2*c + x = w + 10, 3*w - c + 10 = 0. Is w smaller than -4?
False
Suppose 0 = -6*g + 546 - 150. Let a = g - 63. Let i be (-7)/(-21) - 43/a. Which is smaller: i or -16?
-16
Let t = -633 - -368. Is t at most as big as -254?
True
Let w = -48.8 + 6.8. Let d = -9 - w. Let s = d - 33. Are s and 2.6 unequal?
True
Suppose 8*b - 5*b = -4*q + 72, 3*q = -3*b + 57. Let c be (-7 + 4/8)/(3/q). Which is smaller: -34 or c?
-34
Let o = -253.98 + 254. Let s = o + -0.12. Is 4.2 at least as big as s?
True
Suppose 8825 = 37*h - 10082. Is 512 less than h?
False
Let h = 4 + -4.1. Let g = 17.14 - -186.86. Is h at least g?
False
Let s be 4/10 - (35352/(-15))/8. Let k = 289 - s. Is k >= -2/39?
False
Let d = -8.43 - -8.33. Which is smaller: d or -0.2277?
-0.2277
Suppose -172*p + 180*p = -1640. Let i = p - 115. Is i at least as big as -320?
True
Let f be -12 + -7*3222/(-63). Does f = 347?
False
Suppose 18 = -1019*y + 1016*y. Let l be (2 - (-9)/y)/((-38)/(-76)). Which is greater: 3/121 or l?
l
Let f be -3 - 2289/(-7)*(-3)/9. Which is bigger: -123 or f?
f
Suppose -78 = 4*n - 17*n. Let g be -1*759/(-110) - 4/10. Which is smaller: g or n?
n
Let c be (-7 + 5)*(4 + (-275)/(-2)). Let z = -293 - c. Suppose 0 = -3*f, 5*n + 5*f = -9 - 36. Is n bigger than z?
True
Let i = -151/78 - -5/2. Let r = 3/13 - i. Let d = 3.9 + -3.4. Which is greater: d or r?
d
Suppose 5*r + 37 = 4*p, -2*p - 5 = 3*r + 4. Suppose -3*f - p*g - 7 = -61, f - 17 = -2*g. Which is smaller: 9 or f?
9
Let c(h) = 2*h + 0*h - 4*h**2 - 3*h**2. Let y(u) = u - 10. Let i be y(9). Let v be c(i). Which is greater: v or 0.2?
0.2
Let b be (-1 + -1)*1/6*(284 + 601). Do -3816/13 and b have different values?
True
Let h(o) = o**2 - 39*o + 309. Let b be h(29). Which is bigger: -11.5 or b?
b
Let p(j) = -j**3 - 7*j**2 - j + 2. Let s = 7 + -5. Let m be (-5)/10 - ((-65)/s)/(-5). Let k be p(m). Is k at least as big as 9?
True
Suppose 198 = -3*v + 2*q, -22 - 110 = 2*v - 5*q. Which is bigger: v or -48?
-48
Let x(f) be the first derivative of -3*f**2/2 - 12*f - 16. Let r be x(-6). Suppose -r*n + 11 = -13. Which is greater: n or 3?
n
Let y be -14 - -14 - (-2 + 1). Let p(v) = v**3 - 2*v**2 + 1. Let t be p(y). Let n be 6/2 + 140/(-25) + 3. Is n bigger than t?
True
Let f be (11 - 19) + (-82)/(-12). Is -5/17 at most f?
False
Let k = 2258 + -2257. Let u(m) be the second derivative of -m**3/6 + m**2/2 - m. Let b be u(k). Is 61 < b?
False
Let u be -8*((-12)/(-8)*-3 - -3). Let k(n) = n**3 - 8*n**2 + n + 4. Let g be k(8). Suppose g = o - 0. Is o greater than or equal to u?
True
Let z(r) = r**3 + 9*r**2 + 12*r + 8. Let b be z(-6). Let s be b/(-55) - 128/(-10). Let q be s/(-4)*5/(-15). Are q and 2/7 equal?
False
Let v = 110.1 - 112. Let c = v - -4.9. Let j = 15 - 11. Are j and c non-equal?
True
Let y be (885/171 - -4) + -5. Let a = y + 3/19. Suppose 0 = t + 5*d - 26 + 6, 3*d + 6 = 3*t. Which is greater: t or a?
t
Let a = -117.85 + 118. Let j = a + -0.15. Is j less than or equal to -1.9?
False
Let a(d) = -2*d + 20. Suppose 3*o + 44 = 7*o. Let l be a(o). Which is smaller: -5/3 or l?
l
Let w = -6 + 10. Let r be -4*w/16*-29. Let s = -21 + r. Which is bigger: 3 or s?
s
Let o(y) = 11*y - 379. Let k be o(32). Let f be ((-435)/(-10))/3*-2. Which is smaller: f or k?
f
Let i be (1 + 242/(-140))*(-17)/153. Which is bigger: 0 or i?
i
Let p = 1363 - 1361. Let j = -0.115 + 5.815. Which is smaller: j or p?
p
Let o = 255 + -529. Let w = 275 + o. Which is bigger: w or 10/59?
w
Let c(x) = -x**3 + 7*x**2 - x - 6. Let d be c(5). Let b = 200.87 - 200. Let w = -0.13 - b. Which is greater: w or d?
d
Let x = 6889 - 475. Which is smaller: x or 0.2?
0.2
Let w(v) = -v. Let h be w(1). Let p be ((-2)/(-10))/(h/(-14)). Suppose -2241 = 52*m - 2449. Is p less than m?
True
Let x = -189.132 - -0.132. Let w = x + 188.2. Which is smaller: w or -6?
-6
Let w = 107.238 + -0.238. Let s = 1 - w. Let a = 48 + s. Does a = 1/3?
False
Let m(v) = -33*v - 287. Let b be m(-11). Is b greater than or equal to 615/8?
False
Let g be (-8)/(4 + (-9)/2). Suppose -6*f - 2*f + g = 0. Let v be -1 + (3 - -4)*f/14. Is -1/12 less than v?
True
Let n(z) = -2*z**2 - 25*z + 47. Let g be n(-20). Is g != -253?
False
Let a = 11 + -12. Let q(p) = 3*p + 21. Let v be q(6). Let o = 34 - v. Is o > a?
False
Suppose 0 = -t + 2*a - 647, 39*t + a - 1300 = 41*t. Is t greater than -654?
True
Let k(s) = s**3 - 3*s**2 - 5*s + 8. Let x be k(4). Suppose -4 = -4*l - 4*q, -q + 2*q = -4*l + x. Let g = -89399/1446 - -371/6. Which is smaller: g or l?
g
Let d = 698 + -519. Let s = -179.4 + d. Let m = -0.5 + 0.52. Are m and s equal?
False
Let k = 43 + -34. Let m be (-8 - -7)*((-18)/3 - -1). Let a be 1/m - (-693)/(-165). Is a less than k?
True
Suppose -3*w = 4*g - 547 - 736, -w = 5*g - 1612. Let c = 20997/65 - g. Suppose -163*d = -152*d - 11. Which is smaller: d or c?
c
Let d = 15380474 + -137604401/9. Let y = 24032612/261 - d. Let m = -983 + y. Is 0 at most as big as m?
False
Suppose 2*c - l = 20, 3*c + 4*l + 8 = 5*c. Suppose d + 3*b + 539 = 6*b, -3*b = 9. Let j be d/(-48) + (-6)/8. Which is smaller: c or j?
j
Let a = -16.31 + 0.31. Suppose -3*s - 173*y + 169*y + 12 = 0, -5*y + 15 = -2*s. Which is smaller: a or s?
a
Let i = 252 - 251.871. Let k = i + -0.079. Let p = 0.096 - -0.104. Which is smaller: k or p?
k
Let u = 5105/11 - 3905237/8415. Let s = -1033/318240 + u. Is s >= 0?
True
Let v(r) = r**2. Let o(g) = -6*g**2 - 34*g - 51. Let l(j) = o(j) + 4*v(j). Let h be l(-17). Is h greater than -2/5?
False
Suppose 0 = -3*k - 28 + 328. Suppose 15 = -d - k. Which is greater: -114 or d?
-114
Let b(y) = -y**3 + 8*