-4)/22. Which is smaller: v or z?
v
Let m = -15361/721 + 149/7. Let s = 323/721 + m. Are s and 1 equal?
False
Let f = 24 - 16. Let x = f - 7.9. Is -0.5 at least x?
False
Let s be -3*(-4)/24*(-8)/34. Let r(i) = -i**2 + 4*i + 6. Let j be r(5). Which is smaller: s or j?
s
Let d = 0 - -2. Let v = d + -2. Let z = v - 0.1. Is -2/3 <= z?
True
Let a = -0.05 - 0.1. Let j = -0.05 - a. Let t = -2 - -1.94. Which is greater: t or j?
j
Let b = -3 - -3. Suppose 0*g + 4*g = b. Is -4/11 >= g?
False
Suppose 10*a - 16*a + 6 = 0. Which is greater: a or 4/23?
a
Let v = -43 - -43.1. Is -26/9 at most as big as v?
True
Let l = -1.14 + 0.14. Which is smaller: 3 or l?
l
Let d = -70.935 - 0.065. Let r = d + 64.1. Let z = 0.1 - r. Which is greater: z or 2/3?
z
Let j(x) = x**2 - 10*x + 9. Let s be j(9). Are 10/7 and s nonequal?
True
Suppose 3*y + 8 = 2, 3*y + 13 = l. Which is smaller: l or 6?
6
Suppose -4*n - 2*q = -10, -3*n - 3*q - 6 = -6*q. Let r = 515/56 + -77/8. Is n < r?
False
Suppose 0*b = -2*b + h + 15, -3*h = b - 11. Suppose -3*t - 2*m + 29 = -3*m, -5*m = -3*t + 49. Is t > b?
False
Suppose 4*l - 1 = -29. Suppose 5*y + 2 = 47. Let m = y + l. Which is smaller: m or 3?
m
Let m be 1 - -8*(-5)/10. Which is smaller: m or -5?
-5
Let r be (-14)/(-21)*9/(-111). Is r < 0?
True
Let c be -2 + (-84)/(-7)*(-1)/(-4). Which is smaller: -2 or c?
-2
Suppose 19*o + 732 = 7*o. Which is smaller: o or -62?
-62
Let o be (17 + -21)/(2*1). Which is bigger: o or -12/5?
o
Suppose 0 = 3*t - 3, -2*q = -q - 4*t + 12. Let b be (-375)/35 + 2/(-7). Let y = q - b. Is y < 3?
False
Suppose 4*x = 3*v - 0*v - 9, x = 2*v - 1. Which is greater: 0 or x?
0
Let u be ((368/12)/(-2))/((-2)/3). Is -1 less than u?
True
Let n = 0.01 + 0.09. Which is greater: -5 or n?
n
Let q be 1/((2 - 1)/2). Let h be q*(-1 + 15/12). Is h at least 1/2?
True
Let l(p) = -2*p + 3. Let o be l(2). Let j(k) = 2*k**2 - k - 1. Let b be j(o). Suppose -q - b*q = -z - 13, 5*z + 5 = 3*q. Which is greater: z or 3?
3
Let g be 2/9*2991/35. Let h = g + -132/7. Which is greater: h or -1?
h
Let d(s) = s - 1. Let o be d(4). Let p be ((-4)/(-3))/((-4)/(-6)). Suppose -p*t = -j + 3*t + 22, 2*t + 18 = 5*j. Which is smaller: j or o?
j
Let u = 1/140 - -59/140. Suppose 1 = -2*n + n. Does u = n?
False
Suppose -3*p + 2*p + 6 = -y, -17 = -2*p - 3*y. Let z(r) = -r - 1. Let l be z(p). Is l at least -0.1?
False
Suppose -5*b + 3*b = 0. Let t be (-1)/3 + (2 - (-28)/(-15)). Which is smaller: b or t?
t
Let z be (-30)/7 + (1 - -1). Let p = 427/5 - 5853/70. Let y = p + z. Is y smaller than 0?
True
Let q be (0*(-1)/(-2))/(-2). Suppose q = -0*k - k. Is 0 < k?
False
Let c = -17 - -26. Let j = c - 6. Let q = 8/5 + -27/20. Which is smaller: q or j?
q
Let x = 18 + -17. Is x smaller than -1?
False
Let o = 11 + -8. Suppose 2*g + 4*x - 2*x = 0, -o*g - 20 = -x. Is g at least -4?
False
Let q = -33 + 36. Let f = 2 + -3/2. Which is smaller: f or q?
f
Let x be 9*(4 - (-69)/(-18)). Which is smaller: 1 or x?
1
Let w = 2 - -1. Let h(g) = -6*g**2 - 5 - 3*g**3 - 6*g + 4*g**3 + g**2 - g**2. Let q be h(7). Which is greater: q or w?
w
Let i(s) = -s**3 - 3*s**2 - 2*s. Let n be i(-2). Is -2/27 at least as big as n?
False
Let x(l) = -7*l + 5. Let u be (-7)/(3/3) - 1. Let h be x(u). Let o = 426/7 - h. Is o >= 0?
False
Let q = 0.97 + -0.17. Let n = -0.4 + 0.5. Is q greater than n?
True
Let f(g) = -g**2 + 8*g - 3. Let i be f(8). Are -2 and i non-equal?
True
Let x be -2*(14/(-4) + -1). Let g = 9 - x. Which is smaller: g or -1?
-1
Suppose -4 = 5*i - 3*w, i - 3*i - 5*w - 14 = 0. Let r = 4 - 8. Is i at least as big as r?
True
Let z = -1.46 - -0.7. Let t = 0.7 + z. Is 0 at least as big as t?
True
Let k(f) = -f - 3. Let c be k(-4). Let z be (-5 - -9)*(5/4)/5. Does z = c?
True
Suppose -2*s = -5*s. Let y be 22/14 - (2 + 0). Which is smaller: s or y?
y
Let k = 21 - 21. Which is bigger: -1/14 or k?
k
Suppose -3*g + 19 = -6*z + z, 0 = -2*z + 2. Which is smaller: 9 or g?
g
Let o be (-4346)/5*(-13)/(-4654). Let r = 5/179 + o. Is r bigger than -2?
False
Let x = -43 - -19. Is -23 != x?
True
Suppose l = -2*l - 3. Are -1/12 and l equal?
False
Let h be 4/3*(-42)/(-196). Suppose 0 = -3*b + 4*x + 16, -4*b + 12 = -4*x - 8. Suppose -2*u + 5*g + 0 = 5, 4*g - b = -2*u. Is h bigger than u?
True
Let p be ((-148)/40 - -4)*2. Suppose 5*c = -10 + 25. Suppose l + c*l = 4. Which is smaller: l or p?
p
Let q(v) = -3 + 5 + 6 + 2*v - 4. Let f be q(-3). Which is greater: -4 or f?
f
Let l = -1147/348 - -4/87. Is -4 less than l?
True
Let k be 1*(-4)/2*-2. Let d be 6/k + 2 + -4. Suppose -y + 3*h = 14, -5*h = -5*y - 16 - 14. Is d equal to y?
False
Let p = -127.9 - -136. Let b = -8 + p. Is 4 less than b?
False
Let n(j) = j**3 - 6*j**2 + j. Let l be n(6). Suppose -7*x + 4*x = l. Is -2 less than x?
False
Let v(t) = -4*t**2 - t + 1. Let w be v(-1). Is -3/5 <= w?
False
Let h = -0.1 + 1.1. Let u = -1.1 + h. Let n be (1 + 1)*(-1)/(-5). Is n != u?
True
Suppose 3 = -3*j - 6. Let d be -2 + (20/j)/(-5). Let x = -1.3 + 0.3. Which is smaller: x or d?
x
Let b(m) be the third derivative of m**6/60 - m**5/20 + m**4/12 - m**3/2 - 4*m**2. Let t be b(2). Is 4 < t?
True
Let k = 1.14 + 0.91. Let r = 2 - k. Let c = r - 0.05. Which is smaller: c or -2?
-2
Let m be 9/(-6)*(-8)/(-42). Let l(p) = -p**2 + 6*p + 5. Let d be l(6). Let h = d + -4. Is h != m?
True
Let t(a) = -5*a - 3. Let m be t(-4). Suppose -5*i = z + m, 0 = -2*z + 5*z + i - 5. Let d = 4 - z. Is d less than -1/4?
False
Let d(q) = q**2 + 5. Let z be d(-3). Is z bigger than 15?
False
Let f(v) = -v**3 - 4*v**2 + 4*v - 4. Let m be f(-5). Let t = 8 - 9. Let a be 3 + (-20)/9 + t. Do a and m have different values?
True
Let f be (-4)/(-10) + 3/5. Let p be f + (-6)/(1 + 2). Let u be ((-15)/21 - p)/(-2). Which is smaller: -1 or u?
-1
Let i be (-4)/6*5/10. Let o = -4 + 2. Let r be o/6*5 + 1. Is i less than r?
False
Let x = -5.18 + 5. Let r = x + 0.3. Which is greater: 0.1 or r?
r
Suppose -20*v = -6*v - 28. Is v < 23?
True
Let t(z) = z + 4. Let b be t(-6). Let s be 2147/28 - b/(-8). Let n = s - 77. Is -1 at least as big as n?
False
Let y be (0/(1/(-1)))/2. Let d = 4/87 - 92/319. Let k = 122/231 + d. Is k equal to y?
False
Let r(n) = -n**3 + 5*n**2 + n + 1. Let u be r(5). Let g = -10 + u. Suppose 0 = -4*t - 4*d, 2*t + 2*d - 2 = -d. Which is bigger: g or t?
t
Suppose -4*b + 12 = -7*b. Which is greater: b or 0.4?
0.4
Suppose 2*j + 25 = -93. Which is bigger: j or 0.1?
0.1
Let j be 3/(-9) - 8/3. Let c(o) = -9*o**2 - 13*o - 9. Let k(d) = -22*d**2 - 32*d - 22. Let t(w) = -12*c(w) + 5*k(w). Let z be t(-2). Which is smaller: z or j?
j
Let x be 2 - 4 - (-12)/7. Let d be (3/(-9))/((-2)/12). Let l be (2/6)/(d/6). Is x bigger than l?
False
Let i = -70 - -38. Let a be 2/(-6)*(-24)/i. Which is smaller: a or 1/3?
a
Let h = -0.71 + -0.29. Let q = 0 + 0. Is h smaller than q?
True
Suppose -3 = -4*h + 9. Which is smaller: h or 6?
h
Let d be 3 - ((-69)/9)/(14/(-6)). Let j(r) = r**3 - 3*r**2 + r - 3. Let q be j(3). Which is smaller: d or q?
d
Let i be (10 - -2)/(1/(-1)). Are i and -12 unequal?
False
Suppose 4*q + 2*f - 38 = 0, f = -2*f - 3. Suppose 0 = i - 3*i + 22. Is q less than or equal to i?
True
Let n = 30 + 21. Are 51 and n non-equal?
False
Let b = -4.7 + 26.6. Let a = b + -23. Let c = a - -1. Is c > 3/4?
False
Let a be 2 + -1 - 1*8. Suppose -5*z + g + 7 = -21, g = -z + 8. Suppose -h = -1 + z. Is h <= a?
False
Suppose -f = 3*f. Let h = 2 - f. Let b be (h/(-6))/(4/20). Are -1 and b equal?
False
Suppose -4*r + 5 = r. Suppose 2 - r = c. Let w be (-1 - -5) + (-11)/3. Is w less than c?
True
Let h = -76 - -122. Does 47 = h?
False
Let g be (-6)/(-15) - 26/(-10). Let s = g + -2. Let p = 1.3 + -0.3. Do s and p have the same value?
True
Let i be 4 - 2 - 249/123. Which is bigger: i or 1?
1
Let i = 0.01 + -1.01. Let u = -2.9 - -3. Which is bigger: i or u?
u
Let u be (20/(-16))/((-1)/(-12)). Let s be (u/(-1))/(21/14). Is 10 bigger than s?
False
Let v be ((-4)/8)/(15/(-6)). Which is smaller: -1 or v?
-1
Let f = -41 - -34. Let u = -21 - -15. Do u and f have the same value?
False
Let s = -32619474851519/960 + 33978607312. Let f = -12325 - s. Let k = f + -1889/29760. Which is smaller: 0 or k?
k
Let l = -58227/1474 - -2/737. Do l and -40 have the same value?
False
Let a = 15 + -10. Suppose 3*p + 1 = 4*h - 4, -2*h + a = p. Is h greater