(-6 + 7/1)*1. Which is greater: n or 2/847?
n
Let a = -4.1 - -5.14. Let y = a - 0.34. Is y <= -1/6?
False
Let k = 53.7 + -43. Let p = k + -7.6. Let x = -2.1 + p. Do x and -2 have the same value?
False
Let a = -6.5957 + -0.0643. Let h = a - -6.4. Is h at most -1?
False
Suppose 2*m + 2*h = 8, 2*h - 91 + 87 = 0. Let x = -39/20 - -671/180. Does m = x?
False
Let o = 0.013 + -2.723. Let v = -2.6 - o. Which is smaller: 0.2 or v?
v
Let y be (-2)/(-16) - (-165)/(-40). Let f(n) = -n - 9. Let u be f(y). Let l(h) = -h**3 - h - 1. Let m be l(-1). Which is smaller: m or u?
u
Suppose u - 40 = 6*u. Let f = 4390 + -4391. Which is greater: f or u?
f
Let o be 2/(7 + 2698/(-386)). Is o bigger than 193?
False
Let x = -117/77 + 10/7. Let q = -64 + 65. Let b be 51/(-153) - (q*-1 + 1). Which is greater: b or x?
x
Let m = 0.0111 - -1.3589. Which is smaller: -1/3 or m?
-1/3
Let w = -48.9 - -49. Which is greater: w or 10.9?
10.9
Suppose -7 + 16 = 3*z. Let k be (-1)/(-3*z/45). Suppose -3*f + 5*c + 21 = -9, 0 = 3*f - 4*c - 27. Is k bigger than f?
False
Let b = -499 - -507. Is -11 bigger than b?
False
Let r(b) = -b**2 + 12*b - 4. Let q(o) = -o - 1. Let u(a) = 2*q(a) + r(a). Let p be u(9). Let h = -12 - -13. Is p less than or equal to h?
False
Let b = 253 + -242. Do 4 and b have different values?
True
Let u = 5402/15 + -360. Let n = 119 - 120. Which is smaller: n or u?
n
Let a = 7.7 + -8. Let r = a + -1.7. Let w = -0.0608 + -0.0392. Is w >= r?
True
Let k = -4 - -8. Suppose 0*c + c = -k. Let w be ((-56)/(-20))/(c/(-10)). Is 8 greater than w?
True
Let m(c) be the first derivative of -c**3/3 + 13*c**2/2 + 21*c - 3. Let o be m(15). Let b = o - -8. Are b and 0 unequal?
True
Suppose k + 2*k = 0. Let q(v) = 2*v**2 + 2*v + 1. Let s be q(-2). Suppose -5*p + 3*y - 19 - 3 = 0, -s*p + 5*y = 30. Which is smaller: p or k?
p
Let j(i) = 270*i - 8. Let t be j(0). Let l = -20 + 11. Which is bigger: l or t?
t
Let a = 4.51 - 5.51. Let q be 0 - (-70)/(-4) - 0. Let o = -18 - q. Is o at least a?
True
Let z = -17/3 + 5. Let m = -78 + 51. Let p = m - -18. Is z at most as big as p?
False
Let s be 2/54*(-57)/(-7). Let g = -4/9 + s. Which is smaller: -1 or g?
-1
Let i = 11975/143980244 - -50850304059967/428017270351. Let m = i - 771/1012. Let c = m + -118. Which is smaller: c or 1?
c
Let j = 38 - 11. Let a = j + -26.7. Let d = a + -1.3. Is 1/8 bigger than d?
True
Suppose 3*r = 3*w + 6, 8*r - 4 = 5*r + w. Let u be (-6)/((2 + -1)*r). Let b = -1.2 + 1. Is u less than b?
True
Suppose 0 = -3*b + 54*c - 57*c + 21, -4*b = c - 37. Do -1/17 and b have different values?
True
Suppose -1 - 2 = 3*a - 2*u, 0 = -u. Which is smaller: 2/143 or a?
a
Suppose 3*v - 37 = 2*v. Suppose v*x = 34*x - 102. Which is greater: x or -35?
x
Let r = 1276/7 - 182. Let h = 8.8 + -9. Is r greater than or equal to h?
True
Suppose 18*p + 315 = 23*p. Is 1/2 at least p?
False
Suppose 0 = -2*c + 2*x - 10, -7*x + 25 = 5*c - 2*x. Are 1/78 and c unequal?
True
Let v = -732 - -733. Let b be (-4)/58*2/(-4). Is b smaller than v?
True
Let u(j) be the second derivative of -j**3/3 - 2*j**2 - 5*j. Let z be u(-3). Suppose -o - 9 = z*o, -2*o = -4*y + 22. Does y = 4?
True
Let g(z) = -16*z + 5. Let y be g(0). Is 2 at most y?
True
Let r be (-22192)/(-285) - (-6)/45. Is r less than 74?
False
Let h = -11705/7 + 1677. Is 5 > h?
True
Suppose -5*y = -105 - 45. Which is greater: y or 34?
34
Suppose 27*c - 680 = 103. Is 113/4 not equal to c?
True
Let r be 0 - (4 + -2) - 5. Let s(k) = k + 10. Let i be s(r). Let g be (-3 - 59)/(i + -1). Is -30 <= g?
False
Let y = -12989/55 + 840/11. Let t = y - -161. Suppose -10 = -4*n - b, 4*n - 20 = -5*b - 2. Is n at least as big as t?
True
Let d be 19/(-38)*4332/2. Is -1084 < d?
True
Let x = -0.05 - 8.45. Let i = -90 + 98. Let l = x + i. Is -0.1 bigger than l?
True
Suppose -4*z = -2*v, -z = 4*v + 3*z - 12. Let n(x) = 4*x + 16. Let i be n(-5). Let f be 2*((-6)/i + 0). Is v > f?
False
Let h = -7/16 - 1/16. Suppose -2*q + 4*q = -4*x + 26, 3*q = 3*x + 30. Let v(y) = -y**2 + 13*y - 23. Let a be v(q). Which is smaller: h or a?
a
Let d(l) = 3*l**3 + 8*l**2 - 20*l - 4. Let n be d(5). Is 471 != n?
False
Let v(z) = 60*z + 50. Let o be v(-5). Which is greater: o or -251?
o
Suppose -h + 3 = -q - 5*h, 2*h - 1 = -3*q. Is q > 3/182?
True
Let x = 3763/714 - 90/17. Let n(g) = g**3 - 4*g**2 + 4*g - 2. Let m be n(3). Is m at most as big as x?
False
Let k be 4/(-4 + (-80)/(-15)). Suppose -k*a + 15 = -3*n, n - 5 = 2*n + a. Which is smaller: n or -3?
n
Let z(r) = 8*r + 2. Let q be z(2). Which is bigger: q or 1?
q
Let i be -2 + 12/(-24) + (-590)/(-12). Let f = 46 - i. Which is smaller: f or -2?
-2
Let a be 88/55*(-95)/(-4). Which is smaller: a or 402/11?
402/11
Suppose -26 + 69 = -g. Which is greater: -42 or g?
-42
Let j(m) = -m**3 + 14*m**2 + 14*m + 11. Let k be j(15). Let w be (k/8)/(113/2). Is 1 less than or equal to w?
False
Let t be (4/(-6))/((-5)/3). Suppose 12*n = 14*n - 16. Let h be 403/2184 - 3/n. Which is smaller: h or t?
h
Suppose 5*b + 5 = 0, -2*c - 3*b + 2*b = -11. Let k be ((-8)/c)/(2/(-18)). Suppose -44 = -3*i + 4*a, -4*i + 4*a - 13 + 69 = 0. Is i smaller than k?
False
Suppose -5*x + 69 = -36. Let i = -22 + x. Do i and 1/3 have different values?
True
Suppose v = -s + 2, 2*v + 5*s = 7*v - 30. Are v and 11/3 equal?
False
Suppose -u = 3*s - 3*u + 13, -4*s + 5*u = 15. Let v be 2 - s/(-3) - (-106)/(-30). Which is smaller: -3 or v?
v
Suppose 4*w = 4*j - 280, -2*j + j - 68 = w. Let a = w + 68. Are a and -2/139 nonequal?
True
Let l = 3781 + -3780. Let g = 2032 + -534414/263. Which is smaller: l or g?
g
Let h = 2/73 + 69/146. Let z = 417.6 - 328.6. Which is smaller: h or z?
h
Let v(r) = -r**3 - 58*r**2 + 10*r + 367. Let x be v(-58). Is x less than -3?
True
Let v be (-20)/8*(-4 - -8). Let f = 186/35 - 33/7. Is f greater than v?
True
Let n(v) be the second derivative of v**4/12 + v**3/2 + 4*v. Let k be n(-3). Suppose -4 = -a - k. Which is smaller: 6 or a?
a
Suppose -4*c = 2*i + 734, -4 + 0 = 4*i. Is c at least as big as -182?
False
Let x = 421 - 512. Are 3 and x equal?
False
Let t(i) = 2*i - 83. Let y be t(20). Is -44 equal to y?
False
Let u = 0.4013 - 0.0313. Is u greater than -0.3?
True
Let p be ((-1)/(-6))/(((-51)/(-116))/(-17)). Is p > -7?
True
Suppose 67 = 4*z - 3*h, 0 = -3*z + h + 3*h + 45. Suppose z*f - 25*f - 6 = 0. Which is smaller: f or -1/12?
f
Let d be 4*((-50)/5 - 5)/(-1). Which is smaller: d or 70?
d
Suppose -c = -3*i + 9, -3*i + 4*i + 4*c = 16. Let k be (-5)/10*(-8)/2. Suppose k*f - 7*f = -25. Is i bigger than f?
False
Let s(h) = h - 7. Let q be s(4). Suppose 5*w = 20 + 20. Let a be (-3)/2 + (-4)/w. Is a greater than or equal to q?
True
Let q(m) = -m**2 - m - 1. Let c be q(0). Let v = 2/32877 + 2029/7306. Is v at least as big as c?
True
Suppose -3*m - 9*s - 12 = -11*s, -4*s + 20 = -4*m. Which is greater: 1 or m?
1
Let n = 14 + -3. Let c = n + -16. Let w be (3/12)/(c/4). Do -2/5 and w have the same value?
False
Let u = 5/649 + 688574/1947. Which is greater: 355 or u?
355
Suppose -k = 10*k - 55. Suppose 0 = k*u - 3*u + 6. Is u equal to -1?
False
Let c(s) be the second derivative of s**5/20 + s**3/3 + 3*s. Let f be c(2). Let r = -7.1 + 7. Which is greater: r or f?
f
Let y be (-6 - -9)/(1 - 6). Let w = 16 + -15. Let n be 0 + w/(-1)*1. Which is bigger: n or y?
y
Let b be ((-12)/(-8))/((-33)/(-4)). Let o be (57/76)/(1/(-4)). Let k be (24/(-16))/(o/8). Which is smaller: k or b?
b
Suppose 27*n = 15*n + 720. Is 57 at least n?
False
Suppose -d + 5*d - 32 = 0. Let c be 2/(-5)*(-20)/d. Let v be -1 - c - 20/20. Is -1 < v?
False
Suppose -5*v + 10 = y, -2*y - 4*v + 2 = -3*v. Suppose 3*f + y*f = 5*c - 25, 5*c = -3*f + 25. Let t be (-2)/8 - (-13)/12. Is f less than t?
True
Suppose -4*g - 5 = -z, -4*z + 0*g + 34 = -2*g. Let k = z + -9. Is -9/7 equal to k?
False
Suppose -6*x + 55 = -71. Let o = 21 - x. Which is smaller: -10/11 or o?
-10/11
Let o be 6/(-4)*2 + (-5 - -3). Let p(w) = 2*w**2 + 8*w - 3. Let b(c) = 3*c**2 + 12*c - 5. Let k(z) = -5*b(z) + 7*p(z). Let s be k(o). Which is greater: s or -3?
s
Suppose 0 = 3*l + l - 16. Suppose -d = -3*f + 12, -4*d = -4*f + 11 + 13. Suppose 0 = -f*j - 3*i - 0*i + 24, 0 = l*j + i - 20. Which is smaller: 10/3 or j?
10/3
Let g = -644000548/8457 - -76150. Let k = 101534/211425 - g. Is 0 >= k?
False
Suppose x = -