-3). Let z be -2 - (2 + -1 - -1). Let o be 1/2*z/(-3). Which is smaller: f or o?
f
Let s(m) = 24 - 20 - 10 + m**2 + 9*m. Let l be s(-9). Let c be -5 - 5/((-5)/(-2)). Is c at least as big as l?
False
Let b be (-5)/1 + -7*(3 - 4). Is 17/32 at most b?
True
Let h(t) = -t**3 + t**2. Let y be h(0). Suppose k = 2*k - 1. Let u be ((-1 - -1) + 0)*k. Is y at least as big as u?
True
Let m(g) = 2*g + 18. Let a be m(8). Let c = -0.14 - -0.14. Which is bigger: c or a?
a
Suppose -2*d = -2 + 4. Let t(i) = i**3 + i**2 - 2*i - 1. Let o be t(2). Suppose o*c - 5*c = -6. Is d >= c?
True
Suppose -6*r = -4*q - 3*r - 85, -r + 3 = 0. Let f be 108/(-8)*(-4)/(-3). Is f less than or equal to q?
False
Let b(t) = 7 - 13*t + 12*t - 19. Let f be b(-15). Let p be 8/(-9) + f + -3. Which is greater: p or -2?
p
Suppose -2*p + 3 = -2*j - 11, -4*j = p + 8. Suppose -x + 9 = 2*x. Let w be ((-10)/3)/(4 - x). Which is bigger: j or w?
j
Let x be (18/10)/(12 - (-532)/(-35)). Which is smaller: -1 or x?
-1
Let u = 454 + -453. Is u < 5/49?
False
Let f(w) = -w - 19. Let x be f(-20). Let t be 70/(-15) + x + 3. Let r = 1 - 1.2. Do r and t have the same value?
False
Let g(h) = 87*h + 1305. Let c be g(-15). Let m = 47 - 143/3. Is c greater than m?
True
Let p = -8 - 5. Let o = p + 32. Let t = o + -19.05. Which is smaller: t or -1?
-1
Let l be (-4)/(-1 + 0 + 2). Let d(b) = -b**2 + 5*b + 16. Let x be d(7). Suppose -6*o - 2 + x = 0. Is l > o?
False
Let b(r) = -10*r + 31. Let z be b(2). Let d = 12 + -1. Is z greater than or equal to d?
True
Let s = -71 - -69. Let f be 3/s + 55/44. Suppose 3*g - 7*g = 4. Which is greater: f or g?
f
Suppose -2*v = -3*v + 10. Suppose -c + 12 = -5*c, 3*d - 3*c - 27 = 0. Is v less than d?
False
Suppose -59*c + 55*c + 113 = u, 3*c = 0. Is -1 greater than or equal to u?
False
Let v be 2/9 + 277/9. Let b = v + -26. Let g be (-10)/725*-1*b. Is g less than or equal to 0?
False
Let t = -2/23 + 56/115. Let x = -47.4 + 42. Let l = x - -5.7. Which is smaller: t or l?
l
Let v be 2 + (-2)/(-2 + (-180)/(-82)). Which is greater: v or -7?
-7
Let s = -0.89 + -2.81. Let g = s - -10.7. Which is smaller: g or -0.1?
-0.1
Suppose x - 2*x - l + 4 = 0, -6 = -4*x - 2*l. Which is smaller: -102/5 or x?
-102/5
Let i be 0*((-1)/(-8))/(1/4). Does 6/25 = i?
False
Let t(a) = -a**2 - 4*a - 6. Let y be t(-4). Suppose -5*p = -155 + 120. Which is greater: p or y?
p
Let u = -383 - -382. Do 1/197 and u have the same value?
False
Let k be -1 - (-10)/14 - 7/147. Let x be (12/16)/((-2)/(-8)). Suppose -5*f - 3 = 2*c, -2*f + c + 3 + x = 0. Is k less than f?
True
Let w be 136/85 + (-4)/(-10). Let v be 22/44 - w/(-4). Which is bigger: 29/4 or v?
29/4
Let i be (4/(-2))/(48/28). Let m(r) be the second derivative of r**3/2 + 21*r**2/2 + 2*r. Let a be m(-7). Which is smaller: a or i?
i
Suppose 5*a - 61 = 8*a - 4*c, 42 = -2*a + 3*c. Which is greater: a or -166/11?
a
Let o be 16/(-10)*9/12. Let d = -112 + 115. Suppose -4*l + d = -3*m, 5*m = 2*m - l - 3. Does o = m?
False
Let v be (-2 + -1)*1 + (-1220)/(-420). Suppose 3*h - 2*f - 11 = 0, -h = h + 2*f + 6. Which is smaller: h or v?
v
Let k be (31/(-10) + 1)*1205/(-1446). Which is smaller: -5/12 or k?
-5/12
Let w(j) = -j**2 + 59*j - 534. Let f be w(62). Which is bigger: f or -722?
f
Let b = 1283/11210 + -26/295. Suppose -h + 4*u + 16 = 3*h, 2*h - 18 = 4*u. Is b >= h?
True
Let h = 361462/37 + -9771. Is h equal to -2?
False
Let t = -0.0589 - -0.1589. Is -0.164 at most t?
True
Let z = 7953.033 - 7946. Let m = z - 0.033. Are 0 and m nonequal?
True
Suppose 10 = -3*n + n. Let k = 224 - 229. Is n equal to k?
True
Let h = 2/7531 - -1054334/22593. Let w = h - 47. Suppose -2*n = -n. Which is greater: w or n?
n
Let a = 9.41 - 9.51. Which is smaller: -77 or a?
-77
Suppose -32*a = -31*a. Is -1/354 bigger than a?
False
Let l(p) = -p**2 + 8*p. Suppose 0 = 10*n - 4*n - 42. Let d be l(n). Let s be (-2)/3 + (-98)/(-12). Is d smaller than s?
True
Let q = -4 + 181. Which is bigger: q or 176?
q
Let p = 1533 + -884. Is 649 at most p?
True
Suppose 15 = -5*j - 0*j. Let d(h) = -h**3 + 5*h**2 + h - 12. Let q be d(4). Suppose -t - 3 - q = 3*u, 13 = -3*u + t. Is u equal to j?
False
Let h = 0 - -1. Let i = -13 + 0. Let b = 14 + i. Is h > b?
False
Let y(w) be the third derivative of w**5/60 - 7*w**4/24 + w**3 - 41*w**2. Let u = 8 + -3. Let c be y(u). Is -2 at most c?
False
Let i = 91 + -37. Let q = -54 + i. Is 17 at most q?
False
Let v = -0.06 + -0.04. Let g be (-8)/(-6) + (-34)/(-51). Suppose -4*y + 6 = -2*f, f + g*y + 1 = -2. Which is bigger: v or f?
v
Let n = -53948/1089 - -446/9. Let t be (-1)/(-7) + (-276)/(-322). Is n at most t?
True
Suppose 3*g + 3*f = 0, 2*g + 19*f - 3 = 14*f. Are g and -6/11 non-equal?
True
Let f be (-2 - 12)/(2/4). Let q be (-2 - 4)*2/f. Suppose i + 3*i = 2*b - 14, 0 = -3*b - 2*i - 11. Is b greater than or equal to q?
False
Suppose -2*n + 11 + 5 = 0. Let s be (42/n - 0) + 7/(-28). Which is smaller: 10 or s?
s
Let x be (24 + -23)*((-20466)/14 - 0). Let r = -1459 - x. Which is smaller: 4 or r?
r
Let f(h) = h**2 - h + 30. Suppose -b + 0 + 0 = 0. Let d be f(b). Which is greater: d or 1/4?
d
Let p(g) be the third derivative of -1/24*g**4 - 4*g**2 + 0*g + 7/6*g**3 + 0. Let t be p(7). Do t and 0 have the same value?
True
Let r = 6.837 - 0.137. Let u = 6.3 - r. Is u at most as big as 1/5?
True
Let m = 1.006 - -0.794. Let l = 2.75 + 0.05. Let p = m - l. Is -0.27 > p?
True
Let q = 7.8 - -1.2. Let l = 8.99 - q. Let h = l - 0.19. Which is smaller: h or -3?
-3
Let v = -38 + 80. Let f be (-4 + v)*(2/4)/(-1). Does -19 = f?
True
Suppose 15 = -4*f - 1. Let g be (36/585)/(f/(-30)). Let n(m) = -m**2 + 3*m + 1. Let v be n(3). Which is smaller: g or v?
g
Let g = -45 + 586/13. Is g not equal to 0?
True
Let x be (-5)/(15/(-213)) + 3. Suppose 0 = -4*i + 38 + x. Is i greater than 27?
True
Let i = -142 - -84. Which is bigger: i or -59?
i
Let r(j) = -2 + j - 5 - 2*j. Let i be r(-7). Let q = 2523/68 - 147/4. Is i < q?
True
Suppose 4*j = -16, -3*j = -b - j + 8. Suppose 4*c - 4*q + 60 = b, q - 6 = 2*c + 23. Let o be (-8)/c - 5/7. Is o at least as big as 1?
False
Suppose -2*r + 36 = 2*r. Let v be ((-1)/2)/(1/r). Is 2 <= v?
False
Suppose -2*n + 0*n + 4*g = -4, -3*n + g = -21. Let h(t) = -2*t**2 - 8*t - 2. Let y be h(-4). Is n at most as big as y?
False
Let w = 4.4 - 1. Let y = 1.9 - w. Let l = -1.6 - y. Which is smaller: l or -1?
-1
Suppose 3*r = 4*p + 27, -8*p + 6*p - 59 = -5*r. Is r at least 37/3?
True
Let p = -1 + 5. Suppose h - p = 2*w - 0*h, 0 = h. Let z = -119 + 117. Is w at most as big as z?
True
Let i = 295 + -312. Is i != 7?
True
Let j = -0.057 + -31.943. Let a = -31.6 - j. Which is bigger: a or 4/7?
4/7
Let m = -0.42 + -6.98. Let j = m + 7.2. Is 0.2 <= j?
False
Let u = 184 + -186. Let y be -3*(1 + (-8)/3). Let m = 4 - y. Is u >= m?
False
Let r = 1.546 + -1.49. Is 1/3 greater than r?
True
Suppose -i + 184 - 170 = 0. Which is smaller: i or 16?
i
Let x = 158 + -157.6. Is x > -1?
True
Suppose -391*h + 400*h = 1683. Which is bigger: 186 or h?
h
Let s = -1801/384 + 3/128. Is 2/3 smaller than s?
False
Let a be (-17)/(-68) + (-466)/8. Which is bigger: a or 0?
0
Let q(s) = -s**3 - s**2 + 33*s + 42. Let n be q(-5). Which is greater: n or -33?
n
Suppose 3*f = 4*m - 74, -2 = -f - 5*m + 5. Let t be 3 + -1 + 2 + f. Is -15 at least t?
False
Let h(k) = -k**2 - 6*k - 1. Let o be h(-6). Suppose -36 = 4*r + m, -7*m = -2*r - 4*m - 4. Let b be r/6*(-6)/68. Which is smaller: o or b?
o
Let r = -3454/27 + 128. Which is smaller: r or 0?
0
Suppose -10 = 3*u + 2*u. Let z = 0 - 10. Let p be ((-54)/(-105))/(3/z). Is u not equal to p?
True
Let u be 2/(-4)*(-8)/(-4). Let z = -91 - -102. Suppose -5*b + 15 = -z*r + 10*r, -2*b + 6 = 4*r. Which is smaller: b or u?
u
Let w = -0.37 - -2.07. Let n = w - 3.7. Which is smaller: n or 9?
n
Suppose 5*z - d - 2*d + 33 = 0, 2*z + 16 = 4*d. Is -50/11 less than or equal to z?
False
Let h be -3 + 5/1 + 2. Let d be (h/6)/((-2)/(-6)). Let i be -4 - -1 - (-3 + -5). Is i bigger than d?
True
Let o = 136 + -138. Let h be (-30)/75 + o/(-5). Suppose 4*l - 5*l = 7. Is h at most as big as l?
False
Let t = -1 - -1. Let j = -11617/12 - -968. Do t and j have the same value?
False
Let y = 61.99 + -61.9. Are -63 and y non-equal?
True
Let z = -0.256 + -142.744. Let a = -149 - z. Which is greater: a or -2