32*b + 24. Does b = -28?
False
Let h = 68397/5 + -13626. Let o = h - 21637/405. Which is smaller: o or 0?
o
Let k be (-1*(-24)/32)/((-9)/(-60)). Which is smaller: k or 6?
k
Let j = -810 + 820. Is 0.04 < j?
True
Let l = 436 + -435. Is l > -4?
True
Suppose -31*d - 2 = -32*d. Let t be d/(-6) - (-15)/43. Do 0 and t have different values?
True
Let w be 42/35*(-10)/3. Let t be 3856/12 - 2/(-3). Let g be (-2)/w - 119/t. Which is smaller: -1 or g?
-1
Let w = 23.959 + 0.041. Let u = -21 + w. Let d = 0.2 + -0.2. Is d greater than or equal to u?
False
Let m(k) = -11*k. Let r(d) = -10*d + 1. Let z(g) = 6*m(g) - 7*r(g). Let f be z(5). Is 13 at most as big as f?
True
Let j = -775/276 - -4/69. Suppose 3*b = 9*b + 18. Which is smaller: j or b?
b
Let b = -6 + 6.14. Let a = b - 1.04. Let r = a - -1.1. Which is smaller: r or 2/7?
r
Let l = 10229/69 + -445/3. Let o be 2/6 + (-4)/12. Suppose o = w + w. Are l and w unequal?
True
Let l be 2829/4230 - 88/132. Which is bigger: l or -1?
l
Let u(x) = 2*x**3 + 42*x**2 + 68*x - 62. Let z be u(-18). Which is smaller: 657 or z?
657
Let f = 29 + 4. Let j = f - 32.76. Is j > 0.1?
True
Suppose -9 = -3*j - 2*x, -4*j + 12 = -x - 0*x. Let p = -73 + 109. Let i = p + -38. Is i >= j?
False
Suppose 0 = 3*h + 3*l - 9, 2*l + 4 = 2*h - 6. Suppose 0 = -t - h - 2. Which is smaller: 0.4 or t?
t
Let t be 11/5 + (-1)/5. Suppose -3*z + 5 = t*z. Let d = z - 11. Is d bigger than -11?
True
Let w(z) = -6 + 2*z - 7 - 10 - 3. Let y be w(12). Which is bigger: y or 19?
19
Let y = 4 + 5. Suppose 5*k = y*k. Let i be -24 + 19 + (-59)/(-13). Is i at most k?
True
Suppose -3*j + 7*j + 5*b = 77, 2*j - 36 = -2*b. Which is smaller: 49/4 or j?
49/4
Suppose -3*h = -2*h - 4*o + 10, -o = -5*h + 45. Suppose h*q = 12*q. Is -4 greater than q?
False
Let j = -75 - -74.844. Let t = j - -0.056. Does -0.11 = t?
False
Let f = -0.511 + 0.611. Which is greater: -55 or f?
f
Let y = -0.15 - -0.07. Let w = y - 1.92. Which is greater: w or 9?
9
Let b(u) = -u**2 + 11*u - 28. Let q be b(5). Is 5/2 at least q?
True
Let y = 206 + -206. Is y > 19?
False
Let d = 216 - 209. Which is smaller: d or -0.1?
-0.1
Let z = 90 - 84. Let d be 20/(-6) - (-2)/z. Are -0.2 and d equal?
False
Suppose 37*k + 2487 + 6208 = 0. Which is bigger: -236 or k?
k
Suppose -4*m + 1361 = 3*z, 10*z = 5*z - 5*m + 2260. Which is smaller: z or 448?
z
Suppose -18 = -3*f - 0*f + 3*c, -3*f + 10 = -c. Let p be ((-26)/(-78))/(1/6). Suppose -f*q = m + 7, -4*m + p = -4*q - 6. Which is smaller: 3/8 or m?
m
Let z = 0.0439 - -0.0561. Which is smaller: -0.011 or z?
-0.011
Let q = -0.15 - -0.25. Let h = -40.93 - -41. Let v = h - 29.07. Is v less than q?
True
Suppose -2*x - 4*m = 2*x, 0 = -5*x + 4*m. Suppose x = 3*p + 8 + 4. Let n(d) = d - 2. Let g be n(-2). Is g equal to p?
True
Suppose 4*t - 5*v - 4 = 2*t, -3*t - v + 6 = 0. Let u be 2 + 1/((-1)/126). Let o be 16/(-40) - u/110. Is o less than t?
True
Let j = -0.651 - -0.551. Which is smaller: j or -0.301?
-0.301
Let p be ((-2)/3)/(50/(-375)). Suppose -3*c + p*c - 4 = d, -2*d + 3*c - 5 = 0. Suppose n + 2 = -4. Is d less than n?
False
Let h = -9 - -14. Suppose 0 = h*q + 2 + 48. Is q at least -10?
True
Suppose -2*x + 5*m = -19, 2*m = -2*m - 12. Let v be 10/(-45) - 40/(-18). Suppose 4*h - 9 = -5*j, -j = h - 0*h - v. Is x smaller than h?
False
Let q = -93.4 + 12.4. Let c = q + 83. Are 2/9 and c non-equal?
True
Let m be (-5 + (-1)/(6/(-36)))/(-1). Is m at most -1/240?
True
Let k be 6/(-8)*3/414. Let v = -40221303/1288 - -31228. Let i = v - k. Is i not equal to -2/3?
True
Let q(i) = i**3 - 20*i**2 + 19*i - 1. Let l be q(19). Let w be l*(-8)/(-10) - (-561)/495. Let p = 18 - 29. Is w smaller than p?
False
Let y be (-19)/2*(-18)/27. Is y smaller than -2/9?
False
Suppose 2*x - 47 = -j - x, -12 = 4*x. Let w be 4*((-20)/j)/(-5). Which is greater: w or 7/3?
7/3
Suppose 3*o - 85 = -3*i + 59, 0 = 2*i + o - 97. Suppose -46*n - 45 = -i*n. Do n and 14 have different values?
True
Let h = -1 - -3. Let d = -1 - 2. Let v be ((-10)/14 - -4) + d. Which is smaller: v or h?
v
Let b be 258/(-20)*((-52)/(-8) - -1). Which is smaller: -98 or b?
-98
Let w(s) = 16*s + 23. Let u be w(-2). Is u > -53?
True
Suppose 6*j - 3*j = c + 10, -4*j - 4*c + 40 = 0. Suppose 0 = j*x - 3*p + 3, -5*p + 3 = x - 2. Suppose -2*w + w = x. Is w smaller than 2/33?
True
Suppose 0 = 3*i - 34 + 40. Which is greater: -24/35 or i?
-24/35
Let l be (46/3)/(-2*1/6). Let o = -47 - l. Is -4 <= o?
True
Let b = -106 - -109. Suppose 4*w - 47 = -b*t, 6*t + 42 = 4*w + 4*t. Let y = -1 - -11. Which is smaller: w or y?
y
Let p(n) = n**3 - 56*n**2 - 56*n - 31. Let d be p(57). Is d < 9?
False
Let z = 1111721/53279595 - 249/7841. Let v = 5/151 + z. Are 1 and v unequal?
True
Let u(t) = 9*t**2 - t. Let r be u(-1). Let m = 2/6003 + 68032/6003. Which is bigger: r or m?
m
Suppose 0*k - 3*k - 42 = 0. Let d = 16 + k. Let c be (-10)/15*3/d. Is -2/23 less than c?
False
Let z = -433 - 79. Are z and -512 equal?
True
Let o = 0.1 - 0.28. Let s = 0.82 - o. Which is bigger: 2 or s?
2
Let y be (21/(-10))/(6/(-5)). Let n = y + -13/4. Which is smaller: -1 or n?
n
Let o = 5 + -8. Suppose -3*z + 10 = 2*u, -49*z + 20 = 4*u - 51*z. Let p = o - u. Is p < -8?
False
Suppose 0 = 3*b + 5*v + 15, 3*b - 5*v - 15 = -0*v. Suppose 0*x = -5*x. Let i be (-18)/(-10) + -2 + x. Which is smaller: i or b?
i
Let d = 1.58 + -4.58. Is -1 greater than or equal to d?
True
Let g be (-9)/6 + (-4)/(-8)*43. Let k(q) = -q**3 + 9*q**2 - 13*q + 14. Let h be k(7). Which is greater: h or g?
h
Let t be (63/1134)/(130/42). Which is smaller: -1 or t?
-1
Let g = -559 + 562. Is -4 less than or equal to g?
True
Let x(u) = 3*u + 11. Let v be x(-4). Which is smaller: 1/43 or v?
v
Let w(t) = -11*t + 67. Let f be w(5). Which is smaller: 140/11 or f?
f
Let f(c) = 208*c**2 - 5*c**3 + 2*c**3 + 4*c**3 + 1 - 207*c**2. Suppose -5*t = 4*y - 3*y + 6, 0 = t + 3*y + 4. Let d be f(t). Are d and -2/7 nonequal?
True
Let t = 15 + -43. Let d be 7/t*(-8)/(-9). Suppose -5*f = -0*f. Is d greater than or equal to f?
False
Suppose -167 = -7*s - 62. Let c(v) = -v**3 - v**2 + 11*v + 9. Let l be c(-4). Which is smaller: s or l?
l
Let t = 6167/15 + -411. Let o = t - -1/5. Which is smaller: 0 or o?
0
Let j = -2798 + 685508/245. Which is bigger: 1 or j?
1
Let p = -20 + 27. Let i(o) = o**2 - 5*o - 16. Let f be i(p). Is 4 >= f?
True
Suppose 0 = -d + 4*d - 5*c - 34, -c = -d + 10. Let p(r) = r**3 - 9*r**2 + 9*r + 7. Let l be p(d). Let s = -642 + 641. Is l not equal to s?
True
Let w(h) = h**2 - 5*h + 8. Let f be w(3). Let c be (-8 + f)*1/(-9). Is c > -2/3?
True
Let y = -31 + 35. Suppose y*b = -b + 725. Let a = b - 440/3. Do a and -2 have different values?
True
Let g = -21.439 - 0.161. Let o = 21 + g. Which is greater: o or 2/15?
2/15
Let r(y) = -2*y + 15. Let n be r(6). Suppose -5*c = w - 26, -5*c + 18 + n = -4*w. Let h = -2491/45 - -277/5. Do w and h have different values?
True
Let c = 1261 - -2842. Let a = -4086.03 + c. Let d = -17 + a. Do d and 1/4 have different values?
True
Let k = -788/165 + -38/55. Is k at most -5?
True
Let o(a) = 8*a**2 - 25*a + 0 - 1 - 11*a**2 + 28*a. Let s be o(1). Is s less than or equal to -2/373?
True
Let t = -34232 + 48454. Let w = t - 9201636/647. Let p = w - -1352/18763. Which is smaller: p or 1?
p
Let q = -477 - -482.11. Let v = q - 0.11. Let y = v + -5.3. Is y > -0.3?
False
Let q = 36 - 39. Is q < -0.63?
True
Let b be 71 - 73 - (-3)/(-39)*-23. Suppose j - 3*j + 1 = -h, -4*h = 2*j + 14. Which is smaller: j or b?
j
Let c(r) = 3*r**3 + 2*r**2 + 3*r + 2. Let l be c(-1). Let h be ((-3)/30)/(1/l). Let w = 0 + -1. Is w less than h?
True
Suppose 0 = -8*y + 10*y - 4. Is 54/17 greater than y?
True
Let f = -7 - -7. Let p = f + -3. Let k = p - -6. Which is bigger: k or -1?
k
Let s be (-64)/226*7 - -2*1. Which is greater: 0.06 or s?
0.06
Let s be (420/(-294))/(2/(-28)). Is 182/9 bigger than s?
True
Suppose 9 + 66 = -5*y. Let p = y + 18. Suppose -k = 2*x + p, 4*x + 3 = -k - 4. Which is greater: 0.14 or k?
k
Suppose b - 5*b + 56 = 0. Let p(i) = 3*i**2 + 19*i + 26. Let y be p(-6). Let h = y - b. Is h equal to 6?
True
Let w be -2*23/(-2) - 3. Let h be (-18)/w*8/6. Is h less than 0?
True
Let h(z) = 3*z - 7. Let k(t) = 2*t - 4. Let l(b) = -3*h(b) + 5*k(b). Let w(p) = -p - 8. Let a(d) = 2*l(d) + w(d). Let c be a(5). Are 0 and