ppose -1 = -2*g + 1. Is m at most g?
True
Let r = 551 - 15987/29. Let b = -30/319 - r. Is 1 less than b?
False
Suppose -2 - 10 = -3*p. Let o be ((-2)/p)/((-9)/(-2)). Do o and -1 have the same value?
False
Let p be (-6)/27 - 68/18. Let c be p*(-2 - (-7)/4). Which is smaller: c or -2/7?
-2/7
Let m be (-56)/96 - (-3)/12. Is m != 0.12?
True
Let x be 5/(-12) - 1/4. Is x smaller than 1/4?
True
Let s = 3/163 + -365/2119. Let f be 4*(0 + 2)/4. Let l be f/(-3)*9/6. Which is smaller: l or s?
l
Let r be 2/3 + (-12)/21. Let j(t) = t**3 + 5*t**2 - 7*t - 6. Let m be j(-6). Which is smaller: m or r?
m
Let k(o) = -o**2 + 9*o + 10. Let v be k(10). Is -1/71 bigger than v?
False
Let j = 0 + 1. Is 9/7 greater than or equal to j?
True
Let t = -1.8 + 0.8. Let g = t - -0.9. Let i = 5 - 5.3. Which is smaller: i or g?
i
Let a = 15 - 31/2. Which is bigger: -2 or a?
a
Let j = -0.04 + 1.04. Let z = j - 0.9. Let f = 0 - -1. Are z and f unequal?
True
Suppose -5 - 3 = 4*c. Is c < -6/11?
True
Let w = -176/63 - -18/7. Let s be 2/(-6) - 12/(-9). Let u be (2 - 3)/s - -2. Which is smaller: u or w?
w
Let h = -89/403 + -4/403. Is h smaller than 0?
True
Suppose 0 = -3*h - 0*h - 15, 2*n - h = 13. Suppose -o + 3*s = 3*o + 12, 4*o = -s - 12. Let i = 7 + o. Is i at most as big as n?
True
Suppose -j + 18 = 2*j. Let o be 1*(-1 + 2)*j. Suppose 5*z + 4*a + o = 0, z - 5*a + 3 = 2*z. Which is bigger: -2/3 or z?
-2/3
Let y(p) = -p + 8. Let r be y(7). Let k be (r - 1)/(16 + -14). Which is bigger: k or -1/15?
k
Let a be 5/2*20/(-75). Is a < -2?
False
Let l = -153/109 - -2/545. Let k(n) be the first derivative of n**4/4 - 4*n**3 + 11*n**2/2 - 2*n + 2. Let r be k(11). Is l at least as big as r?
True
Let a = -5 - -8. Suppose 8 - 2 = a*g. Which is smaller: 0.1 or g?
0.1
Let b = 6 + -8. Let n = -22.2 + 22. Which is smaller: b or n?
b
Let o = 14 + -12.8. Let v = 0.2 - o. Is -0.2 at least as big as v?
True
Suppose -p - 44 = -3*p. Suppose o + 75 - p = 0. Let a = o + 372/7. Which is smaller: a or 1?
a
Suppose 0 = 3*r - r. Let p = -1 + 1/3. Is p less than r?
True
Suppose -3*o = -7*o - 3*o. Are 3/16 and o equal?
False
Let x = 100 - 99. Which is greater: x or -2/29?
x
Let f be (3 - 0 - 0) + -20. Which is smaller: -14 or f?
f
Let m be 12/(-8)*(-2)/3. Suppose -4*d - m + 14 = h, 1 = -2*h + d. Let x(z) = -z**2 - 3*z + 1. Let j be x(-3). Is h < j?
False
Let b = -5 - 1. Let j = b + 6. Which is bigger: j or 5?
5
Let b be (2*(-1)/(-16))/(9/(-18)). Do b and -2.1 have different values?
True
Let o = 1 - -1. Let y be 259/49 - o/7. Let g be (-4 + y)/((-1)/3). Is -2 smaller than g?
False
Let d = 158 + -2056/13. Which is bigger: 2/3 or d?
2/3
Suppose 0 = 3*x - 4*x. Let t = 0.2 + 0. Which is smaller: t or x?
x
Let f = -1 + 1. Let h be 19/(-24) - ((-34)/6 + 5). Which is greater: h or f?
f
Suppose -3*v + 2*v - 2*d + 2 = 0, 2*v + d - 7 = 0. Suppose 4*j + 5*r - 11 = 9, -v = 5*j - r. Is 2/9 greater than or equal to j?
True
Let p be (-1)/3*(-195)/(-20). Which is bigger: -4 or p?
p
Let l be 8/(-12) - -4 - 3. Is l at most -0.05?
False
Let p = 34 - 34.1. Which is greater: -0.11 or p?
p
Let h = 1.17 + -0.97. Let n = -2 + 7. Which is smaller: n or h?
h
Let i be (-139)/(-99) - 1 - 92/414. Let y = 0 + -1. Is y less than i?
True
Let k = -1 + 1.7. Let j = k + -0.4. Is -1/6 smaller than j?
True
Let v be (-32)/(-8)*(-3)/(-4). Suppose 3*s - 13 = 5*w - 4*w, v*w + 23 = 5*s. Let b be (-14)/49*w/1. Is b at least -1?
True
Suppose 6*q - 14*q + 80 = 0. Is 54/5 less than or equal to q?
False
Let c = -62 - -56.9. Let b = -5 - c. Let o = 0.1 + -1.1. Do o and b have different values?
True
Suppose -s + 2 = 2*f + 4*s, -2*f = 2*s - 2. Which is bigger: 4/11 or f?
f
Let m = -23/15 + 6/5. Is m <= -4/3?
False
Let p(a) = -3*a**2 + 25*a + 10. Let w be p(10). Which is smaller: w or -41?
-41
Let t(z) = z + 6. Let n be t(-2). Is 22/7 < n?
True
Let n be (-1 - (-8)/6)/(-1). Suppose 0 = -3*z - 0*z - 6. Let o be 4/6 + z/2. Is n at most as big as o?
True
Let d = 285 - 289. Let p be (-2 + (1 - 1))*1. Which is bigger: p or d?
p
Let u = -12 + 3. Is u != -12?
True
Let w = 1.2 + -11.2. Let l = -8 - w. Let s(q) = q**3 - q**2 - 3*q + 3. Let z be s(2). Is l less than or equal to z?
False
Let o = 18 - 13. Let f(j) = 15*j - 250. Let x be f(17). Is o at most as big as x?
True
Let s = 0.31 + -0.18. Let k = s - 2.13. Is k >= -2?
True
Let g = -507 - -8115/16. Which is greater: g or 1?
1
Let s(d) = -4*d**2 + 6*d - 2 - 3*d**2 + 6*d**2. Let g be s(4). Let a be (g/(-8))/((-3)/(-2)). Is a at most 0?
True
Suppose -16 = -4*z - 4*b, -2 + 4 = 2*z - 4*b. Let u(o) = o**2 + 12*o - 9. Suppose -54 - 24 = 6*s. Let w be u(s). Is z equal to w?
False
Let g = 23 + -16. Let o = g - 3. Let t = -5 - -5.1. Which is bigger: t or o?
o
Let f be ((-6)/(-4))/(-6 + -3). Which is smaller: 0 or f?
f
Let k be 2/7 - 144/14. Let g be 16/k*(-25)/10. Suppose 2*b = -5*m - 10, 0 = g*b + 3*m + 2*m + 10. Which is smaller: b or -2/3?
-2/3
Suppose 3*j - 4*k + 18 = -k, -3*k + 20 = -5*j. Let f be (0/5)/((-9)/(-1 - 2)). Is j > f?
False
Let b be ((-1)/3)/((-3)/2). Let y = 9 + -5. Let p = -5 + y. Which is bigger: p or b?
b
Let r be (-6)/6*12/(-2). Suppose u = 5 - r. Let b = 397/1005 - -1/201. Are b and u unequal?
True
Let q(x) = 2*x - 3. Let r be q(2). Let n be -2*-4*(-3)/276. Are n and r equal?
False
Let z = -190 + 189. Let n be 4/6*(-9)/(-6). Suppose -n - 2 = j. Which is bigger: j or z?
z
Suppose -12 = -3*m - 4*i, -5 = -m + i + 6. Let f(p) = p**2 - 9*p + 7. Let j be f(m). Is j != 2/5?
True
Let b = 0.15 + -0.05. Which is smaller: b or 5?
b
Let z(d) = -d**3 - 10*d**2 + 6. Let u be z(-10). Suppose -2*h + 4 = 2*o, 4*h + 2*o - u = -o. Suppose -4*y + 3*y = 2. Which is smaller: h or y?
y
Let i(d) = -d + 4. Let p be i(0). Suppose p*y + 0*y = 12. Do y and -2/3 have the same value?
False
Suppose 5*c - 1 = w - 3, 5*c + 8 = 4*w. Suppose -3*m = y + 2, -3*y + 1 = 4*m + w. Let n be ((-4)/(-30))/(25/3 + -8). Which is smaller: y or n?
n
Let q be 18/(-84) - 4/14. Is 1/13 < q?
False
Let d = 7 + -3. Let w be (-3 + 0)*d/(-54). Let f = -1 - 0. Is w smaller than f?
False
Suppose 274*y - 24 = 277*y. Which is greater: -33/5 or y?
-33/5
Let c(y) = -y - 2. Let b(p) = -p - 1. Let k be b(2). Let x be c(k). Let u = -1/23 - -29/138. Are x and u nonequal?
True
Suppose 0*i - 5 = -i. Let j = i - 4. Is 2/41 < j?
True
Suppose -3*i - 12 = i. Let y = i - 4. Let n = y - -11. Do n and 4 have different values?
False
Let i(m) = -m**3 - 2*m**2 + 3. Let d(k) = 5*k**3 + 9*k**2 - 13. Let q(x) = 2*d(x) + 9*i(x). Let o be q(-1). Is -8 less than o?
True
Let k = 2 - 1.96. Let i = k + -0.34. Suppose -2*q + 4 - 6 = 0. Which is smaller: i or q?
q
Let a = -1.8 - -1.6. Which is bigger: 1 or a?
1
Let z = -35 + 81. Is 46 at least z?
True
Let b = 3633/19 - 191. Which is smaller: b or 0?
0
Let y(q) = 14*q**2 - 7*q. Let s(o) = -o + 1. Let k(z) = 2*s(z) - y(z). Let b be k(-4). Let c = -1214/5 - b. Is c at most as big as 0?
True
Let y be (-240)/110 - 2/(-11). Suppose 3 = 3*l - 3. Suppose 2*z + l = -0. Is y greater than or equal to z?
False
Let a = -2 + 5. Is 6 greater than a?
True
Let y = -61/2 - -421/14. Which is smaller: y or 3?
y
Let l(r) = -r - 1. Suppose -m = 1 - 0. Let n be l(m). Suppose 2*d - 4*d = -2. Is d less than n?
False
Let i = -0.17 - 6.83. Let h(r) = 6*r - 12. Let k(a) = -5*a + 11. Let v(l) = 4*h(l) + 5*k(l). Let m be v(7). Which is greater: i or m?
m
Suppose 2*y + 5 = 3. Which is bigger: y or -1/34?
-1/34
Suppose 5*a - n = 0, -3*a - n + 6 = -2. Let w = 68 - 342/5. Which is greater: a or w?
a
Let f = 49 + -79. Which is greater: -28 or f?
-28
Let u = -5 - -5.05. Let l = u + 0.95. Let p = -43/12 + 17/4. Is l less than p?
False
Let x be -3*(-8)/6*1/2. Which is greater: x or -1?
x
Suppose -3*d + 4 = d. Let n = 113 - 447/4. Which is smaller: n or d?
d
Let u = 22 - 6. Suppose -4*s + 3*j + 5 = 4*j, -5*s = -2*j - u. Suppose t - 1 = s*t. Is -2/3 < t?
False
Let v(w) = -w**2 + w + 4. Let d be v(-3). Let r be (-2)/d + 9/(-12). Which is bigger: r or 0.1?
0.1
Suppose c = -1, 0*b - c = -3*b + 64. Let l be (b/5)/((-10)/125). Let t = 51 + l. Which is smaller: -3 or t?
-3
Let s = 132 + -185. Let h = 33 + s. Is h at least as big as -21?
True
Let s = -6 - -10. Suppose 55 = s*g + 19. Let y(z) = -z + 9. Let c be y(g). Is 1 >= c?
True
Suppose -2*l + 6*l - 16 = -2*k, 0 = -3*l + 3*k - 6. Su