Suppose -20 = d*x - x. Is -6 bigger than x?
False
Suppose 2*d = 3*g + 2, 0 = -0*g - 2*g - 4*d + 4. Does g = -10/9?
False
Suppose w + 4 - 7 = 0, -2*w = 3*r - 102. Suppose 5*g + b = -31, -5*g - 2*b - r = -0*g. Let k(y) = y + 3. Let s be k(g). Which is greater: -1 or s?
-1
Let x be (2/(-1*2))/((-7)/21). Is x smaller than 20/11?
False
Suppose 0*l - 2 = 2*l. Suppose 24 = -5*s + y + 6, 15 = -4*s + y. Which is smaller: l or s?
s
Suppose 5*z - a - 20 = -0*a, 1 = 2*z + a. Let l be 0 - (-5)/(5/4). Which is bigger: z or l?
l
Let r be (-14)/(-35) - (-4)/(-10). Is r < -1/17?
False
Let a = 125/3 - 1583/39. Is a at most as big as 2?
True
Let z = -0.51 + 0.31. Is 14 at most as big as z?
False
Let i = -47/59 + 2377/1947. Is i > -1?
True
Let a(x) = -x**3 - 2*x**2 + x. Let y be (1 + 1)*(-1)/(-2). Let f be a(y). Let c be 18/(-4) - (-2)/(7 + -3). Which is bigger: f or c?
f
Let h be 64/(-12)*1/(-6). Is 1 greater than h?
True
Suppose 7*u + 11 = -17. Which is greater: u or -5?
u
Let f be -3 + (-4 - (-3 + 3)). Which is smaller: f or -28/5?
f
Suppose -5*s + 5*m + 50 = 0, -3*s + 5*m = -0*m - 36. Let z = 8 - s. Let k be (-3)/5*z/(-1). Which is smaller: k or 1?
k
Let p(u) = u**2 + 2*u + 1. Let y be p(2). Let q be (-3 - 6)*(-3)/y. Which is greater: q or 2?
q
Let t = -11 - -6. Which is greater: 0 or t?
0
Let n be (-1 + 0)/(8 - -1). Let f(m) = m**2 - 6*m + 5. Let j be f(6). Suppose 0 = -0*a + j*a. Is a greater than or equal to n?
True
Suppose -4 = r - 13. Let m be (6/(-9))/((-16)/6). Is r <= m?
False
Let r = 0 - -2. Suppose 6*m - 2*m = -3*b - 5, 4*b - 10 = 3*m. Let z be (b/5)/(r/5). Is z greater than 1?
False
Let p(i) = i**2 - 15*i + 13. Let z be p(14). Is -1 < z?
False
Suppose -k = -5*k - 20, -2*n - 4*k - 20 = 0. Which is smaller: n or 3/49?
n
Let t(q) = -q**3 - 4*q**2 - 2*q - 5. Let f be t(-4). Let o be (-3 - 0/f) + 2. Let a be 18/(-20) + 2/5. Does a = o?
False
Let g(t) = t**2 + t. Let m(d) = -2*d**2 - 4. Let f(p) = -3*g(p) - m(p). Let s be f(-4). Is 2 less than or equal to s?
False
Let u be 10/15 - (-1 + 1). Which is smaller: u or 1?
u
Let q = 5 + 2. Let h = q + -7. Let n be -2 + (-8)/(-10) + 1. Which is smaller: n or h?
n
Let j be (-6)/(-10) - ((-13)/(-5) - 1). Is j >= 0.5?
False
Suppose -2*u = 5*l - 378, 0*u = 2*u - 8. Let d = l - 664/9. Is d greater than -1/4?
True
Let g = -7 + 7. Let l = 3.99 - 4. Which is greater: g or l?
g
Let f = 37 + -38. Which is smaller: f or 99?
f
Suppose -w + p = -2*w + 9, 0 = -2*w - 4*p + 24. Suppose 4*z = r + 19, 0*z + 2*z + 3 = 3*r. Is w at least z?
True
Let p be (2/2)/((-2)/6). Let r = 8 + -4. Suppose 2*t - 3*m + 17 = -2, -2*m + 2 = r*t. Which is bigger: p or t?
t
Let a(w) = 2*w + 92. Let h be a(-28). Is h less than 36?
False
Let n(h) = h**2 - 2*h + 2. Let s be n(2). Let l = s + -1. Let z = -0.42 + 0.12. Which is bigger: z or l?
l
Let d be (-1)/(-4) + 2/(-8). Let x be (-28)/60 + 3/9. Which is bigger: d or x?
d
Let z = 15 + -14.8. Is -24 > z?
False
Suppose 2*d = 4*d - 10. Suppose -d = -k - 4*k. Let c be (-2 + k)/(-1 + -2). Are 0 and c non-equal?
True
Let p be (7/(-5))/(10/(-25)). Let h = -3 + p. Suppose -5 = -2*k - 5*x - 18, 5*k + 4*x = -7. Is h at most as big as k?
True
Let r = -0.02 + 10.02. Which is smaller: -0.1 or r?
-0.1
Let d = -2 - -1.97. Let a = -2.03 - d. Is a equal to 1/4?
False
Let c(y) = -y**3 - 14*y**2 - 11*y + 30. Let v be c(-13). Let h = 6 + -1. Is v greater than h?
False
Let x be (-1 + -1)/(2/(-4)). Let u be (6/x - 1)*-10. Which is bigger: -6 or u?
u
Let p = -9 - 4. Let z = 7 + p. Let k be (1/z)/((-1)/4). Which is bigger: k or 1?
1
Let b = -8 + 7. Let y be 7/3 - (-3)/(-9). Is b greater than y?
False
Let g = 155/494 - -1/494. Which is smaller: -1 or g?
-1
Let t = -16 - -9. Which is greater: t or -6?
-6
Let y be (-790)/(-15) - (-1 + 0). Let x = y + -53. Which is greater: 2/11 or x?
x
Suppose 0 = 170*i - 173*i - 3. Let m = -3 - -4. Suppose -5*a = -m + 11. Which is smaller: i or a?
a
Let k(x) = -x - 5. Let i be k(-6). Suppose a - o + 3 = 0, -2*a + 7*a = -3*o + 9. Is i less than a?
False
Let a = -58 - -59. Which is smaller: -5/24 or a?
-5/24
Let q = -7456/111 - 813491/2109. Let s = 453 + q. Which is bigger: 0 or s?
s
Let s = 54 - 53.88. Is -0.1 greater than or equal to s?
False
Let t be (-14)/(-56) + 3/(-20)*1. Which is greater: t or -1?
t
Let v(d) = d**2 - 5*d + 6. Let a be v(4). Suppose -j + 2*l - 2 = j, 0 = a*j + 3*l - 18. Suppose k + 4 = j. Which is bigger: k or -2?
k
Let r = -80 + 87. Is r at most 40/7?
False
Let z be (-36)/(-28) - 6/21. Let n = -2 - z. Which is smaller: n or -2?
n
Let m(t) = -t - 3*t**3 - 2*t**2 + 2*t**3 + 1 - 3. Let u be m(-2). Suppose u*a = -3*a - 3. Which is smaller: a or 2/9?
a
Let l = 6 - 11. Let d be -2 - -2 - -2 - -8. Let j be 3/l + (-24)/d. Which is smaller: -2 or j?
j
Let l = 25 - 12. Let p = l - 13. Is p greater than or equal to -2/29?
True
Let m = -2 - -5. Suppose 0 = d + 3*c - 4, -2*d - 3*c + 8 = m. Do d and 2 have the same value?
False
Suppose 2*k - 1 = 1. Is k less than or equal to 6/13?
False
Let x(q) = q**2 + 5*q - 3. Let r be x(-5). Let m(d) = -d**2 - 3*d + 2. Let s be m(r). Suppose -s*g + 7*g - 2*c = 3, 0 = -4*g + 2*c + 4. Is 1/3 smaller than g?
False
Suppose 4*x + 4 = 4*d - 0, -2*d = -5*x + 10. Let m = d - 3. Let h(w) = w + 8. Let k be h(-6). Do m and k have the same value?
True
Suppose -5*q + 2*g = -16, 3*q + 3 + 6 = -5*g. Suppose -5*i + 6 + 4 = 0. Is i less than or equal to q?
True
Let w = 0.07 + 1.13. Let z = -1.4 + w. Does 2 = z?
False
Let t = -3 + 2. Let y = 1.1 + t. Let l = -4 + 3. Is l at most y?
True
Let f = -50/17 + 269/51. Which is smaller: f or 3?
f
Suppose 6*c - 672 = -c. Is 97 <= c?
False
Suppose 16 = 4*h - 0. Let a = h - 5. Is -2 <= a?
True
Let f be (-3 + 0)/((-5)/(-15)). Is -7 at least f?
True
Let r = -166 - -159. Which is greater: r or 1?
1
Let r = 2.98 - -0.02. Let o = r - 3. Which is bigger: o or 5?
5
Let w = -8 + 11. Suppose -4*m + 6 = 5*t, 4*m = w*t - 7*t + 4. Which is smaller: t or 1?
1
Let g = 20/17 - 183/170. Is g equal to -0.1?
False
Let z = -0.5 + 0.41. Is z bigger than -0.1?
True
Let v = -5 - -4. Let l = v + 1. Is 0 at least as big as l?
True
Let c = 0.02 - 14.02. Let l = -9 - c. Let q = 144/7 + -146/7. Which is smaller: q or l?
q
Let q = 0.1 - 0.2. Let g = 3 - -1. Which is smaller: g or q?
q
Let w = -0.2 - -0.1. Let p = 11 + -11.1. Is p smaller than w?
False
Let t be (-24)/3*(-14)/(-1). Do -112 and t have the same value?
True
Let f = -8 - -7. Suppose 0 = 2*b - 3*y + 17, b - 6*b - y = 0. Is b greater than or equal to f?
True
Let b = 37.8 - 38. Is -29 equal to b?
False
Let m = 94 - 87. Which is smaller: m or 9?
m
Let y = -2.07 - -0.07. Let v = -1.9 - y. Is v equal to -0.2?
False
Suppose 0 = -3*z + 8*z - 80. Is 17 greater than z?
True
Suppose -5*y + 3*y = -70. Suppose -15 - y = -5*a. Let u be (-10)/22*8/a. Is 1 greater than or equal to u?
True
Let j be 12*(1 + (-2)/3). Suppose 3 = -d - j. Is d >= -8?
True
Let n = 164 + -1150/7. Let j be 18/(-14) - 2/(-2). Does j = n?
True
Let b(w) = w**3 - 8*w**2 + w + 4. Let u be b(8). Which is greater: 13 or u?
13
Suppose 0 = 26*j - 21*j. Which is smaller: -3/46 or j?
-3/46
Let c = 5 - 3.3. Let d = c + -0.7. Is d not equal to -0.21?
True
Let r be (-8)/(-1)*(-6)/(-12). Let a be ((-7)/(-4) - 1)/(-3). Is a at least as big as r?
False
Suppose 3*x - 2*q = 2*x - 672, -4*q - 2046 = 3*x. Let p = x - -476. Let j = -2224/11 - p. Which is smaller: j or 1?
j
Let y = -2 - 3. Let j be ((-2)/(-4))/(6/36). Let h be j/(y + 2)*1. Is h at least as big as -1?
True
Let o = 0.58 + -0.6. Let y = o + 0.02. Does -3 = y?
False
Let g(a) = -a**2 - 4*a + 7. Let c be g(-5). Let y be 4 - -14*(21/6 + -4). Let p be c + -1 + y - 3. Are p and -5 equal?
True
Suppose 2*q + 2*q = -z - 3, 2*q + 3 = -z. Let p be 986/210 - (-2)/(-3). Let j = 23/5 - p. Which is smaller: q or j?
q
Suppose -27 = 3*y + 3. Which is greater: y or -11?
y
Let h = -0.166 - -8.126. Let j = h - 8. Let m = j + 1.04. Which is smaller: m or -1/5?
-1/5
Let l = -158 + 127. Which is smaller: -32 or l?
-32
Let r = -2 + 1. Let i be 5 + ((-2)/r - 3). Suppose 6 = 2*l + u, i*l - 4*u = -l + 2. Is 2 <= l?
True
Suppose -5*x - 1 + 16 = 0. Suppose h + x = 4. Let m = -59 + 60. Is h < m?
False
Let q(y) = -y**2 + 9*y - 1. Suppose 4*d - n = 20, -11 = -d - n - 1. Let m be q(d). Which is bigger: m or -0.1?
m
Let 