 a(m). Is -6/13 smaller than d?
True
Let d = 73 + -74. Which is greater: 1 or d?
1
Suppose 0 = -5*g + 4 + 1. Let m = 19/3 + -7. Let k = m + 8/9. Are k and g nonequal?
True
Let t = 2890/7 + -414. Which is greater: -2 or t?
t
Let a be (-2)/(5/(15/(-2))). Suppose 5*g + 10 = -2*m - 3*m, -a*m - 4*g = 11. Is 3 equal to m?
True
Let j(u) = -u**2 + u + 2. Let h be j(0). Suppose 4*b - 11 + 3 = 0. Is h greater than b?
False
Let m = -893/15 + 366/5. Is m >= 14?
False
Let r be (-6 + -3)/((-9)/(-6)). Let o = r - -1. Which is smaller: -7 or o?
-7
Let k be (-2)/1 - (-364)/176. Which is bigger: 0 or k?
k
Let t(s) = -s**3 - 3*s**2 - 3*s - 2. Let p(k) = -k + 6. Let d be p(8). Let w be t(d). Is w smaller than 2/19?
True
Suppose -5*u + 8*u = -9. Suppose -2*m = -m + 2*x - 5, 10 = -2*m + x. Is u <= m?
True
Let g = 112 + 33. Let v be (-8)/(-14)*g/(-5). Let z = v - -601/35. Which is greater: z or 1?
1
Let r(k) = k**3 - k**2 - 1. Let g be r(2). Suppose 2*j - 5*x + 4*x - 11 = 0, -3*j = 3*x - 3. Is j <= g?
False
Suppose 4*k - 6*k = 2. Let b = -49/5 - -10. Which is greater: b or k?
b
Let h be 0 + (-1 + 4 - -1). Suppose -3*b - h*z = -6, 3 - 1 = b - z. Let g = 7 - 6. Which is smaller: g or b?
g
Let q be (-3 + (168/(-20))/(-3))*-2. Which is smaller: q or 2/7?
2/7
Let s = 175/234 + -1/18. Are 1 and s equal?
False
Let j = -1.2 + 2.2. Which is bigger: 1.9 or j?
1.9
Let r(v) = v**3 - 12*v**2 + 11*v + 6. Let d be r(11). Is d less than or equal to 5?
False
Let a(v) = 32*v + 13. Let l be a(2). Is l < 77?
False
Let x = -32 + 30. Which is greater: 6 or x?
6
Let s(r) = -10*r**3. Let n be s(1). Let m be (3*2)/(15/n). Is m >= -0.4?
False
Let d be -5 + 1 + 1 - -6. Which is greater: 2 or d?
d
Suppose f = -2*b - 1411, 2118 = b - 4*b - 3*f. Let u be (6/b)/1*-5. Which is smaller: u or -1?
-1
Let o = -23 + 21. Is -4 < o?
True
Suppose 0 = 5*j - 2 + 7. Let p(y) = -y**2 - y - 1. Let l be p(j). Is 1/8 smaller than l?
False
Let a be ((-77)/2)/(1 - (-3)/(-6)). Are -77 and a unequal?
False
Let p(q) = -6*q**3 - 2*q - 1. Let x be p(-1). Suppose 2*f - x = 5*y + 4*f, -2*f = -2*y. Which is smaller: y or -2/9?
y
Let n = -1 - 0. Let o = 0.98 + 0.02. Let h = o - n. Is h bigger than 0.1?
True
Let r = -779/10 - -527/30. Let g = -59 - r. Suppose -4 = -4*m - 0. Which is bigger: g or m?
g
Suppose 9 = 4*n - 7. Suppose 2*u - 8 = -2*g, -3*u - 18 = -7*g + n*g. Let z be (-10)/g - (-1 - 0). Which is smaller: 1/6 or z?
z
Let b be 16/60*9/30. Let n(s) = -s + 5. Let l be n(4). Is b at least l?
False
Suppose -4*w - 2*a = -18, 2*w = -2*w + 3*a + 23. Let c be 1/w - 9/(-5). Suppose u = -c*u. Which is smaller: -3/4 or u?
-3/4
Let r(w) = 3*w**2 + 9*w. Let z(a) = -8*a**2 - 28*a + 1. Let q(i) = -11*r(i) - 4*z(i). Let p be q(9). Let o = -61/2 + p. Is 1/2 bigger than o?
False
Let j = 3 + 2. Suppose -j*h + 174 = -51. Let n be 28/h - 2/5. Do 0 and n have the same value?
False
Let h = -48 - -524/11. Suppose -2*q + 8 = -v + 3, 5*q = -4*v + 6. Do h and v have the same value?
False
Let d(c) = -c**2 - c + 3. Let p be d(3). Which is bigger: -8 or p?
-8
Let d(g) = -g**2 + 6*g + 5. Let j be d(6). Suppose 4*k - 471 = j*k. Let a = k - -8009/17. Do 1 and a have the same value?
False
Suppose 4*w = 4*d + 3*w - 5, -2*d = 2*w. Do 2/13 and d have different values?
True
Let q = 4.9 - 5. Suppose 35 = -3*m - 2*m. Which is bigger: m or q?
q
Let y = 37/3 + -271/21. Which is greater: y or -2?
y
Suppose 2*m - 2*c = -30, 24 = -0*m - 2*m + 5*c. Which is smaller: 1 or m?
m
Suppose -2*d - 5 = 27. Let f be (-9)/12 + 36/d. Let g = -2 + -1. Is g less than or equal to f?
True
Let z be 3 - 434/11*-1. Let s = z - 43. Which is greater: 0 or s?
0
Let t(b) = -b**2 + 6*b - 1. Let f be t(5). Let r(i) = 2*i**2 - 4*i - 1. Let n be r(f). Suppose 5*m + n = 5. Is -1 bigger than m?
True
Suppose -3*j - r + 8 = 0, -3*j + 4*r = -13 - 15. Suppose t - 2 = -j. Let h(z) = -z**2 + 6*z - 5. Let i be h(5). Which is smaller: t or i?
t
Let z = -17 - -18. Which is bigger: z or 0?
z
Suppose 0 = k - 1 - 0. Suppose 6*l = l. Let j = k + l. Which is smaller: j or 2?
j
Let s(p) = p - 15. Let u be s(15). Let n = -1 - u. Is 1/3 smaller than n?
False
Let q be (1/2)/(4/8). Let r be q/3 - (-11)/(-15). Which is smaller: -1 or r?
-1
Suppose z + 29 = 3*f, 3*f = z + 2*f + 31. Let s = z - -65. Suppose 12 = -4*b - 4*y, -6*b = -2*b - 5*y - s. Which is bigger: b or 1?
b
Let v = 2061/17 + -121. Do -1 and v have different values?
True
Let l = 11 + -11. Suppose 1 = t - l*t. Which is smaller: -4/11 or t?
-4/11
Let f = -3 + -1. Is -4 at least f?
True
Let r = 6 - 3. Suppose 0 = 2*j - 3 - r. Let a be j/12*12/9. Which is smaller: a or 1?
a
Suppose 15 = -2*b + 13. Is b at most as big as -1?
True
Let b = 0.9 + -0.7. Let y = -3 - -6. Let r = y - 3. Is b > r?
True
Suppose 0*z = -5*z + 3*s - 5, -3*z - 4*s - 32 = 0. Let p(u) = u**3 + 5*u**2 + 2*u. Let v be p(z). Do v and 8 have the same value?
True
Suppose -h - 4 = 0, -142 = 4*y - 2*y + 4*h. Let u be -3 - -6 - (-195)/y. Let f(p) = -p**2 + 4*p + 1. Let w be f(4). Is w at least as big as u?
True
Let h = 7 + 2. Let j be (-117)/(-12) + 9/(-12). Are j and h equal?
True
Let u = 6 + -5. Are 2/11 and u nonequal?
True
Let a be -1*(-92)/(-8)*-2. Suppose 5*y + 3*o - 2*o + a = 0, 3*y = -4*o - 24. Is y greater than or equal to -6?
True
Let b = -0.603 + -0.167. Which is greater: 2/7 or b?
2/7
Let s = -11/15 - -2/5. Suppose -4*x - x - 15 = 0. Let o be (-2)/x + 4/(-6). Which is bigger: s or o?
o
Let n = 20812/1115 - -30/223. Let i = n - 96/5. Let a = 64 - 66. Which is smaller: i or a?
a
Let k be (-3)/15 - (-98)/(-10). Let q = k - -41/4. Let t be -3 - (-7)/(14/4). Which is smaller: t or q?
t
Let y be (-155)/(-195) + 1/(-3). Suppose -2*m - 1 = -3*m. Is m at least y?
True
Let b be -4 + 4*(-3)/(-12). Is b smaller than -8/3?
True
Let w = -30 + 43. Is 16 at least as big as w?
True
Let p = -1.4 - -0.4. Let i be 92/32 - (-3)/(-1). Is p less than or equal to i?
True
Let q be 20/16 - ((-1)/(-4) - 0). Which is smaller: -1/78 or q?
-1/78
Suppose 3*l + 5 = -4*i, 2*l - 3*i = 3*l + 10. Let g = -26 + 21. Let y(d) = -5*d - 19. Let j be y(g). Do l and j have the same value?
False
Suppose p - j = -3, -4*j + 12 = 7*p - 2*p. Which is smaller: p or -6/35?
-6/35
Let j = -0.2 - 0. Which is smaller: j or 6?
j
Let x(h) be the third derivative of h**4/24 - 11*h**3/6 + h**2. Let a be x(8). Let c = 0 - 1. Which is smaller: a or c?
a
Let h = 39565/1496 - 291/11. Is h greater than 0?
False
Suppose 9*w - 5 = 4*w. Suppose 5*k - 8 = 2*b + 5, 3*k = -3*b + 12. Let u be ((k + -4)*-1)/(-11). Is u equal to w?
False
Suppose -w + 2*j + 10 = 2*w, 0 = 3*j + 6. Let u = -0.696 + 0.496. Is w smaller than u?
False
Let s = 39 - 39.1. Which is smaller: -6/31 or s?
-6/31
Let j = 19/29 + 1/87. Suppose 119 = -z + 3*h, 4*h - 374 = 4*z + 118. Let p = z - -623/5. Which is smaller: j or p?
p
Let x = -13 + 35. Let p = x - 16. Let o be (-6)/(-9)*p - 2. Is 2 greater than or equal to o?
True
Suppose r = -2*r - 90. Let i be (-386)/r - 4/(-30). Is 13 != i?
False
Suppose -2*o - 4*g = 3*o - 6, -4*g - 10 = -3*o. Let s be (-21)/(-36) - o/8. Let q = s + -5/6. Which is smaller: q or -1?
-1
Suppose -2*v + h = 4, -2*v - 13 = -v + 5*h. Are -1 and v non-equal?
True
Let r(y) = y**2 - 2. Let w be r(1). Is w < -1/6?
True
Suppose -m = -d - 5*m - 5, 2*m + 4 = -2*d. Let v be (d - 6/(-9))/(-1). Which is bigger: -2/5 or v?
v
Let f = 1 + -1.1. Let u = -0.14 - f. Is u < 0?
True
Let x = 333/4 - 84. Let r be (3/((-105)/(-20)))/(8/(-28)). Which is bigger: x or r?
x
Let w be (1/2)/(2/(-4)). Let a = -1 - w. Is -2 at most as big as a?
True
Let b(z) be the second derivative of -z**4/12 + 5*z**3/3 + 7*z**2 - 6*z. Let k be b(11). Which is greater: k or 2?
k
Let p(j) = -3*j**3 + 3*j**2 + 9*j - 5. Let y(x) = -7*x**3 + 6*x**2 + 17*x - 10. Let i(t) = 5*p(t) - 2*y(t). Let b be i(5). Which is bigger: b or 1?
1
Let n = 10 - 10. Suppose 2*u - 22 = -n. Is 11 at most u?
True
Suppose 5 - 1 = 4*m. Suppose -m = -5*n + 14. Is n smaller than 2?
False
Let i be (-2 - -5) + -3 + 4. Suppose 0 = -2*q - 5 + 1. Is i > q?
True
Let z be -4 + (-4 + -2)*3. Which is smaller: -23 or z?
-23
Suppose 12 = -h + 5*h. Suppose 4*x - h*x + 13 = -3*o, -5*x + 15 = -5*o. Let w be 2 - 0 - (-4)/(-3). Which is greater: w or o?
w
Suppose 0 = n + 2*n + 3. Let o be (-8)/9 + 18/27. Is n greater than or equal to o?
F