(-2)/(-489))/((-7)/21). Is 0 < d?
False
Let t be (-5)/(-25) + 38/(-90). Is t at least as big as 0?
False
Suppose 4*m - 7 - 1 = 0. Suppose m*k + k = 6. Let t = k + -5. Is -2 less than or equal to t?
False
Let z be (-182)/(-9) - 4/18. Suppose 2*j + 3*j - z = 0. Suppose 4*t - 8 = l - 3*l, 4*l - j = -4*t. Is t >= 3?
True
Let h = -9 + 18. Let b = h - 6. Which is smaller: -0.1 or b?
-0.1
Let p = -2 - -1. Let q = 0 - p. Let f = -2.1 - -2. Which is smaller: q or f?
f
Let v be 18/(-12) - (-2)/4. Let w = v - -1. Let j be (-1 - w)*(-2)/(-5). Which is smaller: 1 or j?
j
Let g = 4163/189255 + -1/2035. Is g greater than -1?
True
Let b be (-2)/3 + (-6)/(-9). Let l be (-83)/(-4) - (-2)/8. Suppose 2*v = -4*p + 12, l = p + 4*v + v. Is b equal to p?
False
Suppose -4*v + 4*f = -1 - 27, 2*v - 22 = 4*f. Suppose 2*u - 38 = 4*g, 0*u - u = 3*g - 9. Suppose -5*h + u = -0*h. Is v >= h?
True
Let v = -0.13 - -0.03. Is v bigger than -1/24?
False
Let b be 1*-9*12/20. Let d = 24/5 + b. Let q(w) = -w**2 - 2. Let c be q(0). Is d less than or equal to c?
False
Let d = 133/682 - 5/22. Is d > 1?
False
Let u(d) = -d**2 - d + 1. Let a be u(-2). Let l be (-3 + a)/(-1 + -1). Let t be (l/8)/(-1 - -2). Which is bigger: 0 or t?
t
Let v = -12 + 12. Is v >= 1?
False
Let x = 0 - -3. Let l = 0.068 + -0.368. Is l smaller than x?
True
Suppose 4*z = -5*g + 64, 0*z + 3*z = 3. Let r be (4/(-12))/(10/g). Do r and 1 have the same value?
False
Let j(q) = q. Let o(m) = -2*m + 4. Let k(g) = -j(g) + o(g). Let b be k(3). Which is smaller: b or -4?
b
Suppose 5*j - 120 = 3*w, -4*j + 4*w = 5*w - 96. Let l be 2/(-3) - j/(-63). Let c = -0.1 - 0. Which is smaller: c or l?
l
Let t be 2/(-7)*1 + (-20)/(-35). Let k = -2.04 - -0.04. Is k <= t?
True
Let x = 0.115 + 9.985. Let a = -10 + x. Is a < -2?
False
Suppose 9 - 45 = -3*n. Let g be (0 - 2/n)*3. Let t = 0 - 0.1. Which is greater: t or g?
t
Let f = 9.3 - 9. Let y = 14/3 - 25/6. Which is bigger: y or f?
y
Let a be (-10)/4*(-12)/10. Let c be (a/6)/(1/(-10)). Let q be -2 + -2 + c/(-2). Which is smaller: q or -3?
-3
Let o be ((-4)/2)/(1/1). Let v be (-42)/(-15) + (-1)/(-5). Which is greater: v or o?
v
Suppose -2*b - 31 = -15. Is b less than -8?
False
Let a = 343774/143 + -2404. Is -1 less than a?
True
Let l = 315 + -2523/8. Is l at most as big as 0?
True
Let y be ((-3)/2)/(2*(-486)/(-48)). Which is greater: y or -1?
y
Suppose -10 = -l - 0*l. Are 51/5 and l nonequal?
True
Let w be 3*(-2)/12*-4. Suppose -w*p - 2*p = -8. Which is smaller: p or 7/6?
7/6
Let w = -2 + 4. Suppose f - 2 = 0, x - w*f + 3*f - 4 = 0. Let k = 2 - x. Is 0 less than k?
False
Let d be (40/848)/(2/4). Let u = -191/901 + d. Which is greater: u or 1?
1
Let j = -232007/8 + 29044. Let t(m) = -44*m**2 - m. Let z be t(-1). Let b = z + j. Is -1 bigger than b?
False
Let z = 124/3 + -42. Suppose -4*g + 5*g = 0. Suppose -3*k - 6 = 3*w, 2*k + g - 2 = w. Which is greater: k or z?
k
Let r(a) = 3*a + 2. Let b be r(6). Suppose v - 2 = -0*v, -5*v + b = -5*m. Let z(u) = u**3 - 7*u**2 + 6*u. Let w be z(6). Which is bigger: w or m?
w
Let h be (-2 - 2)*12/(-8). Let j = -7 + h. Let g = -2 - j. Which is smaller: 0 or g?
g
Let z = 18 + 11. Is 29 at most z?
True
Let x be (-2)/(-4)*24/12. Which is greater: x or -2/7?
x
Let v = -34 - -56. Is v greater than 0?
True
Suppose x - 5*s - 23 = 0, -11 = 2*x + 5*s + 3. Do 3 and x have the same value?
True
Let o be (-100)/30 + (-1)/(-3). Which is greater: o or -4?
o
Let z = 9 + -9. Let a = -8 - -6. Let s be a*(-2)/24*-2. Is z < s?
False
Let w = -17.1 - -18. Let x = 1 - w. Which is smaller: x or -2/3?
-2/3
Suppose -5*b + t + 8 = 3*t, -b - 3*t = 1. Suppose -5*p + b*p = 3. Let o be (-144)/(-66) + (-2)/1. Is p > o?
False
Let r = 0 + 0. Let x = -2 - 2. Is x greater than or equal to r?
False
Let u = -9 + 5. Let v = u - -4.1. Is 1 greater than or equal to v?
True
Let t = 109 + -123. Which is bigger: t or -15?
t
Let p = -0.54 + 0.47. Which is smaller: p or 2/3?
p
Let r = -27/4 - -7. Let q = 3.155 - 0.055. Let k = -3 + q. Which is bigger: k or r?
r
Suppose f + 5 = 0, -4*w + f - 58 = 3*f. Let x = 10 + w. Which is bigger: -3 or x?
x
Let g = 63/4 + -16. Suppose -j + 17 = 6. Let d = 11 - j. Which is bigger: g or d?
d
Suppose -2*z + 2*d - 6 = 0, z + 0*d = -2*d + 12. Suppose z*m - 40 = -2*m. Let h be (-2)/5 + 8/m. Which is greater: 1 or h?
1
Let q be (-1)/3 + (-8)/12. Which is bigger: 1 or q?
1
Let s be 2/(-8) + (-50)/(-8). Let i be s/(-6)*(-2)/71. Let y = i - -49/781. Which is greater: 0 or y?
y
Let f(j) = -1 - 2 - j**2 - 4 + 2 - 6*j. Let v be f(-4). Which is bigger: 3/2 or v?
v
Let k(j) = j**3 - 4. Let g be k(0). Let y = g - -6. Suppose -h = -3*h. Which is greater: h or y?
y
Suppose 4*l - 2*b = 30 - 8, 0 = 5*b + 25. Suppose l*f - 2 = f. Is -2/5 != f?
True
Let a be ((-8)/(1 - 2))/2. Let w = -1 - -1. Let r = w - 0.1. Is r > a?
False
Let q = 2 + -2.1. Suppose -8*k - 25 = -3*k. Let s = -19/4 - k. Which is smaller: q or s?
q
Let y = 23 + -24. Which is smaller: -1/43 or y?
y
Let b be (20/2)/((-2)/(-13)). Suppose -5*o + b = -3*x, 54 = 4*o - 2*x - 0*x. Are o and 15 equal?
False
Let v(p) = -p + 15. Let w be v(13). Suppose -w*c - 10 + 8 = 0. Is 2/21 greater than c?
True
Let i be 1/2*16/(-948). Let k = i - -172/1659. Let g = k + 17/42. Which is greater: 2 or g?
2
Let z be -1 - 1 - (-6268)/1490. Let s = z - 1/149. Let t = s - 17/10. Do 1 and t have the same value?
False
Let p = -3/53 - 85/371. Let o(g) = g**2 - 7*g - 7. Let s be o(8). Which is smaller: p or s?
p
Let g be 100/(-24) - (-2)/(-6). Which is smaller: g or 0.2?
g
Suppose 4 = -15*f + 14*f. Which is smaller: -24 or f?
-24
Suppose 10*k - k + 27 = 0. Let t be (-16)/10 + 2/(-5). Which is smaller: t or k?
k
Let r be 2/(-2)*(-4)/((-4)/2). Is -2 != r?
False
Suppose 0 = -5*j - 3*q - 50, -2*j - 5*q = -j + 32. Let u = -7 - j. Let t = -22/21 + 12/7. Is u at least t?
False
Let v(w) = w - 3. Let i be v(8). Let n be (1 + 1)*i/10. Is n greater than or equal to 1/16?
True
Let l = -0.8 + 2.8. Let r = -0.2 - -0.2. Is r bigger than l?
False
Let q = 1.28 + -0.28. Is -0.14 equal to q?
False
Let i = 106 - 740/7. Suppose -2*v = 2*v. Let u = v - 1. Are i and u equal?
False
Suppose 0 = 5*x - x. Suppose -2*i + 27 + 13 = x. Let k be (-17)/i - 4/(-16). Which is smaller: k or -2?
-2
Suppose -5*s - 16 = w, w + s = -4*w + 16. Suppose -r = 4*g - w*r + 9, -35 = 5*g + r. Let d be 54/45*(-5 + 0). Is g > d?
False
Let y be (-3)/1*329/(-2583). Let z = 2/41 - y. Do z and 0.1 have the same value?
False
Let h = -0.052 - -0.152. Which is greater: 2/21 or h?
h
Let i = -4 - -3. Let s = 3/20 - -1/10. Is s at least i?
True
Let j = -7 + 9. Suppose 4*a + 6 = -j. Which is smaller: -3 or a?
-3
Suppose 0 = -2*s - 0*s + 210. Let l be (3/4)/(s/40). Which is smaller: 0 or l?
0
Let o be 10 + (3 - 5) + 3. Suppose 5*g = -2*c - 1, -2*c + 17 = -4*g + 3*g. Let d = o - c. Does d = 4?
True
Let s = 449/4 + -113. Which is smaller: -1/4 or s?
s
Let q = 8 - 7.7. Let i = 8 - 8. Which is smaller: i or q?
i
Suppose -l - 16 + 5 = 0. Let j = -15 - l. Is 2 smaller than j?
False
Let d = 10 + 5. Let l = d - 14.87. Which is bigger: 0.1 or l?
l
Let b be -2*((-2)/1 - -1). Suppose 4*d + b = 6, -2*l = 3*d - 3. Which is greater: l or 8?
8
Let r be (-1 + 7)*(-11)/33. Does r = 5?
False
Let a be (5/(10/16))/2. Let n be 10*(a + (-17)/5). Is 6 less than n?
False
Suppose 1 = -p + 5. Suppose 2*w = 10 - 4. Is w bigger than p?
False
Let f = 0.13 + 1.87. Is 3 smaller than f?
False
Let y = 0.07 - -0.93. Which is smaller: 127 or y?
y
Let n be 6 - 6 - 2/(-10). Do 0 and n have the same value?
False
Suppose 3*f = -15, 0*p - p = 5*f + 30. Let j(w) = w**2 + 6*w + 5. Let q be j(p). Let z be -1 + 4/(-18) + 1. Which is greater: q or z?
q
Suppose -4*q = j - 5 + 8, j = 1. Let x = 71/5 + -507/35. Is x >= q?
True
Let f(j) = j**3 - 4*j**2 + 4*j + 1. Let z be f(3). Suppose 4*r = -z*h, 2*r + 3 - 5 = 0. Is -1 at most as big as h?
True
Let i = 1.1 + -0.1. Let r = -0.7 + i. Which is bigger: r or -1/3?
r
Suppose 3 = -2*u - 1. Let l = 27/10 - 11/5. Which is smaller: l or u?
u
Let p = 14 - 15. Let f(q) = q**2 - 3*q - 3. Let b be f(4). Let d be ((-1)/3)/(b/3). Is d != p?
False
Let q be ((-4)/10)/((-56)/(-40)). Let l = -0.06 - 0.34. Which is smaller: q or l?
l
Let d be (-8)/(-20) - (-14)/(-10). Is 1/27 < d?
False
Suppose -310 = -3*v + 176. Let q = -807/5 