+ g)) + 3. Which is bigger: v or d?
v
Let m(r) = -35*r - 243. Let k be m(-7). Let z(b) = -b**3 - 5*b**2 + 7*b + 9. Let g be z(-6). Suppose q + 7 = -g*n, 3*n - 3 - 2 = 2*q. Which is smaller: k or n?
n
Let m = 1556/21 - 74. Let a(p) = -3 + p**2 + 208*p + 0 - 206*p. Let v be a(-3). Is m <= v?
False
Suppose 2*u + q + q - 588 = 0, 0 = -2*q. Let b be (-12)/90 - u/495. Are -1 and b equal?
False
Let c be (-11)/(-44) - 57/231. Is 1 > c?
True
Let x = -178 + 192.3. Let u = x + -15. Let k = -853.2 - -853. Is k bigger than u?
True
Let o = -0.2 + 0.201. Let b = o - -29.999. Which is greater: -1/2 or b?
b
Let h be 3/(9/(-12))*-1. Suppose h*d + 59 = 15. Let v(k) = -2*k**2 - 14*k + 4. Let u be v(-8). Is u at least d?
False
Let q = 30 - 9. Let g = 119.1 + -119. Which is bigger: q or g?
q
Let k = 6779128/523 + -12962. Is k less than -1?
False
Let q be -4 + 7 - (1 - 4). Let l(i) = -i**3 + 10*i**2 - 21*i. Let w be l(q). Is 35/2 != w?
True
Let y be ((2 - 3)/2)/((-5)/10). Suppose 2*h - 1 = i + 8, -i = -4*h + 15. Do y and h have different values?
True
Let u(m) be the second derivative of m**4/12 + m**3/2 + 3*m**2 + 4*m. Let n be u(-4). Which is bigger: n or 11?
11
Let t = -2026.55 + 2026. Which is smaller: t or -3/2?
-3/2
Let m be 248/(-10) + 5/(-25). Let u = 126/5 + m. Which is smaller: 0.1 or u?
0.1
Let j = 317254/145 + -2188. Is j less than -1?
False
Let a = 31.939 + 0.361. Let g = 32 - a. Let j = 2.3 + g. Which is smaller: -8 or j?
-8
Suppose -7 = -5*x - 12. Which is bigger: x or 84?
84
Let l = -16 + 16. Let d be 2/(-3)*(-3)/(-1 - l). Is -10/11 > d?
True
Suppose 8*a + 2*g - 213 = 13*a, 4*a + g + 160 = 0. Is a < -24?
True
Suppose -5*z + 70 = 5*t, 40 = -2*z - t + 71. Is z less than 15?
False
Let j be ((-3)/(-2))/(39/4). Let k = -0.053 - -3.353. Let r = 3 - k. Which is smaller: r or j?
r
Let q = -13768607/530579541 - -22/66967. Let w = 6/139 + q. Is w less than -1?
False
Let d = -3.332 - 0.668. Which is greater: d or 12/11?
12/11
Let o = -855 + 855. Which is greater: o or 0.44?
0.44
Let c be (-2 - (3 - 1))*(-140)/(-16). Let j be (-2)/7 - 10/c. Do -2/27 and j have different values?
True
Let l = 33 + -32. Which is smaller: 2/55 or l?
2/55
Let l(c) be the third derivative of c**5/60 + c**4/12 + 10*c**2. Let b be l(0). Are b and 1/27 nonequal?
True
Let o be (72/8 - -29)*-2. Which is bigger: o or -1?
-1
Let h = 0.22 + 0.68. Let u = 1 - h. Let w = -0.023 + -7.977. Is w smaller than u?
True
Let m be (-28 - -27)/((-4)/(-4)). Which is smaller: m or -56/27?
-56/27
Let m = 150.7 + -150.8. Which is bigger: m or -784?
m
Let d(s) = s**2 + 6*s + 3. Let w be d(-5). Let i = -442.9 - -442.84. Which is bigger: i or w?
i
Suppose -117389 = -4*f + 511387. Let u = -9902992/63 + f. Let n = u - 38/9. Is n equal to 0?
False
Let r(t) = t**2 + 13*t + 15. Let g be r(-13). Let k be (-3)/((-18)/(-4))*-69. Let v = k - 32. Does v = g?
False
Let o = -20 - -14. Let n = o + 13. Suppose -4*g + 3*g + 1 = 0. Is n less than or equal to g?
False
Let u(o) = o**2 - 67*o + 912. Let n be u(19). Let m = -805 + 44274/55. Which is greater: n or m?
n
Let s = -14 + 8. Let r = -150.04 + 156. Let t = r + s. Does t = -2?
False
Suppose -3*r - r + 12 = 0. Let g = r + 11. Is 12 less than g?
True
Let i = -25.31 + 2.11. Which is smaller: 1/3 or i?
i
Let v(y) be the first derivative of 5*y**2 + 4*y - 7. Let p be v(-6). Let s be p/210 + (-2)/(-3). Which is greater: 2/3 or s?
2/3
Suppose 2*d - 3 = -d. Let n(x) = -2*x**3 - x - 1. Let c be n(-1). Suppose -k = -c*k - d. Is -2/3 != k?
True
Let o = 0.0956 - -10.9744. Let r = o + -11. Let c = r - 0.07. Is -16 bigger than c?
False
Let n = -0.377 + 0.327. Which is smaller: n or -0.1?
-0.1
Suppose 2*m + 2*m - 88 = 0. Suppose 5*k = -2 + m. Suppose 3*g = -9, -5*s + k*g + 0 = -7. Which is smaller: 3/7 or s?
s
Suppose -3*s - 7 = w, 5*w - 45 = 3*s + 2*s. Let n(x) = -x**3 + 5*x. Let a be n(s). Let z be 2 - 1*a/4. Which is smaller: -8 or z?
z
Let h = 5 - -10. Suppose -3*x + 4*u + 7 = -4*x, 3*u = -4*x - h. Let p be x/(-2)*6/(-21). Which is smaller: p or 1?
p
Suppose 58 = -n + 3. Let r be (8/n)/((-4)/(-10)). Suppose s = -2*s + 3. Is r less than s?
True
Let z = 13 - 11.9. Let q = 2.3 - z. Let b = q + 0.8. Which is smaller: 4 or b?
b
Let b = -0.01 - -3.01. Let j = -15 - -19. Suppose -3 = -5*l + 4*s - 3*s, j*l + 9 = -3*s. Which is smaller: b or l?
l
Let q be ((-24)/(-2))/(162/(-56) - -3). Let y = -102/3137 - 3158041/28233. Let r = y + q. Which is bigger: r or 1?
1
Let c be ((-423)/126)/(-3 + 15/6). Which is bigger: 8 or c?
8
Let a(o) = -o**3 + 16*o**2 + 36*o - 1. Let q be a(18). Is q bigger than 0.46?
False
Suppose -4*s + 2*q = 133 - 525, -416 = -4*s - 4*q. Suppose 4*c = 9*c - s. Which is bigger: c or 0.2?
c
Let b(i) = -10*i + 4. Let s be b(-8). Let c be s/104 - 4/(-32)*-4. Let p be (-14)/21 - (-1)/(-3). Which is greater: p or c?
c
Let r = 254 - 252. Which is smaller: r or -6?
-6
Suppose -v = -4*b - 1, 19 = 5*v + 4*b - 10. Suppose 98 = -v*t + 88. Let c be -3*(-1)/(-1*3). Which is bigger: c or t?
c
Suppose -d = 4*d - 1925. Let f = 795/2 - d. Is f greater than or equal to -1?
True
Let d be 12169/(-6) - (-4 + 2). Let p = 2015 + d. Let j = p + 3137/282. Is 1 at least as big as j?
True
Let x = -4 - 14. Let g = x - -18.03. Let q = 0.07 + g. Is 4/7 >= q?
True
Let q be 3895/550 + 24/(-132). Is q at least 7?
False
Let a = 533 - 3191/6. Let v = -4 - -5. Is v <= a?
True
Let y = -237 - -545. Is y <= 308?
True
Let o = -11389 - -22345/2. Are -218 and o nonequal?
True
Suppose -7 = -76*k + 83*k. Is -42 at least k?
False
Let l = -103 + 115. Let b be (-20)/(20/l + -1). Which is greater: b or -32?
b
Let z(u) = -u**2 + 9*u - 5. Let l be z(7). Let v be 3/(-3) - (-42 + 2). Let g be (-26)/v - 58/(-6). Is g at most l?
True
Let v be (-23)/((-138)/252) - (-1 - 1). Let r be (-418)/(-138) + 1 - (48 - v). Which is smaller: -1 or r?
-1
Suppose z - 4*z = 6. Suppose -5 = 3*n - 17. Let g be 15/20 - 7/n. Which is smaller: z or g?
z
Let t = -2 - -9. Suppose -2 = -t*u - 2. Is 1/35 < u?
False
Suppose 3*h + 1868 = -3808. Is h greater than -1893?
True
Let b(s) = 7*s**2 + 12*s - 16. Let v be b(-3). Suppose 2 = -w + 17. Which is smaller: w or v?
v
Suppose 0 = 3*k - h - 3*h - 92, 0 = 3*h + 6. Suppose 0 = -146*p + 2845 + 1243. Is k smaller than p?
False
Let o = 3.8 + -2. Let a = o + -1.56. Let n = 0.14 - a. Which is smaller: 3 or n?
n
Suppose -5*q - 3 = -6*q. Suppose 4*i - 5 = q. Is 34 bigger than i?
True
Let s be ((-1)/(-1))/((-8)/2536). Let v = s - -14897/47. Which is bigger: 1 or v?
1
Suppose 624 = 15*a - 31*a. Is a equal to -34?
False
Suppose 0 = 3*r + 3 - 0. Let o(j) = 6*j**2 + 4*j + 5. Let g be o(r). Which is greater: g or 8?
8
Suppose -4*n + 4*r = -68, -3*n + 37 = -n + r. Let i = n + -14. Let a(k) = 4*k**2 - k. Let g be a(-1). Is i < g?
True
Suppose -5*r + 4*b = -23, 5*b - 1 = -5*r + 4. Let h = r + -10. Let c(y) = y**3 + 5*y**2 - 4*y + 8. Let q be c(-6). Is h <= q?
True
Let y = 5.0463 + -0.0463. Is y bigger than 0.26?
True
Let i(b) = b - 49. Let k = -8 + 27. Let c be i(k). Is -28 > c?
True
Let t = -13.4 - -13.43. Which is smaller: 0.081 or t?
t
Let z(s) = 61*s + 15 + 48*s**3 - 22 - 47*s**3 - 25 - 32*s**2. Let w be z(30). Let m = -5 - 2. Do w and m have the same value?
False
Suppose -49*n + 46*n - 90 = 0. Suppose -2*c - 106 + 40 = h, -2*h - 39 = c. Let x = n - c. Is x >= 4/13?
True
Suppose 3*a = 13*w - 10*w - 201, 4*a + 247 = -3*w. Is -64 at least a?
True
Let w be (-1)/6*4330/(15/(-3)). Let p = w - 147. Which is greater: p or -2?
-2
Suppose 4*s + 16 = 52. Suppose -l - s = 9. Let t be 1/(-2)*2*17. Which is greater: t or l?
t
Let k = 79.17 + -78. Which is smaller: k or -1?
-1
Let t be (-2)/(-9)*3 + 0. Let z(j) = -11*j - 42. Suppose 6*r - 8 = -38. Let y be z(r). Which is smaller: t or y?
t
Let j be (8/10)/(-4)*3. Let o = -277/445 + 2/89. Is j <= o?
True
Let q = 40.3 - 37. Let h = 3.6 - q. Let r = 6.1 - 1.1. Which is greater: r or h?
r
Let o(q) = q**3 + q + 2. Let y be ((-17)/2)/(2/(-4)). Let j = -17 + y. Let f be o(j). Which is bigger: f or 3/4?
f
Let y = -215 + 224. Let d be (-4 + 3)*(-5)/1. Suppose 2*k + y = -d. Is k < -8?
False
Let n = 0.3 - 0.37. Let d = -2.07 - n. Does d = 4?
False
Let d(t) be the third derivative of -t**5/60 + t**4/3 + t**3/6 - 9*t**2. Let z be d(8). Which is smaller: 4/5 or z?
4/5
Let f be ((-14)/(-4) + 0)*