)/(9/42). Let w = -15 - -13. Is s at least as big as w?
True
Let u be 3*(-4)/(-48) - 92/(-16). Suppose 11 = -0*h + h - m, -3*m + 16 = 4*h. Are u and h equal?
False
Let u = -21 + 31. Which is greater: 11 or u?
11
Let o = -177 - -185.1. Let n = 8 - o. Let c = -0.1 + -0.9. Do n and c have different values?
True
Let c be 1 + (-20)/(-8)*-4. Let f be 4/(9 + 3)*c. Is f >= -1?
False
Let z(h) = -h**3 + 7*h**2 + 2*h - 10. Let y be z(7). Suppose 3*v - y = -1. Suppose 0 = -q - 3*q + 4. Is v equal to q?
True
Let z be 6/(-20)*(-36)/(-27). Which is smaller: 1 or z?
z
Suppose 2*z = 4 + 2. Suppose 0 = -b + z*b + 2. Suppose 0 = a + 3*a. Is b greater than or equal to a?
False
Let k(t) be the second derivative of -t**4/12 - t**3/2 - 2*t**2 - 5*t. Let o be k(-2). Are o and -6/5 nonequal?
True
Let u = -0.6 + 1.3. Let i = u + -0.73. Let r = 2.03 + i. Which is bigger: r or -1/3?
r
Suppose -1 + 25 = -4*o. Suppose -2*f - m = 10, 2*f + 5*m - m + 16 = 0. Which is smaller: o or f?
o
Let w = 0.1 + -0.8. Let v = -188/3 + 62. Which is smaller: v or w?
w
Let r = 0.022 - 23.022. Let g = 23 + r. Is g bigger than -2/11?
True
Let g be (-30)/(-16) + (-37)/74. Which is bigger: -2 or g?
g
Let m = 2 + -3. Suppose -3*u = -3*d - 99, -4*u + 138 - 3 = -5*d. Let o be -2*1*3/u. Which is bigger: m or o?
o
Let c be -3 + (-1)/((-3)/6). Let p = c + 0. Let l be (p - -3)/(-2)*-1. Is -1/3 at least l?
False
Let d(x) = 8*x - 4*x - 7 + x**2 + 5*x. Let t be d(-9). Which is greater: t or -8?
t
Let m be (-232)/(-20) - 4/(-10). Which is greater: 11 or m?
m
Let d(m) = 9*m - 3. Let x be d(1). Let v(i) = -i**3 + 6*i**2 + 3. Let t be v(6). Suppose -f - 2*w + t = -1, -3*f + 5*w + 23 = 0. Is x at least f?
True
Let q be (2 - 2)/(1/(-1)). Suppose -3*n + 0*n = -9. Let x = q + n. Is 2 greater than or equal to x?
False
Let t(q) = q**3 + 3*q**2 + 3*q. Let g be t(-3). Let a be ((3/2)/(-1))/g. Which is smaller: -1/3 or a?
-1/3
Let x be (-1)/52 + (-24)/(-96). Which is bigger: -0.1 or x?
x
Let r be 7 + 12/(-3) + 31/4. Which is greater: r or 11?
11
Suppose 2*j = -2*d - 2, -2*j = 5*d - 0 - 1. Let f(c) = c**2 + 3*c + 2. Let h be f(j). Is 4/9 > h?
True
Suppose -3*d + 6 = -0. Suppose 0*w + d = -w. Is w not equal to -4/7?
True
Let b(u) = u**3 - 12*u**2 - 15*u + 19. Let y be ((-6)/9)/((-4)/78). Let t be b(y). Is t < -7?
False
Let a be (2 - (-11)/(-5))*2. Suppose 3*u = 5*z - 0*u - 10, -5*z = 4*u + 25. Is z at most a?
True
Let a be (-39)/85 + 4/10. Let d = a + -63/85. Let y = -3 + 2. Which is bigger: y or d?
d
Suppose 4*a + 0*a = -12, 2*w - 6 = 4*a. Is -3 less than w?
False
Let r be (-14)/7 + 1 + 10. Suppose r = 2*l - 3*l. Let u be (l/4)/(3/8). Are -7 and u equal?
False
Let l = 2 - 2.3. Let h = -1.2 - -0.2. Is l bigger than h?
True
Let g = -11 + 9. Do g and -0.08 have the same value?
False
Suppose 0 = -8*x - 95 + 279. Is x smaller than 22?
False
Let z be (-159)/((-22)/(-8) - 2). Let d be 30/(-195) + z/(-26). Is d at most 7?
False
Suppose -5*z = g - 0*g - 3, z = 4*g + 9. Which is smaller: -3/11 or z?
-3/11
Let n be ((-4)/(-6))/((-60)/18). Are n and 1 unequal?
True
Suppose -5*h - 2*v = 2, 2 = 5*h - 5*v - 3. Let n = 1.5 + -2.7. Let c = n - -0.2. Is h greater than c?
True
Suppose -23 = -7*s + 8*s. Which is smaller: s or -22?
s
Let s(l) = l**2 - 16*l - 89. Let y be s(20). Which is smaller: -11 or y?
-11
Let d = -619/6 + 103. Is d smaller than -1?
False
Let m = 7 - 0. Let i = m - 6. Let z = i + 1. Is 1 equal to z?
False
Suppose -v + 5*z - 1 - 9 = 0, 4*z = -3*v + 8. Is v <= -2/25?
False
Let u be (4/6)/(1/(-6)). Suppose 1 = -2*y + 3*b, -5*y + 3*b - 13 = -b. Are u and y non-equal?
True
Let j = -231532/137 + 1690. Which is smaller: j or 1?
j
Let n = 2.46 + -0.46. Which is smaller: 1/10 or n?
1/10
Let c = -0.4 + 2.4. Let x = 0.18 + 0.02. Do x and c have the same value?
False
Let j = -954/7 + 136. Is 16 less than j?
False
Let m(z) be the second derivative of z**5/10 + z**3/3 - z**2/2 - z. Let g be m(1). Suppose 4 = 2*b - g*b. Is -2 not equal to b?
True
Let g(s) = -4*s - 15. Let c be g(-4). Is c bigger than -3/16?
True
Let g(v) = -v**2 - 8*v - 10. Suppose -4*a - 35 = a. Let s be g(a). Which is smaller: -5/3 or s?
s
Let m(b) = b**2 - 4*b + 2. Let k be m(5). Let w be (2/(-3))/((-34)/153). Let g be (-14)/(-4)*w/k. Which is smaller: 1 or g?
1
Suppose 3*b + 45 = -5*x, 0 = 5*x + 4*b + 17 + 33. Let y be (9/x)/(3/4). Is -2 <= y?
True
Let g = 0.5 + -0.4. Let k = 3 - 3. Let n = g - k. Which is smaller: 0.4 or n?
n
Let x = 0 - 0.1. Let l = -15 - -12. Is l at most x?
True
Let d be 14/(-8)*(-80)/56. Is 4 less than d?
False
Let s be (-1 - 1)*4/(-4). Suppose s*c - 4 = 6*c. Let i be 11/(-3) - 3/c. Is -0.1 bigger than i?
True
Let c(h) = -h**3 - h**2 + 6*h + 2. Let u be c(-4). Let d = u - 23. Are 6 and d nonequal?
True
Let o = 3 + -4. Let j = 0.6 + -0.6. Do j and o have the same value?
False
Let v(o) = o**3 - o**2 + 2*o + 2. Let j be v(0). Is 3 bigger than j?
True
Suppose 3*q = 3*x + 18, 2*q - 13 = 3*x - 0*q. Is x smaller than -1?
False
Let h = 3 + -3. Suppose 6*p + 4*v = 2*p + 44, h = -5*p - 4*v + 54. Suppose 3 = -j, 4*s + 4*j + p = 3*s. Is 3/4 at most as big as s?
True
Let c = 37 + -35. Which is bigger: c or -18?
c
Let z = -1 + 3. Suppose -2 = -3*m + 1. Is m smaller than z?
True
Let m(s) = s**2 - 3*s - 1. Let q(l) = -l - 6. Let p be q(-9). Let c be m(p). Is -1 smaller than c?
False
Let d = -0.9 - 0.9. Let q = d + 2.8. Is q greater than -5?
True
Let w(a) = a**3 - 2. Let x be w(2). Suppose d = -2*c + 14, d + 15 = x*d - c. Suppose -2*s = -d*u - 8, -u + 7 = 3*s + 2. Which is smaller: u or -3/2?
-3/2
Suppose -11 = -2*l - 1, 2*l + 17 = 3*p. Let c be p*(3 + (-20)/6). Is -11/4 at most c?
False
Let l be 1 + (0 - -1) + -2. Let h = -5 + 6. Which is bigger: l or h?
h
Suppose -2 = -t + 3*t. Is -2/13 less than t?
False
Let j = -46 - -54. Which is bigger: j or 7?
j
Let n = 2366 + -272088/115. Is n < -1?
False
Let r(m) = 5*m**2 - 5*m - 1. Let s be r(3). Is 3/5 bigger than s?
False
Let l be (-4 - -2)/(10/25). Is -1 equal to l?
False
Let k = 8/165 - -2/15. Which is smaller: 0.2 or k?
k
Let f = 11/185 - 1987/27195. Which is greater: -1 or f?
f
Let q = 0.25 - 5.25. Which is smaller: q or 2/13?
q
Let b = -14 - -16. Suppose g + b*g = 27. Do g and 10 have different values?
True
Suppose 4*b - 4 - 4 = 0. Suppose 7*c = b*c. Let h be (-114)/(-63) - (-4)/(-30)*5. Which is smaller: h or c?
c
Suppose f = 2*y + 4, 1 = 5*y + 11. Suppose -l = f, l + 29 = -4*j + 1. Let r be 26/(-42) - 2/j. Is r greater than or equal to 0.2?
False
Let f = 17 + -17.1. Is f bigger than 1.8?
False
Let h = -2/165 - -76/825. Is h not equal to -1?
True
Let n be -4 - (-356)/44 - 4. Is n at most as big as 1?
True
Let a = -6 - -6. Let n be a + (2 - 5) - 0. Is 2 less than n?
False
Let i = 610 + -1808/3. Is 7 equal to i?
False
Let s = -0.12 + -0.18. Is s bigger than -0.3?
False
Suppose -3*v - 276 = 4*b, 3*b - b + 156 = 3*v. Which is greater: -71 or b?
-71
Suppose 3*x + 2*f = f + 48, -2*x + 4*f = -46. Let m = x + -12. Which is smaller: 4 or m?
4
Suppose 7*a = 8*a. Suppose 3*j + 1 + 2 = a. Which is smaller: j or 6?
j
Let c = -86191/195 + 442. Are c and 1 equal?
False
Suppose -5*b + 9*b = 12. Is -1 bigger than b?
False
Suppose -4*r = -3*y - 14, 0*y - 2*y = 4*r - 4. Let a be (y + (-3)/(-6))/1. Which is smaller: a or -2?
-2
Let p = 0.4 + -0.33. Let i = 1.07 - p. Let h = -2 + i. Are h and -5 equal?
False
Let z(q) = q + 3. Let g be z(-3). Let w be 6/(9/6*1). Let b be -2 - -1 - w/(-3). Which is greater: g or b?
b
Let s = 0 - 3. Let m(t) = 5*t**3 + 4*t**2 + 2*t - 5. Let y(j) = 6*j**3 + 4*j**2 + 2*j - 6. Let u(q) = -5*m(q) + 4*y(q). Let r be u(s). Is r equal to -1?
False
Suppose -2*w = -w - 5*z - 29, -2 = 2*w + 2*z. Which is bigger: 5 or w?
5
Suppose 0 = -2*p + 2*h + 44, 11 = -2*p - 5*h + 62. Is 20 smaller than p?
True
Suppose 4*w = -5*d + 21, 3*d - 9 = 4*w + 2*d. Is w at least as big as -1?
True
Suppose o = 3*o + 24. Which is greater: o or -13?
o
Let d = 0.4 + -3.4. Which is smaller: 1 or d?
d
Suppose -2*i + 4*r = 18, -i - 3*i + 2*r = 12. Let p(g) = 2*g - 7. Let z be p(7). Suppose 0 = -4*x - z - 5. Is x bigger than i?
False
Let q be (-8)/6 + (-1)/(-3). Let h be (-2)/(-8)*(-5)/((-45)/(-8)). Is q >= h?
False
Let b = -7 - -18. Suppose -5*i - 31 = -b. Which is smaller: -3 or i?
i
Let g = -15/7 + 83/42. Suppose -3*i + d + 3 = 