 j be s(-1). Let k = 7 - j. Let f be k/3 + (-2)/(-2). Is 1/5 smaller than f?
False
Let p = -2.06 - -0.06. Which is smaller: 0.2 or p?
p
Let m = 68/3 + -23. Which is smaller: m or 1?
m
Let b = 0.012 + -0.112. Is 13 > b?
True
Suppose f - 4*g - 14 = -7*g, 3*g = -3*f + 12. Let m be (2/4)/(f/(-2)). Suppose 2*v + m = 5. Which is greater: v or 1?
v
Let c = 384 - 10366/27. Is c at least 0.2?
False
Let g = 4 + -4.2. Is g > 1?
False
Let c = 6 + -6. Let x be 2 + 0 - 5*2. Let l be ((-19)/x - 2)*-2. Which is bigger: l or c?
c
Let f = -0.88 - -0.98. Which is bigger: f or 59?
59
Suppose -2*r - 10 = 4*q, 4*q + 17 = 2*r - q. Is -3 smaller than r?
True
Let c = 19 - 19. Let d = -0.19 - -0.29. Which is smaller: d or c?
c
Let n(y) = -y**2 - 13*y. Let g be n(-13). Let u = 36 - 16. Let z be (-2)/(-3) - u/12. Which is bigger: z or g?
g
Suppose -12 = -4*a - 0. Suppose 0 = c + 2*c + a. Let s = c - -3. Which is smaller: 2/3 or s?
2/3
Let s = -83 - -76. Which is bigger: s or -3?
-3
Suppose b = -0*b + 5*w - 13, 0 = -5*b + 2*w - 42. Let t be (b - -8)/((-2)/(-1)). Suppose -2*j = -3*c - 10, 4*c + 9 = -j + 2*c. Which is smaller: t or j?
j
Let n(g) = g**3 - 3*g**2 - 3*g - 1. Suppose -v - 2*k = -9, -3*v + k = -6*v + 12. Let q be n(v). Let z be q/(-6) + 2/(-12). Which is smaller: z or 1?
1
Let g = 31/2 - 17. Let b(o) = -o**3 + 6*o**2 + 7*o - 8. Let h be b(7). Let a = h - -5. Which is greater: a or g?
g
Let j be 1/26*(3 - 1 - 4). Let n = 0.8 - -0.2. Which is smaller: n or j?
j
Suppose -6 + 2 = -x. Let r = x + -2. Let a = -5 + 9. Do r and a have different values?
True
Let i = 12/91 + -207/91. Let w be ((-114)/(-315))/((-1)/(-5)). Let t = i + w. Which is greater: t or -0.1?
-0.1
Let a be 36/24*(-2)/9. Let h = 6 - 1. Which is smaller: a or h?
a
Let v be 1 - (76/(-20) - -5). Is v greater than -10?
True
Let d = -3/455 - 4517/5005. Which is smaller: d or -1?
-1
Let p = 20/3 + -77/12. Is -1/34 at most as big as p?
True
Let j(r) = -r**3 - 8*r**2 + 4*r + 11. Let f be j(-8). Let d be (-1)/(2 + f/10). Let l be -2 + 3 - d/8. Which is smaller: l or -2/5?
-2/5
Suppose 6*v - v - 30 = 0. Is v at least as big as 7?
False
Let d = -43 + 40. Is d > 0?
False
Let q(p) = 3*p - 1. Let y be q(1). Let m = -403 + 4439/11. Which is bigger: m or y?
y
Let v = -52 + 152/3. Let z = -2 - v. Suppose 0 = -0*q + 4*q. Is q less than z?
False
Suppose 0 = k + 2*m - 9, 12 = 2*m + m. Which is bigger: 7/3 or k?
7/3
Let a be (-21)/(-98)*(2 + -4). Which is smaller: a or 0?
a
Let d be 12/16 + (-1)/(-4). Let s be d + 8 - (3 + -2). Suppose 4*v + 0 = -s. Is -3 less than v?
True
Let r(k) = 2*k - 18. Let i be r(9). Let m = -5/2 - -7/3. Is m smaller than i?
True
Let x = 83 + -247/3. Is 1 > x?
True
Suppose -4*u = -z + 20, -2*z = -7*z. Is u at least 0.08?
False
Let r(s) be the first derivative of s**2/2 + 5*s + 2. Let j be r(-4). Which is smaller: 0 or j?
0
Suppose 23 = s - 3*z - z, 3*s - 5*z - 55 = 0. Suppose 3 = d + s. Let f be (-20)/(-15)*2/d. Is f at most as big as 0?
True
Let n = -348 - -1749/5. Suppose -3*y = y - 8. Which is greater: n or y?
y
Suppose 0 = 3*i + 3 - 15. Suppose -v = 0, x + 4*v + 3 = i. Which is greater: x or -1/15?
x
Let x be (7 - 4 - 3)*(-1)/(-2). Let s = -6 - -8. Suppose -s*z = 3*z. Does x = z?
True
Let l(x) = -9*x - 47. Let c be l(-8). Is 76/3 less than c?
False
Suppose -4*v + 36 = -20. Let c = 15 - v. Suppose 0 = 2*i + 4*m - 18, -3*m + 2 = -2*m. Which is smaller: c or i?
c
Let f = 15 - 59/4. Is f < 3/16?
False
Let g = 2/93 - -172/651. Let u = -5 - -2. Let l = u + 3. Which is smaller: l or g?
l
Let z(y) = -y**2 - 5*y + 1. Let p be z(-5). Let q = -3 + 3. Is q at least p?
False
Let w(a) = -a**3 - 16*a**2 + 2*a + 19. Let y be w(-16). Which is smaller: y or -15?
-15
Let k = -9 - 2. Which is greater: 0.1 or k?
0.1
Let c = 0.1 - 0.2. Let t = 0 - 0.1. Let k = c - t. Is -2/7 at most as big as k?
True
Let j be 190/1476*(-26)/(-60). Let w = -3/164 - j. Let p = 20 - 21. Which is smaller: p or w?
p
Let j be (2/30)/((-11)/33). Which is smaller: 1 or j?
j
Let u(g) be the first derivative of -1 - 1/2*g**2 - 3*g. Let j be u(-4). Which is smaller: -1/3 or j?
-1/3
Let n be 6/39 - (-1471)/(-13). Let z = -793/7 - n. Which is greater: z or 0?
0
Suppose -g = -10 - 7. Let r = g + -12. Suppose -r*f + 25 = -0*f. Are f and 5 unequal?
False
Suppose -3 - 17 = -4*l. Suppose -l*b = -5 - 0. Which is bigger: b or 3/17?
b
Suppose b - 2*b = -3*n - 3, -5*b - 9 = -3*n. Let y be (-4 + 1)*1/1. Is b smaller than y?
False
Let d be (10/3)/((-12)/(-36)). Are d and 9 unequal?
True
Let d = 1 - -4. Suppose h + h - 4*c = -10, 20 = -h + d*c. Is h at most 5?
True
Suppose 0*v - 216 = -4*f + 4*v, 0 = 3*f - v - 152. Let p be f/(-14)*(-1 + 3). Let t = -5 - p. Which is bigger: t or 3/2?
t
Let p = -0.6 - -0.58. Let d = p - -4.02. Suppose -4*j + 1 - 5 = 0. Is d smaller than j?
False
Let j = 6.13 + -0.13. Which is smaller: j or -1/7?
-1/7
Let a = 10 - 7. Are a and 3 unequal?
False
Let p(n) = -n**2 - 10*n - 12. Suppose 0 = 3*j + 28 - 4. Let c be p(j). Suppose c = 3*w + 7. Are w and -1 nonequal?
False
Suppose 0*w + 3*w = 0. Let c = 4.5 + -5. Let a = c - 0.5. Is w less than or equal to a?
False
Let l(m) = -2*m - 3. Let g be l(-2). Let a = -4.5 - -0.5. Let u = -2 - a. Which is smaller: g or u?
g
Let i = 4/83 + 2960/581. Is -1 <= i?
True
Let k = 142/9 + -7012/441. Which is smaller: -1 or k?
-1
Let p be (12/7)/((-12)/(-32)). Is p at least 4?
True
Let u(t) = 12*t - 2. Let h be u(-3). Let b be 6/h*(-6 + 7). Is 1 bigger than b?
True
Let z = 11 - 12.2. Let o = 3.2 + z. Which is greater: 1 or o?
o
Suppose -7 = 5*f + n, -2 = -4*f + 4*n + 2. Which is smaller: f or -2?
-2
Let b = -6.5 - 41.5. Which is bigger: b or 0?
0
Let d be (2/14)/(1/(-5)). Let q be (-3)/(2/(-12)*-9). Do q and d have the same value?
False
Let i = 7 - -14. Let r be i/14*2/(-3). Is 2/5 equal to r?
False
Suppose 3*n - 15 + 3 = 0. Suppose o = 5*o + n. Is 1 equal to o?
False
Let s(b) = -2*b**3 + b**2. Let a be 2/(3/((-3)/2)). Let o be s(a). Suppose -2 = -5*y + o. Is 0 less than y?
True
Suppose -b - 26 = 5*s, -4*b = -3*b + s + 6. Let j(l) = 6*l. Let v be j(b). Let u be (-10)/24 - v/9. Is 0 > u?
False
Let q = 1.08 + -0.18. Let g = 1.2 - q. Is 1/4 smaller than g?
True
Let l(d) = d**2 - d - 3. Let v(x) = -2*x**2 + 3*x + 6. Let j(r) = -7*l(r) - 3*v(r). Let m be j(-4). Is -4 < m?
False
Let q = 0 - 0. Suppose 0 = -q*i + 3*i - 3. Which is smaller: -2/7 or i?
-2/7
Suppose -4*p - 1 = 23. Suppose 0 = 17*t + t. Which is greater: p or t?
t
Let o = -22 - -30. Which is bigger: o or 7?
o
Let y = -1 + 1.3. Which is smaller: -1/4 or y?
-1/4
Let i(w) = w**3 + 7*w**2 - 10*w - 13. Let r be i(-8). Is r at least 4?
False
Let j be (-19)/5 - 1/5. Let u be (-15)/(-10)*j/6. Which is greater: -1/16 or u?
-1/16
Suppose 4*n + m = 2*m - 27, 0 = -4*n + 5*m - 23. Let f(p) = p**2 + 6*p - 2. Let w be f(n). Is w at least 4?
True
Let a = -24 - -23. Let z be 1070/4*(-24)/(-44265). Let r = -2/227 - z. Is r > a?
True
Let c = 15 + -14.98. Is c smaller than 1?
True
Let v = 6474/17743 + -2/1613. Let l(d) = -d**3 - 3*d**2 - 2*d - 6. Let p be l(-3). Which is smaller: p or v?
p
Let z(k) = -57*k**3 + 2*k**2 - 2*k + 1. Let t be z(1). Let f = -279/5 - t. Is f equal to -1?
False
Let v be (-2)/6 + (-6)/9. Let y be (1/4)/(v/(-1)). Is 0 greater than y?
False
Let b(n) = -n**2 + 6*n + 5. Let f be b(6). Suppose -16 = -5*s + 3*k + 23, -45 = -5*s + f*k. Is 5 less than s?
True
Let b = -668/9 + 74. Suppose -3*y - 7 = -2*d, 0 = 5*y - 5 + 20. Which is smaller: d or b?
d
Let n = 0.1 - 3.1. Do 0.2 and n have the same value?
False
Suppose 0 = -0*k + 4*k. Which is smaller: 2 or k?
k
Let b = 10/7039 - 11185201/161897. Let d = b + 69. Which is bigger: -1/4 or d?
d
Let t = -9 + 5.3. Let h = -0.7 - t. Let c = 0.3 - 1.3. Which is smaller: c or h?
c
Let i = 29 + -28.9. Is i equal to -3?
False
Let f(v) = v**3 + 6*v**2 - 3*v + 3. Let t be f(-6). Suppose t = -5*g + 61. Which is smaller: 1 or g?
1
Let i(h) = 5*h**2 + h. Let f be ((-2)/4)/((-2)/(-4)). Let m be i(f). Suppose 12 = m*p - 5*k, -3*p + 4*p + 2*k = 3. Which is smaller: p or 0?
0
Let d = 3 - 6. Let t = -7 - d. Let r = t - -4. Which is greater: 2/5 or r?
2/5
Let w = 45 - 179/4. Let p(f) = -7*f + 27. Let z be p(4). Is z smaller than w?
True
Let k(d) be the second derivative of -d**4/12 - 2*d**3 - 11*d**2/2 - 2*d. Let j be k