 i(h) = h + 12. Let s be i(g). Let r be ((-1)/3)/(7/s). Is r smaller than 3/7?
True
Suppose 213*s = 211*s + 8. Let t be (2 - s/5)*5. Which is greater: 14 or t?
14
Let k = -839 + 5876/7. Which is smaller: 3 or k?
k
Let q be (21/(-14))/(1 + (-394)/424). Is -20 less than q?
False
Let y = 208 + -212. Which is smaller: 8 or y?
y
Let z = 10 + 15. Let p = -46 + z. Let d = p + 23. Which is smaller: d or -1/4?
-1/4
Let o be (-3)/(-6) + -7*7/(-2). Suppose 0 = 41*u - 42*u + o. Which is bigger: u or 49/2?
u
Let t be (1/(-7))/(1 + 1). Suppose -c = -2*x + 4, 4*x + 0 + 20 = -5*c. Suppose x = -0*j + 4*j. Which is smaller: j or t?
t
Let a be (-27)/6*(-264)/18. Suppose 2*m - a = 3*h, 170 = -2*m + 7*m - 5*h. Let x = m - 52. Is -16 at least x?
True
Let c be -7 + (6 - (-135)/(-9)). Which is smaller: c or 10?
c
Suppose 3*u - 2*u = -5*r + 34, -2*u = 3*r - 26. Let d = 22 + r. Is d at least 29?
False
Let z = 14929160 + -641925891/43. Let a = z - 651. Is a != -1?
True
Let c be (((-675)/(-6))/(-9))/(76/8). Is c at most -1?
True
Let n(w) = w**2 + 8*w + 16. Let x = -3 - 2. Let h be n(x). Suppose m + h + 0 = 0. Is -1/5 greater than m?
True
Let i(p) = -33 - 98*p - 97*p + 198*p. Let g be i(13). Is 5 greater than g?
False
Let f be (15 - -65)*2/4. Suppose 4*l + f + 8 = 0. Which is smaller: l or -11?
l
Let r = -14 - 37. Let j = -25 - r. Which is bigger: j or 24?
j
Let o = 0.161 - -364.839. Which is greater: o or -0.1?
o
Let b = 4 - 6. Let m(x) = -x**3 - 2*x**2 + 3. Let s be m(b). Suppose -4*v - 5 = -3*h, -2*v - s*v - 5*h + 20 = 0. Which is greater: -2/11 or v?
v
Let b = -3.1 - 11.9. Let f = 14.92 + b. Which is smaller: -0.1 or f?
-0.1
Let l(k) be the second derivative of k**5/4 + k**4/4 + 2*k**3/3 + 3*k**2/2 + 2*k. Let o be l(-2). Let h be (-1)/((-3)/(o - 0)). Is -12 bigger than h?
False
Suppose -1 = -g + 1. Let o = -1067/8 - -5383/40. Which is smaller: g or o?
o
Let b(i) = i + 7. Let c be b(-9). Let l(w) = 4*w + 4. Let n be l(c). Let m be 3 + ((-30)/n)/(-3). Which is greater: m or 0.1?
m
Let v be -17*(-5 + 30/5). Which is smaller: v or -67/4?
v
Let k = 21.55 - 21. Which is smaller: -2 or k?
-2
Let i be ((-24)/27 + 1)/((-12)/1044). Which is greater: -11 or i?
i
Let k(n) = -5*n**2 + 6*n - 8. Let m(f) = -f**2. Let a(h) = k(h) - 4*m(h). Let s be a(4). Let b = 1/642 + 1241/27606. Which is smaller: b or s?
s
Suppose -53*x = -73*x - 600. Which is smaller: -546/19 or x?
x
Suppose 5*p = 256 + 229. Let s = -100 + p. Suppose x + 9 = -2*x. Is x less than s?
False
Let i be (-4 - (-1 + -1))/2. Let h be 105/(-2 - 19) - -1. Does h = i?
False
Let x = 1/56 - 115/168. Let o(n) = 8*n - 3*n**2 + 1 + 4*n**2 + 0 + 11. Let h be o(-6). Which is greater: x or h?
h
Let d be (-3)/5 + 2/(-5). Let m be 8*1/20*(-15)/(-62). Is d < m?
True
Let c = 3 + -2.8. Let g = 99 - 76. Is g <= c?
False
Let b = -390 + 30032/77. Let x(z) = -45*z - 7. Let u be x(-2). Let s = -84 + u. Which is bigger: s or b?
b
Suppose -r - 2*i = -28 - 8, 2*r - 4*i = 48. Let f be (5/(r/12))/(-188). Which is bigger: 1 or f?
1
Let c = 0.77 + 80.23. Let i = 96 - c. Which is bigger: i or 1?
i
Suppose -3 = 3*i - 3*r, i + 4*r + 0 = 14. Let z(j) = j - 3. Let g be z(5). Is g greater than or equal to i?
True
Let n = 599431/290 + -2067. Which is bigger: 1 or n?
1
Suppose 2*s = -s - 3. Let p be ((-6)/(-174))/(5/(-2)). Let m = p - -153/580. Which is smaller: s or m?
s
Let n(p) be the third derivative of p**4/6 - 5*p**3/3 - p**2. Let u be n(4). Let s be (u/20)/(6/35). Is s equal to 3?
False
Let l be (4*-3)/((-36)/(-96)). Let o = 2 - l. Are 35 and o nonequal?
True
Suppose -5*l = -3*l + 52. Let z be 4 - 1/((-2)/(-60)). Is z > l?
False
Let p be (-3 + (-60)/9)/(2/(-132)). Let l be p/29 - 6/2. Which is greater: l or 2/3?
l
Suppose 2*b = 5*d - 2*d, -b = 5*d + 13. Let t be d/(-12) + (-2)/6. Let m be -1 + (0/4)/5 + 2. Which is smaller: t or m?
t
Let j = -4 - -6. Suppose x - j*x = 10. Suppose 3*c + 37 = g, -2*c - 10 + 8 = 5*g. Which is smaller: c or x?
c
Suppose 6*d - 68 = 10*d. Let n be (-1)/d*(-9 - -13). Which is smaller: n or -1?
-1
Let v be 1*(-86)/6*9/6. Let t = 217/10 + v. Which is smaller: -18/7 or t?
-18/7
Let a(o) = -o**2 - 22*o + 1. Let u be a(-21). Is -0.1 <= u?
True
Let g(u) = 2*u**3 - 28*u**2 + 50*u - 22. Let t be g(12). Are t and 10/13 unequal?
True
Let q(j) = 2*j**2 - 31*j + 16. Let z be q(15). Is -12/31 smaller than z?
True
Suppose -4*f = 5*z - 214, -2 = 2*f - 4. Let u = -7 + 6.8. Which is bigger: z or u?
z
Let f(b) = 4*b - 1. Let o be f(1). Suppose y = 5*a + 101, a + 21 = 4*y - o. Is a less than -21?
False
Let m = 5 + -5.02. Let j = 5.98 - m. Let n = j + -8. Is -2 bigger than n?
False
Let v be (-33)/(-9) + 2/(3 + -1). Is -2/7 bigger than v?
False
Let y(w) = -w**2 - 29*w + 24. Let i(u) = 3*u**2 + 58*u - 49. Let t(m) = 2*i(m) + 5*y(m). Let l be t(28). Which is bigger: -27/5 or l?
-27/5
Let g(x) = x**2 - 9*x - 1. Let a = -17 - -26. Let z be g(a). Let p = 37/25 - 7/5. Is z greater than p?
False
Let s = -3.47 + -1.53. Suppose -5*p = 3*n - 33, 5*p - 4*n = n + 25. Let d = -4 + p. Is s equal to d?
False
Let w(p) = -p**3 - 6*p**2 - 6*p - 2. Let m be w(-5). Let y = m + -24. Let c be (-78)/y + 3 + -7. Which is smaller: 0 or c?
c
Suppose -3*r = 2*h - 13, -3*h - 2 = -r + 6. Let l be ((-8)/(-12))/((-6)/(-9)). Let s be (-2 + l)/((-1)/5). Do s and r have the same value?
True
Let y(l) = -2*l - 11. Let p be y(-6). Let c = 19/59 - 2449/7788. Which is smaller: c or p?
c
Let s(w) = w**2 + 13 + 2*w + 17 - 22 + 7*w. Let a be s(-8). Are -1/5 and a unequal?
True
Suppose 2*p - p - 15 = 0. Let x be (-1)/(-3)*p/(-5). Let v be (x + -8)/(-3) + -6. Which is bigger: -5 or v?
v
Let a be ((-21)/35)/(2/(-20)). Suppose 5*y = o - 66, -2*o + a*o = -5*y - 61. Suppose -d - 42 = 2*d. Is y <= d?
False
Let y = -3.34 + -0.34. Let m = y - 0.32. Are m and -2/7 non-equal?
True
Let h(r) = -r**3 + 8 + 7*r - 2*r**2 - 5*r**2 + 6*r**2 + 8*r**2. Let u be h(8). Suppose 5*m + u*v - 17 = -2*v, 4*m = 3*v + 32. Which is smaller: 4 or m?
4
Let a = 254 + -257. Do a and 1 have the same value?
False
Let p = -8 + 0. Let n(x) = x**3 - 40*x**2 + 36*x + 109. Let d be n(39). Let z = d - p. Which is smaller: z or 5/7?
z
Let r be -3*(1320/18)/11. Which is bigger: -13 or r?
-13
Suppose -y + 171 - 40 = 0. Let d = y + -130. Is -3/59 at least as big as d?
False
Suppose -36 = -8*k + 6*k. Which is bigger: 20 or k?
20
Let r = 288 - 309. Which is greater: r or -138/7?
-138/7
Let t be ((-4)/90)/((-18)/(-10)). Let w = -19 - -19. Is t bigger than w?
False
Let w be (8190/(-12))/39*(-8)/(-5). Let j = -55 + 28. Which is bigger: w or j?
j
Let q = 151 + -113. Is q != 35?
True
Suppose 5*q = -5*s + 67 + 18, 3*s + 5*q = 49. Let h be 18/42 - (-279)/(-14). Let a = s + h. Are a and -3 non-equal?
True
Let w = -26 - -36. Suppose w*g - 3*g = 0. Which is bigger: g or -1/7?
g
Let l(a) = a + 44. Let g be l(24). Which is greater: 63 or g?
g
Suppose 8*z = -5*r + 3*z, 2*r + 5*z - 3 = 0. Is r smaller than -6/1201?
True
Suppose 0 = -4*l + 4*x - 8, -l = 81*x - 86*x + 14. Is 8/9 at least l?
False
Let t = 14 + -10. Suppose -3*p - r = -5, p - t*r + 6 = -1. Is p less than 1?
False
Let g = 75/158 - -2/79. Is 2/5 equal to g?
False
Let m be ((-2)/6)/(10/(-360)). Let q be (1 - 5) + 30/m. Which is bigger: q or -1?
-1
Let u = -0.0504 + -0.1616. Are u and 2/3 non-equal?
True
Let y(u) = u**2 + 4*u - 6. Let x be y(-5). Let n = 18985/19 - 999. Which is greater: x or n?
n
Suppose 4 = -2*t + 3*y, 12*t + y = 13*t. Is -7 less than or equal to t?
True
Suppose -2*k = 5*j - 23, -4*k + 2*k - 2 = 0. Suppose -2*u - 2*u = -j*u. Is 2 smaller than u?
False
Let b = 8205363/46 - 178369. Let a = b - 17/2. Is 1 bigger than a?
True
Let n = 1.71 + 0.39. Let v = n + -0.1. Are v and -3/7 unequal?
True
Suppose 4*i = -4*d - 14 - 18, -10 = 2*d + 4*i. Let j = d + 27. Suppose -3*u + 7*u = j. Is 4 less than u?
False
Suppose x + v + 1 = 0, 0*v = 2*x - 3*v + 2. Is x smaller than -3/110?
True
Suppose -5*d + 109 = -b, -d - 5*b = -4*d + 61. Suppose d + 5 = 9*p. Is p smaller than 2?
False
Let n(w) = -w**3 + 6*w**2 + 7*w - 3. Let y be n(7). Let h be (4/(-6))/((-2)/y). Let g = 21039/53 + -397. Which is bigger: h or g?
g
Let b = -1.6 - -7.6. Let h = -6.4 + b. Let x = -0.5 - h. Is 1/4 < x?
False
Suppose -8*t - 58 - 6 = 0. Let v be -4 + (13 - t/(-4)). Which is greater: v or 6?
v
Suppose -66 = 