15)/(-9) - a - 2. Is z at most y?
False
Let l be (-1)/6 + -10*(-1)/(-12). Is l bigger than 0.05?
False
Let v(n) = n**3 - 6*n**2 - 8*n + 1. Let p be v(7). Let t be (2/p)/((-2)/(-6)). Which is smaller: t or 1/11?
t
Suppose 20*x - 62 = -11*x. Let o be 4/(-10) + (-131)/(-11). Let m = o - 120/11. Is x > m?
True
Let c = 4.8 - 5. Is c greater than or equal to -0.3?
True
Let l = -0.04 + 0.02. Let i = 3.98 - l. Which is smaller: i or -1/4?
-1/4
Suppose 0 = 3*v - 15, -4*v = -4*m + 2*m - 26. Which is smaller: -1 or m?
m
Let f = -1 + -2. Let y = -10 - -10.18. Let a = y - 0.08. Is f > a?
False
Let x = -11 - -10. Let w be 11/77 + (-1 - x). Which is smaller: 0 or w?
0
Let g = 4 - -14. Let d = -55/3 + g. Suppose 2*q - 2*o + 2 = 0, q - 4*o + 2 - 1 = 0. Which is bigger: d or q?
d
Let h = 1.4 + 1.6. Let n = h - 3.1. Which is smaller: -1 or n?
-1
Let r be 108/(-162)*14/(-6). Which is greater: 3 or r?
3
Suppose 1 = 2*m - m. Suppose -4*v = -5*y - 0*v - 6, 3*y = -5*v - 11. Let z be (0/(-3))/(y - -1). Which is smaller: z or m?
z
Suppose 4*p = c + 4, 0 = -c - 3*p + 6 + 4. Suppose g + 4*r = -3*g - 80, -5*r = 2*g + 25. Let y be 5/g - 11/(-5). Which is greater: y or c?
c
Let u = 33 - 34. Is u >= -15?
True
Let z = -210047/15 - -13993. Let i = z - -54/5. Which is smaller: 2 or i?
i
Let g = -35 + 50. Let t = -9 + g. Which is smaller: 7 or t?
t
Let g = 34 - 101/3. Is g smaller than -2/5?
False
Suppose 5*s + 5 = 0, n + 2*n - 5*s = 5. Suppose n*o = o. Which is bigger: 2 or o?
2
Let t = -6 + -4. Let x = 5 - 14. Let a = t - x. Which is greater: a or 2/3?
2/3
Let s be 40/70 + 64/182. Is 1 >= s?
True
Suppose -3*f = -28 - 119. Suppose 5*o - f = -9. Suppose 0 = 2*u - s + 5, -1 = -4*u + s - o. Is u equal to -1?
True
Let m = 0 - -3. Suppose 3*o = -m*h + 27, -5 = -2*h + 1. Which is smaller: 5 or o?
5
Let r = 0.5 + -0.42. Let f = r + -2.08. Does f = -2?
True
Let z = -0.07 + -2.93. Which is greater: z or 1?
1
Let x be 11209/(-3) - (-12)/(-18). Let v = 78494/21 + x. Let i = 8/7 - v. Is i smaller than 1?
True
Suppose p + 2*y - 3 = 6*p, -9 = -p - 2*y. Let o = 27712739/908160 - 3/27520. Let v = 91/3 - o. Which is greater: p or v?
p
Suppose 2*q + l - 4 = q, -12 = -4*q - 2*l. Let n = q - -2. Is 5 not equal to n?
True
Suppose 0*c + 7 = 2*c + 5*k, 5*c - 3*k + 29 = 0. Let w(s) = s**2 + 5*s + 6. Let h be w(c). Let b = -13 + 14. Is h greater than b?
True
Let m(h) = h**3 + h**2 - 3*h + 3. Let k be m(-3). Suppose -3 = -2*v - 21. Let z be v/2*12/9. Is k at least z?
True
Suppose 5*z + 10 = 7*z. Suppose 4*d = -2*x - 8, -5*x - d = z - 3. Are 4/3 and x equal?
False
Suppose 5*y + 3*x + 10 = 0, -5*y = -y + x + 8. Suppose w - 12 = 4*t, -5*w + 2*t = -w - 20. Let m = w + y. Which is greater: 2/3 or m?
m
Let x = 3 - 0. Which is smaller: 5 or x?
x
Let l = -2 + -9. Let h = 10 + l. Which is greater: h or 2?
2
Let k = -7.43 + 8.7. Let b = k - 0.07. Let x = b - 0.2. Are x and -1 nonequal?
True
Suppose 5*l - 80 = 2*f, 5*l + 13 = -3*f + 118. Do l and 18 have the same value?
True
Suppose -2*p + 40 = 2*p. Suppose 4*g + p = -g. Suppose -h + 0*u = -5*u + 4, 0 = 4*h - 3*u + 16. Which is smaller: h or g?
h
Let v = 1199/10 - 235/2. Which is smaller: v or 3?
v
Let f be (-23)/(-5) - (-2)/5. Suppose 0 = 3*a - 28 - 5. Let c = 97/9 - a. Which is greater: f or c?
f
Let u = 2.1 - 2. Suppose 0 = -17*a + 13*a + 44. Which is bigger: a or u?
a
Suppose 0 = -2*w - 5 - 3. Let u = w + 4. Let l = -119/24 - -45/8. Is l at least as big as u?
True
Let q = -2385/11 + 217. Which is smaller: -2/23 or q?
-2/23
Let m = 0.601 - 14.381. Let j = m - 0.22. Which is greater: -1 or j?
-1
Suppose 3*v = -2*v + 15. Suppose -5*i = 7 + v. Suppose 0 = -5*m - 12 - 8. Which is bigger: i or m?
i
Suppose 2 - 3 = q, 4*r + 4*q + 4 = 0. Suppose 2*i - 3*i + 1 = r. Does 7/4 = i?
False
Let g = 3.2 + -3. Let h = 6/11 + -35/44. Which is bigger: g or h?
g
Let l be (1 + 0)*-1 - -1. Let f(j) = j**3 + j**2. Let r be f(l). Suppose r = -0*i + i. Is i less than or equal to 1?
True
Suppose -5*v = -0 - 15. Let z be 5/v + 2/(-3). Which is bigger: z or 2?
2
Let d(j) = j**2 + 6*j + 31. Let f be d(-6). Is -2/7 <= f?
True
Let w = 2 + -6. Let b(j) = j + 8. Let t be b(w). Suppose -u - m = u + t, -5*u - 15 = 5*m. Which is smaller: u or 2/11?
u
Let r(o) = o**2 - 2*o + 1. Let w be r(-4). Let i(d) = -d - 1. Let s be i(-6). Suppose -5*l + s - w = 0. Is -3 at most as big as l?
False
Let a = 9/55 + -4/11. Which is bigger: -2/3 or a?
a
Let p = -0.4 + 1.4. Is 1.8 equal to p?
False
Let c = 52 - 49. Is 13 at most as big as c?
False
Suppose -j - 5*o + 12 = -0*j, -o + 5 = 0. Are -17 and j nonequal?
True
Suppose -5*o + r - 146 = 0, -4*o - 20 = -r + 97. Is o bigger than -0.1?
False
Let i = 9 - 4. Let l = -3 + 1. Let c = 6 + l. Is c < i?
True
Let i = 25 - 127/5. Let w = 8.85 + 0.15. Let c = 10 - w. Which is smaller: i or c?
i
Suppose 5*i - 2 = -4*c + 1, -4*c + 4 = 4*i. Suppose -2*n = 2*k + 9 - 3, -5*k - c*n = 12. Which is smaller: -3 or k?
-3
Let w be (120/(-28))/(0 - 16/(-84)). Is w less than -22?
True
Let q(l) = -l**3 + 5*l**2 + 7*l + 2. Let p(f) = 5*f**3 - 19*f**2 - 28*f - 8. Let h(r) = -2*p(r) - 9*q(r). Let c be h(-6). Which is smaller: 3 or c?
3
Let o be 9/5 + 48/(-60). Let s be 2/(-18)*11 + 1. Which is smaller: o or s?
s
Let o be (-5)/(100/(-8))*10/4. Which is smaller: o or -3/70?
-3/70
Let i = 9 - -5. Is i smaller than 16?
True
Let o = -0.2 + 0.6. Let f = 46 + -45.07. Let a = 0.07 + f. Are a and o non-equal?
True
Let y(j) = 3*j + 2. Let w = 5 - 3. Let m be y(w). Let l(x) = 3*x**2 + 2*x + 1. Let a be l(-2). Is m < a?
True
Let x be -2 - (-1 - (-19)/(-1)). Are x and 19 unequal?
True
Suppose -2*i + i - 2 = 0. Let r(d) = d**2 + 2*d + 2. Let n be r(i). Let q = 0 + 2. Is q smaller than n?
False
Let r(p) = p**2 - 7*p - 7. Let t be r(8). Let z be 28/(-24)*-2 + t. Is z at least as big as 2?
True
Let i = 9617020 + -21686380488/2255. Let w be -4*((-6)/820)/3. Let r = w - i. Is 0 <= r?
True
Let m be 1*-1*(-16 - -1). Let f be (12/20)/(12/m). Which is smaller: 0.1 or f?
0.1
Let n = -223/3 - -73. Let a(r) = r**3 - r**2 - 2*r - 1. Let q be a(-1). Is n bigger than q?
False
Let h = 15.9 + -16. Let g be 4/(-14) - (-23)/(-42). Which is smaller: h or g?
g
Let f = 10 - 10. Let g be (f/(4 + -3))/1. Is -3/4 < g?
True
Suppose -2 + 18 = -16*h. Is h greater than or equal to -4/5?
False
Let q = 2.1 - 0.1. Let m = -0.05 + 4.05. Let n = q - m. Is n smaller than 2/3?
True
Let a = 2 - 0. Which is smaller: a or 7/4?
7/4
Let t = 29 - 27. Is 1.4 > t?
False
Let h(v) = v + 7. Let n be h(-6). Let l = 2 - 1. Is n >= l?
True
Suppose 2*l + 3 - 9 = 0. Are l and 6 nonequal?
True
Let k = -2 - -4. Let z be 2/7*k/(-4). Which is smaller: z or 1?
z
Let f = 670.98 + -641. Let a = 30 - f. Which is bigger: a or -1?
a
Let d(w) = -w**2 + 7*w - 3. Let s be d(6). Suppose 6*l + s = 3*l. Is -1 >= l?
True
Let n(r) = 4*r**3 + 2*r**2 - r. Let j(p) = 1 - 2*p**2 + 3*p**2 + 3*p + 3*p**2 + p**3. Let a be j(-3). Let y be n(a). Does y = 4?
False
Suppose -8*c = 1 - 57. Is c < 6?
False
Let g(z) = -z**3 + 4*z**2 + 5*z + 3. Let t be g(5). Let x = -4 - -10. Let k be ((-2)/(-4))/(t/x). Which is smaller: 0.2 or k?
0.2
Let h = -77 + 386/5. Are h and 0 equal?
False
Let t = 0 - -2. Let z be ((-3)/(-1) - 2) + t. Which is smaller: 4 or z?
z
Let a = 14 + -20. Let m be 32/a - (-16)/(-24). Let h = m - -7. Are h and 1 nonequal?
False
Let z = 76 - 74. Which is bigger: z or 8/13?
z
Suppose 0 = -3*a, 5*l - 4*a + 7*a = 30. Is 0.2 < l?
True
Suppose -4*w = -2*w - 2. Let y be (-6)/10 - 21/(-30)*1. Is w >= y?
True
Let p = 20 + -41/2. Which is smaller: p or -12?
-12
Let x be (117/(-36))/((-17)/(-12) - 1). Which is smaller: -7 or x?
x
Let v = 3.1 - -1.9. Is v < -2?
False
Let i be 4/(-8)*(-7)/(-112). Suppose 0 = 3*m - 3 - 0. Which is smaller: i or m?
i
Let g = -11 + 14. Is g > 0.05?
True
Suppose 7*m - b = 4*m - 10, 0 = -m + b - 6. Which is bigger: m or -3?
m
Suppose 0 = u + 3*k, 4*u - 6*k = -k + 85. Is u >= 14?
True
Let d be ((-3)/(-5))/(2/10). Suppose -2*w + 7 = d*i, -i + 2*i = 4*w - 21. Which is smaller: i or -3/11?
i
Let n = -8 - -11. Suppose -w + 2*w - 5 = 0. Suppose 0 = n*i + 2*i - w. Which is greater: -2/17 or i?
i
Suppose 3 = -3*i - 9. Let y = 16 + -17. Is y less than i?
False
Let n = 181/7980 + -54/133. Let r = 27/7 + -533/140. Let p = r + n. Are p and 0 equal?
False
Let w be