t j be ((-2)/19)/((-2)/(-12)). Let p = j + 91/114. Let f = -2 - -2. Is f at most p?
True
Let p be 8665/(-70) + (-2)/4. Let v = 124 + p. Let a = v + -4/35. Which is smaller: 0.1 or a?
a
Let t be ((-18)/(-5))/(8/60). Suppose -3*c + 21 = t. Let p = 0 + -1. Which is bigger: p or c?
p
Let h be (5/(-10))/((-2)/12). Suppose o - 1 = 0, 0*g = 4*g - 3*o + h. Let f be (-16)/(-20) - g/(-2). Does 1 = f?
False
Let g = -0.05 + 0.95. Let k = g + -0.4. Let y = k + -0.6. Is -0.2 at most as big as y?
True
Let z = 1 - 1. Let k = -4123/8 + 516. Is k at most as big as z?
False
Let j = -4.13 - -4.1. Which is smaller: j or 2/3?
j
Let t be ((-2)/(-6))/((-1)/(-2)). Let u = -39 - -41. Is u less than or equal to t?
False
Let n = 3 + -1. Suppose -3*y - n*q = -y + 2, -4*y = -5*q + 13. Which is smaller: -1 or y?
y
Let r = -37 + 25. Let o = r - -23/2. Let t be 6/(-9) + (-1)/3. Which is bigger: o or t?
o
Let k be 20/3 - 3/(-9). Let m(u) = u**3 - 8*u**2 + 6*u + 5. Let q be m(k). Let p be (-2)/42 + q/(-6). Is 0 less than p?
True
Let r(c) = 7*c + 1. Let o be r(-1). Let y = 4 + o. Let b(j) = -j**2 + 2*j - 3. Let g be b(2). Which is greater: g or y?
y
Suppose -5*g + g = 2*g. Which is greater: g or 3/25?
3/25
Suppose 0*s = 3*s - 15. Suppose 0 = -s*h + 2*q - 8, -5*h - 11 = q - 0*q. Let a be 1 + h + 11/9. Is a >= -0.3?
True
Suppose 5*m - 2*p + 40 = 3*p, 5*m + p = -52. Which is smaller: m or -6?
m
Let p be -7 + 21 - (-1 + 2). Which is greater: p or 11?
p
Suppose 0 = 5*c - 20 - 5. Suppose -4*v = c*m - 3 - 1, -3*m = -5*v + 5. Let y = 2 + m. Is -1/3 less than or equal to y?
True
Suppose 0 = 5*k - 4*h + 41 - 206, 0 = 3*h. Which is greater: 32 or k?
k
Suppose -s + 0*s + 3 = 4*k, -23 = 5*s + k. Let y = 10 + -15. Let n = s - y. Which is bigger: 2/23 or n?
2/23
Let r = -4 + 8. Suppose -2*h + 3*g = 2, h = -3*h + 3*g + 2. Are r and h equal?
False
Let o = -0.722 + 21.572. Let z = o - 21. Which is greater: z or 1?
1
Let i(s) = s**2 - 5*s + 1. Let m be i(6). Let y(w) = w**2 - 7*w - 4. Let l be y(m). Which is greater: l or -3?
-3
Suppose 0*x = -3*x + 12, t + 15 = 4*x. Suppose -3*j - b = 3*b + 4, -2*j + 3 = -3*b. Is t at most j?
False
Suppose 14 = 2*m - 2*n, -1 = -2*n - 7. Let c be 11/14 + (-2)/m. Do c and 1/2 have the same value?
False
Let t be 1/(-3)*1*-9. Is t at most as big as 1?
False
Let g = 1299/10 + -130. Let k(o) = o. Let a be k(1). Is a > g?
True
Suppose u = 2*y + 3*u, -2*y = 4*u + 2. Let b be 1 + 4*(-4)/14. Is b < y?
True
Suppose 1 = -4*i - 31. Suppose m - 20 = -4*m. Let u = m + i. Do u and -0.1 have the same value?
False
Let z(n) = -11*n - 44. Let j be z(-7). Which is smaller: j or 31?
31
Suppose -4*r = -3*c - 16 - 15, 4*c = -2*r - 12. Suppose 50 = -5*f + i - 6*i, -3*f = -3*i. Is f at most as big as c?
True
Let s(g) = -2*g**3 + 2*g**2 - 2*g + 4. Let i be s(3). Which is greater: -36 or i?
-36
Let m = 69 + -15. Which is greater: m or 53?
m
Let l = -25 - -18. Is l at most as big as -7?
True
Suppose 3*n = -2*k + 1104, 0 = -2*k + 3*k + 4*n - 547. Let r = k - 3873/7. Which is bigger: r or 3?
3
Let s = -1/143 - -1006/715. Suppose 3 = 3*i - 3*k + 15, i + 14 = 3*k. Is i > s?
False
Let s = 4 - 5. Let h(k) = k**3 + 9*k**2 - k - 8. Let u be h(-9). Is s at most u?
True
Suppose 2*u = -3 + 1. Is -1/9 at most u?
False
Let t be 2/(-8) - 57/12. Which is bigger: -14/3 or t?
-14/3
Let h = 226 - 165. Is 61 less than h?
False
Let m(z) = z. Let g be m(4). Suppose g = -n + 2*n. Does n = 5?
False
Let r = 3 + -4. Let v = 3 + r. Let f = 603/5 - 121. Is v < f?
False
Suppose 5*c = f - 13, -4*c = f + 2*f - 1. Let z be 1 + (0 - 1) + c. Let g(k) = -k**3 - 2*k**2 + k + 1. Let o be g(-2). Is z >= o?
False
Let m = -0.137 - -0.037. Which is smaller: m or -9/2?
-9/2
Let g(z) = -z + 2. Let u be g(0). Let b(y) = y**3 - 6*y**2 + 8*y + 3. Let k be b(4). Which is smaller: k or u?
u
Let a(m) = 0*m + 2 - 2*m + m. Let z be a(4). Let b be z/3*6/4. Is -2 > b?
False
Suppose -7*j + 16*j = 9. Let z be (-2)/(-6)*2/1. Is j less than or equal to z?
False
Let q be (-3)/4*(1 - 4). Is 2 >= q?
False
Let l be 2/6 - (-494)/39. Does l = 13?
True
Suppose -x + 2*x - 5 = 0. Suppose -4*o = x*v + 14, 7*o + 9 = -2*v + 2*o. Let f(y) = y**3 + y**2 - 1. Let l be f(-1). Are v and l nonequal?
True
Let f(u) = u + 2. Let j be f(-1). Which is smaller: j or -1/50?
-1/50
Let s be ((-6)/21)/((-3)/54). Which is greater: s or 5?
s
Suppose p - 2 - 4 = 0. Let b be (-33)/9 - (-4)/p. Let f = 3 + b. Which is bigger: f or 1/4?
1/4
Suppose -8*o + 6*o = -4. Suppose -2*h - 2*g + 12 = o*h, 5*h + 4*g - 15 = 0. Are 3 and h equal?
True
Suppose l - 3 = -c - 2*l, 0 = -5*c + l - 1. Let q = 7 - 5. Let h = q - 3. Which is smaller: c or h?
h
Let z be (2 + -2 + -2)/(-13). Is 0.1 < z?
True
Let x = -0.4 + 0.2. Let h = -7 + 7. Is h != x?
True
Suppose 0*g = -3*g + 4*u - 4, g - 5 = -5*u. Suppose 2*h + 2 = -g*h. Suppose -20*k - 4 = -16*k. Is k greater than h?
False
Let v = 20 - 12. Let k = -8.3 + v. Let p = k + -1.7. Which is smaller: 2 or p?
p
Suppose 21 = 2*d + d. Is 11 bigger than d?
True
Suppose -3 = 3*x - 12. Suppose 2*a + x*a = -3*z + 5, 4*z + 5 = 5*a. Is a bigger than 2/3?
True
Let p(l) = -2*l - 1. Let f be p(0). Is -3/8 not equal to f?
True
Let k(s) = -s**2 - 5*s - 4. Let t be k(-5). Let l be ((-5)/(-2))/(t/8). Suppose 2*f = 5*x + 15, -15 - 10 = 3*x + 2*f. Is x <= l?
True
Let r be 45/(-30)*(-16)/(-6). Is r < -5?
False
Let p(v) = -v**3 + 19*v**2 + 7*v + 7. Let s(t) = -t**3 + 18*t**2 + 6*t + 6. Let k(i) = 6*p(i) - 7*s(i). Let f be k(12). Which is smaller: f or 1/8?
f
Let w = 7 - 4. Let o = w + -1. Suppose 3*b + t + 2*t = -3, -o*t = 5*b + 2. Which is bigger: b or -2?
b
Let g = 4 - 4. Let t be ((-6)/(-10))/(3/(-2)). Is g at least as big as t?
True
Let w be 200/48*(-3)/(-10). Which is smaller: 1 or w?
1
Let n = 407 + -261. Let i be n/195 - (-12)/(-15). Is i > 0?
False
Let l = -307/45 + 62/9. Let w(y) = -y**2 + 8*y - 6. Let t be w(6). Suppose -m = -t*m. Which is greater: l or m?
l
Let q = 1959 - 158681/81. Which is smaller: q or 0?
q
Let p be -4*1 - (-45 + 6/(-1)). Is 48 equal to p?
False
Let r(p) = p**3 + 2*p**2 + 2*p + 1. Let m be r(-1). Let v(t) = -8 - 4 + m - t. Let u be v(-10). Are -0.1 and u equal?
False
Let s(v) = -v**3 + 4*v**2 + 2. Let z be s(4). Let g(m) = -m - 3. Let c be g(-10). Suppose c*d = 5*d + 2. Which is bigger: d or z?
z
Let y be (1 - -1)/(-1)*1. Let v be (y/4)/(9/6). Let x(h) = -h - 9. Let z be x(-8). Is z <= v?
True
Let i = 573 - 21203/37. Which is smaller: -1 or i?
-1
Let x be (26 - 5)/((-2)/(-4)). Let y be x/3 + -1 + -3. Let u be 2/y - 12/110. Is u not equal to -1/2?
True
Let y(q) = 4*q + 4. Let o be y(-2). Which is bigger: -3 or o?
-3
Let g = 2.8 - 4.7. Let n = -2 - g. Let m = n - -0.1. Are m and -1/2 equal?
False
Let k = 20 - 24. Which is smaller: k or 2?
k
Let k = -3 - -3.2. Let j = 0.2 - k. Which is smaller: j or 0.1?
j
Let y(s) = -s**3 - 10*s**2 - 10*s - 8. Suppose h = -0*h - 9. Let p be y(h). Which is smaller: p or -3?
-3
Let w = -7 - -7. Let n be w/(1*(3 - 1)). Let p = -83/5 + 16. Which is smaller: p or n?
p
Let k = -7 + 7. Is 0 > k?
False
Suppose 2*f - 6 = 6. Let w be (-2)/(f + -2 + 1). Which is bigger: w or -1?
w
Suppose 0 = 5*a - 25, 3*k - 72 = -0*k + 3*a. Suppose -f = c + 6, -k + 9 = 3*c + 4*f. Is -4 not equal to c?
False
Let q = -44.91 + 45. Which is smaller: q or -2?
-2
Let l(y) = -96*y + 10. Let d be l(4). Let z = d + 6356/17. Is z at least as big as 0?
False
Let m = -2 + 4. Let g = -0.5 - -0.6. Let x = -1.1 + g. Which is bigger: m or x?
m
Let f(s) = -s - 7. Let d be f(-5). Let t be (0 - -1)*0/d. Suppose 4*z + t*w + 2 = -3*w, -4*z = w - 2. Is z at most -1/8?
False
Let f = -101/6 - -33/2. Is f at most as big as -1?
False
Let l(y) = y**3 + 6*y**2 + 4*y - 6. Let s be l(-5). Let h(j) = -14*j + 1. Let g be h(s). Let a be 42/g - (0 - -2). Which is bigger: a or 0?
a
Let z be (-17)/15 + 2/(-12). Let o = z - -4/5. Let h = 2 - 3. Which is smaller: o or h?
h
Let c = -1/61 + -53/488. Let g(l) = l**2 + 6*l. Let t be g(-6). Do t and c have different values?
True
Let c be 58*(2/(-4) - -1). Let a = c - 17. Let h be (1/a)/(24/64). Which is smaller: h or 0?
0
Let u = -1 - -1.1. Let b = -0.1 + u. Let c = -0.1 + 0. Which is smaller: b or c?
c
Let b(h) = h**2 - 7*h - 10. Let s be b(9). Let y be 1/4 + s/(-32). Is -2 equal to y?
False
Let w(g) = g**3 - 2*g**2 - g - 5. L