ative of -q**2/2 - 6*q - 1. Let m be (-6)/21 - (-54)/(-7). Let c be z(m). Are c and -0.1 equal?
False
Let o = -5 + 9. Let m = 5 - o. Is m at most as big as 1?
True
Let z(n) = 2*n - 8. Let t be z(7). Is 6 equal to t?
True
Suppose 3*m + 2*q = 3*q - 13, 5*m - 4*q = -24. Let o(g) = g**2 + 2*g + 2. Let i be o(m). Let z be 4/i - 12/(-20). Is z >= -2?
True
Let k = 1397/4 - 18065/52. Let l = k + -57/52. Suppose -3*w = h + 3 - 8, 4*w - 4*h + 4 = 0. Is l >= w?
False
Let r be -1*6*7/21. Which is smaller: -3/4 or r?
r
Let w = -27/104 + 5/13. Is 0 smaller than w?
True
Suppose -11*o + 9*o - 3*t - 13 = 0, 3*o + 26 = 2*t. Is -5 less than o?
False
Let h = 14 + -13. Which is smaller: 0.88 or h?
0.88
Let h = -0.198 - -0.098. Which is smaller: h or -21?
-21
Suppose -4*q - q = 0. Which is greater: -2/11 or q?
q
Let c be 3 + -6 + 0 + 9. Suppose 2*v = -2*q - c, -q - 5*v = -5 - 0. Which is smaller: -2/5 or q?
q
Let o(a) = -2*a - 7. Let y be o(-7). Let u(q) = 2*q - 13. Let d be u(y). Is d at most -1/10?
False
Suppose 3*q = -i + 3*i + 14, 2*i = -4*q + 14. Let p = -11/24 - -1/8. Is p > i?
True
Suppose 2*l - 6 = 0, -4*w - 11 = -0*w - l. Is 0 less than w?
False
Let s be (-8)/4 + (-244)/(-118). Let y = -334/295 - s. Which is greater: -1 or y?
-1
Suppose -y = -6*y. Let n(v) = -2*v - 17. Let o be n(-8). Let s = y + o. Which is bigger: -1/2 or s?
-1/2
Let z(b) = b - 13. Let p be z(13). Which is smaller: -1/60 or p?
-1/60
Let d(r) be the first derivative of r**2/2 + 8*r - 2. Let g be d(-8). Suppose g*m = -m - 1. Which is smaller: 1/4 or m?
m
Let l = 1 + -1.1. Let b = l + -0.1. Is 1 at most b?
False
Let d be ((-2)/4)/(2 + -3). Suppose -2*b + 3*v = -1, -b - 2*v = -7*v - 4. Let j be (2/4)/(b/(-2)). Which is smaller: j or d?
d
Let f be (-8)/(-36) - (-4)/(-18). Suppose -5*t - 4*z + 35 = 7, -t + z + 2 = f. Let x = -4 + t. Do 2/3 and x have the same value?
False
Let s = -17.2 + 10.2. Is s bigger than 1?
False
Suppose -5*p - 30 = 5*q, -p = -0*p - 5*q - 24. Suppose 5*b + 0*b = 5, -2*b = z. Let i = p - z. Which is smaller: i or 2?
i
Let r be ((-13)/4 - -2)*-4. Let c(n) be the third derivative of n**5/60 - n**4/2 + 2*n**3/3 + 4*n**2. Let z be c(12). Which is greater: z or r?
r
Let t be 2/3*(0 + -3). Which is bigger: t or -1?
-1
Let b = -87 + 437/5. Let t = -1 + 4. Suppose 11 = -h + t*n, -3*h - 11 = 2*h - 4*n. Which is smaller: b or h?
b
Let t be -4*5/(-20)*1*11. Is t equal to 10?
False
Suppose 0 = 8*c + 18 + 14. Let i = 2/23 - 119/46. Are i and c unequal?
True
Let t be 24/14 - 2/(-7). Suppose -5*d + 10 = -5*k, -t*d = 3*k - d - 10. Suppose -1 = -k*b + b. Is b < 1?
False
Let u be ((2 - 0) + 2*-2)/4. Let i be 7 - 0 - (-1 + 2). Is i equal to u?
False
Suppose -2 = -2*z + 5*z - 2*w, -w = 4*z - 12. Let l be 4/2 - (z - 0). Let y = 35/323 + 3/323. Is l smaller than y?
True
Let u = 2 - 3. Let d be (u/(-3))/(3/9). Suppose -d = -r - 0. Which is smaller: r or -2/9?
-2/9
Let p = -1.8 - -2. Let o be ((-8)/(-40))/(2/5). Are p and o nonequal?
True
Let k be (-415)/(-910) + (2 - (-54)/(-21)). Do k and -1 have the same value?
False
Suppose 0 = -0*b - 15*b - 495. Which is greater: -4 or b?
-4
Let n = -6 - -4. Let w = 0.011 + 2.089. Let g = n + w. Which is smaller: -2 or g?
-2
Let a(i) = -40*i - 163. Let c be a(-4). Let n be (-2 + 1)/(1/1). Do n and c have the same value?
False
Let h = 101/156 - -1/52. Suppose 0 = -3*c - 2*u + 9, 5*c = 4*u - 2*u - 1. Which is smaller: c or h?
h
Let h = -748 - -3696/5. Let u = -161/20 - h. Which is smaller: 0 or u?
0
Let d be ((-2)/1)/(-1 + -3). Suppose -3*p = 2*p. Suppose -4*r + m - 8 = 3*m, p = -2*r + m. Is d bigger than r?
True
Let u = -2 + 3. Let p = 0.1 + 0. Let x = p - 0.3. Which is smaller: u or x?
x
Suppose -s + 5*g = 33, 5*s - 2*s + 5*g - 1 = 0. Which is bigger: -9 or s?
s
Let m(b) = -3*b**2 - b**2 - 8 - b**3 + 9 + 3*b**2. Let s be m(-2). Is s less than 9/2?
False
Suppose -6*x + 20 = -x. Suppose -t - 5 = -x. Which is smaller: -2/5 or t?
t
Suppose 225 = -5*p + 220. Is -1/123 at most p?
False
Let l = -6 + 1. Let v = 4 + l. Let m = 6.1 + -6. Which is smaller: v or m?
v
Suppose -t + 7 = 5*k, k = -5*t - 0*k + 35. Suppose -1 = -2*s + t. Suppose -s*j + 5*d + 10 = 1, 4*j = -4*d. Does j = 1?
True
Let y be (4 - 4)*(-2)/6. Which is smaller: 5/7 or y?
y
Let u(a) = a + 2. Let r be u(-3). Let h be (-3)/11*2/(-18). Which is greater: r or h?
h
Let b be 4/(-24) + 34/60. Which is smaller: -2 or b?
-2
Let l = -1 - -36. Which is bigger: l or 36?
36
Suppose 3*i - k + 1 + 1 = 0, 6 = 3*k. Is i <= 2/73?
True
Let p = 61/4 - 15. Let g(d) = d**2 - 3*d + 1. Let x be g(4). Suppose -u - x = -6*u. Is p smaller than u?
True
Suppose 3*c = 2*t - 9, 0*c + 13 = 4*t - 5*c. Do t and 1 have different values?
True
Let w be 3*7/(42/4). Suppose 2*r + 2 = -2*f + 6, 0 = -4*r + w*f + 8. Do r and 0 have the same value?
False
Let d = -0.36 - -0.06. Let k = d - -1.3. Is 2/11 greater than k?
False
Suppose 0 = -d + 2, -3*x - 4*d = -d. Let v be ((-16)/(-12))/((-2)/(-3)). Which is smaller: v or x?
x
Let u(b) be the third derivative of 0*b - 1/60*b**6 - 1/24*b**4 - 1/6*b**3 - 1/60*b**5 - b**2 + 0. Let f be u(-1). Which is greater: f or -2/5?
f
Suppose -3*f = -2*f + 1. Let j be (-3 - -1)*(-2)/2. Let c = -3 + j. Is f smaller than c?
False
Let w = -3 - -4. Let r be (-39)/(-30) - w/(-5). Let h = 1/17 - 37/51. Is r <= h?
False
Suppose -4*z - 60 = -9*z. Let d be (-2)/z*-2*6. Which is smaller: 3 or d?
d
Let i = 0.2 + -0.2. Let u = -7 - -1. Let r be 0/u*1/2. Is r equal to i?
True
Let c be (-4)/14 - (-4)/(-84). Which is smaller: c or 2/5?
c
Let y(u) = u**3 + 4*u**2 - u + 1. Let g be y(-4). Suppose 2*f = -3*f + g. Which is smaller: -1 or f?
-1
Suppose 5*r - 42 = 4*s - 13, s = 3*r - 9. Which is greater: s or -8?
s
Let s be (1 - (-11)/3)/(-13 + 11). Which is smaller: -2 or s?
s
Suppose -25 = -5*p, 0 = u + 5*p - 116 + 44. Is 47 at least as big as u?
True
Let v be (14/245)/(1/(-5)). Is v bigger than 0?
False
Let h = -5.06 + 5. Let b = -1.06 - h. Is -0.2 <= b?
False
Let z be ((-5)/(-15))/((-1)/(-6)). Let u be ((-5)/(5/z))/7. Which is smaller: 1 or u?
u
Let d(f) = 2*f + 3. Let b be d(4). Let o be 2/(2*b/2). Let t(u) = -u - 2. Let z be t(-2). Is o equal to z?
False
Let c = -7/3 - -5/3. Which is greater: 0.2 or c?
0.2
Let p = 50 - 86. Which is smaller: -35 or p?
p
Suppose 14 = 2*m - 3*z, 4*m - 2*z - 3*z - 24 = 0. Let a = 1 - m. Is -4/5 >= a?
False
Let h = -2 + 4. Suppose h*w = 1 - 7. Let u(x) = -x**2 + 3*x + 7. Let g be u(5). Is g less than w?
False
Let z = 0 + 3. Suppose -z*r + r = -6. Suppose 6*h - 6 = 5*h - 2*p, 0 = 3*h + 2*p - 14. Which is smaller: h or r?
r
Suppose -5*t + 0*t - 5*j + 15 = 0, -2*t + 9 = -j. Suppose -12 = -t*v - 36. Is -5 at least as big as v?
True
Let u = 6 - -4. Let i = 11 - u. Which is greater: i or -2?
i
Suppose 31 = -3*p - 2*u - 3*u, -2 = u. Let n be (-8)/12*3*-4. Let c = p + n. Is -1 greater than c?
False
Suppose 3*p = -w + 3*w - 64, 5*w - 61 = 2*p. Which is smaller: -16 or p?
p
Let x be ((-182)/21)/(2/3). Which is greater: x or -14?
x
Let x(l) = -2*l**2 + 3*l - 3. Let d be x(2). Let k be 1/(d*(-2)/6). Suppose 0 = 2*j - 4*j + 2. Is j less than k?
False
Let f = 0.31 - 0.11. Which is smaller: f or -0.1?
-0.1
Suppose 10 = -m + 3*m. Suppose m = -7*t + 2*t. Which is smaller: t or 2?
t
Let s be 96/10 - 3*10/(-75). Which is smaller: s or 11?
s
Suppose 0 = 2*h - 7*h. Let s be h/1 - -1 - 0. Which is smaller: -6/11 or s?
-6/11
Let i be 4/(-6) + 1/3*-40. Which is greater: -15 or i?
i
Suppose 109 = -6*u + 583. Let j = u + -239/3. Is j smaller than 2/5?
True
Let r be (-9 - -10) + 46/(-50) + 0. Which is smaller: r or 0?
0
Let j(g) = 5*g**3 + 2*g**2 - 1. Let o be j(-1). Let w be ((-2)/4)/(1/o). Is w not equal to 0?
True
Suppose -4*k + 6*f - 54 = f, k - 2*f + 15 = 0. Which is greater: -14 or k?
k
Let d = -0.2 + 0.5. Which is smaller: -2 or d?
-2
Let z be 27/((-4)/(8/3)). Let m = -19 - z. Let t be (3/2)/(138/8). Are t and m nonequal?
True
Let s(r) = -r**3 + 6*r**2 + r - 5. Suppose 0 = -5*k - 10 - 5, -3*o + 30 = -4*k. Let b be s(o). Is -1/12 at most as big as b?
True
Suppose 3 - 12 = w. Let l(j) = -j**2 - 8*j + 9. Let q be l(w). Let k = -45/86 - -1/43. Which is bigger: q or k?
q
Suppose 4*f + 2*c = 7*f + 16, -5*f + c = 36. Let o = 7 + f. Is -1/5 at least o?
True
Let o be 2*-3*(-3)/9. Suppose 0 = v - o*v + 1. Which is smaller