l to w?
False
Let t = 5 - -1. Let c be 4 - (-5)/(20/(-16)). Is c greater than t?
False
Let m be (-1)/(-3) + 52/(-12). Suppose 0 = -0*b - 2*b + 2. Let q = b + -6. Which is smaller: m or q?
q
Let z(j) = -j**3 + 3*j**2 + 2*j + 4. Let n be z(5). Let o be n/(-27)*(-71)/2. Let p = -47 - o. Are 1 and p equal?
False
Suppose l - 24 = -5*y - 3, -y - 7 = 3*l. Let z(h) = -h - 1. Let o(a) = 4*a - 4. Let i(q) = o(q) + 3*z(q). Let r be i(y). Are -2 and r non-equal?
False
Suppose -1 - 1 = -d - x, 4*d = -3*x + 10. Let a be (24/d)/(0 + 2). Is -1 at most as big as a?
True
Let w = -37 + 223/6. Suppose -5*l - 28 = -3*y, -l = 4*y - 9*y + 10. Is y at most w?
False
Let c = -0.03 + -5.97. Let a = c + 8. Do a and -1 have the same value?
False
Let b = -16 - -15. Which is smaller: b or 1/20?
b
Let t be 30/5 + -5*1. Let r be 0*-2*1/(-2). Suppose -2*h + 7 = -i - 6, -3*h + 3*i + 27 = r. Which is bigger: h or t?
h
Suppose 0 = 5*h - 2*h - 6. Suppose 0*p - 2*c + 4 = -h*p, -4*p + 2*c - 6 = 0. Which is smaller: p or -1/2?
p
Let h = 175 - 40. Let v be (-36)/h*10/(-4). Suppose 3*j = 6*j - 6. Which is smaller: v or j?
v
Let j = 139 - 135.76. Let i = 0.24 - j. Is i less than -3/4?
True
Let r = -2/25 - -39/175. Let o = 0 - 0. Is o smaller than r?
True
Let o = 0.6 - 0.5. Let n = 1.1 - o. Let f = 0.7 - n. Is f at least as big as -1?
True
Let l be 3/6*(-2)/195. Let g = 4759023 + -17632180586/3705. Let x = l + g. Is 1 at most x?
False
Let y be (-24)/(-6) - (-26 - -1). Is 29 bigger than y?
False
Suppose 0 = 5*d + 5*r + 185, -2*r = 2*r + 16. Do d and -34 have the same value?
False
Suppose 2*o + 2*p - 12 = 0, 0 = -2*p - 2*p. Suppose -3*y + 3*q + o = -q, 2*q + 4 = 2*y. Suppose y*a + 5 - 3 = 0. Is a >= 1?
False
Let a = 5 + 1. Let s = -4.9 + -0.1. Let x = a + s. Which is smaller: -2/7 or x?
-2/7
Let j = 2 - 2. Suppose j = v + 2*v - 12. Suppose z + 2*t = 3*t, -4*z = v*t + 8. Which is bigger: z or -1/6?
-1/6
Let p = 44 + -43. Which is greater: p or 1/15?
p
Let r = 14 + -8. Let u be ((-4)/12)/(2/r). Which is bigger: 1/4 or u?
1/4
Let s = -18 + 21. Which is bigger: 1 or s?
s
Let b(r) = 4 + 1 - r + 4*r**2 - r**3 - 1. Let w(v) = -4*v. Let d be w(-1). Let l be b(d). Is l greater than 2?
False
Let u = -5 + 16. Let q = u - 16. Let l = 5 + q. Which is smaller: -1 or l?
-1
Let u be (1386/5)/((-26)/90). Let d = u - -960. Which is smaller: 0 or d?
0
Let d(s) = -34*s. Let m be d(5). Suppose 4*j - 33 = 4*t + 3*j, -2*j - 38 = 5*t. Let p be t/m*(-5)/(-2). Which is smaller: p or 0?
0
Let m be 2/7 + 146/(-70). Let l = m + 13/5. Which is greater: -2 or l?
l
Suppose 0 = c - 3 - 9. Let b be 3 + c/(-1*4). Does -8 = b?
False
Let b(s) = 3*s**3 - 6*s**2 - s. Let l be b(2). Is -3 at most l?
True
Let d = 111 + -112. Which is bigger: d or -3/17?
-3/17
Let x(p) = -p - 1. Let s be x(0). Let c(a) = -2*a + 1. Let i be c(s). Suppose 0 = -4*y + 10 + 2. Is y smaller than i?
False
Let t(u) = -u - 3. Let z be t(-6). Suppose -3*g = -2*a + 7, -4*g + 1 + z = 4*a. Which is smaller: a or 5?
a
Let l = 2139/55 + -408/11. Is 1 >= l?
False
Let d(q) = -q**2 + q. Let x be d(1). Suppose x*j - j - 8 = 0. Let l = 6 + j. Which is smaller: l or -1?
l
Let x(g) = 0 + 0*g - 16*g - g**2 + 3*g + 1. Let v be x(-13). Is 6/5 less than v?
False
Let d = -26/5 - -28/5. Let l(c) = -4*c + 1. Let p be l(-1). Is d <= p?
True
Let a = -1 + 1.1. Which is bigger: a or 0.49?
0.49
Suppose -5*b + 7 = -z + 2*z, 3*z = 4*b + 21. Let k = z - 6. Is -1/5 less than k?
True
Let q = 26 - 36. Let y = q + 9. Is -4/9 < y?
False
Let w(h) = -4*h + 3. Let t be w(1). Do t and -9/8 have different values?
True
Let g(p) = 2*p**2 - 3*p - 8. Let b be g(4). Is b less than 12?
False
Let g(x) = -x**2 + 9*x - 9. Suppose 0*a + 2*a - 14 = 0. Let r be g(a). Suppose -18 = r*m + 7. Which is smaller: m or -4?
m
Let s = 0 - -0.1. Let x = -67 - -180. Let c = -455/4 + x. Is c greater than s?
False
Let c be (-1)/((-2)/((-72)/(-3))). Suppose -2*s = -4*t + c, -4*s + t - 6 = -t. Let p = 37/51 + -1/17. Which is smaller: p or s?
s
Let t = 0.093 - -0.007. Which is greater: -2/29 or t?
t
Suppose w = -j - 2*w - 151, -2*j = 2*w + 306. Let a = j + 773/5. Let b be (-2)/3 - (-1 + 0). Is a at least b?
True
Suppose -30 = 3*l - 3*b, 3*b = -3*l - 5 - 1. Let x = l - -10. Is x >= 3?
True
Let m be 1 - 1 - 16/(-4). Are m and 4 unequal?
False
Let i = 33 + -33.07. Which is bigger: -0.1 or i?
i
Let y = -0.3 - -5. Which is bigger: y or 0?
y
Let u be 2/(-24) + (-3)/(-9). Let s = 0 + 0. Let h = -1 + s. Which is smaller: h or u?
h
Let r be (-4 + (-65)/(-15))/(-1). Which is smaller: 5 or r?
r
Let j(d) = -d**3 + 2*d**2 + 2*d + 1. Let t be j(3). Which is smaller: t or -5?
-5
Let z = 27003/14 + -1928. Let f = 1/2 - z. Which is bigger: f or -0.2?
-0.2
Suppose x - 5*j = 9, -15 = -5*x - j - 4*j. Let o be (-2)/7*x/(-8). Is o less than 0?
False
Let l be 80/200 - (1 - 4/(-10)). Which is smaller: l or -31/3?
-31/3
Let n = 1 - -3. Let t = 9 - n. Is 6 < t?
False
Let i = 79.61 + 0.39. Is -1 at least i?
False
Let y = 26/3 - 199/24. Is 0 bigger than y?
False
Let p = -12 + 12.1. Let t = -0.36 + 0.06. Which is bigger: t or p?
p
Let c be ((-4)/(-6))/((-2)/(-9)). Suppose c*s - 8 - 1 = 0. Let p(a) = -a**3 - 3*a**2 - 2*a - 4. Let k be p(-3). Which is bigger: k or s?
s
Let y = -1/32195 - 66386079/354145. Let x = y + 14787/55. Let m = x + -81. Which is smaller: 1/8 or m?
1/8
Let l be 4 + 0 + 78/(-21). Which is greater: l or -3/7?
l
Let n be (3 + 10/(-4))*40. Suppose 5*s = -n - 5. Is -1 greater than or equal to s?
True
Let c(u) = -u + 3. Suppose 2*d - 21 = 9. Suppose -r = -4*q + d, 0 = 2*r - 3*r - 2*q + 15. Let f be c(r). Is f bigger than 2/7?
False
Let a(c) = c**3 + 3*c**2 - 2. Let l be a(-3). Let q = -8.88 - 0.12. Let j = q + 11. Is j <= l?
False
Let m = 7 - 5. Suppose 10 = -3*b + 1. Let g = b + m. Which is smaller: 3 or g?
g
Let j = 0.2 - 0.2. Is j greater than or equal to -2/15?
True
Suppose -y - 16 = -0*y. Let t be 2/7 + y/(-42). Is 2 less than t?
False
Suppose 0 = -3*t - 4 + 16. Suppose -y = -5*y + t. Let q be -1*(y - 1) + 3. Is q less than or equal to 2?
False
Let j = -55/24 - -5/8. Do j and -3 have the same value?
False
Let v = -7 + 8. Suppose k = -v + 2. Is 3/7 equal to k?
False
Let g = -1/88266 + 73349053/617862. Let t = g - 119. Is t less than 0.3?
True
Let s be (-4)/(-20) - 436/80. Which is bigger: s or -5?
-5
Let i = -291/7 + 2801/63. Let m = 173 - 3139/18. Let u = m + i. Is 2 smaller than u?
False
Let d be (-2)/(0 + 5 + -3). Suppose -r = 2*r + 3. Let t = d + r. Which is greater: t or -3?
t
Suppose 4*s + 1 = 5*s. Is 20/11 >= s?
True
Let m(o) be the third derivative of o**6/120 + o**5/15 - 5*o**3/6 + 2*o**2. Let t be m(-4). Is -6 bigger than t?
False
Let k = -1.2 + 1. Let n = -1.2 - k. Let w = 28 + -30. Which is smaller: w or n?
w
Let h = 8 - 9. Let i be (h*1)/(3/9). Is 0 != i?
True
Suppose 1 = 4*u + 5. Is -19/3 greater than or equal to u?
False
Let d = -0.06 - -1.06. Which is bigger: d or -0.8?
d
Suppose 0*l + 4 = l. Suppose 0 = -l*k + 3*k + 3. Suppose 4*u + 3*j = -0*j + 5, 2*j = u - 4. Which is smaller: k or u?
u
Suppose 2*q = 6*q. Suppose q = l + l. Which is greater: l or 1/3?
1/3
Suppose o - 43 = -4*v, 3*o + v = 2 + 160. Let f be ((-1)/(-2))/((-12)/(-1304)). Let l = o - f. Which is bigger: 0 or l?
l
Let x be 68/28 + -3 + (-15)/(-14). Let k = 3 - 2.99. Which is bigger: k or x?
x
Let f(d) = d + 1. Let m be f(-2). Let v be 1 + m + 1 + -1. Let r = 4 + -3.8. Is r >= v?
True
Let h(n) = 113*n**2 - 6*n + 5. Let j be h(-5). Let b = j - 414698/145. Let u = -268/1595 - b. Is -1 >= u?
False
Let b(j) = j**2 + j + 3. Let z be b(-3). Which is bigger: z or 11?
11
Let n = 24 - 22. Is -1/2 equal to n?
False
Let y = -3346/5 - -130564/195. Let a = -4/13 - y. Is a at most -1?
False
Let w = 9 + -4. Suppose w*m - 105 = 10*m. Let j be 15/m*(-4)/(-10). Which is smaller: 4/5 or j?
j
Let l be (-2)/(-6) + 7/(-3). Let a be (l/(-10))/((-15)/25). Suppose 5*f - f = 0. Is f smaller than a?
False
Let j be (-6)/10 - (-603)/(-45). Let k be (-3)/j*(-24)/12. Is -1 less than or equal to k?
True
Let q be 4/10 - (-152)/(-5). Let f be 4/10 - 108/q. Let s be -2*(1 + (-10)/f). Are 3 and s unequal?
False
Suppose 3*o - n = 2*o, 5*o + 5*n = 0. Suppose o = -q - 4*q + 5. Is -1 > q?
False
Let y = -12 - -9. Let r = y - -6. Which is greater: 2/3 or r?
r
Let s be ((-2)/(-7))/(8/(-56))