6, -6 = 4*i - z. Which is smaller: i or -8?
-8
Let v(g) = -g**2 - 2*g + 1. Let o be v(-2). Is o less than or equal to 1?
True
Let x be (-18)/(-51)*(-7 + 2). Let z = x + 278/119. Which is bigger: 2 or z?
2
Suppose 5*m = -u + 25, -u + 2 = -3. Suppose m*x = -x. Let y be x*(-1)/(2 - 3). Does 0 = y?
True
Let k = 1/5480 - -32331/5480. Let u be 116/(-20) - 4/(-10). Let m = k + u. Which is smaller: m or 2?
m
Let x be (-3 - -4) + (21 - -1). Let y be (-7)/(-21) - x/51. Which is bigger: -1 or y?
y
Let o be (8/(-2) - -1) + 4. Suppose 2*m - 3*v - o = 0, 3*m - v + 3 = 4*m. Which is bigger: 3/4 or m?
m
Suppose 0 = 2*d + 2*d + 708. Let k = d + 1589/9. Do -1 and k have different values?
True
Let m = 13 + -9. Let q = 3.8 - m. Let h be (-1)/(2/(-3)*3). Which is bigger: h or q?
h
Let z be (2/(-5))/(2/(-40)). Suppose z = 4*b, 0 = -2*w - 0*b - b. Is w > -1/10?
False
Let h be 3 + 3/(42/(-46)). Let t be 2/(-4) - 3/(-6). Suppose -3*a - 4 = -t*a + 2*w, -4*a + 2 = -w. Which is greater: a or h?
a
Let t be (-1)/2*2 - 7. Let f = t + 6. Let g be 4/2*(-1)/f. Which is bigger: g or 1/4?
g
Let d(j) = 2*j - 3. Let m be d(3). Let o be (-6)/(-15)*10/12. Is m > o?
True
Let m be (-1 - 0) + 0 + 17. Let b be (-2 + m/10)*5. Are 1 and b equal?
False
Let v = 50 - 66. Is 2/3 >= v?
True
Let w = 37 + -38. Is w <= -1/123?
True
Let t = 126/13 - 1194/91. Is t smaller than -3?
True
Suppose -3*r = -r + 4. Let v be (-60)/(-112) + r/7. Let k be 2/7 - 4/14. Is v equal to k?
False
Suppose -5*y - 4*i = 25, -y - 11 = i + i. Is -1/10 < y?
False
Suppose 2*x = x. Let r = -32/123 - 3/41. Is x less than or equal to r?
False
Suppose -t + 12 = -4*k + 64, -219 = 4*t - 5*k. Let r be 2/(-3)*21/t. Is r less than -1?
False
Let s be -3 - ((-21)/3 + 0). Suppose s*y = y - 3. Which is bigger: 0 or y?
0
Let c = -26 - -29. Which is bigger: 8 or c?
8
Let s = 4 - -3. Let c = s + -9. Which is greater: c or -4?
c
Let l = 209 + -211. Let f = 2 - 5. Let c = 1 - f. Which is bigger: c or l?
c
Let z = 1 - -1. Let v be z*(-1)/4*0. Let w be v + (1 - 1) + 0. Is w at most 2?
True
Let p(i) = i**3 - 2*i**2 - i + 2. Let b be p(2). Suppose f + f = b. Suppose 2*k - 4*k = 5*w + 20, -4*k - 5*w - 20 = f. Is k < 0?
False
Let t be (-266)/228 + -1*2/(-4). Is -3 <= t?
True
Let l = 24 + -33. Is -9 at least as big as l?
True
Let v = -2 + 8. Which is smaller: v or -1/2?
-1/2
Let y = -141 + 276. Let b = 673/5 - y. Let k = -0.04 + 0.34. Are k and b unequal?
True
Suppose 7*g - 3*g + 48 = 0. Let c be 3/12 + 7/g. Is 0 greater than c?
True
Let y be (85/34)/((-3)/2). Does -2 = y?
False
Let t(m) = m**3 + 5*m**2 + 5*m + 4. Let p be t(-4). Suppose p = -y - 3*y. Is y < 0.2?
True
Let t = 4.6 + -6.9. Let y = t + 2. Let b be (-18 + 16)/(0 - -3). Does b = y?
False
Suppose -13 = 2*y - 41. Let u be (-52)/14 + (-4)/y. Which is smaller: u or -3?
u
Let y = 27 - 48. Let n = 31 + -53. Which is smaller: n or y?
n
Let n = 75743 + -529313/7. Let h = n + -126. Suppose -d - 4*d + 4*d = 0. Which is greater: h or d?
h
Let f be (4/6)/((-4)/(-30)). Which is smaller: f or 6?
f
Suppose -4 = -4*g + 2*p, g = -2*g + 3*p + 9. Which is smaller: -1/49 or g?
g
Let n = -49 + 34. Which is smaller: 0 or n?
n
Let k = 13 + -4. Let m = 8.9 - k. Let t = 2.92 - -0.08. Which is greater: m or t?
t
Let w = -3.9 - -20.9. Let k = -16.9 + w. Is 0.4 at least k?
True
Let x(m) = m**3 + 3*m**2 + m - 2. Let c be x(-2). Suppose 0 = -c*w - 3*w - 33. Which is smaller: w or -10?
w
Let o = 11 + -6. Let b = -55.1 + 60. Let n = b - o. Is n > -5?
True
Let w be 18718/(-45) + (-4)/(-10). Let s = 416 + w. Suppose 3*r - 4*f = 1, -f = 4*r - 0*f + 5. Is s at most as big as r?
False
Suppose 2*g - 13 = -5*d, g = -5*d + 2 + 12. Is d smaller than 48/11?
True
Let w be 2/(-4) + 25*6/264. Which is greater: -1 or w?
w
Let i = 42 + -7. Is 36 equal to i?
False
Suppose 4*y + 4*z + 16 = 0, y + 2*z + 8 = -3*y. Let b = -23 + 139/6. Which is smaller: y or b?
y
Suppose 5*k = 1 + 49. Let o be ((-36)/(-21))/(k/273). Let c = o + -47. Which is smaller: c or 1?
c
Let g = 0 - 2. Let t = -2 - g. Suppose 3 = 3*l + 5*d, 3*l = d - 0*d + 3. Which is greater: l or t?
l
Let m = 82 + -83. Which is smaller: 2/131 or m?
m
Let x = -0.04 - 0.04. Let r = 0.08 + x. Is r less than or equal to -3?
False
Suppose 0 = -4*m + 3*i + 8 + 9, 0 = 4*m + 4*i + 4. Let k be 69/15 - (m + 2). Does 1 = k?
False
Let z = -13 + 13. Suppose z = -u + 7. Which is bigger: 8 or u?
8
Let b = -29 - -16. Is b at most -12?
True
Let x(a) = a - 1. Let n be x(7). Let w be (8/10)/(n/30). Let b be (-3)/2*(-1 + -1). Is w smaller than b?
False
Suppose 0 = -2*f + 7*f + 5. Let g = 68/3 + -23. Which is greater: g or f?
g
Let n(q) = q**3 - 10*q**2 + 11*q - 8. Let s be n(9). Let j = s - 5. Which is bigger: j or 6?
6
Let i be -5*(-2 + -1 + 4). Which is smaller: -3 or i?
i
Suppose -n - 3*q + 12 = 0, 4*q + 1 = 3*n - 9. Suppose 3*v = -n + 3. Let j = -54 + 372/7. Which is smaller: v or j?
v
Let i(h) = -22*h + 1. Let z be i(-1). Suppose -1 = -4*n + c, 0*n + 3*n + 4*c = -z. Is n greater than or equal to 1?
False
Let o = -71.1 - -63. Let g = 8 + o. Do g and -5 have different values?
True
Suppose h - 3*u + 3 - 15 = 0, u = -5. Let l(f) = 0 - 6*f**2 + 4 - 4*f + 0 - f**3 - 1. Let d be l(-5). Does h = d?
False
Let s = -1/334 - -679/3674. Which is smaller: -2/7 or s?
-2/7
Let c be 3814/(-11690) + (-4)/14. Let y = c - -2/167. Let i(m) = 3*m**3 - 2*m - 1. Let k be i(-1). Are k and y non-equal?
True
Let t be -2 + 12/8 + 9/(-6). Which is smaller: t or -5/4?
t
Let m = 6 - 2. Suppose 0 = 5*j - m*j - 10. Suppose -j = -5*l + 5. Is l bigger than 1?
True
Let i be (-24)/(-6)*3/1. Is i <= 11?
False
Let v be 0/(-1) - (0 + 2). Suppose 0 = 5*h - 9*h - 8. Is v greater than or equal to h?
True
Let l be (-1)/(9/(-24)) - 2. Let t = 1 + 1. Suppose k = -k + t. Which is greater: l or k?
k
Let o = 0.9 + 0.1. Let x = -8 - -6. Let n = o + x. Which is smaller: n or 0.4?
n
Suppose -2*a + 20 = 3*a. Let f = 14 + -9. Is f less than a?
False
Let j = 18 + -17. Is 1 greater than j?
False
Let g = -4 - -5. Suppose k + 3*k + 7 = -3*h, 3*k - g = 4*h. Let w be (-3 + 2)*2/6. Which is smaller: h or w?
h
Suppose j = -2*y - 2*j + 5, 0 = -3*y - 3*j + 9. Let t(g) = -g + 7. Suppose 23 = 5*n - 2*m, 4*m - m = 5*n - 22. Let p be t(n). Is y at most as big as p?
False
Let a(n) = n**2 + 7*n + 4. Let k = -19 - -13. Let z be a(k). Let x be 57/(-18) - 6/z. Which is smaller: 0 or x?
x
Let n = 11 - 27. Which is bigger: n or -17?
n
Let k = -7 + 2. Let t = k - -8. Suppose -7 = 5*r + m - 2, m - 3 = t*r. Is r smaller than 3/7?
True
Suppose 9 = m + 1. Which is greater: m or 7?
m
Let f = 8 + -9. Let m be f - -4*1/2. Is m < 2?
True
Let n(r) = r**2 - 8*r - 3. Let i be n(7). Let l be (-2)/1 + -2 - (-5 - -10). Do l and i have the same value?
False
Let q be (-6)/4 + 58/(-4). Let u be 3/((-3)/(-1))*-17. Which is smaller: q or u?
u
Let y = 310 - 219. Let z = -367/4 + y. Suppose -3*f - 5 = 2*f. Is z greater than f?
True
Suppose -4*z = -3*d + 110, -129 - 11 = 5*z - 5*d. Let a = z - -28. Is 0.06 bigger than a?
False
Let g = -832/153 + 50/9. Which is smaller: g or 1?
g
Let o be ((-2)/(-5))/(24/40). Let b = 5 + -7. Are o and b unequal?
True
Let y be (1/(-7))/(0 + 1). Let d = -0.64 - -0.8. Let z = d - 0.06. Which is smaller: z or y?
y
Let d(l) = 6*l**2 + l + 3. Let j be d(-3). Let p be (-4)/18 + 12/j. Which is smaller: -1/8 or p?
-1/8
Let i = 9 - -1. Let c = 8 - i. Is c < 0.1?
True
Let x be 4/10 - (-2)/(-5). Suppose 4*o + 3*i + 2*i - 22 = x, -3*i + 3 = -o. Do o and 3 have the same value?
True
Let d(n) = -n - 1. Let t be d(-1). Which is bigger: 2 or t?
2
Let k be -2*(-12 + 13 - 2/4). Which is greater: -3/7 or k?
-3/7
Suppose -k - 5*d = 15, -5*d - 29 = -5*k - 4*d. Which is greater: -8 or k?
k
Let z(l) = l**3 - 10*l**2 - 2*l + 7. Let j be z(10). Let r be (j/(-6) + -2)*-5. Is 0 less than r?
False
Let l = -10 - 1. Is 0 at most l?
False
Let m = 14 + -10. Let j be (1 - 3)*((-2)/14 - 0). Is j greater than m?
False
Let p(u) = -u**2 + 5*u - 6. Let j be p(4). Let s = -3 + 1. Is j at most as big as s?
True
Suppose 0*a - 2*a + 20 = 0. Suppose 3*k = 2 + a. Let u = k - 3. Which is smaller: 0.3 or u?
0.3
Let m(b) = b**3 + 4*b**2 - 2*b - 5. Let o be m(-4). Suppose -o*c + 16 = v, 0 = c - 3*c + 2*v. Which is bigger: c or 2?
c
Let i = 51 - 51.2. Is 10 at most i?
False
Let y be ((-120)/18)/(2/(-6