 is smaller: 6 or v?
v
Let t(k) = k + 10. Suppose 3*h - 3*z = -15, 0*h - 2*z = -h - 2. Let f be t(h). Suppose -f*p - 9 = p. Which is greater: p or -4?
p
Suppose 3*d + 2038 - 729 = -2*v, 0 = d + 3*v + 448. Let k = -1325/3 - d. Are k and -8 nonequal?
True
Let o(u) = -u**3 - u**2 + u + 3. Let y be o(0). Suppose 0 = y*f + 3*r - 9, 0 = -0*r - r + 5. Let l be (f/10)/((-8)/(-10)). Which is bigger: -0.1 or l?
-0.1
Let r = 279/5 - 56. Let t = -2 - -5. Suppose -t*v = v. Is v < r?
False
Suppose -3*g = 6, c + 3*g = 9 - 1. Which is bigger: 4 or c?
c
Let o be 5*(-2 + 3) + (-67 - 8). Is -68 at least as big as o?
True
Suppose 4*i + 2*y + 10 = 0, -51*y = -5*i - 54*y - 12. Suppose u - 6*u - 11 = 4*k, 5*k + 2*u + 35 = 0. Let s = 6 + k. Do s and i have the same value?
True
Let t = 6.771 + 0.029. Let q = 1.2 + t. Let d be -3 + 1 + 16/(-200)*-20. Which is smaller: q or d?
d
Let a = -6 - -12. Suppose -q + 24*c = 26*c - 11, 5*q - 41 = -3*c. Is a at most q?
True
Let u be 2/12 + 403*(-171)/(-2538). Let y = -28/235 + u. Which is bigger: 28 or y?
28
Let u = 77 - 77. Let i(l) = -2*l**3 + 2*l**3 + l**3 - l. Let j be i(u). Which is bigger: j or -6/7?
j
Let a = 14 + -6. Suppose -3*o - 5*u = 155, 277 = -4*o - 3*u + 85. Let m be 5*6/o*3/5. Do a and m have the same value?
False
Suppose 3*r - 7 = 17. Suppose -20*b = 5*k - 25*b - 45, 0 = -5*b. Which is bigger: k or r?
k
Let y(n) = -n**2 - 2*n + 390. Let h be y(0). Is 389 not equal to h?
True
Let a = 74 - 74.18. Which is greater: a or -3/2?
a
Let c = 315 + -352. Are c and -22 nonequal?
True
Let o = 3 + -10. Let q(n) be the second derivative of -n**4/6 + n**3/6 + n**2 + n. Let l be q(-2). Is l at least as big as o?
False
Let j be ((-58)/26)/1 - -2. Let b = -24 - -30. Suppose -b*i + 1 = -7*i. Which is bigger: j or i?
j
Let i(q) = q**3 - 4*q**2 - 4*q - 3. Let w be i(5). Suppose 4*l + a = -w*a - 52, -4*l = -5*a + 20. Which is smaller: l or -21/2?
-21/2
Let w be ((-840)/(-135) - 4/18) + 0. Suppose 1 = w*m + 7. Which is bigger: -0.03 or m?
-0.03
Let a(p) = -161486*p**2 - p. Let k be a(1). Let j = k + 971153/6. Let r = j + -371. Is r > 1?
False
Let z(r) = 20*r + 517. Let x be z(-50). Which is bigger: -484 or x?
x
Suppose 0 = n + 4*d + 39, -4*n + 4*d - 51 = 125. Is -43 less than n?
False
Let x be (20908/42)/((-4)/6). Let g = -745 - x. Let d = 3/14 - g. Is 0 smaller than d?
False
Let r(g) = -g + 6. Let l be r(4). Suppose 7*b - w + 24 = 3*b, l*b + 2*w + 2 = 0. Which is smaller: b or -6?
-6
Let z = 0.203 + -108.203. Let b = -111.07 - z. Let i = -3 - b. Do i and -0.2 have different values?
True
Suppose -3 = 4*v - 3. Suppose 3*m - m = v. Let u be 0/(-1) + (-16)/14. Is m greater than u?
True
Let x(s) = -s**2 - 25*s - 77. Let t be x(-4). Is t not equal to 0?
True
Let y = -398 + 1992/5. Which is greater: -56 or y?
y
Suppose 5*p + 51 = h, -4*h = -p + 3*p - 204. Is 52 bigger than h?
True
Let g be (1 - 2)/(5/(-15)). Let p be g - (6/2 + -4). Suppose -u = -p*u. Is u != 0?
False
Let o be (-8)/(-12) + 74/6. Let s = -1579 - -1592. Is o less than or equal to s?
True
Suppose -8*w = 5*w + 65. Let c be (-581)/95 - -6 - (-1)/w. Which is bigger: c or 0?
0
Let m = 33 + -34.7. Let b = m - -1. Let p = -11 - -12. Is p < b?
False
Let g = -43 + 48. Let k be 0/((5*-4)/g). Is 15/11 less than k?
False
Let v be 86304/69156 + 1/(-3). Let j = v - -3/113. Which is smaller: j or 0?
0
Suppose 12*h - 9*h - 21 = 0. Suppose 5 = -h*b - 2. Suppose 14 = -5*u - 1. Is b <= u?
False
Let i be (-132)/(-154) - (-1622)/(-1876). Is -1 greater than i?
False
Let v = 44 + -47. Let c be (-2 - -4) + v + 2. Let w be 1/3 - (2 - 1). Which is greater: w or c?
c
Let x(n) = -n**2 + n - 8. Let r be x(2). Do r and -10 have the same value?
True
Let j = 0.02 - -1.88. Let k = 0 - j. Let r = -2 - k. Is r less than or equal to -2?
False
Let m(k) = -4*k**3 - k - 2. Let c be m(-1). Let l = 7.3 + -8. Which is greater: l or c?
c
Let t(r) = r**2 + 4*r - 6. Let j be t(-4). Suppose -5*i + 3*b - 87 = 0, 4*b = -2*i - 20 + 6. Let f be (5/(i/6))/j. Which is smaller: 2/5 or f?
f
Suppose -285 = 5*o + 35. Let m be 82/(-36) + -2 + o/(-36). Let b = -3 - 1. Is m < b?
False
Let x = -3.2 - -3.4. Let s = x + -0.16. Which is smaller: -2 or s?
-2
Let k = -19 + 17.4. Let d = -1.4 - k. Let b = -0.5 + 3.5. Is d greater than or equal to b?
False
Suppose 0 = 4*a - 7*a + 6. Suppose 3*h - a = 2*l + 6, -h + 5 = -3*l. Let c be (h - 1)/(6/(-12)). Which is bigger: 1 or c?
1
Let t = 0.6 - -13.4. Let f = t - 13.4. Is f greater than or equal to -2?
True
Suppose 4*q - 2*q = 4. Let w = 416 + -405. Let h be q/w + (-136)/506. Is 1 greater than or equal to h?
True
Let o = -6 - -3. Let l be (4 + -4 - 1)*o. Let d = 97/42 + 1/42. Which is greater: l or d?
l
Let g = -348 - -690. Let j = g + -1357/4. Suppose 2 = 5*i - 13. Is i at most as big as j?
False
Let s(v) = v**2 + 14*v + 16. Let t be -2 + -10 - (2 + -2). Let m be s(t). Let d = m - -5. Is d <= -12/5?
True
Let g = 32151/4 - 228381/28. Suppose -40*n + 41*n - 119 = 0. Let t = g + n. Which is bigger: t or 0.3?
0.3
Let h be (-140)/114 + (4 - 24/9). Suppose -2*l = 2*m + 2, 2*m - 5*l - 30 = -4. Suppose 3*p = 5*x + m, 3*p + 5 = 8*p + x. Is h less than or equal to p?
True
Let s(b) = b**3 - 5*b**2 + b + 7. Let x be s(5). Suppose 5*r + 14 = x*r. Do -5 and r have the same value?
False
Let o = 975/2 + -488. Let n be 1 - 2/(-1 + 3). Are n and o non-equal?
True
Suppose 4*d = -4*g + 16, -3*g + 5*g - 13 = 3*d. Suppose -5*q + 2*t + 1 = 21, 0 = -g*q + 5*t - 5. Let r be (21/q)/7*4. Which is greater: -12/5 or r?
r
Let x be 3526/(-43)*2/(-4). Which is smaller: -1 or x?
-1
Suppose -36*v + 25*v + 11 = 0. Is -6/173 less than v?
True
Let d = 7427/17 - 437. Let j(n) = -2*n - 21*n**3 + 3 - 3*n**2 - n**2 + 20*n**3. Let w be j(-3). Which is smaller: w or d?
d
Let p = -3666 - -2543. Is p not equal to -1123?
False
Let t = -0.016 + -0.164. Which is smaller: t or -3/7?
-3/7
Let c = -386 - -388. Which is bigger: 22/9 or c?
22/9
Let t be 60/(-72) + (2 - (-3)/(-18)). Which is smaller: -13/67 or t?
-13/67
Let u be 3 + -3 - 0 - -109. Suppose -4*j + 59 + u = 0. Does j = 41?
False
Suppose f - 11 + 7 = 0. Let y be f/12 - (-100)/(-228). Is 0 > y?
True
Suppose -3*o + 4*o = 3. Suppose 7 = o*i - 4*i. Let w = -6 - i. Which is bigger: w or 4?
4
Suppose -g + 0*g - 40 = -d, d = 4*g + 175. Let y = 40 + g. Suppose -5*w - 5*m - 15 = 0, 0 = -4*m + 4. Is y greater than or equal to w?
False
Let k = -9 + 8. Let f = -11.23 + 53.23. Is k > f?
False
Let r be (-190)/(-16) + 70 + -81. Let q be (-3)/(-1)*(0 - 1). Let h = 4 + q. Is r at least h?
False
Let o = 44327/17 - 2603. Do 3 and o have the same value?
False
Let k(s) = s + 7. Let f be k(-7). Suppose f = -2*g - 2*g - 5*d + 11, -5 = 2*g - d. Is g smaller than -2/13?
True
Suppose 42 = -4*d - 30. Let m be -1 + 2 - (-1287)/d. Let q = 72 + m. Which is greater: q or 1?
q
Suppose 0 = 4*m - 9*m - 20. Let v = m - -3. Let h = -7448/17 + 438. Which is smaller: v or h?
v
Suppose 28*z - 37 + 65 = 0. Are 1/124 and z equal?
False
Let r = 615 - 615.8. Is r less than or equal to -2/23?
True
Let k = 1141.22 + -1140. Which is smaller: k or -2/11?
-2/11
Suppose -342 = p - 3488. Let g = p - 34636/11. Is -4 < g?
True
Let p(w) = -w**3 - 32*w**2 - 62*w - 52. Let y be p(-30). Suppose -2*a - j = 4*j - y, -3*a - 5 = -j. Which is smaller: -20/11 or a?
-20/11
Let j = 770 + -3081/4. Is -0.28 greater than j?
False
Suppose 4*j - 2*c - 4 = 66, 3*c + 3 = 0. Which is smaller: j or 1?
1
Let b be 2*11964/(-56) - 2. Let h = 430 + b. Let g = 3.7 + -3.8. Which is greater: h or g?
h
Let r(n) = n**2 + 44*n + 130. Let m be r(-3). Is m greater than 2?
True
Suppose -4*b - 44 = 96. Suppose -86 = 3*g - 3*t + 22, -72 = 2*g - t. Is b at least as big as g?
True
Let x = -826 - -826.7. Is 2 greater than x?
True
Suppose l = -4*l + 95. Suppose j - l = -4*s + 2*j, -2*j - 8 = -2*s. Let x be (-19)/(-35) + (-2)/s. Is 1 at most x?
False
Let m(d) = d - 1. Let s be m(2). Let u = -1/357 - 1034/13209. Let a = u + -22/185. Is a equal to s?
False
Let f be 206/(-8) + 3*(-2)/(-8). Let h be -4 + (-110)/f - 2/(-95). Are h and 0 equal?
False
Let n = -455 + 454.6. Does 25 = n?
False
Let v be 6/(288/366) + -1. Which is greater: v or 8?
8
Let v = 382 - 382. Is v bigger than 12?
False
Let n be (-1)/8*(-190 - -38). Which is smaller: n or 26?
n
Let q = 18.403 + -0.103. Let 