. Let y = d - -16. Let g = y + -129/4. Is 0 at most g?
False
Let o be (-3 - -3) + (-4)/(-38). Let k(j) = j**2 - 13*j - 5. Let v be k(15). Suppose 4*b + 11 = 3*x, -4 = -4*b + 5*x - v. Which is smaller: o or b?
o
Let a = 1270/3 + -418. Are 6 and a non-equal?
True
Let h = -22/5 - -93/20. Is 1/3 equal to h?
False
Let s = -0.66 - -0.6. Let v = -6.93 + 7. Let q = v + s. Which is smaller: 1 or q?
q
Let a = 0.2 - 9.2. Let d = -4 - a. Which is bigger: -1 or d?
d
Let k = 10 - 13. Let y be (-24)/(-20)*(-2 - 0). Which is smaller: k or y?
k
Let p = -12.8 + 13. Let a be (2 - 1)*(-4 - -7). Suppose -1 = -5*y - a*q - 0, -3*q = 9. Is p < y?
True
Let c be 0 - 1 - (10 + -16). Suppose -2*m + 4*d = -c*m + 2, -4*m = 4*d. Is m less than or equal to -5?
False
Let k be (-6)/12*(-1 + 1). Suppose c + 0*t - 4*t - 7 = k, -4*t = -4*c + 28. Is c not equal to 7?
False
Let u(y) be the first derivative of -y**4/4 - 2*y**3 - y**2/2 - 8*y - 2. Let x be u(-6). Is -1 <= x?
False
Let a be -12 + (4 - (4 + -1)). Which is bigger: -10 or a?
-10
Suppose 0 = -3*a - a + 8. Let k be 2/3 + 6/18. Which is smaller: k or a?
k
Let s = -652/259 + 18/7. Which is bigger: s or 0?
s
Let d = 17 - 17.07. Let y = d + 0.17. Is -4/3 greater than or equal to y?
False
Suppose -23 = 2*q + 117. Is -70 greater than q?
False
Suppose -19 = -5*r + 2*u + 1, -3*u = r - 4. Suppose 2*q = -r + 2. Suppose 0 = 3*k - 7*k. Which is greater: q or k?
k
Suppose -4*p = -7*p. Which is bigger: 2/239 or p?
2/239
Suppose 5*i - 33 = 57. Are 15 and i non-equal?
True
Suppose 4*d + 2 - 6 = 0. Let c = 14 + -12. Is c bigger than d?
True
Let y(z) = z**2 - 2*z - 4. Let j be (-1)/((-1)/(-9)*3). Let f be y(j). Suppose h - 7 = g, -3*g - f = h - 2*h. Which is smaller: -1 or g?
g
Let l(n) = -20*n - 5 + 17*n - 4. Let r be l(-4). Is r greater than or equal to 2?
True
Let x(s) = -s - 1. Let o be x(2). Let n be (0 - (-3)/o)*1. Which is smaller: -2 or n?
-2
Let u = 84 + -46. Suppose 3*f - 5*f + 8 = 0, 3*l = -5*f + u. Which is smaller: 7 or l?
l
Let z = -34 - -163/5. Which is smaller: 0.1 or z?
z
Let g = 69 - 72. Which is greater: g or 6?
6
Let r be (2 - 2)*(-4)/(-8). Let f be r/(-3 - (-3 - 1)). Is -1.1 != f?
True
Suppose 4*t - 42 + 150 = -x, 2*t = -3*x - 334. Let q be x/132 + 2/3. Let f = 2 + -3. Are f and q nonequal?
True
Let v be (26/(-4))/((-2)/(-38)). Let h = -126 - v. Which is smaller: h or -3?
-3
Let t(i) = -2*i**3 - 19*i**2 - 8*i + 10. Let w be t(-9). Are w and 4/7 unequal?
True
Let b(i) = -2*i - 8. Let k be b(-5). Suppose k*p = -0*p. Is p less than or equal to -1/8?
False
Let k = -11 + 7. Let y = k - -6. Let t(g) = g**2 + 2*g + 1. Let h be t(-2). Is h less than y?
True
Let n = -5 + 10. Let b be 72/22 - 15/n. Which is greater: 0 or b?
b
Let l(x) = x**2 + 1. Let j be l(-1). Is j > 1?
True
Suppose 0 = 2*k + 5*j + 20, -2*j - 16 = 2*j. Suppose 0 = -4*o - k*o - 12. Which is greater: o or -1?
-1
Suppose u = -5*o + 16 + 2, -3*o = -2*u - 3. Suppose -50 = 4*b - 30. Let g be o/(-6)*b + -3. Is g >= -0.1?
False
Suppose -5*y = 3*s - 22, 4*s + y + 5 = 23. Suppose 0*j = j - a + 6, -s*j = -3*a + 19. Is 0 != j?
True
Let a be ((3/(-6))/((-2)/(-44)))/(-1). Let g be 2*(0 - 2)*-4. Let d = g - a. Is 4 at least as big as d?
False
Let h = -2 + 3. Let j = 2 + 0. Do j and h have different values?
True
Suppose 5*a + 2 = -2*c + 3*a, 0 = -2*c - 4*a - 10. Suppose -1 = -5*w + 19. Is w bigger than c?
True
Let o be 17/12 + 3/12. Which is bigger: 3 or o?
3
Suppose 3*u + 2*v = -2, 2*u - 4*v = 5*u + 4. Which is bigger: u or -12/11?
u
Let m = 2/3671 - -132134/40381. Which is bigger: m or 3?
m
Suppose -d + 1 + 3 = 0. Suppose -q - 12 = -d*w, 2*q + 5*w - 17 = -2. Let p be -1*((-3)/(-12) - (-9)/(-4)). Which is smaller: p or q?
q
Let y(i) = i + 7. Suppose v + 5*s = 5, -7*v + 3*s - 3 = -3*v. Let a be y(v). Let r be (-1 + 2)/((-3)/(-18)). Which is bigger: a or r?
a
Let w(x) = x + 12. Let t be w(-9). Let h be 1 + 26/(-8) + t. Let y = 3 + -3. Which is smaller: y or h?
y
Let l = 7 + -5. Let j = 91 + -88. Suppose -j*s = -l*s - 5. Do 6 and s have different values?
True
Let h = 3.5 - 3.6. Is h <= 12?
True
Let q(v) = -v - 2. Let s be q(-9). Do 5 and s have the same value?
False
Suppose 0 = -6*k + 2*k + 20. Suppose -r = 2*u - k*r + 4, -r + 1 = 3*u. Is u less than -2/3?
False
Let o = -22 - -12. Let a = -11 - o. Which is smaller: 2/7 or a?
a
Suppose -5*s + s = 12. Which is bigger: s or -0.2?
-0.2
Suppose 5*s - 37 = 2*b + 13, -2*b = s - 10. Let c be 9/s + (-8)/20. Which is greater: c or -4?
c
Suppose -39 = 5*s - 14. Let n = s + 4. Which is smaller: n or -2/9?
n
Let g = 44 + -60. Which is bigger: g or -17?
g
Let b = -0.3 + -0.7. Let p = -0.03 + 0.03. Let k = p - b. Is k at least -1?
True
Let q = -33 - -26. Do q and -3 have different values?
True
Let n = -0.044 - 35.956. Which is greater: -0.1 or n?
-0.1
Let t(r) = r**3 - 8*r**2 - 10*r + 11. Let g be -2*(2 + (-14)/4). Suppose v + j = 2 + 12, -5*v - g*j = -60. Let i be t(v). Which is greater: 3 or i?
3
Let d be (6/36)/((-4)/(-6)). Is d at least -1/7?
True
Let c = 2.64 + 0.66. Let b = c - -0.7. Let w = b - 4.1. Which is greater: w or 5?
5
Let z = 15 - 11. Which is bigger: 2/9 or z?
z
Suppose 0 = -2*y, 40 = 3*h - 5*y - 14. Which is greater: h or 17?
h
Suppose -21*b + 19*b - 288 = 0. Is b smaller than -143?
True
Let j = 0 - 0. Let d be ((-19)/(-8) - j) + -2. Which is smaller: d or 0?
0
Let t = -30 - -28. Is t greater than or equal to -5/9?
False
Let z be 3/(-9)*1*-3. Is z greater than or equal to 2/15?
True
Let l = 0.1 + 0. Let y be (-8)/(-28) - (-58)/(-56). Which is bigger: l or y?
l
Let t = 4/77 + -26/231. Let r = 736/77 - 65/7. Let g = r - t. Which is greater: g or 2/5?
2/5
Let x be ((-40)/(-70))/(2/7). Let h be (1*26)/((-336)/(-22)). Let l = -20/21 + h. Are x and l nonequal?
True
Let w be (-3)/9 + 3/(-9). Which is smaller: w or 0?
w
Let z be (1 - 1 - -2)/(-2). Let d be (z + 3)/(4/(-10)). Which is greater: -4 or d?
-4
Let l = 24 + -12. Let c = 12.2 - l. Which is smaller: c or -0.1?
-0.1
Suppose 0 = 772*h - 773*h. Let q be (-28)/3*(0 - 3). Let v be (1/(-3))/(q/(-6)). Is v at most h?
False
Suppose -9*l + 8*l = -3. Which is greater: l or 1?
l
Suppose 2 = 3*h - 1. Are h and 6 unequal?
True
Let n = 67 - 69. Which is smaller: 9 or n?
n
Let p be ((-2)/(-9))/(1/(-3)). Let b = 0.145 + 0.055. Do b and p have the same value?
False
Let m = -983/12 - -199621/2436. Let v = m - 508/3451. Which is smaller: v or 1?
v
Let m(g) = g + 13. Let h be m(-11). Suppose -3*w + 18 = -v, 7 + 11 = 3*w + h*v. Is 7 smaller than w?
False
Let h be (-6 + 14)*(-1)/(-6). Are h and 0 nonequal?
True
Let k(f) = f + 4. Let u(c) = c + 4. Let r be u(-4). Let t be k(r). Let s be -1 + 4*(-35)/(-30). Is t at most s?
False
Let f(u) = -u - 2 - 19*u - 9*u. Let n be f(2). Let k be 21/n + (-3)/(-4). Which is bigger: k or 0?
k
Let z = -30582 + 152328/5. Let b = -116 - z. Is 0 > b?
False
Let a be (-1)/(((-10)/(-6))/(-5)). Is -1/4 not equal to a?
True
Suppose -2*g = -41 - 1. Suppose -16 = -4*l + 2*k, k = -5*l + 3*k + g. Suppose 10 = -l*m, 2*d + 8 = -3*m - 2*m. Which is bigger: d or -2?
d
Suppose -15*z + 10 - 40 = 0. Let a(y) = -y**2 + y + 1. Let d be a(2). Is z at most as big as d?
True
Let n be 2/(-4)*(-2)/3. Let z(q) = -q**2 + 7*q + 5. Let x be z(7). Suppose x = o - 6*o. Are o and n equal?
False
Let c = 21.066 - 21. Is 0 < c?
True
Let k = 18/13 - 77/65. Are k and -1 nonequal?
True
Let h = -6827/25 - -273. Which is greater: 0 or h?
0
Let p(c) = -c**2 - 6*c - 5. Let l be p(-4). Suppose 5*z - 5*j - 19 = l*z, -3*j = 2*z + 5. Suppose 0*d + 4*v = 4*d + 24, z*d = -4*v + 6. Is d at least -2?
False
Let t(u) = -2*u**3 - 27*u**2 + 15*u + 14. Let j be t(-14). Let x = -13.3 - -7. Let y = x - -6. Which is greater: y or j?
j
Let t = 4 + -9. Let z(w) = -73*w + 434. Let b be z(6). Which is smaller: t or b?
t
Let j = 2050241 + -5039892. Let y = j + 1710081075/572. Let z = 3/143 + y. Which is smaller: z or 1?
1
Suppose 6 = -2*k + 4*k. Suppose 3*g + k*u = -24, 0 = -4*g + 3*u + u - 8. Let o = 1 + -1.1. Which is greater: o or g?
o
Let k = -655710575085946833/2572 - -254941872539982. Let i = -30681616 - k. Let j = -2/643 - i. Which is smaller: -1 or j?
-1
Let w = -44 + 37. Is -7 greater than w?
False
Suppose 0 = -i + 6*i - 630. Suppose i = 2*h + 6. Let v be (-2)/(-6) - (-4)/h. Which is bigger: v or 2/3?
2/3
Let f = 