 13.12. Let l be (9 + (-4 - -2))*-1. Do v and l have the same value?
False
Suppose 5*u - 4 = a + u, 0 = -3*u + 3. Suppose 4*x + 4*w = -12, -x + w + 3 = -2. Let c be ((-5)/(x + -6))/(2/(-4)). Which is smaller: a or c?
c
Let d = -168 + 168. Are -86 and d equal?
False
Let u = -16/5 - -38/15. Let r = -65.4 + 66. Which is smaller: u or r?
u
Let z = 249 - 251. Which is smaller: -14/5 or z?
-14/5
Let v(q) = -q**3 - 17*q**2 - 16*q + 2. Let w be v(-16). Let i = -23.7 - -23. Are i and w equal?
False
Let v be 1 + 4 - 1377/270. Is 8/15 at least as big as v?
True
Let a be ((-24)/9 + 2)*10231/(-26). Let y = a + -262. Let w(x) = -x**2 - 7*x - 6. Let s be w(-6). Is y != s?
True
Let l be (61/1)/(53/(-265)). Which is smaller: -306 or l?
-306
Let m = 15.1 + -15.71. Let u = -0.061 + -0.229. Let r = u + m. Which is bigger: r or -1?
r
Let q be 1 + (-4)/(-2) - (-189)/(-171). Is 0 smaller than q?
True
Let z = -68 + 71. Suppose -l = -z*l. Which is smaller: l or -4/5?
-4/5
Let p(y) = 2*y**2 - 3*y - 5. Let f be p(-2). Let i = f + -7. Suppose -15 = -3*b - q, i*q = q. Do b and 4 have different values?
True
Let z = -31 + 156/5. Let s = -99 - -99.1. Is z greater than s?
True
Suppose -n - 17 = 3*u, -2*n - 2*u - 60 + 42 = 0. Is n less than -8?
False
Let p = 37 + -38. Let u = p + 25. Which is smaller: 26 or u?
u
Let o = -0.14 + 0.84. Let i = 1.3 + o. Let y = -0.02 - 0.98. Which is bigger: y or i?
i
Suppose -2*s + 5*h + 19 = 0, 4*s - 1 = -2*h + 1. Suppose s*u - y = -25, -4*u = -u - 3*y + 36. Which is greater: -14 or u?
u
Suppose 0*t + 3*c = 2*t + 7, 3 = c. Suppose q + t = -0*q. Which is greater: q or 3/8?
3/8
Let o = 67.1 + -67. Is o > 18/41?
False
Let b(v) = -v**2 - 8*v - 1. Let o be b(-7). Let r be (-1)/(-3) - 26/o. Let f = r + 2. Is f at most -0.2?
True
Suppose -281 = 35*t + 979. Which is bigger: -45 or t?
t
Suppose 5*i + 5*g - 14 - 6 = 0, 0 = 4*i - g - 26. Let x = -72 + 73. Is x at least as big as i?
False
Let o = -0.24 + 0.04. Let q be 11/(-22) - (-38)/(-4). Let j be q/(-4)*16/(-380). Which is greater: j or o?
j
Suppose 0 = -z + 5*z. Suppose z*n = -4*n - 64. Which is smaller: n or -15?
n
Suppose -3*k - 4*d - 107 = 0, 3*k = -2*k + 5*d - 225. Are -40 and k nonequal?
True
Suppose -5*w + 12 = -28. Suppose 7 + w = -5*o. Let l be 1/((-10)/(-4) + o). Which is smaller: l or 11?
l
Let j be (12 - (10 - 2)) + -3. Which is greater: j or 10/67?
j
Let f(h) = 9*h**3 + 2*h**2 - h. Let r(n) = -7*n - 13. Let g be r(-2). Let l be f(g). Is l smaller than -4?
False
Let q be (78/(-1365))/((-2)/40). Suppose -3 = -v, 4*l + 4*v = 4 + 16. Suppose -w = 2*w + 5*r + 19, 3*w - l*r - 16 = 0. Is q equal to w?
False
Let c = 171 + -106. Let z = c + -33. Let d = -37 + z. Is -1/3 at most as big as d?
False
Let u(z) be the second derivative of -z**5/20 + z**3/3 - 3*z**2/2 - 13*z. Let p be u(-2). Let g = -4340/13 - -334. Is p less than g?
False
Let n = -265 - -264. Are n and -149/3 nonequal?
True
Let s = 1415 + -1413. Suppose -8 + 1 = 2*p - 3*c, -3*p - 4*c = 2. Let h be p + (2 - 1/5). Which is smaller: s or h?
h
Let i be ((-16)/20)/(2/(-10)). Let m be 3 + 2 - i/2. Let f be 2034/1243 + 0*(-2)/2. Which is bigger: f or m?
m
Let m = 0.908 + 0.092. Let a = 64 - 63.69. Which is smaller: a or m?
a
Suppose s + 4 = -r, 0 = 2*s + 3*r + 7 - 0. Let w(f) = -f**3 - 3*f**2 + 3*f + 2. Let t be w(s). Which is bigger: 36 or t?
t
Let r(s) = -2*s**2 - 10*s - 3. Let g be r(-6). Let i be (-5)/g*0 + 12. Is i smaller than 12?
False
Let y = -1 + 5/3. Suppose -6*r + 27 = 21*r. Does r = y?
False
Let u = 0.173 + -0.203. Let m = 2.96 - 3. Let h = u + m. Which is smaller: 1/3 or h?
h
Suppose 0 = 5*n - 2*k - 25, 2*k = n + 3*n - 20. Suppose -n*b - 16 = -51. Which is bigger: 1 or b?
b
Suppose 4*l + x = 3400, -4*x - 951 - 1618 = -3*l. Let v = l - 150628/177. Let s = -1763/1239 + v. Does -1 = s?
False
Let k(i) = -6*i**3 + 4*i**2 + i - 13. Let q(u) = -7*u**3 + 5*u**2 + u - 14. Let w(a) = -6*k(a) + 5*q(a). Let g be w(0). Let p = g - 10. Which is bigger: 1 or p?
1
Let n(q) = 8*q + 30. Let t be n(-4). Let x be (-3 - t)*-2 - 3. Does x = -2/113?
False
Suppose -5*j + 5 = -5*w, 0 = w - 2*j - 4 + 8. Let a = 11 - w. Let k = -10 + a. Which is greater: 1.6 or k?
1.6
Let n be (3 + 3)/(-3) - -2. Let x be (-420)/(-80) + -5 + n. Is 0 at most x?
True
Let g be 1*335/(-120)*-4. Do -1 and g have the same value?
False
Let c be (24/26)/(-2) - 4/(-12). Let l = -25/26 - c. Which is smaller: l or -2?
-2
Let z(p) = -4*p**2 - 55*p - 34. Let v be z(-12). Does v = 56?
False
Let m(y) = -y**3 + 8*y**2 + y - 17. Let b(o) = 6*o + 1. Let t be b(1). Let p be m(t). Which is greater: p or 40?
40
Let q = 1 + -1. Let y = -14 - -16.5. Is q less than y?
True
Let u(x) = x**3 - 29. Let i be u(0). Which is smaller: -49 or i?
-49
Suppose 5*j = -6 + 21. Suppose -4*o - j*v - 8 = v, 4*o + 4 = -2*v. Suppose -h = -o*h. Are h and 2/39 equal?
False
Let x = -2/101 - 188/707. Let j be (4 - 8) + 7/1. Suppose -c = -j*a - 4, -c = -a - 2 - 0. Is a bigger than x?
False
Let q = 189 + -192. Are 1/26 and q equal?
False
Suppose -2*c + 2*d - 2 + 38 = 0, 0 = -4*c + d + 75. Which is smaller: 203/11 or c?
203/11
Let z = -56/15 - -209/60. Is -15 greater than z?
False
Let s = -169 + 167. Which is smaller: -2/23 or s?
s
Let o = -0.1 - -6.9. Let j = o + -8. Let l = j - -0.7. Which is greater: 0.2 or l?
0.2
Suppose 0 = 448*y - 456*y - 8. Which is smaller: -6/89 or y?
y
Let d = -9 - 39. Is d <= 2/11?
True
Let u = -106/55 + 15221/7755. Is -1 < u?
True
Let d = -0.17 - -2.17. Is -90 greater than d?
False
Let z be (1449/9 - 20)/(3/22). Which is greater: z or 1035?
1035
Suppose -5*d - 12 + 37 = 0. Suppose 5*u + 0 + d = 0. Which is smaller: u or -1/11?
u
Let l = 10.3 + 19.7. Let k = l + -20. Which is smaller: k or 0.2?
0.2
Let p be (-32)/(-12)*27/20. Suppose 0 = 3*b + 5*o - 21 + 6, -3*b + 15 = 3*o. Which is greater: b or p?
b
Let j be ((-30)/8)/(24/896). Is -141 greater than j?
False
Let q(x) = x**2 + 95*x - 499. Let z be q(-100). Let u = -291/5 + 58. Which is greater: u or z?
z
Let w = -1.67 - -1.529. Is -2/7 greater than w?
False
Let i = -139 + 664/5. Let s(o) = 19*o + 108. Let l be s(-6). Is l < i?
False
Suppose -4*q = 20 - 44. Let n be 2 + 8/(-3) + (-56)/q. Is n at least -10?
True
Let c = -17/4685 + 6503/191148. Let n = c - -1/51. Which is smaller: 1 or n?
n
Let s = -53 - 23. Let f = s + 116. Let l be (3/(-7))/(f/(-28)). Which is bigger: 0 or l?
l
Let q = 243 - 271. Let k = -8 - -17. Suppose -4*o + k*o + 135 = 0. Is q less than o?
True
Let b be -13*12/(-70) - (-68)/(-85). Which is bigger: b or 0?
b
Suppose -o = o - 10. Suppose -37 = 4*p + o*g, -3*p - 5 = -5*g - 21. Let q = -44.8 - -45. Is q equal to p?
False
Let w = -183.4 + 184. Let l = -12 - -12.7. Let q = l - w. Which is smaller: -0.2 or q?
-0.2
Suppose 4*h - 26*x + 8 = -24*x, 5*h - 5 = -5*x. Which is greater: -23/52 or h?
-23/52
Let n = 272.7 - 274. Which is greater: -9 or n?
n
Let x be 5 - -3*(1 + -2). Suppose x*i - 4*t = 16, -5*i - 4*t - 16 = -0*i. Let w = 41/29 - -3/203. Which is bigger: i or w?
w
Suppose -7*g + 5 + 30 = 0. Let c be 2/(-7) + 132/21. Is g != c?
True
Let l(m) be the second derivative of -m**3/2 - 4*m. Let j be l(1). Suppose 2*g + 2*g = -16. Which is smaller: j or g?
g
Let z(u) = -u**3 - 4*u**2 + 5*u. Let n be z(-5). Suppose n = -h + 4*i - 9, 3*h - 5*i + 3*i = -7. Let k be (4 + h)/(735/(-14)). Which is smaller: 0 or k?
k
Let o = -547/6670 + 3/230. Let v(c) = 7 - c + 4 - 6 + 3*c. Let g be v(-3). Which is greater: o or g?
o
Let o be 2 - 10 - 5302/(-671). Which is bigger: -1 or o?
o
Let f(i) = i**3 - 9*i**2 - 2*i + 2. Let p be f(4). Let y be p/(-30) - (-8)/60. Suppose 2*o - y*o + 1 = 0. Which is smaller: o or -2/7?
-2/7
Let s = -1524 + 2556. Which is smaller: s or 1031?
1031
Let k = -8 - 7. Which is greater: k or 3?
3
Let q = -98913 + 693709/7. Let t = -188 + q. Which is greater: 0.3 or t?
0.3
Let d = 41291732/21465 - 158747/81. Let v = 181/5 + d. Which is bigger: -1 or v?
v
Let g be -9 - ((-4 - -1) + 0). Let i = 1.5 + -0.68. Let l = i - -0.18. Which is smaller: l or g?
g
Let b(h) = h**3 + 6*h**2 + 6*h + 14. Let i be b(-5). Suppose 3*f - i*f = -12. Which is greater: f or 5/4?
f
Let f = -4 + 8. Let b = f + -4. Let s = b + -0.1. Which is bigger: s or 0.4?
0.4
Suppose 7 = -4*h - 1. Suppose -90 = -7*o - 6. Which is bigger: h or o?
o
Let i be (24/16)