t - 2*v + o*v + 20, -5*v = 2*t + 25. Is t smaller than -1?
False
Let k be 1*(0 - 10/2). Let x be 1 - k*1/(-7). Let y = 27.1 + -27. Which is smaller: x or y?
y
Let r = 4 + -6. Let c be -1 + 1 - (3 + r). Is -1 greater than or equal to c?
True
Let m = 51 - 203/4. Which is bigger: m or -2/7?
m
Let f = -10 - -10. Let m = -3 + f. Which is smaller: 2 or m?
m
Let x = 2212 + -325166/147. Which is bigger: -1 or x?
x
Let q = 1 - 3. Let a be (q/3)/(4/(-6)). Let b be (-2)/(-6) - (-1 + a). Do b and -1 have the same value?
False
Let h(z) = z**3 + 6*z**2 - 7*z - 1. Let u be h(-7). Is u at most 1/10?
True
Let d be (-12)/18*6/(-4). Which is smaller: d or 5/6?
5/6
Let z(m) = -m**2 - 5*m - 4. Let x be z(-3). Let i be x/(-10) + (-95)/25. Are i and -6 non-equal?
True
Let t = 0 + -2. Is t not equal to -4?
True
Let l be 1/(-9)*11 - -1. Suppose 0 = -0*w + 3*w + 42. Let o be (-4)/21*21/w. Which is smaller: l or o?
l
Suppose 0 = -2*y - 5*o + 9 + 33, 4*o = 5*y - 39. Is 11 less than y?
False
Suppose -2*t + 10 = 4*s, -2*t + 11 = 4*s + t. Suppose n = -s*n. Let x be (-1)/(-1) + 0 - n. Which is bigger: -1/5 or x?
x
Suppose q + 2 = 2*b, -2*b + 0*b = 2*q - 26. Which is greater: 10 or q?
10
Let p = -12 + 6. Let j be (-2)/10*p*-2. Let z = 98/45 + j. Does 1 = z?
False
Let y = 16.1 + -15. Let c = y + -0.1. Let o = -6 + 4. Which is greater: c or o?
c
Let u be 1 + 99/(-5) + 1/(-5). Are u and -20 non-equal?
True
Let u be 6/(3 + (-13)/5). Which is bigger: u or 16?
16
Let h be ((-575)/(-20) - 1) + 6/(-8). Which is bigger: h or 1?
h
Suppose 4*a + 14 = 2*r, -3*r - a + 0*a = 0. Let v be 7 - (-4 - 114/(-10)). Which is greater: v or r?
r
Let r = 2 + 1. Suppose -2*p = p - r. Let o = p - 0. Is 1 <= o?
True
Let x = 487 - 3401/7. Is 2 at most x?
False
Suppose -2*n + 2 = -0*n + b, -3*n - 4*b + 3 = 0. Let p be ((-7)/(-70))/(4/10). Which is smaller: n or p?
p
Let o be (-2)/3*(-3)/7. Is o bigger than -1?
True
Let a = 0.5 - 0.8. Let h = -4.1 + 4. Let x = a - h. Is x bigger than -0.2?
False
Let p = 0.01 - -4.99. Let w = p - -4. Let a = -2 + w. Which is smaller: a or 1?
1
Let y(a) = -a**2 - 2*a - 1. Suppose 5*z - 2 = -12. Let b be y(z). Is 1/6 at most b?
False
Let h = -1.5 - -1.4. Is -2 at most h?
True
Let a be (-54)/(-27) - 3/((-6)/4). Which is smaller: 3 or a?
3
Suppose -3*i + 0 + 8 = w, 5*i - 16 = w. Which is smaller: w or -4/37?
w
Let s be (-2)/10 - 84/(-140). Is s <= 8/3?
True
Let m be 436/8 + 1/(-2). Let f be -3 - (-1)/(22/m). Is f greater than 0?
False
Let i = 7 + -7. Let c = 1/90 - 37/90. Do c and i have different values?
True
Let i(s) = -s**3 - 7*s**2 + 8*s - 3. Suppose -3*l - 1 - 20 = 3*z, 0 = 5*z + 2*l + 38. Let x be i(z). Let k be ((-6)/(-14))/((-4)/14). Which is smaller: k or x?
x
Suppose 0 = 4*k + 10 - 6. Is k greater than -1?
False
Let s be (-254)/(-20) + 4/(-20). Which is smaller: 14 or s?
s
Let g = -41 - -45. Let j be (-2 - -1) + -25*5. Let s be g/(-14) - 64/j. Is s smaller than 1?
True
Let a = 17 + -15.7. Let n = 0.3 - a. Let t = 3 + -4. Is n less than t?
False
Suppose -4*x = 1 - 5. Let q be 6/2 + (-6)/(-3). Suppose j = q*j - 4. Is j != x?
False
Let n(m) = -m**2 - m + 7. Let z be n(0). Suppose z = y + 2. Is 5 not equal to y?
False
Let p(h) = -h**3 + 6*h**2 - 3*h - 6. Let z be p(5). Suppose z*l + 3 = l. Which is greater: l or -3?
l
Let c be 3/6 - (-10)/(-4). Let x be 0 + c + 240/125. Which is greater: 0 or x?
0
Suppose 5*m - 5*c + 30 = 0, 0*c = m + 4*c - 19. Which is smaller: m or -2?
-2
Let j = -2/65 + 136/195. Let u(f) be the first derivative of f**2/2 + 2*f + 3. Let q be u(-3). Do q and j have the same value?
False
Let s = -109 + 110. Let z = -2.9 + 3. Let r = 0.3 - z. Is r at most s?
True
Let j(y) = -y**2 + 4. Let x be j(0). Suppose r - 3*k - k = -22, x*k - 16 = 0. Is -1 bigger than r?
True
Let r = 22933/42 + -1093/2. Are 0 and r non-equal?
True
Suppose y - 48 - 1 = 0. Suppose -10 = 5*b - 5*k, -4*b + 5 = 5*k + y. Let v be (-1)/6 - 3/b. Which is greater: 0.2 or v?
v
Suppose i + 27 - 3 = 0. Let f be (i/20)/((-6)/20). Let u be 5 + -3 - (-2 + f). Is 0.1 at least u?
True
Let i = -5 + 3. Let g be 36 + -2 + i + 3. Suppose -5*d + g = -5*j, 5*j + 10 + 10 = 0. Which is smaller: 4 or d?
d
Let t = 4.4 - 4. Let v = 0.1 + t. Let u = 0.6 - v. Does 0 = u?
False
Let l be (-6)/(-4)*12/(-2). Let t = -13 - l. Let r = t - -7. Which is smaller: 2 or r?
2
Let a = 0.1 + 0.1. Let c = 9.2 - 8. Let b = c - a. Is 2/7 <= b?
True
Let r = -5 + 0. Is r not equal to -1?
True
Let h = -288 + 5466/19. Which is greater: h or -1?
h
Let b(l) = -l**2 - 5*l + 2. Let h be b(-5). Suppose -6 = u - h*u. Let r be u/(-8) + -2 + 3. Which is smaller: r or -1?
-1
Let a(w) = -w**3 + 4*w**2 + 8*w - 6. Let f be a(5). Let c = f + -4. Suppose -q - 3*q = 16, -c*u - 13 = 2*q. Is u < -1?
False
Let h(j) = -4*j - 6. Let t be h(-7). Let o be t/28 - 2/4. Which is bigger: 1 or o?
1
Suppose j = -2*f + 5, -4*j + 10 = f - 3. Let r be -1 - -5*f/3. Which is greater: r or 2?
2
Let a(m) = -m + 9. Let j be a(9). Suppose -5*r = 2*p - j*r - 23, 3*r = -4*p + 11. Are p and -2 equal?
False
Suppose 4*u + 3*h = -25, 5 = -5*u + 5*h - 0. Let m be u*(15/(-6) + 2). Which is smaller: m or 1/2?
1/2
Suppose -12 = -2*i + 4. Let m = i + 4. Let x = 7 - m. Which is smaller: x or -4?
x
Let f = 0 + -1/2. Let x = -1 - f. Suppose 0 = 4*n - 9*n - 10. Is n smaller than x?
True
Suppose c + 2*r - r = 9, -3*r - 9 = 0. Suppose -4*t = -t + c. Which is smaller: -5 or t?
-5
Suppose 0*l - l + 2 = 2*c, -l = -c + 4. Let z be (-1 - c)*(-24)/9. Which is smaller: 9 or z?
z
Suppose -6*o + o = 0. Let h(b) = -4*b**2 + 2*b - 1. Let i be h(1). Which is smaller: o or i?
i
Let k = -6 - -3. Let f(w) = w - 7. Let y be f(5). Let h be 82/(-36) + y/9. Is k < h?
True
Let p be (-2 + 0)/((-7)/126). Which is smaller: p or 37?
p
Suppose d + 1 - 2 = 0, -3*d - 192 = 5*c. Let q be (-2923)/(-13) + (-6)/c. Let i be 2/(-11) - q/396. Is -0.2 at most as big as i?
False
Suppose -4*l - 8 = -5*l. Is l at most as big as 8?
True
Suppose 0 = -5*d - 149 - 26. Let v = d + 14. Is -21 greater than or equal to v?
True
Let d = -0.1 + 0.2. Let k = d + -0.1. Let t = -89 + 625/7. Is t < k?
False
Let m(h) = h + 8. Let l be m(-6). Suppose -4*y - 8 = 4*p, p + l*p - 14 = y. Let t be (3/30)/(2/y). Which is smaller: 1 or t?
t
Suppose 3*v = -3*f + 6, -4*f + 4 = v - 1. Which is greater: 2/81 or v?
v
Let y be ((-10)/(-3))/((-1)/3). Let a be 2*(-5)/(y/(-7)). Is a < -7?
False
Suppose -4 = 5*d + 6. Let c be -2 - d/14*17. Which is greater: c or 0?
c
Let a be (-110)/33 - 2/3. Which is bigger: a or 2?
2
Let s = 0.5 + -6.5. Let x = 5.9 + s. Let z = 0.5 - 2.5. Is z greater than x?
False
Suppose -5*x = -5*a - 2*x + 36, -2*a + 9 = -3*x. Suppose 0 = -3*v + 6 + a. Let u(w) = -w**3 + 4*w**2 + 6*w - 5. Let i be u(v). Is -1/6 at most i?
True
Let n be 4 - 112/23 - -1. Is 0 at least as big as n?
False
Let l be 0 + (-3)/((-9)/2). Let o(v) = -4 + 6*v - 1 - 5*v. Let g be o(5). Which is greater: l or g?
l
Suppose 5*z - o - 9 = 0, -o + 2 = o. Let q(l) = 2*l**2 - 2. Let g be q(z). Is g != 6?
False
Suppose -2*o + 12 = 4*k, 8 + 0 = -4*o. Suppose -3 - 1 = k*n. Let a = -0.3 - -0.2. Which is smaller: n or a?
n
Let m be -7*(24/28 + 0). Let b = -2 - m. Is b > 16/3?
False
Let d(r) = r**3 + 5*r**2 - 5*r - 8. Let a be d(-6). Let k = a + 10. Let y be -8*(-2)/(0 + -4). Is y <= k?
True
Suppose 430 - 234 = -4*g. Is g at least -0.1?
False
Let z = -56 + 225/4. Let m = -1 - -1.03. Let o = m - 0.33. Is z bigger than o?
True
Let n be (10/22 + 0)*3. Let d = n - 49/44. Is 1.1 less than d?
False
Let m = -8399/4 + 2123. Let x = m + -23. Let f = 4781/34 + -281/2. Is f < x?
True
Let x(c) = -3*c**2 - 13*c - 6. Let d be x(-7). Is d at least as big as -62?
True
Suppose -3*d = 3*l - 30, 0 = 5*d + l - 5*l - 32. Let k(q) = q - 9. Let a be k(d). Is a at most -2/5?
True
Let o(u) = 11*u + 1. Let b be o(-1). Is b != -10?
False
Let j = 16 - 11. Which is smaller: 1 or j?
1
Let n be (((-4)/(-18))/(-2))/(-1 - -6). Which is greater: 1 or n?
1
Let n = -244/635 + -2/127. Let s = 7 - 4. Suppose a + 2*l = -1, -1 = 2*a - a + s*l. Are n and a equal?
False
Let f be (-46)/(-10) + 4/10. Let m = 6 - f. Is m at least as big as -1/13?
True
Suppose 3*z - 2*r - 11 = 0, 4*z + 0*z + r - 11 = 0. Let l = -3 + z. Let y = -3.02 + 0.02. Is l bigger than y?
True
Let p = -0.93 + 0.94. Is -0.4 at least p?
False
Supp