t t(u) = u**2 + 9*u + 9. Let z = 2 + -11. Let s be t(z). Let x = 3 - s. Which is smaller: -2/5 or x?
x
Let y(j) = j**3 + 10*j**2 + 6*j + 15. Let o = 136 - 144. Let z be y(o). Which is greater: z or 94?
z
Let u(n) = 10*n + 54. Let j be u(-5). Which is smaller: j or 3?
3
Let x be (0 - 0)/4*-1 - -8. Suppose 4*b - g = 2, 0 = 4*b - 3*g - x + 2. Which is smaller: b or -1/4?
-1/4
Suppose 10 = 2*n, -p + 4*n - 7 - 14 = 0. Are p and -1 equal?
True
Let s = 5612 - 39512/7. Is s >= -33?
True
Suppose -35*z + 55 = -85. Is z smaller than 25/8?
False
Let r = 51 + -34. Let v = r + -16.97. Let t = v + -0.23. Which is smaller: t or 0.3?
t
Let l be (-6)/9 - (-2)/6. Suppose 24 = -5*m + 3*m. Let k = -12 - m. Is l at most as big as k?
True
Let t = 1.9 - 2. Let u = 7 + -3. Let c = u - 7. Is t <= c?
False
Let y = -8 + 5.5. Let i = y - -1.5. Is i <= 1.6?
True
Let l = 47 - 32. Let f = l - 15.4. Let n = 31 + -31.06. Is f not equal to n?
True
Let n(z) = z**3 + 3*z**2 - 2*z - 4. Let l be n(-2). Suppose -l*y - 3*c = -88, 0 = -2*y - 2*y - 2*c + 84. Is y less than or equal to 18?
False
Let g(u) = 11*u - 19. Let m be g(5). Does m = 34?
False
Let w = -2957 - -1602697/542. Which is smaller: w or 1?
w
Let a be 374/(-104) + 2/(-13). Let m = a + 7/2. Is m less than -0.26?
False
Let g be (-3 - (-4 - -2))/1. Let z be ((-20)/(-15))/((-1)/(-3) + g). Do -1 and z have the same value?
False
Let b(c) = c + 18. Let v be b(-15). Suppose 4*m + 10 = 2. Let a be 9/27*(m + -1). Which is smaller: v or a?
a
Let u = 52 - 142. Let g = -90 - u. Which is bigger: g or -1/90?
g
Suppose -2*a + 5*j = 68, -170 = 4*a + a + j. Let d = 35 + a. Which is greater: -3/65 or d?
d
Let i = 583/6 + -149/2. Let z be (-226)/(-10) - (-4)/10. Which is greater: z or i?
z
Let d(k) = 8*k + 42. Let i be d(-5). Suppose -3*s + i*c + 10 = 0, -7 - 9 = -5*s + 3*c. Do 5/3 and s have different values?
True
Let x = -59.73 + 0.73. Let w = 59.5 + x. Is w >= -0.3?
True
Suppose 8*x + 101 = 5*x - y, 0 = -x + y - 35. Which is bigger: 0 or x?
0
Let h = -0.2 + -0.06. Let t = 10.26 + h. Let w = 25 - t. Which is smaller: w or 0.1?
0.1
Suppose 0 = -5*i + 11 - 16. Let t = -0.13 + 0.33. Is i not equal to t?
True
Let o = 365/6 + -565/6. Is -33 smaller than o?
False
Let g = -140 + 138. Is -4 > g?
False
Let q = 22 + -10. Let w = -10.3 + q. Let l = w + -2. Is 2 at most as big as l?
False
Let n(d) be the third derivative of d**5/60 + 13*d**4/24 + 4*d**2. Let x be n(-13). Let f be (x + 1 - 3)*-6. Is f at most as big as 12?
True
Let j = -2797890531732/101623 - -27532060. Let d = 2/673 - j. Is 1 > d?
True
Let c(r) = 4*r**3 + r - 1. Let m be c(1). Suppose 0*t = -m*t + 60. Let y be (t/4)/((-9)/24). Which is bigger: y or -9?
-9
Let z = 258 - 248. Is 8 greater than or equal to z?
False
Let l be (-270)/40*2*2. Let f be -4 - l - (-2)/(-1). Let r = -11 + f. Are r and 9 non-equal?
True
Let z = 1 - 1.3. Let r = -435/4 - -109. Which is bigger: r or z?
r
Let b(r) = -2*r**3 + 94*r**2 + r - 37. Let g be b(47). Let f = 2/867 + 2793/289. Is g greater than or equal to f?
True
Let t = -39/62 + 4/31. Let v = 2.1 - 2. Let g = -0.5 + v. Which is smaller: t or g?
t
Let f = -1.43 + 1.6. Let g = 10.83 + f. Let p = g + -11.4. Which is smaller: p or 0.1?
p
Let m = 32 - 32. Which is greater: m or -7/18?
m
Let k = 0.3 - 15.3. Let w = k + 10. Let p = 10 + w. Which is bigger: p or 0?
p
Let t be (16/(-2)*4/(-24))/((-2278)/51). Let w be (-6)/(-8) + 1/4. Is w < t?
False
Let n = -20571 - -14173416/689. Which is smaller: -1 or n?
-1
Let k be (1 + (2 - 2))*-10. Suppose 5*z = s + 3*s + 217, -3*z = 4*s - 143. Let c = z + -55. Is k != c?
False
Let k(r) = 39*r - 48*r + 4 + 5*r**2 - 4*r**2. Let n be k(9). Suppose 2*x - x + 1 = -m, 4*x = n*m + 44. Which is bigger: -0.1 or m?
-0.1
Suppose -2*z = -7*z. Let u(k) = k**3 + 6*k**2 - 7*k + 2. Let x be u(-7). Let a = 3 - x. Are z and a unequal?
True
Suppose 7*p - 19*j = -14*j + 144, -4*p - 5*j + 43 = 0. Which is greater: p or -47?
p
Suppose 5*h = -2*t - 131, 0*h = -t + h - 48. Let q = -52 - t. Are q and 2 unequal?
True
Let p(k) = k + 3 - 3*k + 5*k. Let h be p(-3). Let j be (16/(-24))/(62/h). Does 0 = j?
False
Suppose -3*g + c - 1478 + 390 = 0, 8*g + 3*c = -2890. Which is smaller: g or -361?
g
Let p = -2.17 + 1.97. Is -5 <= p?
True
Let g = 6 + -6.68. Let o = -55.88 - -56. Let z = g - o. Which is smaller: -2 or z?
-2
Let x = 2 - 1.7. Let m = x - 5.3. Let s = m - -5.3. Does s = -1/3?
False
Let s = 103/6 + -596/39. Let l = s - 5/13. Which is smaller: 2 or l?
l
Let c = -23.3217 + -0.0483. Let p = c + 0.97. Let l = p - -22. Is -2/7 != l?
True
Let d = -1496 + 10400/7. Let z = 1642/161 + d. Which is smaller: 1 or z?
z
Let l(k) = k**2 + k - 1. Let n be l(-2). Let t(w) = w**2 + 2*w + 1. Let u be t(-1). Is n greater than or equal to u?
True
Let o be 12 - (10 + (1 - 0)). Is o less than or equal to 4/25?
False
Let o(d) = 2*d**3 - 8*d**2 - 13*d + 14. Let v be o(5). Which is smaller: -1/11 or v?
v
Suppose -38 = 6*o + 478. Let l be o/(-1 - (-3 - -1 - 1)). Is -44 >= l?
False
Let r = 36.3 - 58.4. Let x = r + 0.1. Is x greater than or equal to 1?
False
Let p(u) = u + 2. Let n be p(-3). Let q = 40.084 + -40. Let x = q - 1.084. Is x less than or equal to n?
True
Let o = -198 + 198. Which is smaller: 0.3 or o?
o
Let j = -303 - -286. Which is bigger: j or -0.3?
-0.3
Let p be 1*(84/70)/(0 + 2). Which is smaller: p or 0.16?
0.16
Let y = -3071/7 + 437. Suppose 6*i - 7*i + 7 = -4*v, 3*i = v + 10. Is v greater than y?
True
Let p = -5 + 7. Suppose -2*c - p = -5*y + 2*y, 0 = 5*c + 2*y - 14. Suppose 5*t - 13 = c. Is 4 not equal to t?
True
Suppose 5*b + 0*y = -2*y + 70, 3*y = -2*b + 17. Suppose -4*s = -4*z + b, 0 = z - 4*s - 1 - 3. Which is bigger: 11 or z?
11
Let j = -632.91 - -633. Which is smaller: j or 36?
j
Let m be (-76)/798 - (542/42 - 0). Is m > -62/5?
False
Let t = 0 + 1. Let m be 18 + (-12)/(-3744)*-5620. Are m and t nonequal?
True
Suppose -6*g = -8*g + 2*t + 2, -t = 5*g + 7. Which is smaller: -29/41 or g?
g
Let m be (8/(-18))/(20/(-15))*3. Which is bigger: 3/1846 or m?
m
Let j = -123.882 - -124. Let p = -0.118 + j. Let c = -29 - -40. Which is smaller: c or p?
p
Let r = -15.012 - -0.012. Let l = -4/17 - 1/68. Are l and r nonequal?
True
Let y = 736/3 - 245. Suppose 5*d - 8 = 7. Let p = d - 3. Which is smaller: p or y?
p
Let i(w) = -w**2 - 5. Let m be i(5). Let h(p) = -2*p**3 + 19*p**2 - 26*p - 14. Let g be h(8). Is g <= m?
True
Let y = -2233/1865 + -1/373. Let r = 93 - 92. Let k(z) = -3*z + 3. Let c be k(r). Which is smaller: y or c?
y
Let w(i) = -3*i**3 + 6*i - 14. Let a be w(3). Which is bigger: -78 or a?
a
Let x be ((-1)/2)/((-6)/(-40)). Let f be -1 + -7 - (-80 + 75). Which is bigger: x or f?
f
Let c be 24/(-34)*(-1)/52. Which is bigger: 0 or c?
c
Let l(v) = -2*v - 6. Let a be l(-5). Suppose a*o - x = -9, -4*o + 2*o + 4*x - 22 = 0. Is o greater than or equal to 1/18?
False
Let l be (7/14)/((-3)/72). Let k = -25/2 - l. Let p = -1 - 1. Is k greater than or equal to p?
True
Let s = -7 - -5. Let n(r) = -r**2 - 11*r - 31. Let f be n(-17). Let y = 132 + f. Which is greater: s or y?
y
Let x be ((-11 - -11)/(-8))/3. Is 1/2087 < x?
False
Suppose w = 5*y - 8, 3*y - 2*y + 4*w = -11. Do y and -2/379 have the same value?
False
Suppose -4*k = 3*a + a - 340, 4*a = 3*k + 333. Let f = -59 + a. Let v be ((-10)/f)/(18/15). Is 1 equal to v?
False
Let n(a) = a**2 + 4*a + 1. Let u be n(-2). Suppose -2*p + 109 = 77. Let y be p/20 - 4/(-20). Which is smaller: u or y?
u
Suppose 4*x + 2*g + 182 = 0, 2 = 5*g + 7. Let s = 46 + x. Suppose 4*q - 4*d = -4, -3*q + 6*q - 15 = -3*d. Which is smaller: q or s?
s
Suppose -3*u + 45 + 27 = -5*b, -3*u = -4*b - 72. Suppose -u - 26 = -2*g. Is 23 at least g?
False
Let n(u) = -u + 11. Let o be n(6). Suppose 0 = -t - o*i - 2 - 24, -32 = 2*t + 5*i. Let d be (-2)/t + 24/(-126). Is d equal to -0.3?
False
Let l(b) = -b + 14. Let n be l(5). Suppose -16 = -q - q. Let t = q - n. Which is smaller: t or -6?
-6
Suppose 0 = 5*r + d - 75, 0*d = -4*r + d + 51. Suppose -4*y - 3*y = -r. Do y and 4 have different values?
True
Suppose -3*m - 50 = -13*m. Let y(w) = w**3 + 5*w**2 - 2*w + 2. Let j be y(-5). Suppose 4*s = -2*p + p - j, s = -p. Which is greater: p or m?
m
Suppose -2*p = 3*m + 12 + 4, -2*m - 18 = 5*p. Let x be (m/(-9))/((-40)/(-24)). Let s = -33 - -33. Which is bigge