-3*r - 4*f + 6 - 2, f - 1 = -r. Suppose -4*z - 3*h - 2 = -0*z, -4*z + 2*h + 8 = 0. Do z and r have different values?
True
Let n be (-4 + 1)*(-2 + 1). Let z(a) = 2*a**3 - 15*a**2 + 11*a + 13. Let w(g) = -g**3 + 7*g**2 - 5*g - 6. Let i(p) = -7*w(p) - 3*z(p). Let y be i(n). Is -1 < y?
True
Let i = -10 - -9.5. Which is greater: 0.2 or i?
0.2
Let d be (-10)/(-15)*(-6)/(-8). Let l = 61/2 + -31. Which is smaller: d or l?
l
Suppose y - h + 1 = 0, -4*y - 5*h = y + 55. Let s(f) = f**3 + 4*f**2 + f - 3. Let k be s(-3). Let j be -5 - y/k*1. Is -3 >= j?
True
Suppose 2*r + 0*r = -3*s + 13, 2*r - 12 = -2*s. Suppose c - 2*c = -x + 6, r*x = c + 18. Is c greater than -1?
False
Suppose -2*i = -3*o - 51, 5*o - 2*i + 10 = -75. Are o and -17 unequal?
False
Suppose v = -3, -12 = 3*n - 0*n + 4*v. Let l = 9 + -14. Let c be 16/14*l/(-20). Which is bigger: n or c?
c
Let y be 4/(-8)*1*2. Let j = y - 0. Let p = 116/399 + -2/399. Do j and p have the same value?
False
Suppose -3*o - 8 = -2. Let v be 1/((-45)/54 - 1/(-3)). Do o and v have different values?
False
Let x be 4*(-3)/(8 + -2). Let q be (-13)/x + 1/(-2). Suppose 4*j + q + 2 = 0. Which is bigger: j or -1?
-1
Let b(d) = -3 + 1 + d - 1. Let n be b(5). Suppose 3*a - 2*z = -6, n*a + a + 3*z + 6 = 0. Are a and -2 nonequal?
False
Suppose n + 3*n = -928. Let y = -919/4 - n. Suppose -4*m + 2 = -2. Which is smaller: m or y?
m
Suppose -2*j = -j - 9. Suppose 4*g - 6 = 6*w - w, -g = 4*w + j. Which is greater: 0 or g?
0
Let i = 2.265 - 0.435. Let u = i - -0.17. Let d = 131/3 + -44. Which is bigger: u or d?
u
Let v = 1.75 - 1.14. Let s = v - 0.6. Let a = -2.01 + s. Is 1 > a?
True
Suppose -5*u + 32 = 4*v, -v = -5*u - 3*v + 36. Suppose 0 = -4*m - 7 - 1, 4*f + 2*m = -u. Does f = -2?
False
Let k = -8 - -7.9. Let z = 12 + -13. Which is smaller: k or z?
z
Suppose -4*c = -34 + 2. Suppose -3*g = -g + c. Let q(d) = -d**2 + 4*d + 8. Let z be q(6). Is g < z?
False
Let u = 9 - 6. Suppose -3*x - u*i + 2 = 2*x, 3*x = -2*i + 1. Let n be (6/8)/(1*-2). Is n at least x?
False
Let r = 60 + -66. Which is smaller: r or 4/3?
r
Let o(y) = -y**2 + 15*y + 38. Let u be o(17). Let z = 34 - 20. Suppose -k = -4*w - z, 18 = -k + 4*k - 4*w. Are k and u equal?
False
Suppose 0 = c + c - 66. Suppose -c - 2 = 5*n. Are n and -6 non-equal?
True
Let a = -54 + 52. Which is bigger: 0.26 or a?
0.26
Let z be 4/(-16) - 0*4/20. Which is smaller: 70/11 or z?
z
Let n = -42 - -21. Let v = n - -171/8. Which is bigger: v or 1?
1
Suppose 0 = d - 3 + 1. Suppose 2*b + 16 = -4*i, 4*i - 5 = d*b + 19. Let q be (2/(-10))/(b/25). Is q less than 7?
True
Suppose -8*f - 24 = -5*f. Is -0.8 equal to f?
False
Let x = -1 + 0. Let y = -9 - -9.4. Which is smaller: y or x?
x
Let s be ((-48)/15)/(3/(-15)). Let u = -22 + s. Let c be (u/(-20))/((-18)/(-15)). Is c at most 1/4?
True
Let k(o) = -2*o - 9. Let n be k(-10). Suppose h - b + 7 = 0, -4 = h - 3*b + n. Let p be h/(-20) - 4/10. Which is bigger: 1 or p?
1
Let o = 1/38 - 21/76. Is -2.8 smaller than o?
True
Let s(d) = -d**3 - 9*d**2 + 10*d - 8. Suppose -5*g - 21 - 29 = 0. Let y be s(g). Which is smaller: -13/2 or y?
y
Suppose 3 = -3*l + 18. Let h = -6 + l. Is -2 less than or equal to h?
True
Let z(v) = -3*v - 17. Let m be z(-7). Suppose -12 = -q - 2*q. Is q > m?
False
Let z = 89 - 107. Is z <= -37/2?
False
Suppose -s + 2*w - 177 = 0, -s = -0*s - w + 172. Let z be (3 - s/(-55))*5. Are z and 0 non-equal?
True
Let u be 1 + (-2)/2*2. Suppose 7*w - 24 = 3*w. Let z = w + -7. Is u at most as big as z?
True
Let a(r) = 2*r - 1. Let o be a(3). Suppose -o*j = -j. Suppose -n - 2 + 1 = j. Which is bigger: n or -2/5?
-2/5
Suppose 8 = -6*u + 4*u - 3*b, u + 2*b = -4. Suppose 512*k = 515*k + 12. Are u and k equal?
True
Let h = -132 + 131.9. Which is bigger: -3/22 or h?
h
Let a(d) = d**2 - 4*d - 8. Let m be a(6). Let k(p) be the third derivative of -p**4/24 + p**3/2 + p**2. Let h be k(m). Which is smaller: 1/3 or h?
h
Suppose 14 = 3*f + 38. Do -10 and f have different values?
True
Let t = 11 + -15. Do t and -12 have the same value?
False
Suppose 0 = -0*a + a. Let c be -2*((-1)/2 - a). Which is smaller: 2/5 or c?
2/5
Let h = -92 + 91. Which is greater: -3/41 or h?
-3/41
Let n be 1*1*(-2)/6. Let c = 2 + -9. Let z = c + 7.4. Which is bigger: z or n?
z
Let d(w) = -w + 7. Let n be d(6). Let x be (0 + 0 + -1)/13. Is n equal to x?
False
Suppose 3*m = -3*f + 12, f - 4 = 2*m - 0. Suppose 4*q = -12, -f*w + q + 6 = -13. Suppose -2*z = -a + 2*z - 3, -5*a + w*z = -1. Does a = 2?
False
Let k(s) = s - 7. Let r(f) = -3*f - 8. Let z be r(-6). Let g be k(z). Which is smaller: g or -2/7?
-2/7
Suppose -4*u + 5*u + 169 = 0. Let c = u + 848/5. Which is greater: c or 1/2?
c
Let o be 15/(3*3/9). Suppose 5*m + 4*l - o = 11, -5*l = m - 1. Which is bigger: m or 2?
m
Let s = -20 + 21. Is s at least as big as 2?
False
Let s be 28/4 + 3 + 0. Let l be 4/(-2) + 24/s. Is l smaller than -0.2?
False
Let h be 1 - -1 - -1*2. Let k = h + -1. Let b = -5 + 7. Do b and k have different values?
True
Let y = -0.104 + -0.896. Is -57 at least as big as y?
False
Let c = -2 - -2. Let j = c - -0.8. Let i = j + -0.82. Is -0.1 != i?
True
Let s = 0 - -4. Which is greater: s or 9?
9
Let m be (-3)/(-21)*2 - (-84)/49. Are 48/17 and m non-equal?
True
Let o be 5/((-20)/(-8)) + -1. Which is greater: o or 4/7?
o
Let u = 10 - 11. Suppose -5*w = -3*n - 13, -3*w + 2*w = 2*n. Suppose j - 8*h + 5*h = -12, -2*j + 8 = w*h. Is u smaller than j?
True
Let l = -9 + -4. Let x = l + 119/9. Which is smaller: 0 or x?
0
Let i = -0.06 + 0.16. Are 0.4 and i non-equal?
True
Suppose b - 2*v + 8 = 0, -v = 2*v - 3. Let h = -7 - b. Which is smaller: h or 4?
h
Let d = 3 - 2. Let c be -6*-4*d/18. Suppose 2*v - 3*t = 19, -4*v - t - 12 = 3*t. Which is smaller: v or c?
c
Suppose 40 + 32 = -4*a. Let k be 3/(-2*3/a). Do 9 and k have different values?
False
Let a = -551 - -785. Let o = a - 941/4. Which is smaller: o or -2?
-2
Let l(y) = y**2 - 1. Let z be l(-1). Suppose 3*f = -z*f. Are -3/4 and f equal?
False
Let d(a) = -a**3 + 13*a**2 + a - 13. Let i be d(13). Suppose 4*h - 5*r - 16 = i, -r = 3*h - 0*h - 12. Which is smaller: 5 or h?
h
Let p be (-8 - -6) + (-1)/(-1). Let h = -0.1 - -0.14. Let c = h - 3.04. Is p >= c?
True
Let x be (0 - 68/(-16)) + -4. Which is smaller: -5 or x?
-5
Suppose 6*o = 4*o + 2. Suppose o = -s - 3. Is -3 < s?
False
Suppose 0 = -l - p - 7, 5*l - 10 = 2*p + 2*p. Let j(g) = g**3 + 6*g**2 + 6*g + 1. Let y be j(-5). Let u = y - -1. Is l > u?
True
Let c = -0.27 - -0.17. Is -1/4 <= c?
True
Suppose 0 = -f + 6 - 4. Let h be 6/(-96)*(f + -1). Which is smaller: h or 0?
h
Let t be 3/(27/(-6))*-6. Suppose -5*c + 10*c + 3*z = t, 2 = 5*c + 4*z. Suppose -4*j + j + s = -5, -4 = c*s. Do j and 0.1 have different values?
True
Let q = 4.2 + -0.2. Let g be 57/21 - (-2 - -5). Is q bigger than g?
True
Let u be (-4)/3 - (-248)/24. Is 8 at most as big as u?
True
Let i = 15943/408 - 648/17. Let r = -3/8 - i. Let m = 5/6 + r. Which is smaller: m or -1/5?
m
Let i(y) = -y - 2. Let f(b) = -7*b - 10. Let c(u) = 6*u + 9. Let d(v) = 6*c(v) + 5*f(v). Let z be d(-8). Let q be i(z). Which is bigger: 3 or q?
3
Let x = 29 + -4. Is x at least as big as 26?
False
Suppose 5*b - 2*b + 4*k = -18, -3*b - 2*k = 12. Let g be 168/928 + b/8. Is g less than 1?
True
Let z be 2/(-5) - 452/(-30). Which is bigger: -1 or z?
z
Let t = -31/2 + 16. Suppose 0 = y - 5*y - 16. Let b(j) = j + 5. Let l be b(y). Which is smaller: t or l?
t
Let t(q) = q**2 - 4*q + 5. Let b be t(4). Suppose 6*m + 9 = m + o, 4*m + 24 = b*o. Do m and 0 have different values?
True
Let x(c) = c - 4. Let h be x(6). Let g be 0 - 50/(-24) - 2. Let u = 5/12 + g. Is h smaller than u?
False
Let d = 1.8 - 1.7. Is d at most as big as 0.1?
True
Let z be 8/16*14/1. Let h = 0 + z. Let w be (2 - 6)/(0 + h). Is -1 less than w?
True
Let l = 37 + -30. Which is bigger: l or 8?
8
Let z(k) = 5*k - 1. Let g be z(1). Suppose d + 11 = r, -g = -2*r - 5*d + 4. Is r less than 9?
False
Let z be 1/2 - -3*1/(-2). Is z != -14/15?
True
Let w = 1 + 12. Let x = w + -27. Let p = x - -41/3. Is p bigger than -1?
True
Let r be ((-86)/4)/((-15)/(-114)). Let b = r - -164. Suppose -3*w = -s - 5, 0 = 4*w - 3*w - 2. Which is greater: b or s?
s
Let i = -1.2 + 1.2. Which is smaller: 4 or i?
i
Let h = -0.15 + -6.85. Let y = h + 7. Is 10 at most as 