31. Suppose 0 = 5*i + 15 - c. Is y less than i?
True
Let c(v) = -4*v + 87. Let d be c(17). Let w be ((-3)/1 - -3) + d. Which is smaller: 21 or w?
w
Let t be (72/60)/((-6)/(-20)). Suppose -t*g + 0*g + 704 = 0. Suppose 24 + g = -5*b. Is b != -39?
True
Suppose -5*o = 5*h + 2645, -326 = h - 2*o + 218. Let a = h + 535. Is a greater than -7/57?
True
Suppose 2*q = 8*b + 36312, -b - 32 - 4507 = -5*q. Is b bigger than -4538?
False
Let b = -224 - -526. Let a = 263 - b. Which is bigger: -43 or a?
a
Let n(z) = -21 - 403*z**2 + 4 + 447*z**2 - 11*z. Let g be n(-2). Is 181 greater than or equal to g?
True
Suppose 14*s + 99 + 111 = 0. Let x be 2/(s/(675/(-36))). Is x < 0?
False
Suppose -3*z = b + 889, 5 = -83*b + 84*b. Does -300 = z?
False
Suppose -10*g + 7 = -3. Let i be g - -2 - 485/60*-4. Is i less than or equal to 36?
True
Let k be 41 - 44 - 3/(-18)*1962/110. Do 1 and k have the same value?
False
Let m be ((-7)/(21/(-7278)))/((-20)/6). Let c = -731 - m. Let l = c + 186/55. Which is greater: -0.1 or l?
l
Let r be 9*(-2 - 6/3). Let q(y) = -35*y**2 - 1. Let i be (3/(-3))/((-4)/4). Let o be q(i). Are r and o equal?
True
Let m = 0.1466 + -0.0482. Which is bigger: m or 0.1?
0.1
Let m = 113 + -119. Let a be 16/m*6/(-4). Is a less than 54/19?
False
Let j = 272732/77 + -3542. Is 1 != j?
True
Suppose -141*z + 146*z = 5. Are z and -6/547 unequal?
True
Let b be (5/10)/(15/82). Let c(a) = 5*a**2 + 30*a + 47. Let d be c(-3). Which is bigger: b or d?
b
Suppose -9*t + 16*t + 1281 = 0. Let m be ((-1092)/(-15))/((-10)/25). Which is bigger: t or m?
m
Suppose 0 = -q - q - q. Suppose -3*o = u + 4*u + 303, 4*o - 16 = q. Let z be (-1 + -1)/((-18)/u). Are -5 and z nonequal?
True
Let a = -592 - -592. Suppose 5*u - 5*r - 325 = 0, -5*r + a = -5. Is 69 at most as big as u?
False
Let l(v) = v - 8. Let b(w) = 1. Let x(s) = -6*b(s) - l(s). Let a be (-8)/6*(-30)/(-8). Let y be x(a). Is -1 > y?
False
Suppose 0 = v - 4*h - 4612, 0 = 4*v - 4*h + 1998 - 20446. Which is bigger: 4613 or v?
4613
Let n = -1507.1 + 1507.03. Is -62/23 bigger than n?
False
Let b be 19798/19 + (-3 - 0). Let v = b + -32213/31. Let q = -6 + 6. Is v greater than q?
False
Let n = 9462 - 4681. Is n bigger than -1?
True
Let p = -486 + -195.66. Let w = 682 + p. Let s = 0 + -0.1. Which is greater: s or w?
w
Let q(v) = 2*v**3 + 2*v**2 - 3*v + 3. Let o be q(2). Let d = 40957 + -204684/5. Which is bigger: d or o?
o
Suppose i - 200 = -19*i. Let u be i - 94/10 - (-3)/20. Let y = 15 - 44/3. Is y < u?
True
Suppose -92*v + 336 = 10*v + 10*v. Let j be (2 + -1)*(4 - -1). Is j bigger than v?
True
Let o = 1447/10 - 27473/190. Is 14/123 bigger than o?
True
Let a = -52734 + 37470. Let r be a/(-81) - 13 - (-4)/(-9). Are r and 174 equal?
False
Suppose 4*x = -125 + 21. Let z be (x/195)/(4/(-6)). Let t = 0.87 - 0.07. Which is greater: z or t?
t
Let c(r) be the third derivative of -r**4/8 + 19*r**3/6 + 9*r**2. Let t be c(7). Let a be ((-10)/104)/(t/24) + -1. Which is greater: 1 or a?
1
Suppose -6 = -4*c - 3*v, -3*c + 5*v = 2*v + 6. Let b be (-6)/90*(-363 + 1). Let z = -24 + b. Which is bigger: c or z?
z
Suppose -43 + 178 = u. Let l be (-9)/u*(-1 + 4). Are l and 1/3 non-equal?
True
Suppose f + 27 = 5*j, -j - f + 13 = 2*j. Let o(g) = 3*g + 6. Let b(u) = -8*u - 18. Let t(q) = -4*b(q) - 11*o(q). Let x be t(j). Which is smaller: x or 1/5?
1/5
Suppose -j = -p + j + 3, -5*p - 5*j - 60 = 0. Let m(a) = -a**2 - 14*a - 17. Let t be m(p). Let l = 32 - t. Which is smaller: l or 1/4?
l
Suppose -x = a + 2307 + 1261, 4*a - 4*x + 14240 = 0. Is -3564 bigger than a?
False
Let o be (57*5)/(5 + 135/215*-8). Is -0.1 less than o?
False
Suppose 28*d - 33*d + 505 = 5*q, 3*d - 2*q = 278. Which is smaller: 9 or d?
9
Let z = 411 + -271. Suppose 0 = -11*l + 608 + z. Let u = l + -69. Which is smaller: 6 or u?
u
Let v = 614 - 599. Let d = 0.03 - -21.97. Let o = v - d. Are o and 0.2 non-equal?
True
Let a(c) = 62*c - 5190. Let u be a(-18). Is -18916/3 smaller than u?
False
Suppose -31772 + 8036 = 92*b. Does b = -37?
False
Suppose 5 + 37 = -3*o. Let t(l) = -6*l**3 + 47*l**2 + 10*l - 28. Let u be t(8). Which is greater: u or o?
u
Let p be 2/21 - (-130923)/567. Let q be (-1206)/(-22) + -3*(-14)/p. Suppose -4*d + 0*d = -224. Which is smaller: d or q?
q
Suppose 0 = -8*j - 6 - 10. Let p be -78*(j + (-35)/(-14)). Suppose 5*g - 105 = 3*c + 2*g, 2*c - g + 75 = 0. Which is bigger: c or p?
p
Let j = -45 + -160. Let r = -218 - j. Do r and -4 have the same value?
False
Let b = -322 - -230. Let s = -1176/13 - b. Is s equal to 3?
False
Let w(f) = -4*f - 9. Suppose 35 = 2*g + 5*g. Suppose -g*l = 23 - 3. Let m be w(l). Is 5 at least m?
False
Suppose 0*f + 543 = 3*f. Let r = f - 208. Which is smaller: r or -26?
r
Suppose -2869 = 3*z - 4*m, -4*m - 493 - 4342 = 5*z. Is -964 at most z?
True
Let c be 0 + 2130/(-132) - -16. Is 17 bigger than c?
True
Let u = 7852 - 7895. Is -309/7 smaller than u?
True
Let f(h) = 3*h**2 + h + 20. Let v be f(-8). Suppose -j - 39 = v. Let p = j + 967/4. Which is bigger: 2/3 or p?
2/3
Let q(p) = -2*p**2 + p + 27. Let n be q(-3). Let x be (-13 + n - -7) + 6 + -1. Is 0 less than or equal to x?
True
Let w = 14843/136 - 867/8. Which is smaller: w or 2/9?
2/9
Suppose -24*k = -27*k + 15. Suppose -21 = z + k*r, -1 = 2*r + 7. Suppose -4*n - 1 + 9 = -2*u, 0 = 4*n. Which is smaller: z or u?
u
Let i = 0.02 + 27.48. Let y = i + -15. Let p = 12.3 - y. Is 4 greater than p?
True
Let x = 110 + -117. Let b be 47/(-6)*(6 - (19 + x)). Do 47 and b have the same value?
True
Let q be (-11468)/(-60) - (-4)/(-30). Let d = 186 - q. Does -24 = d?
False
Suppose 0 = 2*a - a - 2. Suppose -4*f = -u - 51, 5*u = -0*u + a*f - 201. Let c be 2 - (-3)/((243/369)/(-9)). Does c = u?
True
Let t be (-132)/10*(-10)/4. Let c = t + -54. Let x(h) = -h**2 + 13. Let b be x(-6). Is b >= c?
False
Let o = -12.7 + 13. Let w = -2.27 - -0.69. Let m = w + 1.54. Is o less than or equal to m?
False
Let q = -4198/3 - -2233345/1596. Is 2/3 at most q?
False
Suppose 4*d - 12 = -4. Let t(c) = 104*c + 17. Let x be t(d). Is x at most -1?
False
Suppose 7*w - 70 = 91. Is 260/11 at least w?
True
Let c be 0/4 - (-2 + 35/21). Suppose -5*z + 15 = -2*u - 0*z, 4*z = -4*u + 12. Which is bigger: c or u?
c
Let b be (56/6)/(4/12). Suppose -6*w + b = -2*w + 4*q, 0 = 2*w + 3*q - 10. Let m be (28/126 - (-104)/18) + 5. Is m less than w?
False
Let u be -2 - (-81 - (8/(-2) + 0)). Let n be (-120)/u*6/4. Let d(f) = -f**3 - 7*f**2 + 9*f + 6. Let a be d(-8). Which is bigger: n or a?
a
Let c be (4*-3908)/((-84)/112*16/6). Is 7816 greater than c?
False
Let z be (-3)/(-4) - (-101)/4. Let l(m) = 17 - 5 - 5*m + 4*m + 2*m. Let f be l(13). Which is smaller: f or z?
f
Let g = 3/11 + -153/77. Let s = 11/7 + g. Suppose 48 = 19*z + 48. Which is smaller: s or z?
s
Let z be 10/20 - (-20)/8. Suppose 6 = 3*u, -6*o - 99 = -3*o - z*u. Which is greater: o or -0.04?
-0.04
Let o be 1400/(-56)*(-45)/75. Let v(t) = t**3 - t**2 - t - 2. Let x be v(3). Does o = x?
False
Let f be (-572)/(-104)*2232/(-39). Is -315 smaller than f?
True
Let u(q) = -177*q**2 + q + 81. Let l be u(5). Which is smaller: l or 1?
l
Let z = 91.55 + 2.65. Let k = -190 + z. Let c = k - -96. Which is smaller: c or -5/23?
-5/23
Let h = 38792/5 + -7798. Is h equal to -39?
False
Let m = 10 + 32. Let g be (-4)/(-1) - 168/m. Which is smaller: -16/19 or g?
-16/19
Suppose 7*s = 5*s + 2. Suppose 7*d + 371 = -441. Let p = -1969/17 - d. Does s = p?
False
Let g = -251.36 + 208.16. Let y = -33 + 76. Let x = y + g. Which is bigger: 7/8 or x?
7/8
Let l be -5*((-42)/(-45))/7. Let n be (-338)/4 + (-46)/(-92). Is l at least n?
True
Let i(h) = 6*h**2 - 657*h + 1958. Let j be i(3). Is j greater than 84?
False
Suppose t - l = -0 + 9, 0 = -4*t - l + 11. Let s be 3*(t + (-235)/(-15)). Let g = s - 133/2. Which is bigger: g or -9?
g
Suppose -2*x + 106 = -92. Let h = -11 + x. Let s be 16/h - 488/22. Do -41/2 and s have the same value?
False
Let b = -4578 - -4578.0653. Is 3 greater than b?
True
Let p(q) = -27*q**2 - 27*q + 27. Let z be p(16). Let s be z/36 - (-4)/16. Which is bigger: s or -202?
-202
Suppose t = -2*n + 85, -2*n + 42 + 28 = 4*t. Which is smaller: -74 or n?
-74
Suppose -5*j - 2216 = 2*d + 562, -2232 = 4*j + 4*d. Does j = -550?
False
Let s = 3675150/59137 - -34/4549. Which is greater: 62 or s?
s
Let h = -14918 +