4*b - 11 = 5*v. Suppose -8 = 5*c - b*c. Let a be 7/21 - c/(-3). Is a bigger than 6/5?
False
Suppose -6 = -2*p - 196. Is -286/3 smaller than p?
True
Let z = -330/31 + 62731/5890. Let n = z + -771/2090. Which is smaller: n or 1?
n
Let l be -1390 - (-8 + 3 + 10). Are l and -1395 unequal?
False
Let n = -5.116 + -0.084. Let d = n + 4.6. Is -2 >= d?
False
Let g = -110 - -91. Let t = 97/5 + g. Which is smaller: -1 or t?
-1
Let n be 10/(-55) - (-846)/(-66). Is -153/11 greater than n?
False
Let y(o) = o**3 + 33*o**2 + 33*o + 31. Let k be y(-32). Which is smaller: 102 or k?
k
Let y = -0.3 - -0.5. Let i = y - 0.3. Let o = 9.41 + -3.41. Which is smaller: i or o?
i
Suppose -3*w + m = -8, -w + 19 = 3*w - 3*m. Is 4/177 bigger than w?
False
Let k = -14771/1144 + 168/13. Do 0 and k have the same value?
False
Let c = -122 - -137. Suppose -3*o - 2*m = -6*o + 43, -o + c = -m. Is -1 equal to o?
False
Let p(z) = z**3 + 9*z**2 - 2*z - 68. Let d be p(-9). Which is greater: -48 or d?
-48
Suppose -2*k - 4*q - 11 = k, -5*q - 16 = 3*k. Let h = -7 - -14. Let o = -2 + h. Which is smaller: k or o?
k
Suppose w - 3*w = -2*c - 46, -3*w = 3*c - 51. Let o be 14/w + (-4)/8. Is o smaller than -3?
False
Let s be 2/6 + 24/(-36) + 0. Which is smaller: s or -206/11?
-206/11
Let o = -0.03 - -0.13. Let b = 24.46 - 25. Let g = b + 0.39. Is o at least g?
True
Let x be (-2 - 0)*(-2)/14. Suppose -l = -2*s - 0*l, -s = 3*l. Is x less than s?
False
Suppose 0 = -2*l + 843 - 263. Is 290 greater than l?
False
Let f = -79/3 - -17/6. Let n = f - -21. Is n less than -4?
False
Let m = 333 - 613. Which is greater: m or -281?
m
Let w be (-1)/1*(-2 + -1). Suppose v = -w*v + 52. Let c be ((-1)/(-1))/(17/204). Which is greater: v or c?
v
Let b = 171 + -215. Is -6 != b?
True
Let m = -18 - -18. Let v be 1 + (-2 - (3 + m)). Let u be (v/18)/((-16)/12). Which is bigger: -1 or u?
u
Let i = 648524/4109 + -68/587. Is 159 > i?
True
Suppose -5*c + 0*i = -5*i + 1455128240, 0 = c - 5*i + 291025660. Let n = c + 283167661811/973. Let x = 2092/7 + n. Which is bigger: 0 or x?
x
Let j = 32 - 32. Suppose -5*o - 5 = 2*v - 107, -3*o - 12 = j. Is 60 not equal to v?
True
Let h = -245.6 - -245.661. Which is greater: h or 0.7?
0.7
Suppose 0 = 9*g + g - 80. Suppose -g*v = -2*v. Let z = 4194/7 - 598. Which is greater: v or z?
z
Let c be (6 - 10)/(4 - (2 - -96)). Is 1/2 greater than or equal to c?
True
Let z = 84 + -62. Let s be (-6)/(-15) - 14/10. Let b be s - (-2 - z/(-18)). Is -1 at least as big as b?
False
Let m be -2 + 1 + (-86)/(-20). Let x be (136/(-50))/(60/150). Let h = x + m. Which is smaller: -3 or h?
h
Let j = 113 + -119. Which is smaller: j or -1/6?
j
Let q = 0.21 - 0.26. Let j = -120.95 + 137. Let x = j + q. Is x greater than or equal to 0.1?
True
Suppose -3*w = -w - 6. Let r(i) = 3*i**3 - 2*i**2 + 2*i + 1. Let x be r(2). Suppose 2*v - 6*v + 2*k = -22, 4*v - x = k. Which is smaller: w or v?
w
Let w = -0.02 + 0.129. Let f = -0.209 + w. Which is smaller: f or 4?
f
Let x = -20 - -141/7. Let j = 33.021 - 33. Let y = j - 0.221. Do x and y have the same value?
False
Let p = -1 + 2. Let b be (-10)/(-14) - 1 - 30/(-7). Let j be (-1)/(2 + 3 - b). Is p greater than or equal to j?
True
Let c(h) = 4*h - 10 - 9 + 1 - 3*h. Let z be c(17). Is -1.1 equal to z?
False
Let v be -9 + 6 + -3 + 5. Let t = -1/161 + -1277/1771. Is t less than v?
False
Let n be (6 - -187)*(7 - 1 - 4). Which is smaller: 385 or n?
385
Let b = 86849/145 + -3001/5. Is 0 greater than b?
True
Let b be (2 - 3)/(-1)*2. Let a(z) = -3*z - 19. Let w be a(-9). Suppose 4*s - 5 - 5 = b*f, 2*s - w = -2*f. Which is bigger: 0 or f?
f
Suppose 20 = -5*j - 0*j - 5*f, 2*j - 2*f = 8. Suppose -5*b + 3*s - 1305 = 8*s, 4*b - 2*s = -1074. Let n = 5052/19 + b. Which is smaller: j or n?
n
Let b(h) = h**3 - 9*h**2 + 4*h + 2. Let f be b(4). Let n be f/20 - (-3)/2. Which is smaller: -3 or n?
-3
Let f = 34.5 + -29.9. Which is smaller: -2 or f?
-2
Suppose 0 = 5*g + 37 - 42. Suppose q = 7 + 7. Let b be (-2)/4*(-48)/q. Is b at least g?
True
Suppose -3*n - 10 = 2*n. Let g be (-84)/(-45) - (4 + n). Is 0 at least g?
True
Suppose 3*z = -p, -4*p - 2*z - 19 - 1 = 0. Let b(g) = 7*g**2 + 4. Let t be b(-2). Suppose 0*c = -8*c - t. Are p and c unequal?
True
Suppose 4*y = 3*y - 16. Let a be ((-8)/(-5))/((-48)/360). Let w = y - a. Is -7/2 >= w?
True
Suppose 5*f + 626 = 4*r, -3*f + 2*r + 2*r - 382 = 0. Let h be f/18 + ((-112)/(-63) - 2). Suppose 21 = -4*n - 11. Is n at least as big as h?
False
Suppose 3*f + 376 = -2*w, 3*w = 30*f - 27*f - 564. Which is smaller: -189 or w?
-189
Let a = 17 + -15. Let j be 102/(-45) - (0 - 0). Let r = -8/5 - j. Which is greater: a or r?
a
Let q = 231.46 + -231. Which is greater: q or -0.3?
q
Let r = -66.116 - -66. Let s = -9.116 - r. Is s equal to 0.4?
False
Let r = 2 + -4. Let u = 31 + r. Is -1/2 at most u?
True
Let u = 1699/2 - 827. Do 22 and u have different values?
True
Let v(b) = b**2 - 3*b - 2. Let p be v(0). Let j(f) = -f**2 + 10*f + 4. Let r be j(10). Let o be -2 + r + -2 + -2. Is o != p?
False
Suppose -5*j - 2*j = -0*j. Is j equal to -1/78?
False
Let r = -249013/46 - -5413. Does r = -1?
False
Suppose -82 = 3*t - 4*k, 0 = 2*t - 4*t - k - 62. Let j be ((-8)/(-6))/((-15)/t). Which is bigger: j or 4?
4
Let p = 1.1 - -4.9. Let r = p - 9. Is -2 < r?
False
Let w = 288 + -294. Is -5 smaller than w?
False
Let u be -6 - (-9 + 117/36). Is u less than or equal to -27.5?
False
Let i(o) = -o**2 - 6*o + 7. Let b be i(-6). Suppose 0 = s - b - 5. Is s < 11?
False
Let b(r) = -r - 2. Let y be b(-5). Suppose -n = 2 - y. Let x be 3 - (1 + n) - 0. Is 1/9 less than x?
True
Let d = 11 - 12.4. Let x = 9.4 + -11. Let u = d + x. Which is smaller: u or -2?
u
Let o = -2.7 + -10.3. Let v = o - -13. Let u = v + -10. Which is bigger: u or 0?
0
Let r be 3 - ((4 - 7) + 9764/350). Let d = r - -153/7. Which is smaller: 0 or d?
d
Let p(v) = 43*v**2 + 394*v + 11. Let m be p(-9). Which is smaller: -6 or m?
m
Let h = -53 - -89. Let s = 37 - h. Is -14 at most s?
True
Let k be (-4)/2*-1 - (1 + 1). Which is greater: k or -27/20?
k
Let w(i) = 2*i**2 - 69*i + 386. Let k be w(7). Let c(m) = 3*m + 2. Let z be c(6). Suppose -4*g + 13 = -2*b - b, -z = -5*g + 5*b. Is g smaller than k?
False
Suppose -4*f - 379 = 5*t - 7*f, 4*t = -3*f - 287. Is -73 less than t?
False
Let l = 0 + 2. Let d = -50 + 52. Let t be ((-15)/(-20) - 0)/(d/8). Does t = l?
False
Suppose 2*z + 4*z = 12. Suppose z*x - 5 + 40 = -3*t, -22 = 2*t + 2*x. Which is bigger: -12 or t?
-12
Suppose -4*a + 208 = -3*o, 201 = 11*o - 14*o - 3*a. Which is greater: -62 or o?
-62
Let t = -79.16 - 2.84. Which is bigger: t or 4?
4
Let d = 0.3 - 4.3. Let n = -3.2 - d. Let x = 0.2 + n. Which is smaller: -2 or x?
-2
Let u = 5 + -4. Let l be 0 - ((-1)/u - -1). Suppose -3*r - 3 - 9 = -2*g, l = -3*r - 2*g. Are 2/5 and r unequal?
True
Suppose 4*g - 58 = 2*v, g + 2*v = 2*g - 7. Let l be 2/((-70)/g + 4). Are l and -17 non-equal?
False
Let q(u) = 2*u - 33. Let g be q(18). Suppose -k + g = 6. Is -6 >= k?
False
Suppose o = -5*v + 9, -1 + 6 = 2*o - 3*v. Let h be o*(-3)/(-204)*-6. Is h smaller than 0?
True
Let p = -1333 - -1979. Which is greater: 648 or p?
648
Let f = 376 + -366. Is 31/3 < f?
False
Let p = 0.2 - 0.2. Suppose 5*u - 14 = 1. Suppose -5*g - 4*j = 11, 6*g - u*g + 2*j = -7. Is p != g?
True
Let q(i) be the second derivative of -i**2 + 0 - 1/20*i**5 - 1/4*i**4 - 6*i - 1/2*i**3. Let x be q(-2). Do -1 and x have different values?
True
Let r = -577331/609 + 948. Which is greater: 1 or r?
1
Let a(b) = b**3 - 2*b**2 - 21*b - 2. Let h be a(-4). Suppose 11*r = 5*r - 72. Which is smaller: r or h?
h
Let y be 9/2*(-38)/57. Let a(q) = -q. Let t be a(-2). Let g be (-1)/2*2*t. Are y and g equal?
False
Suppose 2*c = 11*c + 45. Which is greater: -11 or c?
c
Let q(l) = l**2 + l - 1. Let t = 4 - 6. Let k be q(t). Let p be (-46)/161 + 68/189. Is p at least k?
False
Let x = 5 - 0. Let a = 4 - x. Let i be (-2)/(-4) + (-22)/(-4). Which is smaller: i or a?
a
Suppose 0*n - 12 = 6*n. Let g = 20 + -24. Which is bigger: g or n?
n
Let n be (8/(-30))/(2/(-5)). Let a = 682 + -687. Which is greater: a or n?
n
Let i = 5 - 4. Let o(p) = -p**3 - 7*p**2 + 3. Let w be o(-7). Suppose -u + w*s + 17 = 0, 2*s = 3*u + i - 17. Which is smaller: 5 or u?
u
Let g be (4/(-1) - -5) + (-26192)/26208. Is g less tha