 4*i + 70 = 0, 5*r + 70 = -i. Do r and -13 have the same value?
False
Let n = 1/518 + 1021/7770. Which is greater: 0 or n?
n
Let o(y) = -4*y**3 - y. Let f be o(-1). Let j be 6*f/((-30)/(-4)). Suppose l + 3*w = 8, l = j*w - 3*w - 4. Is l less than -1?
False
Let z = 6 - 6. Let s = z - 0. Let l = s + -0.1. Which is bigger: -1/4 or l?
l
Suppose 5*f = 2 + 3. Let m(g) = 5*g**2 - g**3 + g**2 + 0 - 6 - 3*g. Let j be m(5). Which is smaller: f or j?
f
Let l = -7 + -5. Let z be ((-3)/10)/(6/l). Is 1 >= z?
True
Suppose -8*z + 12*z - 5*s = 111, -39 = -2*z - 3*s. Is z smaller than 23?
False
Let r be (-10653)/66 - 1/(-2). Let m = -161 - r. Let a = -1 - -2. Which is smaller: a or m?
m
Suppose -4*f + 2*r = -34, -12*f + 11 = -11*f - r. Does f = 6?
True
Let d be ((-4)/(-7))/((-30)/35). Is -2/7 bigger than d?
True
Let t = 37.894 + 0.106. Is 0 <= t?
True
Let b = 8 - 4. Suppose -b*d = 3*a + 17, 3*d + 0*d = 4*a + 6. Let z be (-4)/10 - (-4)/(-15). Is z at least d?
True
Let i = 25/18 - 2141/1548. Let s = i - -337/1204. Does s = -1?
False
Suppose 18 = 4*s - 2. Suppose 0 = -s*o + o - h - 8, -4*o - 4*h - 20 = 0. Let f = 0 + o. Which is smaller: 1 or f?
f
Suppose -s = s - 26. Let t be (1/s)/((-1)/4). Is 0 at least t?
True
Let q = 1 + 8. Let l be ((-3)/q)/(2/6). Let f be (4 + -3)/(2*l). Is f at least 4?
False
Suppose 2*i + 0*p = -4*p + 22, i + p - 7 = 0. Suppose -i*c = -c. Let t be (-2 + 3 + c)*-2. Is -2 >= t?
True
Let t be 5/(-10)*(-6)/4. Suppose 2*j + 2 = 6, 2*p + 5*j = 14. Is p smaller than t?
False
Let s be ((-45)/20)/(3/(-8)). Suppose -4*a + 4 = 0, -a + 3 = 4*i + s. Which is bigger: 1/7 or i?
1/7
Let z = 6.1 - 7.6. Which is smaller: 0 or z?
z
Let v be (10/5)/(4/14). Suppose v*k - 2*k = -5. Which is greater: -2/25 or k?
-2/25
Suppose 4*s = 3*y - 39, -y + s - 6 = -18. Let z = y + -5. Let o = z - 4. Which is greater: o or -2/11?
o
Let f = 4.96 - -0.04. Is f < 1?
False
Let j = -76 - -230/3. Is -2/25 < j?
True
Let y be 10/4*4/20. Suppose -m = -w + 13, 4*w - m = 2*m + 49. Let l = 12 - w. Is y at most as big as l?
True
Let q = -129/77 + 8/77. Are q and -1 unequal?
True
Let i = -2 + 1. Let h = 32 - 27. Let g = h - 5. Is g smaller than i?
False
Let b = 18 + -4. Let q = 3 - 1. Let g be ((-36)/b + 2)/q. Is 0.3 less than or equal to g?
False
Let p be 60/24*24/130. Let j(s) = s**3 + 3*s**2 - 3*s + 5. Let y be j(-4). Which is smaller: p or y?
p
Let m = 85 + -423/5. Is m >= -1?
True
Let x = -2/10405 - 19828/5108855. Let b = x + -1457/3928. Which is smaller: -1 or b?
-1
Suppose 5 = 3*w + 2*w. Suppose -h - 3*u + 2 = -1, h + u = 3. Which is bigger: w or h?
h
Let a(u) = -u**3 - 4*u**2 + 6*u + 1. Let l be a(-5). Suppose 4*x - 12 + 28 = 5*n, 5*n + 4 = -x. Is l less than or equal to x?
True
Let v = -1163 + 56989/49. Which is greater: 0 or v?
v
Let u be 16/6 - (-12)/(-18). Let g be 3/(u/4 - -1). Suppose 2*v - 3 = -b + 2, -g*b + 9 = 3*v. Which is smaller: v or -3/8?
-3/8
Suppose 0 = -b + 11 - 8. Is b greater than or equal to 3?
True
Suppose -o - 2*g + 25 = 4*o, 0 = 5*o + 5*g - 25. Suppose o = 5*n + 5*m, -3*n + 3*m = 2*m - 3. Let s be n/(-4) - 10/(-8). Is 1/5 greater than s?
False
Let g = 0 + 0.7. Let w = -0.054 - 0.046. Which is greater: g or w?
g
Let c be (-5)/(-25)*(1 - -4). Let m = 6 - 5.8. Let f = m - 0.6. Is c at most f?
False
Let d be (0 - -1)*0/(-2). Suppose 0*x - x - 7 = d. Which is bigger: -6 or x?
-6
Let d be (-7)/(-77)*13 - (2 - 1). Which is greater: 3/4 or d?
3/4
Let q = 207 + -202. Is 3 at most as big as q?
True
Let p(c) = c**3 - c**2 + c - 3. Let u be p(0). Let x be 2/u + (-4)/12. Let t = -1 - -1. Is t less than x?
False
Let p be (-7 + 6)*(1 - 0). Let y be (-88)/(-48) + 2/p. Suppose -4*n + 7*n - 3 = 0. Which is bigger: n or y?
n
Suppose 5*b = -q - 13, q - 4*b - 14 = -0. Suppose -4*r + 9 = 4*u + 1, -q*u = 3*r - 11. Which is smaller: r or -2?
-2
Let a = 1 - 0. Let w be (-28)/105*2/(-8). Let l = 2/5 - w. Is l smaller than a?
True
Let j = -1.05 - -1.1. Do j and -2/5 have the same value?
False
Let w be (2 + -2)/(-1 + -1). Are -1/7 and w equal?
False
Let w(r) = -r + 10. Let d be w(11). Suppose -4*t + 4 = -4*x, -2*t - 5 + 21 = 5*x. Let k be ((-2)/(-4))/(x/8). Which is smaller: d or k?
d
Suppose -4*n + 4 = -3*h - 22, -20 = 2*h - 4*n. Let l = h + 8. Which is smaller: l or 6/5?
6/5
Let r = -35 - -19. Is -16 bigger than r?
False
Let u = -10 + 23. Which is bigger: 0.2 or u?
u
Let o = -2/335 + -299/6030. Is o at least as big as 1?
False
Let s be ((-26)/80)/(42/(-35)). Let f = 1/16 + s. Which is bigger: -1 or f?
f
Let l(f) = -f**3 - 2*f**2 + 3*f. Let m be l(-3). Suppose 0*n = -2*n + 2. Let s be 11/9 + -2 + n. Is s less than m?
False
Suppose -3*v - 2 = -11. Suppose 2*g - m - 3*m + 18 = 0, -v*g - 5*m - 5 = 0. Which is smaller: -6 or g?
-6
Let k(i) = -i**3 + 3*i**2 - 3. Let b be k(3). Let m(o) = o**3 + 15*o**2 + 27*o + 9. Let h be m(-13). Which is bigger: b or h?
b
Let s = 17766 - 12063112/679. Is s at most as big as -1?
False
Let g = 0.024 - 51.024. Which is smaller: -0.2 or g?
g
Let m = 162 + -170. Is -43/6 at least as big as m?
True
Let i = -0.9 - 0.1. Suppose 5*w + 20 = 0, -k - 3*w + 2 = k. Suppose -5*c + 2*r = 13, -5*c - 3*r + k + 0 = 0. Is c > i?
False
Let l be (-8)/((-2 - -3)*-2). Suppose -z = -l*z. Which is smaller: 1 or z?
z
Let j(s) = -s**3 + 7*s**2 - s + 10. Let g be (15 + -1)*2/4. Let w be j(g). Let l(c) = -c + 7. Let b be l(6). Which is greater: b or w?
w
Let g(l) = 9*l + 46. Let i be g(-5). Let h = 767/9 - 85. Which is smaller: h or i?
h
Let k = 17 - 18. Let d be (12/9)/(k/(-6)). Is 7 greater than d?
False
Let w = -44.3 - -48. Let j = -3 + w. Let m = j - 0.7. Which is greater: m or 3?
3
Let u be (1/16)/((-1)/6). Which is bigger: u or 1?
1
Let j = 167 - 497/3. Is 1 less than or equal to j?
True
Let a = -2342868/421 + 5565. Let v = a - -2559/4631. Is 2 at least as big as v?
True
Let p = -4 + 1. Let q(f) = f**3 + 3*f**2 - 1. Let x be q(-3). Let o be (x - -2)/(8/(-12)). Which is smaller: o or p?
p
Let a = 0.74 + -0.08. Which is bigger: -1 or a?
a
Let b(o) = -o**3 - 5*o**2 + 1. Let m be b(-5). Is m at least 1/4?
True
Suppose 0 = 3*p - 0*p. Let s = 3 + -4. Is p > s?
True
Let i = 3.3 + -3.2. Which is smaller: -0.5 or i?
-0.5
Let l(w) = -2*w**2 - 7*w. Let a be l(-6). Let q = 21 + a. Let n = q + 17/2. Is n > 2?
False
Let l = 1/5 + -3/5. Which is smaller: -10 or l?
-10
Suppose 2*z + 9 - 1 = 0. Let p(c) = -c**2 - 2*c + 4. Let q be p(z). Let n = -1 - q. Is n at least as big as 1?
True
Suppose 4 - 7 = 3*y. Which is smaller: y or 2/35?
y
Let q(w) = w**3 - 9*w**2 + 9*w - 12. Let j be q(8). Let h be 0 + 2 + 4 + -2. Let k = h + j. Which is greater: 1/13 or k?
1/13
Let s = 8 + -5. Let n = -31 - -13. Let b = -14 - n. Is s at most b?
True
Let u(l) = 6*l - 38. Let f be u(6). Is f >= -10?
True
Let o = 0.1 - 0. Let q = 1.1 - o. Let r(x) = -x**3 + 5*x**2 - 5*x + 2. Let z be r(4). Is q equal to z?
False
Let h(m) = 6*m + 3. Let p be h(3). Does 22 = p?
False
Let g(h) = -79*h + 2. Let x be g(-2). Let y = x - 484/3. Suppose -4*o + k = -2*k + 2, o = -4*k - 10. Which is smaller: o or y?
o
Let c(z) = -z**2 + 6*z + 2. Let r(w) = w - 2. Let p be r(4). Suppose 16 - 4 = p*k. Let g be c(k). Is g less than or equal to 3/2?
False
Let u(n) = -n**2 - 8*n + 18. Let s be u(-10). Let t = -0.3 + 0.6. Which is bigger: t or s?
t
Suppose -4 = 2*k + 4. Let m be (-2)/(-4)*k/8. Are 0 and m non-equal?
True
Let y be ((-3)/6)/(1/(-10)). Suppose 3*d + y*i = -28, 2*i + i = d - 14. Suppose 3*f + 9 = 0, 3*o + 1 - 10 = 5*f. Is o less than d?
True
Suppose 3*y + 5 = 2*y. Let p(c) = -c. Let d(a) = 7. Let l(x) = d(x) - 2*p(x). Let n be l(y). Is -4 greater than n?
False
Let p = 1.51 - 1.11. Which is smaller: 5/11 or p?
p
Let j = -0.08 + 0.07. Let l = -0.01 - j. Let k = 9/8 - 69/40. Is k bigger than l?
False
Let z = -0.1 + 0.2. Let u = -29926 - -1167037/39. Let b = u + 30/13. Is b < z?
False
Let c = 12.4 - 9.4. Which is smaller: 6 or c?
c
Let n = -6 + 9. Let h = n + -4. Which is smaller: 4 or h?
h
Suppose 50 = -3*y - 4*f, -2*f + 5 = y - 5*f. Is y greater than -10?
False
Let w = 1 + 4. Suppose 4*s - w = -s. Let m = 18/41 - 3/287. Which is smaller: s or m?
m
Suppose -x - 132 = 3*d, 3*d - 5*x - 36 = -186. Is d equal to -45?
True
Let a(g) = -g**2 - 4*g + 5. Let q be a(-5). Suppose 8*u + 0*u = 8. Is q equal to u?
False
Let f = -10/31 + 92/93. I