i = -14 + 14.1. Let q be (-4 - 3)/14*1*-2. Is i at most q?
True
Suppose -22 = -2*j + 6. Suppose 4*d + m - 44 = -0*d, 0 = 5*d + 4*m - 44. Which is bigger: d or j?
j
Let b(c) = c**3 + 5*c**2 - 11*c - 15. Let q be b(-6). Suppose -y = -4*t - 2*y + 62, -y = t - 17. Is t >= q?
True
Let j be 0 + (-240)/558 + 2/6. Which is bigger: -1 or j?
j
Suppose 0 = -0*l - l - 3*p, 3*l - 3*p = 24. Let k be (l/8)/((-500)/80). Is k bigger than -1?
True
Let g = -9.58 + 10.28. Let r = -1 - 0. Let m = r + 3. Is g greater than m?
False
Let y = 467 + -751. Is y equal to -285?
False
Let z(i) = i**3 + 18*i**2 - 29*i - 88. Let o be z(-19). Which is smaller: 103 or o?
o
Let j = -41 - -19. Let d = j - -16. Let a be 0 - (20/d + 3). Which is bigger: -1 or a?
a
Let k = -16 - -18. Let g be 0*((-7)/k)/(-7). Which is smaller: -1/6 or g?
-1/6
Let y be -1*(-2 + 5 - 5). Suppose -y = -2*m - 0. Which is smaller: -1/104 or m?
-1/104
Let s(n) = n**3 + 9*n**2 + 6*n - 1. Let q be s(-6). Let g = -65 + q. Is g bigger than -5?
True
Let m = 1411702/475 - 2972. Let f = m + -1918/4275. Which is bigger: 1 or f?
1
Suppose 2*i + 3*i + 3*l - 10 = 0, -4*i + 16 = 4*l. Let h be i/(4 + (-445)/110). Are 22 and h nonequal?
False
Let d = 200.9 - 175. Let n = d + -25. Which is bigger: n or 0.2?
n
Let s be (-4)/14 + 15/35*-18. Suppose -t + 3*t = 8. Let v(h) = -2*h**2 + 7*h - 5. Let p be v(t). Which is greater: s or p?
s
Let g = 22.78 - 23. Let d = 0.12 + g. Is 4/13 bigger than d?
True
Suppose -142 = 3*g + 2*q, 0 = 6*q - 4*q - 2. Let k = -135 + 87. Is g bigger than k?
False
Let r be (-2)/(-13) + 12672/(-234). Are -55 and r unequal?
True
Let y = 0.64 - 0.07. Let f = -1.17 + y. Let g = -0.1 - -0.1. Which is smaller: g or f?
f
Let y = 2 - 6. Let w be (-1 + 0/y)*4. Let x be ((-6)/(-8))/((-2)/14). Is w greater than x?
True
Suppose -7 = w - 11. Let h(n) = -n - 3. Let g be h(-6). Which is bigger: w or g?
w
Suppose -35*q - 22200 = 15*q. Do -443 and q have the same value?
False
Let y(j) be the third derivative of j**6/120 + j**5/60 + j**3/6 + 11*j**2. Let p be y(-1). Is 2 at most p?
False
Let t = 0.01 - 1.01. Let q = -0.37 - -0.27. Which is greater: q or t?
q
Suppose 3*g - 286 = -304. Are -60/13 and g unequal?
True
Suppose 0 = f - 5*j - 22, -14 + 0 = 3*f + 5*j. Suppose 3*s + k = -25, f*s + 0*s = -4*k - 10. Is s greater than or equal to -10?
True
Let l(o) = 50*o - 30. Let z be l(-1). Is z smaller than -1?
True
Let y = 1/2 - 33/34. Which is smaller: y or 0.5?
y
Let l = 9 - 24. Let s = 26 + l. Which is greater: s or 13?
13
Suppose -c = 2*j + 4 + 1, 4*c = -4*j - 28. Let d(r) = r**3 + 10*r**2 + 7*r - 16. Let i be d(c). Let x be (3/66 - 0)*i. Is x at most as big as 0?
False
Suppose -c - 215 = 4*c. Let s = c + 111. Is 67 greater than s?
False
Let o = 1106 + -1124. Which is bigger: -21 or o?
o
Suppose -4*p = -p + 114. Let m(a) = a**2 + 12*a - 16. Let f be m(-10). Which is greater: p or f?
f
Let v be (-5)/((-20)/12) + 7. Let h(m) = -8*m + 1. Let o be h(2). Let a = v + o. Which is bigger: a or -0.2?
-0.2
Let h(n) = -8 - 3*n + 5 + 2*n. Suppose 2*l + 3*o + 23 = -0*l, -5*l - 3*o = 35. Let a be h(l). Which is greater: 2 or a?
2
Let p = 2.3 - 5.3. Let m = -0.4 - p. Let w = 2.3 - m. Is -1 at most as big as w?
True
Let o = -106821/1348 - -317/4. Is -1/2 less than o?
True
Let n = 157/860 + -10/43. Let k be 2 + (3/(-3) - 2). Is k not equal to n?
True
Let t = 14 + -26. Let p be 1*(3 - t/(-3)). Let x be (p + 5/4)/(-2). Which is greater: x or -1?
x
Let q = -24 + 29. Suppose -q*k = -9*k. Which is smaller: k or 2/55?
k
Let r = -16.4 + 16. Let v = -0.56 - r. Let z = v + 0.26. Is -0.3 less than z?
True
Suppose 4*a + 8 = 12. Do -9 and a have different values?
True
Let p = -2/337 + 1358/1685. Do 1.2 and p have the same value?
False
Let z(m) = 13*m + 26. Let u be z(-2). Is -1.23 smaller than u?
True
Let r be 1*6/30*0. Which is greater: 6/115 or r?
6/115
Let s = -0.34 - 12.66. Which is smaller: s or -1?
s
Let y = 2767 - 2763. Let l = -7.94 - -8. Is l greater than or equal to y?
False
Let b = -110 - -110.2. Is b greater than 34?
False
Let a be 24/(-56) + 1069/28. Is 37 at most a?
True
Suppose -4*c + 3 = 3. Suppose 2*o = -o - g + 18, o - 2*g - 6 = c. Is -0.06 at least o?
False
Suppose 0 = 4*b - 2*l, 9 - 1 = -2*b + 3*l. Let a be (2 - 1)/(b/(-38)). Let u be 4*1 + 110/(-5). Is a bigger than u?
False
Let x = 11 + -2. Let m = -1004 + 1011. Which is smaller: m or x?
m
Let v(z) = 10*z + 20. Let n be v(-2). Let c = -7 + 5. Are n and c nonequal?
True
Suppose -3*w + x = -3*x - 420, 0 = -w + 2*x + 142. Is 138 bigger than w?
True
Let i(f) = -f**2 - 5*f + 1. Let p be i(-4). Suppose -p*o = -0*o. Which is smaller: 2/125 or o?
o
Let c = -2 + 2. Let i be (-3 - -4)*-4 - -13. Let q be 100/36 - (-2)/i. Which is smaller: c or q?
c
Suppose -4*m = -5*l + 213, 2*l - 5*m = l + 30. Let u be 6/l + 7/(-21). Let a be ((-3)/32)/(4/(-16)). Which is smaller: u or a?
u
Suppose a = 3*p - 18, -6*a + 5*a - 4*p + 17 = 0. Suppose 0 = -6*k - 4 - 2. Let z be (k + 5)/(-1) + 3. Is a at most as big as z?
True
Let w = -208 - -2270/11. Which is smaller: -1 or w?
w
Let g = 208 - 81. Suppose -3*l + 143 = -g. Let k be l/88 + 48/(-64). Is -1 > k?
False
Let w(v) = -2 - 1 + 3*v + 3 - 1. Let t be w(2). Suppose -t*d + 2 = -3. Is 3 at most as big as d?
False
Suppose -28*k - 30 = -2. Is -1/239 <= k?
False
Let i = -7 + 6.91. Let v = i - -0.29. Do v and 0.2 have different values?
False
Let i(h) = -h**3 + 20*h**2 - 36*h - 3. Let b be i(18). Do -52/29 and b have different values?
True
Let c = 1 + -320. Which is greater: -1 or c?
-1
Let u = 259 + -266. Which is bigger: -24 or u?
u
Let g(o) = -2*o**2 - 10*o + 251. Let d be g(-14). Is d < 1170?
True
Let y be 1*(-5 - -7 - 3)*1. Which is smaller: 1/9 or y?
y
Let k(g) = -2*g**2 + 35*g - 151. Let f be k(7). Which is smaller: -61/24 or f?
f
Let m(r) = -r**2 - r + 3. Let a be m(5). Let g = a - -37. Let q(t) = t**3 - 9*t**2 - 10*t - 5. Let p be q(g). Which is smaller: -6 or p?
-6
Suppose 5*x - 156 = -2*d, -5*d + x + 0*x + 390 = 0. Let a be 142/d - 50/30. Which is greater: 0 or a?
a
Suppose -z = 4 + 1. Let d = -4 - z. Let r(p) = 10*p**3 - 2*p + 1. Let x be r(d). Does 10 = x?
False
Let o = -76 + 76.07. Let m = 0.17 - o. Is -12/5 less than m?
True
Let h(m) = -m**3 + 7*m**2 - 5*m + 4. Let r = 0 + 6. Let q be h(r). Is 10 at least as big as q?
True
Let u = -203/18 + 7/9. Are u and -2 unequal?
True
Suppose -v - 12 = -7*v. Let q be ((-1)/(-3))/(v/36). Let w(g) = g**2 - g + 2. Let z be w(3). Which is smaller: q or z?
q
Suppose 4*l + 1906 = -2*d, -l - 2834 = 58*d - 55*d. Which is smaller: d or -944?
-944
Let s be ((-24)/(-3))/((-20)/6 - -3). Let z(l) = -l**2 - 25*l - 28. Let c be z(s). Suppose x + 2*x + 9 = 0. Is x < c?
False
Let j = 44 + -45. Let d be 2 + ((-10)/7 - j). Is 3 > d?
True
Let t(n) = -23*n**3 - 19*n**2 - 6*n - 9. Let p be t(-2). Which is smaller: 114 or p?
p
Let j = -60.8 + 45. Let v = j + 20. Let o = v - 4. Are o and 0.3 equal?
False
Let i = -12 - -6. Let s(a) be the first derivative of -a**4/4 - 2*a**3 - a**2/2 - 6*a - 4. Let d be s(i). Is -1/4 < d?
True
Let o(q) be the third derivative of q**5/12 - q**4/24 - q**3/6 - q**2. Let x be o(-1). Suppose 4 - 19 = x*n. Are -4 and n equal?
False
Let x be (-3)/(-3) - (0 + -2). Suppose 4*q = -3*f - 37, 0 = -x*q - 3*f + 17 - 44. Are -3 and q equal?
False
Suppose -18*n + 1689 - 14361 = 0. Which is bigger: n or -2/5?
-2/5
Let d = 31 - 31.56. Is d at least as big as 3/7?
False
Let j(l) = l**3 - 5*l**2 + 5*l - 7. Let h be j(5). Let q(a) = a - 15. Let b be q(19). Suppose -3*r = -b*g - 1, -1 = -g - 2*g + 4*r. Which is greater: g or h?
h
Let w = 10289 - 6451201/627. Does -1 = w?
False
Let v = 0.7 - 0.9. Is 110 greater than or equal to v?
True
Let x(h) = 10*h**2 + h. Let q be x(-2). Let c be q/84 - 2/7. Let m be (99/135 - (-4)/(-10))*-3. Which is smaller: c or m?
m
Let j(x) = -5*x - 63. Let z be j(-13). Suppose 0 = 3*m - 12, -2*m + 13 - 3 = w. Suppose 6 = w*f - 2*h, 0 = 4*f - h - 2*h - 10. Is f greater than or equal to z?
False
Suppose -5*o + 12 = -11*o. Suppose 2*g - 2*p - 16 = 0, 5*p = 2*p - 9. Let m be 1 - g/((-50)/(-28)). Which is smaller: o or m?
o
Let u(d) = 4*d**2 - 20*d - 49. Let w be u(-2). Is 177 smaller than w?
False
Let y(f) = 8*f - 5. Suppose 0*o + 15 = -3*o. Let r be y(o). Is r greater than -46?
True
Suppose 0 = 7