
Suppose -u + 2*u + 0*u = 0. Is -2/13 less than or equal to u?
True
Suppose -l = 2 - 5. Let b be (-2)/l - 6/(-9). Is b greater than or equal to 0?
True
Let x = -16 + 24. Let t be -8*(0 - (-4)/(-8)). Let q = 11 - t. Which is smaller: q or x?
q
Suppose 2*i + 3 = 5*i. Suppose 4 = 2*n + 4*f, -4*n + 3 = 2*f + i. Which is greater: -1/12 or n?
n
Let t be (-4 - 7/(-2))*6. Which is smaller: t or 2?
t
Let y = 10 + -4. Let m = -6 + y. Is m != 0.1?
True
Let h(i) = i - 8. Let n be h(8). Suppose n = -j + 3*j + 4. Let v be (j - 204/(-105))*-5. Is 0.3 greater than v?
True
Let s = 9 + -22. Let v = s + 14. Is 1 at least v?
True
Suppose -5*l - 10 = 5*g, 0*g + 4*g + 8 = 4*l. Let x = -1.7 - -0.3. Let t = 1.4 + x. Do t and l have the same value?
True
Let w = -33/152 - -7577/34200. Let r = 8777/450 - w. Let n = r - 20. Which is smaller: n or -2?
-2
Let m = 6 - 11. Which is greater: m or -4?
-4
Let w = 0 + -1. Suppose -y + 2*y - 15 = 0. Which is smaller: w or y?
w
Let i = 7 + -14. Let z be (-4)/14 + (-2)/i. Let c = -209 - -210. Which is smaller: c or z?
z
Suppose 4*j = -9*j - 104. Do -10 and j have different values?
True
Let h be -3 + 5 - (-2 - -34). Let t = 2621/2 + -1283. Let f = h + t. Which is smaller: -3 or f?
-3
Let x be -4 + 0 - (7 - 250/20). Is x at least as big as 2?
False
Let f = -32 + 41. Which is bigger: 7 or f?
f
Let n(f) = -f + 2. Let g be n(6). Let a(l) = l**3 + 5*l**2 + 7*l + 9. Let d be a(g). Which is smaller: -4 or d?
-4
Let t be (1 + 1)/(-18)*-3. Let h = 4.9 + -0.9. Let u = h - 5. Which is smaller: t or u?
u
Let z be (30/(-9))/((-4)/6). Let y = -24 - -28. Which is smaller: z or y?
y
Let b = -46.42 + 44. Let c = 0.02 + b. Let p = 2 + c. Is p smaller than 0?
True
Let w(a) be the second derivative of -a**4/12 + a**3/3 - a**2/2 + 2*a. Let m be w(1). Let h = -21/2 + 11. Are m and h non-equal?
True
Suppose 3*o = -l - 4, 2 - 1 = -4*o + 3*l. Is o >= 3?
False
Let c(u) be the third derivative of u**6/120 - u**5/10 + 4*u**2. Let p be c(6). Which is smaller: p or 1?
p
Let s = -1.1 - 0. Let h = 136/15 + -26/3. Is h smaller than s?
False
Let x = 13 + -14. Let o(n) = n + 2. Let b be o(x). Suppose 0 = u + 4*h + 10, 4*u - 3*h - 11 = -2*h. Which is bigger: b or u?
u
Let u be 8776/140 + 4/(-14). Let v = -62 + u. Let b = 3 - 1. Is b greater than v?
True
Let r = -5 + 6. Suppose 2*u = 4*u + 6. Let j = r + u. Which is smaller: j or 2/11?
j
Let w = -0.9 - -1.6. Let h = -2.7 + w. Which is bigger: 2/7 or h?
2/7
Let v be 256/180 + 4/(-18). Which is greater: v or 0?
v
Let s(r) = r + 2 - 1 + r**2 + 0*r - 2*r. Let h be s(1). Are h and 1 equal?
True
Let p = 1.2 - 1.2. Which is smaller: p or -0.06?
-0.06
Let a(n) = -n**2 + 5*n - 6. Let h be a(3). Is 3/17 bigger than h?
True
Let t = -28 - -8. Which is smaller: -19 or t?
t
Let x be (2/((-4)/(-2)))/1. Let s be (1/24*-4)/((-1)/5). Which is smaller: x or s?
s
Let i = -5/61 - -223/488. Suppose -4 = -k - l, 3*l - 17 = 4*k + 2. Is i less than k?
False
Let n(l) = -19*l**2 + 2*l - 1. Let y be n(1). Let x = 7 + -25. Is x less than or equal to y?
True
Suppose 4*z - 13 = 3. Is 1 at most as big as z?
True
Let t = 6.7 + -7. Let x = 3 - 2.6. Let h = t + x. Is 2 less than or equal to h?
False
Let p = -5.5 + 3.4. Let d = 0.1 + p. Let o = 1.9 + d. Is o less than or equal to 0.1?
True
Let b = 0.3 - 0.2. Let q = b - 0.2. Let k = -0.3 + 1.3. Is k equal to q?
False
Let f be 22/(-33) + 1/(-3). Is -4 less than f?
True
Let g(w) = w**3 - 4*w**2 + w - 4. Let y be g(4). Let j = -153 - -151. Are y and j nonequal?
True
Suppose 0*c + 15 = -c - j, 3*j = 0. Suppose 4*m = -w - 2*w, -4*w = -m - 19. Let o be (m/(-13))/(c/(-10)). Which is smaller: -1 or o?
-1
Suppose -5*a + 0*a = -15. Let p = a + -8. Is -4 > p?
True
Let c(d) = d**3 - 9*d**2 - 2*d + 12. Let i be c(9). Let z be 1/(-3) + 4/i. Let p(m) = -2*m + 3. Let o be p(2). Do o and z have different values?
False
Let c = -85322 - -11347414/133. Let i = 1656/247 - 120/13. Let t = c - i. Is -2 smaller than t?
True
Let b = -3 + 5. Let i = -1.8 + b. Let u = -4 + 5. Which is smaller: i or u?
i
Let w = 8.13 + 0.07. Let s = w + -8. Which is smaller: s or -1?
-1
Suppose -2 = -5*b + 3*b. Let c = 2 + b. Are 4 and c nonequal?
True
Let h = 20.038 - 0.038. Let u = h - 16. Let o = -3 + 4. Which is smaller: u or o?
o
Let w = 41 + -25. Suppose 3*n = -t + 2*n - 6, 4*t = -2*n - w. Suppose -3*a + 6 = -0. Which is smaller: t or a?
t
Let s be 3*(-10)/33 - -1. Which is smaller: s or -1?
-1
Suppose 6*h - 48 = -0*h. Is h greater than 8?
False
Let x = 1.008 - 0.008. Is 5/16 > x?
False
Let d = -33 - -33. Is d at least 8/39?
False
Let u be (-1 - -1) + (-2)/(-9). Let l = -6 + 5. Let g be l*(-1 + 1 + 0). Is g smaller than u?
True
Suppose -8 = -4*n - 4*a, 9 - 4 = 3*n + 2*a. Let z be -2 + 0/n + 2. Are z and -3 nonequal?
True
Suppose -5*b + 34 = o, -4*b + 98 = -3*o + 5*o. Let h = 223/4 - o. Does -2 = h?
False
Suppose 0*m - 6 = 3*m. Let x be 0 - (m + 2 + 1). Let l be ((-2)/57)/(12/(-36)). Which is bigger: x or l?
l
Let m = 772/2653 - 2/379. Which is smaller: m or -1?
-1
Let c = 3/17 + -251/1615. Are c and -1 nonequal?
True
Let k = 6/79 - 296/1817. Is -1 < k?
True
Suppose 5*b = g + 7*b, -4*g - 5*b = 0. Does -1/68 = g?
False
Let k be (-2)/((-11)/7 + 2). Which is smaller: -6 or k?
-6
Let u(t) = t**3 - 4*t**2 + 2*t + 1. Let n be u(3). Let y = n + 3. Let l be 2/(y/1 - -1). Which is greater: l or -1?
l
Suppose 0 = r - 5*r. Is r <= 3/7?
True
Let t = -10 - -11. Let d(i) = -i**3 - 2*i**2 + i + 1. Let g be d(-2). Is g bigger than t?
False
Let n = 10 + -6. Let q(h) = 3*h - 15. Let c be q(6). Do n and c have different values?
True
Let i be (-2)/2 - ((-126)/12 + 7). Suppose -u + 2*u - 4 = 0. Is i not equal to u?
True
Let b be ((-2)/(-15))/(169/(-39)). Which is smaller: 1 or b?
b
Suppose -3*o + o - 2*j - 46 = 0, -2*o - j = 45. Is -2/11 < o?
False
Suppose 0 = -5*d + 30 + 20. Is 10 equal to d?
True
Suppose 0 = 3*c, -m - 6*c = -3*c. Suppose 6 = -3*v - 18. Let d = v - -8. Is m at least as big as d?
True
Let r = 9 - 7. Which is bigger: -2 or r?
r
Let b = 14 - 14. Is b at most -2/107?
False
Let h = 1.9 + -4.5. Which is greater: h or 0?
0
Let g = 8 - 6. Let i = -7174/157 + 4836493/104405. Let s = i + -4/133. Is s < g?
True
Let v = -743/2 - -362. Is -10 < v?
True
Let u = 33129/47 - 705. Let k = -146/329 + u. Which is smaller: k or 0?
k
Let j be ((-14)/4 - -4)*0. Are j and 2/7 non-equal?
True
Let b = -3 - 0. Suppose 12 = 3*f + 3*p, 3*p = f - p + 6. Suppose -f = 5*s - 4*s. Which is bigger: b or s?
s
Let z(l) = -l - 6. Suppose -3 - 12 = 5*k, 11 = -5*g + 3*k. Let j be z(g). Let h(n) = -n - 1. Let f be h(-1). Do f and j have different values?
True
Suppose -x = x + 10. Let k be 8*1*(-5)/x. Suppose 0 = 4*b - k*b - 20. Is -5 less than b?
False
Suppose -3*h = -0 - 30. Suppose -14*y + 150 = y. Is y equal to h?
True
Let p = -24 - -20. Is p at most as big as -8?
False
Suppose -5*p - 10 = 0, 0 = s - 9*p + 4*p - 16. Suppose 3*t = 3*n - 6, -4*t + s*t - n + 8 = 0. Let j = t - 0. Is -5 at least j?
True
Let j be 13/10 + 1/(-2). Let k be 32/10*(-35)/(-14). Suppose -5*w + w = -k. Is w equal to j?
False
Suppose 2*x + 17 = 5*d, -5*d - 1 = -x - 17. Suppose 2*p = 2*n - d - 3, 0 = 5*p - 10. Suppose -n*f = -1 - 4. Which is smaller: 1/3 or f?
1/3
Let a = -6.2 - 1. Let m = a - -7. Let t = -0.2 + 1.2. Is m != t?
True
Let s(z) = -2*z**2 - 12*z - 1. Let g be s(-6). Which is smaller: g or -6/17?
g
Let j be ((-3)/(-18))/((-3)/30). Let f(w) = w + 2. Let i be f(-3). Which is greater: i or j?
i
Let x = 117/112 + 13/16. Which is bigger: 1 or x?
x
Suppose -u + 2*u = -2*w + 3, -1 = 3*u + w. Let p(a) = -2*a**3 + a**2 + a + 1. Let v be p(u). Which is smaller: -1 or v?
-1
Let p = 5 + -5.1. Let g = 1.9 + -2. Let q = p + g. Which is smaller: q or -2?
-2
Let d(c) = -2*c. Let h be d(-4). Let u(z) = z**3 - 2*z**2. Let s be u(3). Is s <= h?
False
Suppose a = 7 - 3. Suppose 0 = -4*l + w - 4, -3*l - w + a = -0*w. Is 0 greater than l?
False
Suppose -q + 4*g + 8 = -0*q, 4*q + 3*g = -6. Is q >= -1?
True
Let c = -17/6 - -7/3. Is 0 smaller than c?
False
Let a(i) = -i. Suppose -2*d + 18 = -3*s + 2*d, -4*s = -4*d + 24. Let k be a(s). Let x be 3/(-2 - (-57)/k). Is -1 greater than x?
False
Let q = -1.2 - -0.2. Let c = 25 + -28. Which is bigger: c or q?
q
Let p = 0 - 2. Let c be 8/(-3)*9/44. Which is smaller: p or c?
p
Supp