, 45 = 4*w + 5*p. Suppose -k = 4*k - w. Is k at most as big as -1/6?
False
Let b = -0.18 - -0.18. Let r = 4 - b. Do r and 3 have the same value?
False
Let u = -2/59 + -226/295. Let j = 9 - 1. Let g(l) = -l + 7. Let m be g(j). Are m and u nonequal?
True
Let l be 2*((-7)/(-2) - 3). Let z be (-20)/(-12) - l/(-3). Is 2/11 smaller than z?
True
Let m = 17 + -15. Is m at least as big as -0.04?
True
Let d = 2923/574 + -5683777/1081990. Let z = d + 1/145. Do 1/6 and z have different values?
True
Let u = 0.4 - 0.4. Let f = u + -0.2. Which is smaller: f or 1?
f
Suppose z + 6*f = f - 12, 4*z = -5*f - 3. Is 3 greater than z?
False
Suppose 0 = o - 5*n - 3295, 0 = -o - 5*n - 1712 + 4987. Let r = o - 9734/3. Let j = -41 + r. Is j at most as big as -1?
False
Suppose 0 = -4*x - 5*k - 49, 2*k + 2 + 0 = 0. Let r(j) = -11*j**3 + j**2 - j - 1. Let q be r(1). Which is smaller: x or q?
q
Suppose o + 33 = 2*r, r + 2*r - 3*o - 42 = 0. Which is greater: 0.1 or r?
r
Suppose 0 = -0*l - 4*l. Suppose -10 = v - l. Let o be (-2)/(-16)*(v + 4). Which is smaller: o or -1?
-1
Let w be -2*(2 + 0)/(-1). Suppose 15 = -2*h + 7*h. Is w at most as big as h?
False
Let z(n) be the third derivative of n**5/60 + n**4/8 - n**3/2 - n**2. Let b(p) = -2*p**2 + 7*p - 10. Let m be b(2). Let y be z(m). Does y = -2/7?
False
Let a be 102/(-18) + (-2)/6. Let n = 6 + a. Is 1/4 less than or equal to n?
False
Let l = -36 - -28. Which is greater: -5 or l?
-5
Let q = -2067/7 + 296. Which is bigger: 0 or q?
q
Let p = 24187/5802 + -2/967. Which is smaller: 4 or p?
4
Suppose 0*z + z = 1. Let x = z - 1. Let l be (-3)/36 - 5/(-15). Which is greater: l or x?
l
Let d = 70 + -62. Which is greater: d or -3/4?
d
Let g = -38 + 21. Let k = g - -19. Is k equal to 2?
True
Let y = -2/2675 - -16084/45475. Do y and 0 have different values?
True
Suppose -5*s = 2*o + 42, 0*o - o - 22 = 3*s. Is o smaller than -15?
True
Suppose -5*y = -15*y + 20. Is y at least as big as 15/14?
True
Suppose 0 = 3*y - 4*y - 5, -5 = -3*l - 2*y. Suppose -3*q - 2*q - l = 0. Is q at most 0?
True
Let d = 2 - -2. Suppose d*r = -0*r - 4. Let t = 2/97 - -89/388. Is t >= r?
True
Let a = 10 - 9.8. Are a and 1 non-equal?
True
Suppose 5*h - 91 = -2*h. Is h greater than 1?
True
Let x = -7 - 7. Which is smaller: x or -12?
x
Suppose 0 = 2*w - 31 - 29. Is w < 30?
False
Suppose -3*g = -0*g. Which is bigger: g or -5/6?
g
Suppose v - 14 = 5*p - p, 0 = -2*p - 8. Let b = 1 + v. Is 2/11 at least as big as b?
True
Let w = -2 - -2. Let a = 142 + -143. Which is smaller: a or w?
a
Let b = 4 + -6. Let m(t) be the second derivative of t**3/3 + t**2/2 + t. Let w be m(-2). Is w smaller than b?
True
Let t = -598/5 + 119. Let h = 2/9 + -23/63. Which is smaller: t or h?
t
Let q be (-1)/2 + 6/8. Let y = -12 + 11.82. Let j = y + 0.08. Which is greater: q or j?
q
Let z(n) = n**3 + 3*n**2 - n + 3. Suppose 4 = -5*l - 11. Let s be z(l). Suppose a = s*a. Which is greater: a or 0.1?
0.1
Suppose 3*d + 4*o = -25, 2 = 3*d - 3*o - 1. Let t = -4 - d. Is t < -9/5?
False
Let z be 58/70 + 30/(-75). Which is greater: z or 0?
z
Let k be 0/(-3 - -7) - -1. Which is smaller: k or 0?
0
Let u be (3/4)/(2 - (-185)/(-40)). Let i be (2 - 1) + 0 + 0. Is i > u?
True
Suppose 0 = -r - 6. Let f be r/(-2)*(-1 + 0). Which is smaller: 1 or f?
f
Suppose 2 = 3*s - r - 8, 2*s + 5*r - 1 = 0. Let d be (-3)/(0 - 9)*s. Is 1/3 at most as big as d?
True
Let n be (-3)/(-15) + (-24)/(-5). Suppose -2*v - 12 = 5*g, 3*g = -4*v + n*g. Let m = 6 + v. Which is bigger: 3 or m?
m
Let f = 18.3 - 0.3. Let z = f + -17.8. Which is smaller: -0.2 or z?
-0.2
Let n be 2*4/(-8) + 4 + -3. Is n less than or equal to 5/11?
True
Suppose 2*s = 4*n - 40, -3*n + s + 21 = 4*s. Let f be 0/n - (-2)/(-7). Is -11 greater than or equal to f?
False
Let q = -26 - -4. Is -23 > q?
False
Let p be -3 - (-8 + -1 - -1). Suppose p*h + 2 = 17. Is h bigger than 4?
False
Let p = -0.4 + 7.4. Let g = p + -9. Which is greater: -3/5 or g?
-3/5
Let n = 3/35 + -13/210. Does 0 = n?
False
Suppose -3*x + 0*x - 2*h + 2 = 0, -5*h = 3*x - 5. Let r(v) = v**3 + 3*v**2 - 4*v - 1. Let i be r(-4). Is i smaller than x?
True
Let l(y) = y**3 - 11*y**2 - 11*y - 7. Let z be l(12). Which is smaller: 8 or z?
z
Let k = -2692/3 - -866. Let d = k + 31. Is d at most as big as -2/9?
True
Let m = 0.53 + 1.87. Which is smaller: m or -1?
-1
Suppose 0 = 2*u - u - 2. Suppose r - 2*x = 14, 0 = r + 2*r + 5*x + 13. Which is smaller: u or r?
u
Let y = -0.3 + -5.7. Let j = y + 6. Is j >= 1/2?
False
Let l = 6.08 - 0.08. Let q = 5.9 - l. Is q at least as big as -1?
True
Let o = -42 - -2. Which is greater: -39 or o?
-39
Let b(a) = 2*a**2 + 2*a. Let z be b(-2). Is z at most 3?
False
Let l be (-4)/(-3)*2/(-12). Let b = 18.1 - 18. Is l smaller than b?
True
Let i = 2/53 - -49/106. Which is bigger: 2/5 or i?
i
Suppose -4*q + 21 = 5*f, 2*f = -2*f - q + 19. Let y = 7 - 1. Which is smaller: y or f?
f
Let x(l) = -l**3 + 12*l**2 - 10*l - 12. Let j be x(11). Is -1 not equal to j?
False
Suppose -10 = -3*x + b + 1, -24 = -5*x - 4*b. Suppose 2*s - c - 17 = x*c, -4*c = 2*s + 10. Is 2/11 smaller than s?
True
Let v(p) = p**2 + 9*p. Let x be v(-8). Which is bigger: x or -4?
-4
Let d be 6/44*114/(-18). Let n = 4/11 + d. Let z(j) = -j**2 - 5*j - 1. Let f be z(-5). Which is bigger: f or n?
n
Let k = -143 - -141. Which is smaller: 20 or k?
k
Let u be 28/13 - 2/1. Let f = 103 + -102. Is u less than or equal to f?
True
Suppose -28 = -q + 5*a, 5*q + 10 = -8*a + 3*a. Let y = q + 7. Suppose -d = 4*d - y. Are d and 0 unequal?
True
Let x = 0.05 - -17.95. Is x < -0.1?
False
Let f be (-1 - -1)*1/(-2). Is -3/4 at least f?
False
Let l = -33 - -67/2. Is 2 at least as big as l?
True
Let h = 466/3 + -157. Is h at least as big as -2?
True
Suppose 3*q = -5*i + 10, 5*q = -5*i - 1 + 21. Let m(h) = h + 2. Let c be m(0). Let t = c + i. Is -1/4 bigger than t?
False
Let a = 6 - 6.1. Let j = a + 0.3. Let t = -1.2 - -0.2. Do t and j have the same value?
False
Let y = -39 - -30. Which is smaller: y or -8?
y
Let r be (4/10)/((-2)/60). Let g be (11/2)/(1/(-2)). Which is bigger: r or g?
g
Let l be (1 + -6)*8/10. Let i be (-63)/(-28) + 1/l. Let q be 0 + (-3)/(-3) - i. Is 1/7 at most as big as q?
False
Let b = 15 + -11. Suppose 5*o - 25 = 0, b*d - 3*o + 4*o - 21 = 0. Let q(g) = g**3 + 5*g**2 + 2*g - 4. Let n be q(-4). Is d greater than or equal to n?
True
Let k(n) = -n**3 + 7*n**2 - n + 8. Let c be k(7). Let g be 1/(-3) + 0/c. Let s(y) = y + 1. Let v be s(-2). Are g and v equal?
False
Let q be (828/(-15))/(-4) + (-13)/(-65). Is q smaller than 14?
False
Let y = 0.8 + -3.8. Let d = y - -2.8. Let r = 1 - 1.2. Do r and d have the same value?
True
Let c = -0.6 + 0.1. Is c greater than -1?
True
Let o be 2*(4 - 92/24). Suppose 0*i = -5*i. Which is smaller: i or o?
i
Let a = -45/47 + -11897/141. Let r = 86 + a. Which is bigger: -1 or r?
r
Suppose 0 = 2*i + 2*i - 8. Which is greater: -1/5 or i?
i
Let s = -1 + 2. Let u be 2*-1*s/(-7). Let n = -0.41 - -0.81. Which is bigger: n or u?
n
Let q = -153 - -32. Let o be (-2)/(-11) + 22/q. Is -1/4 < o?
True
Let v = -159/4 + 40. Which is bigger: -1 or v?
v
Let r be (4/4)/((-2)/(-6)). Let p be (r/4)/(36/32). Do p and -6 have the same value?
False
Suppose 9*h - 5 = 14*h. Is -17 <= h?
True
Let a be -6 + (-3 - -1) + 2. Suppose 3*z - u = 16, -3*z - 2*z + 4*u = -36. Let v = z + a. Is -3 > v?
False
Let d be 10/(-1 + 6/2). Suppose d*o + 4 = o. Is -1/14 greater than or equal to o?
True
Let z = -0.38 + 0.3. Let m = z - 0.22. Let g = m + 0.4. Is -1/3 at least as big as g?
False
Suppose 4*x = 6*x. Let f be ((-2)/(-35) + x)/(-1). Suppose -42*t = -47*t + 5. Is t at most f?
False
Suppose -6*f + 11*f = -40. Which is smaller: -5 or f?
f
Suppose -k + 6 = -2*t, 0 = -2*k - 4*t - 0*t - 12. Which is bigger: k or -1/4?
k
Let k = -30 + 34. Which is smaller: 3 or k?
3
Let w = 118/3 + -39. Let m = -3 + 1. Is w less than m?
False
Let a = -4 - -4. Suppose a = r - 3 + 5. Which is greater: r or -4?
r
Let u = 1695/356 + -1/89. Do u and 5 have the same value?
False
Let a = 156 - 155.967. Is a equal to -1?
False
Let c be (-1)/((-15)/(-6) - -1). Which is smaller: -0.9 or c?
-0.9
Let z(f) = -f**3 + 9*f**2 + 2*f - 5. Let i be z(9). Suppose -i = -x + 3*u + u, 0 = 4*u + 12. Let r = 0 - x. Are r and -1 non-equal?
False
Let t = -6735/7 + 296039/308. Let p 