 10 = 0. Suppose 4*j + o = f*o + 4, -2*j = -3*o - 12. Are 0 and j equal?
True
Let a = -8.07 - -0.07. Let b = -8.2 - a. Let x = 0.1 + -0.1. Which is smaller: x or b?
b
Suppose 2 = 5*t - 18, p - 5 = -t. Let c(b) = -b**3 + 2*b**2 + b - 1. Let f be c(p). Let a be f/5*(-10)/16. Which is greater: a or 1?
1
Let s = 3.5 + -75.5. Which is smaller: s or -2/3?
s
Let t be (-95)/(-4) + 9/36. Is t bigger than 24?
False
Suppose -i + 1 = -4. Suppose 7*g - i*g + 18 = 0. Which is smaller: g or -8?
g
Let z = -3 + 5. Let k be 4 - (0 + -3 + z). Which is smaller: k or 6?
k
Suppose -5*q + 3*f = -2, 2*q - 10 = -2*f - 22. Let j = -81 - -79. Are j and q unequal?
False
Let z(u) = -u + 14. Let q be z(-15). Is q at most 30?
True
Let q = -17 - -11. Let a be (-8)/12*q/(-4). Let j be -1 + a + 1 + 2. Which is smaller: -2/5 or j?
-2/5
Suppose -23 = 13*f + 55. Are -6 and f equal?
True
Let b(w) = -8*w + 7. Let g be b(3). Which is smaller: g or -19?
-19
Let k = -7.3 + 7. Is k less than or equal to 3/5?
True
Let l = -71 + 47. Let a = l + 25. Are a and 2/7 non-equal?
True
Suppose 3*f + 53 = -0*v + 5*v, 0 = 2*v - 5*f - 25. Is v equal to -3?
False
Let x be (-32)/(-6) + (-6)/(-9). Let v = x - 8. Let h be 6/v*2/(-15). Which is smaller: h or -1?
-1
Let a be 15/6*(-4)/40. Is -22 less than a?
True
Let l = -3.57 - -1.57. Which is greater: l or 1/3?
1/3
Suppose -5*d - 120 = -5*k, -d = 2*k + k + 32. Is -26 smaller than d?
False
Let m(c) = c**2 - 1. Let v be m(2). Suppose -x = -54 + 12. Let g be 3/2 + 7/x. Which is smaller: v or g?
g
Let z = 15 - 23. Let r = 11 + z. Which is smaller: r or -0.1?
-0.1
Let l(z) = -z**2 + 4*z - 1. Let x be l(3). Suppose i = 6*i - 5. Are i and x non-equal?
True
Let m = -1745/18 + 97. Let v = 14/9 - m. Which is smaller: 2 or v?
v
Let b = 45851/6 + -7567. Let k = 75 - b. Does 1 = k?
False
Let t(w) = 2*w + 1. Let j be t(-1). Let m = 33/7 - 34/7. Which is smaller: m or j?
j
Suppose 3*l - 6 - 9 = 0. Let n be 0/(-2) - (-15)/l. Let z be (-2)/n*1/(-1). Which is greater: z or 0?
z
Let r be (1 + -4 - -4) + 0. Which is bigger: r or 2/47?
r
Let c(n) = n**2 - 3*n - 2. Let a be c(4). Suppose -15 = 3*v - 3*r, -a*v - 2*r - 10 = 4. Let s be (-1)/(-2) + 15/v. Is 1 greater than s?
True
Suppose -3*n - n = 0. Is 4/9 smaller than n?
False
Let z(g) = -g**2 - 21*g + 28. Let b be z(-22). Is b < 2?
False
Suppose -4*f + d - 7 = 0, -f - 8 + 22 = 5*d. Let r(m) = -m + 2. Let p be r(2). Let z = -2 + p. Which is smaller: z or f?
z
Let d(b) = 5 + 0*b**2 - b**2 - 2*b - b. Let k be 1/6*9*16/(-6). Let c be d(k). Is c less than -1?
False
Let t be ((4 - 0)*1)/3. Suppose -5*r = -8*f + 3*f, -4*r + 6 = -f. Is t < r?
True
Suppose 0*o - 4*o = -1640. Let a = -5737/14 + o. Which is smaller: -1 or a?
-1
Suppose 6*b - 3*j = b - 10, 2 = -3*b + j. Let r be 0/(b + -2*1). Let w be ((r - 0) + -2)/(-9). Which is smaller: w or 1?
w
Let g = -0.325 - -0.395. Let t = 0.2 - 1.2. Let f = t - -1. Which is smaller: f or g?
f
Suppose -4*v - 60 = 5*b, -10 = 2*v - 0*v. Let o = b - -9. Which is bigger: -0.1 or o?
o
Let u = 7.437 + -0.037. Let w = u + -7. Is w smaller than -2/11?
False
Let z(j) = 2*j + 8. Let a be z(-7). Let b(o) = 2*o + 7. Let c be b(a). Let x = 0.81 - 0.81. Is x less than or equal to c?
False
Let w = -2 - -2. Let c be ((-9)/(-54))/(1/(-3)). Let l = c + 1. Is w < l?
True
Let a = 13756 + -178912/13. Which is smaller: a or -5?
a
Let m(f) be the third derivative of f**5/60 - f**4/8 + f**3/3 - 8*f**2. Let n be m(1). Does n = 5/9?
False
Suppose 3*c - 10 = -w, 0 = c - 0*c - 4. Which is smaller: w or -5/9?
w
Let a(c) = 3*c - 15. Let w be a(10). Are 15 and w equal?
True
Let u = -1/218 + -1741/654. Suppose 0 = 2*c - 3*c - p, c = -2*p + 2. Are c and u equal?
False
Let o(b) be the second derivative of -b**5/10 + b**4/6 - b**2/2 + 14*b. Suppose -5*k + 1 = -4. Let r be o(k). Is r less than or equal to -1?
True
Let z(u) = 4*u**3 + u**2 + 3*u + 3. Let b be z(-2). Is -32 >= b?
False
Let w(c) = c**2 + 4*c + 3. Let o be w(-5). Suppose 0 = -p + 5*p - o. Let q be (-1)/(-3) + 5/3. Does q = p?
True
Let z = -7/15 + -1/30. Let k(p) = p + 6. Let q be k(-6). Suppose q*r = 2*r + 4. Do r and z have the same value?
False
Let h(q) = -q**3 + 2*q - 1. Let w = 6 + -5. Let a be h(w). Are -2 and a equal?
False
Let o be -1 - 10/(-15) - 10/(-18). Which is smaller: -1 or o?
-1
Let c be 0/(1*(0 - -1)). Suppose c = 5*s - s. Which is bigger: -1/8 or s?
s
Let s be 12/78 - 12/(-91). Is s greater than 1/2?
False
Let a(t) = t**2 + 5*t - 6. Let u be a(-6). Let k(f) = f + 167. Let s be k(u). Let d = s + -1167/7. Which is bigger: d or 0?
d
Let x = -0.01 - 0.12. Let r = x + 0. Which is greater: -1 or r?
r
Let j = 0 + 0.08. Are -1/9 and j nonequal?
True
Let c be -6 - 150/(-24) - (-46)/(-120). Which is bigger: c or -1?
c
Let d be 7/2*(-8)/(-20). Is d greater than 0?
True
Let m = 161/272 - 9/17. Suppose 6*r - 3*r + 2*r = 0. Is m >= r?
True
Suppose 3*l - 2*l - 2*z - 42 = 0, 0 = -2*l + 3*z + 80. Which is bigger: 33 or l?
l
Let w = 3.4 - 3. Let k = 0.8 + 2.2. Let q = k + -3. Which is greater: w or q?
w
Let m(o) = o - 4. Let q be m(6). Let s(h) = 0*h - h - h + 3. Let u be s(q). Which is greater: u or 4?
4
Let r = 7/20 - -17/5. Let u = -49/12 + r. Is u smaller than -1/2?
False
Let h = -0.02 + 0.02. Is h at most 2/9?
True
Let h = 13.18 + -13. Which is smaller: 0.1 or h?
0.1
Let u = -7 + 6.9. Which is smaller: u or 0?
u
Suppose u + 5 = g + g, 0 = -4*u - 4*g + 16. Let s be (-43)/111 + 26/39. Let p = -2/37 - s. Which is greater: p or u?
u
Let r = 63 + -1. Is 0.1 greater than or equal to r?
False
Let u(q) = q**3 - 8*q**2 + 6*q + 6. Let i be u(7). Let b be ((-15)/9 - -2) + i. Is -1 equal to b?
False
Let w = -7 - 13. Let a be (6/w)/(6/(-5)). Suppose 0 = 4*h - 3*h + 1. Is h equal to a?
False
Let s = -513/5 + 103. Suppose u - 5 - 2 = -2*i, 0 = 4*u - 5*i + 11. Is s < u?
True
Let n(w) = 3*w + 20. Let p be n(-8). Let q = p - -7. Is q greater than 3?
False
Let k = 35 + -32. Suppose 0*r - 11 = -2*r + 5*j, -2*r + 2*j = -8. Are r and k nonequal?
False
Let p(b) = -17*b + 16. Let x be p(2). Which is smaller: -19 or x?
-19
Let d(j) = 6*j - 7. Let b be (-2)/3 - (-98)/21. Let v be d(b). Which is smaller: 16 or v?
16
Let p = -201 - -200.9. Which is smaller: p or -0.28?
-0.28
Suppose 2*i + 4 = i + g, 4*g = 0. Which is bigger: i or -3?
-3
Let w = -38 + 54. Is 15 <= w?
True
Let n be (-1)/6*(-3 - 1). Let g(v) = -2*v - 9. Let r be g(-7). Let l(q) = -q**3 + 4*q**2 + 6*q - 3. Let d be l(r). Which is bigger: d or n?
d
Let y = -4.2 - -3.2. Are y and 8 nonequal?
True
Let c(h) = h**2 - 11*h + 12. Let z be c(9). Suppose f = -5 + 4. Let b be (3/z)/(f/(-2)). Is b at least as big as -1?
True
Suppose o + 19 - 104 = 0. Let p be o/45*(-78)/4. Let f = -37 - p. Which is smaller: f or 1?
f
Let i be ((-222)/8)/((-1)/(-8)). Let m = i + 2440/11. Let v(y) = -y**2 + 5*y - 1. Let o be v(5). Which is bigger: o or m?
m
Let n be 4/2 - (-287)/(-147). Is n greater than -1?
True
Let k = -1 + 0.97. Let h = 4.97 - k. Is -0.2 at most as big as h?
True
Let b = 149/21 - 20/3. Which is greater: 0 or b?
b
Let s be ((-1)/2)/(5/(-20)). Suppose 6*l = 2*l + 3*n + 4, -2 = -s*l - 5*n. Which is smaller: -3/7 or l?
-3/7
Suppose 5*h - 46 = 24. Suppose 15 = -3*c, 3*c + h = g - 0. Let u be 4/4*(g + 0). Which is greater: -3/2 or u?
u
Suppose -3*c + 39 = 3*u + 12, -4*u - 2*c + 38 = 0. Let f(s) = -s**2 + 11*s - 8. Let y be f(u). Is 5/4 smaller than y?
True
Let a = 0 - -2. Suppose 6*p - 4 = a*p. Let n = 143/540 + -2/135. Which is bigger: n or p?
p
Let q = -3 + 3. Let z = -212 - -1699/8. Which is bigger: z or q?
z
Let s(l) = l**2 + 6*l + 5. Suppose i = -2*w - 12, -i - 2*i - 2*w = 20. Let h be s(i). Let r be (-2)/7 + 4/14. Does r = h?
False
Let r = -71 + 73. Is -16/9 at least as big as r?
False
Let j = 0.6 + 0.4. Let d = j - 2. Suppose a + 8 = 4*v - a, -v - 20 = 5*a. Is v less than d?
False
Let z = -0.082 + 0.182. Do z and 6/5 have the same value?
False
Let g(n) = -n + 2. Let p be g(3). Let t be 4/(-2*(-3)/(-9)). Let c be -2*(3/t)/(-1). Is p greater than c?
False
Let m(y) = 4*y + 12. Suppose -2 - 3 = -l. Let i(k) = -5*k - 13. Let n(v) = l*i(v) + 6*m(v). Let t be n(6). Is t at most as big as 3?
True
Let t be ((-18)/(-27))/(34/13470). Let d = 264 - t. Is d greater than 1?
False
Suppose -2*j + 13 = -u, u + 7 = -j + 6*u. Let t = j + -7. Is t a