ppose 0*w + 6 = -6*w. Is w <= 1/51?
True
Let m = 2 + 0. Let i = 0.32 + -0.22. Which is smaller: m or i?
i
Let w = -12 - -17. Suppose w = -3*b + 8. Let a(l) = l**2 - 4*l - 5. Let d be a(5). Which is bigger: b or d?
b
Let o be 1 + 2 + 0/2. Let q be (-3)/(-1)*1/o. Let x be ((-5)/1)/1*q. Is x smaller than -4?
True
Suppose 5*h = -4*o + 58, 2*h = -3*o - o + 52. Let p = o + -134/11. Suppose 0*j + 7 = q + 3*j, 2*j - 6 = -2*q. Are p and q nonequal?
True
Suppose h - 3*q = -8, -5*h - 3*q - 4 = -0*q. Is h < -1?
True
Suppose -4 = -4*t + 3*d, 5*t = -4*d + 2*d + 5. Which is smaller: -2/21 or t?
-2/21
Suppose -3*s + 2 = 26. Let r be 21/(-2) - s/16. Which is smaller: -11 or r?
-11
Let s = -41/2 + 22. Let d = 0.2 - 0.3. Which is smaller: s or d?
d
Suppose 15 = -5*o, -o + 192 = -10*l + 5*l. Let i = -119/3 - l. Are i and 2/7 unequal?
True
Let g be ((-252)/40)/((-4)/10). Let v = -15 + g. Which is greater: 1/3 or v?
v
Let s(d) = 2*d**2 - 3*d - 3. Let l be s(3). Let w = l - 13. Is w smaller than -7?
False
Suppose 0*a = -2*a + 2*j + 2, 3*a - 5*j = 3. Which is bigger: a or 5/6?
a
Let a = 0 + 0.4. Let j = -0.3 + a. Let c = -278/7 + 40. Which is smaller: j or c?
j
Suppose 3*s + s + 4*f = 60, 0 = -s - 3*f + 23. Let j = s + -11. Let l = 20/11 - 238/143. Is j bigger than l?
False
Let u be 0/2 + 0 + 1. Let o = 5 + -2. Let n be 0 + o*(-2)/(-54). Is u > n?
True
Suppose -1 = -2*p + 1. Let i = 100140 + -699722/7. Let g = -180 + i. Which is bigger: p or g?
p
Let w = -3/43 + 119/473. Let a(v) = -v - 3. Let u be a(-8). Suppose 0 = -4*s - p, 5*s - 3 + 28 = u*p. Which is smaller: s or w?
s
Let r = 3.93 - -0.07. Let q be (10 + -10)*2/(-6). Suppose 0*z - 5*z - 3*o - 10 = q, 0 = -3*o - 15. Is z at least r?
False
Suppose -3*w = 20 - 26. Let s be (-2)/(1*(0 - 1)). Is w greater than s?
False
Suppose -9 + 49 = -5*g. Let y be g/10*(3 - -7). Let a = -5 - y. Do 3 and a have the same value?
True
Let p = -177 + 1242/7. Let u be (-8 - -12) + 1 + -4. Which is greater: u or p?
u
Let x be 17/(-2) - 2/4. Let g = x - -26/3. Let f be -2*(0 - (-3)/(-6)). Is g less than f?
True
Let o(m) = 1. Let g(z) = z + 16. Let d(p) = -g(p) + 5*o(p). Let r be d(-8). Let i = -2 - r. Which is smaller: 3 or i?
i
Let s = -203/5 + 41. Let g = 0 - -1. Let n = 2 + g. Is s less than or equal to n?
True
Let b = 29 - 30. Which is bigger: b or 7?
7
Suppose 5*d + 568 = -332. Let k be 85/d + 2/8. Which is smaller: k or 0?
k
Let h(c) = c**2 + 6*c + 5. Let p be h(-6). Which is smaller: 3 or p?
3
Suppose 6*p - p = 105. Let v = p + -21. Is v <= -1/10?
False
Suppose -l = -5*s - 24, -22 = -l + 3*l + 4*s. Which is smaller: l or -20/17?
-20/17
Let n = -5 + 10. Suppose 11 = -r - n*i, i = r - 4*i - 9. Let o be (r/4)/(2/(-12)). Is o smaller than -1?
False
Let n be 4 + (192/(-10))/((-9)/(-2)). Which is bigger: 0 or n?
0
Let v be 5/5 - 0/1. Suppose t + v + 5 = 0. Which is smaller: -5 or t?
t
Let k(v) = -6*v - 1. Suppose 6 = -5*r + a, r - 3 = -a - 3*a. Let q be k(r). Is q less than or equal to 4?
False
Suppose -16 = 2*a + 4*h, 2*a - 4*a - 15 = 3*h. Let t = a - -9. Suppose -1 + 2 = y + q, -15 = -t*q. Which is smaller: -1/2 or y?
y
Let f(y) = y**3 - 2*y**2 - y + 2. Let n be f(2). Is 1 greater than n?
True
Let p be ((-6)/7)/(1/(-7)). Suppose -u + p*u = 4*i, 4*i = -2*u + 28. Suppose 3*t + 2*b - 28 = -2*t, 4*t + 4 = 5*b. Is t at most u?
True
Let l = 81 - 327/4. Let c(k) = k + 4. Let x be (2 - 0)*12/(-4). Let b be c(x). Which is greater: b or l?
l
Suppose k - 2*k = 8. Let n = k - -13. Suppose 0 = -4*f + n*f. Which is smaller: -1 or f?
-1
Let w(j) = 2*j**3 + 3*j**2. Let v be w(-2). Let o = v + 6. Is 2 not equal to o?
False
Let k = 2 + -5. Is k >= -3?
True
Suppose -2*o - 2*o = -60. Is o <= 14?
False
Let l = -2.42 + -0.58. Which is smaller: 0.8 or l?
l
Suppose 5*v - 68 = 9*v. Let z = -16 - v. Are 2/59 and z unequal?
True
Let s(r) = -r**3 - 3*r**2 + 5*r - 3. Let m be s(-4). Let c = 5 + m. Is -2 smaller than c?
False
Let x = -3 + 4. Let s = 7 + -10. Let c = 5 + s. Is x > c?
False
Let a = -0.28 - -0.2. Let f = 1 - 1.18. Let b = f - a. Which is bigger: b or -2/3?
b
Suppose 4*g = 6*g. Is 2/9 bigger than g?
True
Let d = -3 - -4. Let i = -0.8 + d. Let w = -0.3 + 0.2. Is w at most as big as i?
True
Suppose -z - 3 = 2*z. Suppose 1 = -p - 0. Is p greater than z?
False
Let a be (-159)/5*(1 - 0). Let s = a - -32. Which is smaller: -1 or s?
-1
Let i(a) = a**2 - 2*a + 3. Let j be i(2). Suppose 0 = j*v - 0*v + 3, 0 = -h - 2*v - 2. Let m be (-1)/(1*(-1 - 0)). Is h equal to m?
False
Let c(o) be the third derivative of o**4/8 - o**3/6 + o**2. Let k be c(-1). Let m = k - -4. Is -1 less than or equal to m?
True
Let z = -92 - -91.5. Which is greater: 1.3 or z?
1.3
Let v = -0.08 - 0.12. Do 0.4 and v have the same value?
False
Let z be (-110)/(-760) + 2/(-19). Which is smaller: 0 or z?
0
Suppose 0*b + 5*b - 23 = o, 0 = -3*b - 4*o. Let q be (b/(-8))/((-2)/(-12)). Suppose 0 = -0*x - 2*x - a + 1, 4*x = 5*a - 33. Which is bigger: x or q?
x
Let g be 6*1/(-8)*-4. Are 4/3 and g equal?
False
Let v be (-2 - -5) + 424/(-141). Is 1 < v?
False
Let m be (-20)/12 + (-2)/(-3). Let s be -5*m/5*2. Suppose -c + 3 = -s*c. Are c and -3 unequal?
False
Let x = 5 - 6. Let j be -268*((-21)/(-18) + x). Let g = -45 - j. Which is smaller: -1 or g?
-1
Let z be (-2 - (-2 + 0)) + -3. Let m = z + 5. Suppose m = 2*v - v. Is 1 < v?
True
Let q be (-369)/33 - 6/(-33). Which is bigger: q or -9?
-9
Let y be 14 + 1 + 3 + 1. Suppose -4*x + y + 5 = -c, 4*x - 5*c = 8. Is 7 equal to x?
True
Let k = 14675/17 - 863. Do 1 and k have the same value?
False
Let h = 9 - 13. Let j be 0 + (52/(-3))/4. Which is smaller: j or h?
j
Let z(m) = 3*m. Let d be z(0). Let u be 14/(-21) - 10/(-33). Which is smaller: d or u?
u
Suppose 40 = -7*m + 2*m. Which is bigger: m or 2/9?
2/9
Let v(o) = -4*o**2 - 3*o. Let c be v(-2). Let p be 16/c + (-2)/5. Let x = 39/2 - 20. Is x not equal to p?
True
Suppose 1 = 4*t + 5, -4*x = -2*t - 6. Let s = 137/12 + -32/3. Is s less than x?
True
Let o be 9/6 + 29/(-14). Let h = -4 - -3. Is o greater than or equal to h?
True
Suppose 24 = 8*y - 4*y. Let b be (-9)/y - (-1)/1. Which is smaller: b or -0.4?
b
Let k = -1 + 2. Let m = -11 - k. Let u be (2/3)/((-8)/m). Does 1 = u?
True
Let y = -539/4 - -133. Suppose 2*l = -1 - 1. Which is smaller: l or y?
y
Let w = -49/85 + 3/17. Let s be (1/5)/(4/8). Are s and w nonequal?
True
Let x(m) = -m**2 + 5*m + 4. Let l be x(6). Let t be ((-4)/(-7))/(l/(-7)). Suppose t*i + 5*d = -14, 5*i + 4*d - 3 = -4. Is i < 4?
True
Let j = -5683/5 - -1142. Is 5 not equal to j?
True
Let r be ((-6)/9)/(4/6). Let o = 1 - r. Let t(j) = -j**2 - 5*j + 2. Let w be t(-5). Are o and w equal?
True
Let d = -28/11 + 313/110. Let y = -3.7 - -2.7. Is d greater than y?
True
Suppose 5*n = -81 + 6. Let l = n + 21. Let h be ((-4)/(-6))/((-2)/l). Is -1 greater than h?
True
Suppose -5*i + 2 = -8. Suppose -3*k = 3*b + i*k - 3, -2*b + k + 2 = 0. Is 5/3 > b?
True
Let z = 105.98 + -106. Which is smaller: -4 or z?
-4
Let c be 20/(-60) + (-2)/(-42). Which is smaller: -0.02 or c?
c
Let h = 14 + -13. Let d be 56/42*h/(-2). Are d and -3 equal?
False
Suppose 8 - 56 = -3*x. Let u = x + -12. Is 4 >= u?
True
Let u(c) = -c**2 + 5*c - 4. Let r be u(3). Let l be (-2)/(-2 + 4) + 5. Suppose 0 = s + 4*d + 1 - 2, -4*s = 2*d - l. Which is smaller: s or r?
s
Suppose -4*y = -y + 18. Let a be (2/y)/((-12)/(-9)). Let r be (-2)/4 + (-1)/(-2). Is a greater than or equal to r?
False
Suppose -3*g = -4*d + 8, -4*g = 11 + 5. Is d greater than or equal to -1?
True
Let a be ((-4)/30)/(16/48). Suppose -3*o + 3*h = 3, o + 5*h - 12 = -1. Is a at least as big as o?
False
Suppose -3*l + 5*l = 0. Which is greater: l or -2/29?
l
Let v = -10 - -7. Let g = -0.05 + 0.05. Which is bigger: g or v?
g
Let b(s) = -s**3 - 6*s**2 - s + 8. Let p be b(-5). Which is greater: -14 or p?
p
Let i = -0.2 - 0.8. Let s be (12/(-14))/(2*(-3)/42). Which is smaller: s or i?
i
Let b be 0 + 1 + 4/(-3). Let s be -6 - (-3)/((-12)/(-8)). Which is smaller: s or b?
s
Let u = 4 + -3.2. Let z = 1 - u. Which is greater: -3 or z?
z
Let u = -18 - -18. Is u < -0.02?
False
Let b = -1.08 - -0.08. Which is bigger: 0.1 or b?
0.1
Let u be 1/((-4)/(0 + -4)). Let v be (-6)/(-4)*u/(-3). Which is smaller: 1 or v?
v
Let a(k) = -4*k**2 - 9*k - 3. Let x(p) = -3*p**2 - 10*p - 2. Let t(l) = 