*j + 9. Let a be b(7). Suppose -5*g - 2*o = -5*o - 20, a*o = 0. Suppose 2*f - 4 = -0*f. Is g >= f?
True
Let l(m) = -m**2 - 4*m + 1. Let p be l(-2). Suppose -p*a = 13 - 188. Is 36 at most as big as a?
False
Let h = 12548888/1527 - 8218. Let y = -4615/25959 + h. Let c = 19/85 - y. Do -1 and c have different values?
True
Let m = 387/22 + -188/11. Is 2/701 smaller than m?
True
Let w be ((0 + -3)/3)/((-465)/6). Is 1 bigger than w?
True
Let o = 41.17 - 40.17. Let g be -2 + 3/9*-4. Which is smaller: o or g?
g
Let h(x) = -7*x - 13. Let k(m) = 8*m + 14. Let n(s) = -6*h(s) - 5*k(s). Let p be n(-9). Let d = p + 8. Is -4/5 at least as big as d?
True
Let c = 160 + -231.9. Let m = c - -72. Suppose 5*l + 28 = 98. Which is smaller: m or l?
m
Let u = -1245.155 - -1245. Which is bigger: -0.1 or u?
-0.1
Let s(i) = -2*i**2 - 12*i - 16. Let m be s(-4). Which is greater: 18/23 or m?
18/23
Suppose 0 = -4*x - 5*v + 109, -4*v = 3*x - v - 78. Let s be (-1 - 0)/((-28)/x*-3). Let l(r) = -r**3 + 6*r**2 - 3*r - 2. Let w be l(5). Which is bigger: w or s?
w
Let m = 459.8 - 485.77. Let i = m - -26. Let a = -0.13 + i. Which is greater: -3 or a?
a
Let k = 6 + -8. Let t = 104 + -103. Is t < k?
False
Suppose w + 82 = 81. Let x = 2370/187 - 142/11. Which is bigger: x or w?
x
Let x be (-4*6/72)/(1/(-423)). Is 141 at least as big as x?
True
Let g = -5 + 15. Suppose 72 = -g*a + 14*a. Which is smaller: 15 or a?
15
Let d = 1080 - 1080. Are d and 425 non-equal?
True
Let d = -27268237/1349 - -60641/3. Is 0 equal to d?
False
Let v(p) = -p + 5. Let g be v(-4). Suppose 4*x - g = 15. Suppose -l + 5*t + 31 = 0, 2*l - 16 = l + 2*t. Is l at most x?
True
Let p be 6*((-22)/(-9) - (-28)/(-63)). Which is smaller: p or 30?
p
Let z be (-9)/(-6) + 1/2. Let k(u) = -u**3 + 17*u**2 - 14*u - 30. Let p be k(16). Suppose -2*w = -2*x + p*w - 8, 4*x - 2*w = z. Are 1 and x equal?
False
Let m = 25 - 6. Let h = 20 - m. Let l = h + -5. Which is greater: -0.1 or l?
-0.1
Suppose 0 + 4 = 2*v. Suppose v*i - 9 = -1. Let y = 23 - 22.6. Is i equal to y?
False
Suppose 0 = -4*d + 5*h - 29, 4*d + 11 = 3*d + 2*h. Which is bigger: -3 or d?
d
Suppose -2*u = t - 0*t - 11, -4*t + 19 = 3*u. Is 5/13 < t?
True
Let z(y) = -y + 9. Let h be z(7). Suppose -3*f + 5*f - 4 = 0. Suppose -2*b - f*b = -16. Is b greater than h?
True
Suppose 714 - 4522 = 14*x. Which is smaller: -273 or x?
-273
Let o be (-6)/(-27) - 2/(-72). Let p = -10 - 0. Let f = p + 11. Which is greater: o or f?
f
Let n = 113 + -262. Is n smaller than -150?
False
Let n = -739 - -820. Which is bigger: n or -2?
n
Let v be 64807*(-2)/(-165) + (-6)/(-15). Let u = 786 - v. Let q be (2 - (-4)/(-4)) + 0. Does u = q?
False
Let q = -15.22 - -15. Let v = -0.12 - q. Which is smaller: v or 5/6?
v
Let j = -10.7 + 10.83. Is -4 greater than or equal to j?
False
Suppose -h + 3*z + 4 = -8, -2*h = -3*z - 24. Is 14 bigger than h?
True
Let m = 42 + -8. Let t be (-4)/m + (-276)/(-34). Is t less than 9?
True
Let y = -111 - -110. Which is smaller: -1/64 or y?
y
Let m = -0.827 + 0.727. Is m at least as big as -254/9?
True
Suppose -3*t = -14 + 5, f + 5*t - 22 = 0. Let y be (-1)/((-95)/(-30) - 3). Let h = f + y. Is h greater than 2?
False
Let r be (0 + (-1)/(-213))/(63/(-378)). Let z be 68/12 - (-1)/3. Let x = 5 - z. Is x greater than r?
False
Suppose 6*y - 25 = y. Suppose 0*n - y*n = 15, -3*j = -5*n - 24. Let t be 25/30 + j/(-2). Which is greater: -1/4 or t?
-1/4
Suppose i = 4*i. Suppose 0 = -4*j - i*j + 12. Let d be 15/(-3) - -3 - j. Which is smaller: d or -4?
d
Let t(i) = -2*i + 11. Let c be t(-12). Let p = c + -25. Suppose -4*m - 27 = -3*f, -f = -5*m - 21 - p. Which is smaller: m or -7?
-7
Let v = -20.6 - -28.6. Is v bigger than -29?
True
Let c(s) = 15*s + 244. Let a be c(0). Which is smaller: 245 or a?
a
Suppose -41*b = 3*b - 44. Do 10/79 and b have the same value?
False
Let n be (-14492)/70 - 192/(-448). Which is greater: -208 or n?
n
Let z = -244 - -509/2. Let x(o) = 253*o - 494. Let n be x(2). Which is smaller: n or z?
z
Suppose 0 = 4958*j - 4946*j + 912. Is j != -79?
True
Let q(j) = j**2 - 8*j + 6. Let f be q(7). Let s = -10551/8 - -1317. Which is smaller: f or s?
s
Suppose 0 = 3*s - 3*k + 318, -s + 2*s - 2*k = -111. Let p be (s/2)/(2/3). Let a = 2759/36 + p. Is 0 != a?
True
Let n(g) = -g**3 - 6*g**2 - 4*g - 7. Suppose 2*p + 6 = -4. Let i be n(p). Let r be 3*10/i - -3. Which is bigger: r or -1/4?
r
Let q(r) = -4*r**2 + 7*r - 4. Let k(d) = 7*d**2 - 14*d + 9. Let y(x) = 3*k(x) + 5*q(x). Let j be y(6). Let n = j - 2. Does 0.1 = n?
False
Let i be (-199)/(-398) - (1 - (-6)/(-8)). Let g(b) = 2*b - 7. Let m be g(5). Suppose 12 = -3*a - m*y, y + 4 = -3*a - 0. Are i and a nonequal?
True
Let s be -4*((-1476)/(-8))/9. Let n = -23 + s. Let b be (-3)/(-6) + n/(-6). Which is smaller: 16 or b?
16
Suppose -i + 12 = i. Suppose -2*w - w = -i. Let r be 1/1*w/(-4). Which is smaller: -0.2 or r?
r
Let i = 0.07868 - 12.07868. Let j = 0 + 0. Which is bigger: j or i?
j
Let h(a) = -a**3 - 6*a**2 + 2. Let w = -88 - -82. Let c be h(w). Which is smaller: 0 or c?
0
Suppose -4*i + 4 = -4. Let w be (-1)/15*i*(-3 - -2). Is w at most 0?
False
Let n be (-136)/(-6) + (-22)/33. Let m = n - 22. Is 2/15 at most as big as m?
False
Let q(n) = n + 3. Let r be q(0). Suppose -r*o = 136 - 442. Let j be -1*1 + o/24. Which is bigger: 2 or j?
j
Suppose 0 = o - 5*g + 138, 0*o - 5*g - 261 = 2*o. Is -133 equal to o?
True
Let q = -56716/330435 + 2/9441. Let l = -8 - -9. Are l and q unequal?
True
Let p be ((-255)/(-50) - 5)/(32/(-40)). Is p < -55/2?
False
Let j = -0.2 + -21.8. Let g = 22.3 + j. Is 0.3 greater than g?
False
Let a = -143 + 205. Which is bigger: 184/3 or a?
a
Let m = -1.1 + 1. Let f = 5984 + -29882/5. Which is greater: m or f?
f
Let y(w) = -w**2 + w - 1. Let s(g) = -7*g**2 - 10*g + 13*g**2 - 4*g**2 + 10. Let p(z) = s(z) + y(z). Let i be p(8). Which is bigger: i or -1?
i
Let d be (-2)/((-16)/6 + 2). Let r(j) be the third derivative of -j**4/24 + j**3/3 + 7*j**2. Let h be r(d). Which is bigger: 0.3 or h?
0.3
Let k be -7 + 41/1 + 3. Which is bigger: 2 or k?
k
Let n(h) = -22*h - 1. Let z be n(0). Is z less than 9/29?
True
Let m be -85534*(-1)/(-3226 - 2). Let j = m + -2/807. Is j at least -28?
True
Let n = 173/3 - 57. Let o(y) = y + 12. Let v be o(-5). Let z be (((-21)/(-6))/v)/(-4). Which is smaller: z or n?
z
Let f(k) = -17*k + 4. Let r(w) = 4*w - 1. Let u(b) = 2*f(b) + 9*r(b). Let d be u(2). Suppose -x + 4*x = 12. Which is smaller: x or d?
d
Let n(d) = -12*d - 300. Let z be n(-29). Is 47 less than z?
True
Let p = 36 - 21. Suppose w + 4*x = -p, 2*w - 4*x + 5 = 23. Which is smaller: w or -2/41?
-2/41
Let d(o) = o**3 - 11*o**2 + 11*o + 8. Let u be d(10). Let t = u + -15. Is t equal to 2?
False
Let m(c) = -5*c - 9. Let h be m(-7). Let z = h + -15. Let t be (-2)/z - (-4 - -4). Which is smaller: 1 or t?
t
Let q = 0 - 38. Let m = -0.0655 - 0.0345. Is m < q?
False
Suppose 3*l = 3*s - 2*l, 5*l = 4*s + 5. Let f be 44/33 - 10/(-6). Let i be 5 + -10 - f/3. Which is smaller: i or s?
i
Let z be (-4)/36*(8 - -234)/11. Which is greater: -2 or z?
-2
Let j = 85 - 78. Let k = -3 + 12. Let m = k - j. Is m at least -1/4?
True
Suppose 0 = -5*h - 5*u - 5, 4*h + 3*u - u = -4. Suppose -3*d = -7 - 11. Which is smaller: h or d?
h
Suppose 2 = 5*k - 3*g, 0 = -k + 2*k - g. Let l be (-10)/(-84)*(-7 - (-1182)/300). Let i = l + 3/20. Is k at most i?
False
Let a = 476 + -1435/3. Suppose -2*n = -k + 8, 2 = 2*k + 2*n + 4. Which is bigger: k or a?
k
Let r = -753/14 + 109269/2030. Is r less than or equal to -1?
False
Suppose -5*l - 24 = -14. Let h be (3 + l)/((-15)/9). Let d = -9 - -9. Is d at most h?
False
Suppose -14*o + 415 = 387. Suppose -7 = 5*s + 3. Which is bigger: o or s?
o
Let t = -2.1914 - -0.1914. Is 888 <= t?
False
Let u be (-273)/63 - (-2)/(2/5). Is -163 bigger than u?
False
Let v = 4 - 0. Suppose 0 = -3*u + 2*s + 1 - 0, 2*u + v = -s. Let f = -95258/63 - -1512. Do u and f have different values?
True
Suppose 238*a - 248*a + 40 = 0. Is a equal to -2/21?
False
Let c = -1 - -3. Let f = -39 - -24. Let d be 9/f - 1 - -4. Is d <= c?
False
Let k be ((-16)/(-8) - -16)*1/2. Does 8 = k?
False
Let d(b) = -b - 2. Let u = -3 + 3. Let m be d(u). Let q be ((-1)/2)/(m/(-22)). Is -6 at most q?
True
Let j = -0.2568 - 0.0432. Which is smaller: j or -45?
-45
Let k = -9