hich is greater: k or -1/3?
-1/3
Suppose -77 = 73*x + 4*x. Let i = -19731/511 - -270/7. Do i and x have different values?
True
Let p be 7/17 + ((-1)/(-3))/(7/3). Which is smaller: 1 or p?
p
Let q = -3578.7 - -3578. Which is bigger: q or -30?
q
Let t = 337 - 128. Let d = 219 - t. Is -5 > d?
False
Suppose -3*v - 208 = -211. Let a(y) = 2*y**2 + 8*y - 2. Let g be a(v). Which is bigger: g or 47/5?
47/5
Let j = -0.3 - -0.4. Let p = -476.34 + 476. Let w = p - -39.34. Which is bigger: w or j?
w
Let a = 3932 + -1075. Is a equal to 2856?
False
Suppose 5*z = -22 - 48. Let y(k) = -34*k**3 + 35*k**3 + 3*k - k**2 - 2*k - 12. Let o be y(0). Which is bigger: o or z?
o
Let k = -3.12 - -9.12. Is k at least 69.9?
False
Let x(b) = b**3 + b**2 + b. Let v(h) = -2*h**3 + 50*h**2 + h + 21. Let o(j) = -v(j) - 4*x(j). Let n be o(-27). Is 115 at least as big as n?
True
Suppose 90*g = 177*g - 112*g - 23375. Is -938 less than or equal to g?
True
Let m be (-1925)/1955 - (-11 + 10). Are m and -1 equal?
False
Let c = 4436 - 4415. Which is smaller: c or 13?
13
Let y be ((-3)/(-2))/(93/1736). Let m be y*(-2 + (-15)/(-5)). Which is greater: m or 27?
m
Suppose -4*u = 3*x - 224, -5*x + 0*u + u = -358. Let m be 39/(-78) + 143/2. Which is greater: m or x?
x
Let l(h) = h**2 + 4*h. Let r be l(-5). Let j be (r/((-590)/(-4)))/2. Suppose -9*k + 33*k = 18*k + 16*k. Is k smaller than j?
True
Suppose -4*d + 3*m = 15 + 10, -m = -3. Let n be -2*((-810)/d)/9. Is n greater than or equal to -48?
True
Suppose 0 = -3*l + 5*y + 5, 5*y + 5 = 2*l. Suppose l = -5*c + i + 570, -5*i + 2*i = 2*c - 245. Suppose 17*d = 22*d - c. Which is greater: d or 22?
d
Let i(t) = -t**2 - 17*t + 19. Let k be i(-16). Let n = -89 + 52. Let w = k + n. Which is smaller: 4 or w?
w
Suppose -4*s - 5*s - 813 = -822. Which is greater: s or -5/739?
s
Let s be 8 + -32*16/(-64). Let k(f) = 3*f**2 + f + 2. Let b be k(2). Are s and b equal?
True
Let f = 0 + 1. Let p = -0.276 + 175.276. Let r = 159 - p. Is f greater than r?
True
Let j = 1 - 0. Let p(n) be the second derivative of 19*n**4/12 + n**3/3 - n**2 + 42*n. Let o be p(j). Which is greater: 18 or o?
o
Let s = 121 - 81. Let o = s - 39. Which is greater: o or 7/2?
7/2
Suppose -2*r + 109 = -5*d, 88 = -3*d - 5*r + 4. Let h = -42709/1755 + 4/1755. Do d and h have the same value?
False
Let o = -417.8 - -417.8. Is -93/4 bigger than o?
False
Suppose 13*q + 4*h = 8*q + 127, -2*q + h = -56. Let j be 12/q + 8/(-18) + 5. Is 36 >= j?
True
Let q(c) = -2*c - 1. Let x be q(3). Let s(h) = -h**3 + 8*h**2 + 2*h - 17. Let d be s(8). Let w be (d/3)/((-24)/(-432)). Is w greater than x?
True
Let d = -1111/8 - -139. Let k(p) = 2*p**2 + 17*p + 20. Let w be k(-7). Is w at most as big as d?
True
Let h = 42 - 140. Let d = h + 103.7. Which is greater: -2 or d?
d
Let b = 3618/55 - 1727959/26268. Is 0 equal to b?
False
Let j = 6867 - 6869. Which is bigger: j or -360?
j
Let v = -7/46 + -1/69. Suppose 0 = 24*d - 19*d - 10. Let s be 2*d/24 - 40/(-48). Is v less than s?
True
Suppose 2*b + 3*b = g + 23, 3*b - 13 = g. Let h be 0*(-2)/4 + 1. Suppose 5*z + 0 = -b, -z - h = -3*w. Is w >= 14/11?
False
Let u = 647 + -648. Is 5/903 less than u?
False
Let w = 1.065 - 0.065. Let m = 40 + w. Let r = m - 41.31. Which is bigger: r or -2?
r
Let f = -275475739/288650 + -66/6275. Let u = -5725/6 - f. Which is smaller: u or 1?
u
Let h = -119 - -79. Let u be 30/h - (-82)/56. Is 0 less than u?
True
Let g be (-66 - -12)/(16/24). Let u(y) = -81*y. Let z be u(1). Is z greater than or equal to g?
True
Let h = 327 - 327. Let c(l) = 3*l - 3*l + 0*l - l - 2. Let q be c(h). Is 3 bigger than q?
True
Let n = -543 + 15748/29. Let p = -659 + 658. Is n smaller than p?
False
Let m be (-116)/(-42)*(-2)/((-936)/91). Is 2 at least m?
True
Let t = 3797 - 2171. Suppose 6*r - t = 768. Do r and 399 have the same value?
True
Suppose 4*k = -3*m - 9, 19*m - 15 = 2*k + 24*m. Which is greater: k or -5/71?
k
Let o be (573/6)/(-7*14/1764). Is -1719 at least as big as o?
True
Let d(w) = -12*w**3 + 27*w**2 - 16*w + 22. Let n be d(6). Is n greater than -10163/6?
False
Let l be 5 + (-41256)/52*-1. Let f be 44704/56 + 4/(-14). Let o = f - l. Which is smaller: o or -1?
-1
Let z = 92 - 50. Suppose 0 = -3*d + z. Suppose d = 2*r + 2. Is r less than or equal to 6?
True
Let i be (4/(-1))/(40/12 + -4). Let g be i/(-27) + (-14)/18. Let s be 0/g + (-1 - 3) + 4. Which is greater: s or 2/3?
2/3
Suppose -12 = 539*o - 543*o. Suppose -2*n + 33 = -3*f + 2*f, -2*n + o*f = -39. Is n equal to 10?
False
Suppose 145 = 5*c + z, -4*c + 5*z = 3*z - 116. Suppose 11*y - c = -18. Is y at most as big as -2/2605?
False
Suppose 0*f + 2*d - 12 = 2*f, f = -d - 6. Let y(l) = -11*l + 16. Let x(t) = -t. Let z(h) = f*x(h) + y(h). Let s be z(5). Are -10 and s unequal?
True
Suppose 3*f + 4*g - 17 = 3*g, 0 = -3*f - 2*g + 16. Suppose -f*v - 11 = -3*k - v, 3*v + 15 = 3*k. Suppose 4*r = 4*r - k*r. Which is greater: 2/25 or r?
2/25
Let i be 13 + 2 - (5 + -22 + 13). Suppose i*t = 7*t - 60. Which is bigger: -7 or t?
t
Let i be ((-818)/(-6))/((-419)/(-1257)). Which is smaller: 421 or i?
i
Let x = 1 + -1. Let i = -11868/7 - -367943/217. Which is smaller: i or x?
x
Let y = 57.3 + 18.7. Let g = y + -184. Let w = -111 - g. Which is greater: 0.4 or w?
0.4
Suppose 9*o - 99 = 2*u + 8*o, -3 = o. Which is smaller: u or -66?
-66
Suppose 0 = 3*j + 6 - 0. Let o be (j - (-415)/10)*36/(-42). Which is greater: o or -35?
o
Let q = -6383.73 - -6451. Let f = -0.27 + q. Let x = f + -66. Which is smaller: 1/61 or x?
1/61
Let z = -1 + 1. Let s be 2151/3585*5/418. Which is greater: s or z?
s
Let u = 10977 + -11181. Suppose 0 = -4*t + s - 814, t + 4*s + 197 = s. Which is smaller: u or t?
u
Suppose 3*b = r - 138, 5*b = 2*r + 111 - 383. Let x be (-6)/4 + 936/r - 5. Is x > 2?
False
Let s(x) = -119*x - 1. Let p be s(-2). Let c = 257 - p. Is c smaller than 19?
False
Let x(z) = -z**3 - 13*z**2 - 48*z + 5. Let l be x(-4). Does -0.023 = l?
False
Let d(j) = -j**3 - 51*j**2 + 66*j + 531. Let a be d(-52). Is a less than -195?
True
Let i = 468100/3 + -154265. Is i smaller than 1769?
True
Let j = 507.1 + -506.1. Which is smaller: j or -0.1076?
-0.1076
Let s = -0.037 + 30.037. Let y = 89 - s. Which is bigger: -4 or y?
y
Let x = -78440 + 45792. Is x less than or equal to -32648?
True
Let j = -40327/5 - -8065. Is -1421 greater than or equal to j?
False
Let y = -209 + 212. Suppose -y*k - 2 = r - 5, 4*k = 5*r + 4. Is r bigger than 2/255?
False
Let u be ((-12)/(-32))/((-3)/(-24)) + -4 + 0. Is 8/171 smaller than u?
False
Let x(u) = -15*u + 173. Let k be x(11). Suppose -9*w - 3*j = -5*w + 16, 0 = -4*w - j - k. Let m = -587/861 + -4/123. Which is greater: m or w?
m
Let z(u) = u**3 - 8*u**2 + 9. Let w(y) = y**3 + 2*y**2 - 32*y + 1. Let g be w(5). Let d be z(g). Let k be 17/d*(-2 - 0). Which is bigger: 1 or k?
1
Let s = 1989.907 - 1990. Is s not equal to 4?
True
Let i = -13.04 + 13. Let x(y) = -y**3 - 7*y**2 + 43*y - 8. Let o be x(-11). Which is greater: i or o?
o
Let q be (4 - 4)*(0 - 1) - -82. Which is bigger: q or 47?
q
Let r = -1592 + 30266/19. Suppose -d - 3 = 0, -48*b + d + 3 = -43*b. Is r greater than b?
True
Let w = 17 - -258. Let o(l) = 101*l + 73. Let q be o(2). Is q greater than or equal to w?
True
Let u(c) = -27*c - 28 + 15 + 3. Let b be u(-2). Suppose 2*j - 4*q + b = 0, j + 2*q + 26 = -j. Which is bigger: -52/3 or j?
j
Let t = -377.885 - 3.115. Is t less than or equal to -1/4?
True
Let k(u) = -2*u**2 + 11*u - 5. Let q be k(5). Which is smaller: 52/181 or q?
q
Suppose -12*a + 88 = -5*i, 3 + 8 = -3*i - 13. Let o be (2/(-4))/(2/(-40)). Let c be 2*(o/12 - -1). Are c and a equal?
False
Let x be 83723/1658 + (15/5 - 4). Let j = x + 3/829. Is j at least as big as 51?
False
Let r be -1 + (0 - -1) + -1. Let d = -155 + 155.08. Let v = d - 11.08. Which is smaller: v or r?
v
Suppose -4*z + 6 = 2*v + 14, 3*v = -2*z. Let m be (z + -1)*25/(-5). Let t(f) = -2*f + 32. Let y be t(5). Which is greater: m or y?
y
Suppose 3536*m - 1537 = 3565*m. Suppose 2*k + 256 = 5*v, -5*k + 11 = 1. Let d = v + m. Is -15/7 at least d?
False
Let b = -0.2041 + 0.1041. Let p = 1119/5 + -214. Which is smaller: b or p?
b
Let d = 14.6 - 18.6. Let l = 3 + d. Which is smaller: 18 or l?
l
Suppose -6*z + 3*z + 648 = 0. Let x = z + -235. Is 0.04 >= x?
True
Let v = -15822 + 10069. 