*h - 18 = 33, 5*m + 68 = -2*h. Is -14 != m?
False
Let k = -1.7 - 0.3. Is 2 less than k?
False
Let g(m) be the first derivative of m**2 + 14*m + 3. Let s be g(-10). Which is greater: -5 or s?
-5
Let s = 18 - 15. Suppose -s = 6*c - 9. Which is bigger: c or 3/4?
c
Let m(y) = y**2 + 3*y - 11. Let g be m(-6). Let b(a) = a**2 - 5*a - 9. Let i be b(g). Which is smaller: -0.1 or i?
-0.1
Let t(d) = -d + 10. Let y(b) = -b**2 + 6*b + 2. Let w be y(5). Let h be t(w). Suppose -h*v = -v + 2. Which is smaller: -2/7 or v?
v
Let a be 0 + -1 - 24/(-4). Suppose -21 = v - a*z, 0 = -5*v - z - 0 - 1. Do v and -3/7 have different values?
True
Suppose -1 = m - 3*g + 3, -4*g = -5*m + 2. Suppose n = m*n - 17. Which is bigger: 16 or n?
n
Suppose 0 = -4*g + 2*g + 6. Let z be 4/(-3)*g/14. Suppose 1 = 5*i + 2*r + 2*r, -10 = -5*i + 5*r. Which is greater: i or z?
i
Let y(k) = -k**3 - 9*k**2 + 9*k - 10. Let m be y(-10). Let h = 1 + m. Which is smaller: -2/11 or h?
-2/11
Let o be 10/(-4)*1/5. Let m be -1 - -3*3/(-9). Let s = m - -2. Is o greater than or equal to s?
False
Let g = 11.3 - 11. Is g not equal to -1/3?
True
Let g = -0.3 - 0.7. Let n = -0.35 - -3.55. Let f = n - 3. Which is smaller: f or g?
g
Let a(h) = h**2 - 8*h - 6. Let g be a(9). Is 1 less than or equal to g?
True
Let f = 3 - 2.9. Is f less than or equal to 4/11?
True
Let v = -2.9 + 3. Let o = -0.2 + v. Which is bigger: o or 2?
2
Let o = 2 + -2.1. Let q = o + 1.1. Let z = q + -2. Is z <= -1/4?
True
Suppose -4*z + u = 31, -4*z = -4*u + 39 + 1. Suppose -4 = d - 0. Let a be d + 2 - (-3 - -9). Which is smaller: z or a?
a
Let y = 1 - 4. Let s be 145/(-25) + 5 + 2/5. Which is smaller: y or s?
y
Suppose 14*f = 16*f - 6, -5*q = 5*f - 10. Which is bigger: 2/239 or q?
2/239
Let n(r) = r**2 - 4*r - 3. Let p be n(5). Let b be p + (-4 - 1) + 6. Is 2 not equal to b?
True
Let o = -12 - -37. Is o bigger than 25?
False
Let k(d) = d**3 + 6*d**2 + 5*d + 2. Let o be k(-4). Suppose -j + 4*q = -o + 3, 0 = 4*j + 4*q + 16. Which is smaller: j or -2/7?
j
Let i be (-458)/10 + 6/(-30). Which is smaller: -47 or i?
-47
Let j(o) = o - 31. Let t be j(27). Which is smaller: 1 or t?
t
Suppose -2*t + 5 + 1 = 0. Suppose t + 13 = -4*q, 0 = -2*k + 5*q + 26. Is k < 2?
False
Let n = -11 + 7. Which is smaller: -5 or n?
-5
Let x = 8 - -1. Let o = -8 + x. Which is bigger: -2/7 or o?
o
Let a = 3 + -2. Suppose 5*u + a = 4*u. Is u at least -2?
True
Let u(q) be the second derivative of 0 - 1/12*q**4 + 1/2*q**2 - 1/3*q**3 + 2*q. Let m be u(-3). Which is smaller: m or -3?
-3
Let p be ((-3)/6)/(6/(-72)). Is 17/3 bigger than p?
False
Let y be (16/308)/(-1*2). Let m = 227/154 - y. Which is smaller: m or 3?
m
Let c = 1 - 0.8. Which is smaller: c or 2?
c
Let a = 0 + -1. Let v = -3 - a. Which is smaller: v or 1/2?
v
Let x = -475/48 - 7/16. Which is smaller: x or 1?
x
Let v = -1.7 - -5.7. Are -2/3 and v unequal?
True
Let n = 13 - 12. Which is bigger: 11 or n?
11
Let h = -76 - -65. Which is greater: -7 or h?
-7
Let a be (-1)/2 + 11/2. Suppose -a*u = -5*x + 60, 5 + 17 = x - 3*u. Suppose -j - 5 = 4*i, 3*j - 2*i + 13 = 40. Are j and x non-equal?
False
Suppose 4 + 1 = -5*x. Suppose 4*o + 1 = 5. Let q be x/((-1 + -2)*o). Which is greater: -1 or q?
q
Suppose x + 31 = 5*l - 2*x, 8 = -4*x. Which is smaller: l or 4?
4
Let k(s) = 2*s**2 - 5*s + 5. Let m be k(4). Let z = -25 + m. Let a = z - -1. Which is bigger: -6 or a?
-6
Let p(i) = 4*i**3 - 2*i + 1. Let z be p(1). Suppose 16 = 2*l + 2*l. Suppose -z*t - l = t. Is t not equal to 2/7?
True
Suppose r - 3*r = 0. Are 0 and r equal?
True
Let n = -8.06 - -0.06. Let w = n + 7.9. Let p = 0 + 0.1. Does w = p?
False
Let k be ((-3)/6 + 1)*-56. Let o = -139/5 - k. Which is bigger: o or -0.1?
o
Let i(a) = 31*a + 7. Let s be i(-1). Is -93/4 less than or equal to s?
False
Let y be (-2)/(-2) - (-48)/3654. Let t = 22/21 - y. Which is smaller: t or -1?
-1
Let n = -6 - -6.2. Let l = n + -0.4. Is l greater than 0.1?
False
Let t(m) = m**3 + 6*m**2 - 2*m - 6. Let s be t(-6). Suppose 3*d = -2*u + 5*d + 4, -s = -u - d. Suppose 4*g + 24 + u = 0. Which is smaller: g or -6?
g
Let g = -0.93 + -0.07. Is -1/4 greater than g?
True
Suppose 0 = 4*d - 0*d + 24. Let c be 4/6*(-63)/6. Which is smaller: c or d?
c
Let x be ((419 - 2)/3)/(-3). Let d = 46 + x. Which is bigger: d or 0.2?
0.2
Suppose -y = -4*b + 14, 0 = -3*b + b + 4*y + 14. Is b greater than 2?
True
Let q(x) = x + 3. Let l be q(-3). Which is smaller: l or 2?
l
Let b(a) = a**2 + 9*a + 1. Let p be b(-9). Let g be 1/(-1) + (-15)/(-9). Which is smaller: p or g?
g
Let w = -68/3 - -23. Is 2.8 less than or equal to w?
False
Let d(g) = g + 3. Let v be d(-6). Let c(b) = 2*b**2 + 4 + 6*b - 2*b - b**2. Let n be c(v). Is 1/2 smaller than n?
True
Let d = 178/195 - 16/15. Is -1 >= d?
False
Suppose 0 = c - b + 1, -4*b = 2*c - 5*c. Let t be 11/(-4) + 1/c. Let h be (-6)/(-9) + 2/t. Is h less than -1?
False
Suppose a + 2*a + r = -135, 4*a + 167 = 3*r. Let v be (a/18)/2 + 1. Suppose -3*w + 2 = -5*w. Which is bigger: w or v?
v
Let a be ((-9)/48)/((-3)/2 + 3). Suppose -3*f - f = -4. Which is bigger: f or a?
f
Let o = -10 - -2. Let h(j) = -j - 7. Let p be h(o). Which is smaller: p or -1?
-1
Suppose -11*w = 8*w - 437. Which is smaller: 1 or w?
1
Suppose 3*p + 2 = -13. Let n be (-2*1)/(-6 - p). Are n and 3 unequal?
True
Let a be (4/(-20))/(2/(-10)). Let q be ((-12)/32)/((-3)/2). Do a and q have different values?
True
Let s = 0.18 + -0.11. Let l = s - 0.17. Let b = 0.1 - 0.1. Do l and b have the same value?
False
Let f = -3 + 5. Suppose 32 - f = 5*b. Let s be ((-10)/b + 2)*3. Is 3 <= s?
False
Let x = -517/21 + 76/3. Let r be (-18)/(-8) - 1 - 1. Is r bigger than x?
False
Let m = 26 + -44. Which is smaller: m or 3?
m
Suppose -20 - 14 = -2*g. Is 16 smaller than g?
True
Suppose 0 = z + z - 4*c, z + c + 6 = 0. Let m = z + 4. Let w = 2/9 - m. Are w and 1 equal?
False
Let f be (5/11 - -3) + -4. Let t be 2*(-2 - -3) - 3. Are t and f unequal?
True
Let r = -5.9 - -6. Which is bigger: 0.2 or r?
0.2
Suppose -24 = 4*y - 0. Let q(i) = i**3 + 7*i**2 + 5*i - 2. Let a be q(y). Suppose -a*j = -0*j. Which is bigger: 1 or j?
1
Let b be (-1 + -2)*(-5)/(-45). Is b less than 1?
True
Suppose 2*z + 46 = 4*t + 20, -5*t = -2*z - 31. Let b be (-1 + 2)*0 + 2. Let i be 4 - 7 - (-3 + b). Which is bigger: i or z?
i
Let x = 24 - 45. Is -19 smaller than x?
False
Let h be (-8)/68 + 64/(-34). Is -6/7 equal to h?
False
Let r(j) = j**2 + 10*j + 7. Let i(q) = q + 4. Let l be i(-4). Suppose l = -a - 3 - 5. Let o be r(a). Is o < -8?
True
Let q = 149/7 + -21. Let o(z) = 2*z + 3. Let m be o(-3). Let t = -5 - m. Which is smaller: q or t?
t
Let o = 0.799 + 7.261. Let t = 8 - o. Let z = t + 0.16. Is z at most as big as -0.1?
False
Suppose -12*g + 76 = -14*g. Is g at least -40?
True
Let x = -0.09 + 0.04. Let j = x + 0.25. Are j and 2/7 unequal?
True
Let o = 8 + -5. Suppose -4*p - o*x = -3 + 4, -3*p - 2*x - 1 = 0. Which is bigger: p or -2?
p
Let w(y) = -y - 19. Let p be w(-22). Which is bigger: 1 or p?
p
Let u = -3.9 + 11. Let f = -4 + u. Let g = -3 + f. Which is bigger: g or -1/3?
g
Let c be -2 + 40/6 + -2*2. Is c less than -2/9?
False
Suppose -4*h + o - 5 = -1, -3*o = 5*h - 12. Suppose -4*c + 250 - 54 = h. Let u be ((-21)/c)/((-3)/2). Is u at most as big as 1?
True
Suppose -2*f - 10 = -4*f. Let l(h) = -2*h**2 - 3 - 5*h + 3*h**2 + 4. Let p be l(f). Is 2 equal to p?
False
Let t = 141 - 121. Is t not equal to -0.2?
True
Let y be (-4)/(-5) - (-9)/(-5). Let g be (-9)/y + (8 - 6). Which is smaller: g or 9?
9
Let t = -13/3 + 4. Are t and 6 non-equal?
True
Let x(b) = 3*b - 4. Let p be x(3). Which is bigger: 4 or p?
p
Let c(h) = h**2 + 9*h + 4. Suppose n = -k + 4*k + 18, 13 = -4*k + 5*n. Let g be c(k). Let m be (-6)/10*g/(-16). Which is bigger: 1 or m?
1
Let i = -12 - -19. Are i and 7 equal?
True
Let p = 3 + 0. Is 12/5 at least p?
False
Let b = 17 - 21. Are 0 and b nonequal?
True
Suppose 5*o + 4 = -2*a, 0 = o + 5*a + 13 - 3. Which is smaller: 0.058 or o?
o
Let r = 0.964 - -0.036. Which is smaller: 2/3 or r?
2/3
Suppose 2*n - 2 = 4*n. Let w be ((-9)/(-15))/(1/(-5)). Is w <= n?
True
Let u be (396/220)/((-6)/20). Which is greater: -3 or u?
-3
Let f be (-20318)/4*1/13110. Let b = f - -35/92. Let a = -8/57 - b. Does -1 = a?
False
Let o be ((-1)/6)/((-7)/14). Let v = -0.18 - 0.72. 